Pith. sign in

REVIEW 4 minor 1 cited by

Convergence of Nekrasov instanton sum with adjoint matter

T0 review · 0 major / 4 minor · reviewed 2026-08-02 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read The Nekrasov instanton sum converges with radius 1 for generic parameters, and the paper pins down exactly when the absolute convergence fails.

desk verdict Solid proof of the optimal convergence radius for N=2* instanton sums, with a new Diophantine dichotomy for b^2>0; worth a careful referee. read the letter →

arxiv 2602.19425 v2 pith:CPDBBNFQ submitted 2026-02-23 hep-th math-phmath.MP

Bruno Le Floch This is my paper · ORCID
classification hep-thmath-phmath.MP MSC 05A1711J7030B1081T13
keywords NekrasovinstantonpartitionfunctionN=2*gaugetheoryabsoluteconvergenceOmegabackgroundgauge/CFTcorrespondenceconformalblocksDiophantineapproximationexponentialtype
topics Yang-Mills Mass Gap
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

This paper proves the absolute convergence radius of the Nekrasov instanton partition function of the 4d N=2* U(N) gauge theory. For generic values of the equivariant parameters, the sum over colored partitions converges exactly when the instanton counting parameter satisfies $|q|<1$, matching the radius expected from the gauge/CFT correspondence. The central new phenomenon is a Diophantine dichotomy for real ratios $b^2=\varepsilon_1/\varepsilon_2$: for irrational $b^2$ that is not too well approximated by rationals the radius is positive but may be smaller than 1; for super-exponentially well approximable $b^2$ the absolute sum diverges for every nonzero $q$; and for rational $b^2$ some individual terms carry poles. The proof works by refining the term-by-term bounds, showing that only a small number of boxes in each Young diagram can have a given 'content', which turns previous exponential bounds into subexponential ones.

What carries the argument

The engine of the proof is a refined bound on each term $Z_{\vec{Y}}$ in the sum over partitions. Instead of uniformly bounding every factor in the product (2.1), the paper counts how many boxes can share the same 'content' $-\varepsilon_1(\mu'_j - i) + \varepsilon_2(\lambda_i - j)$, showing that at most $O(|\lambda|^{1/2})$ boxes have a given value. This converts the previous crude exponential estimates into subexponential growth of $\log|Z_{\vec{Y}}|$, which is enough to force the $\liminf$ in (2.2) to be at least 1. For $b^2>0$, the same box-counting is governed by a Diophantine invariant called the exponential type $B_{\sup}(b^2)$, a Brjuno-like supremum measuring how well rationals approximate $b^2$; the proofs use an equidistribution lemma for fractiona

What would settle it

Take $b^2$ to be a super-exponentially well approximable irrational such as $\sum_{n \ge 0} 2^{-2^n}$ (a number with $B_{\sup}(b^2)=\infty$) and compute the specific terms $\lambda=(p,1^q)$ used in Section 6.2 along the sequence of best rational approximants; the values $|Z_{((p,1^q),\varnothing,\ldots)}|^{-1/(p+q)}$ should tend to 0, confirming $R_{\text{abs}}=0$. Conversely, for an irrational $b^2$ with finite exponential type, a numerical evaluation of the $\liminf$ in (2.2) over partitions of size up to $k$ should approach a positive number consistent with the bounds in (1.6).

Watch

Extended reading notes

Core claim

The main result, Theorem 1.1, states that under the genericity assumption that the adjoint mass $m$ and all Coulomb-branch differences $a_I-a_J$ avoid the closure of the lattice $\varepsilon_1 \mathbb{Z} + \varepsilon_2 \mathbb{Z}$: (i) for $b^2 \in \mathbb{C} \setminus [0,+\infty)$ the absolute convergence radius is exactly $R_{\text{abs}}=1$; (ii) for irrational $b^2>0$, $R_{\text{abs}}$ is controlled by the exponential type $B_{\sup}(b^2)$, satisfying explicit exponential bounds, with $R_{\text{abs}}=0$ when $B_{\sup}(b^2)=\infty$; (iii) for rational $b^2>0$ the term-by-term sum is ill-defined because some terms are singular. Through the gauge/CFT correspondence this translates into convergence of torus one-point conformal blocks of the Virasoro and $W_N$ algebras for central charges in $\mathbb{C} \setminus [25,+\infty)$ in the Virasoro case, w

Load-bearing premise

The proof requires the adjoint mass and all Coulomb-branch differences to avoid the closure of the lattice $\varepsilon_1 \mathbb{Z} + \varepsilon_2 \mathbb{Z}$; when $\varepsilon_2$ is real and $b^2$ is irrational this closure is the entire real line, so the genericity condition excludes all real masses and real Coulomb differences, and if a denominator can approach zero the lower-bound estimates break down.

Editorial extensions

If this is right

  • For b^2∈C\[0,+∞), the instanton partition function is absolutely summable in the unit disk, so any rearrangement of the sum is legitimate; this supports constructions that resum subsets of terms, such as Higgsing limits.
  • The gauge/CFT correspondence implies that one-point torus conformal blocks of Virasoro and W_N converge in |q|<1 for generic external and internal parameters when the central charge lies outside [25,+∞) in the Virasoro case.
  • For irrational b^2>0 with finite exponential type there is a positive absolute convergence radius, so the absolute Nekrasov sum is meaningful for small coupling, with the radius explicitly bounded by Diophantine properties of b^2.
  • For super-exponentially well approximable b^2>0 the absolute sum diverges for every nonzero q, so any convergence of the physical series would have to come from systematic cancellations between terms.
  • For rational b^2>0 the term-by-term sum is ill-defined, confirming that rational ratios require special handling, such as grouping terms or cancelling poles.

Reading between the lines

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

  • If cancellations are as strong as the contour-integral representation suggests, the conditional convergence radius of the physical series may still be 1 even when the absolute radius is smaller, including for the b^2>0 cases; the paper explicitly leaves this open.
  • The same box-content counting technique should extend to 5d instanton partition functions and to related SQCD theories, potentially producing a similar Diophantine dichotomy there; the paper notes the technique appears to extend straightforwardly to the 5d setting.
  • The genericity assumption excludes masses and Coulomb differences lying on the real line ε2R, a common physical convention; a testable question is whether summing in carefully chosen groups removes the singular rational-b^2 terms and restores convergence for those parameter values.
  • The resemblance to convergence of basic hypergeometric series and of recent Virasoro fusion-kernel series suggests that exponential type may be the controlling invariant for a wider family of conformal-block expansions.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

0 major / 4 minor

Summary. The paper proves Theorem 1.1 about the absolute convergence radius R_abs of the Nekrasov instanton partition function for the 4d N=2* U(N) gauge theory, starting from the explicit sum over colored partitions (2.1), which is taken as the definition and derived from Nekrasov's residue formula in Appendix A. For generic mass and Coulomb differences (avoiding the closure of ε₁Z+ε₂Z), the theorem states: (i) for b²=ε₁/ε₂∈C\[0,+∞), R_abs=1; (ii) for irrational b²>0, R_abs is governed by the exponential type B_sup(b²), with explicit lower and upper bounds (1.6), so R_abs>0 iff B_sup<∞ and R_abs=0 for super-exponentially well approximated b²; (iii) for rational b²>0 the term-by-term sum is ill-defined due to singular terms. The proof uses box-content counting and a sublinear estimate log|Z_λμ|=O(|λ|^{1/2}log|λ|) in Section 3, a continued-fraction equidistribution analysis and averaged logarithmic bounds in Sections 4–5, and a specific family λ=(p,1^q) for upper bounds in Section 6. The AGT consequences for torus one-point conformal blocks are stated in Section 1.3.

Significance. If correct, this is a substantial advance: it establishes the optimal unit radius for generic parameters, improves the earlier positive-radius bound of [3] for b²∈C\[0,+∞), and reveals a new Diophantine dichotomy for b²>0. The paper is self-contained and unusually checkable: the central estimates (3.10), (5.23), and (6.19) are derived explicitly, the distinction between absolute and conditional convergence is handled carefully, and the main theorem is stated with its precise genericity assumptions. The scope limitation—for real b² the genericity excludes real masses and real Coulomb differences, a measure-zero but physically common slice—is explicitly acknowledged in Section 1.2 and is not an internal inconsistency. The paper also credits prior related work fairly.

minor comments (4)
  1. [Lemma 4.2] There is an index typo in the proof: in the two tasks, the bounds k∈J2,a_nK and k∈J1,a_n−1K should read a_{n+1}, since q_{n+1}=a_{n+1}q_n+q_{n−1}. The argument is otherwise valid and the typo does not affect the stated bound.
  2. [Proposition 4.6, Eq. (4.18)] Same typo: the quotient M is written as M∈J1,a_nK, but it should be M∈J1,a_{n+1}K. This is a local indexing error and does not change the proof.
  3. [Section 2.3] Minor wording: 'developped' should be 'developed'. Also, the notation ϵ₁Z+ϵ₂Z is used both for the lattice and for its closure (e.g., Eq. (2.6) and Eq. (3.12)); an overline or an explicit convention would help avoid ambiguity for readers.
  4. [Theorem 1.1 / Section 5] The passage from the bound (5.26), R_abs ≥ A e^{-8−8B_sup(b²)}, to the stated lower bound A₁ e^{-8B_sup(b²)/max(1,b²)} in (1.6) uses the b→1/b symmetry. This is valid, but a one-sentence clarification that the constant A₁ absorbs the additional e^{-8} and the transformed prefactor would improve readability.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the derivation is self-contained, with the instanton formula taken explicitly as definition and all bounds derived from arithmetic inputs rather than fitted to the conclusion.

full rationale

The paper's claimed derivation chain is self-contained. Equation (2.1) is explicitly presented as the definition of the instanton partition function ('See (2.1) for the explicit formula, which we take as a definition'), and Appendix A derives it by telescoping Nekrasov's residue formula; it is not constructed from the convergence conclusion. The lower bounds on R_abs come from explicit combinatorial estimates (Section 3, Proposition 4.6, Section 5), and the upper bounds come from explicit families of terms (Sections 2.3 and 6.2). The exponential type B_sup(b^2) is an arithmetic quantity defined from continued fractions, not a fitted parameter, and constants A1, A2, D, K are existential bounds from the estimates, not data-dependent fitted values. The theorem's genericity conditions are stated scope assumptions, and the paper explicitly flags limitations: rational b^2 > 0 is left ill-defined, conditional convergence is left open, and exceptional pole cancellation is relegated to a conjecture. The only self-citation, [12], is a review of the AGT dictionary used for a corollary translation, not as a premise of the convergence proof. No equation reduces to its inputs by construction, and no fitted parameter is renamed as a prediction.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

The central claim rests on (i) the explicit formula (2.1) for the instanton sum (external input, derived in Appendix A), (ii) genericity exclusions of measure-zero parameter sets, (iii) standard continued-fraction theory, and (iv) — only for the corollary — the AGT dictionary. No free parameters are fitted to make the derivation work: all constants (D, A, A₁, A₂, K) are existential bounds, and B_sup(b²) is computed from b² rather than adjusted. No new physical entities are postulated; the only new object is the mathematical quantity 'exponential type' B_sup(x) (Definition 4.3), a Brjuno-type measure of rational approximability — a definition, not a postulated entity.

assumptions (5)
  • domain assumption The instanton partition function equals the sum over N-tuples of Young diagrams in (2.1), obtained from Nekrasov's matrix-model residue formula.
    Explicitly taken 'as a definition of the instanton partition function' (Section 1.1); grounded in localization/residue formulas [13,14,19] and derived by telescoping in Appendix A. If (2.1) were not the correct object, the theorem would be about the wrong series.
  • domain assumption Genericity: m and a_I − a_J avoid the closure of ε₁Z + ε₂Z (and for rational b² < 0, also a_I − a_J + m avoids the lattice).
    Stated as hypotheses of Theorem 1.1; used to ensure all denominators in (2.1) are bounded away from zero (D > 0 in (3.3), (3.12); C_{α,β} < ∞ in (5.2)) and to make Section 2.3's 'extra genericity' (2.7) hold.
  • standard math Standard continued-fraction facts: convergents, the approximation bound (4.11), equidistribution Lemmas 4.1–4.2 of fractional parts of kx.
    Section 4.1 states them with 'minimal proof'; Lemma 4.1 is proven in the text, Lemma 4.2 is sketched (with the a_n/a_{n+1} typo). These are classical results.
  • domain assumption The AGT dictionary identifying the N=2* instanton sum with torus one-point conformal blocks of Virasoro/W_N with the stated dictionary parameters (Section 1.3).
    Endows the corollary (convergence of conformal blocks for c ∈ C\[25,∞)) with meaning; cited to [1,12,19], not proven here. The main theorem does not depend on AGT.
  • standard math The number of N-tuples of partitions of total size k grows subexponentially, so the liminf formula (2.2)=(B.1) gives the absolute convergence radius.
    Proven in Appendix B using the standard generating function Π(1−x^j)^{−1} of partition numbers.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Convergence of Nekrasov instanton sum with adjoint matter." pith.science (2026). https://pith.science/paper/CPDBBNFQ

@misc{pith2026260219425,
  author       = {Pith},
  title        = {Pith review of: Convergence of Nekrasov instanton sum with adjoint matter},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/CPDBBNFQ}},
  note         = {Machine review of arXiv:2602.19425}
}
abstract

The Nekrasov instanton partition function of the 4d $\mathcal{N}=2^*$ $U(N)$ gauge theory (a mass deformation of 4d $\mathcal{N}=4$ super-Yang-Mills theory), which is a generating series of equivariant integrals over instanton moduli spaces, is given by a sum over colored partitions weighted by a counting parameter $\mathfrak{q}$. This note proves convergence of the series in the unit disk $|\mathfrak{q}|<1$ for generic parameters. Specifically, the absolute convergence radius of this sum is determined, assuming that mass and Coulomb branch parameters avoid some lattice. If the ratio $b^2=\epsilon_1/\epsilon_2$ of equivariant parameters is in $\mathbb{C}\setminus[0,+\infty)$, the radius is $1$, as expected. If $b^2$ is non-negative, three cases arise: the radius is finite if $b^2$ has finite exponential type (a generalization of Brjuno numbers), namely there exists $C>0$ such that $|b^2-p/q|>\exp(-Cq)$ for all integers $p,q\neq 0$; the series diverges if $b^2$ is super-exponentially well approximable by rationals; and if $b^2$ is rational some terms are singular. The AGT correspondence translates these results to convergence of torus one-point conformal blocks of the Virasoro and $W_N$ algebras with non-real $b$, within the unit disk. For the Virasoro algebra this corresponds to a central charge in $\mathbb{C}\setminus[25,+\infty)$.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Exponentiation of higher-point and higher-genus Virasoro conformal blocks in the semiclassical limit

    hep-th 2026-06 unverdicted novelty 6.0 of 10

    Extends the exponentiation of Virasoro conformal blocks in the semiclassical limit to higher-point and higher-genus cases at the level of formal power series using an extended oscillator method.

Reference graph

Works this paper leans on

19 extracted references · cited by 1 Pith paper

  1. [3]

    On the Convergence of Nekrasov Functions.Annales Henri Poincare, 25(4):2389–2425, 2024

    Paolo Arnaudo, Giulio Bonelli, and Alessandro Tanzini. On the Convergence of Nekrasov Functions.Annales Henri Poincare, 25(4):2389–2425, 2024

    2024

  2. [1]

    Alday, Davide Gaiotto, and Yuji Tachikawa

    Luis F. Alday, Davide Gaiotto, and Yuji Tachikawa. Liouville Correlation Functions from Four-dimensional Gauge Theories.Lett. Math. Phys., 91:167– 197, 2010

    2010

  3. [2]

    Black Hole Quasinormal Modes and Seiberg–Witten Theory.Annales Henri Poincare, 23(6):1951– 1977, 2022

    Gleb Aminov, Alba Grassi, and Yasuyuki Hatsuda. Black Hole Quasinormal Modes and Seiberg–Witten Theory.Annales Henri Poincare, 23(6):1951– 1977, 2022

    1951

  4. [4]

    On the greatest common divisor of integer parts of polynomials.Michigan Mathematical Journal, 75(3):451–469, 2025

    William Banks and Igor E Shparlinski. On the greatest common divisor of integer parts of polynomials.Michigan Mathematical Journal, 75(3):451–469, 2025

    2025

  5. [5]

    M. A. Bershtein and A. I. Shchechkin. q-deformed Painlev´ eτ function and q-deformed conformal blocks.J. Phys. A, 50(8):085202, 2017

    2017

  6. [6]

    Analyticity of Nekrasov Parti- tion Functions.Commun

    Giovanni Felder and Martin M¨ uller-Lennert. Analyticity of Nekrasov Parti- tion Functions.Commun. Math. Phys., 364(2):683–718, 2018. 32

    2018

  7. [7]

    Gamayun, N

    O. Gamayun, N. Iorgov, and O. Lisovyy. Conformal field theory of Painlev´ e VI.JHEP, 10:038, 2012. [Erratum: JHEP 10, 183 (2012)]

    2012

  8. [8]

    Probabilistic conformal blocks for Liouville CFT on the torus.Duke Math

    Promit Ghosal, Guillaume Remy, Xin Sun, and Yi Sun. Probabilistic conformal blocks for Liouville CFT on the torus.Duke Math. J., 173(6):1085– 1175, 2024

    2024

Show all 19 references
  1. [9]

    Convergence in Conformal Field Theory.Chin

    Yi-Zhi Huang. Convergence in Conformal Field Theory.Chin. Ann. Math. B, 43(6):1101–1124, 2022

    2022

  2. [10]

    Iorgov, O

    N. Iorgov, O. Lisovyy, and J. Teschner. Isomonodromic tau-functions from Liouville conformal blocks.Commun. Math. Phys., 336(2):671–694, 2015

    2015

  3. [11]

    The Refined topological vertex

    Amer Iqbal, Can Kozcaz, and Cumrun Vafa. The Refined topological vertex. JHEP, 10:069, 2009

    2009

  4. [12]

    A slow review of the AGT correspondence.J

    Bruno Le Floch. A slow review of the AGT correspondence.J. Phys. A, 55(35):353002, 2022

    2022

  5. [13]

    Equivariant volumes of non-compact quotients and instanton counting.Commun

    Johan Martens. Equivariant volumes of non-compact quotients and instanton counting.Commun. Math. Phys., 281:827–857, 2008

    2008

  6. [14]

    Nekrasov

    Nikita A. Nekrasov. Seiberg-Witten prepotential from instanton counting. Adv. Theor. Math. Phys., 7(5):831–864, 2003

    2003

  7. [15]

    Nekrasov and Samson L

    Nikita A. Nekrasov and Samson L. Shatashvili. Quantization of Integrable Systems and Four Dimensional Gauge Theories. In16th International Congress on Mathematical Physics, pages 265–289, 2010

    2010

  8. [16]

    Isomonodromy, Painlev´ e transcendents and scattering off of black holes.JHEP, 07:132, 2014

    F´ abio Novaes and Bruno Carneiro da Cunha. Isomonodromy, Painlev´ e transcendents and scattering off of black holes.JHEP, 07:132, 2014

    2014

  9. [17]

    On convergence of basic hypergeometric series, 2015

    Toshio Oshima. On convergence of basic hypergeometric series, 2015

    2015

  10. [18]

    On the Virasoro fusion and modular kernels at any irrational central charge.SciPost Phys., 17(5):138, 2024

    Julien Roussillon. On the Virasoro fusion and modular kernels at any irrational central charge.SciPost Phys., 17(5):138, 2024

    2024

  11. [19]

    Springer International Publishing, Cham, 2016

    Yuji Tachikawa.A Review on Instanton Counting and W-Algebras, pages 79–120. Springer International Publishing, Cham, 2016. 33

    2016

Pith tools

Reviewed August 2, 2026 · model on record in the stance chip above.