aiqbench analysis
This research establishes a rigorous complexity boundary for preparing thermofield double states in redundancy-free Hamiltonians, distinguishing between regimes where classical approximation suffices and those requiring quantum algorithms. By introducing the concept of an "anticommutation glass," the study clarifies how frustration arising purely from anticommutation relations impacts state preparation hardness, offering new insights into the limits of efficient quantum simulation for specific graph degrees.
On The Complexity of Redundancy-Free Quantum Hamiltonians
arXiv:2610.03697v1 Announce Type: new Abstract: We consider a class of redudancy-free Hamiltonians, which are those where the trace vanishes for any product of Hamiltonian terms in which at least one term appears an odd number of times. This includes Hamiltonians which are sums of products of Paulis with no relations between them. These Hamiltonians arise naturally in Hamiltonian Decoded Quantum Interferometry, which separates the hardness of preparing quantum states into two steps: a classical decoding step, and a step preparing the thermofield double state of such a redundancy-free Hamiltonian. We focus on the hardness of these Hamiltonians, both for intrinsic interest and to understand the complexity of the state preparation step in Hamiltonian DQI. We present several results showing that the problem becomes easy at quadratically lower temperature than for a general Hamiltonian, with the complexity at given inverse temperature $\beta$ depending on $\beta^2 d$, where $d$ is the degree of the anticommutation graph. We give an efficient classical algorithm for small $\beta^2 d$ to approximate the partition function, while for large $\beta^2 d$ we show that approximating the partition function is NP-hard. To this end, we introduce what we call an anticommutation glass, where frustration arises purely from anticommutation relations. We give a subexponential time quantum algorithm to prepare the thermofield state for small $\beta^2 d$, and present some results toward a polynomial time algorithm based on the Feiguin-Klich Hamiltonian. As a result of possible independent interest, we show that this Hamiltonian leads to a polynomial time algorithm for preparing thermofield double states of general Hamiltonians on an interaction graph of degree $d$ for $\beta\lesssim 1/d$. Finally, we show that estimating the ground state energy of redundancy-free Hamiltonians is QMA-complete.
Abstract:We consider a class of redudancy-free Hamiltonians, which are those where the trace vanishes for any product of Hamiltonian terms in which at least one term appears an odd number of times. This includes Hamiltonians which are sums of products of Paulis with no relations between them. These Hamiltonians arise naturally in Hamiltonian Decoded Quantum Interferometry, which separates the hardness of preparing quantum states into two steps: a classical decoding step, and a step preparing the thermofield double state of such a redundancy-free Hamiltonian. We focus on the hardness of these Hamiltonians, both for intrinsic interest and to understand the complexity of the state preparation step in Hamiltonian DQI. We present several results showing that the problem becomes easy at quadratically lower temperature than for a general Hamiltonian, with the complexity at given inverse temperature $\beta$ depending on $\beta^2 d$, where $d$ is the degree of the anticommutation graph. We give an efficient classical algorithm for small $\beta^2 d$ to approximate the partition function, while for large $\beta^2 d$ we show that approximating the partition function is NP-hard. To this end, we introduce what we call an anticommutation glass, where frustration arises purely from anticommutation relations. We give a subexponential time quantum algorithm to prepare the thermofield state for small $\beta^2 d$, and present some results toward a polynomial time algorithm based on the Feiguin-Klich Hamiltonian. As a result of possible independent interest, we show that this Hamiltonian leads to a polynomial time algorithm for preparing thermofield double states of general Hamiltonians on an interaction graph of degree $d$ for $\beta\lesssim 1/d$. Finally, we show that estimating the ground state energy of redundancy-free Hamiltonians is QMA-complete.
arXiv:2610.03697 [quant-ph]
(or arXiv:2610.03697v1 [quant-ph] for this version)
https://doi.org/10.48550/arXiv.2610.03697 Focus to learn more arXiv-issued DOI via DataCite (pending registration)
arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website.
Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them.
Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs.
Full text under the publisher's open licence · 367 words
Related coverage

Recoil Enables Electron Qubits and Quantum Control
Quantum Zeitgeist · Oct 13, 2026

Quantum Max d-Cut via qudit swap operators
Quantum Journal · Sep 3, 2026

Institute of Industrial Science Reports Local Determinacy in Quantum Dynamics
Quantum Zeitgeist · Jul 13, 2026

Thermodynamics and Objects
LessWrong · Sep 23, 2026