arxiv: 2512.13934 · v2 · submitted 2025-12-15 · ✦ hep-th

Recognition: 2 theorem links

· Lean Theorem

One constant to rule them all

Aleksei Bykov , Ekaterina Sysoeva

Authors on Pith no claims yet

Pith reviewed 2026-05-16 21:28 UTC · model grok-4.3

classification ✦ hep-th

keywords N=2 gauge theorySU(N)S-dualitycoupling matrixinstanton recursionmodular functionsZ_N symmetryfundamental hypermultiplets

0 comments

The pith

Symmetry fixes the coupling matrix of N=2 SU(N) theories with 2N hypermultiplets to floor(N/2) constants, one of which is distinguished in S-duality, asymptotics, and instanton recursion.

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

The paper examines the coupling matrix for N=2 SU(N) gauge theories with 2N fundamental hypermultiplets placed in a special vacuum that preserves a residual Z_N symmetry. Using only symmetry and dimensional arguments, it determines the general form of this matrix and identifies a natural basis consisting of floor(N/2) independent coupling constants. In the massless limit these constants transform separately under S-duality, so that the bare coupling becomes a modular function of any one of them, yet one particular constant emerges as distinguished because it controls both the asymptotic regime and the instanton recursion relation. When masses are introduced the overall structure deforms, but the distinguished coupling retains its privileged status. A reader cares because the result points to a hidden reduction in the number of independent parameters needed to describe strong-weak duality in higher-rank supersymmetric theories.

Core claim

Using symmetry and dimensional arguments, the coupling matrix takes a form determined by floor(N/2) constants in their most natural basis. In the massless theory these couplings transform independently under S-duality and the bare coupling is a modular function of any of them. One coupling constant, however, plays a distinguished role, emerging in the asymptotic regime and in the instanton recursion relation. In the massive case this structure is deformed but the distinguished coupling retains its privileged role.

What carries the argument

The natural basis of floor(N/2) coupling constants for the coupling matrix under Z_N symmetry, inside which one member is distinguished by its appearance in asymptotics and instanton recursion.

If this is right

The bare coupling is a modular function of any of the floor(N/2) independent couplings.
The floor(N/2) couplings in the natural basis transform independently under S-duality.
The distinguished coupling controls the asymptotic behavior of the theory.
The instanton recursion relations depend only on the distinguished coupling.
Mass deformations alter the relations yet leave the distinguished coupling in its privileged position.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The reduction implies that effective descriptions of duality in special vacua of higher-rank N=2 theories can often be captured by far fewer parameters than the naive count of independent couplings.
Similar simplifications may appear in the Seiberg-Witten geometry or integrable structures associated with these vacua.
Direct calculations of the coupling matrix for small fixed N would provide a concrete test of both the count floor(N/2) and the singled-out status of one constant.
The persistence of the distinguished role under mass deformation suggests the pattern may survive other deformations of the theory.

Load-bearing premise

Symmetry and dimensional arguments alone are sufficient to uniquely fix the general form of the coupling matrix and to identify its natural basis without additional dynamical input.

What would settle it

An explicit one-loop or instanton computation of the coupling matrix for N=3 or N=4 that fails to produce exactly floor(N/2) independent constants or that shows the recursion relations depending on more than one coupling would disprove the claim.

read the original abstract

We study the coupling matrix of $\mathcal{N}=2$ $SU(N)$ gauge theories with $2N$ fundamental hypermultiplets in the special vacuum, where a residual $\mathbb{Z}_N$ symmetry restores nontrivial modular structure. Using symmetry and dimensional arguments, we construct its general form and identify $\lfloor N/2 \rfloor$ coupling constants in their most natural basis. We show that in the massless theory these couplings transform independently under $S$-duality and that the bare coupling is a modular function of any of them. One coupling constant, however, plays a distinguished role, emerging in the asymptotic regime and in instanton recursion relation. In the massive case, this structure is deformed but the distinguished coupling retains its privileged role.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper reorganizes the coupling matrix in these N=2 SU(N) theories via Z_N symmetry and flags one distinguished constant that keeps its role with masses, but the uniqueness from symmetry plus dimensions alone is the spot to verify.

read the letter

The main point of this paper is a reorganization of the gauge coupling matrix in N=2 SU(N) theories with 2N fundamental hypermultiplets, in the special vacuum that keeps a Z_N symmetry. They end up with floor(N/2) independent couplings in a natural basis, and one of them turns out to be special because it shows up in the asymptotic behavior and the instanton recursion relations. That special role carries over to the massive version of the theory. What they do well is use the residual symmetry to cut down the number of parameters and demonstrate that the couplings transform independently under S-duality. The observation that the bare coupling is a modular function of any of them is a nice structural result. The claim that one particular coupling plays the distinguished role is the actual new content, and it's presented for both massless and massive cases. The potential weak point is whether symmetry and dimensional arguments are enough to fix the general form uniquely. The stress-test note points out that without input from the Seiberg-Witten curve or explicit instanton corrections, the distinguished coupling might just be an artifact of the basis choice. If the paper walks through how the recursion relation picks it out explicitly, that would address it. Otherwise the uniqueness step feels like it could use more support. This paper is for people who work on exact solutions and dualities in supersymmetric gauge theories. A reader interested in modular forms and instanton counting in these models will find the organization useful. It is not a broad result but it is a concrete one. I would recommend sending it to peer review. The topic is narrow but the claim is checkable, and referees in this area can test the derivation against known cases for small N.

Referee Report

3 major / 2 minor

Summary. The manuscript studies the coupling matrix of N=2 SU(N) gauge theories with 2N fundamental hypermultiplets in the special vacuum with residual Z_N symmetry. Using symmetry and dimensional arguments, it constructs the general form of this matrix and identifies floor(N/2) independent coupling constants in a natural basis. These couplings transform independently under S-duality, with the bare coupling expressed as a modular function of any of them. One coupling is shown to play a distinguished role in the asymptotic regime and instanton recursion relations; the structure deforms in the massive case but the distinguished coupling retains its privileged status.

Significance. If the symmetry and dimensional arguments rigorously determine the coupling matrix without additional geometric input, the result would simplify the description of moduli-space structure and S-duality in these theories, highlighting a single coupling that controls both perturbative asymptotics and non-perturbative recursion. This could offer a useful organizing principle for instanton corrections and modular properties in N=2 gauge theories.

major comments (3)

[§3] §3 (construction of the coupling matrix): the assertion that residual Z_N symmetry plus dimensional analysis uniquely fixes the general form and selects the natural basis with exactly floor(N/2) independent constants is load-bearing for all subsequent claims, yet the derivation does not explicitly demonstrate that the holomorphic structure of the Seiberg-Witten curve or explicit instanton data are not required to remove additional freedom.
[§4.2] §4.2 (instanton recursion): the claim that one specific coupling emerges in the recursion relation is central to identifying its distinguished role, but the text does not show the explicit recursion formula or the step at which the other floor(N/2)-1 couplings drop out, leaving open the possibility that the distinction is basis-dependent rather than structural.
[§5] §5 (massive deformation): while the distinguished coupling is stated to retain its privileged role after deformation, no explicit deformed recursion relation or asymptotic expansion is provided to verify that the selection mechanism survives the mass deformation.

minor comments (2)

The definition of the 'natural basis' is introduced without a clear criterion for naturalness; a short paragraph explaining why this basis is preferred over other Z_N-invariant bases would improve readability.
Notation for the coupling constants (e.g., tau_i versus tau) is used inconsistently in the early sections; a single consistent symbol set would help.

Simulated Author's Rebuttal

3 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments on our manuscript. We address each major point below and will incorporate clarifications and explicit derivations in the revised version to strengthen the presentation.

read point-by-point responses

Referee: [§3] §3 (construction of the coupling matrix): the assertion that residual Z_N symmetry plus dimensional analysis uniquely fixes the general form and selects the natural basis with exactly floor(N/2) independent constants is load-bearing for all subsequent claims, yet the derivation does not explicitly demonstrate that the holomorphic structure of the Seiberg-Witten curve or explicit instanton data are not required to remove additional freedom.

Authors: The coupling matrix is determined entirely within the low-energy effective action by the residual Z_N symmetry of the special vacuum together with holomorphy and dimensional analysis. The Seiberg-Witten curve encodes equivalent information but is not needed to fix the allowed functional form or to count the independent constants; any additional holomorphic constraint from the curve would be redundant with the symmetry requirements already imposed. To make this explicit, we will add a short subsection in §3 that performs the parameter count step by step and shows why further input from the curve or instanton calculus is unnecessary at this level. revision: yes
Referee: [§4.2] §4.2 (instanton recursion): the claim that one specific coupling emerges in the recursion relation is central to identifying its distinguished role, but the text does not show the explicit recursion formula or the step at which the other floor(N/2)-1 couplings drop out, leaving open the possibility that the distinction is basis-dependent rather than structural.

Authors: We agree that the explicit recursion formula is required to demonstrate the structural character of the distinction. In the revision we will insert the full instanton recursion relation (derived from the Z_N-invariant instanton partition function) into §4.2 and walk through the algebraic steps at which the remaining couplings cancel or decouple, leaving only the distinguished coupling in the leading term. This will also clarify that the selection is independent of the choice of basis within the natural set of floor(N/2) constants. revision: yes
Referee: [§5] §5 (massive deformation): while the distinguished coupling is stated to retain its privileged role after deformation, no explicit deformed recursion relation or asymptotic expansion is provided to verify that the selection mechanism survives the mass deformation.

Authors: We accept that explicit expressions are needed to confirm survival of the mechanism under mass deformation. The revised §5 will contain the deformed recursion relation (obtained by introducing Z_N-compatible mass parameters) together with the leading terms of the asymptotic expansion in the massive theory. These will show that the distinguished coupling continues to control the leading perturbative and instanton contributions while the other couplings enter only at higher orders. revision: yes

Circularity Check

0 steps flagged

No circularity detected; derivation is self-contained via symmetry arguments

full rationale

The paper constructs the coupling matrix form explicitly from residual Z_N symmetry and dimensional analysis, then identifies floor(N/2) independent constants in a natural basis. The distinguished coupling is shown to emerge in the asymptotic regime and instanton recursion as a derived feature, not an input. Claims of independent S-duality transformations and modular functions follow directly from this construction without reduction to fitted parameters, self-citations, or prior ansatze by the same authors. The massless and massive cases are handled by deformation of the same symmetry-derived structure. No load-bearing step reduces by construction to the paper's own inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The paper's claims rest on the assumption that symmetry and dimensional arguments are adequate to fix the coupling matrix structure, with the distinguished role emerging from the analysis of S-duality and instanton relations.

axioms (1)

domain assumption Symmetry and dimensional arguments suffice to determine the general form of the coupling matrix in the special vacuum with residual Z_N symmetry.
This is used to identify the floor(N/2) coupling constants and their transformation properties.

pith-pipeline@v0.9.0 · 5414 in / 1286 out tokens · 44752 ms · 2026-05-16T21:28:03.678203+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Using symmetry and dimensional arguments, we construct its general form and identify floor(N/2) coupling constants in their most natural basis.
IndisputableMonolith/Foundation/RealityFromDistinction.lean reality_from_one_distinction unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

One coupling constant, however, plays a distinguished role, emerging in the asymptotic regime and in instanton recursion relation.

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

10 extracted references · 10 canonical work pages · 9 internal anchors

[2]

Monopoles, Duality and Chiral Symmetry Breaking in N=2 Supersymmetric QCD

N. Seiberg and E. Witten, hep-th/9408099, Nucl. Phys. B431 (1994) 484

work page internal anchor Pith review Pith/arXiv arXiv 1994
[3]

Liouville Correlation Functions from Four-dimensional Gauge Theories

L.F. Alday, D. Gaiotto, Y. Tachikawa, “Liouville Correlation Functions from Fourdimensional Gauge Theories”, Lett. Math. Phys. 91: 167-197, 2010, [arXiv:0906.3219]

work page internal anchor Pith review Pith/arXiv arXiv 2010
[4]

J. A. Minahan and D. Nemeschansky, N=2 superYang-Mills and subgroups of SL(2,Z), Nucl. Phys. B468 (1996) 7284 arXiv:hep-th/9601059

work page internal anchor Pith review Pith/arXiv arXiv 1996
[5]

S-duality, triangle groups and modular anomalies in N=2 SQCD

Ashok, S. K., Dell’Aquila, E., Lerda, A. and Raman, M. S-duality, triangle groups and modular anoma- lies in N=2 SQCD. J. High Energ. Phys. 2016, 1–53 (2016), arXiv: 1601.01827

work page internal anchor Pith review Pith/arXiv arXiv 2016
[6]

Aleksei Bykov, Ekaterina Sysoeva, Zamolodchikov recurrence relation and modular properties of effective coupling inN= 2 SQCD, arXiv:2507.20876 [hep-th] 21

work page arXiv
[7]

Non-perturbative gauge/gravity correspondence in N=2 theories

M. Billo, M. Frau, F. Fucito, L. Giacone, A. Lerda, J. F. Morales, and D. R. Pacifici,Non-perturbative gauge/gravity correspondence in N=2 theories, JHEP 08 (2012) 166 arXiv:1206.3914v1 [hep-th]

work page internal anchor Pith review Pith/arXiv arXiv 2012
[8]

Seiberg-Witten Theory and Random Partitions

Nikita Nekrasov, Andrei Okounkov,Seiberg-Witten theory and random partitions, Prog.Math. 244 (2003) 525-596 arXiv:hep-th/0306238v2

work page internal anchor Pith review Pith/arXiv arXiv 2003
[9]

Seiberg-Witten Prepotential From Instanton Counting

Nikita Nekrasov,Seiberg-Witten Prepotential from Instanton Counting, Advances in Theoretical and Mathematical Physics. 7(5) (2003) 831-864 arXiv:hep-th/0206161

work page internal anchor Pith review Pith/arXiv arXiv 2003
[10]

Monopole Condensation, And Confinement In N=2 Supersymmetric Yang-Mills Theory

N. Seiberg, E. Witten,Electric - magnetic duality, monopole condensation, and confinement in N=2 supersymmetric Yang-Mills theory, Nucl. Phys. B. 426(1) (1994) 19–52 arXiv:hep-th/9407087v1

work page internal anchor Pith review Pith/arXiv arXiv 1994
[11]

P. C. Argyres and A. Buchel,The Nonperturbative gauge coupling of N=2 supersymmetric theories, Phys.Lett. B442 (1998) 180–184 arXiv:hep-th/9806234v2 22

work page internal anchor Pith review Pith/arXiv arXiv 1998