Pith. Sign in

REVIEW

Instantons and recursion relations in N=2 Susy gauge theory

High Energy Physics - Theory · Submitted 15 Jun 1995 · 12 references

Pith's verdict: This is the Matone relation paper, and the central identity, the modular invariance, and the recursion all hold up; the only real gap is a one-line B=0 check that the author asserts instead of displaying.

T0 · AI review

How this review was made: An AI referee (selfhosted/deepseek-v4.1-flash) read the paper on October 29, 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 →

· 4 major objections · 7 minor · Ask about this paper · The compiled record · Read the full review →
Challenge this review Comment (0) Read on arXiv ↗
Cite ▾
arXiv IDhep-th/9506102 (version 1)
Pith IDPNINZOQX, Pith's permanent record of this paper and its review
CitationMarco Matone. "Instantons and recursion relations in N=2 Susy gauge theory." arXiv:hep-th/9506102 (1995). https://pith.science/paper/PNINZOQX
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

A single non-linear differential equation, built from the prepotential of N=2 supersymmetric SU(2) gauge theory, is claimed to generate every instanton correction from one seed term.

The reading

The paper asks what actually fixes the nonperturbative part of the low-energy effective action of $N=2$ supersymmetric $SU(2)$ gauge theory. The answer is packaged in the prepotential $F(a)$, whose expansion in powers of $a$ contains a one-loop logarithm plus an infinite tower of instanton corrections. The author isolates the combination $G(a) = i(F - (1/2)a F'(a))$, shows it is invariant under the modular transformations that mix the electric and magnetic periods, and shows it obeys the non-linear equation $(1-G^2)G'' + (1/4)a (G')^3 = 0$. Because the coefficients of $G$ are proportional to the instanton coefficients, that equation is a recursion: once the leading term $G_0 = 1/2$ is inserted, every higher coefficient is determined in turn. The paper also identifies $G$ with the inverse of the modulus map, $u = G(a)$, and writes $F$ explicitly as a function of $u$ through a double integral.

What carries the argument

The load-bearing device is the uniformization of the thrice-punctured sphere: the moduli coordinate $u$ is written as a ratio of two solutions of a second-order equation whose potential is a Schwarzian derivative, so that the periods $a$ and $a_D$ become a flat section with monodromy in $Gamma(2)$. The reduction $(d^2/du^2 + (3+u^2)/(4(1-u^2)^2)) sqrt{1-u^2} d/du = (1/sqrt{1-u^2}) d/du [(1-u^2)d^2/du^2 - 1/4]$ is what makes the periods solve a second-order equation with constant Wronskian, and that constant Wronskian is what lets the author trade the modulus $u$ for the special coordinate $a$ and obtain a closed equation for $G(a)$.

Extended reading notes

Core claim

The central claim is that the whole instanton expansion of the $SU(2)$ prepotential is governed by one ordinary differential equation. The author first derives the modular transformation law of $F$ under the monodromy group of the quantum moduli space, finding that $F$ shifts by a quadratic polynomial in $a$ and $a_D$ while the combination $G(a) = i(F - (1/2)a F'(a))$ is left untouched. Using uniformization theory, he shows that $a$ and $a_D$ both solve the second-order equation $[(1-u^2)d^2/du^2 - 1/4] = 0$, whose Wronskian is a constant, and that this flatness is what reduces the third-order uniformizing equation to second order. Rewriting that equation in the variable $a$ rather than $u$ turns it into $(1-G^2)G'' + (1/4)a (G')^3 = 0$ for $G$, and expanding $G = sum_k G_k a^{2-4k}$ with $G_k = 2 i k F_k$ converts the differential equation into a recursion for the $G_k$. The author also reports $u = G(a)$ and $a a_D' - a_D a' = 2i/pi$, and checks the first few coefficients against previously computed instanton contributions.

Load-bearing premise

The derivation leaves an additive constant undetermined in the differential equation for $G$, and the paper removes it by asserting that only one choice cancels the negative powers of $a$ in the expansion, without displaying the check.

Editorial extensions

If this is right

  • Every instanton coefficient of the $SU(2)$ prepotential is fixed by the recursion generated from the single seed $G_0 = 1/2$, with no further input from the Seiberg-Witten curve at each order.
  • The modular-invariant function $G$ doubles as the inverse modulus map, $u = G(a)$, so the relation between the microscopic modulus and the special coordinate is obtained directly rather than by inverting a series.
  • The constant Wronskian $a a_D' - a_D a' = 2i/pi$ gives an explicit handle for locating the curve where $Im(a_D/a) = 0$, the locus of marginal stability.
  • The author states the construction extends to more general gauge groups and matter content, so the same differential-equation route to instanton coefficients is proposed as a template rather than a one-off computation.
  • The first computed coefficients reproduce those obtained by independent series inversion, which is offered as evidence that the recursion is correctly normalised.

Reading between the lines

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

  • The identification $u = G(a)$ says the modulus is essentially the Legendre-type transform of the prepotential with respect to $a$; read that way, the paper's equation is a statement about a generating function whose conjugate variable is the coordinate itself, which suggests the pattern could be tested in rank-one theories with matter hypermultiplets.
  • If the recursion is exact, the radius of convergence of the instanton series should be set by the singular points of $G$, so the singularities of the differential equation ought to line up with the strong-coupling points of the moduli space; that is a structural prediction a reader could check directly.
  • The step that discards an additive constant in $G$ is asserted rather than shown, and a nonzero constant would change the coefficients of the recursion; computing a few higher orders independently would settle this cheaply.
  • Because the equation is first order in $G'$ after a substitution, one could look for a closed-form first integral, which would turn the recursion into an explicit generating function rather than an order-by-order procedure.
Original abstract

We find the transformation properties of the prepotential ${\cal F}$ of $N=2$ SUSY gauge theory with gauge group $SU(2)$. In particular we show that ${\cal G}(a)=\pi i\left({\cal F}(a)-{1\over 2}a\partial_a{\cal F}(a)\right)$ is modular invariant. This function satisfies the non-linear differential equation $\left(1-{\cal G}^2\right){\cal G}''+{1\over 4}a {{\cal G}'}^3=0$, implying that the instanton contribution are determined by recursion relations. Finally, we find $u=u(a)$ and give the explicit expression of ${\cal F}$ as function of $u$. These results can be extended to more general cases.

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, 4,340 input tokens, $0.0002 reported.

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

The abstract, sentence by sentence

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

We find the transformation properties of the prepotential ${\cal F}$ of $N=2$ SUSY gauge theory with gauge group $SU(2)$. In particular we show that ${\cal G}(a)=\pi i\left({\cal F}(a)-{1\over 2}a\partial_a{\cal F}(a)\right)$ is modular invariant. This function satisfies the non-linear differential equation $\left(1-{\cal G}^2\right){\cal G}''+{1\over 4}a {{\cal G}'}^3=0$, implying that the instanton contribution are determined by recursion relations. Finally, we find $u=u(a)$ and give the explicit expression of ${\cal F}$ as function of $u$. These results can be extended to more general cases.

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 We find the transformation properties of the prepotential ${\cal F}$ of $N=2$ SUSY gauge theory with gauge group $SU(2)$. contribution 0.93 0.95 0.14 asserted 1.00
s1 In particular we show that ${\cal G}(a)=\pi i\left({\cal F}(a)-{1\over 2}a\partial_a{\cal F}(a)\right)$ is modular invariant. result 0.99 0.93 0.27 asserted 1.00
s2 This function satisfies the non-linear differential equation $\left(1-{\cal G}^2\right){\cal G}''+{1\over 4}a {{\cal G}'}^3=0$, implying that the instanton contribution are determined by recursion relations. result 0.79 0.90 0.45 asserted 1.00
s3 Finally, we find $u=u(a)$ and give the explicit expression of ${\cal F}$ as function of $u$. result 0.98 0.96 0.15 asserted 1.00
s4 These results can be extended to more general cases. future work 0.62 0.44 0.06 hedged possibility 0.69

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

What was examined, and what was not

sources read
  • arXiv listing abstract v1
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

100 later papers cite it

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

Pith read 19 of the 118 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 8 of 23 papers with this label
How the literature uses it

96 arXiv papers cite this in 115 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 · 70 sentences without a confident label

Builds on it 5 papers
Uses its method or tool 23 papers
  • Using the connection formulas of Heun equation [ref] , the retarded thermal correlator can be formally written as (see [ref] ) G_R(ω,p)=r_h^4a_1 e^-∂_a_1F ∑_σ'=±ℳ_-σ'(a_t_0,a;a_0)ℳ_(-σ')+(a,a_1;a_∞)t^σ' ae^-σ'/2∂_a F/∑_σ=±ℳ_-σ(a_t_0,a;a_0)ℳ_(-σ)-(a,a_1;a_∞)t^σae^-σ/2∂_a F , where $a$ satisfies the Matone relation [ref] u=-a^2+a_t_0^2-14+a_0^2+t_0 ∂_t_0 F , We also have ℳ_θθ'(α_0,α_1;α_2)=Γ(-2θ'α_1)Γ(1+2θ'α_0)Γ(12+α_2+θα_0-θ' α_1)Γ(12-α_2+θα_0-θ' α_1) .

    Bouncing singularities and thermal correlators on line defects · Wave equations as Heun equations · 1.00

  • This is not trivial, but it can be done systematically by using recursive techniques, akin to the Matone relation [ref] .

    The exact 8d chiral ring from 4d recursion relations · Introduction · 0.97

  • In order to compute it, we have to Fourier transform [ref] bringing it in the form of a difference equation [ref] , whose integrability condition can be written as a continued fraction: P_0(a)=M(a+1)/P_0(a+1)-M(a+2)/P_0(a+2)-...+M(a)/P_0(a-1)-M(a-1)/P_0(a-1)-... with M(x)=ΛP_L(x-1/2)P_R(x-1/2) Equation [ref] with [ref] can be solved for $u(a,Λ)$ order by order in $Λ$, getting [equation] We can invert this series in order to obtain [equation] The Nekrasov-Shatashvili (NS) prepotential $ℱ_NS(a,Λ)$ is obtained by integrating the quantum version of the Matone relation [ref] u=-Λ∂ℱ_NS(a,Λ)/∂Λ Furthermore, we have to add a $Λ$-indipendent constant obtained from the one-loop prepotential, so that ℱ_NS(a,Λ)=ℱ_tree(a,Λ)+ℱ_1-loop(a)+ℱ_inst(a,Λ) where [equation] Finally, the $a_D-$period is given by a_D=-1/2πi ∂ℱ_NS/∂a QNM frequencies are obtained by imposing the exact quantization condition [ref]

    Charge (in)stability and superradiance of Topological Stars · Quantum Seiberg-Witten periods · 0.85

Compares with it 3 papers
Cites it as background 12 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.