pith. machine review for the scientific record. sign in

arxiv: 2512.21606 · v3 · submitted 2025-12-25 · ✦ hep-th · math-ph· math.MP

Recognition: 2 theorem links

· Lean Theorem

Shell formulas for instantons and gauge origami

Authors on Pith no claims yet

Pith reviewed 2026-05-16 19:39 UTC · model grok-4.3

classification ✦ hep-th math-phmath.MP
keywords shell formulainstantonsgauge origamipartition functionsYoung diagramssuper Yang-MillsDonaldson-Thomas invariants
0
0 comments X

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.

The paper introduces the shell formula to handle partition functions organized by multi-dimensional Young diagrams. This single framework produces explicit expressions and recursion relations for 5d pure super Yang-Mills instantons with classical gauge groups and for gauge origami systems such as the magnificent four, tetrahedron instantons, and spiked instantons. It also covers Donaldson-Thomas invariants in C^3 and C^4. A sympathetic reader cares because the approach replaces separate derivations for each theory with one uniform method based on pole classification.

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

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

  • 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.

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.

Referee Report

2 major / 1 minor

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)
  1. [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.
  2. [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)
  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

2 responses · 0 unresolved

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
  1. 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

  2. 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

0 steps flagged

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

0 free parameters · 1 axioms · 1 invented entities

The central claim rests on the assumption that pole structures admit a uniform classification by higher-dimensional Young diagrams; no free parameters or invented entities are visible in the abstract, but the shell formula itself functions as the key new construct.

axioms (1)
  • domain assumption Partition functions of the listed systems have pole structures classifiable by Young diagrams of arbitrary dimension.
    Invoked to justify the applicability of the shell formula across all mentioned cases.
invented entities (1)
  • shell formula no independent evidence
    purpose: Unifying framework for closed-form expressions and recursions
    New construct introduced to organize the partition functions

pith-pipeline@v0.9.0 · 5369 in / 1257 out tokens · 32369 ms · 2026-05-16T19:39:14.733838+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

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

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

72 extracted references · 72 canonical work pages · 43 internal anchors

  1. [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 –

  2. [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]

  3. [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]

  4. [4]

    Magnificent Four

    N. Nekrasov,Magnificent four,Adv. Theor. Math. Phys.24(2020) 1171 [1712.08128]

  5. [5]

    Pomoni, W

    E. Pomoni, W. Yan and X. Zhang,Tetrahedron Instantons,Commun. Math. Phys.393(2022) 781 [2106.11611]

  6. [6]

    The Topological Vertex

    M. Aganagic, A. Klemm, M. Marino and C. Vafa,The Topological vertex,Commun. Math. Phys.254 (2005) 425 [hep-th/0305132]

  7. [7]

    S.H. Katz, A. Klemm and C. Vafa,Geometric engineering of quantum field theories,Nucl. Phys. B 497(1997) 173 [hep-th/9609239]

  8. [8]

    Branes and Toric Geometry

    N.C. Leung and C. Vafa,Branes and toric geometry,Adv. Theor. Math. Phys.2(1998) 91 [hep-th/9711013]

  9. [9]

    Hayashi and R.-D

    H. Hayashi and R.-D. Zhu,More on topological vertex formalism for 5-brane webs with O5-plane, JHEP04(2021) 292 [2012.13303]

  10. [10]

    Nawata and R.-D

    S. Nawata and R.-D. Zhu,Instanton counting and O-vertex,JHEP09(2021) 190 [2107.03656]

  11. [11]

    Localization techniques in quantum field theories

    V. Pestun et al.,Localization techniques in quantum field theories,J. Phys. A50(2017) 440301 [1608.02952]

  12. [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]

  13. [13]

    N=2 dualities

    D. Gaiotto,N=2 dualities,JHEP08(2012) 034 [0904.2715]

  14. [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]

  15. [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]

  16. [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]

  17. [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]

  18. [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

  19. [19]

    The Refined Topological Vertex

    A. Iqbal, C. Kozcaz and C. Vafa,The Refined topological vertex,JHEP10(2009) 069 [hep-th/0701156]

  20. [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]

  21. [21]

    Quiver W-algebras

    T. Kimura and V. Pestun,Quiver W-algebras,Lett. Math. Phys.108(2018) 1351 [1512.08533]

  22. [22]

    Nawata, K

    S. Nawata, K. Zhang and R.-D. Zhu,ABCD of qq-characters,JHEP08(2023) 200 [2302.00525]

  23. [23]

    Quantum Groups and Quantum Cohomology

    D. Maulik and A. Okounkov,Quantum Groups and Quantum Cohomology,1211.1287

  24. [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]

  25. [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]

  26. [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 –

  27. [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]

  28. [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]

  29. [29]

    Rapcak, Y

    M. Rapcak, Y. Soibelman, Y. Yang and G. Zhao,Cohomological Hall algebras, vertex algebras and instantons,Commun. Math. Phys.376(2019) 1803 [1810.10402]

  30. [30]

    Pomoni, W

    E. Pomoni, W. Yan and X. Zhang,Probing M-theory with tetrahedron instantons,JHEP11(2023) 177 [2306.06005]

  31. [31]

    Fasola and S

    N. Fasola and S. Monavari,Tetrahedron instantons in Donaldson-Thomas theory,Adv. Math.462 (2025) 110099 [2306.07145]

  32. [32]

    Nekrasov and N

    N. Nekrasov and N. Piazzalunga,Magnificent Four with Colors,Commun. Math. Phys.372(2019) 573 [1808.05206]

  33. [33]

    Billò, M

    M. Billò, M. Frau, F. Fucito, L. Gallot, A. Lerda and J.F. Morales,On the D(–1)/D7-brane systems, JHEP04(2021) 096 [2101.01732]

  34. [34]

    Kool and J.V

    M. Kool and J.V. Rennemo,Proof of a magnificent conjecture,2507.02852

  35. [35]

    S.-S. Kim, X. Li, S. Nawata and F. Yagi,Freezing and BPS jumping,JHEP05(2024) 340 [2403.12525]

  36. [36]

    Feigin, M

    B. Feigin, M. Jimbo, T. Miwa and E. Mukhin,Quantum toroidal gl1-algebra: Plane partitions,Kyoto Journal of Mathematics52(2012)

  37. [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]

  38. [38]

    ABCD of instantons

    N. Nekrasov and S. Shadchin,ABCD of instantons,Commun. Math. Phys.252(2004) 359 [hep-th/0404225]

  39. [39]

    Atiyah, N.J

    M.F. Atiyah, N.J. Hitchin, V.G. Drinfeld and Y.I. Manin,Construction of Instantons,Phys. Lett. A 65(1978) 185

  40. [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]

  41. [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]

  42. [42]

    Kimura and G

    T. Kimura and G. Noshita,Gauge origami and quiver W-algebras,JHEP05(2024) 208 [2310.08545]

  43. [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]

  44. [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]

  45. [45]

    Brane webs and $O5$-planes

    G. Zafrir,Brane webs andO5-planes,JHEP03(2016) 109 [1512.08114]

  46. [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]

  47. [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]

  48. [48]

    S.-S. Kim, X. Li, F. Yagi and R.-D. Zhu,O-vertex, O7+-plane, and topological vertex,JHEP04 (2025) 182 [2412.19655]

  49. [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. [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]

  51. [51]

    Kimura and G

    T. Kimura and G. Noshita,Gauge origami and quiver W-algebras IV: Pandharipande–Thomas qq-characters,2508.12125

  52. [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]

  53. [53]

    Szabo and M

    R.J. Szabo and M. Tirelli,Noncommutative instantons in diverse dimensions,Eur. Phys. J. ST232 (2023) 3661 [2207.12862]

  54. [54]

    Brane/anti-Brane Systems and U(N|M) Supergroup

    C. Vafa,Brane / anti-brane systems and U(N|M) supergroup,hep-th/0101218

  55. [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]

  56. [56]

    D-brane annihilation, renormalization-group flow and non-linear $\sigma$-model for the ADHM construction

    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]

  57. [57]

    Kimura and G

    T. Kimura and G. Noshita,Gauge origami and quiver W-algebras. Part III. Donaldson-Thomas qq-characters,JHEP03(2025) 050 [2411.01987]

  58. [58]

    Membranes and Sheaves

    N. Nekrasov and A. Okounkov,Membranes and sheaves.,Algebr. Geom.3(2016) 320 [1404.2323]

  59. [59]

    Galakhov, W

    D. Galakhov, W. Li and M. Yamazaki,Shifted quiver Yangians and representations from BPS crystals,JHEP08(2021) 146 [2106.01230]

  60. [60]

    Y. Chen, J. Jiang, S. Nawata and Y. Shao,Instantons on Young diagrams with matters,JHEP03 (2023) 120 [2301.02342]

  61. [61]

    H.-C. Kim, M. Kim, S.-S. Kim and G. Zafrir,Superconformal indices for non-Lagrangian theories in five dimensions,JHEP03(2024) 164 [2307.03231]

  62. [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]

  63. [63]

    Nekrasov and N

    N. Nekrasov and N. Piazzalunga,Global Magni4icence, or: 4G Networks,SIGMA20(2024) 106 [2306.12995]

  64. [64]

    Pandharipande and R.P

    R. Pandharipande and R.P. Thomas,Curve counting via stable pairs in the derived category,Invent. Math.178(2009) 407 [0707.2348]

  65. [65]

    Cao and M

    Y. Cao and M. Kool,Curve counting and DT/PT correspondence for Calabi-Yau 4-folds,Adv. Math. 375(2020) 107371 [1903.12171]

  66. [66]

    Kimura and G

    T. Kimura and G. Noshita,The 4-fold Pandharipande–Thomas vertex and Jeffrey–Kirwan residue, 2508.12128

  67. [67]

    Localization for nonabelian group actions

    L.C. Jeffrey and F.C. Kirwan,Localization for nonabelian group actions,alg-geom/9307001

  68. [68]

    Szenes and M

    A. Szenes and M. Vergne,Toric reduction and a conjecture of batyrev and materov,Inventiones mathematicae158(2004) 453–495

  69. [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]

  70. [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]

  71. [71]

    Nawata, Y

    S. Nawata, Y. Pan and J. Zheng,Class S theories on S2,Phys. Rev. D109(2024) 105015 [2310.07965]

  72. [72]

    Cirafici, A

    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 –