Abstract:A rigorous proof of integrability or non-integrability in quantum many-body systems is among the most challenging tasks, as it involves demonstrating the presence or absence of local conserved quantities and deciphering the complex dynamics of the system. In this paper, we establish a graph-theoretical analysis as a comprehensive framework for proving the non-integrability of quantum systems. Exemplifying the PXP model, which is widely believed to be non-integrable, this work rigorously proves the absence of local conserved quantities, thereby confirming its non-integrability. This proof for the PXP model gives several important messages not only that the system is non-integrable, but also the quantum many body scaring observed in the model is not associate with the existence of local conserved quantities. From a graph-theoretical perspective, we also highlight its advantage, even in integrable systems, as the classification of local conserved quantities can be achieved by simply counting the number of isolated loops in the graphs. Our new approach is broadly applicable for establishing proofs of (non-)integrability in other quantum many-body systems, significantly simplifying the process of proving nonintegrability and giving numerous potential applications.

Absence of local conserved quantity in the Heisenberg model with next-nearest-neighbor interaction

Proof of the absence of local conserved quantities in general spin-1/2 chains with symmetric nearest-neighbor interaction

Proof of absence of local conserved quantities in the mixed-field Ising chain

Complete Classification of Integrability and Non-integrability for Spin-1/2 Chain with Symmetric Nearest-Neighbor Interaction

Proof of the absence of local conserved quantities in the spin-1 bilinear-biquadratic chain and its anisotropic extensions

Adiabatic eigenstate deformations and weak integrability breaking of Heisenberg chain

Exactly solvable subspaces of non-integrable spin chains with boundaries and quasiparticle interactions

Proof of the absence of local conserved quantities in the XYZ chain with a magnetic field

Entanglement of the Heisenberg Chain with the Next-Nearest-Neighbor Interaction

Proof of completeness of the local conserved quantities in the one-dimensional Hubbard model

Rigorous Results for a Hierarchy of Generalized Heisenberg Models

Proof of nonintegrability of the spin-$1$ bilinear-biquadratic chain model

No eigenstate of the critical transverse-field Ising chain satisfies the area law

Weak integrability breaking perturbations of integrable models

Spectral and Entanglement Properties of the Random Exchange Heisenberg Chain

Entanglement dynamics in the many-body Hatano-Nelson model

Graph theoretical proof of nonintegrability in quantum many-body systems : Application to the PXP model

Absence of Mobility Edge in Short-range Uncorrelated Disordered Model: Coexistence of Localized and Extended States

Many-body Localization in Clean Chains with Long-Range Interactions

Bethe ansatz inside Calogero-Sutherland models