⚛️ high-energy theory

Generating Function of single-centered Black Hole Index in CHL Models

This paper constructs the generating function for the single-centered black hole index in general $\mathbb{Z}_N$ CHL models by subtracting the two-centered black hole contribution, derived via bound state metamorphosis, from the quarter BPS dyon index described by a meromorphic Siegel modular form, while proving convergence for the cases $N=2$ and $N=3$ .

Original authors: Ranveer Kumar Singh

Published 2026-06-19

📖 4 min read🧠 Deep dive

CC BY 4.0

Original authors: Ranveer Kumar Singh

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

Imagine the universe as a giant, complex machine made of vibrating strings. In this machine, there are mysterious objects called black holes. Some of these black holes are simple, single-core entities, while others are like unstable couples—two black holes orbiting each other, ready to merge or fly apart depending on the environment.

Physicists want to count exactly how many ways these single-core black holes can exist. This count is called the "index." Knowing this count helps them understand the deep rules of quantum gravity (how gravity works at the tiniest scale).

However, there's a problem. The mathematical tools physicists use to count these black holes are like a noisy radio. When they tune in to count the single black holes, they hear a lot of static caused by the "two-black-hole couples" (bound states). To get the true count of the single black holes, they have to figure out how to subtract the noise.

Here is what this paper does, broken down into simple concepts:

1. The Goal: Cleaning Up the Signal

The author, Ranveer Kumar Singh, is working on a specific type of universe model called a CHL model. Think of these models as different "flavors" of the string theory universe, distinguished by a number $N$ .

The Problem: The standard formula for counting black holes includes both the single black holes and the two-black-hole couples.
The Solution: The paper constructs a new mathematical recipe (a "generating function") that starts with the total count and carefully subtracts the contribution of the two-black-hole couples. The result is a "clean" count of only the single-centered black holes.

2. The Metamorphosis: The Shape-Shifting Trick

To figure out exactly how much of the "noise" (the two-black-hole couples) to subtract, the author uses a concept called Bound State Metamorphosis.

The Analogy: Imagine you have a Lego tower. Sometimes, if you shake the table (change the environment), two separate towers might snap together to form one big tower, or one big tower might split into two.
The Insight: In the world of black holes, a "two-black-hole couple" isn't always distinct. Depending on the math, it can look exactly like a different kind of two-black-hole couple. The paper uses this "shape-shifting" rule to identify every possible way the couples can appear and ensures they are subtracted exactly once, not twice or not at all.

3. The Recipe (The Generating Function)

The paper writes down a massive, complex equation (labeled 1.27 in the text) that acts as the "cleaning machine."

It starts with the messy total count.
It subtracts a series of terms that represent the two-black-hole couples.
It uses special "switches" (called Heaviside functions) that turn on or off depending on the specific conditions of the universe, ensuring the subtraction only happens when the couples actually exist.

4. The Proof: Does the Recipe Work?

Writing down a complex recipe is easy; proving it actually works is hard. The author had to prove that this infinite series of subtractions doesn't blow up or give nonsense answers.

The Success: The author successfully proved that for specific "flavors" of the universe where $N=2$ and $N=3$ , the recipe converges. This means the infinite list of subtractions adds up to a stable, finite, and correct number.
The Limit: For more complex universes where $N$ is 4 or higher, the proof gets stuck. The "walls" that separate the different states of the universe become infinite in number, making the math much harder to tame. The author admits that new mathematical tools will be needed to solve this for higher numbers.

5. The Result: A Perfectly Symmetric Count

The final result is a mathematical object that:

Counts correctly: It gives the exact number of single black holes.
Is robust: It doesn't matter how you look at the universe (mathematically speaking); the count remains consistent.
Is meromorphic: It behaves nicely in the mathematical sense, having specific "poles" (places where it goes to infinity) that perfectly match the expected behavior of black hole physics.

Summary

In short, this paper provides a new, precise mathematical tool to count single black holes in specific string theory models. It does this by taking a messy total count and using the physics of "shape-shifting" black hole pairs to subtract the noise. The author proved this tool works perfectly for two specific types of models ( $N=2$ and $N=3$ ), paving the way for understanding the fundamental building blocks of our universe, though the job isn't finished for all possible models yet.

Technical Summary: Generating Function of Single-Centered Black Hole Index in CHL Models

Problem Statement
In the context of 4d $N=4$ supersymmetric compactifications of string theory, specifically CHL models obtained by orbifolding type II string theory on $M \times T^2$ with a $\mathbb{Z}_N$ symmetry, a central challenge is the precise counting of microstates for single-centered black holes. The total BPS index, $d(m, n, \ell)$ , for quarter BPS dyons is known to be given by the Fourier coefficients of the inverse of a Siegel modular form, $\Phi_k^{-1}(\Omega)$ . However, this total index includes contributions from both single-centered black holes and two-centered black hole bound states. The latter are sensitive to walls of marginal stability, causing the index to jump as moduli cross these walls. To test quantum gravity via the matching of black hole entropy, one requires the index of single-centered black holes, $d^*(m, n, \ell)$ , which is insensitive to these walls. While the generating function for single-centered degeneracies was constructed for the specific case of $N=1$ (corresponding to $M=K3$ ) in prior work [24], a general construction for arbitrary $\mathbb{Z}_N$ CHL models was lacking. Furthermore, previous approaches using mock Jacobi forms suffered from limitations, including the inclusion of unphysical negative discriminant states and a lack of manifest S-duality invariance.

Methodology
The paper constructs the generating function for single-centered black hole indices, denoted $\tilde{F}_k(\Omega)$ , by systematically subtracting the contributions of two-centered black holes from the total index generating function $\Phi_k^{-1}(\Omega)$ . The methodology relies on the physical principle of "bound state metamorphosis" (BSM), which identifies physically equivalent bound states across different chambers of the moduli space.

Decomposition of the Total Index: The authors start with the partition function $\Phi_k^{-1}(\Omega)$ , which possesses double poles on hypersurfaces defined by $n_2(\tau\sigma - z^2) - m_1\tau + n_1\sigma + jz + m_2 = 0$ . These poles correspond to walls of marginal stability where two-centered black holes appear or disappear.
Identification of Two-Centered Contributions: Using the BSM rules, the authors identify the specific bound states of half-BPS states that contribute to the index in a given chamber. These contributions are associated with the residues of the poles of $\Phi_k^{-1}$ .
Subtraction Scheme: The generating function $\tilde{F}_k(\Omega)$ is defined as the difference between the total index and the sum of two-centered contributions. The two-centered contributions are expressed as sums over the group $P\Gamma_1(N)$ (a quotient of $\Gamma_1(N)$ ) and involve Fourier coefficients of the inverse of the purely electric and purely magnetic partition functions, $f^{(k)}$ and $g^{(k)}$ .
Handling Divergences and Identifications: A naive subtraction leads to divergent series. The authors resolve this by carefully analyzing the overcounting of bound states due to BSM. They identify that certain bound states related by specific transformations (involving matrices like $\begin{pmatrix} 1 & -r \\ 0 & 1 \end{pmatrix}$ and $\begin{pmatrix} 1 & 0 \\ -rN & 1 \end{pmatrix}$ ) represent the same physical state. This necessitates restricting the summation domain and introducing Heaviside functions to ensure the bound states exist only in the appropriate chambers.
Convergence Analysis: The paper rigorously analyzes the convergence of the resulting infinite series. The authors map the problem to the geometry of the fundamental chamber $R_N$ in the $(x, y)$ plane (where $x = z_2/\tau_2, y = \sigma_2/\tau_2$ ). They prove that for $N=2$ and $N=3$ , the sum converges absolutely and uniformly on compact subsets of the fundamental chamber, excluding the subspaces corresponding to the poles.

Key Contributions and Results

General Construction: The paper provides an explicit formula (Equation 1.27) for the generating function $\tilde{F}_k(\Omega)$ of single-centered black hole indices for general CHL models with arbitrary $N$ . This formula involves a subtraction of terms involving sums over $P\Gamma_1(N)$ and specific Heaviside functions that enforce chamber constraints.
Proof of Convergence: The authors prove that the series defining $\tilde{F}_k(\Omega)$ converges absolutely and uniformly for $N=2$ and $N=3$ . This is a significant technical achievement, as the convergence for $N > 3$ is complicated by the infinite number of walls in the fundamental chamber $R_N$ .
Meromorphic Continuation: The paper demonstrates that $\tilde{F}_k(\Omega)$ admits a meromorphic continuation to the entire Siegel upper half-space $\mathbb{H}_2$ . The poles of $\tilde{F}_k(\Omega)$ coincide with the poles of $\Phi_k^{-1}(\Omega)$ for $n_2 \geq 1$ , but the function lacks the additional poles present in $\Phi_k^{-1}$ for $n_2=0$ . This confirms that the subtraction successfully removes the two-centered contributions while preserving the correct singularity structure for single-centered states.
Equivalence of Definitions: The authors show that the generating function constructed via subtraction ( $\tilde{F}_k$ ) yields the same Fourier coefficients as the definition based on the attractor chamber ( $F_k$ ), i.e., $d^*(T) = \tilde{d}^*(T)$ . This validates the subtraction method as a robust way to isolate single-centered degeneracies.
S-Duality Properties: The construction ensures that the generating function respects the S-duality invariance of the theory, transforming appropriately under $\Gamma_1(N)$ .

Significance and Claims
The paper claims to generalize the results of [24] (which treated the $N=1$ case) to a broader class of CHL models. By constructing a generating function that is manifestly S-duality invariant and free of the ambiguities associated with mock Jacobi forms (such as the inclusion of negative discriminant states), the work provides a more rigorous mathematical framework for studying single-centered black hole entropy in these models.

The authors explicitly state that their proof of convergence is complete for $N=2$ and $N=3$ . They acknowledge that extending the proof to $N > 3$ remains an open challenge due to the infinite number of walls in the fundamental chamber for $N \geq 4$ , which complicates the bounding of the summation terms. They suggest that novel methods may be required to generalize the convergence proof further. Additionally, the paper notes that the transformation properties of the generating function suggest it may be a "mock Siegel modular form," but the theory of such forms is not yet fully developed, leaving the precise classification of $\tilde{F}_k(\Omega)$ as an open problem for future investigation.

In summary, the paper successfully constructs a convergent generating function for single-centered black hole indices in CHL models for $N=2, 3$ , providing a concrete tool for testing the microscopic counting of black hole states against macroscopic entropy predictions in these specific string theory compactifications.