Talks

To perform reliable quantum computations in the midst of noise from the environment, it is imperative to use a quantum error-correcting code — i.e., a scheme for redundantly encoding information so that errors may be detected and corrected as they occur. One of the most promising classes of quantum error-correcting codes are those based on topological phases of matter, such as the celebrated toric code. Although there is a rich classification of topological phases of matter, the toric code has by far received the most attention as a practical quantum error-correcting code, due to its simple representation within the stabilizer formalism.

In this talk, I will discuss three works in which we extend the stabilizer formalism to topological orders beyond that of the toric code. This includes the construction of two-dimensional stabilizer codes characterized by Abelian topological orders with gapped boundaries, three-dimensional stabilizer codes that host arbitrary two-dimensional Abelian topological orders on their surface, and two-dimensional subsystem codes also characterized by arbitrary Abelian topological orders. This work thus opens the door to encoding and processing quantum information using the exotic properties exhibited by the wide range of Abelian topological phases of matter.

---

Zoom link https://pitp.zoom.us/j/94640905425?pwd=aDd0Qnl1TUU0QytaNWJJLzEyZlQrQT09

In the quest to understand the fundamental structure of spacetime (and subsystems) in quantum gravity, it may be worth exploring the ultimate consequences of non-perturbative canonical quantization, carefully taking into account the constraints and gauge invariance of general relativity. As the reduced phase space (or even the pre-phase space) of gravity lacks a natural linear structure, a generalization of the standard method of quantization (based on global conjugate coordinates) is required. One such generalization is Isham's method based on transitive groups of symplectomorphisms, which we test in some simple examples. In particular, considering a particle that lives on a sphere, in the presence of a magnetic monopole flux, we algebraically recover Dirac's charge quantization condition from a "Casimir matching principle", which we propose as an important tool in selecting natural representations. Finally, we develop the non-perturbative reduced phase space quantization of causal diamonds in (2+1)-dimensional gravity. By solving the constraints in a constant-mean-curvature time gauge and removing all the spatial gauge redundancy, we find that the phase space is the cotangent bundle of $Diff^+(S^1)/PSL(2, \mathbb{R})$. Applying Isham's quantization we find that the Hilbert space of the associated quantum theory carries a (projective) irreducible unitary representation of the $BMS_3$ group. From the Casimir matching principle, we show that the states are realized as wavefunctions on the configuration space with internal indices in unitary irreps of $SL(2, \mathbb{R})$. A surprising result is that the twist of the diamond boundary loop is quantized in terms of the ratio of the Planck length to the boundary length.

Papers on quantization of causal diamonds:
https://arxiv.org/abs/2308.11741
https://arxiv.org/abs/2310.03100

---

Zoom link https://pitp.zoom.us/j/98636934234?pwd=THBCcFpYWHYzWmY0YjViY3Q1a3VYdz09

We investigate the nature of the Giddings-Strominger wormhole in axion gravity, whose stability remains contested despite previous work in this direction. Unlike what is done in these works, we follow a Lorentzian approach which directly addresses the factorization problem. To probe the thermodynamic stability of wormholes in the gravitational path integral, we look for fixed-area saddle points. However, taking care to choose the appropriate boundary conditions, we find that there are no fixed-area axion wormholes in Lorentzian signature. We then discuss how we could go beyond this analysis, considering off-shell axion wormhole configurations with fixed-length.

---

Zoom link https://pitp.zoom.us/j/98119789932?pwd=N1RCanJCdk56eWJ3RHJCRG5KU21lQT09

Abstract TBA

---

Zoom link https://pitp.zoom.us/j/96982969023?pwd=MjgzaU5mZUVuV3pNVG11dHM2WUd4UT09

Major improvements in the theoretical aspects of Cosmology have been possible in recent years due to QFT-inspired methods, such as the effective field theory of large-scale structure (EFTofLSS). In this talk, I will explore further connections between high-energy physics and cosmology. I will present a systematic approach to renormalizing the galaxy bias parameters using path integrals and a finite cutoff scale Λ. I will derive the differential equations of the Wilson-Polchinski renormalization group that describe the evolution of the finite-scale bias parameters with Λ, analogous to the β-function running in QFT. I will then discuss how the RG-flow of EFTofLSS can lead to improvements in the extraction of cosmological parameters and also serve as a tool for sanity checks.

---

Zoom link https://pitp.zoom.us/j/93248279658?pwd=Z1M1UnI3eVh3NTZ3NCt4NUtGaW5idz09

Spacetime inversion symmetries such as parity and time reversal play a central role in physics, but they are usually treated as global symmetries. In quantum gravity there are no global symmetries, so any spacetime inversion symmetries must be gauge symmetries. In particular this includes CRT symmetry (in even
dimensions usually combined with a rotation to become CPT), which in quantum field theory is always a symmetry and seems likely to be a symmetry of quantum gravity as well. I'll discuss what it means to gauge a spacetime inversion symmetry, and explain some of the more unusual consequences of doing this. In particular I'll argue that the gauging of CRT is automatically implemented by the sum over topologies in the Euclidean gravity path integral, that in a closed universe the Hilbert space of quantum gravity must be a real vector space, and that in Lorentzian signature manifolds which are not time-orientable must be included as valid configurations of the theory.

---

Zoom link https://pitp.zoom.us/j/98089579253?pwd=NDBhUjBUTTEwT0R5YmhYVElZenJtZz09

Quantum error-correcting codes are a key pillar of quantum computing. They allow for the recovery of quantum information in the presence of noise. There are three main ways to depict a quantum code: by the list of codewords, by an encoding circuit, or by a stabilizer tableau. Although the latter is used most often, all three of these have pros and cons. In this talk, I will showcase ZX calculus, a graphical language that can be used to talk about quantum states, circuits, measurements, and importantly, codes. I will demonstrate its power and versatility and showcase a canonical form for states, circuits, and codes. The power of this theorem allows us to compile these quantum objects to a unique, elegant, and simple form which serves as a much better depiction than any of the three methods above.

---

Zoom link https://pitp.zoom.us/j/91431057660?pwd=cW9xKzNXejdIekp3amFacFZ5OHN5dz09