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 describe implementations using trapped atoms or polar molecules in an optical lattice, where the gap is expected to be as large as 0.2 kHz or 4.8 kHz respectively.
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 (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.
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 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 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 th…
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…
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…
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 …
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.
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…
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…
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…
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 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 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.
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.
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 …
We investigate the phase diagram of a quantum spin-1 chain whose Hamiltonian is invariant under a global onsite $A_4$, translation and lattice inversion symmetries. We detect different gapped phases characterized by SPT order and symmetry breaking using matrix product state order parameters. We observe a rich variety of phases of matter characterized by a combination of symmetry breaking and symmetry fractionalization and also the interplay between the onsite and spatial symmetries. Examples of continuous phase transitions directly between topologically nontrivial SPT phases are also observed.
One-dimensional gapped spin chains with symmetry PSU(N) = SU(N)/Z_N are known to possess N different topological phases. In this paper, we introduce a non-local string order parameter which characterizes each of these N phases unambiguously. Numerics confirm that our order parameter allows to extract a quantized topological invariant from a given non-degenerate gapped ground state wave function. Discontinuous jumps in the discrete topological order that arise when varying physical couplings in the Hamiltonian may be used to detect quantum phase transitions between different topological phases.
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…
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…
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…
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…
Given a gapped Hamiltonian of a spin chain, we give a polynomial-time algorithm for finding the degenerate ground space projector. The output is an orthonormal set of matrix product states that approximate the true ground space projector up to an inverse polynomial error in any Schatten norm, with a runtime exponential in the degeneracy. Our algorithm is an extension of the recent algorithm of Landau, Vazirani, and Vidick for the nondegenerate case, and it includes the recent improvements due to Huang. The main new idea is to incorporate the local distinguishability of ground states on the hal…
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.
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…
Harvard University（哈佛大学）；Boston University（波士顿大学）；Beijing National Laboratory for Condensed Matter Physics and Institute of Physics, Chinese Academy of Sciences（中国科学院物理研究所）
We study entanglement renormalization group transformations for the ground states of a spin model, called cubic code model $H_A$ in three dimensions, in order to understand long-range entanglement structure. The cubic code model has degenerate and locally indistinguishable ground states under periodic boundary conditions. In the entanglement renormalization, one applies local unitary transformations on a state, called disentangling transformations, after which some of the spins are completely disentangled from the rest and then discarded. We find a disentangling unitary to establish equivalenc…
This Letter discusses topological quantum computation with gapped boundaries of two-dimensional topological phases. Systematic methods are presented to encode quantum information topologically using gapped boundaries, and to perform topologically protected operations on this encoding. In particular, we introduce a new and general computational primitive of topological charge measurement and present a symmetry-protected implementation of this primitive. Throughout the Letter, a concrete physical example, the $\mathbb{Z}_3$ toric code ($\mathfrak{D}(\mathbb{Z}_3)$), is discussed. For this exampl…
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 …
We have developed a concrete quantum simulation scheme and experimentally simulated a pairing model on an NMR quantum computer. The design of our experiment includes choosing an appropriate initial state in order to make our scheme scalable in near future, and the accomplishment of our experiment makes use of twice Fourier transforms so that our method is applicable to other physical models. Our results show that the experimental simulation can give the spectrum of the simulated Hamiltonian. Consequently, the potential power of a quantum computer on the simulation of complex physical systems i…
Understanding the limits imposed on information storage capacity of physical systems is a problem of fundamental and practical importance which bridges physics and information science. There is a well-known upper bound on the amount of information that can be stored reliably in a given volume of discrete spin systems which are supported by gapped local Hamiltonians. However, all the previously known systems were far below this theoretical bound, and it remained open whether there exists a gapped spin system that saturates this bound. Here, we present a construction of spin systems which satura…
We explore the relationship between approximate symmetries of a gapped Hamiltonian and the structure of its ground space. We start by showing that approximate symmetry operators---unitary operators whose commutators with the Hamiltonian have norms that are sufficiently small---which possess certain mutual commutation relations can be restricted to the ground space with low distortion. We generalize the Stone-von Neumann theorem to matrices that approximately satisfy the canonical (Heisenberg-Weyl-type) commutation relations, and use this to show that approximate symmetry operators can certify …
The spectral gap - the energy difference between the ground state and first excited state - is central to quantum many-body physics. Many challenging open problems, such as the Haldane conjecture, existence of gapped topological spin liquid phases, or the Yang-Mills gap conjecture, concern spectral gaps. These and other problems are particular cases of the general spectral gap problem: given a quantum many-body Hamiltonian, is it gapped or gapless? Here we prove that this is an undecidable problem. We construct families of quantum spin systems on a 2D lattice with translationally-invariant, ne…
