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:2403.14912 · Physical Review A

Doped stabilizer states in many-body physics and where to find them

Andi Gu, Salvatore F. E. Oliviero, Lorenzo Leone

Published Dec 30, 2024• 18 citations
arXivHTMLPDF

Abstract

This work uncovers a fundamental connection between doped stabilizer states, a concept from quantum information theory, and the structure of eigenstates in perturbed many-body quantum systems. We prove that for Hamiltonians consisting of a sum of commuting Pauli operators, i.e., stabilizer Hamiltonians, and a perturbation composed of a limited number of arbitrary Pauli terms, the eigenstates can be represented as doped stabilizer states with small stabilizer nullity. This result enables the application of stabilizer techniques to a broad class of many-body systems, even in highly entangled regimes. Building on this, we develop efficient classical algorithms for tasks such as finding low-energy eigenstates, simulating quench dynamics, preparing Gibbs states, and computing entanglement entropies in these systems. Our work opens up new possibilities for understanding the robustness of topological order and the dynamics of many-body systems under perturbations, paving the way for novel insights into the interplay of quantum information, entanglement, and many-body systems.

DOI
10.1103/physreva.110.062427

Related papers

Stabilizer ground states for simulating quantum many-body physics: theory, algorithms, and applications

Jiace Sun, Lixue Cheng, Shixin Zhang

Stabilizer states, which are also known as the Clifford states, have been commonly utilized in quantum information, quantum error correction, and quantum circuit simulation due to their simple mathematical structure. In this work, we apply stabilizer states to tackle quantum many-body ground state problems and introduce the concept of stabilizer ground states. We establish an equivalence formalism for identifying stabilizer ground states of general Pauli Hamiltonians. Moreover, we develop an exact and linear-scaled algorithm to obtain stabilizer ground states of 1D local Hamiltonians and thus free from discrete optimization. This proposed equivalence formalism and linear-scaled algorithm are not only applicable to finite-size systems, but also adaptable to infinite periodic systems. The scalability and efficiency of the algorithms are numerically benchmarked on different Hamiltonians. Finally, we demonstrate that stabilizer ground states are promising tools for not only qualitative understanding of quantum systems, but also cornerstones of more advanced classical or quantum algorithms.

arXiv:2403.08441•Quantum•Jun 24, 2025•9 citations

Stability of Quantum Many-Body Systems

Yin, Chao

In quantum many-body systems subjected to generic perturbations, eigenstates are typically fragile and prone to strong mixing, leading to rapid thermalization in dynamics to an equilibrium state described by statistical mechanics. However, there exist robust counterexamples that defy this typical expectation, exhibiting novel non-equilibrium phenomena and offering potential applications in (quantum) information processing. This dissertation explores such systems and establishes their stability against perturbations with mathematical rigor. First, by generalizing the exponentially slow tunneling effect in single-particle quantum mechanics, we develop a theory of metastability in quantum many-body systems, demonstrating their nonperturbatively long lifetimes. As a canonical application, we provide the first general and tight bounds on the slow decay of false vacua. Second, it is known that ground states in finite spatial dimensions can resist arbitrary local perturbations through topologically ordered phases of matter. We extend this notion of stability to quantum error-correcting codes in infinite dimensions, specifically quantum low-density parity-check (LDPC) codes. These codes are of significant interest due to their promise of lower fault-tolerance overhead compared to finite-dimensional codes. Lastly, we analyze classical counterparts of LDPC codes and prove that their eigenstates remain localized in the many-body Hilbert space under generic perturbations. This finding presents the first unambiguous example of a robust violation of the eigenstate thermalization hypothesis. To achieve these results, we introduce advanced techniques to control operator locality, leveraging and generalizing methods such as Lieb-Robinson bounds, cluster expansions, and Schrieffer-Wolff transformations. These tools not only underpin our specific findings but may also prove valuable for broader challenges in mathematical physics of quantum many-body systems.

•Mar 13, 2025•0 citations

An efficient algorithm to compute entanglement in states with low magic

ChunJun Cao, Cheng, Gong, Tianci Zhou

A bottleneck for analyzing the interplay between magic and entanglement is the computation of these quantities in highly entangled quantum many-body magic states. Efficient extraction of entanglement can also inform our understanding of dynamical quantum processes such as measurement-induced phase transition and approximate unitary designs. We develop an efficient classical algorithm to compute the von Neumann entropy and entanglement spectrum for such states under the condition that they have low stabilizer nullity. The algorithm exploits the property of stabilizer codes to separate entanglement into two pieces: one generated by the common stabilizer group and the other from the logical state. The low-nullity constraint ensures both pieces can be computed efficiently. Our algorithm can be applied to study the entanglement in sparsely $T$-doped circuits with possible Pauli measurements as well as certain classes of states that have both high entanglement and magic. Combining with stabilizer learning subroutines, it also enables the efficient learning of von Neumann entropies for low-nullity states prepared on quantum devices.

arXiv:2510.06318•Oct 7, 2025•0 citations

A non-commuting stabilizer formalism

Xiaotong Ni, Oliver Buerschaper, Maarten Van den Nest

We propose a non-commutative extension of the Pauli stabilizer formalism. The aim is to describe a class of many-body quantum states which is richer than the standard Pauli stabilizer states. In our framework, stabilizer operators are tensor products of single-qubit operators drawn from the group 〈αI, X, S〉, where α = eiπ/4 and S = diag(1, i). We provide techniques to efficiently compute various properties related to bipartite entanglement, expectation values of local observables, preparation by means of quantum circuits, parent Hamiltonians, etc. We also highlight significant differences compared to the Pauli stabilizer formalism. In particular, we give examples of states in our formalism which cannot arise in the Pauli stabilizer formalism, such as topological models that support non-Abelian anyons.

arXiv:1404.5327•Journal of Mathematical Physics•May 1, 2015•28 citations

Exact Thermal Stabilizer Eigenstates at Infinite Temperature

Akihiro Hokkyo

Understanding how microscopic few-body interactions give rise to thermal behavior in isolated quantum many-body systems remains a central challenge in nonequilibrium statistical mechanics. While individual energy eigenstates are expected to reproduce thermal equilibrium values, analytic access to highly entangled thermal eigenstates of nonintegrable Hamiltonians remains scarce. In this Letter, we construct exact infinite-temperature eigenstates of generically nonintegrable two-body Hamiltonians using stabilizer states. These states can fully reproduce thermal expectation values for all spatially local observables, extending previously known Bell-pair-based constructions to a broader class. At the same time, we prove a sharp no-go theorem: stabilizer eigenstates of two-body Hamiltonians cannot satisfy microscopic thermal equilibrium for all four-body observables. This bound is tight, as we explicitly construct a translationally invariant Hamiltonian whose stabilizer eigenstate is thermal for all two-body and three-body observables as well as all spatially local observables. Our results suggest that reproducing higher-order thermal correlations requires nonstabilizer degrees of freedom, providing analytic insight into the interplay between interaction locality, microscopic thermal equilibrium, and quantum computational complexity.

quant-pharXiv:2601.16177•Jan 23, 2026•0 citations

Learning the stabilizer group of a Matrix Product State

Guglielmo Lami, Mario Collura

We present a novel classical algorithm designed to learn the stabilizer group -- namely the group of Pauli strings for which a state is a $\pm 1$ eigenvector -- of a given Matrix Product State (MPS). The algorithm is based on a clever and theoretically grounded biased sampling in the Pauli (or Bell) basis. Its output is a set of independent stabilizer generators whose total number is directly associated with the stabilizer nullity, notably a well-established nonstabilizer monotone. We benchmark our method on $T$-doped states randomly scrambled via Clifford unitary dynamics, demonstrating very accurate estimates up to highly-entangled MPS with bond dimension $χ\sim 10^3$. Our method, thanks to a very favourable scaling $\mathcal{O}(χ^3)$, represents the first effective approach to obtain a genuine magic monotone for MPS, enabling systematic investigations of quantum many-body physics out-of-equilibrium.

arXiv:2401.16481•Jan 29, 2024•1 citation
This work uncovers a fundamental connection between doped stabilizer states, a concept from quantum information theory, and the structure of eigenstates in perturbed many-body quantum systems. We prove that for Hamiltonians consisting of a sum of commuting Pauli operators, i.e., stabilizer Hamiltonians, and a perturbation composed of a limited number of arbitrary Pauli terms, the eigenstates can be represented as doped stabilizer states with small stabilizer nullity. This result enables the application of stabilizer techniques to a broad class of many-body systems, even in highly entangled regimes. Building on this, we develop efficient classical algorithms for tasks such as finding low-energy eigenstates, simulating quench dynamics, preparing Gibbs states, and computing entanglement entropies in these systems. Our work opens up new possibilities for understanding the robustness of topological order and the dynamics of many-body systems under perturbations, paving the way for novel insights into the interplay of quantum information, entanglement, and many-body systems.
Stabilizer states, which are also known as the Clifford states, have been commonly utilized in quantum information, quantum error correction, and quantum circuit simulation due to their simple mathematical structure. In this work, we apply stabilizer states to tackle quantum many-body ground state problems and introduce the concept of stabilizer ground states. We establish an equivalence formalism for identifying stabilizer ground states of general Pauli Hamiltonians. Moreover, we develop an exact and linear-scaled algorithm to obtain stabilizer ground states of 1D local Hamiltonians and thus free from discrete optimization. This proposed equivalence formalism and linear-scaled algorithm are not only applicable to finite-size systems, but also adaptable to infinite periodic systems. The scalability and efficiency of the algorithms are numerically benchmarked on different Hamiltonians. Finally, we demonstrate that stabilizer ground states are promising tools for not only qualitative understanding of quantum systems, but also cornerstones of more advanced classical or quantum algorithms.
In quantum many-body systems subjected to generic perturbations, eigenstates are typically fragile and prone to strong mixing, leading to rapid thermalization in dynamics to an equilibrium state described by statistical mechanics. However, there exist robust counterexamples that defy this typical expectation, exhibiting novel non-equilibrium phenomena and offering potential applications in (quantum) information processing. This dissertation explores such systems and establishes their stability against perturbations with mathematical rigor. First, by generalizing the exponentially slow tunneling effect in single-particle quantum mechanics, we develop a theory of metastability in quantum many-body systems, demonstrating their nonperturbatively long lifetimes. As a canonical application, we provide the first general and tight bounds on the slow decay of false vacua. Second, it is known that ground states in finite spatial dimensions can resist arbitrary local perturbations through topologically ordered phases of matter. We extend this notion of stability to quantum error-correcting codes in infinite dimensions, specifically quantum low-density parity-check (LDPC) codes. These codes are of significant interest due to their promise of lower fault-tolerance overhead compared to finite-dimensional codes. Lastly, we analyze classical counterparts of LDPC codes and prove that their eigenstates remain localized in the many-body Hilbert space under generic perturbations. This finding presents the first unambiguous example of a robust violation of the eigenstate thermalization hypothesis. To achieve these results, we introduce advanced techniques to control operator locality, leveraging and generalizing methods such as Lieb-Robinson bounds, cluster expansions, and Schrieffer-Wolff transformations. These tools not only underpin our specific findings but may also prove valuable for broader challenges in mathematical physics of quantum many-body systems.
A bottleneck for analyzing the interplay between magic and entanglement is the computation of these quantities in highly entangled quantum many-body magic states. Efficient extraction of entanglement can also inform our understanding of dynamical quantum processes such as measurement-induced phase transition and approximate unitary designs. We develop an efficient classical algorithm to compute the von Neumann entropy and entanglement spectrum for such states under the condition that they have low stabilizer nullity. The algorithm exploits the property of stabilizer codes to separate entanglement into two pieces: one generated by the common stabilizer group and the other from the logical state. The low-nullity constraint ensures both pieces can be computed efficiently. Our algorithm can be applied to study the entanglement in sparsely TTT-doped circuits with possible Pauli measurements as well as certain classes of states that have both high entanglement and magic. Combining with stabilizer learning subroutines, it also enables the efficient learning of von Neumann entropies for low-nullity states prepared on quantum devices.
We propose a non-commutative extension of the Pauli stabilizer formalism. The aim is to describe a class of many-body quantum states which is richer than the standard Pauli stabilizer states. In our framework, stabilizer operators are tensor products of single-qubit operators drawn from the group 〈αI, X, S〉, where α = eiπ/4 and S = diag(1, i). We provide techniques to efficiently compute various properties related to bipartite entanglement, expectation values of local observables, preparation by means of quantum circuits, parent Hamiltonians, etc. We also highlight significant differences compared to the Pauli stabilizer formalism. In particular, we give examples of states in our formalism which cannot arise in the Pauli stabilizer formalism, such as topological models that support non-Abelian anyons.
Understanding how microscopic few-body interactions give rise to thermal behavior in isolated quantum many-body systems remains a central challenge in nonequilibrium statistical mechanics. While individual energy eigenstates are expected to reproduce thermal equilibrium values, analytic access to highly entangled thermal eigenstates of nonintegrable Hamiltonians remains scarce. In this Letter, we construct exact infinite-temperature eigenstates of generically nonintegrable two-body Hamiltonians using stabilizer states. These states can fully reproduce thermal expectation values for all spatially local observables, extending previously known Bell-pair-based constructions to a broader class. At the same time, we prove a sharp no-go theorem: stabilizer eigenstates of two-body Hamiltonians cannot satisfy microscopic thermal equilibrium for all four-body observables. This bound is tight, as we explicitly construct a translationally invariant Hamiltonian whose stabilizer eigenstate is thermal for all two-body and three-body observables as well as all spatially local observables. Our results suggest that reproducing higher-order thermal correlations requires nonstabilizer degrees of freedom, providing analytic insight into the interplay between interaction locality, microscopic thermal equilibrium, and quantum computational complexity.
We present a novel classical algorithm designed to learn the stabilizer group -- namely the group of Pauli strings for which a state is a ±1\pm 1±1 eigenvector -- of a given Matrix Product State (MPS). The algorithm is based on a clever and theoretically grounded biased sampling in the Pauli (or Bell) basis. Its output is a set of independent stabilizer generators whose total number is directly associated with the stabilizer nullity, notably a well-established nonstabilizer monotone. We benchmark our method on TTT-doped states randomly scrambled via Clifford unitary dynamics, demonstrating very accurate estimates up to highly-entangled MPS with bond dimension χ∼103χ\sim 10^3χ∼103. Our method, thanks to a very favourable scaling O(χ3)\mathcal{O}(χ^3)O(χ3), represents the first effective approach to obtain a genuine magic monotone for MPS, enabling systematic investigations of quantum many-body physics out-of-equilibrium.