Eigenvalue systems for integer orthogonal bases of multi-matrix invariants at finite N

Abstract Multi-matrix invariants, and in particular the scalar multi-trace operators of N $$ \mathcal{N} $$ = 4 SYM with U(N) gauge symmetry, can be described using permutation centraliser algebras (PCA), which are generalisations of the symmetric group algebras and independent of N. Free-field two-...

Full description

Saved in:
Bibliographic Details
Main Authors: Adrian Padellaro, Sanjaye Ramgoolam, Ryo Suzuki
Format: Article
Language:English
Published: SpringerOpen 2025-02-01
Series:Journal of High Energy Physics
Subjects:
Online Access:https://doi.org/10.1007/JHEP02(2025)111
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1849768144104587264
author Adrian Padellaro
Sanjaye Ramgoolam
Ryo Suzuki
author_facet Adrian Padellaro
Sanjaye Ramgoolam
Ryo Suzuki
author_sort Adrian Padellaro
collection DOAJ
description Abstract Multi-matrix invariants, and in particular the scalar multi-trace operators of N $$ \mathcal{N} $$ = 4 SYM with U(N) gauge symmetry, can be described using permutation centraliser algebras (PCA), which are generalisations of the symmetric group algebras and independent of N. Free-field two-point functions define an N-dependent inner product on the PCA, and bases of operators have been constructed which are orthogonal at finite N. Two such bases are well-known, the restricted Schur and covariant bases, and both definitions involve representation-theoretic quantities such as Young diagram labels, multiplicity labels, branching and Clebsch-Gordan coefficients for symmetric groups. The explicit computation of these coefficients grows rapidly in complexity as the operator length increases. We develop a new method for explicitly constructing all the operators with specified Young diagram labels, based on an N-independent integer eigensystem formulated in the PCA. The eigensystem construction naturally leads to orthogonal basis elements which are integer linear combinations of the multi-trace operators, and the N-dependence of their norms are simple known dimension factors. We provide examples and give computer codes in SageMath which efficiently implement the construction for operators of classical dimension up to 14. While the restricted Schur basis relies on the Artin-Wedderburn decomposition of symmetric group algebras, the covariant basis relies on a variant which we refer to as the Kronecker decomposition. Analogous decompositions exist for any finite group algebra and the eigenvalue construction of integer orthogonal bases extends to the group algebra of any finite group with rational characters.
format Article
id doaj-art-cd1ecf3c8c3644abb352be4e7fd85d0b
institution DOAJ
issn 1029-8479
language English
publishDate 2025-02-01
publisher SpringerOpen
record_format Article
series Journal of High Energy Physics
spelling doaj-art-cd1ecf3c8c3644abb352be4e7fd85d0b2025-08-20T03:03:55ZengSpringerOpenJournal of High Energy Physics1029-84792025-02-012025217310.1007/JHEP02(2025)111Eigenvalue systems for integer orthogonal bases of multi-matrix invariants at finite NAdrian Padellaro0Sanjaye Ramgoolam1Ryo Suzuki2Faculty of Physics, Bielefeld UniversityCentre for Theoretical Physics, Department of Physics and Astronomy, Queen Mary University of LondonShing-Tung Yau Centre of Southeast UniversityAbstract Multi-matrix invariants, and in particular the scalar multi-trace operators of N $$ \mathcal{N} $$ = 4 SYM with U(N) gauge symmetry, can be described using permutation centraliser algebras (PCA), which are generalisations of the symmetric group algebras and independent of N. Free-field two-point functions define an N-dependent inner product on the PCA, and bases of operators have been constructed which are orthogonal at finite N. Two such bases are well-known, the restricted Schur and covariant bases, and both definitions involve representation-theoretic quantities such as Young diagram labels, multiplicity labels, branching and Clebsch-Gordan coefficients for symmetric groups. The explicit computation of these coefficients grows rapidly in complexity as the operator length increases. We develop a new method for explicitly constructing all the operators with specified Young diagram labels, based on an N-independent integer eigensystem formulated in the PCA. The eigensystem construction naturally leads to orthogonal basis elements which are integer linear combinations of the multi-trace operators, and the N-dependence of their norms are simple known dimension factors. We provide examples and give computer codes in SageMath which efficiently implement the construction for operators of classical dimension up to 14. While the restricted Schur basis relies on the Artin-Wedderburn decomposition of symmetric group algebras, the covariant basis relies on a variant which we refer to as the Kronecker decomposition. Analogous decompositions exist for any finite group algebra and the eigenvalue construction of integer orthogonal bases extends to the group algebra of any finite group with rational characters.https://doi.org/10.1007/JHEP02(2025)1111/N ExpansionAdS-CFT CorrespondenceGauge SymmetryMatrix Models
spellingShingle Adrian Padellaro
Sanjaye Ramgoolam
Ryo Suzuki
Eigenvalue systems for integer orthogonal bases of multi-matrix invariants at finite N
Journal of High Energy Physics
1/N Expansion
AdS-CFT Correspondence
Gauge Symmetry
Matrix Models
title Eigenvalue systems for integer orthogonal bases of multi-matrix invariants at finite N
title_full Eigenvalue systems for integer orthogonal bases of multi-matrix invariants at finite N
title_fullStr Eigenvalue systems for integer orthogonal bases of multi-matrix invariants at finite N
title_full_unstemmed Eigenvalue systems for integer orthogonal bases of multi-matrix invariants at finite N
title_short Eigenvalue systems for integer orthogonal bases of multi-matrix invariants at finite N
title_sort eigenvalue systems for integer orthogonal bases of multi matrix invariants at finite n
topic 1/N Expansion
AdS-CFT Correspondence
Gauge Symmetry
Matrix Models
url https://doi.org/10.1007/JHEP02(2025)111
work_keys_str_mv AT adrianpadellaro eigenvaluesystemsforintegerorthogonalbasesofmultimatrixinvariantsatfiniten
AT sanjayeramgoolam eigenvaluesystemsforintegerorthogonalbasesofmultimatrixinvariantsatfiniten
AT ryosuzuki eigenvaluesystemsforintegerorthogonalbasesofmultimatrixinvariantsatfiniten