We introduce a family of Hamiltonian systems for measurement-based quantum computation with continuous variables. The Hamiltonians (i) are quadratic, and therefore two body, (ii) are of short range, (iii) are frustration-free, and (iv) possess a constant energy gap proportional to the squared inverse of the squeezing. Their ground states are the celebrated Gaussian graph states, which are universal resources for quantum computation in the limit of infinite squeezing. These Hamiltonians constitute the basic ingredient for the adiabatic preparation of graph states and thus open new venues for the physical realization of continuous-variable quantum computing beyond the standard optical approaches. We characterize the correlations in these systems at thermal equilibrium. In particular, we prove that the correlations across any multipartition are contained exactly in its boundary, automatically yielding a correlation area law.
Many-body entangled quantum states studied in condensed matter physics can be primary resources for quantum information, allowing any quantum computation to be realized using measurements alone, on the state. Such a universal state would be remarkably valuable, if only it were thermodynamically stable and experimentally accessible, by virtue of being the unique ground state of a physically reasonable Hamiltonian made of two-body, nearest neighbor interactions. We introduce such a state, composed of six-state particles on a hexagonal lattice, and describe a general method for analyzing its prop…
We construct a Hamiltonian whose ground state encodes a time-independent emulation of quan- tum teleportation. We calculate properties of the Hamiltonian, using exact diagonalization and a mean-field theory, and argue that it has a gap. The system exhibits an illuminating relationship to the well-known AKLT (Affleck, Lieb, Kennedy and Tasaki) model.
Computing ground states of local Hamiltonians is a fundamental problem in condensed matter physics. We give the first randomized polynomial-time algorithm for finding ground states of gapped one-dimensional Hamiltonians: it outputs an (inverse-polynomial) approximation, expressed as a matrix product state (MPS) of polynomial bond dimension. The algorithm combines many ingredients, including recently discovered structural features of gapped 1D systems, convex programming, insights from classical algorithms for 1D satisfiability, and new techniques for manipulating and bounding the complexity of…
A key feature of ground states of gapped local 1D Hamiltonians is their relatively low entanglement --- they are well approximated by matrix product states (MPS) with bond dimension scaling polynomially in the length $N$ of the chain, while general states require a bond dimension scaling exponentially. We show that the bond dimension of these MPS approximations can be improved to a constant, independent of the chain length, if we relax our notion of approximation to be more local: for all length-$k$ segments of the chain, the reduced density matrices of our approximations are $ε$-close to thos…
A (deterministic) polynomial-time algorithm is proposed for approximating the ground state of (general) one-dimensional gapped Hamiltonians. Let $ε,n,η$ be the energy gap, the system size, and the desired precision, respectively. Neglecting $ε$-dependent subpolynomial (in $n$) and constant factors, the running time of the algorithm is $n^{O(1)}$ for $η=n^{-O(1)}$.
In this paper, we consider classification problem of asymmetric gapped Hamiltonians, which are given as the non-degenerate part of the Hamiltonians introduced in [O1]. We consider the $C^1$-classification, which takes into account the effect of boundaries. We show that the left and right degeneracies of edge ground states are the complete invariant. As a corollary, we consider the bulk-classification problem. We study Hamiltonians that1.are given by translation invariant finite range interactions, 2.are gapped in the bulk, 3.are frustration-free, 4.have uniformly bounded ground state degenerac…
We consider the $C^1$-classification of gapped Hamiltonians introduced in [Fannes-Nachtergaele-Werner, Nachtergaele] as parents Hamiltonians of translation invariant finitely correlated states. Within this family, we show that the number of edge modes, which is equal at the left and right edge, is the complete invariant. The construction proves that translation invariance of the `bulk' ground state does not need to be broken to establish $C^1$-equivalence, namely that the spin chain does not need to be blocked.
We present an exactly solvable lattice Hamiltonian to realize gapped boundaries of Kitaev's quantum double models for Dijkgraaf-Witten theories. We classify the elementary excitations on the boundary, and systematically describe the bulk-to-boundary condensation procedure. We also present the parallel algebraic/categorical structure of gapped boundaries.
We propose a scheme for a ground-code measurement-based quantum computer, which enjoys two major advantages. First, every logical qubit is encoded in the gapped degenerate ground subspace of a spin-1 chain with nearest-neighbor two-body interactions, so that it equips built-in robustness against noise. Second, computation is processed by single-spin measurements along multiple chains dynamically coupled on demand, so as to keep teleporting only logical information into a gap-protected ground state of the residual chains after the interactions with spins to be measured are turned off. We descri…
All Hamiltonian complexity results to date have been proven by constructing a local Hamiltonian whose ground state -- or at least some low-energy state -- is a "computational history state", encoding a quantum computation as a superposition over the history of the computation. We prove that all history-state Hamiltonians must be critical. More precisely, for any circuit-to-Hamiltonian mapping that maps quantum circuits to local Hamiltonians with low-energy history states, there is an increasing sequence of circuits that maps to a growing sequence of Hamiltonians with spectral gap closing at le…
We begin by deriving bounds for the entanglement of a spin with an (adjacent and non-adjacent) interval of spins in an arbitrary pure Finitely Correlated States (FCS). The bounds we derive become exact in the case where one considers the entanglement of a single spin with a half-infinite chain to the right of it. Our result permits a more efficient calculation, numerically and in some cases even analytically, of the entanglement in arbitrary finitely correlated quantum spin chains. We continue the study of entanglement in the setting of ground states of Hamiltonians with a spectral gap. In par…
A frustration-free local Hamiltonian has the property that its ground state minimises the energy of all local terms simultaneously. In general, even deciding whether a Hamiltonian is frustration-free is a hard task, as it is closely related to the QMA1-complete quantum satisfiability problem (QSAT) -- the quantum analogue of SAT, which is the archetypal NP-complete problem in classical computer science. This connection shows that the frustration-free property is not only relevant to physics but also to computer science. The Quantum Lovász Local Lemma (QLLL) provides a sufficient condition for …
We study the decay mechanism of the gapped lowest-lying excitation of a quasi-pure box-trapped atomic Bose-Einstein condensate. Owing to the absence of lower-energy modes, or direct coupling to an external bath, this excitation is protected against one-body (linear) decay and the damping mechanism is exclusively nonlinear. We develop a universal theoretical model that explains this fundamental nonlinear damping as a process whereby two quanta of the gapped lowest excitation mode couple to a higher-energy mode, which subsequently decays into a continuum. We find quantitative agreement between o…
This paper studies fault-tolerant quantum computation with gapped boundaries. We first introduce gapped boundaries of Kitaev's quantum double models for Dijkgraaf-Witten theories using their Hamiltonian realizations. We classify the elementary excitations on the boundary, and systematically describe the bulk-to-boundary condensation procedure. We also provide a commuting Hamiltonian to realize defects between boundaries in any quantum double model. Next, we present the algebraic/categorical structure of gapped boundaries and boundary defects, which will be used to describe topologically protec…
In this work, we make a connection between two seemingly different problems. The first problem involves characterizing the properties of entanglement in the ground state of gapped local Hamiltonians, which is a central topic in quantum many-body physics. The second problem is on the quantum communication complexity of testing bipartite states with EPR assistance, a well-known question in quantum information theory. We construct a communication protocol for testing (or measuring) the ground state and use its communication complexity to reveal a new structural property for the ground state entan…
We introduce a phenomenological theory for many-body control of critical phenomena by engineering causally-induced gaps for quantum Hamiltonian systems. The core mechanisms are controlling information flow within and/or between clusters that are created near a quantum critical point. To this end, we construct inhomogeneous quantum phase transitions via designing spatio-temporal quantum fluctuations. We show how non-equilibrium evolution of disordered quantum systems can create new effective correlation length scales and effective dynamical critical exponents. In particular, we construct a clas…
We propose an efficient algorithm for the ground state of frustration-free one-dimensional gapped Hamiltonians. This algorithm is much simpler than the original one by Landau et al., and thus may be easily accessible to a general audience in the community. We present all the details in two pages.
In arXiv:2110.06932, we argued that the chiral central charge -- a topologically protected quantity characterizing the edge theory of a gapped (2+1)-dimensional system -- can be extracted from the bulk by using an order parameter called the modular commutator. In this paper, we reveal general properties of the modular commutator and strengthen its relationship with the chiral central charge. First, we identify connections between the modular commutator and conditional mutual information, time reversal, and modular flow. Second, we prove, within the framework of the entanglement bootstrap progr…
We give an analytical description of long distance entanglement (LDE) mediated by one-dimensional quantum spin chains recently found in numerical studies. We develop a formalism that allows the computation of LDE for weakly interacting probes with gapped many-body systems. At zero temperature, a DC response function determines the ability of the physical system to generate genuine quantum correlations between the probes. We show that the biquadratic Heisenberg spin-1 chain is able to produce LDE in the thermodynamical limit and that the finite antiferromagnetic Heisenberg chain maximally entan…
We study lattice Hamiltonian realisations of (3+1)d Dijkgraaf-Witten theory with gapped boundaries. In addition to the bulk loop-like excitations, the Hamiltonian yields bulk dyonic string-like excitations that terminate at gapped boundaries. Using a tube algebra approach, we classify such excitations and derive the corresponding representation theory. Via a dimensional reduction argument, we relate this tube algebra to that describing (2+1)d boundary point-like excitations at interfaces between two gapped boundaries. Such point-like excitations are well known to be encoded into a bicategory o…
A translation-invariant gapped local Hamiltonian is in the trivial phase if it can be connected to a completely decoupled Hamiltonian with a smooth path of translation-invariant gapped local Hamiltonians. For the ground state of such a Hamiltonian, we show that the expectation value of a local observable can be computed in time $\text{poly}(1/δ)$ in one spatial dimension and $e^{\text{poly}\log(1/δ)}$ in two and higher dimensions, where $δ$ is the desired (additive) accuracy. The algorithm applies to systems of finite size and in the thermodynamic limit. It only assumes the existence but not a…
We prove the existence of gapped quantum Hamiltonians whose ground states exhibit an infinite entanglement length, as opposed to their finite correlation length. Using the concept of entanglement swapping, the localizable entanglement is calculated exactly for valence bond and finitely correlated states, and the existence of the so--called string-order parameter is discussed. We also report on evidence that the ground state of an antiferromagnetic chain can be used as a perfect quantum channel if local measurements on the individual spins can be implemented.
We introduce a ${\mathbb Z}_2$-index for time reversal invariant Hamiltonians with unique gapped ground state on quantum spin chains. We show this is an invariant of a $C^1$-classification of gapped Hamiltonians.
Applying a symmetric bulk bipartition to one-dimensional Affleck-Kennedy-Lieb-Tasaki valence bond solid (VBS) states for the integer spin-S Haldane gapped phase, we can create an array of fractionalized spin-S/2 edge states with the super unit cell $l$ in the reduced bulk system, and the topological properties encoded in the VBS wave functions can be revealed. The entanglement Hamiltonian (EH) with $l=even$ corresponds to the quantum antiferromagnetic Heisenberg spin-S/2 model. For the even integer spins, the EH still describes the Haldane gapped phase. For the odd integer spins, however, the …
The generation of Greenberger-Horne-Zeilinger (GHZ) states is a crucial problem in quantum information. We derive general conditions for obtaining GHZ states as eigenstates of a Hamiltonian. In general, degeneracy cannot be avoided if the Hamiltonian contains m-body interaction terms with m<=2 and a number of qubits strictly larger than 4. As an application, we explicitly construct a two-body 4-qubit Hamiltonian and a three-body 5-qubit Hamiltonian that exhibit a GHZ as a nondegenerate eigenstate.
The need for Hamiltonians with many-body interactions arises in various applications of quantum computing. However, interactions beyond two-body are difficult to realize experimentally. Perturbative gadgets were introduced to obtain arbitrary many-body effective interactions using Hamiltonians with two-body interactions only. Although valid for arbitrary $k$-body interactions, their use is limited to small $k$ because the strength of interaction is $k$'th order in perturbation theory. In this paper we develop a nonperturbative technique for obtaining effective $k$-body interactions using Hamil…
An algebraic method has been developed which allows one to engineer several energy levels including the low-energy subspace of interacting spin systems. By introducing ancillary qubits, this approach allows k-body interactions to be captured exactly using 2-body Hamiltonians. Our method works when all terms in the Hamiltonian share the same basis and has no dependence on perturbation theory or the associated large spectral gap. Our methods allow problem instance solutions to be embedded into the ground energy state of Ising spin systems. Adiabatic evolution might then be used to place a comput…
We discuss efficient simulation and certification of the dynamics induced by a quantum many-body Hamiltonian with short-ranged interactions, extending prior results for one-dimensional systems [Osborne, Phys. Rev. Lett. 97, 157202 (2006) and Lanyon, Maier et al, Nat. Phys. 13, 1158 (2017)] to lattices in arbitrary spatial dimensions.
The Eckart frame is used to separate out the collective rotations in the quantum three-body problem. Explicit expressions for the corresponding rotational and vibro-rotational (i.e. Coriolis) Hamiltonians are derived. Special attention is paid to the situation when two principal moments of inertia are equal in the equilibrium configuration.
We consider the problem whether graph states can be ground states of local interaction Hamiltonians. For Hamiltonians acting on n qubits that involve at most two-body interactions, we show that no n-qubit graph state can be the exact, non-degenerate ground state. We determine for any graph state the minimal d such that it is the non-degenerate ground state of a d-body interaction Hamiltonian, while we show for d'-body Hamiltonians H with d'<d that the resulting ground state can only be close to the graph state at the cost of H having a small energy gap relative to the total energy. When allowi…
Extensions of average Hamiltonian theory to quantum computation permit the design of arbitrary Hamiltonians, allowing rotations throughout a large Hilbert space. In this way, the kinematics and dynamics of any quantum system may be simulated by a quantum computer. A basis mapping between the systems dictates the average Hamiltonian in the quantum computer needed to implement the desired Hamiltonian in the simulated system. The flexibility of the procedure is illustrated with NMR on 13-C labelled Alanine by creating the non-physical Hamiltonian ZZZ corresponding to a three body interaction.
The Cheeger inequalities give an upper and lower bound on the spectral gap of discrete Laplacians defined on a graph in terms of the geometric characteristics of the graph. We generalise this approach and we employ it to determine if a given discrete Hamiltonian with non-positive elements is gapped or not in the thermodynamic limit. First, we define the graph that corresponds to such a generic Hamiltonian. Then we present a suitable generalisation of the Cheeger inequalities that overcomes scaling deficiencies of the original version. By employing simple examples we illustrate how the generali…
There can exist topological obstructions to continuously deforming a gapped Hamiltonian for free fermions into a trivial form without closing the gap. These topological obstructions are closely related to obstructions to the existence of exponentially localized Wannier functions. We show that by taking two copies of a gapped, free fermionic system with complex conjugate Hamiltonians, it is always possible to overcome these obstructions. This allows us to write the ground state in matrix product form using Grassman-valued bond variables, and show insensitivity of the ground state density matrix…
We investigate how dynamical decoupling methods may be used to manipulate the time evolution of quantum many-body systems. These methods consist of sequences of external control operations designed to induce a desired dynamics. The systems considered for the analysis are one-dimensional spin-1/2 models, which, according to the parameters of the Hamiltonian, may be in the integrable or non-integrable limits, and in the gapped or gapless phases. We show that an appropriate control sequence may lead a chaotic chain to evolve as an integrable chain and a system in the gapless phase to behave as a …
We prove the validity of linear response theory at zero temperature for perturbations of gapped Hamiltonians describing interacting fermions on a lattice. As an essential innovation, our result requires the spectral gap assumption only for the unperturbed Hamiltonian and applies to a large class of perturbations that close the spectral gap. Moreover, we prove formulas also for higher order response coefficients. Our justification of linear response theory is based on a novel extension of the adiabatic theorem to situations where a time-dependent perturbation closes the gap. According to the st…
We introduce an entropic quantity for two-dimensional (2D) quantum spin systems to characterize gapped quantum phases modeled by local commuting projector code Hamiltonians. The definition is based on a recently introduced specific operator algebra defined on an annular region, which encodes the superselection sectors of the model. The quantity is calculable from local properties, and it is invariant under any constant-depth local quantum circuit, and thus an indicator of gapped quantum spin-liquids. We explicitly calculate the quantity for Kitaev's quantum double models, and show that the val…
We show that Projected Entangled-Pair States (PEPS) in two spatial dimensions can describe chiral topological states by explicitly constructing a family of such states with a non-trivial Chern number. They are ground states of two different kinds of free-fermion Hamiltonians: (i) local and gapless; (ii) gapped, but with hopping amplitudes that decay according to a power law. We derive general conditions on topological free fermionic PEPS which show that they cannot correspond to exact ground states of gapped, local parent Hamiltonians, and provide numerical evidence demonstrating that they can…
Valiant-Vazirani showed in 1985 [VV85] that solving NP with the promise that "yes" instances have only one witness is powerful enough to solve the entire NP class (under randomized reductions). We are interested in extending this result to the quantum setting. We prove extensions to the classes Merlin-Arthur MA and Quantum-Classical-Merlin-Arthur QCMA. Our results have implications for the complexity of approximating the ground state energy of a quantum local Hamiltonian with a unique ground state and an inverse polynomial spectral gap. We show that the estimation (to within polynomial accurac…
The entanglement spectrum (ES) provides a barometer of quantum entanglement and encodes physical information beyond that contained in the entanglement entropy. In this paper, we explore the ES of stabilizer codes, which furnish exactly solvable models for a plethora of gapped quantum phases of matter. Studying the ES for stabilizer Hamiltonians in the presence of arbitrary weak local perturbations thus allows us to develop a general framework within which the entanglement features of gapped topological phases can be computed and contrasted. In particular, we study models harboring fracton orde…
Motivated by graphene-based quantum computer we examine the time-dependence of the position-momentum and position-velocity uncertainties in the monolayer gapped graphene. The effect of the energy gap to the uncertainties is shown to appear via the Compton-like wavelength $λ_c$. The uncertainties in the graphene are mainly contributed by two phenomena, spreading and zitterbewegung. While the former determines the uncertainties in the long-range of time, the latter gives the highly oscillation to the uncertainties in the short-range of time. The uncertainties in the graphene are compared with th…
The single-copy entanglement of a given many-body system is defined [J. Eisert and M. Cramer, Phys. Rev. A. 72, 042112 (2005)] as the maximal entanglement deterministically distillable from a bipartition of a single specimen of that system. For critical (gapless) spin chains, it was recently shown that this is exactly half the von Neumann entropy [R. Orus, J. I. Latorre, J. Eisert, and M. Cramer, Phys. Rev. A 73, 060303(R) (2006)], itself defined as the entanglement distillable in the asymptotic limit: i.e. given an infinite number of copies of the system. It is an open question as to what the…
In this paper, we study the massive Dirac equation with the presence of the Morse potential in polar coordinate. The Dirac Hamiltonian is written as two second-order differential equations in terms of two spinor wavefunctions. Since the motion of electrons in graphene is propagated like relativistic fermionic quasi-particles, then one is considered only with pseudospin symmetry for aligned spin and unaligned spin by arbitrary $k$. Next, we use the confluent Heun's function for calculating the wavefunctions and the eigenvalues. Then, the corresponding energy spectrum obtains in terms of $N$ and…
We study the spectral gap of frustrated spin (qubit) Hamiltonians constructed from quantum subsystem (gauge) codes. Such a Hamiltonian can be block diagonalized, with blocks labelled by eigenvalues of extensively many integrals of motion (stabilizers of the code.) Of particular interest is the 3D gauge color code, whose Hamiltonian has been conjectured to act as a quantum memory at finite temperature. Using Perron-Frobenius theory we constrain the location of first and second eigenvalues among the blocks of the Hamiltonian. This allows us to numerically find the gap of some large instances of …
Quantum many-body systems divide into a variety of phases with very different physical properties. The question of what kind of phases exist and how to identify them seems hard especially for strongly interacting systems. Here we make an attempt to answer this question for gapped interacting quantum spin systems whose ground states are short-range correlated. Based on the local unitary equivalence relation between short-range correlated states in the same phase, we classify possible quantum phases for 1D matrix product states, which represent well the class of 1D gapped ground states. We find …
