Perimeter Institute Quantum Discussions

Tom Leinster recently introduced a curious notion of entropy modulo p (https://arxiv.org/abs/1903.06961). While entropy has a certain meaning in information theory and physics, mathematically it is simply a function with certain properties. Stating these as axioms, the function is unique. Surprisingly, Leinster shows that a function obeying the same axioms can also be found for "probability distributions" over a finite field, and this function is unique too.

In quantum information, mutually unbiased bases is an important set of measurements and an example of a quantum design. While in odd prime power dimensions their construction is based on a finite field, in dimension 2^n it relies on an unpleasant Galois ring. I will replace this ring by length-2 Witt vectors whose arithmetic involves only finite field operations and Leinster's entropy mod 2. This expresses qubit mutually unbiased bases entirely in terms of a finite field and allows deriving an explicit unitary correspondence between them and the affine plane over this field.

Zoom link:  https://pitp.zoom.us/j/94032116379?pwd=TTI1RnByQnFuVHp1MytFUlJxckM4Zz09

Kronecker coefficients appear in representation of the symmetric group in the decomposition of tensor products of irreducible representations. They are notoriously difficult to compute and it is a long standing problem to find a combinatorial expression for them. 

We study the problem of computing Kronecker coefficients from quantum computational perspective. First, we show that the coefficients can be expressed as a dimension of a subspace given by intersection of two commuting, efficiently implementable projectors and relate their computation to the recently introduced quantum approximate counting class (QAPC). Using similar construction, we show that deciding positivity of Kronecker coefficients is contained in QMA. We give similar results for a related problem of approximating row sums in a character table of the symmetric group and show that its decision variant is in QMA. We then discuss two quantum algorithms - one that samples a distribution over squared characters and another one that approximates normalized Kronecker coefficients to inverse-polynomial additive error. We show that under a conjecture about average-case hardness of computing Kronecker coefficients, the resulting distribution is hard to sample from classically. 

Our work explores new structures for quantum algorithms and improved characterization of the quantum approximate counting.

Joint work with David Gossett, Sergey Bravyi, Anirban Chowdhury and Guanyu Zhu 

Zoom link:  https://pitp.zoom.us/j/95976938016?pwd=eDV3TXZReHo5UHdvZ0hIbkhXOFcxQT09

Classical simulation algorithms provide a rigorous ground for investigating quantum resources responsible for quantum speedup. In my talk, I will consider one such algorithm provided by Lambda polytopes. These polytopes are defined to be the polar dual of the stabilizer polytopes and can be used to provide a hidden variable model for finite-dimensional quantum theory. This hidden variable model can be turned into a  classical algorithm that can simulate any quantum computation. The efficiency of this algorithm depends on the combinatorial structure of the polytope. In general, which subset of the vertices gives rise to efficient simulation is an open problem. I will describe some of the known classes of vertices and available methods for studying this polytope.

Zoom link:  https://pitp.zoom.us/j/95216680309?pwd=aGlIN2NtZVRtczdHcXl5RzgzQTlOdz09

Experimental realizations of long-range entangled states such as quantum spin liquids are challenging due to numerous complications in solid state materials. Digital quantum simulators, on the other hand, have recently emerged as a promising platform to controllably simulate exotic phases. I will talk about a constructive design of long-range entangled states in this setting, and exploit competing measurements as a new source of frustration to generate spin liquid. Specifically, we consider random projective measurements of the anisotropic interactions in the Kitaev honeycomb model. The monitored trajectories can produce analogues of the two phases in the original Kitaev model: (i) a topologically-ordered phase with area-law entanglement and two protected logical qubits, and (ii) a “critical” phase with a logarithmic violation of area-law entanglement and long-range tripartite entanglement. A Majorana parton description permits an analytic understanding of these two phases through a classical loop model. Extensive numerical simulations of the  monitored dynamics confirm our analytic predictions. This talk is based on https://arxiv.org/abs/2207.02877.

Zoom link:  https://pitp.zoom.us/j/99600719755?pwd=a0pOWlliU0swVDdGYnhxaGFGNkJSdz09

A large class of Λ < 0 cosmologies have big-bang / big crunch spacetimes with time-symmetric backgrounds and asymptotically AdS Euclidean continuations suggesting a possible holographic realization. We argue that these models generically have time-dependent scalar fields, and these can lead to realistic cosmologies at the level of the homogeneous background geometry, with an accelerating phase prior to the turnaround and crunch. We first demonstrate via explicit effective field theory examples that models with an asymptotically AdS Euclidean continuation can also exhibit a period of accelerated expansion without fine tuning. We then show that certain significantly more tuned examples can give predictions arbitrarily close to a ΛCDM model. Finally, we demonstrate via an explicit construction that the potentials of interest can arise from a superpotential, thus suggesting that these solutions may be compatible with an underlying supersymmetric theory.

This talk is based on 2212.00050.

Zoom link:  https://pitp.zoom.us/j/93499736007?pwd=Qmw5cmZERUN3UmtwTzdKcEdXejJ5UT09

Typicality, the feature that almost any microstate living in the microcanonical subspace cannot be locally distinguished from a thermal ensemble, lies at the fundamental part of statistical physics. However, one may wonder if there exists a sufficient amount of orthogonal atypical states to account for the whole entropy. 
In this talk, we show that, in some physical systems, there exists a sufficient amount of certain orthogonal atypical states to account for the leading order of the entropy in the following two scenarios, by finding proper upper bounds of the entanglement of formation (EoF) for each case and applying other techniques from quantum information theory. 
In the first scenario, the physical system under consideration is AdS black holes at the semiclassical limit G_N —> 0. In this case, microcanonical subspace is the subspace formed by the black hole microstates, and typical states are usually considered to have a smooth horizon as well as the black hole interior. We consider a class of atypical states called disentangled states which have large entanglement deficits compared to typical states such that they cannot have smooth horizons. In this scenario, we use a geometric quantity called entanglement wedge cross section to give upper bounds to EoF. 
In the second scenario, we consider generic quantum many-body systems with short-ranged interactions at the standard thermodynamic limit V —> ∞. In this case, it is known that typical microstates have volume law entanglement. We consider area-law entangled microstates as atypical states. We use reflected entropy to give upper bounds to EoF. 
We will also discuss the relations of our results with the additivity conjectures and atypical black hole microstate counting. 
This talk is based on 2211.11787. 

Zoom link:  https://pitp.zoom.us/j/94823687961?pwd=V3QrSjUrTklheG1iU0RsckwzQmRTUT09

Error-correcting codes were invented to correct errors on noisy communication channels. Quantum error correction (QEC), however, has a wider range of uses, including information transmission, quantum simulation/computation, and fault-tolerance. These invite us to rethink QEC, in particular, the role that quantum physics plays in terms of encoding and decoding. The fact that many quantum algorithms, especially near-term hybrid quantum-classical algorithms, only use limited types of local measurements on quantum states, leads to various new techniques called Quantum Error Mitigation (QEM). We examine the task of QEM from several perspectives. Using some intuitions built upon classical and quantum communication scenarios, we clarify some fundamental distinctions between QEC and QEM. We then discuss the implications of noise invertibility for QEM, and give an explicit construction called Drazin-inverse for non-invertible noise, which is trace-preserving while the commonly-used MoorePenrose pseudoinverse may not be. Finally, we study the consequences of having imperfect knowledge about system noise and derive conditions when noise can be reduced using QEM.

Zoom link:  https://pitp.zoom.us/j/91543402893?pwd=b09IS3VWNk5KZi8ya3gzSmRKRFJidz09

Recent advances in mechanical sensing technologies have led to the suggestion that heavy dark matter candidates around the Planck mass range could be detected through their gravitational interaction alone. The Windchime collaboration is developing the necessary techniques, systems, and experimental apparatus using arrays of optomechanical sensors that operate in the regime of high-bandwidth force detection, i.e., impulse metrology.  Today's sensors can be limited by the added noise due to the act of measurement itself. Techniques to go beyond this limit include squeezing of the light used for measurement and backaction evading measurement by estimating quantum non-demolition operators — typically the momentum of a mechanical resonator well above its resonance frequency. In this talk, we will discuss the theoretical limits to noise reduction using such quantum enhanced readout techniques for these optomechanical sensors.

 In holography, spacetime is emergent and its properties depend on the entanglement structure of the dual theory. An interesting question is how changes in the entanglement structure affect the bulk dual description. In this talk, I will describe how local projective measurements performed on a subregion  of the boundary theory modify the bulk dual spacetime. The post-measurement bulk is cut off by end-of-the-world branes and is dual to the complementary unmeasured region . Using a bulk calculation in —which involves a phase transition triggered by the measurement—and tensor network models of holography, I will show that the portion of bulk preserved after the measurement depends on the size of  and the state we project on. Interestingly, the post-measurement bulk includes regions that were part of the entanglement wedge of  before the measurement. Our results indicate that the effect of a measurement performed on a subregion  of the boundary is to teleport part of the bulk information contained in  into the complementary region . Finally, I will comment on applications to the eternal black hole in JT gravity (dual to the SYK thermofield double state) and the relationship between measurements and traversable wormholes.

I will present a general bulk reconstruction technique in AdS/CFT suitable for addressing a facet of the black hole information problem: How to unambiguously predict the results of measurements performed by an infalling observer in the black hole interior.
 
I will explicitly apply the method in the AdS_2/SYK correspondence. My proposal provides an internal notion of time for quantum gravitational systems that may be useful for cosmology.

Monitored many-body systems fall broadly into two dynamical phases, ``entangling'' or ``disentangling'', separated by a transition as a function of the rate at which measurements are made on the system. Producing an analytical theory of this measurement-induced transition is an outstanding challenge. Recent work made progress in the context of tree tensor networks, which can be related to all-to-all quantum circuit dynamics with forced (postselected) measurement outcomes. So far, however, there are no exact solutions for dynamics of spin-1/2 degrees of freedom (qubits) with ``real'' measurements, whose outcome probabilities are sampled according to the Born rule. Here we define dynamical processes for qubits, with real measurements, that have a tree-like spacetime interaction graph, either collapsing or expanding the system as a function of time. The former case yields an exactly solvable measurement transition. We explore these processes analytically and numerically, exploiting the recursive structure of the tree. We compare the case of ``real'' measurements with the case of ``forced'' measurements. Both cases show a transition at a nontrivial value of the measurement strength, with the real measurement case exhibiting a smaller entangling phase. Both exhibit exponential scaling of the entanglement near the transition, but they differ in the value of a critical exponent. An intriguing difference between the two cases is that the real measurement case lies at the boundary between two distinct types of critical scaling. On the basis of our results we propose a protocol for realizing a measurement phase transition experimentally via an expansion process.

Quantum theory has a temporal composition, which is expressed under many different operational frameworks. Here, points in time are imbued with a Hilbert space structure, and quantum states are passed between times through a series of experimental interventions. A multi-time quantum process, therefore, carries the same complex properties as a many-body quantum state. This invites the question: to what extent can temporal correlations be as interesting as spatial ones, and how can we access them? One particular avenue through which this structure manifests is in open quantum systems. System-environment dynamics can precipitate non-Markovian processes by which correlations persist between different times. Recently, the advent of high-fidelity quantum devices has made it possible to probe coherent quantum systems. In this talk, I will discuss my recent work in which we show how this serves as a novel test bed to capture many-time physics. We build frameworks to extract generic spatiotemporal properties of quantum stochastic processes, show how process complexity may be manipulated, and elevate user-control into the theory to make it self-consistent. Remarkably, many of these complex features are already present in naturally occurring noise, and hence the results have direct application to the development of fault-tolerant quantum devices. I will also briefly discuss some of my future research goals: the existence of exotic temporal phenomena and how emergent spatiotemporal features can be captured through renormalisation group approaches; the learnability of spacetime quantum correlations and avenues here to quantum advantage; and the taming of correlated noise in quantum devices through bespoke error suppression and error correction.