REVIEW 5 minor 46 references
A supersymmetric index has zeros inside the unit disk exactly when its arithmetic coefficients grow exponentially, at a rate fixed by the nearest zero.
Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →
T0 review · grok-4.5
2026-07-31 16:29 UTC pith:KNH4FML7
load-bearing objection Clean analytic iff between interior zeros and exponential growth of δ(ν), with usable IR diagnostics and a solid giant-graviton check; worth engaging.
Interior zeros of supersymmetric indices
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
A supersymmetric index I(q) has zeros in the open unit disk if and only if its arithmetic coefficients δ(ν) satisfy lim sup |δ(ν)|^{1/ν} = ρ^{-1} > 1, where ρ is the modulus of the nearest zero. The coefficients are obtained from finitely many Taylor coefficients of log I by Möbius inversion, so interior zeros are readable from the series alone and obstruct any free or s-confining infrared description.
What carries the argument
The arithmetic coefficients δ(ν) of the supersymmetric zeta function: Möbius transforms of the Taylor coefficients of log I. Their exponential growth rate equals the inverse zero distance, converting the zero problem into a finite computation on the q-expansion.
Load-bearing premise
The protected state counts grow slower than any exponential, so the index is holomorphic inside the unit disk and the only singularities of its logarithm are zeros.
What would settle it
Compute high-order arithmetic coefficients for SU(2) SQCD with Nf=3,4,5 or for the U(N) Schur index; check whether exponential growth appears exactly when independent root-finding finds zeros inside |q|<1, and whether the measured growth rate matches the modulus of the nearest zero.
If this is right
- Free and s-confining duals are excluded whenever δ(ν) grows exponentially, giving an infrared diagnostic that needs only a truncated index expansion.
- For indices with a giant-graviton expansion the nearest zero lies near the cancellation of the one-brane term against the vacuum, with 1−ρ ~ (log E)/E set by the brane energy E.
- Zero cardinality inside any radius r<1 is readable from the circle average of log|I| via Jensen’s formula, again from the series alone.
- The Dirichlet series for the supersymmetric zeta function diverges precisely when interior zeros are present, forcing a return to the full Mellin representation.
Where Pith is reading between the lines
- The same growth test should classify 3d and 6d superconformal indices and defect indices once their q-expansions are known to moderate order.
- Tracking zero distance across continuous families of theories could link finite-N zeros to large-N complex phase transitions of the index.
- Indices whose giant-graviton sectors reduce to deformed exponentials may inherit classical zero-distribution conjectures, offering a bridge between holographic expansions and special-function theory.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proves that a supersymmetric index I(q) has zeros inside the open unit disk if and only if the arithmetic coefficients δ(ν) extracted from its plethystic logarithm grow exponentially, with lim sup |δ(ν)|^{1/ν} equal to the inverse modulus ρ^{-1} of the nearest zero. Each δ(ν) is obtained from finitely many Taylor coefficients of log I via Möbius inversion, so the criterion is accessible from a q-series expansion alone. Under the standard subexponential bound on BPS degeneracies, Appendix A supplies a short complex-analysis argument (Cauchy–Hadamard plus divisor-count suppression) establishing the equivalence. The authors apply the diagnostic to 4d N=1 SU(2) SQCD, ruling out free/s-confining IR descriptions for N_f=4,5 while recovering the free-meson content at N_f=3, and to the N=4 U(N) Schur index, where interior zeros are shown to be a finite-N effect located by the energy of a single giant graviton, with the large-N approach rate (14) verified numerically up to N=10^4.
Significance. If correct, the result supplies a practical, closed-form-independent infrared diagnostic for supersymmetric QFTs and a quantitative link between finite-N index zeros and giant-graviton energetics. The central equivalence is elementary, self-contained, and falsifiable from series coefficients; the ancillary Mathematica notebook and high-order expansions (matrix integrals to m≤150, Schur indices to m=1000) make the numerical claims reproducible. The obstruction to infinite-product/s-confining representations and the connection to the deformed-exponential/Sokal zero problem are of genuine interest to both the hep-th and special-functions communities. Strengths include the clean Appendix A proof, the parameter-free growth-rate formula, and the explicit large-N test of (14).
minor comments (5)
- [§II] §II and footnote [20]: the assumption of rational grading (ν ∈ (1/a)Z) is stated, but a one-sentence remark on how the diagnostic would be adapted for irrational R-charges after a-maximization would help readers who encounter generic fixed points.
- [Fig. 1] Fig. 1 caption and End Matter: the fitted form |δ| ∝ ρ_Q^{-m}/m is used, yet the main text only quotes the lim-sup relation (11). A brief cross-reference to the 1/ν prefactor discussion in Appendix B would make the dashed-line fits self-explanatory.
- [Appendix C] Eq. (14) and Appendix C: the constant w_∞ ≈ 0.7378 is obtained from the deformed exponential Φ(w,θ). Citing the numerical precision (or the minimization method) used for min_θ |w_*(θ)| would strengthen reproducibility of the asymptotic law.
- [Table I] Table I: the column header ρ^{1/2}_δ is slightly ambiguous (it is the estimate of |Q_*|). Renaming to ρ_Q^δ or “estimated |Q_*|” would avoid a momentary misreading.
- [References] References: the supersymmetric-zeta paper [7] is listed as JHEP 06 (2026) 003; confirm the final bibliographic data before publication so that the arXiv–journal mapping is stable.
Circularity Check
No significant circularity: the zeros↔growth equivalence is a self-contained complex-analysis argument, not forced by its inputs.
full rationale
The load-bearing claim is the iff between interior zeros of I and exponential growth of the arithmetic coefficients δ(ν) at rate ρ^{-1} (Eqs. 9–11). Appendix A derives this from Cauchy–Hadamard applied to log I plus a standard divisor bound showing that the finite Möbius sum (7) preserves lim sup |L_m|^{1/m}. The only external hypothesis is the subexponential bound (2) on BPS degeneracies, stated explicitly to guarantee holomorphy of I in |Q|<1; it is not fitted from the zeros being diagnosed. Each δ(ν) is computed from finitely many series coefficients of the same index whose zeros are under test, then the growth rate is cross-checked against independent root-finding (matrix-integral truncations for SU(2) SQCD; closed-form S_N and Padé/Newton for N=4 Schur). The giant-graviton location law (14) is read off from the leading wrapping term of the known expansion and verified a posteriori up to N=10^4; it is not inserted by fitting ρ. Self-citation to the authors’ prior zeta-function paper [7] only supplies nomenclature and motivation for δ(ν); the growth–zero theorem and its proofs do not rely on any uniqueness or existence result from [7]. No step reduces a claimed prediction to a fitted input or to a definitional identity.
Axiom & Free-Parameter Ledger
axioms (6)
- domain assumption BPS degeneracies satisfy log|d(n)|=O(n^α) with α<1, hence the index power series has radius of convergence at least 1 (Eq. 2).
- standard math Cauchy-Hadamard theorem: radius of convergence R satisfies R^{-1}=lim sup |a_m|^{1/m}.
- domain assumption Plethystic logarithm coefficients are the Möbius transform δ(ν)=∑_{d|νa} (μ(d)/d) L_{νa/d} (Eq. 7).
- domain assumption Free and s-confining IR descriptions yield indices that are finite products of matter multiplet indices and therefore admit zero-free infinite-product representations inside the unit disk.
- domain assumption Spectrum is rationally graded (ν∈(1/a)Z>0) so that an ordinary power series in Q=q^{1/a} exists.
- ad hoc to paper In a giant-graviton expansion the leading n=1 correction is −C Q^E and higher wrappings remain suppressed near the first vacuum cancellation, yielding −E log ρ_Q = log E + O(1) (Eq. 14).
invented entities (2)
-
zero distance ρ
independent evidence
-
zero cardinality N(r)
independent evidence
read the original abstract
A supersymmetric index has interior zeros ($|q|<1$) if and only if the arithmetic coefficients $\delta(\nu)$ underlying the supersymmetric zeta function grow exponentially at a rate set by the nearest zero. Each $\delta(\nu)$ follows from finitely many $q$-series coefficients, so interior zeros are detectable from the expansion alone and obstruct a free or s-confining infrared description, as we show for 4d $\mathcal{N}=1$ $SU(2)$ SQCD. With a giant graviton expansion interior zeros are a finite $N$ effect, located by the energy of one giant graviton, verified for the $\mathcal{N}=4$ $U(N)$ Schur index.
Figures
Reference graph
Works this paper leans on
-
[1]
Statistical theory of equations of state and phase transitions. 1. Theory of condensation,
C.-N. Yang and T. D. Lee, “Statistical theory of equations of state and phase transitions. 1. Theory of condensation,”Phys. Rev.87(1952) 404–409
1952
-
[2]
Statistical theory of equations of state and phase transitions. 2. Lattice gas and Ising model,
T. D. Lee and C.-N. Yang, “Statistical theory of equations of state and phase transitions. 2. Lattice gas and Ising model,”Phys. Rev.87(1952) 410–419
1952
-
[3]
The nature of critical points,
M. E. Fisher, “The nature of critical points,” inLectures in Theoretical Physics, W. E. Brittin, ed., vol. 7C, pp. 1–159. University of Colorado Press, Boulder, 1965
1965
-
[4]
ForN= 4 super Yang-Mills the zeros of the ordinary thermal partition function approach the real temperature axis at the deconfinement transition asN grows [42]
-
[5]
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, arXiv:hep-th/0510251
Pith/arXiv arXiv 2007
-
[6]
Counting chiral primaries in N = 1, d=4 superconformal field theories,
C. Romelsberger, “Counting chiral primaries in N = 1, d=4 superconformal field theories,”Nucl. Phys. B747 (2006) 329–353,arXiv:hep-th/0510060
Pith/arXiv arXiv 2006
-
[7]
Supersymmetric zeta functions and determinants,
Y. Nakayama and T. Okazaki, “Supersymmetric zeta functions and determinants,”JHEP06(2026) 003, arXiv:2511.22822 [hep-th]. 6
Pith/arXiv arXiv 2026
-
[8]
E. Getzler and M. M. Kapranov, “Modular operads,” Compositio Math.110no. 1, (1998) 65–126. https://doi.org/10.1023/A:1000245600345
-
[9]
The polynomial bound follows in the free and s-confining case from the finiteness of the plethystic logarithm
The absence of interior zeros guarantees only subexponential growth, lim supν |δ(ν)| 1/ν ≤1, which still permits intermediate growth such asδ(ν)∼e c√ν , for which (5) diverges for alls. The polynomial bound follows in the free and s-confining case from the finiteness of the plethystic logarithm
-
[10]
Electric - magnetic duality in supersymmetric nonAbelian gauge theories,
N. Seiberg, “Electric - magnetic duality in supersymmetric nonAbelian gauge theories,”Nucl. Phys. B435(1995) 129–146,arXiv:hep-th/9411149
Pith/arXiv arXiv 1995
-
[11]
A Systematic approach to confinement in N=1 supersymmetric gauge theories,
C. Csaki, M. Schmaltz, and W. Skiba, “A Systematic approach to confinement in N=1 supersymmetric gauge theories,”Phys. Rev. Lett.78(1997) 799–802, arXiv:hep-th/9610139
Pith/arXiv arXiv 1997
-
[12]
Confinement in N=1 SUSY gauge theories and model building tools,
C. Csaki, M. Schmaltz, and W. Skiba, “Confinement in N=1 SUSY gauge theories and model building tools,” Phys. Rev. D55(1997) 7840–7858, arXiv:hep-th/9612207
Pith/arXiv arXiv 1997
-
[13]
IR duality in d = 3 N=2 supersymmetric USp(2N(c)) and U(N(c)) gauge theories,
O. Aharony, “IR duality in d = 3 N=2 supersymmetric USp(2N(c)) and U(N(c)) gauge theories,”Phys. Lett. B 404(1997) 71–76,arXiv:hep-th/9703215
Pith/arXiv arXiv 1997
-
[14]
3d dualities from 4d dualities,
O. Aharony, S. S. Razamat, N. Seiberg, and B. Willett, “3d dualities from 4d dualities,”JHEP07(2013) 149, arXiv:1305.3924 [hep-th]
Pith/arXiv arXiv 2013
-
[15]
F. A. Dolan and H. Osborn, “Applications of the Superconformal Index for Protected Operators and q-Hypergeometric Identities to N=1 Dual Theories,” Nucl. Phys. B818(2009) 137–178,arXiv:0801.4947 [hep-th]
Pith/arXiv arXiv 2009
-
[16]
Superconformal indices for N = 1 theories with multiple duals,
V. P. Spiridonov and G. S. Vartanov, “Superconformal indices for N = 1 theories with multiple duals,”Nucl. Phys. B824(2010) 192–216,arXiv:0811.1909 [hep-th]
Pith/arXiv arXiv 2010
-
[17]
B. C. Berndt,Ramanujan ’s notebooks. Part III. Springer-Verlag, New York, 1991. https://doi.org/10.1007/978-1-4612-0965-2
-
[18]
Some basic hypergeometric orthogonal polynomials that generalize Jacobi polynomials,
R. Askey and J. Wilson, “Some basic hypergeometric orthogonal polynomials that generalize Jacobi polynomials,”Mem. Amer. Math. Soc.54no. 319, (1985) iv+55.https://doi.org/10.1090/memo/0319
-
[19]
I. G. Macdonald,Symmetric functions and Hall polynomials. Oxford Mathematical Monographs. The Clarendon Press, Oxford University Press, New York, second ed., 1995. With contributions by A. Zelevinsky, Oxford Science Publications
1995
-
[20]
Irrational R-charges, generic aftera-maximization, require a more careful treatment
We assume a rationally graded spectrum,ν∈ 1 a Z>0, as in all examples below. Irrational R-charges, generic aftera-maximization, require a more careful treatment
-
[21]
Constraints on Supersymmetry Breaking,
E. Witten, “Constraints on Supersymmetry Breaking,” Nucl. Phys. B202(1982) 253
1982
-
[22]
The Exact superconformal R symmetry maximizes a,
K. A. Intriligator and B. Wecht, “The Exact superconformal R symmetry maximizes a,”Nucl. Phys. B667(2003) 183–200,arXiv:hep-th/0304128
Pith/arXiv arXiv 2003
-
[23]
Exact superpotentials, quantum vacua and duality in supersymmetric SP(N(c)) gauge theories,
K. A. Intriligator and P. Pouliot, “Exact superpotentials, quantum vacua and duality in supersymmetric SP(N(c)) gauge theories,”Phys. Lett. B 353(1995) 471–476,arXiv:hep-th/9505006
Pith/arXiv arXiv 1995
-
[24]
On the elliptic beta function,
V. P. Spiridonov, “On the elliptic beta function,” Uspekhi Mat. Nauk56no. 1(337), (2001) 181–182. https://doi.org/10.1070/rm2001v056n01ABEH000374
-
[25]
Schur index of theN= 4U(N) supersymmetric Yang-Mills theory via the AdS/CFT correspondence,
R. Arai, S. Fujiwara, Y. Imamura, and T. Mori, “Schur index of theN= 4U(N) supersymmetric Yang-Mills theory via the AdS/CFT correspondence,”Phys. Rev. D 101no. 8, (2020) 086017,arXiv:2001.11667 [hep-th]
Pith/arXiv arXiv 2020
-
[26]
D. Gaiotto and J. H. Lee, “The giant graviton expansion,”JHEP08(2024) 025,arXiv:2109.02545 [hep-th]
Pith/arXiv arXiv 2024
-
[27]
M2-M5 giant graviton expansions,
H. Hayashi, T. Nosaka, and T. Okazaki, “M2-M5 giant graviton expansions,”JHEP12(2024) 109, arXiv:2409.13239 [hep-th]
Pith/arXiv arXiv 2024
-
[28]
Analytic continuation for giant gravitons,
Y. Imamura, “Analytic continuation for giant gravitons,”PTEP2022no. 10, (2022) 103B02, arXiv:2205.14615 [hep-th]
Pith/arXiv arXiv 2022
-
[29]
[43, 44]), and their poles should cancel into a higher divided difference
With more cycles the sectors of unit wrapping number are more numerous (see e.g. [43, 44]), and their poles should cancel into a higher divided difference. We do not pursue this here
-
[30]
The 4d Superconformal Index from q-deformed 2d Yang-Mills,
A. Gadde, L. Rastelli, S. S. Razamat, and W. Yan, “The 4d Superconformal Index from q-deformed 2d Yang-Mills,”Phys. Rev. Lett.106(2011) 241602, arXiv:1104.3850 [hep-th]
Pith/arXiv arXiv 2011
-
[31]
Gauge Theories and Macdonald Polynomials,
A. Gadde, L. Rastelli, S. S. Razamat, and W. Yan, “Gauge Theories and Macdonald Polynomials,” Commun. Math. Phys.319(2013) 147–193, arXiv:1110.3740 [hep-th]
Pith/arXiv arXiv 2013
-
[32]
The exact Schur index ofN= 4 SYM,
J. Bourdier, N. Drukker, and J. Felix, “The exact Schur index ofN= 4 SYM,”JHEP11(2015) 210, arXiv:1507.08659 [hep-th]
Pith/arXiv arXiv 2015
-
[33]
Schur indices of class S and quasimodular forms,
C. Beem, S. S. Razamat, and P. Singh, “Schur indices of class S and quasimodular forms,”Phys. Rev. D105 no. 8, (2022) 085009,arXiv:2112.10715 [hep-th]
Pith/arXiv arXiv 2022
-
[34]
Exact Schur index in closed form,
Y. Pan and W. Peelaers, “Exact Schur index in closed form,”Phys. Rev. D106no. 4, (2022) 045017, arXiv:2112.09705 [hep-th]
Pith/arXiv arXiv 2022
-
[35]
Modular anomaly equation for Schur index ofN= 4 super-Yang-Mills,
M.-x. Huang, “Modular anomaly equation for Schur index ofN= 4 super-Yang-Mills,”JHEP08(2022) 049,arXiv:2205.00818 [hep-th]
Pith/arXiv arXiv 2022
-
[36]
Y. Hatsuda and T. Okazaki, “N= 2 ∗ Schur indices,” JHEP01(2023) 029,arXiv:2208.01426 [hep-th]
Pith/arXiv arXiv 2023
-
[37]
Unitary matrix models, free fermion ensembles, and the giant graviton expansion,
S. Murthy, “Unitary matrix models, free fermion ensembles, and the giant graviton expansion,”Pure Appl. Math. Quart.19(2023) 299–340, arXiv:2202.06897 [hep-th]
Pith/arXiv arXiv 2023
-
[38]
Giant graviton expansion of Schur index and quasimodular forms,
M. Beccaria and A. Cabo-Bizet, “Giant graviton expansion of Schur index and quasimodular forms,” JHEP05(2024) 282,arXiv:2403.06509 [hep-th]
Pith/arXiv arXiv 2024
-
[39]
Delayed deconfinement and the Hawking-Page transition,
C. Copetti, A. Grassi, Z. Komargodski, and L. Tizzano, “Delayed deconfinement and the Hawking-Page transition,”JHEP04(2022) 132,arXiv:2008.04950 [hep-th]
Pith/arXiv arXiv 2022
-
[40]
Residues, modularity, and the Cardy limit of the 4dN= 4 superconformal index,
K. Goldstein, V. Jejjala, Y. Lei, S. van Leuven, and W. Li, “Residues, modularity, and the Cardy limit of the 4dN= 4 superconformal index,”JHEP04(2021) 216,arXiv:2011.06605 [hep-th]
Pith/arXiv arXiv 2021
-
[41]
The Superconformal Index and Black Hole Instabilities,
E. Deddo, L. A. Pando Zayas, and W. Zhou, “The Superconformal Index and Black Hole Instabilities,” arXiv:2502.01614 [hep-th]
-
[42]
From Hagedorn to Lee-Yang: partition functions ofN= 4 SYM theory at finiteN,
A. T. Kristensson and M. Wilhelm, “From Hagedorn to Lee-Yang: partition functions ofN= 4 SYM theory at finiteN,”JHEP10(2020) 006,arXiv:2005.06480 [hep-th]
Pith/arXiv arXiv 2020
-
[43]
Finite-Nsuperconformal index via the AdS/CFT correspondence,
Y. Imamura, “Finite-Nsuperconformal index via the AdS/CFT correspondence,”PTEP2021no. 12, (2021) 123B05,arXiv:2108.12090 [hep-th]
Pith/arXiv arXiv 2021
-
[44]
Finite-Ncorrections to the M-brane indices,
R. Arai, S. Fujiwara, Y. Imamura, T. Mori, and 7 D. Yokoyama, “Finite-Ncorrections to the M-brane indices,”JHEP11(2020) 093,arXiv:2007.05213 [hep-th]
Pith/arXiv arXiv 2020
-
[45]
On certain class of entire functions and a conjecture by Alan Sokal,
A. Dyachenko, “On certain class of entire functions and a conjecture by Alan Sokal,”arXiv:1309.7551 [math.CV]
-
[46]
Zeros of the deformed exponential function,
L. Wang and C. Zhang, “Zeros of the deformed exponential function,”Adv. Math.332(2018) 311–348. https://doi.org/10.1016/j.aim.2018.05.006. Appendix A: Proof of the growth relation We use the notation of the main text and setG:= lim supm→∞ |Lm|1/m. The first step determines the radius of convergence of (6). The bound (2) gives lim supn |d(n)|1/n ≤1, so by ...
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.