Courses

Lean-verified Quantum Information Theory, Sep 15 - Oct 1 Instructor: Rodolfo Reis Soldati We introduce formal theorem proving with the Lean 4 programming language, placing emphasis on developing Quantum Information Theory theorems and proofs. Formal proof writing is an increasingly important skill

This course introduces mathematical and numerical tools that are useful for various fields of theoretical physics. In the numerical part of the course, students will develop introductory programming skills in both Python and Mathematica. The mathematical part of the course covers three main topics

The aim of this course is to revisit much of the undergraduate classical physics curriculum in preparation to the study of both General Relativity and Quantum Field Theory. We will focus on the notion of symmetry and Noether's theorem in both mechanical and field theoretical systems (stress energy

The aim of the first part is to present a brief overview of selected topics in quantum theory. Schrodinger, Heisenberg and Interaction picture is discussed and applied to study time evolution. Density matrices and Feynman path integrals are introduced. The second part of the course derives the

Structure: We will discuss 8 papers which had huge impact in physics. One week Instructor Pedro Vieira will discuss a paper; students should read it beforehand. One week later students discuss recent papers referring to that paper (20 min each student, ~ 3 presentations; at the end of the class

Perimeter Institute invites students to a special event on July 17 from 1:30 - 4:00pm. These Researcher Presentations will explore various topics in theoretical physics and includes five 20-minute talks by PI researchers. To register for the event, please use this form.

Non-local quantum computation (NLQC) is a subject within quantum information theory. NLQC considers, in a certain setting, with how local interactions can be simulated with distributed entanglement plus communication. NLQC has recently become well connected to several other areas, including

This course will cover the basics from my book, https://arxiv.org/abs/2603.12076. It is about operational probabilistic theories. The standard approach in such theories is, implicitly, from a time forward perspective. On the other hand, we will mostly take a time symmetric perspective. The course

This course introduces key concepts in modern quantum matter, including spontaneous symmetry breaking, topological phases, and quantum criticality, illustrated through simple and instructive examples.

How do relativistic effects influence quantum information processing? This fundamental question has developed over the past decade into the new active field of Relativistic Quantum Information. It brings together concepts and ideas from special relativity, quantum optics, general relativity, quantum

We will study how General Relativity (GR) is similar to and especially how it differs from other gauge theories. This will explain why, from a structural perspective, it is much harder to quantize GR than other theories without relying on any specific approach to quantization. To achieve this goal

Advanced quantum field theory in lower dimension. The course will cover topics of advanced quantum field theory in lower dimension (d=2 or d=3) The topics may include string theory and/or integrability.