Geometry of Free Fermion Commutants

Abstract: Understanding the structure of operators that commute with $k$ identical replicas of unitary ensembles, also known as their $k$-commutants, is an important problem in quantum many-body physics with deep implications for the late-time behavior of physical quantities such as correlation functions and entanglement entropies under unitary evolution. In this work, we study the $k$-commutants of free-fermion unitary systems, which are heuristically known to contain $SO(k)$ and $SU(k)$ groups without and with particle number conservation respectively, with formal derivations of projectors onto these commutants appearing only very recently. We establish a complementary perspective by highlighting a larger $O(2k)$ replica symmetry (or $SU(2k)$ respectively) that the $k$-commutant transforms irreducibly under, which leads to a simple geometric understanding of the commutant in terms of coherent states parametrized by a Grassmannian manifold. We derive this structure by mapping the $k$-commutant to the ground state of effective ferromagnetic Heisenberg models, analogous to the ones that appear in the noisy circuit literature, which we solve exactly using standard representation theory methods. Further, we show that the Grassmannian manifold of the $k$-commutant is exactly the manifold of fermionic Gaussian states on $2k$ sites, which reveals a duality between real space and replica space in free-fermion systems. This geometric understanding also provides a compact projection formula onto the $k$-commutant, based on the resolution of identity for coherent states, which can prove advantageous in analytical calculations of averaged non-linear functionals of Gaussian states, as we demonstrate using some examples for the entanglement entropies. In all, this work provides a geometric perspective on the $k$-commutant of free-fermions that naturally connects to problems in quantum many-body physics.

• The paper reveals that free-fermion k-commutants form a single irreducible representation on a Grassmannian manifold, contrasting with discrete permutation-based structures.
• It develops a coherent-state integral projector method that factorizes computational cost from system size, depending solely on the replica index k.
• The analysis extends naturally to systems with larger internal symmetries, providing scalable tools for evaluating entanglement and other many-body observables.

Geometry and Manifold Structure of Free Fermion $k$-Commutants

Introduction

The paper provides a comprehensive and geometric characterization of the $k$-commutant algebras for ensembles of free-fermion unitaries. These commutants, i.e., operator algebras invariant under the $k$-fold tensor replicated action of a unitary ensemble, are central for analyzing averaged nonlinear functionals such as correlation functions and entanglement entropies in quantum many-body systems. While for Haar random and Clifford ensembles the structure of $k$-commutants is well-understood and reducible to discrete permutation group algebras, for free-fermion ensembles (matchgates and particle-number conserving unitaries) the structure is substantially richer: the $k$-commutant forms a single irreducible representation (irrep) of a higher symmetry group, and its geometry is that of a Grassmannian manifold.

Algebraic and Geometric Structure of $k$-Commutants

The main result is the identification of the $k$-commutants for free-fermion and related ensembles as the space of ground states of frustration-free ferromagnetic spin models with global $SO(2k)$ (for generic matchgate unitaries) or $SU(2k)$ (for particle-number conserving gates) symmetry. This significantly extends previous partial characterizations where only the maximal abelian symmetries ($SO(k)$ or $k$0) were apparent. The irreducibility under an enlarged $k$1 or $k$2 symmetry is established via explicit construction using representation theory, with the ground state manifold isomorphic to the Grassmannian $k$3 or $k$4, which is the space of fermionic Gaussian states with $k$5 particles on $k$6 modes.

The technical path involves mapping the conditions defining the commutant (commutation with replicated group action) to a kernel condition for a sum of local “super-Hamiltonians” acting on the $k$7-replicated Hilbert space. These Hamiltonians are local in physical space but highly nontrivial in the replica direction: they are expressible via the quadratic Casimir operators of the corresponding symmetry group. The ground states are then fully symmetric tensor products of single-site ground states, which are identified with coherent states spanning the corresponding Grassmannians.

This construction contrasts sharply with the description for Haar and Clifford ensembles, where the commutant algebra decomposes into polynomially many irreps labeled by the permutation group. For free-fermion ensembles, all physical operators in the commutant—regardless of system size—are captured by a single highest-weight irrep of the replica group, drastically simplifying the algebraic structure and the analytic form of corresponding projectors.

Coherent-State Integral Representation and Computational Implications

A decisive implication of this geometric structure is the derivation of an exact projector formula onto the $k$8-commutant in terms of an integral over the associated coherent state Grassmannian. This “resolution of identity” approach produces factorizable expressions, where the computational cost is invariant with system size and depends only on the replica index $k$9. The explicit formulas involve parametrizations using complex $k$0 antisymmetric or general complex matrices, which correspond to the Bogoliubov modes or general Gaussian states.

These manifold integral projectors provide a compact framework for analytically evaluating averages of nonlinear functionals over the free-fermion group, such as annealed averages of R\'enyi or von Neumann entropies. Comparison with the conventional Weingarten calculus for Haar ensembles highlights both the complexity reduction (factorization in system size) and the qualitative difference (continuous manifold vs. discrete set of commutant elements) in the free-fermion setting.

Extension to Internal Symmetries and Higher-Flavor Systems

The formalism extends naturally to free-fermion systems with large internal symmetry groups. The $k$1-commutant for, e.g., $k$2-symmetric fermion ensembles is mapped to the $k$3-commutant of spinless ensembles, corresponding to Grassmannians of dimension $k$4. Similarly, the Majorana case with $k$5 flavor symmetry is mapped to an $k$6 structure.

This recursive structure affirms the universality of the geometric approach and indicates a deep interplay between the physical space (system size and internal degrees of freedom) and the replica space arising from moments of the unitary group.

Explicit Computation: Free Fermion Page Curves

The saddle-point analysis of the coherent-state integral enables explicit computation of the Page curves (i.e., typical entanglement entropy for random pure Gaussian states) for arbitrary R\'enyi index $k$7. The result reproduces known results for $k$8 but also provides a large-$k$9 formula for general $k$0, expressed in terms of the solution to a saddle-point equation involving the spectral data of the associated group action. This demonstrates the practical analytical tractability granted by the geometric projector framework.

Theoretical Implications and Mathematical Generalizations

The identification of the $k$1-commutant with a single replica-symmetric irrep and associated Grassmannian manifold has far-reaching implications. It enables the import of techniques from geometric representation theory (coherent state analysis, character theory, symmetric space integration) into the computation of many-body quantum observables. The explicit, system-size-independent integral formula for moment projectors and the mapping between commutant manifolds for different internal symmetries suggest avenues for exploring the geometry of commutant algebras in more general interacting or constrained systems.

This approach positions the study of $k$2-commutants at the intersection of quantum information, random matrix theory, and representation theory, and makes manifest the duality between spatial and replica structure in moments of operator ensembles.

Conclusion

This work provides a rigorous, geometric, and algebraic characterization of free-fermion $k$3-commutant algebras, situating them as irreducible representation spaces of $k$4 or $k$5, and as coherent state Grassmannian manifolds. The results yield explicit, scalable computational tools for the analysis of statistics of many-body observables in noninteracting settings, and establish a structural contrast to the permutation-based (Haar/Clifford) paradigm. The geometric perspective enables not only improved analytic calculations of ensemble-averaged quantities but also opens the way for future study of interacting, symmetry-enriched, or fragmented systems via their commutant geometry.

Key implications include:

• The $k$6-commutant for free-fermion ensembles is a single irrep of an emergent replica group, manifesting as a Grassmannian homogeneous space.
• Projectors are computable via coherent state resolution of identity, maintaining complexity that is independent of system size.
• The methods naturally extend to systems with larger internal symmetry and higher-flavor content.
• This geometric framework invites further exploration of commutant algebras beyond noninteracting fermion models and provides a foundation for analytic and numerical advances in quantum many-body dynamics and information theory.

References: See (2604.05031) and related works on the geometry of commutants, coherent states, and random unitary ensembles.