Recognition: 2 theorem links
· Lean TheoremShell formulas for instantons and gauge origami
Pith reviewed 2026-05-16 19:39 UTC · model grok-4.3
The pith
A shell formula unifies closed-form expressions and recursion relations for instanton partition functions whose poles are classified by Young diagrams of arbitrary dimension.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We introduce the shell formula-a framework that unifies the description of partition functions whose pole structures are classified by Young diagrams of arbitrary dimension. The formalism yields explicit closed-form expressions and recursion relations for a wide range of physical systems, including instanton partition functions of 5d pure super Yang-Mills theory with classical gauge groups, as well as gauge origami configurations such as the magnificent four, tetrahedron instantons, spiked instantons, and Donaldson-Thomas invariants in C^3 and C^4.
What carries the argument
The shell formula, a unifying expression generator that acts on pole structures classified by Young diagrams of arbitrary dimension.
If this is right
- Closed-form expressions appear for instanton partition functions of 5d pure super Yang-Mills with all classical gauge groups.
- Recursion relations follow for the magnificent four and tetrahedron instanton configurations.
- Similar closed forms and recursions hold for spiked instantons and Donaldson-Thomas invariants in C^3 and C^4.
- The same machinery applies whenever a partition function's poles are classified by higher-dimensional Young diagrams.
Where Pith is reading between the lines
- If the classification extends to other supersymmetric theories, the formula could generate expressions for additional gauge groups or dimensions without new case analysis.
- The combinatorial structure might link directly to known identities in representation theory or algebraic geometry for counting invariants.
- Numerical checks at low instanton numbers for a classical group would provide an immediate test of the recursions.
Load-bearing premise
The pole structures of the partition functions admit a uniform classification by Young diagrams of arbitrary dimension that permits one formula to produce all the listed expressions and recursions.
What would settle it
An explicit mismatch between the shell formula output and an independently computed instanton partition function for SU(2) 5d SYM at a fixed instanton number, obtained by other methods such as localization or direct integration.
read the original abstract
We introduce the shell formula-a framework that unifies the description of partition functions whose pole structures are classified by Young diagrams of arbitrary dimension. The formalism yields explicit closed-form expressions and recursion relations for a wide range of physical systems, including instanton partition functions of 5d pure super Yang-Mills theory with classical gauge groups, as well as gauge origami configurations such as the magnificent four, tetrahedron instantons, spiked instantons, and Donaldson-Thomas invariants in $\mathbb{C}^3$ and $\mathbb{C}^4$.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript introduces the shell formula as a unifying framework for partition functions whose pole structures are classified by Young diagrams of arbitrary dimension. It derives explicit closed-form expressions and recursion relations for the instanton partition functions of 5d pure super Yang-Mills theory with classical gauge groups, as well as for gauge origami configurations including the magnificent four, tetrahedron instantons, spiked instantons, and Donaldson-Thomas invariants in C^3 and C^4.
Significance. If the derivations hold, the shell formula would provide a valuable unifying tool for computing and relating instanton and DT partition functions across dimensions, potentially simplifying calculations in supersymmetric gauge theories and algebraic geometry by replacing case-by-case residue computations with a single recursive structure.
major comments (2)
- [Abstract] Abstract: the central unification claim requires that a single shell formula reproduces known results for both 5d SYM (standard 2d Young diagrams) and higher origami (plane partitions or 3d diagrams) via uniform pole classification; the text must explicitly show how equivariant weights, dimension shifts, and residue contours are encoded without system-specific redefinitions of the shell or normalizations.
- [Main derivation] The recursion relations and closed forms for the 5d pure SYM cases with classical groups need direct verification against established literature expressions (e.g., via explicit low-rank examples) to confirm they are parameter-free and not implicitly fitted.
minor comments (1)
- [Introduction] Clarify the precise definition of the shell formula with an introductory example computation for a low-dimensional case to aid readability.
Simulated Author's Rebuttal
We thank the referee for the careful reading and constructive comments on our manuscript. We address the major comments point by point below, agreeing where revisions will strengthen the presentation of the unifying shell formula.
read point-by-point responses
-
Referee: [Abstract] Abstract: the central unification claim requires that a single shell formula reproduces known results for both 5d SYM (standard 2d Young diagrams) and higher origami (plane partitions or 3d diagrams) via uniform pole classification; the text must explicitly show how equivariant weights, dimension shifts, and residue contours are encoded without system-specific redefinitions of the shell or normalizations.
Authors: We agree that explicit demonstration of uniformity strengthens the central claim. The shell formula is defined once for Young diagrams of arbitrary dimension d, with equivariant weights, dimension shifts, and residue contours encoded uniformly through the general pole structure and the single parameter d (d=2 for standard 2d diagrams in 5d SYM; d=3 for plane partitions in origami). In the revised manuscript we will add a dedicated paragraph and explicit mapping table in the introduction, showing the encoding for 5d SYM versus the magnificent four without any system-specific redefinitions of the shell or normalizations. revision: yes
-
Referee: [Main derivation] The recursion relations and closed forms for the 5d pure SYM cases with classical groups need direct verification against established literature expressions (e.g., via explicit low-rank examples) to confirm they are parameter-free and not implicitly fitted.
Authors: The recursions and closed forms follow directly from specializing the general shell formula to 2d diagrams and classical groups, with no free parameters introduced. To provide the requested direct verification we will add, in the revised version, explicit low-rank computations (SU(2) and SO(3)) together with side-by-side numerical and symbolic comparison to the known expressions in the 5d instanton literature, confirming exact agreement. revision: yes
Circularity Check
No significant circularity; new shell formula framework introduced as independent unification
full rationale
The paper defines and introduces the shell formula as a new framework for unifying partition functions classified by Young diagrams of arbitrary dimension. It then applies this to derive closed-form expressions and recursions for known systems (5d SYM instantons, gauge origami configurations). No equations or steps are exhibited that reduce the claimed predictions or central results to fitted inputs, self-citations, or prior definitions by construction. The derivation chain is self-contained as a novel formalism rather than a renaming or self-referential fit of existing results.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption Partition functions of the listed systems have pole structures classifiable by Young diagrams of arbitrary dimension.
invented entities (1)
-
shell formula
no independent evidence
Lean theorems connected to this paper
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
Definition 2.4 (J-factor). J(x | Y_A) ≡ ∏_{y in S(Y_A)} sh(x - X_A(y))^{Q_{Y_A}(y)} with shell S(Y) = (Y + B_d) ∖ Y and charge Q_Y(x) = sum_{b in B_d, x-b in Y} (-1)^|b|.
-
IndisputableMonolith/Foundation/RealityFromDistinction.leanreality_from_one_distinction unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
The shell formula yields explicit closed-form expressions ... for instanton partition functions of 5d pure super Yang-Mills ... magnificent four, tetrahedron instantons, spiked instantons, and Donaldson-Thomas invariants.
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
-
[1]
Seiberg-Witten Prepotential From Instanton Counting
N.A. Nekrasov,Seiberg-Witten prepotential from instanton counting,Adv. Theor. Math. Phys.7 (2003) 831 [hep-th/0206161]. – 40 –
work page internal anchor Pith review Pith/arXiv arXiv 2003
-
[2]
Seiberg-Witten Theory and Random Partitions
N. Nekrasov and A. Okounkov,Seiberg-Witten theory and random partitions,Prog. Math.244(2006) 525 [hep-th/0306238]
work page internal anchor Pith review Pith/arXiv arXiv 2006
-
[3]
BPS/CFT correspondence II: Instantons at crossroads, Moduli and Compactness Theorem
N. Nekrasov,BPS/CFT CORRESPONDENCE II: INSTANTONS AT CROSSROADS, MODULI AND COMPACTNESS THEOREM,Adv. Theor. Math. Phys.21(2017) 503 [1608.07272]
work page internal anchor Pith review Pith/arXiv arXiv 2017
-
[4]
N. Nekrasov,Magnificent four,Adv. Theor. Math. Phys.24(2020) 1171 [1712.08128]
work page internal anchor Pith review Pith/arXiv arXiv 2020
- [5]
-
[6]
M. Aganagic, A. Klemm, M. Marino and C. Vafa,The Topological vertex,Commun. Math. Phys.254 (2005) 425 [hep-th/0305132]
work page internal anchor Pith review Pith/arXiv arXiv 2005
-
[7]
S.H. Katz, A. Klemm and C. Vafa,Geometric engineering of quantum field theories,Nucl. Phys. B 497(1997) 173 [hep-th/9609239]
work page internal anchor Pith review Pith/arXiv arXiv 1997
-
[8]
N.C. Leung and C. Vafa,Branes and toric geometry,Adv. Theor. Math. Phys.2(1998) 91 [hep-th/9711013]
work page internal anchor Pith review Pith/arXiv arXiv 1998
-
[9]
H. Hayashi and R.-D. Zhu,More on topological vertex formalism for 5-brane webs with O5-plane, JHEP04(2021) 292 [2012.13303]
-
[10]
S. Nawata and R.-D. Zhu,Instanton counting and O-vertex,JHEP09(2021) 190 [2107.03656]
-
[11]
Localization techniques in quantum field theories
V. Pestun et al.,Localization techniques in quantum field theories,J. Phys. A50(2017) 440301 [1608.02952]
work page internal anchor Pith review Pith/arXiv arXiv 2017
-
[12]
Monopole Condensation, And Confinement In N=2 Supersymmetric Yang-Mills Theory
N. Seiberg and E. Witten,Electric - magnetic duality, monopole condensation, and confinement in N=2 supersymmetric Yang-Mills theory,Nucl. Phys. B426(1994) 19 [hep-th/9407087]
work page internal anchor Pith review Pith/arXiv arXiv 1994
-
[13]
D. Gaiotto,N=2 dualities,JHEP08(2012) 034 [0904.2715]
work page internal anchor Pith review Pith/arXiv arXiv 2012
-
[14]
Liouville Correlation Functions from Four-dimensional Gauge Theories
L.F. Alday, D. Gaiotto and Y. Tachikawa,Liouville Correlation Functions from Four-dimensional Gauge Theories,Lett. Math. Phys.91(2010) 167 [0906.3219]
work page internal anchor Pith review Pith/arXiv arXiv 2010
-
[15]
BPS/CFT correspondence: non-perturbative Dyson-Schwinger equations and qq-characters
N. Nekrasov,BPS/CFT correspondence: non-perturbative Dyson-Schwinger equations and qq-characters,JHEP03(2016) 181 [1512.05388]
work page internal anchor Pith review Pith/arXiv arXiv 2016
-
[16]
BPS/CFT Correspondence III: Gauge Origami partition function and qq-characters
N. Nekrasov,BPS/CFT Correspondence III: Gauge Origami partition function and qq-characters, Commun. Math. Phys.358(2018) 863 [1701.00189]
work page internal anchor Pith review Pith/arXiv arXiv 2018
-
[17]
BPS/CFT correspondence IV: sigma models and defects in gauge theory
N. Nekrasov,BPS/CFT correspondence IV: sigma models and defects in gauge theory,Lett. Math. Phys.109(2019) 579 [1711.11011]
work page internal anchor Pith review Pith/arXiv arXiv 2019
-
[18]
BPS/CFT correspondence V: BPZ and KZ equations from qq-characters
N. Nekrasov,BPS/CFT correspondence V: BPZ and KZ equations from qq-characters,1711.11582
work page internal anchor Pith review Pith/arXiv arXiv
-
[19]
The Refined Topological Vertex
A. Iqbal, C. Kozcaz and C. Vafa,The Refined topological vertex,JHEP10(2009) 069 [hep-th/0701156]
work page internal anchor Pith review Pith/arXiv arXiv 2009
-
[20]
Refined BPS state counting from Nekrasov's formula and Macdonald functions
H. Awata and H. Kanno,Refined BPS state counting from Nekrasov’s formula and Macdonald functions,Int. J. Mod. Phys. A24(2009) 2253 [0805.0191]
work page internal anchor Pith review Pith/arXiv arXiv 2009
-
[21]
T. Kimura and V. Pestun,Quiver W-algebras,Lett. Math. Phys.108(2018) 1351 [1512.08533]
work page internal anchor Pith review Pith/arXiv arXiv 2018
- [22]
-
[23]
Quantum Groups and Quantum Cohomology
D. Maulik and A. Okounkov,Quantum Groups and Quantum Cohomology,1211.1287
work page internal anchor Pith review Pith/arXiv arXiv
-
[24]
Quantum Algebraic Approach to Refined Topological Vertex
H. Awata, B. Feigin and J. Shiraishi,Quantum Algebraic Approach to Refined Topological Vertex, JHEP03(2012) 041 [1112.6074]
work page internal anchor Pith review Pith/arXiv arXiv 2012
-
[25]
Gromov-Witten theory and Donaldson-Thomas theory, I
D. Maulik, N. Nekrasov, A. Okounkov and R. Pandharipande,Gromov–Witten theory and Donaldson–Thomas theory, I,Compos. Math.142(2006) 1263 [math/0312059]
work page internal anchor Pith review Pith/arXiv arXiv 2006
-
[26]
Gromov-Witten theory and Donaldson-Thomas theory, II
D. Maulik, N. Nekrasov, A. Okounkov and R. Pandharipande,Gromov–Witten theory and Donaldson–Thomas theory, II,Compos. Math.142(2006) 1286 [math/0406092]. – 41 –
work page internal anchor Pith review Pith/arXiv arXiv 2006
-
[27]
Quantum Calabi-Yau and Classical Crystals
A. Okounkov, N. Reshetikhin and C. Vafa,Quantum Calabi-Yau and classical crystals,Prog. Math. 244(2006) 597 [hep-th/0309208]
work page internal anchor Pith review Pith/arXiv arXiv 2006
-
[28]
Spiked Instantons from Intersecting D-branes
N. Nekrasov and N.S. Prabhakar,Spiked Instantons from Intersecting D-branes,Nucl. Phys. B914 (2017) 257 [1611.03478]
work page internal anchor Pith review Pith/arXiv arXiv 2017
- [29]
- [30]
-
[31]
N. Fasola and S. Monavari,Tetrahedron instantons in Donaldson-Thomas theory,Adv. Math.462 (2025) 110099 [2306.07145]
-
[32]
N. Nekrasov and N. Piazzalunga,Magnificent Four with Colors,Commun. Math. Phys.372(2019) 573 [1808.05206]
- [33]
- [34]
- [35]
- [36]
-
[37]
On certain aspects of string theory/gauge theory correspondence
S. Shadchin,On certain aspects of string theory/gauge theory correspondence, other thesis, 2, 2005, [hep-th/0502180]
work page internal anchor Pith review Pith/arXiv arXiv 2005
-
[38]
N. Nekrasov and S. Shadchin,ABCD of instantons,Commun. Math. Phys.252(2004) 359 [hep-th/0404225]
work page internal anchor Pith review Pith/arXiv arXiv 2004
-
[39]
M.F. Atiyah, N.J. Hitchin, V.G. Drinfeld and Y.I. Manin,Construction of Instantons,Phys. Lett. A 65(1978) 185
work page 1978
-
[40]
Testing Seiberg-Witten Solution
A. Lossev, N. Nekrasov and S.L. Shatashvili,Testing Seiberg-Witten solution,NATO Sci. Ser. C520 (1999) 359 [hep-th/9801061]
work page internal anchor Pith review Pith/arXiv arXiv 1999
-
[41]
(p,q)-webs of DIM representations, 5d N=1 instanton partition functions and qq-characters
J.-E. Bourgine, M. Fukuda, K. Harada, Y. Matsuo and R.-D. Zhu,(p, q)-webs of DIM representations, 5dN= 1instanton partition functions and qq-characters,JHEP11(2017) 034 [1703.10759]
work page internal anchor Pith review Pith/arXiv arXiv 2017
-
[42]
T. Kimura and G. Noshita,Gauge origami and quiver W-algebras,JHEP05(2024) 208 [2310.08545]
-
[43]
Branes, Superpotentials and Superconformal Fixed Points
O. Aharony and A. Hanany,Branes, Superpotentials and Superconformal Fixed Points,Nucl.Phys.B 504(1997) 239 [hep-th/9704170]
work page internal anchor Pith review Pith/arXiv arXiv 1997
-
[44]
Webs of (p,q) 5-branes, Five Dimensional Field Theories and Grid Diagrams
O. Aharony, A. Hanany and B. Kol,Webs of (p,q) 5-branes, Five Dimensional Field Theories and Grid Diagrams,JHEP9801(1998) 002 [hep-th/9710116]
work page internal anchor Pith review Pith/arXiv arXiv 1998
-
[45]
G. Zafrir,Brane webs andO5-planes,JHEP03(2016) 109 [1512.08114]
work page internal anchor Pith review Pith/arXiv arXiv 2016
-
[46]
General instanton counting and 5d SCFT
C. Hwang, J. Kim, S. Kim and J. Park,General instanton counting and 5d SCFT,JHEP07(2015) 063 [1406.6793]
work page internal anchor Pith review Pith/arXiv arXiv 2015
-
[47]
5-dim Superconformal Index with Enhanced En Global Symmetry
H.-C. Kim, S.-S. Kim and K. Lee,5-dim Superconformal Index with Enhanced En Global Symmetry, JHEP10(2012) 142 [1206.6781]
work page internal anchor Pith review Pith/arXiv arXiv 2012
- [48]
-
[49]
Noshita,Gauge Origami and BPS/CFT correspondence, other thesis, 2, 2025, [2502.07573]
G. Noshita,Gauge Origami and BPS/CFT correspondence, other thesis, 2, 2025, [2502.07573]. – 42 –
-
[50]
A holomorphic Casson invariant for Calabi-Yau 3-folds, and bundles on K3 fibrations
R.P. Thomas,A Holomorphic Casson invariant for Calabi-Yau three folds, and bundles on K3 fibrations,J. Diff. Geom.54(2000) 367 [math/9806111]
work page internal anchor Pith review Pith/arXiv arXiv 2000
-
[51]
T. Kimura and G. Noshita,Gauge origami and quiver W-algebras IV: Pandharipande–Thomas qq-characters,2508.12125
-
[52]
BPS Bound States Of D0-D6 And D0-D8 Systems In A B-Field
E. Witten,BPS Bound states of D0 - D6 and D0 - D8 systems in a B field,JHEP04(2002) 012 [hep-th/0012054]
work page internal anchor Pith review Pith/arXiv arXiv 2002
-
[53]
R.J. Szabo and M. Tirelli,Noncommutative instantons in diverse dimensions,Eur. Phys. J. ST232 (2023) 3661 [2207.12862]
-
[54]
Brane/anti-Brane Systems and U(N|M) Supergroup
C. Vafa,Brane / anti-brane systems and U(N|M) supergroup,hep-th/0101218
work page internal anchor Pith review Pith/arXiv arXiv
-
[55]
Tachyon Condensation in Superstring Field Theory
N. Berkovits, A. Sen and B. Zwiebach,Tachyon condensation in superstring field theory,Nucl. Phys. B587(2000) 147 [hep-th/0002211]
work page internal anchor Pith review Pith/arXiv arXiv 2000
-
[56]
E.T. Akhmedov,D-brane annihilation, renorm group flow and nonlinear sigma model for the ADHM construction,Nucl. Phys. B592(2001) 234 [hep-th/0005105]
work page internal anchor Pith review Pith/arXiv arXiv 2001
-
[57]
T. Kimura and G. Noshita,Gauge origami and quiver W-algebras. Part III. Donaldson-Thomas qq-characters,JHEP03(2025) 050 [2411.01987]
-
[58]
N. Nekrasov and A. Okounkov,Membranes and sheaves.,Algebr. Geom.3(2016) 320 [1404.2323]
work page internal anchor Pith review Pith/arXiv arXiv 2016
-
[59]
D. Galakhov, W. Li and M. Yamazaki,Shifted quiver Yangians and representations from BPS crystals,JHEP08(2021) 146 [2106.01230]
- [60]
- [61]
-
[62]
Crystal Melting and Toric Calabi-Yau Manifolds
H. Ooguri and M. Yamazaki,Crystal Melting and Toric Calabi-Yau Manifolds,Commun. Math. Phys.292(2009) 179 [0811.2801]
work page internal anchor Pith review Pith/arXiv arXiv 2009
-
[63]
N. Nekrasov and N. Piazzalunga,Global Magni4icence, or: 4G Networks,SIGMA20(2024) 106 [2306.12995]
-
[64]
R. Pandharipande and R.P. Thomas,Curve counting via stable pairs in the derived category,Invent. Math.178(2009) 407 [0707.2348]
- [65]
-
[66]
T. Kimura and G. Noshita,The 4-fold Pandharipande–Thomas vertex and Jeffrey–Kirwan residue, 2508.12128
-
[67]
Localization for nonabelian group actions
L.C. Jeffrey and F.C. Kirwan,Localization for nonabelian group actions,alg-geom/9307001
work page internal anchor Pith review Pith/arXiv arXiv
-
[68]
A. Szenes and M. Vergne,Toric reduction and a conjecture of batyrev and materov,Inventiones mathematicae158(2004) 453–495
work page 2004
-
[69]
Elliptic genera of two-dimensional N=2 gauge theories with rank-one gauge groups
F. Benini, R. Eager, K. Hori and Y. Tachikawa,Elliptic genera of two-dimensional N=2 gauge theories with rank-one gauge groups,Lett. Math. Phys.104(2014) 465 [1305.0533]
work page internal anchor Pith review Pith/arXiv arXiv 2014
-
[70]
Elliptic genera of 2d N=2 gauge theories
F. Benini, R. Eager, K. Hori and Y. Tachikawa,Elliptic Genera of 2dN= 2 Gauge Theories, Commun. Math. Phys.333(2015) 1241 [1308.4896]
work page internal anchor Pith review Pith/arXiv arXiv 2015
- [71]
-
[72]
M. Cirafici, A. Sinkovics and R.J. Szabo,Cohomological gauge theory, quiver matrix models and donaldson–thomas theory,Nuclear Physics B809(2009) 452–518. – 43 –
work page 2009
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.