-
Lower bounding the MaxCut of high girth 3-regular graphs using the QAOA
Authors:
Edward Farhi,
Sam Gutmann,
Daniel Ranard,
Benjamin Villalonga
Abstract:
We study MaxCut on 3-regular graphs of minimum girth $g$ for various $g$'s. We obtain new lower bounds on the maximum cut achievable in such graphs by analyzing the Quantum Approximate Optimization Algorithm (QAOA). For $g \geq 16$, at depth $p \geq 7$, the QAOA improves on previously known lower bounds. Our bounds are established through classical numerical analysis of the QAOA's expected perform…
▽ More
We study MaxCut on 3-regular graphs of minimum girth $g$ for various $g$'s. We obtain new lower bounds on the maximum cut achievable in such graphs by analyzing the Quantum Approximate Optimization Algorithm (QAOA). For $g \geq 16$, at depth $p \geq 7$, the QAOA improves on previously known lower bounds. Our bounds are established through classical numerical analysis of the QAOA's expected performance. This analysis does not produce the actual cuts but establishes their existence. When implemented on a quantum computer, the QAOA provides an efficient algorithm for finding such cuts, using a constant-depth quantum circuit. To our knowledge, this gives an exponential speedup over the best known classical algorithm guaranteed to achieve cuts of this size on graphs of this girth. We also apply the QAOA to the Maximum Independent Set problem on the same class of graphs.
△ Less
Submitted 16 March, 2025;
originally announced March 2025.
-
Learning State Preparation Circuits for Quantum Phases of Matter
Authors:
Hyun-Soo Kim,
Isaac H. Kim,
Daniel Ranard
Abstract:
Many-body ground state preparation is an important subroutine used in the simulation of physical systems. In this paper, we introduce a flexible and efficient framework for obtaining a state preparation circuit for a large class of many-body ground states. We introduce polynomial-time classical algorithms that take reduced density matrices over $\mathcal{O}(1)$-sized balls as inputs, and output a…
▽ More
Many-body ground state preparation is an important subroutine used in the simulation of physical systems. In this paper, we introduce a flexible and efficient framework for obtaining a state preparation circuit for a large class of many-body ground states. We introduce polynomial-time classical algorithms that take reduced density matrices over $\mathcal{O}(1)$-sized balls as inputs, and output a circuit that prepares the global state. We introduce algorithms applicable to (i) short-range entangled states (e.g., states prepared by shallow quantum circuits in any number of dimensions, and more generally, invertible states) and (ii) long-range entangled ground states (e.g., the toric code on a disk). Both algorithms can provably find a circuit whose depth is asymptotically optimal. Our approach uses a variant of the quantum Markov chain condition that remains robust against constant-depth circuits. The robustness of this condition makes our method applicable to a large class of states, whilst ensuring a classically tractable optimization landscape.
△ Less
Submitted 3 November, 2024; v1 submitted 30 October, 2024;
originally announced October 2024.
-
Strategies for running the QAOA at hundreds of qubits
Authors:
Brandon Augustino,
Madelyn Cain,
Edward Farhi,
Swati Gupta,
Sam Gutmann,
Daniel Ranard,
Eugene Tang,
Katherine Van Kirk
Abstract:
We explore strategies aimed at reducing the amount of computation, both quantum and classical, required to run the Quantum Approximate Optimization Algorithm (QAOA). First, following Wurtz et al. [Phys.Rev A 104:052419], we consider the standard QAOA with instance-independent "tree" parameters chosen in advance. These tree parameters are chosen to optimize the MaxCut expectation for large girth gr…
▽ More
We explore strategies aimed at reducing the amount of computation, both quantum and classical, required to run the Quantum Approximate Optimization Algorithm (QAOA). First, following Wurtz et al. [Phys.Rev A 104:052419], we consider the standard QAOA with instance-independent "tree" parameters chosen in advance. These tree parameters are chosen to optimize the MaxCut expectation for large girth graphs. We provide extensive numerical evidence supporting the performance guarantee for tree parameters conjectured in [Phys.Rev A 103:042612] and see that the approximation ratios obtained with tree parameters are typically well beyond the conjectured lower bounds, often comparable to performing a full optimization. This suggests that in practice, the QAOA can achieve near-optimal performance without the need for parameter optimization.
Next, we modify the warm-start QAOA of Tate et al. [Quantum 7:1121]. The starting state for the QAOA is now an optimized product state associated with a solution of the Goemans-Williamson (GW) algorithm. Surprisingly, the tree parameters continue to perform well for the warm-start QAOA. We find that for random 3-regular graphs with hundreds of vertices, the expected cut obtained by the warm-start QAOA at depth $p \gtrsim 3$ is comparable to that of the standard GW algorithm.
Our numerics on random instances do not provide general performance guarantees but do provide substantial evidence that there exists a regime of instance sizes in which the QAOA finds good solutions at low depth without the need for parameter optimization. For each instance studied, we classically compute the expected size of the QAOA distribution of cuts; producing the actual cuts requires running on a quantum computer.
△ Less
Submitted 3 October, 2024;
originally announced October 2024.
-
Classifying 2D topological phases: mapping 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.
-
Classical correspondence beyond the Ehrenfest time for open quantum systems with general Lindbladians
Authors:
Felipe Hernández,
Daniel Ranard,
C. Jess Riedel
Abstract:
Quantum and classical systems evolving under the same formal Hamiltonian $H$ may dramatically differ 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 flo…
▽ More
Quantum and classical systems evolving under the same formal Hamiltonian $H$ may dramatically differ 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}$, which allows vanishing noise in the classical limit. Our method uses a time-dependent semiclassical mixture of variably squeezed Gaussian states. The states evolve according to 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. In a shorter companion paper, we treat the special case of Hamiltonians that decompose into kinetic and potential energy with linear Lindblad operators, with explicit bounds that can be applied directly to physical systems.
△ Less
Submitted 19 May, 2025; v1 submitted 7 July, 2023;
originally announced July 2023.
-
Ehrenfest's theorem beyond the Ehrenfest time
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 at what coupling strength, and under which 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 at what coupling strength, and under which conditions? For Markovian open systems with Hamiltonians of the form $H = p^2/2m+V(x)$ and Hermitian linear Lindblad operators, we prove the quantum and classical evolutions are close whenever the strength of the environment-induced diffusion satisfies $D \gg (\hbar/s_H)^{4/3} D_H$, where $s_H$ and $D_H$ are characteristic action and diffusion scales that we define precisely using the classical Hamiltonian $H$. 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, suggested by heuristic arguments and prior numerical evidence. Based on our bound, we give an efficient classical algorithm for simulating quantum Lindblad dynamics, which becomes provably accurate when the strength of environmental coupling exceeds the above threshold.
△ Less
Submitted 19 May, 2025; v1 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.
