Many-body entangled systems, in particular topologically ordered spin systems proposed as resources for quantum information processing tasks, often involve highly non-local interaction terms. While one may approximate such systems through two-body interactions perturbatively, these approaches have a number of drawbacks in practice. Here, we propose a scheme to simulate many-body spin Hamiltonians with two-body Hamiltonians non-perturbatively. Unlike previous approaches, our Hamiltonians are not only exactly solvable with exact ground state degeneracy, but also support completely localized quasi-particle excitations, which are ideal for quantum information processing tasks. Our construction is limited to simulating the toric code and quantum double models, but generalizations to other non-local spin Hamiltonians may be possible.
Adiabatic quantum algorithms are often most easily formulated using many-body interactions. However, experimentally available interactions are generally two-body. In 2004, Kempe, Kitaev, and Regev introduced perturbative gadgets, by which arbitrary three-body effective interactions can be obtained using Hamiltonians consisting only of two-body interactions. These three-body effective interactions arise from the third order in perturbation theory. Since their introduction, perturbative gadgets have become a standard tool in the theory of quantum computation. Here we construct generalized gadget…
Perturbative gadgets were originally introduced to generate effective k-local interactions in the low-energy sector of a 2-local Hamiltonian. Extending this idea, we present gadgets which are specifically suited for realizing Hamiltonians exhibiting non-abelian anyonic excitations. At the core of our construction is a perturbative analysis of a widely used hopping-term Hamiltonian. We show that in the low-energy limit, this Hamiltonian can be approximated by a certain ordered product of operators. In particular, this provides a simplified realization of Kitaev's quantum double Hamiltonians.
Perturbative gadgets are used to construct a quantum Hamiltonian whose low-energy subspace approximates a given quantum $k$-body Hamiltonian up to an absolute error $ε$. Typically, gadget constructions involve terms with large interaction strengths of order $\text{poly}(ε^{-1})$. Here we present a 2-body gadget construction and prove that it approximates a target many-body Hamiltonian of interaction strength $γ= O(1)$ up to absolute error $ε\llγ$ using interactions of strength $O(ε)$ instead of the usual inverse polynomial in $ε$. A key component in our proof is a new condition for the converg…
Perturbative gadgets are general techniques for reducing many-body spin interactions to two-body ones using perturbation theory. This allows for potential realization of effective many-body interactions using more physically viable two-body ones. In parallel with prior work (arXiv:1311.2555 [quant-ph]), here we consider minimizing the physical resource required for implementing the gadgets initially proposed by Kempe, Kitaev and Regev (arXiv:quant-ph/0406180) and later generalized by Jordan and Farhi (arXiv:0802.1874v4). The main innovation of our result is a set of methods that efficiently co…
We construct parent Hamiltonians involving only local 2-body interactions for a broad class of Projected Entangled Pair States (PEPS). Making use of perturbation gadget techniques, we define a perturbative Hamiltonian acting on the virtual PEPS space with a finite order low energy effective Hamiltonian that is a gapped, frustration-free parent Hamiltonian for an encoded version of a desired PEPS. For topologically ordered PEPS, the ground space of the low energy effective Hamiltonian is shown to be in the same phase as the desired state to all orders of perturbation theory. An encoded parent H…
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…
We use the structure of conditionally independent states to analyze the stability of topological entanglement entropy. For the ground state of quantum double or Levin-Wen model, we obtain a bound on the first order perturbation of topological entanglement entropy in terms of its energy gap and subsystem size. The bound decreases superpolynomially with the size of the subsystem, provided the energy gap is nonzero. We also study the finite temperature stability of stabilizer models, for which we prove a stronger statement than the strong subadditivity of entropy. Using this statement and assumin…
We demonstrate that perturbative expansions for quantum many-body systems can be rephrased in terms of tensor networks, thereby providing a natural framework for interpolating perturbative expansions across a quantum phase transition. This approach leads to classes of tensor-network states parametrized by few parameters with a clear physical meaning, while still providing excellent variational energies. We also demonstrate how to construct perturbative expansions of the entanglement Hamiltonian, whose eigenvalues form the entanglement spectrum, and how the tensor-network approach gives rise to…
We show how to apply the quantum adiabatic algorithm directly to the quantum computation of molecular properties. We describe a procedure to map electronic structure Hamiltonians to 2-local qubit Hamiltonians with a small set of physically realizable couplings. By combining the Bravyi-Kitaev construction to map fermions to qubits with perturbative gadgets to reduce the Hamiltonian to 2-local, we obtain precision requirements on the coupling strengths and a number of ancilla qubits that scale polynomially in the problem size. Hence our mapping is efficient. The required set of controllable inte…
Pöschl-Teller-driven solutions for quantum mechanical fluctuations are triggered off by single scalar field theories obtained through a systematic perturbative procedure for generating deformed defects. The analytical properties concerning the quantum fluctuations in one-dimension, zero-mode states, first- and second- excited states, and energy density profiles are all obtained from deformed topological and non-topological structures supported by real scalar fields. Results are firstly derived from an integrated $λϕ^4$ theory, with corresponding generalizations applied to starting $λχ^4$ and {…
The Standard Models contain chiral fermions coupled to gauge theories. It has been a long-standing problem to give such gauged chiral fermion theories a quantum non-perturbative definition. By classification of quantum anomalies and symmetric invertible topological orders via a mathematical cobordism theorem for differentiable and triangulable manifolds, and the existence of symmetric gapped boundary for the trivial symmetric invertible topological orders, we propose that Spin(10) chiral fermion theories with Weyl fermions in 16-dimensional spinor representations can be defined on a 3+1D latti…
This work develops a new method to calculate non-perturbative corrections in one-dimensional Quantum Mechanics, based on trans-series solutions to the refined holomorphic anomaly equations of topological string theory. The method can be applied to traditional spectral problems governed by the Schrödinger equation, where it both reproduces and extends the results of well-established approaches, such as the exact WKB method. It can be also applied to spectral problems based on the quantization of mirror curves, where it leads to new results on the trans-series structure of the spectrum. Various …
