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:2607.13725

An exact algorithm for U(N) matrix models in the gauge-invariant singlet sector

Enrico M. Brehm, Jean Cazalis

hep-thmath-phquant-phSubmitted Jul 15, 2026• Announced Jul 16, 2026• Revised Oct 7, 2026 (v3)
v1 · Jul 15, 2026v2 · Jul 20, 2026v3 · Oct 7, 2026
arXivHTMLPDF

Abstract

Matrix models appear as fundamental descriptions of M-theory and D-brane dynamics, and via the gauge/gravity duality their gauge-invariant, or singlet, sector describes the purely gravitational degrees of freedom in the holographic dual. We present a new exact algorithm for computing observables of bosonic U(N) matrix models in the gauge-invariant singlet sector. This sector is spanned by an orthogonal basis of Schur polynomials (for a single matrix) and restricted Schur polynomials (for multiple matrices), which diagonalizes the free Hamiltonian and provides a natural truncation of the Hilbert space by excitation number. Matrix elements of the interaction Hamiltonian, or any gauge-invariant observable, are evaluated through a group-theoretic reduction to cosets and double cosets of suitable subgroups of the symmetric group, together with character sums on the symmetric group. The resulting entries are closed-form polynomials in the gauge-group rank N, assembled from group-theoretic data that are precomputed once and can be reused for any N and any coupling constants. We validate the one-matrix implementation against the exact mapping to N non-interacting fermions, demonstrating rapid convergence of the low-lying spectrum with the cutoff. The multi-matrix extension is outlined; its main bottleneck is the computation of restricted characters of the symmetric group, for which no algorithm comparable to the Murnaghan--Nakayama rule is currently known. The framework gives direct access to finite-N, finite-coupling dynamics of gauge-invariant states and opens a new computational window on the non-planar regime of holographic matrix models.

Journal reference
JHEP 10 (2026) 048
DOI
10.1007/JHEP10(2026)048
Comments
60 pages, matches published version in JHEP, with corrected typos, an added proof in App. D, clarified numerics and expanded literature comparison

Related papers

Exact lattice bosonization of finite N matrix quantum mechanics and c = 1

Gautam Mandal, Ajay Mohan

A bstract We describe a new exact lattice bosonization of matrix quantum mechanics (equivalently of non-relativistic fermions) that is valid for arbitrary rank N of the matrix. It is based on the exact operator bosonization of non-relativistic fermions introduced earlier in [1]. The trace identities, which characterize finite rank matrices, are automatically incorporated in the bosonic theory. The finite number N of fermions is reflected in the finite number N of bosonic annihilation-creation operators, and equivalently to the finite number N of lattice points. The fermion Hamiltonian is exactly mappable to a bosonic Hamiltonian. At large N , the latter becomes local and corresponds to the lattice version of a relativistic boson Hamiltonian, with a lattice spacing of order 1/ N . The finite lattice spacing leads to a finite entanglement entropy (EE) of the bosonic theory, which reproduces the finite EE of the fermionic theory. Such a description is not available in the standard bosonization in terms of fermion density fluctuations on the Fermi surface, which does not have a built-in short distance cut-off (see, however, a recent description of the finiteness of the fermionic EE in a collective field theory formalism [2]). The bosonic lattice constructed in our work is equipped with a geometry that is determined by the matrix potential or equivalently by the shape of the Fermi surface. Our bosonization also works in the double scaled c = 1 matrix model; in particular the bosonic EE again turns out to be finite, with the short distance cut-off turning into g s l s , and reproduces the matrix result. Once again, this is to be contrasted with the conventional dual 2D string theory, where the bosonic EE is naturally identified with that of the “tachyon”, the massless string mode, where one may imagine the short-distance cut-off to be the string length l s . This appears to indicate our bosonization as a different dual description to the c = 1 matrix model appropriate for “local physics” like quantum entanglement, by contrast with the conventional duality to the eigenvalue density which works well for asymptotic observables like S-matrices. We briefly discuss possible relation of our bosonization to D0 branes.

arXiv:2406.07629•Journal of High Energy Physics•Mar 28, 2025•1 citation

Entanglement in the Quantum Hall Matrix Model

Alexander Frenkel, Sean A. Hartnoll

Abstract Characterizing the entanglement of matrix degrees of freedom is essential for understanding the holographic emergence of spacetime. The Quantum Hall Matrix Model is a gauged U(N ) matrix quantum mechanics with two matrices whose ground state is known exactly and describes an emergent spatial disk with incompressible bulk dynamics. We define and compute an entanglement entropy in the ground state associated to a cut through the disk. There are two contributions. A collective field describing the eigenvalues of one of the matrices gives a gauge-invariant chiral boundary mode leading to an expected logarithmic entanglement entropy. Further, the cut through the bulk splits certain ‘off-diagonal’ matrix elements that must be duplicated and associated to both sides of the cut. Sewing these duplicated modes together in a gauge-invariant way leads to a bulk ‘area law’ contribution to the entanglement entropy. All of these entropies are regularized by finite N.

arXiv:2111.05967•Journal of High Energy Physics•May 20, 2022•16 citations

General quantum algorithms for Hamiltonian simulation with applications to a non-Abelian lattice gauge theory

Zohreh Davoudi, Alexander F. Shaw, Jesse R. Stryker

With a focus on universal quantum computing for quantum simulation, and through the example of lattice gauge theories, we introduce rather general quantum algorithms that can efficiently simulate certain classes of interactions consisting of correlated changes in multiple (bosonic and fermionic) quantum numbers with non-trivial functional coefficients. In particular, we analyze diagonalization of Hamiltonian terms using a singular-value decomposition technique, and discuss how the achieved diagonal unitaries in the digitized time-evolution operator can be implemented. The lattice gauge theory studied is the SU(2) gauge theory in 1+1 dimensions coupled to one flavor of staggered fermions, for which a complete quantum-resource analysis within different computational models is presented. The algorithms are shown to be applicable to higher-dimensional theories as well as to other Abelian and non-Abelian gauge theories. The example chosen further demonstrates the importance of adopting efficient theoretical formulations: it is shown that an explicitly gauge-invariant formulation using loop, string, and hadron degrees of freedom simplifies the algorithms and lowers the cost compared with the standard formulations based on angular-momentum as well as the Schwinger-boson degrees of freedom. The loop-string-hadron formulation further retains the non-Abelian gauge symmetry despite the inexactness of the digitized simulation, without the need for costly controlled operations. Such theoretical and algorithmic considerations are likely to be essential in quantumly simulating other complex theories of relevance to nature.

arXiv:2212.14030•Quantum•Dec 20, 2023•52 citations

Search for efficient formulations for Hamiltonian simulation of non-Abelian lattice gauge theories

Zohreh Davoudi, Indrakshi Raychowdhury, Andrew Shaw

Hamiltonian formulation of lattice gauge theories (LGTs) is the most natural framework for the purpose of quantum simulation, an area of research that is growing with advances in quantum-computing algorithms and hardware. It, therefore, remains an important task to identify the most accurate, while computationally economic, Hamiltonian formulation(s) in such theories, considering the necessary truncation imposed on the Hilbert space of gauge bosons with any finite computing resources. This paper is a first step toward addressing this question in the case of non-Abelian LGTs. Such theories require the imposition of non-Abelian Gauss's laws on the Hilbert space, introducing additional computational complexity. Focusing on the case of SU(2) LGT in $1+1$ dimensions coupled to one flavor of fermionic matter, a number of different formulations of the original Kogut-Susskind framework are analyzed with regard to the dependence of the dimension of the physical Hilbert space on boundary conditions, system size, and the cutoff on the excitations of gauge bosons. The impact of such dependencies on the accuracy of the spectrum and dynamics obtained from a Hamiltonian computation is examined, and the (classical) computational-resource requirements given these considerations are studied. Besides the well-known angular-momentum formulation of the theory, the cases of purely fermionic and purely bosonic formulations (with open boundary conditions) and the loop-string-hadron formulation are analyzed, along with a brief discussion of a quantum-link-model formulation of the same theory. Clear advantages are found in working with the loop-string-hadron framework which implements non-Abelian Gauss's laws a priori using a complete set of gauge-invariant operators. It is argued that the substantially reduced cost of simulation within the loop-string-hadron formulation compared with the angular-momentum basis has implications for more efficient and robust quantum simulations of the same theory. Future studies will extend this investigation to the analysis of resource requirements for quantum simulations of non-Abelian LGT, with the goal of shedding light on the most efficient Hamiltonian formulation of gauge theories of relevance in nature.

arXiv:2009.11802•Physical review. D/Physical review. D.•Oct 7, 2021•125 citations

Hamiltonians and gauge-invariant Hilbert space for lattice Yang-Mills-like theories with finite gauge group

A. Mariani, Sunny Pradhan, Elisa Ercolessi

Motivated by quantum simulation, we consider lattice Hamiltonians for Yang-Mills gauge theories with finite gauge group, for example a finite subgroup of a compact Lie group. We show that the electric Hamiltonian admits an interpretation as a certain natural, nonunique Laplacian operator on the finite Abelian or non-Abelian group and derive some consequences from this fact. Independent of the chosen Hamiltonian, we provide a full explicit description of the physical, gauge-invariant Hilbert space for pure gauge theories and derive a simple formula to compute its dimension. We illustrate the use of the gauge-invariant basis to diagonalize a dihedral gauge theory on a small periodic lattice.

arXiv:2301.12224•Physical review. D/Physical review. D.•Jun 20, 2023•20 citations

Target space entanglement in Matrix Models

Harsha R. Hampapura, Jonathan Harper, Albion Lawrence

Abstract We study target space entanglement in gauged multi-matrix models as models of entanglement between groups of D-branes separated by a planar entangling surface, paying close attention to the implementation of gauge invariance. We open with a review of target space entanglement between identical particles, which shares some important features (specifically a gauged permutation symmetry) with our main problem. For our matrix models, we implement a gauge fixing well-adapted to the entangling surface. In this gauge, we map the matrix model problem to that of entanglement of a U(1) gauge theory on a complete or all-to-all lattice. Matrix elements corresponding to open strings stretching across the entangling surface in the target space lead to interesting contributions to the entanglement entropy.

arXiv:2012.15683•Journal of High Energy Physics•Oct 1, 2021•21 citations
Matrix models appear as fundamental descriptions of M-theory and D-brane dynamics, and via the gauge/gravity duality their gauge-invariant, or singlet, sector describes the purely gravitational degrees of freedom in the holographic dual. We present a new exact algorithm for computing observables of bosonic U(N) matrix models in the gauge-invariant singlet sector. This sector is spanned by an orthogonal basis of Schur polynomials (for a single matrix) and restricted Schur polynomials (for multiple matrices), which diagonalizes the free Hamiltonian and provides a natural truncation of the Hilbert space by excitation number. Matrix elements of the interaction Hamiltonian, or any gauge-invariant observable, are evaluated through a group-theoretic reduction to cosets and double cosets of suitable subgroups of the symmetric group, together with character sums on the symmetric group. The resulting entries are closed-form polynomials in the gauge-group rank N, assembled from group-theoretic data that are precomputed once and can be reused for any N and any coupling constants. We validate the one-matrix implementation against the exact mapping to N non-interacting fermions, demonstrating rapid convergence of the low-lying spectrum with the cutoff. The multi-matrix extension is outlined; its main bottleneck is the computation of restricted characters of the symmetric group, for which no algorithm comparable to the Murnaghan--Nakayama rule is currently known. The framework gives direct access to finite-N, finite-coupling dynamics of gauge-invariant states and opens a new computational window on the non-planar regime of holographic matrix models.
A bstract We describe a new exact lattice bosonization of matrix quantum mechanics (equivalently of non-relativistic fermions) that is valid for arbitrary rank N of the matrix. It is based on the exact operator bosonization of non-relativistic fermions introduced earlier in [1]. The trace identities, which characterize finite rank matrices, are automatically incorporated in the bosonic theory. The finite number N of fermions is reflected in the finite number N of bosonic annihilation-creation operators, and equivalently to the finite number N of lattice points. The fermion Hamiltonian is exactly mappable to a bosonic Hamiltonian. At large N , the latter becomes local and corresponds to the lattice version of a relativistic boson Hamiltonian, with a lattice spacing of order 1/ N . The finite lattice spacing leads to a finite entanglement entropy (EE) of the bosonic theory, which reproduces the finite EE of the fermionic theory. Such a description is not available in the standard bosonization in terms of fermion density fluctuations on the Fermi surface, which does not have a built-in short distance cut-off (see, however, a recent description of the finiteness of the fermionic EE in a collective field theory formalism [2]). The bosonic lattice constructed in our work is equipped with a geometry that is determined by the matrix potential or equivalently by the shape of the Fermi surface. Our bosonization also works in the double scaled c = 1 matrix model; in particular the bosonic EE again turns out to be finite, with the short distance cut-off turning into g s l s , and reproduces the matrix result. Once again, this is to be contrasted with the conventional dual 2D string theory, where the bosonic EE is naturally identified with that of the “tachyon”, the massless string mode, where one may imagine the short-distance cut-off to be the string length l s . This appears to indicate our bosonization as a different dual description to the c = 1 matrix model appropriate for “local physics” like quantum entanglement, by contrast with the conventional duality to the eigenvalue density which works well for asymptotic observables like S-matrices. We briefly discuss possible relation of our bosonization to D0 branes.
Abstract Characterizing the entanglement of matrix degrees of freedom is essential for understanding the holographic emergence of spacetime. The Quantum Hall Matrix Model is a gauged U(N ) matrix quantum mechanics with two matrices whose ground state is known exactly and describes an emergent spatial disk with incompressible bulk dynamics. We define and compute an entanglement entropy in the ground state associated to a cut through the disk. There are two contributions. A collective field describing the eigenvalues of one of the matrices gives a gauge-invariant chiral boundary mode leading to an expected logarithmic entanglement entropy. Further, the cut through the bulk splits certain ‘off-diagonal’ matrix elements that must be duplicated and associated to both sides of the cut. Sewing these duplicated modes together in a gauge-invariant way leads to a bulk ‘area law’ contribution to the entanglement entropy. All of these entropies are regularized by finite N.
With a focus on universal quantum computing for quantum simulation, and through the example of lattice gauge theories, we introduce rather general quantum algorithms that can efficiently simulate certain classes of interactions consisting of correlated changes in multiple (bosonic and fermionic) quantum numbers with non-trivial functional coefficients. In particular, we analyze diagonalization of Hamiltonian terms using a singular-value decomposition technique, and discuss how the achieved diagonal unitaries in the digitized time-evolution operator can be implemented. The lattice gauge theory studied is the SU(2) gauge theory in 1+1 dimensions coupled to one flavor of staggered fermions, for which a complete quantum-resource analysis within different computational models is presented. The algorithms are shown to be applicable to higher-dimensional theories as well as to other Abelian and non-Abelian gauge theories. The example chosen further demonstrates the importance of adopting efficient theoretical formulations: it is shown that an explicitly gauge-invariant formulation using loop, string, and hadron degrees of freedom simplifies the algorithms and lowers the cost compared with the standard formulations based on angular-momentum as well as the Schwinger-boson degrees of freedom. The loop-string-hadron formulation further retains the non-Abelian gauge symmetry despite the inexactness of the digitized simulation, without the need for costly controlled operations. Such theoretical and algorithmic considerations are likely to be essential in quantumly simulating other complex theories of relevance to nature.
Hamiltonian formulation of lattice gauge theories (LGTs) is the most natural framework for the purpose of quantum simulation, an area of research that is growing with advances in quantum-computing algorithms and hardware. It, therefore, remains an important task to identify the most accurate, while computationally economic, Hamiltonian formulation(s) in such theories, considering the necessary truncation imposed on the Hilbert space of gauge bosons with any finite computing resources. This paper is a first step toward addressing this question in the case of non-Abelian LGTs. Such theories require the imposition of non-Abelian Gauss's laws on the Hilbert space, introducing additional computational complexity. Focusing on the case of SU(2) LGT in 1+11+11+1 dimensions coupled to one flavor of fermionic matter, a number of different formulations of the original Kogut-Susskind framework are analyzed with regard to the dependence of the dimension of the physical Hilbert space on boundary conditions, system size, and the cutoff on the excitations of gauge bosons. The impact of such dependencies on the accuracy of the spectrum and dynamics obtained from a Hamiltonian computation is examined, and the (classical) computational-resource requirements given these considerations are studied. Besides the well-known angular-momentum formulation of the theory, the cases of purely fermionic and purely bosonic formulations (with open boundary conditions) and the loop-string-hadron formulation are analyzed, along with a brief discussion of a quantum-link-model formulation of the same theory. Clear advantages are found in working with the loop-string-hadron framework which implements non-Abelian Gauss's laws a priori using a complete set of gauge-invariant operators. It is argued that the substantially reduced cost of simulation within the loop-string-hadron formulation compared with the angular-momentum basis has implications for more efficient and robust quantum simulations of the same theory. Future studies will extend this investigation to the analysis of resource requirements for quantum simulations of non-Abelian LGT, with the goal of shedding light on the most efficient Hamiltonian formulation of gauge theories of relevance in nature.
Motivated by quantum simulation, we consider lattice Hamiltonians for Yang-Mills gauge theories with finite gauge group, for example a finite subgroup of a compact Lie group. We show that the electric Hamiltonian admits an interpretation as a certain natural, nonunique Laplacian operator on the finite Abelian or non-Abelian group and derive some consequences from this fact. Independent of the chosen Hamiltonian, we provide a full explicit description of the physical, gauge-invariant Hilbert space for pure gauge theories and derive a simple formula to compute its dimension. We illustrate the use of the gauge-invariant basis to diagonalize a dihedral gauge theory on a small periodic lattice.
Abstract We study target space entanglement in gauged multi-matrix models as models of entanglement between groups of D-branes separated by a planar entangling surface, paying close attention to the implementation of gauge invariance. We open with a review of target space entanglement between identical particles, which shares some important features (specifically a gauged permutation symmetry) with our main problem. For our matrix models, we implement a gauge fixing well-adapted to the entangling surface. In this gauge, we map the matrix model problem to that of entanglement of a U(1) gauge theory on a complete or all-to-all lattice. Matrix elements corresponding to open strings stretching across the entangling surface in the target space lead to interesting contributions to the entanglement entropy.