⚛️ high-energy theory

Finite $N$ black hole cohomologies

This paper investigates finite $N$ cohomologies of BPS operators in $\mathcal{N}=4$ $SU(3)$ and $SU(4)$ Yang-Mills theory to elucidate black hole microstates, explicitly constructing threshold cohomologies and demonstrating black hole-like entropy growth within the BMN matrix theory subsector.

Original authors: Jaehyeok Choi, Sunjin Choi, Seok Kim, Jehyun Lee, Siyul Lee

Published 2026-10-16

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Jaehyeok Choi, Sunjin Choi, Seok Kim, Jehyun Lee, Siyul Lee

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

In the deepest corners of theoretical physics, scientists are trying to solve a puzzle that has haunted them for decades: what is a black hole made of? We know that black holes have entropy, a measure of how many different ways their internal parts can be arranged. But when physicists try to count these internal arrangements, or microstates, using the laws of quantum mechanics, the numbers often do not add up. The theory suggests there should be far more ways to build a black hole than the equations seem to allow. This gap between expectation and calculation is one of the central problems in understanding how gravity and quantum mechanics fit together. To bridge this gap, researchers study a specific type of black hole that does not change over time, known as a BPS black hole. These objects are stable and easier to analyze because they preserve certain symmetries, acting as a controlled laboratory for testing the rules of the universe. The goal is to find the exact quantum states that make up these objects, essentially listing the ingredients of a black hole to see if the total count matches the entropy we observe.

A team of researchers has taken a significant step toward this goal by investigating the mathematical structures that describe these stable black holes in a simplified version of the universe. They focused on a theory involving a specific number of dimensions and a particular type of symmetry, looking for new kinds of quantum states that had not been seen before. In this field, most known states are like simple clouds of particles, often called gravitons, which are the carriers of gravity. However, the researchers suspected that the true building blocks of a black hole are more complex, forming a dense, tangled core that cannot be described as a simple cloud. Their work involved a massive computational effort to sift through millions of possible combinations of fields, searching for the rare states that survive the strict rules of quantum mechanics and represent the actual black hole.

The team began by narrowing their search to a specific sector of the theory where the calculations are more manageable, effectively turning a four-dimensional problem into a simpler one-dimensional model. Even within this simplified setting, the number of possible combinations is staggering. They first calculated a mathematical "index," which acts like a census, counting the difference between two types of states to reveal how many unique, non-graviton states exist. For a system with three types of fundamental fields, they found a distinct threshold where new, complex states first appear. At this specific energy level, they identified a single, unique fermionic state—a type of quantum object that behaves like matter rather than force—that serves as the lightest possible black hole in this theory. This discovery confirmed that these complex states exist and provided a concrete starting point for understanding their structure.

To prove that this state was real and not just a mathematical artifact, the researchers had to construct it explicitly. This required finding a specific arrangement of fields that remained unchanged when acted upon by the theory's symmetry operations, a condition known as being "closed." However, unlike the simple graviton states, this black hole state only remained stable because of the finite size of the system, which imposes strict rules on how the fields can interact. The team developed a clever method to guess the form of these states by looking for patterns in the rules that govern the system. They found that certain combinations of fields, which would normally cancel each other out, could be arranged to form a stable object only when the specific constraints of the system were applied. After constructing this candidate, they used a computer-assisted approach to verify that it was indeed a unique, stable state and not something that could be broken down into simpler parts.

The results revealed a surprising level of organization in the spectrum of these black hole states. Instead of a chaotic jumble, the researchers found that the states form distinct towers, rising in energy in a regular pattern. They also observed a phenomenon they call "partial no-hair behavior." In classical physics, the no-hair theorem states that a black hole is defined only by its mass, charge, and spin, with no other details visible from the outside. In this quantum study, the researchers found that while some simple combinations of black hole cores and surrounding particles are allowed, many others are forbidden. It is as if the black hole core refuses to be dressed in certain types of "hair," or surrounding particles, suggesting a deep, hidden rule that prevents the black hole from becoming too complicated. This behavior was seen in the three-field system, and the team also found evidence of similar, though more complex, structures in a four-field system.

The study also highlighted the difficulty of scaling these findings to the larger systems that would describe real astrophysical black holes. While the researchers successfully mapped out the states for systems with three and four types of fields, the complexity grows so rapidly that they could not compute the full picture for larger systems. They noted that the energy required to create these black hole states increases as the system gets larger, which is consistent with the idea that the simple description of gravity breaks down at high energies. The work provides a clear, concrete example of how black hole microstates are constructed and how they differ from simple particles. By identifying the lightest possible black hole state and mapping out the towers of states that follow, the researchers have provided a new, detailed view of the quantum landscape of gravity, offering a solid foundation for future attempts to understand the full nature of black holes in our universe.

Technical Summary: Finite N Black Hole Cohomologies

Problem Statement
The central problem addressed is the microscopic characterization of BPS black hole microstates in $\mathcal{N}=4$ Super-Yang-Mills (SYM) theory with $SU(N)$ gauge groups, specifically for $N > 2$ . While the entropy of BPS black holes in $AdS_5$ has been successfully counted via the superconformal index in the large $N$ limit, explicitly constructing the corresponding quantum states at strong coupling remains difficult. Previous work established a program to study 1-loop BPS states via $Q$ -cohomologies, successfully identifying new non-graviton (black hole) cohomologies for the $SU(2)$ theory. This paper extends that program to $SU(3)$ and $SU(4)$ to better understand the structure of the BPS spectrum and the emergence of black hole-like entropy at finite $N$ .

Methodology
The authors focus on a specific quantum mechanical subsector of the theory known as the BMN matrix model. This sector is defined by operators constructed from three scalars ( $\bar{\phi}_m$ ), three fermions ( $\psi_{m+}$ ), and one component of the field strength ( $f_{++}$ ), without derivatives. This truncation simplifies computations while retaining black hole-like entropy growth at large $N$ .

The methodology proceeds in three main stages:

Index Computation and Graviton Subtraction:
- The authors compute the full index over the BMN sector for finite $N$ using a matrix integral formula.
- To isolate "black hole" cohomologies (non-graviton states), they must subtract the contribution of "graviton" cohomologies (multi-graviton states).
- Counting finite $N$ $N$ gravitons is non-trivial due to trace relations among $N \times N$ $N \times N$ matrices (the stringy exclusion principle). The authors employ a hybrid strategy:
  - Eigenvalue Counting: Reducing the problem to counting polynomials of eigenvalues.
  - Gröbner Basis: Using computer algebra (Singular) to find the Gröbner basis of trace relations to count independent polynomials. Due to computational complexity for full $SU(3)$ and $SU(4)$ sectors, they use a hybrid approach: finding the Gröbner basis for subsectors (e.g., excluding the field strength $f$ ) and then performing "brute force" counting of independent polynomials order-by-order in charges for the full sector.
Construction of Cohomologies (Ansatz):
- To construct explicit operators, the authors utilize the trace relations identified during the index calculation.
- They propose an ansatz where operators become $Q$ -closed only after imposing trace relations. This relies on "relations of relations" (identities among trace relations). If a linear combination of trace relations (weighted by graviton cohomologies) vanishes identically, one can construct a $Q$ -closed operator by acting with the supercharge on the corresponding "pre-image" operators.
- This generates a set of candidate $Q$ -closed operators.
Verification of Non-Triviality (Q-exactness Checks):
- Determining whether these candidates are $Q$ -exact (trivial) or represent new cohomologies is computationally demanding.
- The authors develop a numerics-assisted approach:
  - They order Grassmann variables to handle anticommutation.
  - They substitute matrix elements with random integers to convert polynomials into vectors.
  - By analyzing the linear dependence of these vectors, they determine if a target operator lies in the image of $Q$ .
- This method allows them to check $Q$ -exactness for operators with a large number of variables where standard coefficient matrix extraction is infeasible.

Key Results

Threshold Levels:
- For $SU(3)$ , the index detects a single fermionic threshold cohomology at charges $R_1=R_2=R_3$ , $J_1=J_2$ , with total charge $j \equiv 2(R_1+R_2+R_3) + 6J = 24$ . The explicit construction yields a scaling dimension $E = 21/2$ .
- For $SU(4)$ , the index detects six fermionic threshold cohomologies at $j=28$ in the $[2,0]$ representation of $SU(3) \subset SO(6)$ . The authors explicitly note that they did not construct these cohomologies, only detecting the threshold level via the index.
- The apparent threshold levels for $j$ at $N=2, 3, 4$ form the sequence $24, 24, 28$, suggesting an increase in the energy threshold for non-graviton operators as $N$ increases.
Explicit Construction for $SU(3)$ :
- The authors explicitly construct the threshold cohomology for $SU(3)$ at $j=24$ . It is a fermionic singlet under $SU(3) \subset SU(4)_R$ with charges $(R, J) = (5/2, 3/2)$ .
- They prove that within the $SU(3)$ singlet sector at $j=24$ , restricted to operators satisfying specific cyclic permutation properties (which encompass all SU(3) singlets), only this specific operator is non- $Q$ -exact. All other candidates constructed via their ansatz in this sector are $Q$ -exact.
Spectral Structures and "No-Hair" Behavior:
- Towers of States: Unlike the $SU(2)$ case which showed a single tower, the $SU(3)$ non-graviton index (computed up to $j=54$ ) reveals multiple towers of states starting at different levels. Some towers appear to be related hierarchically.
- Partial No-Hair Theorem: The index exhibits "partial no-hair" behavior. Many product states formed by multiplying core black hole cohomologies with graviton cohomologies are absent from the index. In $SU(2)$ , such missing states were shown to be $Q$ -exact. For $SU(3)$ , the authors conjecture that certain graviton "hairs" (specifically $w_2$ ) are allowed, while others (like certain $w_3$ combinations) may be restricted or $Q$ -exact, suggesting a more delicate no-hair structure than in semiclassical gravity.
- Entropy Growth: The BMN subsector exhibits black hole-like entropy growth $S \sim N^2 f(j/N^2)$ at large $N$ , validating the sector as a useful toy model for small black holes.

Significance and Claims
The paper claims to provide the first explicit construction of non-graviton BPS cohomologies for $N=3$ , while for $N=4$ it identifies the threshold level via the index without explicit construction. By identifying the threshold levels and constructing the $SU(3)$ threshold state, the authors demonstrate that the energy threshold for black hole states increases with $N$ , consistent with the expectation that the graviton description is reliable up to $E \sim N$ .

The authors modestly note that while they have identified "apparent" thresholds (which could be lowered by canceling pairs not seen in the index or states outside the BMN sector), the observed structures (towers, partial no-hair behavior) offer empirical insights into the organization of the BPS spectrum. They suggest these towers might be related to giant graviton expansions or specific subsets of the spectrum, but emphasize that the full large $N$ limit and the exact nature of these states require further construction and analysis. The work establishes streamlined strategies for detecting and constructing these cohomologies, which are computationally demanding but essential for characterizing black hole microstates in gauge theories.

More like this