Fermionic trace relations and supersymmetric indices at finite $N$

This paper investigates fermionic trace relations and supersymmetric indices at finite $N$ within $U(N)$ matrix models, revealing that Grassmann-valued matrices generate unique trace relations that can cause indices to increase as $N$ decreases, and demonstrates that a specific $\frac{1}{4}$-BPS index in $\mathcal{N}=4$ SYM is independent of $N$ due to cancellations between bosonic and fermionic constraints.

The Gist

Imagine you are a master architect trying to build a structure using a specific set of rules. In the world of theoretical physics, these "structures" are mathematical objects called matrices (grids of numbers), and the "rules" are how they interact with a group called U(N).

This paper explores what happens when you build these structures using two different types of "bricks":

1. Bosonic bricks: These are normal numbers (like 1, 2, 3). They play nicely together.
2. Fermionic bricks: These are "ghostly" numbers (called Grassmann numbers). They have a weird rule: if you try to use the same ghost twice in a row, it vanishes into thin air.

The authors are studying a special counting game called a Supersymmetric Index. Think of this index as a scorecard that counts how many unique, stable structures you can build. The score depends on the size of your toolkit, denoted by N (the rank).

Here is the breakdown of their discoveries in simple terms:

1. The "Ghost" Rule (Fermionic Trace Relations)

In the normal world (bosonic), if you have a matrix of size $N \times N$, you can usually make new, unique structures until you reach a certain complexity. Once you get too complex, the rules say, "Hey, this new structure is actually just a copy of an old one." This is called a trace relation.

However, with fermionic bricks (the ghosts), the rules are much stricter. Because these bricks annihilate themselves when repeated, the "vanishing" happens much earlier than expected.

• The Analogy: Imagine you are stacking blocks. With normal blocks, you can stack them high. With ghost blocks, if you try to stack more than $2N$ layers, the whole tower collapses to zero.
• The Result: This early collapse creates many more rules (relations) that say "these structures are actually the same."

2. The Surprise: Smaller Toolkits Can Be More Powerful

Usually, in physics, if you reduce the size of your toolkit (lower $N$), you have fewer options, so your score (the number of unique structures) goes down. It's like trying to build a castle with fewer Lego bricks; you can't build as many unique castles.

But the authors found a weird exception with fermions. Because the "ghost" rules are so strict, they cancel out certain structures. When you shrink the toolkit, the loss of potential structures is perfectly balanced by the removal of the "ghost" rules that were canceling them out.

• The Analogy: Imagine a crowded room where people are constantly bumping into each other and canceling each other out. If you remove half the people, the remaining people might actually have more space to move around and form unique groups because the "bumping" rules are less restrictive.

3. The "Perfect Balance" Model (The $\partial\psi$ Model)

The authors focused on a specific, simple model involving one type of fermion and one derivative (a mathematical operation). They discovered something magical:

• The Claim: For this specific model, the score (the index) is exactly the same whether you have a tiny toolkit ($N=1$) or a massive one ($N=\infty$).
• Why? It's a perfect dance. Every time the toolkit shrinks and loses a "bosonic" structure, it also loses a "fermionic" structure that was canceling it out. They cancel each other out in pairs, leaving the final count unchanged.
• The Metaphor: It's like a seesaw where the weight on the left (bosons) and the weight on the right (fermions) are perfectly matched. No matter how much you change the length of the seesaw (the rank $N$), it stays perfectly balanced.

4. The "Polarized" Rules

The paper also tries to write down the "rulebook" for these ghostly matrices.

• In normal math, there is a famous rule called the Cayley-Hamilton theorem that tells you when a matrix becomes redundant.
• The authors propose a new, "polarized" version of this rule for mixed systems (bosons and fermions). They suggest that the rules for these mixed systems are generated by a complex dance of permutations (shuffling the order of the bricks), where the order matters because of the "ghost" nature of the fermions.
• They didn't prove this rulebook is 100% complete yet, but their computer experiments show that the data fits this new rulebook perfectly.

5. Why This Matters (According to the Paper)

The authors connect this to Holography (the idea that a 3D universe can be described by a 2D surface).

• In this view, the size of the toolkit ($N$) relates to the strength of gravity.
• The "finite $N$" effects (when $N$ is not infinite) are like quantum corrections to gravity.
• The fact that fermionic trace relations can cause the number of states to behave strangely (or stay constant) suggests that fermions play a crucial role in how black holes and quantum gravity behave at a microscopic level.

Summary

The paper is a deep dive into a mathematical puzzle: How do "ghost" numbers change the rules of building structures?
They found that these ghosts create strict rules that vanish early, leading to a surprising phenomenon where shrinking the system doesn't necessarily reduce the number of unique outcomes. In one specific case, the system is so perfectly balanced that the outcome is completely independent of the system's size. They are now trying to write down the universal laws (theorems) that govern this balancing act.

Technical Summary

Technical Summary: Fermionic Trace Relations and Supersymmetric Indices at Finite N

Problem Statement
The paper investigates the enumeration and classification of invariant functions of $N \times N$ matrices under the adjoint action of $U(N)$, specifically focusing on cases where the matrix elements are Grassmann-valued (fermionic). While the $N=\infty$ limit is well-understood (freely generated by traces of monomials), the finite $N$ regime introduces trace relations that constrain the ring of invariants. The authors aim to characterize two qualitative features of fermionic matrix models that distinguish them from their bosonic counterparts:

1. The emergence of new trace relations due to the nilpotency of Grassmann elements, occurring at powers significantly lower than the standard $N^2$ bound.
2. The non-monotonic behavior of supersymmetric indices with respect to the rank $N$. Unlike bosonic models where trace relations strictly reduce the number of independent invariants as $N$ decreases, fermionic trace relations can lead to an increase in the index magnitude due to cancellations between bosonic and fermionic contributions.

Methodology
The authors employ three complementary methods to study these systems:

1. Direct Enumeration: Explicitly listing gauge-invariant functions (traces) and identifying linear dependencies (trace relations).
2. Matrix Integral Approach: Utilizing the Molien-Weyl formula to express the index $I_N(q)$ as an integral over the $U(N)$ group manifold.
3. Partition Sum Approach: Expressing the index as a sum over partitions of the symmetric group characters, utilizing the orthogonality of Schur functions.

The study focuses on specific models derived from $\mathcal{N}=4$ Super Yang-Mills (SYM) theory, including a "one-fermion" toy model and a "one-fermion-one-derivative" ($\partial\psi$) model corresponding to a $1/4$-BPS index.

Key Contributions and Results

• Vanishing of Fermionic Powers: The authors prove (and re-derive a known result by Amitsur-Levitzki) that for an $N \times N$ matrix $\Psi$ with Grassmann elements, $\Psi^{2N} = 0$. This is a stronger condition than the $N^2+1$ vanishing expected from simple element counting. This identity generates a specific set of trace relations where $\text{tr}(\Psi^k) = 0$ for even $k$, and $(\text{tr}(\Psi^k))^2 = 0$ for all $k$.

• Rank-Invariance of the $1/4$-BPS Index: The central result concerns the $\partial\psi$ model, which involves a single fermion $\psi$ and a derivative $\partial$ (both with charge $L=1$). The single-letter index is $i(q) = -q/(1-q)$.

  • The authors prove analytically that the full index $I_N^{\partial\psi}(q)$ is independent of the rank $N$ for all $N \geq 1$.
  • The proof relies on the matrix integral representation of the index and the q-Dyson theorem (Zeilberger–Bressoud theorem).
  • This implies that the number of new bosonic trace relations appearing as $N$ decreases is exactly canceled by the number of new fermionic trace relations.
  • The authors demonstrate that this specific single-letter index is the unique solution (up to rescaling $q \to q^m$) that satisfies the condition $I_1(q) = I_\infty(q)$.

• New Character Identities: The rank-invariance result leads to non-trivial identities involving the characters of the symmetric group. Specifically, the difference between indices at rank $N$ and $N-1$ vanishes, yielding algebraic identities of the form $\sum_{|\lambda| \geq N} \frac{1}{\Phi_\lambda(q^{-1})} \kappa_N(\lambda) = 0$, where $\kappa_N$ involves sums of squared characters.

• Polarized Cayley-Hamilton Conjectures: The paper proposes generalizations of the Cayley-Hamilton theorem and the Second Fundamental Theorem of invariants for mixed bosonic and fermionic matrices.

  • Conjecture 4.1: A "signed" polarized Cayley-Hamilton theorem exists for mixed matrices, incorporating Koszul signs based on the permutation of fermionic elements.
  • Conjecture 4.2: All trace relations in such systems are generated by these generalized polarized identities.
  • Numerical evidence from the $\partial\psi$ model supports these conjectures, showing a "perfect pairing" of bosonic and fermionic trace relations at every rank and charge, which explains the rank-invariance of the index.

• Patterns in Trace Relations: The authors observe specific patterns in the number of trace relations across different BPS indices ($1/16$-BPS, Schur, $1/4$-BPS, $1/2$-BPS). They define "L-diagonals" in the $(N, \text{charge})$ plane and find that the number of relations stabilizes into constant, linear, or quadratic sequences depending on the amount of supersymmetry preserved. The $1/4$-BPS index exhibits a constant sequence, consistent with its rank-invariance.

Significance and Claims
The paper claims that the study of fermionic matrix invariants reveals a delicate balance between bosonic and fermionic constraints that is absent in purely bosonic systems. The rank-invariance of the $1/4$-BPS index suggests a hidden supersymmetric structure (a supercharge pairing operators and relations) that is not immediately obvious from the $\mathcal{N}=4$ SYM parent theory.

The authors modestly state that while they have identified these patterns and proposed algebraic conjectures (Polarized Cayley-Hamilton for mixed matrices), a formal proof of these conjectures remains an open mathematical problem. They also note that the "black-hole like" growth observed in the $1/16$-BPS index (where the index magnitude increases as $N$ decreases) is likely driven by similar fermionic trace relations, but the structure is too complex to be fully tamed in this work.

Finally, the paper connects the trivial giant graviton expansion of the $\partial\psi$ model (due to rank-invariance) to observables in the double-scaled SYK model, suggesting a potential holographic interpretation where finite-$N$ effects and fermionic trace relations play a crucial role in the emergence of gravitational structures.