Recognition: no theorem link
Fermionic trace relations and supersymmetric indices at finite N
Pith reviewed 2026-05-11 01:51 UTC · model grok-4.3
The pith
A 1/4-BPS supersymmetric index in N=4 SYM theory is independent of the rank N.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
For the simple model involving one fermion and one derivative that corresponds to a 1/4-BPS supersymmetric index in N=4 SYM theory, the index is independent of N. This rank-independence is proved analytically and arises from exact cancellations between bosonic and fermionic trace relations.
What carries the argument
Cancellations between bosonic trace relations and the new fermionic trace relations generated by the vanishing of the 2N-th power of a Grassmann matrix.
If this is right
- The value of the index computed at large N continues to hold at every finite N.
- Analogues of the polarized Cayley-Hamilton identities and the Second Fundamental Theorem of invariants exist for models containing Grassmann matrices.
- Smooth and singular limits of the most general supersymmetric index in N=4 SYM exhibit characteristic patterns when N is varied.
Where Pith is reading between the lines
- Similar cancellations could simplify finite-N calculations in other supersymmetric models that include fermions.
- The observed rank-independence may extend to higher-BPS sectors or different gauge groups, offering a route to closed-form expressions at any N.
- If the conjectured algebraic structures hold, they would furnish a systematic way to enumerate invariants in mixed bosonic-fermionic matrix models.
Load-bearing premise
The cancellations between bosonic and fermionic trace relations are exact and complete in the one-fermion, one-derivative model.
What would settle it
Explicit computation of the index for two different finite values of N, such as N=2 and N=3, that yields unequal results.
read the original abstract
We study invariants of bosonic and fermionic (Grassmann-valued) matrices under the adjoint action of $U(N)$, weighted by the fermion number. Such models naturally appear as the supersymmetric indices of supersymmetric gauge theories and are captured by $U(N)$ matrix models. We discuss two features of the fermionic models that are qualitatively different from bosonic models. Firstly, the $2N^\text{th}$ power of a Grassmann matrix vanishes, which gives rise to many new trace relations. Secondly, trace relations in models involving fermions could cause an increase in the supersymmetric index as $N$ decreases, in contrast with purely bosonic models. We focus on a simple model involving one fermion and one derivative that corresponds to a $\frac14$-BPS supersymmetric index in $\mathcal{N}=4$ SYM theory, in which we find that the index is independent of $N$. We prove this rank-independence analytically, and experimentally study the cancellations between bosonic and fermionic trace relations that lead to it. Based on these observations, we make some conjectures on resulting algebraic structures, including the analogue of the polarized Cayley-Hamilton identities and the Second Fundamental Theorem of invariants in the presence of Grassmann matrices. Finally, we present various (smooth and singular) limits of the most general supersymmetric index in $\mathcal{N}=4$ SYM theory, and study some patterns in their behavior as a function of $N$.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript examines invariants of bosonic and fermionic (Grassmann-valued) matrices under the U(N) adjoint action, weighted by fermion number, in the context of supersymmetric indices for gauge theories. It identifies qualitative differences from bosonic models, including new trace relations from the nilpotency condition that the 2N-th power of a Grassmann matrix vanishes. For a simple one-fermion, one-derivative model corresponding to the 1/4-BPS index in N=4 SYM, the authors analytically prove that the index is independent of N through exact cancellations between bosonic and fermionic trace relations. They provide experimental verification of these cancellations for small N, conjecture on algebraic structures such as polarized Cayley-Hamilton identities and the Second Fundamental Theorem for Grassmann matrices, and analyze smooth and singular limits of the general N=4 SYM supersymmetric index as a function of N.
Significance. If the central analytical proof holds, the result is significant because it establishes an exact rank-independence for a supersymmetric index, in contrast to bosonic models where the index generally decreases with decreasing N. The demonstration that fermionic trace relations precisely cancel bosonic ones to yield an N-independent generating function provides a concrete algebraic mechanism with potential implications for finite-N effects in N=4 SYM and related matrix models. The conjectures on generalized invariant theory for Grassmann variables and the study of index limits offer new directions for research in supersymmetric gauge theory and algebraic combinatorics.
minor comments (2)
- [Abstract] The abstract and introduction would benefit from an explicit statement of the precise scope of the analytical proof (e.g., which classes of trace relations are included and whether the result extends immediately to multi-fermion models).
- In the experimental section, the description of the numerical checks for small N should specify the range of N values tested and the method used to enumerate independent traces, to allow readers to assess the completeness of the observed cancellation pattern.
Simulated Author's Rebuttal
We thank the referee for their careful and positive summary of our manuscript, for highlighting the significance of the N-independence result, and for recommending minor revision. No specific major comments were raised in the report.
read point-by-point responses
-
Referee: The manuscript examines invariants of bosonic and fermionic (Grassmann-valued) matrices under the U(N) adjoint action, weighted by fermion number, in the context of supersymmetric indices for gauge theories. It identifies qualitative differences from bosonic models, including new trace relations from the nilpotency condition that the 2N-th power of a Grassmann matrix vanishes. For a simple one-fermion, one-derivative model corresponding to the 1/4-BPS index in N=4 SYM, the authors analytically prove that the index is independent of N through exact cancellations between bosonic and fermionic trace relations. They provide experimental verification of these cancellations for small N, conjecture on algebraic structures such as polarized Cayley-Hamilton identities and the Second Fundamental Theorem for Grassmann matrices, and analyze smooth and singular limits of the general N=4 SYM supersy
Authors: We thank the referee for this accurate summary of the manuscript. The description correctly captures the main results, including the analytical proof of N-independence for the one-fermion model and the conjectures on algebraic structures for Grassmann matrices. revision: no
Circularity Check
No significant circularity identified
full rationale
The paper derives the N-independence of the 1/4-BPS index for the one-fermion one-derivative model via an explicit analytical proof: every bosonic trace relation is cancelled by a corresponding fermionic relation generated by the nilpotency condition (the 2N-th power of the Grassmann matrix vanishes), so the generating function reduces to the same expression independent of N. This follows directly from the algebraic properties of the matrices and the adjoint action, without any fitted parameters, self-definitional loops, or load-bearing self-citations. The experimental checks for small N are presented only as confirmation of the cancellations, not as input to the proof. The central claim is therefore a self-contained mathematical statement derived from the model's defining relations.
Axiom & Free-Parameter Ledger
axioms (2)
- standard math An N by N Grassmann matrix satisfies M^{2N} = 0.
- domain assumption The one-fermion one-derivative matrix model corresponds to the 1/4-BPS supersymmetric index of N=4 SYM.
Reference graph
Works this paper leans on
- [1]
-
[2]
C. De Concini and C. Procesi,The Invariant Theory of Matrices, vol. 69 ofUniversity Lecture Series. American Mathematical Society, Providence, RI, 2017
work page 2017
-
[3]
The Hagedorn Transition, Deconfinement and N=4 SYM Theory
B. Sundborg,The hagedorn transition, deconfinement andN= 4SYM theory,Nucl. Phys. B 573(2000) 349–363, [hep-th/9908001]
work page Pith review arXiv 2000
- [4]
-
[5]
The Hagedorn/Deconfinement Phase Transition in Weakly Coupled Large N Gauge Theories
O. Aharony, J. Marsano, S. Minwalla, K. Papadodimas and M. Van Raamsdonk,The Hagedorn - deconfinement phase transition in weakly coupled large N gauge theories,Adv. Theor. Math. Phys.8(2004) 603–696, [hep-th/0310285]
work page Pith review arXiv 2004
-
[6]
Y. Makeenko and K. Zarembo,Adjoint fermion matrix models,Nucl. Phys. B422(1994) 237–257, [hep-th/9309012]. – 43 –
- [7]
-
[8]
Higher- order BRST and anti-BRST operators and cohomology for compact Lie algebras,
C. Chryssomalakos, J. A. de Azcarraga, A. J. Macfarlane and J. C. Perez Bueno,Higher order BRST and anti-BRST operators and cohomology for compact Lie algebras,J. Math. Phys.40(1999) 6009–6032, [hep-th/9810212]
- [9]
- [10]
-
[11]
Grassmann matrix quantum mechanics,
D. Anninos, F. Denef and R. Monten,Grassmann Matrix Quantum Mechanics,JHEP04 (2016) 138, [1512.03803]
-
[12]
Solvable quantum Grassmann matrices,
D. Anninos and G. A. Silva,Solvable Quantum Grassmann Matrices,J. Stat. Mech.1704 (2017) 043102, [1612.03795]
- [13]
-
[14]
Hagedorn temperature in largeNMajorana quantum mechanics,
G. Gaitan, I. R. Klebanov, K. Pakrouski, P. N. Pallegar and F. K. Popov,Hagedorn Temperature in LargeNMajorana Quantum Mechanics,Phys. Rev. D101(2020) 126002, [2002.02066]
-
[15]
J. Troost,Lie Algebra Fermions,J. Phys. A53(2020) 425401, [2004.01055]
- [16]
-
[17]
C. Chevalley and S. Eilenberg,Cohomology Theory of Lie Groups and Lie Algebras,Trans. Am. Math. Soc.63(1948) 85–124
work page 1948
-
[18]
Koszul,Cohomology Theory of Lie Groups and Lie Algebras,Trans
J.-L. Koszul,Cohomology Theory of Lie Groups and Lie Algebras,Trans. Am. Math. Soc.63 (1948) 85–124
work page 1948
-
[19]
Kostant,Eigenvalues of a laplacian and commutative lie subalgebras,Topology3(1965) 147–159
B. Kostant,Eigenvalues of a laplacian and commutative lie subalgebras,Topology3(1965) 147–159
work page 1965
-
[20]
Berele,Trace identities andZ/2Z-graded invariants,Trans
A. Berele,Trace identities andZ/2Z-graded invariants,Trans. Amer. Math. Soc.309(1988) 581–589
work page 1988
-
[21]
Itoh,Twisted immanant and matrices with anticommuting entries, 2015
M. Itoh,Twisted immanant and matrices with anticommuting entries, 2015
work page 2015
-
[22]
Berele,Invariant theory for matrices over the grassmann algebra,Adv
A. Berele,Invariant theory for matrices over the grassmann algebra,Adv. Math.237(2013) 33–61
work page 2013
-
[23]
Y. P. Razmyslov,Trace identities of full matrix algebras over a field of characteristic zero, Math. USSR Izv.8(1974) 727–760
work page 1974
-
[24]
Procesi,The invariant theory ofn×nmatrices,Adv
C. Procesi,The invariant theory ofn×nmatrices,Adv. Math.19(1976) 306–381
work page 1976
-
[25]
Counting chiral primaries in N = 1, d=4 superconformal field theories,
C. Romelsberger,Counting chiral primaries inN= 1,d= 4superconformal field theories, Nucl. Phys. B747(2006) 329–353, [hep-th/0510060]
-
[26]
An Index for 4 dimensional super conformal theories,
J. Kinney, J. M. Maldacena, S. Minwalla and S. Raju,An Index for 4 dimensional super conformal theories,Commun. Math. Phys.275(2007) 209–254, [hep-th/0510251]
-
[27]
Teranishi,The ring of invariants of matrices,Nagoya Math
Y. Teranishi,The ring of invariants of matrices,Nagoya Math. J.104(1986) 149–161
work page 1986
-
[28]
Pouliot,Molien function for duality,JHEP01(1999) 021, [hep-th/9812015]
P. Pouliot,Molien function for duality,JHEP01(1999) 021, [hep-th/9812015]. – 44 –
-
[29]
S. Benvenuti, B. Feng, A. Hanany and Y.-H. He,Counting BPS operators in gauge theories: Quivers, syzygies and plethystics,JHEP11(2007) 050, [hep-th/0608050]
- [30]
-
[31]
Murthy,Unitary matrix models, free fermion ensembles, and the giant graviton expansion, Pure Appl
S. Murthy,Unitary matrix models, free fermion ensembles, and the giant graviton expansion, Pure Appl. Math. Q.19(2023) 299–340, [2202.06897]
-
[32]
Rosselló,Finite-Nholography and the giant graviton expansion,Int
M. Rosselló,Finite-Nholography and the giant graviton expansion,Int. J. Mod. Phys. A41 (2026) 2648002
work page 2026
-
[33]
Murthy,The growth of the1/16-bps index in 4dN= 4SYM,Phys
S. Murthy,The growth of the1/16-bps index in 4dN= 4SYM,Phys. Rev. D105(2022) L021903, [2005.10843]
-
[34]
C.-M. Chang and Y.-H. Lin,Holographic covering and the fortuity of black holes, 2, 2024
work page 2024
- [35]
-
[36]
BPS spectra of $\operatorname{tr}[\Psi^p]$ matrix models for odd $p$
M. Tierz,BPS spectra oftr[Y p]matrix models for oddp,2604.27164
work page internal anchor Pith review Pith/arXiv arXiv
-
[37]
S. Ramgoolam,Permutations and the combinatorics of gauge invariants for general N,PoS CORFU2015(2016) 107, [1605.00843]
-
[38]
R. de Mello Koch and A. Jevicki,Hilbert space of finite N multi-matrix models,JHEP11 (2025) 145, [2508.11986]
-
[39]
P. Caputa and R. de Mello Koch,Gauge invariants at arbitrary N and trace relations,JHEP 12(2025) 165, [2509.05834]
-
[40]
Chord diagrams, exact correlators in spin glasses and black hole bulk reconstruction
M. Berkooz, P. Narayan and J. Simon,Chord diagrams, exact correlators in spin glasses and black hole bulk reconstruction,JHEP08(2018) 192, [1806.04380]
work page Pith review arXiv 2018
-
[41]
Towards a full solution of the large N double-scaled SYK model
M. Berkooz, M. Isachenkov, V. Narovlansky and G. Torrents,Towards a full solution of the largeNdouble-scaled SYK model,JHEP03(2019) 079, [1811.02584]
work page Pith review arXiv 2019
-
[42]
D. Gaiotto and H. Verlinde,SYK-Schur duality: double scaled SYK correlators fromN= 2 supersymmetric gauge theory,JHEP06(2025) 163, [2409.11551]
-
[43]
Procesi,Lie Groups: An Approach through Invariants and Representations
C. Procesi,Lie Groups: An Approach through Invariants and Representations. Universitext. Springer, New York, 2007. 10.1007/978-0-387-28929-8
-
[44]
Eleftheriou,A Holographic exploration of Superconformal Indices
G. Eleftheriou,A Holographic exploration of Superconformal Indices. PhD thesis, King’s Coll. London, 2025
work page 2025
- [45]
-
[46]
R. Arai and Y. Imamura,FiniteNCorrections to the Superconformal Index of S-fold Theories,PTEP2019(2019) 083B04, [1904.09776]
-
[47]
P. Agarwal, S. Choi, J. Kim, S. Kim and J. Nahmgoong,AdS black holes and finiteN indices,Phys. Rev. D103(2021) 126006, [2005.11240]
-
[48]
D. Gaiotto and J. H. Lee,The giant graviton expansion,JHEP08(2024) 025, [2109.02545]
- [49]
- [50]
-
[51]
R. de Mello Koch and A. Jevicki,Structure of loop space at finiteN,JHEP06(2025) 011, [2503.20097]
- [52]
-
[53]
A. S. Amitsur and J. Levitzki,Minimal identities for algebras,Proc. Amer. Math. Soc.1 (1950) 449–463
work page 1950
-
[54]
Procesi,On the theorem of amitsur–levitzki,Israel J
C. Procesi,On the theorem of amitsur–levitzki,Israel J. Math.207(2015) 151–154, [1308.2421]
-
[55]
I. G. Macdonald,Symmetric Functions and Hall Polynomials. Oxford Mathematical Monographs. Oxford University Press, 2 ed., 1995
work page 1995
-
[56]
G. James and A. Kerber,The Representation Theory of the Symmetric Group, vol. 16 of Encyclopedia of Mathematics and its Applications. Addison-Wesley, Reading, Massachusetts, 1981
work page 1981
-
[57]
D. Zagier,The dilogarithm function, inFrontiers in Number Theory, Physics, and Geometry II: On Conformal Field Theories, Discrete Groups and Renormalization(P. Cartier, P. Moussa, B. Julia and P. Vanhove, eds.), pp. 3–65. Springer Berlin Heidelberg, Berlin, Heidelberg, 2007. DOI
work page 2007
-
[58]
Budzik,Supergroup Invariants and the Brane/Negative Brane Expansion,2509.20451
K. Budzik,Supergroup Invariants and the Brane/Negative Brane Expansion,2509.20451
-
[59]
The giant graviton expansion in AdS5×S5,
G. Eleftheriou, S. Murthy and M. Rosselló,The giant graviton expansion inAdS5 ×S 5, SciPost Phys.17(2024) 098, [2312.14921]
-
[60]
G. Eleftheriou, S. Murthy and M. Rosselló,Localization and wall-crossing of giant graviton expansions in AdS5,JHEP07(2025) 126, [2501.13910]
-
[61]
D. Zeilberger and D. M. Bressoud,A proof of andrews’q-dyson conjecture,Discrete Math.54 (1985) 201–224
work page 1985
-
[62]
D. M. Bressoud and I. P. Goulden,Constant term identities extending theq-dyson theorem, Trans. Amer. Math. Soc.291(1985) 203–228
work page 1985
-
[63]
Zagier,Applications of the Representation Theory of Finite Groups, vol
D. Zagier,Applications of the Representation Theory of Finite Groups, vol. 141 of Encyclopaedia of Mathematical Sciences, pp. 399–427. Springer-Verlag, Berlin, Heidelberg, 2004
work page 2004
-
[64]
Regev,Sign trace identities,Linear and Multilinear Algebra21(1987) 1–28
A. Regev,Sign trace identities,Linear and Multilinear Algebra21(1987) 1–28
work page 1987
-
[65]
A. Berele,Invariant theory and trace identities associated with Lie color algebras,Journal of Algebra310(2007) 194–206
work page 2007
-
[66]
Y. Zhang,The first and second fundamental theorems of invariant theory for the quantum general linear supergroup,Journal of Pure and Applied Algebra224(2020) 106411
work page 2020
- [67]
-
[68]
K. Nakamoto,The structure of the invariant ring of two matrices of degree 3,Journal of Pure and Applied Algebra166(2002) 125–148
work page 2002
-
[69]
V. Drensky and L. Sadikova,Generators of invariants of two4×4matrices,C. R. Acad. Bulgare Sci.59(2006) 477–484, [math/0503146]
-
[70]
H. Aslaksen, V. Drensky and L. Sadikova,Defining relations of invariants of two3×3 matrices,J. Algebra298(2006) 41–57, [math/0405389]. – 46 –
-
[71]
F. Benanti and V. Drensky,Defining relations of minimal degree of the trace algebra of3×3 matrices,J. Algebra320(2008) 756–782, [math/0701609]
-
[72]
V. Drensky and R. La Scala,Defining relations of low degree of invariants of two4×4 matrices,Int. J. Algebra Comput.19(2009) 107–127, [0708.3583]
- [73]
-
[74]
Hoge,A presentation of the trace algebra of three3×3matrices,Journal of Algebra358 (2012) 257–268
T. Hoge,A presentation of the trace algebra of three3×3matrices,Journal of Algebra358 (2012) 257–268
work page 2012
-
[75]
H. Derksen and V. Makam,Polynomial degree bounds for matrix semi-invariants,Adv. Math. 310(2017) 44–63, [1512.03393]
-
[76]
Berele,GL n-invariant functions onMn(G),Turkish J
A. Berele,GL n-invariant functions onMn(G),Turkish J. Math.46(2022) 1667–1673
work page 2022
-
[77]
X. García-Martínez, Z. Normatov and R. Turdibaev,The ring of invariants of pairs of3×3 matrices,Journal of Algebra603(2022) 201–212
work page 2022
-
[78]
F. Eshmatov, X. García-Martínez and R. Turdibaev,Noncommutative poisson structure and invariants of matrices,Advances in Mathematics469(2025) 110212
work page 2025
- [79]
-
[80]
G. E. Andrews and K. Eriksson,Integer Partitions. Cambridge University Press, Cambridge, 2004. – 47 –
work page 2004
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.