Is the commuting local Hamiltonian problem in NP? · revision history

Revision 2

Accepted · core change · record

Changes against revision 1:

Title · changed
Revision 1: Is the commuting local Hamiltonian problem in NP
Revision 2: Is the commuting local Hamiltonian problem in NP?
Plain
When all energy terms of a quantum system commute, deciding whether it has zero ground energy looks closer to a classical problem. It is proven to have short classical proofs in several special cases but not in general.
Precise · changed · core
Revision 1: Given $H = \operatorname{sum}_i h_i$ with pairwise commuting k-local projectors $h_i$ on qudits of dimension $q$, decide whether the ground energy is 0 or at least $1/\operatorname{poly}(n)$. Is this in NP for all constant k and q? Known in NP: 2-local (Bravyi and Vyalyi 2003), some 3-local cases (Aharonov and Eldar 2011), 2D qubits (Schuch 2011), 2D qutrits and factorized terms of any dimension (Irani and Jiang, arXiv:2309.04910).
Revision 2: Given $H = \sum_i h_i$ with pairwise commuting k-local projectors $h_i$ on qudits of dimension $q$, decide whether the ground energy is 0 or at least $1/\operatorname{poly}(n)$. Is this in NP for all constant k and q? Known in NP: 2-local (Bravyi and Vyalyi 2003), some 3-local cases (Aharonov and Eldar 2011), $2\mathrm{D}$ qubits (Schuch 2011), $2\mathrm{D}$ qutrits and factorized terms of any dimension (Irani and Jiang, arXiv:2309.04910).
Settled by
A classical witness and verifier for all constant k and q, or QMA-hardness (or hardness for a class not believed in NP) for some fixed k and q.
Kind
well-posed
Answer type
proof
References
(empty)
Literature status
open
Status note
(empty)
Posed since
2003

Decisions