REVIEW 2 major objections 4 minor 78 references
Quiver BPS Indices from Crystal Profiles
T0 review · 2 major / 4 minor · reviewed 2026-07-12 · grok-4.5
Pith's one-line read Elliptic genera and Witten indices equal a sum over crystal molecules of weights fixed only by the molecules' boundaries.
desk verdict Solid combinatorial reduction of JK residues to molecule-boundary products; the main formulae look correct and recover Nekrasov as a special case. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
Boundary-only cancellation of one-loop determinants inside the Jeffrey-Kirwan residue: after all internal numerators and denominators cancel, the surviving factors are completely determined by two (or more) combinatorial boundaries of the molecule, written as products of the functions E_ij(x).
What would settle it
Compute the elliptic genus of any concrete N=2 or N=4 quiver by direct Jeffrey-Kirwan residue and by the crystal-boundary formula; any mismatch for a single dimension vector falsifies the claim.
Extended reading notes
Core claim
For a broad class of quiver gauge theories the grand-canonical partition function equals a discrete sum over all molecules M inside a crystal C, where the weight of each molecule is a product of elementary zeta (or sine or linear) factors evaluated solely on the boundary atoms of M. Explicit formulae are given for both N=4 and N=2 theories; when the quiver is the Jordan quiver the sum reduces to the ordinary Nekrasov partition function.
Load-bearing premise
Atoms that arise from different gauge nodes or different colour indices are never allowed to sit at the same point in flavour space; if two atoms ever coincide the whole identification of poles with crystal sites collapses.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper derives exact formulae for the elliptic genera of 2d N≥2 quiver gauge theories (and their 1d Witten indices and 0d matrix-model partition functions) by evaluating Jeffrey-Kirwan residues and organising the non-vanishing poles into crystals and molecules. The grand-canonical partition function is expressed as a sum over molecules M of a weight that, after systematic cancellation of one-loop factors, depends only on boundary data of M (eqs. (3.18)–(3.19) for N=4 and (4.21)–(4.26) for N=2). The formulae recover the Nekrasov partition function for Young diagrams and are illustrated on the Jordan quiver and Q^{1,1,1}. A thermodynamic-limit analysis for toric Calabi-Yau fourfolds proposes that the limit shape of the molten crystal is governed by the Ronkin function of the Newton polynomial of the associated brane brick model.
Significance. If the boundary formulae hold, the work supplies a broad combinatorial generalisation of the Nekrasov instanton sum and of earlier crystal-melting results for toric Calabi-Yau three-folds, extending them to a large class of N=2 and N=4 quivers (including those dual to toric CY4s). The careful cancellation analysis that reduces the JK integrand to boundary zeta factors, together with explicit recovery of known special cases, constitutes a concrete computational advance. The thermodynamic discussion, while more provisional, offers a concrete proposal for how a projection of the Calabi-Yau geometry can emerge from discrete crystal data, potentially linking BPS counting to amoebae and Ronkin functions in higher dimensions.
major comments (2)
- [Section 2.1] Section 2.1 introduces the no-overlap condition as a working hypothesis: every admissible JK pole u* must produce exactly rank(G) distinct atoms. All subsequent identifications of poles with atoms, the melting rule, and the residual boundary factors after cancellation (Sections 3.2 and 4.2) rely on this condition. The paper never proves that the condition holds for a general quiver; it only verifies it for the examples treated later. The central claims should therefore be explicitly restricted to quivers satisfying no-overlap, or a proof (or a clear sufficient criterion) should be supplied.
- [Section 6] In Section 6 the true molecule weights w(M;q,ϵ) that appear in the exact formulae are replaced by ordinary brick-matching (dimer) weights. The authors note that this changes the partition function in general and leave the equivariant correction σ_equiv unspecified (eq. (6.29)). Consequently the claim that “a projection of the Calabi-Yau geometry emerges” is established only for the modified statistical model, not for the BPS indices derived in Sections 3–4. The status of the thermodynamic statements relative to the exact formulae should be clarified.
minor comments (4)
- Numerous typographical errors appear throughout (e.g. “cyrstal” in §5.3, “conditinons”, “pricesely”, “occassionally”, “unqiue”, “non-overlap conditinons”). A careful proof-reading pass is needed.
- [Section 3.3] The notation E_{ij}(x) is introduced in (3.17) and then used with slightly varying index conventions; a single consistent convention (or a short glossary) would improve readability.
- [Sections 4 and 6] Figures 4.1 and 6.1–6.2 are referenced but lack captions that fully explain the colour coding and the dashed circles; expanding the captions would help the reader follow the cancellation arguments.
- [Section 4.3] In the N=2 rewriting (4.23)–(4.26) the outer-boundary sets ∂_a M and ∂_{-a} M are defined; a short remark confirming that these sets are independent of the arbitrary choice of which chiral realises a given uncancelled factor would remove a potential ambiguity.
Circularity Check
No significant circularity: JK cancellations produce boundary formulae independently of the crystal definition supplied by self-citation.
-
self citation load bearing
[Section 2.1, definitions of crystals and molecules; abstract and Introduction]
"Following our previous paper [BY25], we use the JK residue formula to compute the elliptic genera … the contributions of the poles can be organised nicely in the language of crystals [BY25, Bao25]. … The crystal is an oriented weighted graph C=(A,I) with the set of vertices A and the set of arrows I. … Given the crystal C=(A,I), we can define the molecule as a finite subset M⊂A such that the following condition (melting rule) is satisfied."
The combinatorial objects (atoms, chemical bonds, molecules, melting rule) that label the summands of the final formulae are defined by citation to the authors’ own earlier paper rather than re-derived from first principles inside the present work. The citation is not load-bearing for the algebraic cancellation that produces the boundary weights, so the circularity is minor.
full rationale
The central claim (grand-canonical Z equals a sum over molecules of products of zeta-functions evaluated only on boundary atoms) is obtained by direct algebraic cancellation of one-loop factors inside the standard Jeffrey-Kirwan residue formula (eqs. 3.8–3.14 for N=4 and 4.5–4.20 for N=2). The residual factors are then collected into the explicit products (3.19) and (4.22)/(4.26). The crystal and molecule language is taken from the authors’ prior work [BY25], but that citation only supplies the combinatorial scaffolding that organises the poles; it does not dictate the form of the surviving weights. The thermodynamic-limit discussion replaces the true BPS weight by an auxiliary dimer weight and therefore does not feed back into the main formulae. The only mild self-reference is the definition of crystals themselves; it is not load-bearing for the cancellation identities. Hence the derivation is self-contained against the JK starting point and scores 1.
Assumptions & free parameters
assumptions (5)
- standard math Jeffrey-Kirwan residue formula evaluates the supersymmetric partition function as a sum of residues at admissible poles (Appendix A, eq. A.1).
- domain assumption No-overlap condition: every admissible JK pole produces a set of distinct atoms (Section 2.1).
- domain assumption All Fermi multiplets appear in J- or E-term interactions (Section 2.1 and 4.2).
- domain assumption Restriction to the cyclic chamber η=(1,…,1) (Section 2.2).
- ad hoc to paper In the thermodynamic limit the true BPS molecule weights may be replaced by ordinary dimer/brick-matching weights (Section 6).
invented entities (2)
-
Molecule (finite substructure of a crystal obeying the melting rule)
-
Boundary sets ∂±M, ∂_χM, ∂_{-χ-Λ}M, etc.
Cite this review
Pith. "Pith review of Quiver BPS Indices from Crystal Profiles." pith.science (2026). https://pith.science/paper/CZV7Z3YJ
@misc{pith2026260703617,
author = {Pith},
title = {Pith review of: Quiver BPS Indices from Crystal Profiles},
year = {2026},
howpublished = {\url{https://pith.science/paper/CZV7Z3YJ}},
note = {Machine review of arXiv:2607.03617}
}
abstract
We derive new exact formulae for elliptic genera in two spacetime dimensions with $\mathcal{N}\ge 2$ supercharges, as well as their one- and zero-dimensional counterparts (for Witten indices and matrix-model partition functions). Our results are written as a discrete sum over geometric/combinatorial structures of crystals introduced previously by the authors. The contribution from each crystal may be expressed in terms of the boundary data of a finite substructure of the crystal called the molecules. Our results provide vast generalisations of the celebrated Nekrasov partition function enumerated by the Young diagrams, and uncover new combinatorics underlying the crystal melting. We also analyse the thermodynamic limit of crystals arising from two-dimensional $\mathcal{N}=(0,2)$ theories associated with toric Calabi-Yau fourfolds, where a projection of the Calabi-Yau geometry emerges in the limit.
Figures
Reference graph
Works this paper leans on
-
[1]
Crystals and Double Quiver Algebras from Jeffrey-Kirwan Residues
Bao, Jiakang and Yamazaki, Masahito. Crystals and Double Quiver Algebras from Jeffrey-Kirwan Residues. 2025. arXiv:2501.03365
arXiv 2025
-
[2]
Shifted quiver Yangians and representations from BPS crystals
Galakhov, Dmitry and Li, Wei and Yamazaki, Masahito. Shifted quiver Yangians and representations from BPS crystals. JHEP. 2021. doi:10.1007/JHEP08(2021)146. arXiv:2106.01230
-
[3]
Elliptic analogue of the Vershik-Kerov limit shape
Grekov, Andrey and Nekrasov, Nikita. Elliptic analogue of the Vershik-Kerov limit shape. Funct. Anal. Appl. 2023. doi:10.1134/S0016266324020059. arXiv:2403.07168
-
[4]
Gauge origami and quiver W-algebras
Kimura, Taro and Noshita, Go. Gauge origami and quiver W-algebras. JHEP. 2024. doi:10.1007/JHEP05(2024)208. arXiv:2310.08545
-
[5]
Seiberg-Witten theory and random partitions
Nekrasov, Nikita and Okounkov, Andrei. Seiberg-Witten theory and random partitions. Prog. Math. 2006. doi:10.1007/0-8176-4467-9_15. arXiv:hep-th/0306238
-
[6]
Seiberg-Witten prepotential from instanton counting
Nekrasov, Nikita A. Seiberg-Witten prepotential from instanton counting. Adv. Theor. Math. Phys. 2003. doi:10.4310/ATMP.2003.v7.n5.a4. arXiv:hep-th/0206161
-
[7]
and Marshakov, Andrei and Nekrasov, Nikita A
Losev, Andrei S. and Marshakov, Andrei and Nekrasov, Nikita A. Small instantons, little strings and free fermions. From Fields to Strings: Circumnavigating Theoretical Physics: A Conference in Tribute to Ian Kogan. 2003. arXiv:hep-th/0302191
arXiv 2003
-
[8]
Nakajima, Hiraku and Yoshioka, Kota. Instanton counting on blowup. 1. Invent. Math. 2005. doi:10.1007/s00222-005-0444-1. arXiv:math/0306198
Show all 78 references
-
[9]
Shell formulas for instantons and gauge origami
Jiang, Jiaqun. Shell formulas for instantons and gauge origami. 2025. arXiv:2512.21606
2025 arXiv
- [10]
-
[11]
Dimers and amoebae
Kenyon, Richard and Okounkov, Andrei and Sheffield, Scott. Dimers and amoebae. 2003. arXiv:math-ph/0311005
2003 arXiv
-
[12]
math/0008220
Cohn, Henry and Kenyon, Richard and Propp, James , eprint = "math/0008220", archivePrefix = "arXiv", journal=. A variational principle for domino tilings
- [13]
- [14]
- [15]
- [16]
- [17]
-
[18]
2d Supersymmetric Gauge Theories, D-branes and Trialities
Franco, Sebasti \'a n. 2d Supersymmetric Gauge Theories, D-branes and Trialities. 2022. arXiv:2201.10987
2022 arXiv
- [19]
-
[20]
Brane brick models for the Sasaki-Einstein 7-manifolds Y ^ p,k ( C P ^ 1 C P ^ 1 ) and Y ^ p,k ( C P ^ 2 )
Franco, Sebastian and Ghim, Dongwook and Seong, Rak-Kyeong. Brane brick models for the Sasaki-Einstein 7-manifolds Y ^ p,k ( C P ^ 1 C P ^ 1 ) and Y ^ p,k ( C P ^ 2 ). JHEP. 2023. doi:10.1007/JHEP03(2023)050. arXiv:2212.02523
- [21]
- [22]
- [23]
-
[24]
alg-geom/9706005
Maillot, VINCENT , eprint = "alg-geom/9706005", archivePrefix = "arXiv", year=. G\'eom\'etrie d'Arakelov des vari\'et\'es toriques et fibr\'es en droites int\'egrables
-
[25]
2308.04601
Roy, Subham , eprint = "2308.04601", archivePrefix = "arXiv", primaryClass = "math.NT", journal=. Generalized Mahler measures of Laurent polynomials. 2024 , publisher=
2024 arXiv
-
[26]
Laurent determinants and arrangements of hyperplane amoebas
Forsberg, Mikael and Passare, Mikael and Tsikh, August , journal=. Laurent determinants and arrangements of hyperplane amoebas. 2000 , publisher=
2000
-
[27]
Amoebas, Monge-Ampere measures and triangulations of the Newton polytope
Passare, Mikael and Rullg. Amoebas, Monge-Ampere measures and triangulations of the Newton polytope. 2000 , publisher=
2000
-
[28]
math/0108225
Mikhalkin, Grigory , eprint = "math/0108225", archivePrefix = "arXiv", year=. Amoebas of algebraic varieties
- [29]
- [30]
- [31]
- [32]
- [33]
- [34]
- [35]
- [36]
-
[37]
alg-geom/9307001
Jeffrey, Lisa C and Kirwan, Frances C , eprint = "alg-geom/9307001", archivePrefix = "arXiv", journal=. Localization for nonabelian group actions. 1995 , publisher=
1995 arXiv
- [38]
-
[39]
Toric reduction and a conjecture of Batyrev and Materov
Szenes, Andr. Toric reduction and a conjecture of Batyrev and Materov. arXiv:math/0306311
-
[40]
Elliptic genera of two-dimensional N=2 gauge theories with rank-one gauge groups
Benini, Francesco and Eager, Richard and Hori, Kentaro and Tachikawa, Yuji. Elliptic genera of two-dimensional N=2 gauge theories with rank-one gauge groups. Lett. Math. Phys. 2014. doi:10.1007/s11005-013-0673-y. arXiv:1305.0533
-
[41]
Elliptic Genera and Quantum Field Theory
Witten, Edward. Elliptic Genera and Quantum Field Theory. Commun. Math. Phys. 1987. doi:10.1007/BF01208956
1987 doi
-
[42]
Constraints on Supersymmetry Breaking
Witten, Edward. Constraints on Supersymmetry Breaking. Nucl. Phys. B. 1982. doi:10.1016/0550-3213(82)90071-2
1982 doi
-
[43]
Elliptic Genera of 2d N =(0,1) Gauge Theories
Bao, Jiakang and Yamazaki, Masahito and Zhou, Dongao. Elliptic Genera of 2d N =(0,1) Gauge Theories. 2025. arXiv:2508.06865
2025 arXiv
- [44]
- [45]
-
[46]
Wall Crossing of BPS States on the Conifold from Seiberg Duality and Pyramid Partitions
Chuang, Wu-yen and Jafferis, Daniel L. Wall Crossing of BPS States on the Conifold from Seiberg Duality and Pyramid Partitions. Commun. Math. Phys. 2009. doi:10.1007/s00220-009-0832-2. arXiv:0810.5072
- [47]
- [48]
- [49]
- [50]
- [51]
- [52]
-
[53]
Geometry and Combinatorics of Crystal Melting
Yamazaki, Masahito. Geometry and Combinatorics of Crystal Melting. RIMS Kokyuroku Bessatsu B. 2011. arXiv:1102.0776
2011 arXiv
- [54]
- [55]
-
[56]
Global Magni4icence, or: 4G Networks
Nekrasov, Nikita and Piazzalunga, Nicol \`o. Global Magni4icence, or: 4G Networks. SIGMA. 2024. doi:10.3842/SIGMA.2024.106. arXiv:2306.12995
2024 doi
- [57]
- [58]
-
[59]
An overview of crystals and double quiver Yangians
Bao, Jiakang. An overview of crystals and double quiver Yangians. Int. J. Mod. Phys. A. 2026. doi:10.1142/S0217751X25300182. arXiv:2509.16918
2026 doi
- [60]
- [61]
- [62]
- [63]
- [64]
- [65]
-
[66]
On Quiver W-algebras and Defects from Gauge Origami
Koroteev, Peter. On Quiver W-algebras and Defects from Gauge Origami. Phys. Lett. B. 2020. doi:10.1016/j.physletb.2019.135101. arXiv:1908.04394
2020 doi
-
[67]
Gauge origami and quiver W-algebras II: Vertex function and beyond quantum q -Langlands correspondence
Kimura, Taro and Noshita, Go. Gauge origami and quiver W-algebras II: Vertex function and beyond quantum q -Langlands correspondence. 2024. arXiv:2404.17061
2024 arXiv
- [68]
-
[69]
Gauge origami and quiver W-algebras
Kimura, Taro and Noshita, Go. Gauge origami and quiver W-algebras. Part IV. Pandharipande-Thomas qq-characters. JHEP. 2026. doi:10.1007/JHEP01(2026)063. arXiv:2508.12125
2026 doi
-
[70]
The 4-fold Pandharipande Thomas vertex and Jeffrey Kirwan residue
Kimura, Taro and Noshita, Go. The 4-fold Pandharipande Thomas vertex and Jeffrey Kirwan residue. Lett. Math. Phys. 2026. doi:10.1007/s11005-026-02071-x. arXiv:2508.12128
2026 doi
- [71]
-
[72]
Crystal Melting, Triality and Partition Functions for Toric Calabi-Yau Fourfolds
Carcamo, Mario and Franco, Sebasti \'a n. Crystal Melting, Triality and Partition Functions for Toric Calabi-Yau Fourfolds. 2026. arXiv:2603.08815
2026
- [73]
- [74]
- [75]
-
[76]
Ronkin, L. I. , TITLE =. Complex analysis in modern mathematics (Russian) , PAGES =. 2001 , MRCLASS =
2001
-
[77]
Amoebas,
Passare, Mikael and Rullg. Amoebas,. Duke Math. J. , FJOURNAL =. 2004 , NUMBER =
2004
-
[78]
P. W. Kasteleyn. The statistics of dimers on a lattice. Physica. 1961
1961
Reviewed July 12, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.