Pith. sign in

REVIEW 4 major objections 5 minor 28 references

This paper conjectures an explicit formula for charge functions of even-dimensional partitions, proves it in 6D, and verifies it by sampling in 8D.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

T0 review · deepseek-v4-flash

2026-08-03 13:22 UTC pith:L2BBGXYJ

load-bearing objection New even-dimensional charge function conjecture with honest partial evidence; the 6D proof rests on an unproven reduction and a sign slip, but the formula itself is worth taking seriously. the 4 major comments →

arxiv 2512.24343 v2 pith:L2BBGXYJ submitted 2025-12-30 math-ph hep-thmath.COmath.MPmath.QAmath.RT

Charge functions for all dimensional partitions

Hao Feng , Tian-Shun Chen , Kilar Zhang This is my paper
classification math-ph hep-thmath.COmath.MPmath.QAmath.RT MSC 05A1705A15
keywords charge functionn-dimensional partitionscrystal meltingBPS statesbox clustershypercube enumerationpotential functiontoric Calabi-Yau
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

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

The paper aims to complete the description of charge functions for n-dimensional partitions: meromorphic functions whose simple poles mark exactly the positions where a box can be added to or removed from a partition. The cases n = 2, 3, 4 were known, and the authors had previously proposed formulas for all odd dimensions. Here they conjecture a uniform formula for every even dimension n = 2K, built from single-box factors plus cluster factors that are simple powers of 1/u and u, and they prove the conjecture for 6D by exhaustive enumeration of hypercube configurations, with Monte Carlo support for 8D. If correct, the conjecture provides the missing even-dimensional data needed for BPS state counting on higher-dimensional toric Calabi-Yau manifolds.

Core claim

The central claim is that for every even dimension n = 2K (K ≥ 2), the charge function of any n-dimensional partition factorizes as (1/u) times a product over boxes and box clusters. The cluster factors take a simple universal form: even clusters of size 2m (2 ≤ m ≤ K-1) contribute 1/u, the maximal 2K-cluster contributes 1/u², and the (2K+1)-cluster contributes u²; the single-box factor is an explicit ratio of products of linear terms in the weights h_i. The conjecture asserts that this function has only simple poles and that its poles are in one-to-one correspondence with the projected coordinates of addable and removable boxes. The authors prove this for n = 6 by reducing the global statem

What carries the argument

The load-bearing object is the p-box cluster, a set of p boxes differing only by unit steps in distinct directions, with a defined projection c(φ_p). The proof machinery is the potential function ω_{0,Δ}(c), which records the order of the pole at a projected point. The authors reduce the global pole structure to local hypercube geometry: for any partition inside a d-dimensional hypercube, the pole order at the far corner must be 1 exactly when that corner is addable or removable, and ≤ 0 otherwise (Lemma A). The pole order of a full hypercube is evaluated through a binomial sum over neighbor configurations, yielding 1 for d < n and 1 after including the vacuum term for d = n.

Load-bearing premise

The conjecture rests on the claim that the global pole structure of the charge function is fully determined by local hypercube configurations and that Lemma A2—the bound ω ≤ 0 for non-addable/non-removable target corners—holds in every even dimension; the paper proves this for 6D and samples it for 8D, but the reduction itself is asserted rather than proved.

What would settle it

A concrete refutation would be a valid even-dimensional partition (n ≥ 8, say) inside a hypercube whose potential function at the far corner is greater than 1, or equals 1 at a corner that is neither addable nor removable. The paper's Monte Carlo sampling of 8D partitions found no such case; an exhaustive enumeration of the 8D hypercube, or an analytic counterexample, would settle the conjecture.

Watch this falsifier — get emailed when new claim-graph text bears on it.

If this is right

  • If the conjecture is correct, charge functions are now known in closed form for partitions of every dimension, completing the library from n = 2 upward.
  • The known 4D solid-partition formula is recovered as the K = 2 special case, so the new formula unifies and extends the lower-dimensional results.
  • The pole-order criterion gives a direct combinatorial test: in even dimensions, a position is addable or removable exactly when the potential function equals 1.
  • The 6D proof is a finite certificate: exhaustive enumeration of all partitions inside the 6D hypercube, about 7.8 million cases, satisfies the required bound.
  • The formula provides the charge-function input needed to study the BPS algebras of higher-dimensional toric Calabi-Yau manifolds.

Where Pith is reading between the lines

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

  • The same reduction-to-hypercube strategy could be promoted to a full proof for all even dimensions if the second part of Lemma A (the ≤ 0 direction) were proved analytically rather than sampled; this is the natural next step.
  • Together with the earlier odd-dimensional formula, the conjecture suggests a complete universality: in every dimension the charge function is a product of single-box factors and cluster factors of types 1/u, 1/u², and u², possibly pointing to a single algebraic origin for all dimensions.
  • The 8D Monte Carlo test is strong but not exhaustive; a decisive extension would be an exhaustive or closed-form verification of Lemma A for n = 8, which would likely settle the full even-dimensional conjecture.
  • Because the key check is finite, the conjecture may be recast as a purely combinatorial statement about order ideals in the Boolean lattice, which could be approachable by methods independent of the BPS/physics motivation.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Referee Report

4 major / 5 minor

Summary. The paper proposes an explicit formula for the charge function of an n=2K-dimensional partition, Eqs. (III.6)-(III.11), generalizing the known 4D solid-partition charge function. The formula is built from single-box factors and cluster factors with fixed rational weights, and the paper defines a potential function omega_0 (IV.1)-(IV.6) that encodes pole orders. The central conjecture is that omega_0 has simple poles exactly at the projected positions of addable/removable boxes. The proof strategy in Section V reduces the conjecture to a lemma about partitions inside hypercubes, proves Lemma A1 analytically (with a sign issue, see below), verifies Lemma A2 exhaustively for n=6, and provides Monte Carlo sampling for n=8. The authors also review lower-dimensional charge functions and state that the even-dimensional formula is conjectural except for the claimed 6D proof.

Significance. If the conjecture is correct, this would be a valuable addition to the BPS crystal-melting / quiver-Yangian literature, completing a uniform description of charge functions for all dimensions. The formula is explicit, has no free parameters beyond the generic weights h_i, reproduces the known 4D case at K=2, and is accompanied by a finite combinatorial reduction that is in principle checkable. The 6D exhaustive enumeration is a useful data point, and the paper is honest that the general even-dimensional statement is a conjecture. However, the claimed rigorous 6D proof is not fully supported because the reduction to hypercubes is asserted rather than proved, and Lemma A2 is only verified for n=6 and sampled for n=8.

major comments (4)
  1. [Section V, first paragraph and Lemma A] The reduction of the conjecture to hypercube partitions is the load-bearing step, but it is only asserted: 'the global property of the charge function is fundamentally determined by the local configuration of the partition surface.' No argument is supplied. The potential in (IV.2)-(IV.6) is a sum over all boxes and clusters in the partition, and boxes far from the target can contribute at the same projected value because c is invariant under translation by (1,...,1). Moreover, Lemma A only evaluates omega at the top corner sum e_ni of a hypercube. In a general partition the target may be an interior point with occupied boxes both below and above; the required two-sided cancellation is never examined. Consequently, the exhaustive 6D enumeration proves a local corner statement, not the full 6D conjecture as claimed in the abstract.
  2. [Section V.A, Eqs. (V.9)-(V.12)] There is a sign inconsistency in the proof of Lemma A1. The text states that each n-m neighbor contributes (-1)^{n+1} poles, but the binomial sums in (V.9) and (V.11) use (-1)^{m+1}. For even n, (-1)^{n+1} = -1, so these sums do not follow from the stated contribution. In addition, Eq. (V.11) drops the m=0 term in the first equality and reintroduces it in the second. This must be corrected before the analytical part of the 6D proof can be assessed.
  3. [Section V.B, Fig. 3(b)] The 8D Monte Carlo verification is not quantified. No sample size, number of sampled partitions for each N, random-generation algorithm, or acceptance threshold is given. Without these details, the phrase 'no violations were observed' is not a testable numerical statement. As it stands, the 8D check is suggestive but does not quantify confidence, and it tests only the hypercube corner target, not interior configurations.
  4. [Section V, Lemma A2] Lemma A2 is central to the conjecture, yet it is proved only for n=6 by exhaustive enumeration and sampled for n=8. Since the title and conclusion claim charge functions for all dimensions, the status of Lemma A2 for n>=10 should be explicitly stated as open. The conclusion that the library of charge functions is 'completed' is stronger than what the paper demonstrates.
minor comments (5)
  1. [Section V, Eq. (V.2)] The equivalence in (V.2) is stated as 'easy to be checked' but no proof is given. This is probably correct, but a one-sentence justification would help.
  2. [Section V.A, notation] The symbol w is used in (V.4)-(V.6) instead of the previously defined omega. Please make the notation uniform.
  3. [Section V.B, totals] The paper reports 'in total 7836132 cases' for the 6D exhaustive enumeration. This number is close to but not equal to the known Dedekind number M(6)=7,828,354. Please clarify what exactly is counted (e.g., all hypercube subpartitions of dimension up to 6) and verify the arithmetic.
  4. [Section III.b, Eq. (III.6)] The paper correctly labels (III.6) as a conjecture. Given the gap in the hypercube reduction, the abstract's statement 'proved rigorously for 6D' should be qualified to avoid over-claiming; the proof currently covers only the hypercube-corner lemma.
  5. [Section V.B, reproducibility] The exhaustive 6D enumeration is presented as a proof, but no code or pseudocode is included. Since the reader cannot independently reproduce the enumeration without implementing the melting-rule filter, adding the program or a precise algorithmic description would improve verifiability.

Circularity Check

1 steps flagged

6D proof depends on a self-cited hypercube reduction; the charge formula itself is an ansatz with independent 4D/6D checks.

specific steps
  1. self citation load bearing [Section V, after Eq. (V.1)]
    "Following the proof strategy established in our previous work for odd-dimensional cases [21], the global property of the charge function is fundamentally determined by the local configuration of the partition surface. This reduction implies that proving the general conjecture is equivalent to proving it for the cases where Δ(n) is a subset of a d-dimensional hypercube HC(d) (for any d≤n). Consequently, the entire conjecture rests upon the validity of the following lemma"

    The global-to-local reduction is the only argument that makes Lemma A (stated only for hypercube subpartitions) sufficient for the conjecture on arbitrary partitions. This key equivalence is not proved here; it is attributed to the authors' own previous paper [21], which is itself a preprint with overlapping authors. Lemma A tests only the target box as the top corner of a hypercube, leaving interior configurations with both predecessors and successors unexamined. Thus the claimed rigorous 6D proof inherits its scope from a self-citation rather than from an independent derivation, making the proof's load-bearing step circular in the sense of relying on the authors' prior unverified assertion.

full rationale

The paper's main formula (III.7)-(III.11) is presented as a conjecture, and the verification that it reproduces the required pole dictionary for hypercube partitions is a genuine consistency check: for K=2 it reproduces the known 4D solid-partition charge function, and for 6D the exhaustive enumeration of all 7,836,132 hypercube configurations is real evidence for Lemma A2. However, the extension from hypercube checks to the full conjecture depends on the asserted reduction to local partition-surface configurations, and that reduction is justified only by citing the authors' own odd-dimensional work [21] rather than by a proof in this paper. This is a self-citation load-bearing step. The paper also contains an apparent sign inconsistency in the Lemma A1 derivation ('each n−m neighbor contributes (−1)^{n+1} poles' followed by sums using (−1)^{m+1}), which further weakens the analytic part of the reduction. These issues affect the proof's scope and rigor, but they do not make the central formula itself equivalent to its inputs: the 4D limit and the 6D exhaustive data are independent content. The circularity is therefore partial, scored at 4 rather than higher.

Axiom & Free-Parameter Ledger

1 free parameters · 5 axioms · 1 invented entities

The central claim rests on a hand-chosen structural ansatz, an asserted hypercube reduction, and computational checks without shipped artifacts. No numerical data fitting is involved, but neither is there an independent derivation of the formula.

free parameters (1)
  • cluster factor integer weights w_p = w_p=1 for 4<=p<=2K-2; w_p=2 for p=2K; w_p=-2 for p=2K+1
    The exponents in (III.9)-(III.11) are chosen by hand so the hypercube pole counts (V.9)-(V.12) come out and the formula reduces to the known 4D case. They are not derived from an independent principle.
axioms (5)
  • domain assumption Hypercube reduction: the global charge-function property is determined by the local configuration, reducing the conjecture to partitions inside hypercubes.
    Stated in Section V without proof, citing the strategy from [21]. If false, the 6D exhaustive proof does not imply the global conjecture.
  • domain assumption Defining property of charge functions: simple poles are in one-to-one correspondence with addable/removable boxes.
    Taken from the BPS algebra literature (e.g., [9,10]); the paper constructs psi to satisfy this property rather than deriving it.
  • ad hoc to paper The 6D exhaustive enumeration is a valid proof.
    No code or data are provided. The total count 7,836,132 matches the sum of Dedekind numbers M(1)..M(6), suggesting plausibility, but an independent audit requires the missing artifact.
  • ad hoc to paper 8D Monte Carlo sampling is representative.
    No sample size or coverage analysis is given; finite sampling cannot certify the conjecture.
  • standard math Inclusion-exclusion binomial identities used in (V.9)-(V.12).
    The alternating binomial sums are standard, but the preceding qualitative counting of neighbor/cluster contributions is only sketched.
invented entities (1)
  • Even-dimensional 2K-box and (2K+1)-box cluster factors phi_2K=1/u^2 and phi_2K+1=u^2 no independent evidence
    purpose: New factors in the even charge function (III.10)-(III.11) that make the 6D/8D pole counts work; they have no analogue in the odd-dimensional formula.
    Their only support is the pole-counting check inside the same ansatz; there is no external handle independent of the formula.

pith-pipeline@v1.3.0-alltime-deepseek · 8308 in / 17183 out tokens · 164247 ms · 2026-08-03T13:22:14.948659+00:00 · methodology

0 comments
read the original abstract

The charge functions for n-dimensional partitions are known for n=2,3,4 in the literature. In a recent work, we gave the expression for arbitrary odd dimension; here we further conjecture a formula for all even-dimensional cases. This conjecture is proved rigorously for 6D, and numerically verified for 8D.

Figures

Figures reproduced from arXiv: 2512.24343 by Hao Feng, Kilar Zhang, Tian-Shun Chen.

Figure 1
Figure 1. Figure 1: FIG. 1. Schematic of a 4D partition. Green and red desig [PITH_FULL_IMAGE:figures/full_fig_p001_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: FIG. 2. All six unique partitions of the hypercube [PITH_FULL_IMAGE:figures/full_fig_p004_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: FIG. 3. Numerical verification of the pole order at the target position [PITH_FULL_IMAGE:figures/full_fig_p005_3.png] view at source ↗

discussion (0)

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

Reference graph

Works this paper leans on

28 extracted references · 18 linked inside Pith

  1. [1]

    Ooguri and M

    H. Ooguri and M. Yamazaki, Crystal melting and toric Calabi-Yau manifolds, Communications in Mathematical Physics292, 179 (2009)

    2009

  2. [2]

    In the following, we directly present the general expres- sions of the charge functions for arbitrary dimensionn, distinguishing between the even and odd cases

    There exists a one-to-one correspondence be- tween the poles ofψ ∆(n) (u) and the projected coordinatesc( ⃗□) associated with the addable and removable boxes ⃗□∈A ∆(n) ∪R ∆(n) . In the following, we directly present the general expres- sions of the charge functions for arbitrary dimensionn, distinguishing between the even and odd cases. A review of the ch...

  3. [3]

    Conjecture:The even dimensional charge function (III.6) satisfies the properties above

    ∆ (n) ∈G( ⃗□)⇐ ⇒ω0,∆(n) (⃗□) = 1. Conjecture:The even dimensional charge function (III.6) satisfies the properties above. V. PROOF Before proceeding to the proof, it is important to note that the verification of the conjecture for any arbitrary n-dimensional partition ∆(n) can be reduced to a specific study of partitions within a hypercube geometry. Follo...

  4. [4]

    Okounkov, N

    A. Okounkov, N. Reshetikhin, and C. Vafa, Quantum Calabi-Yau and classical crystals, inThe Unity of Math- ematics: In Honor of the Nineteith Birthday of I.M. Gelfand, Progress in Mathematics, Vol. 244, edited by P. Etingof, V. Retakh, and I. M. Singer (Birkh¨ auser Boston, Boston, MA, 2006) pp. 597–618

    2006

  5. [5]

    Iqbal, C

    A. Iqbal, C. Vafa, N. Nekrasov, and A. Okounkov, Quan- tum foam and topological strings, Journal of High Energy Physics2008, 011 (2008), arXiv:hep-th/0312022 [hep- th]

    Pith/arXiv arXiv 2008

  6. [6]

    P. A. Macmahon, Memoir on the theory of the partitions of numbers. part ii., Proceedings of the Royal Society of London64, 224 (1898)

  7. [7]

    P. A. MacMahon, Ix. memoir on the theory of the parti- tions of numbers.-part vi. partitions in two-dimensional space, to which is added an adumbration of the theory of the partitions in three-dimensional space, Philosophical Transactions of the Royal Society of London. Series A, Containing Papers of a Mathematical or Physical Char- acter211, 345 (1912)

    1912

  8. [8]

    J. A. Harvey and G. Moore, Algebras, BPS states, and strings, Nuclear Physics B463, 315 (1996)

    1996

  9. [9]

    J. A. Harvey and G. Moore, On the algebras of BPS states, Communications in Mathematical Physics197, 489 (1998), arXiv:hep-th/9609017 [hep-th]

    Pith/arXiv arXiv 1998

  10. [10]

    Bourgine and K

    J.- ´E. Bourgine and K. Zhang, A note on the algebraic en- gineering of 4DN= 2 super Yang–Mills theories, Physics Letters B789, 610 (2019), arXiv:1809.08882 [hep-th]

    Pith/arXiv arXiv 2019

  11. [11]

    Li and M

    W. Li and M. Yamazaki, Quiver Yangian from crystal melting, Journal of High Energy Physics2020, 35 (2020), arXiv:2003.08909 [hep-th]

    Pith/arXiv arXiv 2020

  12. [12]

    Galakhov and W

    D. Galakhov and W. Li, Charging solid partitions, Journal of High Energy Physics2024, 43 (2024), arXiv:2311.02751 [hep-th]

    Pith/arXiv arXiv 2024

  13. [13]

    Proch´ azka,W-symmetry, topological vertex and affine Yangian, Journal of High Energy Physics2016, 77 (2016), arXiv:1512.07178 [hep-th]

    T. Proch´ azka,W-symmetry, topological vertex and affine Yangian, Journal of High Energy Physics2016, 77 (2016), arXiv:1512.07178 [hep-th]

    Pith/arXiv arXiv 2016

  14. [14]

    Rapˇ cak, Y

    M. Rapˇ cak, Y. Soibelman, Y. Yang, and G. Zhao, Co- homological Hall algebras, vertex algebras and instan- 7 tons, Communications in Mathematical Physics376, 1803 (2020)

    2020

  15. [15]

    N. A. Nekrasov, Seiberg-Witten prepotential from instan- ton counting, Advances in Theoretical and Mathematical Physics7, 831 (2003), arXiv:hep-th/0206161 [hep-th]

    Pith/arXiv arXiv 2003

  16. [16]

    L. F. Alday, D. Gaiotto, and Y. Tachikawa, Liouville correlation functions from four-dimensional gauge the- ories, Letters in Mathematical Physics91, 167 (2010), arXiv:0906.3219 [hep-th]

    Pith/arXiv arXiv 2010

  17. [17]

    Nekrasov and N

    N. Nekrasov and N. Piazzalunga, Magnificent four with colors, Communications in Mathematical Physics372, 573 (2019), arXiv:1808.05206 [hep-th]

    Pith/arXiv arXiv 2019

  18. [18]

    Nekrasov, Magnificent four, Advances in Theo- retical and Mathematical Physics24, 1171 (2020), arXiv:1712.08128 [hep-th]

    N. Nekrasov, Magnificent four, Advances in Theo- retical and Mathematical Physics24, 1171 (2020), arXiv:1712.08128 [hep-th]

    Pith/arXiv arXiv 2020

  19. [19]

    Schiffmann and E

    O. Schiffmann and E. Vasserot, Cherednik algebras, W- algebras and the equivariant cohomology of the moduli space of instantons onA 2, Publications Math´ ematiques de l’IH ´ES118, 213 (2013), arXiv:1202.2756 [math.QA]

    Pith/arXiv arXiv 2013

  20. [20]

    Arbesfeld and O

    N. Arbesfeld and O. Schiffmann, A presentation of the de- formed W1+∞ algebra, inSymmetries, integrable systems and representations, Springer Proceedings in Mathemat- ics & Statistics, Vol. 40, edited by K. Iohara, S. Morier- Genoud, and B. R´ emy (Springer, London, 2013) pp. 1–13, arXiv:1106.4301 [math.RT]

    Pith/arXiv arXiv 2013

  21. [21]

    S. K. Donaldson and R. P. Thomas, Gauge theory in higher dimensions, inThe Geometric Universe: Science, Geometry, and the Work of Roger Penrose, edited by S. A. Huggett, L. J. Mason, K. P. Tod, S. T. Tsou, and N. M. J. Woodhouse (Oxford University Press, Oxford,

  22. [22]

    Kontsevich and Y

    M. Kontsevich and Y. Soibelman, Cohomological Hall algebra, exponential Hodge structures and motivic Donaldson-Thomas invariants, Communications in Num- ber Theory and Physics5, 231 (2011), arXiv:1006.2706 [math.AG]

    Pith/arXiv arXiv 2011

  23. [23]

    Xiang, H

    S. Xiang, H. Feng, K. Zhuo, T.-S. Chen, and K. Zhang, Charge functions for odd dimensional partitions (2025), arXiv:2512.07758 [math-ph]

    Pith/arXiv arXiv 2025

  24. [24]

    P. A. MacMahon,Combinatory Analysis, Vol. I and II (Courier Corporation, 2004) this is a two-volume reprint of the original 1915/1916 edition published by Cambridge University Press. The original volumes are in the public domain

    2004

  25. [25]

    Bonelli, N

    G. Bonelli, N. Fasola, A. Tanzini, and Y. Zenkevich, ADHM in 8D, coloured solid partitions and Donaldson– Thomas invariants on orbifolds, Journal of Geometry and Physics191, 104910 (2023), arXiv:2011.02366 [hep-th]

    Pith/arXiv arXiv 2023

  26. [26]

    R. J. Szab´ o and M. Tirelli, Instanton counting and Donaldson–Thomas theory on toric Calabi–Yau four- orbifolds, arXiv preprint (2023), arXiv:2301.13069 [hep- th]

    Pith/arXiv arXiv 2023

  27. [27]

    Cao and M

    Y. Cao and M. Kool, Zero-dimensional Donaldson– Thomas invariants of Calabi–Yau 4-folds, Advances in Mathematics338, 601 (2018), arXiv:1712.07347 [math.AG]

    Pith/arXiv arXiv 2018

  28. [28]

    Maulik and A

    D. Maulik and A. Okounkov, Quantum groups and quantum cohomology, Ast´ erisque408, 1 (2019), arXiv:1211.1287 [math.AG]

    Pith/arXiv arXiv 2019