-
Classifying 2D topological phases: map** ground states to string-nets
Authors:
Isaac H. Kim,
Daniel Ranard
Abstract:
We prove the conjectured classification of topological phases in two spatial dimensions with gappable boundary, in a simplified setting. Two gapped ground states of lattice Hamiltonians are in the same quantum phase of matter, or topological phase, if they can be connected by a constant-depth quantum circuit. It is conjectured that the Levin-Wen string-net models exhaust all possible gapped phases…
▽ More
We prove the conjectured classification of topological phases in two spatial dimensions with gappable boundary, in a simplified setting. Two gapped ground states of lattice Hamiltonians are in the same quantum phase of matter, or topological phase, if they can be connected by a constant-depth quantum circuit. It is conjectured that the Levin-Wen string-net models exhaust all possible gapped phases with gappable boundary, and these phases are labeled by unitary modular tensor categories. We prove this under the assumption that every phase has a representative state with zero correlation length satisfying the entanglement bootstrap axioms, or a strict form of area law. Our main technical development is to transform these states into string-net states using constant-depth quantum circuits.
△ Less
Submitted 27 May, 2024;
originally announced May 2024.
-
Strict area law implies commuting parent Hamiltonian
Authors:
Isaac H. Kim,
Ting-Chun Lin,
Daniel Ranard,
Bowen Shi
Abstract:
We show that in two spatial dimensions, when a quantum state has entanglement entropy obeying a strict area law, meaning $S(A)=α|\partial A| - γ$ for constants $α, γ$ independent of lattice region $A$, then it admits a commuting parent Hamiltonian. More generally, we prove that the entanglement bootstrap axioms in 2D imply the existence of a commuting, local parent Hamiltonian with a stable spectr…
▽ More
We show that in two spatial dimensions, when a quantum state has entanglement entropy obeying a strict area law, meaning $S(A)=α|\partial A| - γ$ for constants $α, γ$ independent of lattice region $A$, then it admits a commuting parent Hamiltonian. More generally, we prove that the entanglement bootstrap axioms in 2D imply the existence of a commuting, local parent Hamiltonian with a stable spectral gap. We also extend our proof to states that describe gapped domain walls. Physically, these results imply that the states studied in the entanglement bootstrap program correspond to ground states of some local Hamiltonian, describing a stable phase of matter. Our result also suggests that systems with chiral gapless edge modes cannot obey a strict area law provided they have finite local Hilbert space.
△ Less
Submitted 8 April, 2024;
originally announced April 2024.
-
The $\hbar\to 0$ limit of open quantum systems with general Lindbladians: vanishing noise ensures classicality beyond the Ehrenfest time
Authors:
Felipe Hernández,
Daniel Ranard,
C. Jess Riedel
Abstract:
Quantum and classical systems evolving under the same formal Hamiltonian $H$ may exhibit dramatically different behavior after the Ehrenfest timescale $t_E \sim \log(\hbar^{-1})$, even as $\hbar \to 0$. Coupling the system to a Markovian environment results in a Lindblad equation for the quantum evolution. Its classical counterpart is given by the Fokker-Planck equation on phase space, which descr…
▽ More
Quantum and classical systems evolving under the same formal Hamiltonian $H$ may exhibit dramatically different behavior after the Ehrenfest timescale $t_E \sim \log(\hbar^{-1})$, even as $\hbar \to 0$. Coupling the system to a Markovian environment results in a Lindblad equation for the quantum evolution. Its classical counterpart is given by the Fokker-Planck equation on phase space, which describes Hamiltonian flow with friction and diffusive noise. The quantum and classical evolutions may be compared via the Wigner-Weyl representation. Due to decoherence, they are conjectured to match closely for times far beyond the Ehrenfest timescale as $\hbar \to 0$. We prove a version of this correspondence, bounding the error between the quantum and classical evolutions for any sufficiently regular Hamiltonian $H(x,p)$ and Lindblad functions $L_k(x,p)$. The error is small when the strength of the diffusion $D$ associated to the Lindblad functions satisfies $D \gg \hbar^{4/3}$, in particular allowing vanishing noise in the classical limit. We use a time-dependent semiclassical mixture of variably squeezed Gaussian states evolving by a local harmonic approximation to the Lindblad dynamics. Both the exact quantum trajectory and its classical counterpart can be expressed as perturbations of this semiclassical mixture, with the errors bounded using Duhamel's principle. We present heuristic arguments suggesting the $4/3$ exponent is optimal and defines a boundary in the sense that asymptotically weaker diffusion permits a breakdown of quantum-classical correspondence at the Ehrenfest timescale. Our presentation aims to be comprehensive and accessible to both mathematicians and physicists. In a shorter companion paper, we treat the special case of Hamiltonians of the form $H=p^2/2m + V(x)$ and linear Lindblad operators, with explicit bounds that can be applied directly to physical systems.
△ Less
Submitted 7 July, 2023;
originally announced July 2023.
-
Decoherence ensures classicality beyond the Ehrenfest time as $\hbar \to 0$
Authors:
Felipe Hernández,
Daniel Ranard,
C. Jess Riedel
Abstract:
In closed quantum systems, wavepackets can spread exponentially in time due to chaos, forming long-range superpositions in just seconds for ordinary macroscopic systems. A weakly coupled environment is conjectured to decohere the system and restore the quantum-classical correspondence while necessarily introducing diffusive noise -- but for what coupling strength, and under what conditions? For Ma…
▽ More
In closed quantum systems, wavepackets can spread exponentially in time due to chaos, forming long-range superpositions in just seconds for ordinary macroscopic systems. A weakly coupled environment is conjectured to decohere the system and restore the quantum-classical correspondence while necessarily introducing diffusive noise -- but for what coupling strength, and under what conditions? For Markovian open systems with Hamiltonians of the form $H=p^2/2m + V(x)$ and linear Lindblad operators, we prove the quantum and classical evolutions are close whenever the strength of the environment-induced diffusion exceeds a threshold $\hbar^{4/3} A_c$, were $A_c$ is a characteristic scale of the classical dynamics. (A companion paper treats more general Hamiltonians and Lindblad operators.) The bound applies for all observables and for times exponentially longer than the Ehrenfest timescale, which is when the correspondence can break down in closed systems. The strength of the diffusive noise can vanish in the classical limit to give the appearance of reversible dynamics. The $4/3$ exponent may be optimal, as Toscano et al. have found evidence that the quantum-classical correspondence breaks down in some systems when the diffusion is any weaker.
△ Less
Submitted 23 June, 2023;
originally announced June 2023.
-
A spin-energy operator inequality for Heisenberg-coupled qubits
Authors:
Daniel Ranard,
C. Jess Riedel
Abstract:
We slightly strengthen an operator inequality identified by Correggi et al. that lower bounds the energy of a Heisenberg-coupled graph of $s=1/2$ spins using the total spin. In particular, $ΔH \ge C Δ\vec{S}^2$ for a graph-dependent constant $C$, where $ΔH$ is the energy above the ground state and $Δ\vec{S}^2$ is the amount by which the square of the total spin $\vec{S} = \sum_i \vecσ_i/2$ falls b…
▽ More
We slightly strengthen an operator inequality identified by Correggi et al. that lower bounds the energy of a Heisenberg-coupled graph of $s=1/2$ spins using the total spin. In particular, $ΔH \ge C Δ\vec{S}^2$ for a graph-dependent constant $C$, where $ΔH$ is the energy above the ground state and $Δ\vec{S}^2$ is the amount by which the square of the total spin $\vec{S} = \sum_i \vecσ_i/2$ falls below its maximum possible value. We obtain explicit constants in the special case of a cubic lattice. We briefly discuss the interpretation of this bound in terms of low-energy, approximately non-interacting magnons in spin wave theory and contrast it with another inequality found by Bärwinkel et al.
△ Less
Submitted 22 February, 2023;
originally announced February 2023.
-
Universal lower bound on topological entanglement entropy
Authors:
Isaac H. Kim,
Michael Levin,
Ting-Chun Lin,
Daniel Ranard,
Bowen Shi
Abstract:
Entanglement entropies of two-dimensional gapped ground states are expected to satisfy an area law, with a constant correction term known as the topological entanglement entropy (TEE). In many models, the TEE takes a universal value that characterizes the underlying topological phase. However, the TEE is not truly universal: it can differ even for two states related by constant-depth circuits, whi…
▽ More
Entanglement entropies of two-dimensional gapped ground states are expected to satisfy an area law, with a constant correction term known as the topological entanglement entropy (TEE). In many models, the TEE takes a universal value that characterizes the underlying topological phase. However, the TEE is not truly universal: it can differ even for two states related by constant-depth circuits, which are necessarily in the same phase. The difference between the TEE and the value predicted by the anyon theory is often called the spurious topological entanglement entropy. We show that this spurious contribution is always nonnegative, thus the value predicted by the anyon theory provides a universal lower bound. This observation also leads to a definition of TEE that is invariant under constant-depth quantum circuits.
△ Less
Submitted 31 October, 2023; v1 submitted 1 February, 2023;
originally announced February 2023.
-
The QAOA gets stuck starting from a good classical string
Authors:
Madelyn Cain,
Edward Farhi,
Sam Gutmann,
Daniel Ranard,
Eugene Tang
Abstract:
The Quantum Approximate Optimization Algorithm (QAOA) is designed to maximize a cost function over bit strings. While the initial state is traditionally a uniform superposition over all strings, it is natural to try expediting the QAOA: first use a classical algorithm to produce some good string, and then run the standard QAOA starting in the computational basis state associated with that string.…
▽ More
The Quantum Approximate Optimization Algorithm (QAOA) is designed to maximize a cost function over bit strings. While the initial state is traditionally a uniform superposition over all strings, it is natural to try expediting the QAOA: first use a classical algorithm to produce some good string, and then run the standard QAOA starting in the computational basis state associated with that string. Here we report numerical experiments that show this method of initializing the QAOA fails dramatically, exhibiting little to no improvement of the cost function. We provide multiple analytical arguments for this lack of improvement, each of which can be made rigorous under different regimes or assumptions, including at nearly linear depths. We emphasize that our negative results only apply to our simple incarnation of the warm-start QAOA and may not apply to other approaches in the literature. We hope that our theoretical analysis will inform future algorithm design.
△ Less
Submitted 7 July, 2023; v1 submitted 11 July, 2022;
originally announced July 2022.
-
A converse to Lieb-Robinson bounds in one dimension using index theory
Authors:
Daniel Ranard,
Michael Walter,
Freek Witteveen
Abstract:
Unitary dynamics with a strict causal cone (or "light cone") have been studied extensively, under the name of quantum cellular automata (QCAs). In particular, QCAs in one dimension have been completely classified by an index theory. Physical systems often exhibit only approximate causal cones; Hamiltonian evolutions on the lattice satisfy Lieb-Robinson bounds rather than strict locality. This moti…
▽ More
Unitary dynamics with a strict causal cone (or "light cone") have been studied extensively, under the name of quantum cellular automata (QCAs). In particular, QCAs in one dimension have been completely classified by an index theory. Physical systems often exhibit only approximate causal cones; Hamiltonian evolutions on the lattice satisfy Lieb-Robinson bounds rather than strict locality. This motivates us to study approximately locality preserving unitaries (ALPUs). We show that the index theory is robust and completely extends to one-dimensional ALPUs. As a consequence, we achieve a converse to the Lieb-Robinson bounds: any ALPU of index zero can be exactly generated by some time-dependent, quasi-local Hamiltonian in constant time. For the special case of finite chains with open boundaries, any unitary satisfying the Lieb-Robinson bound may be generated by such a Hamiltonian. We also discuss some results on the stability of operator algebras which may be of independent interest.
△ Less
Submitted 15 March, 2022; v1 submitted 1 December, 2020;
originally announced December 2020.
-
Fluctuations of subsystem entropies at late times
Authors:
Jordan Cotler,
Nicholas Hunter-Jones,
Daniel Ranard
Abstract:
We study the fluctuations of subsystem entropies in closed quantum many-body systems after thermalization. Using a combination of analytics and numerics for both random quantum circuits and Hamiltonian dynamics, we find that the statistics of such entropy fluctuations is drastically different than in the classical setting. For instance, shortly after a system thermalizes, the probability of entrop…
▽ More
We study the fluctuations of subsystem entropies in closed quantum many-body systems after thermalization. Using a combination of analytics and numerics for both random quantum circuits and Hamiltonian dynamics, we find that the statistics of such entropy fluctuations is drastically different than in the classical setting. For instance, shortly after a system thermalizes, the probability of entropy fluctuations for a subregion is suppressed in the dimension of the Hilbert space of the complementary subregion. This suppression becomes increasingly stringent as a function of time, ultimately depending on the exponential of the Hilbert space dimension, until extremely late times when the amount of suppression saturates. We also use our results to estimate the total number of rare fluctuations at large timescales. We find that the "Boltzmann brain" paradox is largely ameliorated in quantum many-body systems, in contrast with the classical setting.
△ Less
Submitted 5 November, 2020; v1 submitted 22 October, 2020;
originally announced October 2020.
-
Emergent classicality in general multipartite states and channels
Authors:
Xiao-Liang Qi,
Daniel Ranard
Abstract:
In a quantum measurement process, classical information about the measured system spreads throughout the environment. Meanwhile, quantum information about the system becomes inaccessible to local observers. Here we prove a result about quantum channels indicating that an aspect of this phenomenon is completely general. We show that for any evolution of the system and environment, for everywhere in…
▽ More
In a quantum measurement process, classical information about the measured system spreads throughout the environment. Meanwhile, quantum information about the system becomes inaccessible to local observers. Here we prove a result about quantum channels indicating that an aspect of this phenomenon is completely general. We show that for any evolution of the system and environment, for everywhere in the environment excluding an $O(1)$-sized region we call the "quantum Markov blanket," any locally accessible information about the system must be approximately classical, i.e. obtainable from some fixed measurement. The result strengthens the earlier result of arXiv:1310.8640 in which the excluded region was allowed to grow with total environment size. It may also be seen as a new consequence of the principles of no-cloning or monogamy of entanglement. Our proof offers a constructive optimization procedure for determining the "quantum Markov blanket" region, as well as the effective measurement induced by the evolution. Alternatively, under channel-state duality, our result characterizes the marginals of multipartite states.
△ Less
Submitted 27 September, 2021; v1 submitted 6 January, 2020;
originally announced January 2020.
-
Target Space Entanglement Entropy
Authors:
Edward A. Mazenc,
Daniel Ranard
Abstract:
We define a notion of target space entanglement entropy. Rather than partitioning the base space on which the theory is defined, we consider partitions of the target space. This is the physical case of interest for first-quantized theories, such as worldsheet string theory. We associate to each subregion of the target space a suitably chosen sub-algebra of observables $\mathcal{A}$. The entangleme…
▽ More
We define a notion of target space entanglement entropy. Rather than partitioning the base space on which the theory is defined, we consider partitions of the target space. This is the physical case of interest for first-quantized theories, such as worldsheet string theory. We associate to each subregion of the target space a suitably chosen sub-algebra of observables $\mathcal{A}$. The entanglement entropy is calculated as the entropy of the density matrix restricted to $\mathcal{A}$. As an example, we illustrate our framework by computing spatial entanglement in first-quantized many-body quantum mechanics. The algebra $\mathcal{A}$ is chosen to reproduce the entanglement entropy obtained by embedding the state in the fixed particle sub-sector of the second-quantized Hilbert space. We then generalize our construction to the quantum field-theoretical setting.
△ Less
Submitted 16 October, 2019;
originally announced October 2019.
-
Kitaev's quantum double model as an error correcting code
Authors:
Shawn X. Cui,
Dawei Ding,
Xizhi Han,
Geoffrey Penington,
Daniel Ranard,
Brandon C. Rayhaun,
Zhou Shangnan
Abstract:
Kitaev's quantum double models in 2D provide some of the most commonly studied examples of topological quantum order. In particular, the ground space is thought to yield a quantum error-correcting code. We offer an explicit proof that this is the case for arbitrary finite groups. Actually a stronger claim is shown: any two states with zero energy density in some contractible region must have the s…
▽ More
Kitaev's quantum double models in 2D provide some of the most commonly studied examples of topological quantum order. In particular, the ground space is thought to yield a quantum error-correcting code. We offer an explicit proof that this is the case for arbitrary finite groups. Actually a stronger claim is shown: any two states with zero energy density in some contractible region must have the same reduced state in that region. Alternatively, the local properties of a gauge-invariant state are fully determined by specifying that its holonomies in the region are trivial. We contrast this result with the fact that local properties of gauge-invariant states are not generally determined by specifying all of their non-Abelian fluxes -- that is, the Wilson loops of lattice gauge theory do not form a complete commuting set of observables. We also note that the methods developed by P. Naaijkens (PhD thesis, 2012) under a different context can be adapted to provide another proof of the error correcting property of Kitaev's model. Finally, we compute the topological entanglement entropy in Kitaev's model, and show, contrary to previous claims in the literature, that it does not depend on whether the "log dim R" term is included in the definition of entanglement entropy.
△ Less
Submitted 22 September, 2020; v1 submitted 7 August, 2019;
originally announced August 2019.
-
Determining a local Hamiltonian from a single eigenstate
Authors:
Xiao-Liang Qi,
Daniel Ranard
Abstract:
We ask whether the knowledge of a single eigenstate of a local Hamiltonian is sufficient to uniquely determine the Hamiltonian. We present evidence that the answer is "yes" for generic local Hamiltonians, given either the ground state or an excited eigenstate. In fact, knowing only the two-point equal-time correlation functions of local observables with respect to the eigenstate should generically…
▽ More
We ask whether the knowledge of a single eigenstate of a local Hamiltonian is sufficient to uniquely determine the Hamiltonian. We present evidence that the answer is "yes" for generic local Hamiltonians, given either the ground state or an excited eigenstate. In fact, knowing only the two-point equal-time correlation functions of local observables with respect to the eigenstate should generically be sufficient to exactly recover the Hamiltonian for finite-size systems, with numerical algorithms that run in a time that is polynomial in the system size. We also investigate the large-system limit, the sensitivity of the reconstruction to error, and the case when correlation functions are only known for observables on a fixed sub-region. Numerical demonstrations support the results for finite one-dimensional spin chains (though caution must be taken when extrapolating to infinite-size systems in higher dimensions). For the purpose of our analysis, we define the "$k$-correlation spectrum" of a state, which reveals properties of local correlations in the state and may be of independent interest.
△ Less
Submitted 1 July, 2019; v1 submitted 5 December, 2017;
originally announced December 2017.
-
Locality from the Spectrum
Authors:
Jordan S. Cotler,
Geoffrey R. Penington,
Daniel H. Ranard
Abstract:
Essential to the description of a quantum system are its local degrees of freedom, which enable the interpretation of subsystems and dynamics in the Hilbert space. While a choice of local tensor factorization of the Hilbert space is often implicit in the writing of a Hamiltonian or Lagrangian, the identification of local tensor factors is not intrinsic to the Hilbert space itself. Instead, the onl…
▽ More
Essential to the description of a quantum system are its local degrees of freedom, which enable the interpretation of subsystems and dynamics in the Hilbert space. While a choice of local tensor factorization of the Hilbert space is often implicit in the writing of a Hamiltonian or Lagrangian, the identification of local tensor factors is not intrinsic to the Hilbert space itself. Instead, the only basis-invariant data of a Hamiltonian is its spectrum, which does not manifestly determine the local structure. This ambiguity is highlighted by the existence of dualities, in which the same energy spectrum may describe two systems with very different local degrees of freedom. We argue that in fact, the energy spectrum alone almost always encodes a unique description of local degrees of freedom when such a description exists, allowing one to explicitly identify local subsystems and how they interact. As a consequence, we can almost always write a Hamiltonian in its local presentation given only its spectrum. In special cases, multiple dual local descriptions can be extracted from a given spectrum, but generically the local description is unique.
△ Less
Submitted 9 November, 2017; v1 submitted 20 February, 2017;
originally announced February 2017.