We study the computational complexity of the Local Hamiltonian problem under the promise that its ground state is succinctly represented. We show that the Succinct State 2-Local Hamiltonian problem, for qubit Hamiltonians, is (promise) MA-complete. The approach combines a systematic characterisation of succinct quantum states, defined through arithmetic over specific number fields, with a refined reduction that lowers the locality of Feynman-Kitaev circuit-Hamiltonians from 6 to 2, without increasing particle dimension. This reveals a complexity phase transition, parameterised by locality, and extends the scope of previously known MA-complete problem instances. Our results further clarify how succinctness behaves under circuit-based constructions, and progresses toward a better understanding of the boundary between efficiently describable and efficiently verifiable quantum systems.

翻译：暂无翻译