# Trivial low energy states for commuting Hamiltonians, and the quantum PCP conjecture

@article{Hastings2013TrivialLE, title={Trivial low energy states for commuting Hamiltonians, and the quantum PCP conjecture}, author={Matthew B. Hastings}, journal={Quantum Inf. Comput.}, year={2013}, volume={13}, pages={393-429} }

We consider the entanglement properties of ground states of Hamiltonians which are sums of commuting projectors (we call these commuting projector Hamiltonians), in particular whether or not they have "trivial" ground states, where a state is trivial if it is constructed by a local quantum circuit of bounded depth and range acting on a product state. It is known that Hamiltonians such as the toric code only have nontrivial ground states in two dimensions. Conversely, commuting projector…

## 40 Citations

Product-state Approximations to Quantum Ground States

- Physics
- 2013

The local Hamiltonian problem consists of estimating the ground-state energy (given by the minimum eigenvalue) of a local quantum Hamiltonian. It can be considered as a quantum generalization of…

Product-state approximations to quantum ground states Citation

- Physics
- 2013

The local Hamiltonian problem consists of estimating the ground-state energy (given by the minimum eigenvalue) of a local quantum Hamiltonian. It can be considered as a quantum generalization of…

Product-state approximations to quantum ground states

- PhysicsSTOC '13
- 2013

A new quantum version of the de Finetti theorem is proved which does not require the usual assumption of symmetry and is described a way to analyze the application of the Lasserre/Parrilo SDP hierarchy to local quantum Hamiltonians.

Product-State Approximations to Quantum States

- Physics
- 2016

We show that for any many-body quantum state there exists an unentangled quantum state such that most of the two-body reduced density matrices are close to those of the original state. This is a…

Local Hamiltonians Whose Ground States Are Hard to Approximate

- Physics2017 IEEE 58th Annual Symposium on Foundations of Computer Science (FOCS)
- 2017

This work constructs a family of 16-local Hamiltonians for which any 1-10^-8 fraction of qubits of any ground state must be highly entangled, and provides positive evidence for two wide-open conjectures in condensed-matter physics and quantum complexity theory.

Matrix product operators and central elements: Classical description of a quantum state

- Mathematics
- 2012

We study planar two-dimensional quantum systems on a lattice whose Hamiltonian is a sum of local commuting projectors of bounded range. We consider whether or not such a system has a zero energy…

On the Complexity of Two Dimensional Commuting Local Hamiltonians

- Computer ScienceTQC
- 2018

This work removes the mysterious feature of Schuch's proof which showed containment in NP without providing a quantum circuit for the groundstate and considerably generalizes it, and believes this work and the tools developed make a significant step towards showing that 2D CLHs are in NP.

Commuting Local Hamiltonians on Expanders, Locally Testable Quantum codes, and the qPCP conjecture

- Computer Science
- 2013

It is shown that the better the small-set expansion of the interaction graph underlying the stabilizer becomes, the less robust the code becomes, which seems to be inherently quantum.

Quantum systems on non-k-hyperfinite complexes: a generalization of classical statistical mechanics on expander graphs

- MathematicsQuantum Inf. Comput.
- 2014

This work constructs families of cell complexes that generalize expander graphs, generalizing the idea of a non-hyperfinite (NH) family of graphs and considers certain quantum systems on these complexes.

The commuting local Hamiltonian on locally-expanding graphs is in NP.

- Mathematics
- 2013

The local Hamiltonian problem is famously complete for the class QMA, the quantum analogue of NP [30]. The complexity of its semi-classical version, in which the terms of the Hamiltonian are required…

## References

SHOWING 1-3 OF 3 REFERENCES

The detectability lemma and quantum gap amplification

- Physics, MathematicsSTOC '09
- 2009

The quantum detectability lemma is proved, which states that the probability of detecting a violation of a constraint in a local Hamiltonian system is bounded from below by some constant times the minimal energy of the system.

The PCP theorem by gap amplification

- Mathematics, Computer ScienceJ. ACM
- 2005

A combinatorial proof for the NP-hardness of approximating a certain constraint satisfaction problem, which can be reinterpreted to yield the PCP theorem and the amplification lemma relies on a new notion of “graph powering” that can be applied to systems of binary constraints.

Lemma 5 Any set 1-localizable complex with range R is a cover 1-localizable complex with range R