Pith. Sign in

REVIEW

Product Representation of Dyon Partition Function in CHL Models

High Energy Physics - Theory · Submitted 24 Feb 2006 · 29 references

Pith's verdict: The N=2 product formula is a genuine derivation; the N=3,5,7 cases are an honest but unproven guess, so the paper deserves a serious referee but the general-N claim is conditional.

T0 · AI review

How this review was made: An AI referee (deepseek-v4-flash) read the paper on August 28, 2026 and answered a fixed list of questions about it. T0 is the starting level every paper gets. The levels describe how deeply Pith has checked the paper, never the authors.

  1. T0 AI review An AI read the paper and answered a fixed list of questions.
  2. T1 Audit Automatic checks that the references and files the paper relies on exist and match.
  3. T2 Compute The paper's code or calculations re-run with the same results.
  4. T3 Formal statement The claims written out in a formal math language a computer can read.
  5. T4 Proof Those claims proved, and the proof checked by computer.

How Pith checks papers →

· 3 major objections · 3 minor · Ask about this paper · The compiled record · Read the full review →
Challenge this review Comment (0) Read on arXiv ↗
Cite ▾
arXiv IDhep-th/0602254 (version 4)
Pith ID5TVYQTK6, Pith's permanent record of this paper and its review
CitationAshoke Sen, Dileep P. Jatkar, Justin R. David. "Product Representation of Dyon Partition Function in CHL Models." arXiv:hep-th/0602254 (2006). https://pith.science/paper/5TVYQTK6
Cite this reviewBibTeX for Pith's review of this paper
Claim paper

Why Pith says this

Highlight any text to comment on it.

Referee report
The paper

The paper claims

The exact dyon partition function in CHL models is the inverse of an infinite-product Siegel modular form.

The reading

This paper proposes exact product formulas for the modular forms whose inverses count quarter-BPS dyons in CHL string compactifications, a class of $\mathbb{Z}_N$ orbifold models with $N = 2, 3, 5, 7$ in which a $\mathbb{Z}_N$ shift on a torus is combined with an action on K3. For each $N$, the dyon degeneracy is a Fourier coefficient of $1/\tilde{\Phi}_k$, and the paper writes $\tilde{\Phi}_k$ as an infinite product over charges, with exponents given by Fourier coefficients of the twisted elliptic genus of K3. If correct, the formulas turn the counting of dyons in these models into one closed expression: they produce integer degeneracies, are invariant under the S-duality group, and reduce to the Bekenstein-Hawking entropy at large charges. The construction generalizes the known product representation of the weight-10 Siegel cusp form of $Sp(2,\mathbb{Z})$ to the CHL setting.

What carries the argument

The load-bearing object is the infinite product (1.4)/(7.25) for $\tilde{\Phi}_k$, with the companion product (7.24) for $\Phi_k$; these are generalized automorphic products adapted to the CHL subgroup. The exponents are the Fourier coefficients $c^{(r,s)}(4lk' - b^2)$ of the twisted elliptic genus $F^{(r,s)}(\tau,z)$, a generating function that counts BPS states of K3 in the sector twisted by the $\mathbb{Z}_N$ generator. The mechanism that produces the product is an integral $I(U,T,V)$ over the fundamental domain of a trace in the $(T^2 \times K3)/\mathbb{Z}_N$ superconformal field theory, analogous to the threshold integral used in the $N=1$ case; evaluating it by Poisson resummation and by splitting the summation into zero, degenerate, and non-degenerate orbits expresses $I$ as $-2\ln[\kappa (\det\mathrm{Im}\,\Omega)^k |\tilde{\Phi}_k|^2]$, which fixes the weight and gives the product form.

Extended reading notes

Core claim

The central claim is that for $N = 2, 3, 5, 7$ the function $\tilde{\Phi}_k$ is a Siegel modular form of weight $k = 24/(N+1) - 2$ for a subgroup $\tilde{G}$ of $Sp(2,\mathbb{Z})$ — an automorphic form on the genus-two Siegel upper half-plane — and that it has the explicit infinite-product representation of eqs. (1.4) and (7.25). In that product each factor is $1 - e^{2\pi i(k'T + lU + bV)}$ raised to an exponent built from the coefficients $c^{(r,s)}(4lk' - b^2)$ of the twisted elliptic genus $F^{(r,s)}(\tau,z)$ of K3; a related form $\Phi_k$ is given in eq. (7.24). For $N=2$ the twisted elliptic genera are computed from the orbifold theory, while for $N = 3, 5, 7$ they are proposed from modularity and consistency requirements. The paper verifies that the product forms agree with the earlier construction of [7] in the $V \to 0$ and $U \to i\infty$ limits and in every Fourier coefficient it compares, and concludes that the two constructions define the same modular form.

Load-bearing premise

For $N = 3, 5, 7$, the twisted elliptic genera that supply every exponent in the product are guessed from consistency conditions rather than derived from the orbifold theory, so the product formulas for those models stand or fall with that guess.

Editorial extensions

If this is right

  • For each $N=2,3,5,7$, the degeneracies are Fourier coefficients of $1/\tilde{\Phi}_k$, so they are integers and invariant under the S-duality group of the CHL model.
  • At large charges, the asymptotic growth of these coefficients reproduces the Bekenstein-Hawking entropy of the corresponding dyonic black hole.
  • In the $V\to 0$ limit the product factorizes as $\tilde{\Phi}_k \simeq (i\sqrt{N})^{-k-2}\,4\pi^2 V^2 (\eta(T)\eta(T/N))^{k+2}(\eta(U)\eta(NU))^{k+2}$, matching the independent result of [7].
  • The product representation and the earlier recursive construction agree on all coefficients checked—31 coefficients for $N=2$ and coefficients up to order $e^{4\pi i T} e^{4\pi i U}$ in general—so the paper concludes they are the same modular form.
  • The infinite product gives a direct way to compute dyon degeneracies by expanding the product, without running the recursive algorithm of [7].

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • This suggests the same product template should extend to other $\mathbb{Z}_N$ constructions once the twisted elliptic genus is known: the weight and exponent structure are fixed by K3 data and the shift, so the formula is a template rather than an isolated identity.
  • This suggests the guessed twisted elliptic genera for $N=3,5,7$ could be pinned down by demanding that $\tilde{\Phi}_k$ be a Siegel modular form of the correct subgroup with the right pole structure—a finite consistency check that could turn the Ansatz into a theorem.
  • This suggests a representation-theoretic reading: product formulas of this type usually come from generalized Kac-Moody algebras, so the CHL dyon spectrum may admit the same algebraic interpretation as the $N=1$ case.
Original abstract

A formula for the exact partition function of 1/4 BPS dyons in a class of CHL models has been proposed earlier. The formula involves inverse of Siegel modular forms of subgroups of Sp(2,Z). In this paper we propose product formulae for these modular forms. This generalizes the result of Borcherds and Gritsenko and Nikulin for the weight 10 cusp form of the full Sp(2,Z) group.

The compiled record

The paper's own sentences, arranged, kept beside the review and separate from it. Each label is drawn from a closed vocabulary; the number beside it is the probability the classifier gave that label. Numbers in the tables are the authors', checked by code. No sentence in this record was written by a model.

Compiled by classifier-1.13-20260917 via OpenRouter, question bank abstract-p1-20260923, 2026-09-23: 1 request, 3,521 input tokens, $0.0001 reported.

What the abstract itself states, as probabilities: claims first 0.07 · states limitation 0.07 · human participants 0.01 · controlled comparison 0.02 · randomized assignment 0.01 · states quantitative result 0.05 · compares with prior results 0.92 · mentions code or data availability 0.02.

The abstract, sentence by sentence

arXiv listing abstract v4. Results and the main claim are underlined; .

A formula for the exact partition function of 1/4 BPS dyons in a class of CHL models has been proposed earlier. The formula involves inverse of Siegel modular forms of subgroups of Sp(2,Z). In this paper we propose product formulae for these modular forms. This generalizes the result of Borcherds and Gritsenko and Nikulin for the weight 10 cusp form of the full Sp(2,Z) group.

background contribution method result interpretation main claim

What the classifier reports for each sentence. The number is the probability it gave the label.
#sentencerolethe authors' own workstates the main conclusionstrength
s0 A formula for the exact partition function of 1/4 BPS dyons in a class of CHL models has been proposed earlier. background 1.00 0.04 0.04 asserted 1.00
s1 The formula involves inverse of Siegel modular forms of subgroups of Sp(2,Z). background 1.00 0.08 0.04 asserted 1.00
s2 In this paper we propose product formulae for these modular forms. contribution 0.96 0.93 0.74 asserted 0.98
s3 This generalizes the result of Borcherds and Gritsenko and Nikulin for the weight 10 cusp form of the full Sp(2,Z) group. interpretation 0.82 0.55 0.20 asserted 1.00

What kind of paper the classifier reports this is: theoretical result 1.00 · evidence from proof or derivation 0.97.

What was examined, and what was not

sources read
  • arXiv listing abstract v4
not examined
  • full text
  • figures and tables
  • references and citing sentences
  • relations to other papers
levels run
  • P abstract
not run
  • S sections
  • T body sentences
  • C citations
  • R cross-paper relations

Every quoted sentence on this record is the authors'. Every label is from Pith's closed vocabulary, with the probability shown beside it. Every number in the measurements table is the authors', checked by code. Record as JSON

References
How later papers used it

74 later papers cite it

Evidence: substantial. 44 of the citing papers share no author with it, and 10 of those carry a confident label from Pith's citation classifier.

Pith read 21 of the 161 citing sentences, choosing only those whose citation markers point at this paper alone, and wrote the paraphrases from them. The summary, the counts, the evidence level, the links and the quotes come from code; the summary counts the papers listed below. A later paper is listed under a label when Pith's citation classifier gives one of its sentences that label at probability 0.8 or more (0.95 for support), Pith's reading finds that the citing paper itself did it, and a second check confirms the paraphrase against the sentence. This section lists uses only. It does not list criticism or disagreement, so their absence here says nothing about how the paper has been received. Papers that share an author with this one are listed apart, under "By the same authors". A quote is the citing authors' own sentence, shown when their paper's licence is CC BY, CC BY-SA or CC0. JSON

Uses its method or tool 3 of 10 papers with this label · 2 by the same authors

By the same authors

Compares with it 1 of 8 papers with this label
How the literature uses it

72 arXiv papers cite this in 158 sentences

Each citing sentence is taken from the citing paper's LaTeX source and typed by Pith's classifier. A label appears at probability 0.8 or more (0.95 for support), a contest at 0.7 or more; the quoted words are the citing authors'. How each label was checked · JSON

Papers citing it · 94 sentences without a confident label

Builds on it 3 papers
  • We extend this correspondence to argue for the existence of new GKM superalgebras, $𝒢_N$, whose denominator formulae give rise to modular forms with character, $Δ_k/2(𝐙)$, of suitable groups, $G_0(N)⊂Sp(2,)$, with the property [equation] (Note that the $Φ_k(𝐙)$ used here differs from the one defined by David-Jatkar-Sen [ref] by an overall sign.) This is the main assumption of this paper.

    Generalized Kac-Moody Algebras from CHL dyons · Denominator formulae for $Δ_k/2(𝐙)$ · 0.94

  • Explicit formulae for these are available for $N∈{1,…,5}$ in the literature [ref] and we give the formulae for $N=6$ in section [ref].

    BKM Lie superalgebras from counting twisted CHL dyons -- II · Product Formulae · 0.89

  • This would generalise the “threshold integrals” previously calculated by Sen and collaborators for a class of CHL models [ref] .

    Fricke S-duality in CHL models · Conclusions · 0.94

Uses its method or tool 10 papers
  • The original formula for the degeneracy was first proposed in [ref] for the special case of heterotic string theory compactified on $T^6$, and extended to more general models in [ref] .

    Black Hole Entropy Function, Attractors and Precision Counting of Microstates · Non-supersymmetric extremal black holes · 0.81

  • Then in section [ref] we compute the Gopakumar Vafa invariants from the new supersymmetric index following the previous works of [ref] .

    Gravitational couplings in ${\cal N}=2$ heterotic compactifications with Wilson lines · Introduction · 0.93

  • Following the manipulations outlined in [ref] following earlier work of [ref] one can show that (ρ,σ, v) = -2ln[ (Im Ω)^k ] - 2lnΦ(ρ,σ, v) - 2lnΦ̌(ρ̅,σ̅,v̅) +constant where $Φ$ has been defined in ek7 and[Since the exponent $a$ in ek7, ek7check is a real number (in fact an integer) we have $Φ̌(ρ̅,σ̅, v̅) = Φ(ρ, σ,v)$.] Φ̌(ρ̅,σ̅,v̅) = e^-2πi (αρ̅+γσ̅+ βv̅) ∏_b=0^1 ∏_r=0^N-1∏_r'=0^M-1 ∏_k∈+r'M, l∈, j∈2+bk,l≥0, j<0 for k=l=0 [ 1 - e^-2πi r/N e^-2πi (kσ̅+lρ̅+ j v̅) ]^a a ≡ ∑_s=0^N-1 ∑_s'=0^M-1 e^-2 πi (s'l / M + rs/N) c_b^(0,s;r',s')(4kl - j^2) , k = 12 ∑_s=0^N-1∑_s'=0^M-1 c_0^(0,s;0,s')(0) .

    Discrete Information from CHL Black Holes · Introduction · 0.84

Uses its data or values 2 papers
  • For $=K3$ and prime values of $N$ ($N=$ 1, 2, 3, 5, 7) the functions $F^(r,s)(τ)$ are known explicitly and are given by [ref] fifthn F^(0,0)(τ, z) = 8N A(τ, z) , F^(0,s)(τ, z) = 8N(N+1) A(τ, z) -2N+1 B(τ, z) E_N(τ) for $1≤s≤(N-1)$ , F^(r,rk)(τ, z) = 8N(N+1) A(τ, z) + 2N(N+1) E_N(τ+kN) B(τ, z) , for $1≤r ≤(N-1)$, $0≤k≤(N-1)$ , where A(τ, z) = [ ϑ_2(τ,z)^2 ϑ_2(τ,0)^2 + ϑ_3(τ,z)^2ϑ_3(τ,0)^2 + ϑ_4(τ,z)^2ϑ_4(τ,0)^2] , B(τ, z) = η(τ)^-6 ϑ_1(τ, z)^2 , and E_N(τ) = 12 iπ(N-1) _τ[ lnη(τ) -lnη(Nτ)]= 1 + 24N-1 ∑_n_1,n_2≥1n_1 0 mod N n_1 e^2πi n_1 n_2 τ .

    Black Hole Entropy Function, Attractors and Precision Counting of Microstates · The full partition function · 0.91

  • For example, in the case of the $pA$ orbifolds with $p =1,2, 3, 5, 7$, they are given by [ref] .

    Horizon states and the sign of their index in ${\cal N}=4$ dyons · Horizon states for the $1/4$ BPS dyon · 0.93

Compares with it 8 papers
  • In two previous papers [ref] we used the quantum entropy function to compute logarithmic corrections to the entropy of 1/8 BPS and 1/4 BPS black holes in $=8$ and $=4$ supersymmetric string theories respectively and found results in perfect agreement with the microscopic results of [ref] .

    Logarithmic Corrections to N=2 Black Hole Entropy: An Infrared Window into the Microstates · Introduction · 0.82

  • The partition function for the twisted primitive DT invariants on $X$ is conjecturally given by the negative reciprocal of the Borcherds lift of the corresponding twisted-twined elliptic genera, [equation] and thus agrees with the quarter-BPS counting function obtained in [ref] , which is (possibly up to a multiplicative constant) the function $2^-4Φ_6,3^-1$.

    Lost Chapters in CHL Black Holes: Untwisted Quarter-BPS Dyons in the $\mathbb{Z}_2$ Model · Comparison to results from Donaldson-Thomas theory · 0.92

  • Finally due to the same reasons we see that the only contributions to $F^(1, 1)$ arise from [equation] Again summing up the contributions leads to [equation] To conclude, from ([ref]), ([ref]), ([ref]) and ([ref]) we see that the twisted elliptic genus is identical to the class $2A$ first evaluated in [ref] using $K3$ in the $T^4/ℤ_2$ orbifold limit.

    ${\cal N}=2$ heterotic string compactifications on orbifolds of $K3\times T^2$ · Twisted elliptic genus · 0.92

Cites it as background 34 papers

Discussion

Disagree with the review, or know something it missed? Leave a comment, highlight any passage above to comment on it, or challenge this review formally.