Abstract:We study 'Merlinized' versions of the recently defined Guided Local Hamiltonian problem, which we call 'Guidable Local Hamiltonian' problems. Unlike their guided counterparts, these problems do not have a guiding state provided as a part of the input, but merely come with the promise that one exists. We consider in particular two classes of guiding states: those that can be prepared efficiently by a quantum circuit; and those belonging to a class of quantum states we call classically evaluatable, for which it is possible to efficiently compute expectation values of local observables classically. We show that guidable local Hamiltonian problems for both classes of guiding states are $\mathsf{QCMA}$-complete in the inverse-polynomial precision setting, but lie within $\mathsf{NP}$ (or $\mathsf{NqP}$) in the constant precision regime when the guiding state is classically evaluatable. Our completeness results show that, from a complexity-theoretic perspective, classical Ansätze selected by classical heuristics are just as powerful as quantum Ansätze prepared by quantum heuristics, as long as one has access to quantum phase estimation. In relation to the quantum PCP conjecture, we (i) define a complexity class capturing quantum-classical probabilistically checkable proof systems and show that it is contained in $\mathsf{BQP}^{\mathsf{NP}[1]}$ for constant proof queries; (ii) give a no-go result on 'dequantizing' the known quantum reduction which maps a $\mathsf{QPCP}$-verification circuit to a local Hamiltonian with constant promise gap; (iii) give several no-go results for the existence of quantum gap amplification procedures that preserve certain ground state properties; and (iv) propose two conjectures that can be viewed as stronger versions of the NLTS theorem. Finally, we show that many of our results can be directly modified to obtain similar results for the class $\mathsf{MA}$.

Parameterized Complexity of Weighted Local Hamiltonian Problems and the Quantum Exponential Time Hypothesis

Quasi-quantum states and the quasi-quantum PCP theorem

A Dequantized Algorithm for the Guided Local Hamiltonian Problem

Quantum Parameterized Complexity

Local Hamiltonian Problem with succinct ground state is MA-Complete

Guidable Local Hamiltonian Problems with Implications to Heuristic Ansätze State Preparation and the Quantum PCP Conjecture

Quantum Algorithms for Weighted Constrained Sampling and Weighted Model Counting

A Quantum Approximate Optimization Algorithm for Local Hamiltonian Problems

Complexity of the Guided Local Hamiltonian Problem: Improved Parameters and Extension to Excited States

An Optimal Product-State Approximation for 2-Local Quantum Hamiltonians with Positive Terms

Universal Hamming Weight Preserving Variational Quantum Ansatz

Commuting Local Hamiltonian Problem on 2D beyond qubits

Commuting Local Hamiltonians Beyond 2D

Local Hamiltonian decomposition and classical simulation of parametrized quantum circuits

Complexity Classification of Product State Problems for Local Hamiltonians

Saturation and recurrence of quantum complexity in random local quantum dynamics

Bosonic Quantum Computational Complexity

Classical Verification of Quantum Proofs

Limitations of the Macaulay matrix approach for using the HHL algorithm to solve multivariate polynomial systems

A polynomial-time dissipation-based quantum algorithm for solving the ground states of a class of classically hard Hamiltonians

Solving Sharp Bounded-error Quantum Polynomial Time Problem by Evolution methods