Bootstrapping Symmetries in Quantum Many-Body Systems from the Cross Spectral Form Factor
Chen Bai, Zihan Zhou, Bastien Lapierre, Shinsei Ryu
Abstract
Symmetries play a central role in quantum many-body physics, yet uncovering them systematically remains challenging. We introduce a bootstrap framework designed to reconstruct the representation theory of hidden finite group symmetries of quantum many-body lattice Hamiltonians, using only a known symmetry subgroup and spectral correlations between its symmetry sectors. We introduce a novel variant of the spectral form factor, the cross spectral form factor (xSFF), which we compute via exact diagonalization to seed the bootstrap algorithm. By applying the constraints derived from these data alongside the algebraic conditions of the fusion rules, our bootstrap procedure sharply restricts the set of candidate groups . Remarkably, without any prior assumptions regarding the full symmetry group , our method can systematically recover its representation-theoretic data, including the number and dimensions of the irreducible representations, their branching rules with respect to , the fusion algebra, and the full character table. This framework applies equally well to chaotic and integrable many-body systems and accommodates both unitary and anti-unitary symmetries. Through various examples, we demonstrate that the underlying group can be uniquely identified. In particular, our bootstrap independently recovers the symmetry at the self-dual point of the three-state quantum torus chain, detects signatures of projective representations in the effective Hamiltonian of the driven Bose-Hubbard model, and rediscovers the -pairing symmetry of the one-dimensional Fermi-Hubbard model. Our framework thus establishes a practical route to identify symmetries directly from dynamical spectral observables.
AI Impact Assessments
(3 models)Scientific Impact Assessment
Core Contribution
This paper introduces a systematic bootstrap framework for reconstructing hidden finite group symmetries of quantum many-body Hamiltonians from spectral data. The central innovation is the cross spectral form factor (xSFF), a matrix-valued generalization of the standard SFF that captures cross-correlations between symmetry sectors of a known subgroup . The key insight is that the late-time plateau structure of the xSFF encodes branching multiplicities—how irreducible representations (irreps) of the full symmetry group decompose upon restriction to . Combined with algebraic consistency conditions (monoidality, associativity, rigidity of fusion rules), this spectral data seeds a bootstrap algorithm that systematically reconstructs: the number and dimensions of -irreps, branching rules, fusion algebra, and the full character table.
The problem addressed—systematic identification of hidden symmetries from physical observables—fills an important gap between coarse spectral diagnostics (level spacing statistics) that detect but cannot identify symmetries, and exact algebraic methods (commutant algebras) that are computationally expensive and require wavefunction access.
Methodological Rigor
The framework is mathematically well-grounded in representation theory and category theory. The six constraints (monoidality, dimensionality, commutativity/associativity, unity, rigidity, and numerical xSFF constraints) are rigorously derived and clearly stated. The algorithm proceeds through a structured pipeline: equivalence class identification → quotient graph construction → clique enumeration → branching matrix assembly → fusion enumeration → backtracking with consistency checks.
The paper demonstrates the method across progressively complex examples:
1. symmetry (O'Brien-Fendley model): basic illustration with as known subgroup
2. symmetry (Kennedy-Tasaki transformed spin-1 chain): non-local hidden symmetry
3. symmetry (Ashkin-Teller at Potts point): higher branching multiplicities ()
4. (quantum torus chain): anti-unitary symmetries and non-normal subgroups
5. Projective representations (driven Bose-Hubbard): detecting projective structure
6. (Fermi-Hubbard): extension to compact Lie groups
Each example includes analytical verification, and the numerical xSFF data (200 disorder realizations, exact diagonalization) show clean plateau structures. The distinction between linear representation and corepresentation branches is handled systematically.
Potential Impact
Direct applications: The framework provides a practical diagnostic tool for uncovering symmetries in quantum many-body systems, applicable to both chaotic and integrable regimes. The experimental protocol proposed (Section IX) using randomized measurements is feasible on current quantum simulators (~5 qubits), building on recent SFF measurement demonstrations.
Broader influence:
Timeliness & Relevance
The paper addresses a timely need at the intersection of several active research areas: quantum chaos (SFF diagnostics), generalized symmetries (categorical framework), and quantum simulation (experimental protocols). The recent experimental measurement of SFFs on quantum processors (Ref. [71]) makes the proposed xSFF measurement protocol particularly relevant.
Strengths
1. Novelty of the xSFF: The cross spectral form factor is a genuinely new observable that bridges spectral statistics and representation theory. The universality of its plateau (independent of integrability) is a powerful feature.
2. Algorithmic completeness: The bootstrap algorithm is fully specified and systematically produces all consistent solutions at minimal rank, with clear termination criteria.
3. Breadth of examples: The paper covers finite groups, magnetic groups (anti-unitary symmetries), projective representations, non-normal subgroups, and compact Lie groups—demonstrating wide applicability.
4. Mathematical depth: The connection to Tannakian duality and categorical structures provides a principled foundation and clear path toward complete group reconstruction.
5. Practical relevance: The proposed experimental protocol and the demonstration on physically important models (Fermi-Hubbard -pairing, Kennedy-Tasaki transformation) enhance real-world applicability.
Limitations
1. Scalability: The method relies on exact diagonalization, limiting system sizes. The Heisenberg time grows exponentially, making plateau extraction challenging for larger systems. The paper does not systematically address finite-size scaling.
2. Uniqueness not guaranteed: While the paper demonstrates unique identification in all examples, a rigorous proof that branching + fusion data always determine is absent. The F-symbols and fiber functor needed for full Tannakian reconstruction are not extracted.
3. Continuous symmetries: The extension to compact Lie groups (Section VIII.B) is more heuristic—it works for the specific case through physical reasoning rather than systematic bootstrap.
4. Corepresentation limitations: The anti-unitary branch requires the input subgroup to be the full unitary normal subgroup and assumes a single anti-unitary generator.
5. Disorder dependence: Most examples use disorder averaging to clean plateaus, and while Appendix E shows the integrable case works, finite-size fluctuations could complicate practical applications.
Overall Assessment
This is a creative and technically accomplished paper that introduces a genuinely new approach to a fundamental problem. The combination of spectral physics (xSFF) with algebraic bootstrap constraints is elegant and practically useful. The progression of examples is pedagogically effective and scientifically convincing. While scalability and completeness questions remain, the framework establishes a compelling new direction at the interface of quantum chaos, representation theory, and many-body physics.
Generated Apr 3, 2026
Comparison History (74)
Paper 1 resolves a fundamental open problem in quantum information theory by proving that optimal resource distillation can be achieved universally without knowledge of the input state. This has broad implications across quantum information—entanglement distillation, quantum communication, and resource theories generally. The composite quantum Stein's lemma is a significant mathematical contribution with wide applicability. Paper 2 introduces a clever bootstrap method for discovering hidden symmetries, but it is more specialized in scope. Paper 1's universality result and foundational nature give it higher potential for broad, lasting impact across quantum information science.
Paper 1 introduces a fundamental theoretical and computational framework to solve a core problem in physics: identifying hidden symmetries in quantum many-body systems. While Paper 2 provides a highly relevant and timely benchmark for AI in quantum computing, Paper 1's approach offers deep scientific novelty and broad applicability across chaotic, integrable, unitary, and anti-unitary systems, directly advancing our fundamental understanding of quantum matter.
Paper 2 proposes a novel hybrid visible-THz quantum interface that addresses a critical gap in THz quantum technologies — generating high-fidelity steady-state entanglement mediated by THz photons while using only optical control. This bridges two major fields (quantum optics and THz technology) with clear experimental feasibility and broad applications in quantum communication and sensing. Paper 1, while technically sophisticated in bootstrapping hidden symmetries from spectral data, is more incremental within theoretical many-body physics and has a narrower audience. Paper 2's practical paradigm for THz quantum technologies gives it broader cross-disciplinary impact.
Paper 2 proposes a novel hybrid visible-THz quantum interface that bridges a critical gap in THz quantum technologies—generating high-fidelity steady-state entanglement between emitters mediated by THz photons while maintaining optical control. This has broad real-world applications in quantum communication, sensing, and THz quantum technology development. Paper 1 presents a sophisticated but more niche bootstrap framework for uncovering hidden symmetries in quantum many-body systems. While methodologically rigorous and innovative, its impact is largely confined to theoretical/computational condensed matter physics. Paper 2's experimental feasibility and cross-disciplinary relevance (quantum optics, THz technology, quantum information) give it broader potential impact.
Paper 2 operates at the highly active intersection of artificial intelligence and quantum computing. By introducing a scalable benchmark for AI-assisted quantum error correction circuit synthesis, it directly addresses a critical bottleneck in achieving fault-tolerant quantum hardware. This practical utility, combined with its timely relevance to both AI and quantum engineering communities, suggests a broader and more immediate real-world impact compared to the specialized theoretical physics framework presented in Paper 1.
Paper 2 likely has higher impact due to immediate, broad applicability to fault-tolerant quantum computing: automated detector error model construction removes a major bottleneck in QEC evaluation, enabling scalable, end-to-end protocol comparisons and rapid prototyping. The contribution is methodological infrastructure with clear real-world relevance and timeliness as the field shifts to circuit-level benchmarking. It also spans multiple protocols and validates against public implementations, suggesting strong rigor and adoption potential. Paper 1 is novel and valuable but more specialized, with narrower near-term deployment.
Paper 2 likely has higher scientific impact due to strong real-world applicability and timeliness: automated detector error model (DEM) construction addresses a major practical bottleneck in fault-tolerant quantum computing workflows, enabling broader, more rigorous evaluation beyond toy memory experiments. The infrastructure nature of LightStim can be widely adopted across QEC research and industry, potentially accelerating protocol development and standardizing benchmarking. Methodological rigor is supported by cross-validation against public implementations and end-to-end logical error-rate consistency, and the heterogeneous cross-code lattice surgery example suggests extensibility.
Paper 1 offers a highly interdisciplinary approach combining quantum computing, machine learning, and Markov Chain Monte Carlo methods. By addressing the critical bottleneck of scalability in NISQ devices through neural network surrogates, it provides a practical framework for large-scale constrained optimization. This gives it significant near-term real-world applicability across various fields (e.g., ML, operations research). While Paper 2 presents a profound methodological innovation for fundamental physics, Paper 1's algorithmic bridging of classical and quantum techniques promises a broader and more immediate scientific and practical impact.
Paper 2 introduces a fundamentally new framework for discovering hidden symmetries in quantum many-body systems using spectral correlations—a broadly applicable conceptual advance. The cross spectral form factor is a novel diagnostic tool, and the bootstrap approach for reconstructing full group-theoretic data from partial information is methodologically innovative. It applies across chaotic and integrable systems and handles both unitary and anti-unitary symmetries, giving it broad impact across condensed matter, quantum information, and mathematical physics. Paper 1, while technically solid, is more incremental—combining existing techniques (QAOA, neural surrogates, divide-and-conquer) for constrained MCMC acceleration with narrower applicability.
Paper 1 introduces a novel, practically implementable bootstrap method (via cross spectral form factor) to infer hidden symmetries and full representation-theoretic data directly from spectral observables, demonstrated across multiple many-body models and accommodating unitary/anti-unitary cases. This is both timely and broadly impactful (quantum chaos, condensed matter, Floquet systems, symmetry discovery, computational diagnostics), with clear real-world utility for analyzing complex Hamiltonians. Paper 2 offers a new complexity quantifier in the stabilizer formalism with solid conceptual ties to nonstabilizerness, but appears narrower in application scope and likely incremental relative to active resource-theory measures.