# On Complexity of the Quantum Ising Model

@article{Bravyi2014OnCO,
title={On Complexity of the Quantum Ising Model},
author={Sergey Bravyi and Matthew B. Hastings},
journal={Communications in Mathematical Physics},
year={2014},
volume={349},
pages={1-45}
}
• Published 2 October 2014
• Mathematics, Physics
• Communications in Mathematical Physics
We study complexity of several problems related to the Transverse field Ising Model (TIM). First, we consider the problem of estimating the ground state energy known as the Local Hamiltonian Problem (LHP). It is shown that the LHP for TIM on degree-3 graphs is equivalent modulo polynomial reductions to the LHP for general k-local ‘stoquastic’ Hamiltonians with any constant $${k \ge 2}$$k≥2. This result implies that estimating the ground state energy of TIM on degree-3 graphs is a complete…
51 Citations

## Figures and Tables from this paper

Complexity Classification of Local Hamiltonian Problems
• Mathematics, Computer Science
2014 IEEE 55th Annual Symposium on Foundations of Computer Science
• 2014
This work characterises the complexity of the k-local Hamiltonian problem for all 2-local qubit Hamiltonians and proves for the first time QMA-completeness of the Heisenberg and XY interactions in this setting.
Classical Simulation of High Temperature Quantum Ising Models
• Physics, Computer Science
ArXiv
• 2020
It is proved that for all temperatures above a system-size independent threshold the path integral Monte Carlo method based on worldline heat-bath updates always mixes to stationarity in time $\mathcal{O}(n \log n)$ for an $n$ qubit system, and therefore provides a fully polynomial-time approximation scheme for the partition function.
Monte Carlo simulation of stoquastic Hamiltonians
• S. Bravyi
• Computer Science, Mathematics
Quantum Inf. Comput.
• 2015
A formalized version of this problem called Guided Stoquastic Hamiltonian is shown to be complete for the complexity class MA (a probabilistic analogue of NP) and the ground state and thermal equilibrium properties of the ferromagnetic TIM can be simulated in polynomial time on a classical Probabilistic computer.
The Complexity of Simulating Local Measurements on Quantum Systems
• Mathematics, Computer Science
TQC
• 2017
This paper identifies a flaw in [Ambainis, CCC 2014] regarding a P^UQMA[log]-hardness proof for estimating spectral gaps of local Hamiltonians and formalizes the complexity theoretic study of estimating two-point correlation functions against ground states.
Oracle complexity classes and local measurements on physical Hamiltonians
• Computer Science, Mathematics
STACS
• 2020
This work shows that APX-SIM is P^QMA[log]-complete even when restricted to more physical Hamiltonians, and identifies any family of Hamiltonians which can efficiently simulate spatially sparse Hamiltonian models, including physically motivated models such as the 2D Heisenberg model.
The Complexity of Translationally Invariant Problems beyond Ground State Energies
• Computer Science, Physics
ArXiv
• 2020
This work shows that the translationally invariant versions of both APX-SIM and GSCON remain intractable, and gives a framework for lifting any abstract local circuit-to-Hamiltonian mapping $H$ (satisfying mild assumptions) to hardness of APx-SIM on the family of Hamiltonians produced by $H$, while preserving the structural and geometric properties of $H$ (e.g. translation invariance, geometry, locality, etc).
Universal Qudit Hamiltonians
• Mathematics, Physics
• 2018
A family of quantum Hamiltonians is said to be universal if any other finite-dimensional Hamiltonian can be approximately encoded within the low-energy space of a Hamiltonian from that family. If the
The complexity of antiferromagnetic interactions and 2D lattices
• Computer Science, Physics
Quantum Inf. Comput.
• 2017
This work studies the natural special case of the Local Hamiltonian problem where the same 2-local interaction is applied across each pair of qubits, and proves StoqMA-completeness of the antiferromagnetic transverse field Ising model.
Tapering off qubits to simulate fermionic Hamiltonians
• Mathematics, Physics
• 2017
We discuss encodings of fermionic many-body systems by qubits in the presence of symmetries. Such encodings eliminate redundant degrees of freedom in a way that preserves a simple structure of the
Stoquastic PCP vs. Randomness
• Mathematics, Computer Science
2019 IEEE 60th Annual Symposium on Foundations of Computer Science (FOCS)
• 2019
This work shows that the gapped version of this problem, i.e. deciding if a given uniform stoquastic local Hamiltonian is frustration-free or has energy at least some constant ε, is in NP, and reveals a new MA-complete problem, stated in terms of classical constraints on strings of bits, which is the first (arguably) natural MA- complete problem stated in non-quantum CSP language.

## References

SHOWING 1-10 OF 47 REFERENCES
Complexity Classification of Local Hamiltonian Problems
• Mathematics, Computer Science
2014 IEEE 55th Annual Symposium on Foundations of Computer Science
• 2014
This work characterises the complexity of the k-local Hamiltonian problem for all 2-local qubit Hamiltonians and proves for the first time QMA-completeness of the Heisenberg and XY interactions in this setting.
The complexity of stoquastic local Hamiltonian problems
• Computer Science, Physics
Quantum Inf. Comput.
• 2008
It is proved that LH-MIN for stoquastic Hamiltonians belongs to the complexity class AM -- a probabilistic version of NP with two rounds of communication between the prover and the verifier, and that any problem solved by adiabatic quantum computation using stoquian Hamiltonians is in PostBPP.
Monte Carlo simulation of stoquastic Hamiltonians
• S. Bravyi
• Computer Science, Mathematics
Quantum Inf. Comput.
• 2015
A formalized version of this problem called Guided Stoquastic Hamiltonian is shown to be complete for the complexity class MA (a probabilistic analogue of NP) and the ground state and thermal equilibrium properties of the ferromagnetic TIM can be simulated in polynomial time on a classical Probabilistic computer.
The Complexity of the Local Hamiltonian Problem
• Computer Science, Mathematics
SIAM J. Comput.
• 2006
This paper settles the question and shows that the 2-LOCAL HAMILTONIAN problem is QMA-complete, and demonstrates that adiabatic computation with two-local interactions on qubits is equivalent to standard quantum computation.
Adiabatic quantum state generation and statistical zero knowledge
• Mathematics, Physics
STOC '03
• 2003
The ASG approach to quantum algorithms provides intriguing links between quantum computation and many different areas: the analysis of spectral gaps and groundstates of Hamiltonians in physics, rapidly mixing Markov chains, statistical zero knowledge, and quantum random walks.
The complexity of quantum spin systems on a two-dimensional square lattice
• Physics, Computer Science
Quantum Inf. Comput.
• 2008
It is obtained that quantum adiabatic computation using 2-local interactions restricted to a 2-D square lattice is equivalent to the circuitmodel of quantum computation.
Green-function Monte Carlo study of quantum antiferromagnets.
• Physics, Medicine
Physical review. B, Condensed matter
• 1989
Green-function Monte Carlo technique the S=(1/2 Heisenberg quantum antiferromagnet in two dimensions on a square lattice) is studied, finding the ground-state energy per site and deduce the spin-wave velocity.
The Power of Quantum Systems on a Line
• Physics, Computer Science
48th Annual IEEE Symposium on Foundations of Computer Science (FOCS'07)
• 2007
The proof of the QMA-completeness result requires an additional idea beyond the usual techniques in the area: Some illegal configurations cannot be ruled out by local checks, and are instead ruled out because they would, in the future, evolve into a state which can be seen locally to be illegal.
The Bose-Hubbard Model is QMA-complete
• Physics, Computer Science
ICALP
• 2014
This work proves that approximating the ground energy of the Bose-Hubbard model on a graph at fixed particle number is QMA-complete, and obtains a related result for a class of 2-local Hamiltonians defined by graphs that generalizes the XY model.
Obstructions to classically simulating the quantum adiabatic algorithm
• M. Hastings
• Mathematics, Physics
Quantum Inf. Comput.
• 2013
The adiabatic quantum algorithm for systems with "no sign problem", such as the transverse field Ising model, is considered, and it is shown that a small spectral gap implies slow equilibration at low temperature for some initial conditions and for a natural choice of local QMC updates.