Talks

We give a simple description of rectangular matrices that can be implemented by a post-selected stabilizer circuit. Given a matrix with entries in dyadic cyclotomic number fields $\mathbb{Q}(\exp(i\frac{2\pi}{2^m}))$, we show that it can be implemented by a post-selected stabilizer circuit if it has entries in $\mathbb{Z}[\exp(i\frac{2\pi}{2^m})]$ when expressed in a certain non-orthogonal basis. This basis is related to Barnes-Wall lattices. Our result is a generalization to a well-known connection between Clifford groups and Barnes-Wall lattices. We also show that minimal vectors of Barnes-Wall lattices are stabilizer states, which may be of independent interest. Finally, we provide a few examples of generalizations beyond standard Clifford groups. Joint work with Sebastian Schonnenbeck

Ground states as well as Gibbs states of many-body quantum Hamiltonians have been studied extensively since the inception of quantum mechanics. In contrast, the landscape of many-body quantum states that are not in thermal equilibrium is relatively less explored. In this talk I will discuss some of the recent progress in understanding decohered or dissipative quantum many-body states. One of the key ideas I will employ is that of "separability", i.e., whether a mixed state can be expressed as an ensemble of short-range entangled pure states. I will discuss several quantum phase transitions in topological phases of matter subjected to Markovian environmental noise from a separability viewpoint, and argue that such a framework also subsumes our understanding of pure quantum states as well as Gibbs states. Time permitting, I will also provide a brief overview of quantum spin-systems subjected to non-Markovian noise originating from an electronic bath, and discuss a new critical phase of matter where quantum coherence coexists with dissipation.

References: 2307.13889, 2309.11879, 2310.07286

---

Zoom link 

Quantum mechanics forbids the creation of ideal identical copies of unknown quantum systems and, as a result, copying quantum information. This fundamental and non-classical 'unclonability' feature of nature has played a central role in quantum cryptography, quantum communication and quantum computing ever since its discovery. However, unclonability is a broader concept than just the no-cloning theorem. In this talk, I will go over different notions of quantum unclonability and show how they link to many important questions and topics in quantum applications both in quantum machine learning and quantum cryptography. I will also broadly cover the link between unclonability and other fundamental concepts, such as randomness, pseudorandomness and contextuality.

This talk will present work-in-progress towards a new programming methodology for Cliffords, where n-ary Clifford unitaries over qudits can be expressed as functions on compact Pauli. Inspired by the fact that projective Cliffords correspond to center-fixing automorphisms on the Pauli group, we develop a type system where well-typed expressions correspond to symplectic morphisms---that is, linear transformations that respect the symplectic form. This language is backed up by a robust categorical and operational semantics, and well-typed functions can be efficiently simulated and synthesized into circuits via Pauli tableaus.

Fault-tolerant protocols and quantum error correction (QEC) are essential to building reliable quantum computers from imperfect components that are vulnerable to errors. Optimizing the resource and time overheads needed to implement QEC is one of the most pressing challenges that will facilitate a transition from NISQ to the fault tolerance era. In this talk, I will discuss two intriguing ideas that can significantly reduce these overheads. The first idea, erasure qubits, relies on an efficient conversion of the dominant noise into erasure errors at known locations, greatly enhancing the performance of QEC protocols. The second idea, single-shot QEC, guarantees that even in the presence of measurement errors one can perform reliable QEC without repeating measurements, incurring only constant time overhead.

---

Zoom link

Whilst tomography has dominated the theory behind reconstructing/approximating quantum objects, such as states or channels, conducting full tomography is often not necessary in practice. If one is interested in learning properties of a quantum system, side-stepping the exponential lower bounds of tomography is then possible. In this talk, we will introduce various learning models for approximating quantum objects, survey the literature of quantum learning theory and explore instances where learning can be fully time- and sample efficient.

Particle physics underpins our understanding of the world at a fundamental level by describing the interplay of matter and forces through gauge theories. Yet, despite their unmatched success, the intrinsic quantum mechanical nature of gauge theories makes important problem classes notoriously difficult to address with classical computational techniques. A promising way to overcome these roadblocks is offered by quantum computers, which are based on the same laws that make the classical computations so difficult. Here, we present a quantum computation of the properties of the basic building block of two-dimensional lattice quantum electrodynamics, involving both gauge fields and matter. This computation is made possible by the use of a trapped-ion qudit quantum processor, where quantum information is encoded in d different states per ion, rather than in two states as in qubits. Qudits are ideally suited for describing gauge fields, which are naturally high-dimensional, leading to a dramatic reduction in the quantum register size and circuit complexity. Using a variational quantum eigensolver we find the ground state of the model and observe the interplay between virtual pair creation and quantized magnetic field effects. The qudit approach further allows us to seamlessly observe the effect of different gauge field truncations by controlling the qudit dimension. Our results open the door for hardware-efficient quantum simulations with qudits in near-term quantum devices.

"Null Polygons" in N=4 SYM theory describe the multi-point correlators of 1/2-BPS local operators with large R-charge, when they approach the vertices of a light-like polygon. The leading UV divergences of null polygons is conjectured to satisfy a hierarchy of coupled Toda field theory equations [E.O., Vieira ’22]. I will present some progress towards the prediction of Null Polygons beyond leading logarithms via the hexagons technique, appropriately truncated in the light-cone regime. The method, still conjectural, relies on a series of weak-coupling derivations performed in the Fishnet limit of the theory, where the hexagon representation is derived in the basis of eigenfunctions of a conformal Heisenberg magnet in the principal series. I will present a number of worked-out examples for multi-point multi-loop Fishnet Feynman integrals and Null Polygons.

---

Zoom link