Quantum Information

This talk concerns the "Markov gap," a tripartite-entanglement measure with a simple geometric dual in holographic quantum gravity. I will prove a new inequality constraining the Markov gap of classical states in quantum gravity, and interpret this inequality as a lesson about multipartite entanglement in holography. I will also speculate about signatures of the inequality in non-holographic field theories, and conjecture a new universal entanglement feature of two-dimensional CFTs.

Zoom Link: https://pitp.zoom.us/j/98327637522?pwd=TUJOQ0d1aU5Gc0RLTlJLd3B3Ty9LUT09

We introduce a flexible and graphically intuitive framework that constructs complex quantum error correction codes from simple codes or states, generalizing code concatenation. More specifically, we represent the complex code constructions as tensor networks built from the tensors of simple codes or states in a modular fashion. Using a set of local moves known as operator pushing, one can derive properties of the more complex codes, such as transversal non-Clifford gates, by tracing the flow of operators in the network. The framework endows a network geometry to any code it builds and is valid for constructing stabilizer codes as well as non-stabilizer codes over qubits and qudits. For a contractible tensor network, the sequence of contractions also constructs a decoding/encoding circuit. To highlight the framework's range of capabilities and to provide a tutorial, we lay out some examples where we glue together simple stabilizer codes to construct non-trivial codes. These examples include the toric code and its variants, a holographic code with transversal non-Clifford operators, a 3d stabilizer code, and other stabilizer codes with interesting properties. Surprisingly, we find that the surface code is equivalent to the 2d Bacon-Shor code after "dualizing" its tensor network encoding map.
 

Suppressing noise in physical systems is of fundamental importance. As quantum computers mature, quantum error correcting codes (QECs) will be adopted in order to suppress errors to any desired level. However in the noisy, intermediate-scale quantum (NISQ) era, the complexity and scale required to adopt even the smallest QEC is prohibitive: a single logical qubit needs to be encoded into many thousands of physical qubits. Here we show that, for the crucial case of estimating expectation values of observables (key to almost all NISQ algorithms) one can indeed achieve an effective exponential suppression. We take n independently prepared circuit outputs to create a state whose symmetries prevent errors from contributing bias to the expected value. The approach is very well suited for current and near-term quantum devices as it is modular in the main computation and requires only a shallow circuit that bridges the n copies immediately prior to measurement. Using no more than four circuit copies, we confirm error suppression below 10−6 for circuits consisting of several hundred noisy gates (2-qubit gate error 0.5%) in numerical simulations validating our approach. This talk is based on [B. Koczor, Phys. Rev. X 11, 031057] and [B. Koczor, New J. Phys. (accepted), arXiv:2104.00608].

Zoom Link: https://pitp.zoom.us/j/91654758635?pwd=TEtPMmZMNGZya1JOc05KbGt6OUpjdz09

Quantum cellular automata (QCA) are unitary transformations that preserve locality. In one dimension, QCA are known to be fully characterized by a topological chiral index that takes on arbitrary rational numbers [1]. QCA with nonzero indices are anomalous, in the sense that they are not finite-depth quantum circuits of local unitaries, yet they can appear as the edge dynamics of two-dimensional chiral Floquet topological phases [2].

In this seminar, I will focus on the topological aspects of one-dimensional QCA. First, I will talk about how the topological classification of QCA will be enriched by finite unitary symmetries [3]. On top of the cohomology character that applies equally to topological states, I will introduce a new class of topological numbers termed symmetry-protected indices. The latter, which include the chiral index as a special case, are genuinely dynamical topological invariants without state counterparts [4].

 

In the second part, I will show that the chiral index lower bounds the operator entanglement of QCA [5]. This rigorous bound enforces a linear growth of operator entanglement in the Floquet dynamics governed by nontrivial QCA, ruling out the possibility of many-body localization. In fact, this result gives a rigorous proof to a conjecture in Ref. [2]. Finally, I will present a generalized entanglement membrane theory that captures the large-scale (hydrodynamic) behaviors of typical (chaotic) QCA [6].

References:
[1] D. Gross, V. Nesme, H. Vogts, and R. F. Werner, Commun. Math. Phys. 310, 419 (2012).
[2] H. C. Po, L. Fidkowski, T. Morimoto, A. C. Potter, and A. Vishwanath, Phys. Rev. X 6, 041070 (2016).
[3] Z. Gong, C. Sünderhauf, N. Schuch, and J. I. Cirac, Phys. Rev. Lett. 124, 100402 (2020).
[4] Z. Gong and T. Guaita, arXiv:2106.05044.
[5] Z. Gong, L. Piroli, and J. I. Cirac, Phys. Rev. Lett. 126, 160601 (2021).
[6] Z. Gong, A. Nahum, and L. Piroli, arXiv:2109.07408.

 

The vast and growing number of publications in all disciplines of science cannot be comprehended by a single human researcher. As a consequence, researchers have to specialize in narrow subdisciplines, which makes it challenging to uncover scientific connections beyond the own field of research.

In my talk, I will present a possible solution: I demonstrate the development of a semantic network for quantum physics (SemNet), using 750,000 scientific papers and knowledge from books and Wikipedia. I use it in conjunction with an artificial neural network for predicting future research directions. Finally, I show first indications how individual scientists can use SemNet for suggesting and inspiring personalized, out-of-the-box ideas.

I believe that computer-inspired scientific ideas will play a significant role in accelerating scientific progress, and am looking forward hearing your thoughts and ideas about this crucial question.

References
[1] Mario Krenn, Anton Zeilinger, Predicting research trends with semantic and neural networks with an application in quantum physics, PNAS 117(4) 1910-1916 (2020).
[2] IEEE BigData 2021 competition: Science4Cast: https://github.com/iarai/science4cast

Zoom Link: https://pitp.zoom.us/j/92240839439?pwd=LytUTHlMWE9ycjlsUXJkdHRta2c1UT09

Classical machine learning (ML) provides a potentially powerful approach to solving challenging quantum many-body problems in physics and chemistry. However, the advantages of ML over more traditional methods have not been firmly established. In this work, we prove that classical ML algorithms can efficiently predict ground state properties of gapped Hamiltonians in finite spatial dimensions, after learning from data obtained by measuring other Hamiltonians in the same quantum phase of matter. In contrast, under widely accepted complexity theory assumptions, classical algorithms that do not learn from data cannot achieve the same guarantee. We also prove that classical ML algorithms can efficiently classify a wide range of quantum phases of matter. Our arguments are based on the concept of a classical shadow, a succinct classical description of a many-body quantum state that can be constructed in feasible quantum experiments and be used to predict many properties of the state. Extensive numerical experiments corroborate our theoretical results in a variety of scenarios, including Rydberg atom systems, 2D random Heisenberg models, symmetry-protected topological phases, and topologically ordered phases.

We investigate topological order on fractal geometries embedded in n dimensions. In particular, we diagnose the existence of the topological order through the lens of quantum information and geometry, i.e., via its equivalence to a quantum error-correcting code with a macroscopic code distance or the presence of macroscopic systoles in systolic geometry. We first prove a no-go theorem that Z_N topological order cannot survive on any fractal embedded in 2D. For fractal lattice models embedded in 3D or higher spatial dimensions, Z_N topological order survives if the boundaries of the interior holes condense only loop or membrane excitations. Moreover, for a class of models containing only loop or membrane excitations, and are hence self-correcting on an n-dimensional manifold, we prove that topological order survives on a large class of fractal geometries independent of the type of hole boundaries. We further construct fault-tolerant logical gates using their connection to global and higher-form topological symmetries. In particular, we have discovered a logical CCZ gate corresponding to a global symmetry in a class of fractal codes embedded in 3D with Hausdorff dimension asymptotically approaching D_H=2+ϵ for arbitrarily small ϵ, which hence only requires a space-overhead Ω(d^(2+ϵ)) with d being the code distance. This in turn leads to the surprising discovery of certain exotic gapped boundaries that only condense the combination of loop excitations and gapped domain walls. We further obtain logical C^pZ gates with p≤n−1 on fractal codes embedded in nD. In particular, for the logical C^{n−1}Z in the nth level of Clifford hierarchy, we can reduce the space overhead to Ω(d^(n−1+ϵ)). Mathematically, our findings correspond to macroscopic relative systoles in fractals.

Zoom Link: https://pitp.zoom.us/j/96893356441?pwd=cnlxTVIwd0U5TW9uZDMweXRSa3oydz09

Designing encoding and decoding circuits to reliably send messages over many uses of a noisy channel is a central problem in communication theory. When studying the optimal transmission rates achievable with asymptotically vanishing error it is usually assumed that these circuits can be implemented using noise-free gates. While this assumption is satisfied for classical machines in many scenarios, it is not expected to be satisfied in the near term future for quantum machines where decoherence leads to faults in the quantum gates. As a result, fundamental questions regarding the practical relevance of quantum channel coding remain open. By combining techniques from fault-tolerant quantum computation with techniques from quantum communication, we initiate the study of these questions. As our main result, we prove threshold theorems for quantum communication, i.e. we show that coding near the (standard noiseless) classical or quantum capacity is possible when the gate error is below a threshold.

 

Decoherence attempts to explain the emergent classical behaviour of a quantum system interacting with its quantum environment. In order to formalize this mechanism we introduce the idea that the information preserved in an open quantum evolution (or channel) can be characterized in terms of observables of the initial system. We use this approach to show that information which is broadcast into many parts of the environment can be encoded in a single observable. This supports a model of decoherence where the pointer observable can be an arbitrary positive operator-valued measure (POVM). This generalization makes it possible to characterize the emergence of a realistic classical phase-space. In addition, this model clarifies the relations among the information preserved in the system, the information flowing from the system to the environment (measurement), and the establishment of correlations between the system and the environment.

It is known that continuous variable quantum information cannot be protected against naturally occurring noise using Gaussian states and operations only. Noh et al. (PRL 125:080503, 2020) proposed bosonic oscillator-to-oscillator codes relying on non-Gaussian resource states as an alternative, and showed that these encodings can lead to a reduction of the effective error strength at the logical level as measured by the variance of the classical displacement noise channel. An oscillator-to-oscillator code embeds K logical bosonic modes (in an arbitrary state) into N physical modes by means of a Gaussian N-mode unitary and N-K auxiliary one-mode Gottesman-Kitaev-Preskill-states.
Here we ask if - in analogy to qubit error-correcting codes - there are families of oscillator-to-oscillator codes with the following threshold property: They allow to convert physical displacement noise with variance below some threshold value to logical noise with variance upper bounded by any (arbitrary) constant. We find that this is not the case if encoding unitaries involving a constant amount of squeezing and maximum likelihood error decoding are used. We show a general lower bound on the logical error probability which is only a function of the amount of squeezing and independent of the number of modes. As a consequence, any physically implementable family of oscillator-to-oscillator codes combined with maximum likelihood error decoding does not admit a threshold.

We study the problem of learning a Hamiltonian given copies of its Gibbs state at a known inverse temperature. Anshu et al. recently studied the sample complexity (number of copies of the Gibbs state needed) of this problem for geometrically local Hamiltonians. In the high-temperature regime, their algorithm has sample complexity polynomial in the system size, temperature, and accuracy. Their algorithm can also be implemented with polynomial, but suboptimal, time complexity. Here, we study the same question for a more general class of Hamiltonians and present an algorithm that solves this problem with improved sample complexity and time complexity linear in the sample size. Furthermore, we prove a matching lower bound showing that our algorithm's sample complexity is optimal, and hence our time complexity is also optimal. Joint work with Robin Kothari and Ewin Tang.