Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:2307.13730 · Physical Review A

Fermionic Hamiltonians without trivial low-energy states

Yaroslav Herasymenko, Anurag Anshu, Barbara M. Terhal, Jonas Helsen

Published May 21, 2024• 4 citations
arXivHTMLPDF

Abstract

One of the main problems in computational physics is predicting the low-energy behavior of many-body quantum systems. The computational complexity of this problem, however, is relatively poorly understood. A recent major progress in this direction has been the no low-energy trivial states (NLTS) theorem; it gives a family of qubit Hamiltonians whose low-energy states cannot be reached by shallow quantum circuits. In this work we provide a fermionic counterpart to this theorem, constructing local fermionic Hamiltonians with no low-energy trivial states. Distinct from the qubit case, we define trivial states via finite-depth fermionic quantum circuits. We further strengthen the result, allowing free access to (generally, deep) Gaussian fermionic circuits into our notion of a trivial state. The desired fermionic Hamiltonian can be constructed using any qubit Hamiltonian which has the NLTS property via well-spread distributions over bitstrings. We also define a fermionic analog of quantum probabilistically checkable proofs (PCPs) and explore the relation of fermionic PCP class with the qubit version.

DOI
10.1103/physreva.109.052431

Related papers

Circuit lower bounds for quantum code Hamiltonians and an almost linear NLTS theorem

Anurag Anshu, Chinmay Nirkhe

The No Low-energy Trivial States (NLTS) conjecture of Freedman and Hastings (Quantum Information and Computation, 2014) -- which posits the existence of a local Hamiltonian with a super-constant circuit lower bound on the complexity of all low-energy states -- identifies a fundamental obstacle to the resolution of the quantum PCP conjecture. In this paper, we provide new techniques, based on entropic and local indistinguishability arguments, for proving circuit lower bounds for the low-energy states of local Hamiltonians arising from quantum error-correcting codes. For local Hamiltonians arising from nearly linear-rate and polynomial-distance LDPC stabilizer codes, we prove a super-constant circuit lower bounds for the complexity of all states of energy o(n) (which can be viewed as an almost linear NLTS theorem). Such codes are known to exist and, in general, are not locally-testable, a property previously suspected to be essential for the NLTS conjecture. Curiously, such codes can also be constructed on a constant-dimensional lattice, showing that complex entanglement at high energies can persist in physically relevant systems.

•Nov 3, 2020•0 citations

Extendibility of fermionic states and rigorous ground state approximations of interacting fermionic systems

Christian Krumnow, Zoltán Zimborás, Jens Eisert

Solving interacting fermionic quantum many-body problems as they are ubiquitous in quantum chemistry and materials science is a central task of theoretical and numerical physics, a task that can commonly only be addressed in the sense of providing approximations of ground states. For this reason, it is important to have tools at hand to assess how well simple ansatzes would fare. In this work, we provide rigorous guarantees on how well fermionic Gaussian product states can approximate the true ground state, given a weighted interaction graph capturing the interaction pattern of the systems. Our result can be on the one hand seen as a extendibility result of fermionic quantum states: It says in what ways fermionic correlations can be distributed. On the other hand, this is a non-symmetric de-Finetti theorem for fermions, as the direct fermionic analog of a theorem due to Brandao and Harrow. We compare the findings with the distinctly different situation of distinguishable finite-dimensional quantum systems, comment on the approximation of ground states with Gaussian states and elaborate on the connection to the no low-energy trivial state conjecture.

arXiv:2410.08322•Oct 10, 2024•0 citations

Circuit Lower Bounds for Low-Energy States of Quantum Code Hamiltonians

Anurag Anshu, Chinmay Nirkhe

The No Low-energy Trivial States (NLTS) conjecture of Freedman and Hastings, 2014 -- which posits the existence of a local Hamiltonian with a super-constant quantum circuit lower bound on the complexity of all low-energy states -- identifies a fundamental obstacle to the resolution of the quantum PCP conjecture. In this work, we provide new techniques, based on entropic and local indistinguishability arguments, that prove circuit lower bounds for all the low-energy states of local Hamiltonians arising from quantum error-correcting codes. For local Hamiltonians arising from nearly linear-rate or nearly linear-distance LDPC stabilizer codes, we prove super-constant circuit lower bounds for the complexity of all states of energy o(n). Such codes are known to exist and are not necessarily locally testable, a property previously suspected to be essential for the NLTS conjecture. Curiously, such codes can also be constructed on a two-dimensional lattice, showing that low-depth states cannot accurately approximate the ground-energy even in physically relevant systems.

arXiv:2011.02044•Leibniz international proceedings in informatics•Nov 3, 2020•6 citations

NLTM Hamiltonians from gauged sheaf quantum locally testable codes

Fuchuan Wei, Zhengyi Han, Zimu Li +1 more

Understanding the complexity of low-energy quantum states is a central problem in quantum complexity theory and many-body physics. Here we prove the no low-energy trivial magic (NLTM) conjecture, constructing a family of local Hamiltonians for which every state within a positive energy density window requires circuit depth $Ω(\log n)$ to prepare from arbitrary stabilizer state that may themselves be highly entangled. Notably, our result is intrinsic in the sense that the same Hamiltonian family and energy density threshold apply to arbitrary qudit stabilizer inputs with any bounded local dimensions. Our construction builds on non-Abelian gauged sheaf codes obtained using the cup product structure on good quantum locally testable codes. We establish constant operator soundness for the associated Hamiltonians, enabling their protected logical structure to constrain all states at sufficiently low energy density. By excluding shallow stabilizer-based classical witnesses, Our result substantially strengthens NLTS and advances our understanding of low-energy complexity relevant to quantum PCP.

quant-pharXiv:2609.40220•Oct 1, 2026•0 citations

Quantum circuits with free fermions in disguise

Kohei Fukai, Balázs Pozsgay

Abstract Recently multiple families of spin chain models were found, which have a free fermionic spectrum, even though they are not solvable by a Jordan–Wigner transformation. Instead, the free fermions emerge as a result of a rather intricate construction. In this work we consider the quantum circuit formulation of the problem. We construct circuits using local unitary gates built from the terms in the local Hamiltonians of the respective models, and ask the question: which circuit geometries (sequence of gates) lead to a free fermionic spectrum? Our main example is the 4-fermion model of Fendley, where we construct free fermionic circuits with various geometries. In certain cases we prove the free fermionic nature, while for other geometries we confirm it numerically. Surprisingly, we find that many standard brickwork circuits are not free fermionic, but we identify certain symmetric constructions which are. We also consider a recent generalization of the 4-fermion model and obtain the factorization of its transfer matrix, and subsequently derive a free-fermionic circuit for this case as well.

arXiv:2402.02984•Journal of Physics A Mathematical and Theoretical•Apr 15, 2025•10 citations

Quantum circuits for solving local fermion-to-qubit mappings

Jannes Nys, Giuseppe Carleo

Local Hamiltonians of fermionic systems on a lattice can be mapped onto local qubit Hamiltonians. Maintaining the locality of the operators comes at the expense of increasing the Hilbert space with auxiliary degrees of freedom. In order to retrieve the lower-dimensional physical Hilbert space that represents fermionic degrees of freedom, one must satisfy a set of constraints. In this work, we introduce quantum circuits that exactly satisfy these stringent constraints. We demonstrate how maintaining locality allows one to carry out a Trotterized time-evolution with constant circuit depth per time step. Our construction is particularly advantageous to simulate the time evolution operator of fermionic systems in d>1 dimensions. We also discuss how these families of circuits can be used as variational quantum states, focusing on two approaches: a first one based on general constant-fermion-number gates, and a second one based on the Hamiltonian variational ansatz where the eigenstates are represented by parametrized time-evolution operators. We apply our methods to the problem of finding the ground state and time-evolved states of the $t$-$V$ model.

arXiv:2208.07192•Aug 15, 2022•5 citations
One of the main problems in computational physics is predicting the low-energy behavior of many-body quantum systems. The computational complexity of this problem, however, is relatively poorly understood. A recent major progress in this direction has been the no low-energy trivial states (NLTS) theorem; it gives a family of qubit Hamiltonians whose low-energy states cannot be reached by shallow quantum circuits. In this work we provide a fermionic counterpart to this theorem, constructing local fermionic Hamiltonians with no low-energy trivial states. Distinct from the qubit case, we define trivial states via finite-depth fermionic quantum circuits. We further strengthen the result, allowing free access to (generally, deep) Gaussian fermionic circuits into our notion of a trivial state. The desired fermionic Hamiltonian can be constructed using any qubit Hamiltonian which has the NLTS property via well-spread distributions over bitstrings. We also define a fermionic analog of quantum probabilistically checkable proofs (PCPs) and explore the relation of fermionic PCP class with the qubit version.
The No Low-energy Trivial States (NLTS) conjecture of Freedman and Hastings (Quantum Information and Computation, 2014) -- which posits the existence of a local Hamiltonian with a super-constant circuit lower bound on the complexity of all low-energy states -- identifies a fundamental obstacle to the resolution of the quantum PCP conjecture. In this paper, we provide new techniques, based on entropic and local indistinguishability arguments, for proving circuit lower bounds for the low-energy states of local Hamiltonians arising from quantum error-correcting codes. For local Hamiltonians arising from nearly linear-rate and polynomial-distance LDPC stabilizer codes, we prove a super-constant circuit lower bounds for the complexity of all states of energy o(n) (which can be viewed as an almost linear NLTS theorem). Such codes are known to exist and, in general, are not locally-testable, a property previously suspected to be essential for the NLTS conjecture. Curiously, such codes can also be constructed on a constant-dimensional lattice, showing that complex entanglement at high energies can persist in physically relevant systems.
Solving interacting fermionic quantum many-body problems as they are ubiquitous in quantum chemistry and materials science is a central task of theoretical and numerical physics, a task that can commonly only be addressed in the sense of providing approximations of ground states. For this reason, it is important to have tools at hand to assess how well simple ansatzes would fare. In this work, we provide rigorous guarantees on how well fermionic Gaussian product states can approximate the true ground state, given a weighted interaction graph capturing the interaction pattern of the systems. Our result can be on the one hand seen as a extendibility result of fermionic quantum states: It says in what ways fermionic correlations can be distributed. On the other hand, this is a non-symmetric de-Finetti theorem for fermions, as the direct fermionic analog of a theorem due to Brandao and Harrow. We compare the findings with the distinctly different situation of distinguishable finite-dimensional quantum systems, comment on the approximation of ground states with Gaussian states and elaborate on the connection to the no low-energy trivial state conjecture.
The No Low-energy Trivial States (NLTS) conjecture of Freedman and Hastings, 2014 -- which posits the existence of a local Hamiltonian with a super-constant quantum circuit lower bound on the complexity of all low-energy states -- identifies a fundamental obstacle to the resolution of the quantum PCP conjecture. In this work, we provide new techniques, based on entropic and local indistinguishability arguments, that prove circuit lower bounds for all the low-energy states of local Hamiltonians arising from quantum error-correcting codes. For local Hamiltonians arising from nearly linear-rate or nearly linear-distance LDPC stabilizer codes, we prove super-constant circuit lower bounds for the complexity of all states of energy o(n). Such codes are known to exist and are not necessarily locally testable, a property previously suspected to be essential for the NLTS conjecture. Curiously, such codes can also be constructed on a two-dimensional lattice, showing that low-depth states cannot accurately approximate the ground-energy even in physically relevant systems.
Understanding the complexity of low-energy quantum states is a central problem in quantum complexity theory and many-body physics. Here we prove the no low-energy trivial magic (NLTM) conjecture, constructing a family of local Hamiltonians for which every state within a positive energy density window requires circuit depth Ω(log⁡n)Ω(\log n)Ω(logn) to prepare from arbitrary stabilizer state that may themselves be highly entangled. Notably, our result is intrinsic in the sense that the same Hamiltonian family and energy density threshold apply to arbitrary qudit stabilizer inputs with any bounded local dimensions. Our construction builds on non-Abelian gauged sheaf codes obtained using the cup product structure on good quantum locally testable codes. We establish constant operator soundness for the associated Hamiltonians, enabling their protected logical structure to constrain all states at sufficiently low energy density. By excluding shallow stabilizer-based classical witnesses, Our result substantially strengthens NLTS and advances our understanding of low-energy complexity relevant to quantum PCP.
Abstract Recently multiple families of spin chain models were found, which have a free fermionic spectrum, even though they are not solvable by a Jordan–Wigner transformation. Instead, the free fermions emerge as a result of a rather intricate construction. In this work we consider the quantum circuit formulation of the problem. We construct circuits using local unitary gates built from the terms in the local Hamiltonians of the respective models, and ask the question: which circuit geometries (sequence of gates) lead to a free fermionic spectrum? Our main example is the 4-fermion model of Fendley, where we construct free fermionic circuits with various geometries. In certain cases we prove the free fermionic nature, while for other geometries we confirm it numerically. Surprisingly, we find that many standard brickwork circuits are not free fermionic, but we identify certain symmetric constructions which are. We also consider a recent generalization of the 4-fermion model and obtain the factorization of its transfer matrix, and subsequently derive a free-fermionic circuit for this case as well.
Local Hamiltonians of fermionic systems on a lattice can be mapped onto local qubit Hamiltonians. Maintaining the locality of the operators comes at the expense of increasing the Hilbert space with auxiliary degrees of freedom. In order to retrieve the lower-dimensional physical Hilbert space that represents fermionic degrees of freedom, one must satisfy a set of constraints. In this work, we introduce quantum circuits that exactly satisfy these stringent constraints. We demonstrate how maintaining locality allows one to carry out a Trotterized time-evolution with constant circuit depth per time step. Our construction is particularly advantageous to simulate the time evolution operator of fermionic systems in d>1 dimensions. We also discuss how these families of circuits can be used as variational quantum states, focusing on two approaches: a first one based on general constant-fermion-number gates, and a second one based on the Hamiltonian variational ansatz where the eigenstates are represented by parametrized time-evolution operators. We apply our methods to the problem of finding the ground state and time-evolved states of the ttt-VVV model.