Recognition: unknown
The n-Point Function of t-Core Partitions and Topological Vertex
Pith reviewed 2026-05-10 10:20 UTC · model grok-4.3
The pith
The n-point function of t-core partitions has a closed formula in terms of theta functions.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Using the topological vertex, the q-deformed n-point function is introduced, generalizing the Bloch-Okounkov function for all partitions and the t-core case. This yields a closed formula for the n-point function of t-core partitions expressed with theta functions. Furthermore, the corresponding correlation functions are proven to be quasimodular forms.
What carries the argument
The topological vertex, used to introduce the q-deformed n-point function that generalizes the ordinary case for all partitions and applies to t-cores.
If this is right
- A closed formula in theta functions is obtained for the n-point function.
- The correlation functions are quasimodular forms.
- The result generalizes the Bloch-Okounkov n-point function to the t-core setting.
Where Pith is reading between the lines
- The method may extend to other partition restrictions by similar vertex constructions.
- Quasimodularity suggests the functions satisfy certain transformation properties under the modular group that could be exploited for computations.
Load-bearing premise
The topological vertex formalism can be directly applied to t-core partitions to define the q-deformed n-point function without convergence or analytic issues.
What would settle it
Direct enumeration of t-core partitions for small t and n to compute the n-point function and check if it matches the theta function formula.
Figures
read the original abstract
In this paper, we study the $n$-point function of $t$-core partitions. The main tool is the topological vertex, originally developed to study the topological string theory for toric Calabi--Yau 3-folds. By virtue of the topological vertex, we introduce the $q$-deformed $n$-point function that generalizes both the ordinary $n$-point function of all integer partitions studied by Bloch--Okounkov and $t$-core partition case treated here. As a consequence, we provide a closed formula for the $n$-point function of $t$-core partitions in terms of theta functions, and prove that the corresponding correlation functions are quasimodular forms.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript claims that the topological vertex formalism can be used to define a q-deformed n-point function that specializes to t-core partitions while generalizing the Bloch-Okounkov n-point function for unrestricted partitions. From this, it derives a closed-form expression for the n-point function of t-core partitions in terms of theta functions and proves that the associated correlation functions are quasimodular forms.
Significance. If the central derivation is valid, the work would establish a concrete link between the combinatorial theory of restricted partitions, the topological vertex in string theory, and the ring of quasimodular forms. The explicit theta-function formula and the quasimodularity result would supply new, potentially computable generating functions for t-cores and strengthen the modular perspective on partition statistics.
major comments (2)
- [Definition of the q-deformed n-point function and the specialization to t-cores] The step that restricts the topological vertex expression from all 3D Young diagrams to the subset of t-core partitions (the passage from the general q-deformed n-point function to the t-core case) is not accompanied by an explicit argument controlling the radius of convergence of the resulting q-series or justifying the interchange of summation and limits needed to reach the theta-function closed form. This interchange is load-bearing for both the closed formula and the subsequent quasimodularity proof.
- [Proof of quasimodularity] The proof that the correlation functions are quasimodular forms relies on the theta-function expression obtained after restriction; without a detailed verification that the restriction preserves the necessary analytic properties (or an alternative direct argument), the quasimodularity claim rests on an unverified formal manipulation.
minor comments (1)
- [Abstract and §1] The abstract and introduction should state the range of t for which the results hold and any standing assumptions on the convergence of the q-series.
Simulated Author's Rebuttal
We thank the referee for the careful reading and the constructive major comments. The points raised identify places where additional analytic justification is needed to support the specialization and the quasimodularity claim. We address each comment below and will incorporate the required arguments in the revised manuscript.
read point-by-point responses
-
Referee: [Definition of the q-deformed n-point function and the specialization to t-cores] The step that restricts the topological vertex expression from all 3D Young diagrams to the subset of t-core partitions (the passage from the general q-deformed n-point function to the t-core case) is not accompanied by an explicit argument controlling the radius of convergence of the resulting q-series or justifying the interchange of summation and limits needed to reach the theta-function closed form. This interchange is load-bearing for both the closed formula and the subsequent quasimodularity proof.
Authors: We agree that the manuscript does not supply an explicit estimate for the radius of convergence or a detailed justification for interchanging sums and limits when restricting to t-core diagrams. In the revision we will add a dedicated paragraph (or short appendix) that controls the growth of the t-core generating function via the known asymptotic for the number of t-cores and invokes the absolute convergence of the topological vertex series inside the unit disk for |q| sufficiently small. This will rigorously justify the passage to the theta-function expression. revision: yes
-
Referee: [Proof of quasimodularity] The proof that the correlation functions are quasimodular forms relies on the theta-function expression obtained after restriction; without a detailed verification that the restriction preserves the necessary analytic properties (or an alternative direct argument), the quasimodularity claim rests on an unverified formal manipulation.
Authors: We accept that the current quasimodularity argument is formally dependent on the validity of the restricted theta-function formula. In the revised version we will either (i) verify that the t-core restriction preserves the holomorphic and growth properties required for the standard quasimodularity criterion, or (ii) supply an alternative proof that works directly with the q-deformed n-point function before specialization, using the ring structure of quasimodular forms. Either route will remove the dependence on an unverified interchange. revision: yes
Circularity Check
No significant circularity; derivation applies external topological vertex to t-cores
full rationale
The paper introduces a q-deformed n-point function via the topological vertex (an external combinatorial tool for toric Calabi-Yau threefolds) that specializes to both the Bloch-Okounkov case and the t-core restriction. It then derives a closed theta-function formula and proves quasimodularity. No quoted step reduces a prediction to a fitted input by construction, renames a known result, or relies on a self-citation chain for the central claim. The topological vertex is invoked as an independent generating-function source rather than being defined in terms of the final t-core result. The derivation chain remains self-contained against external benchmarks.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption The topological vertex formalism extends to the enumeration of t-core partitions.
- standard math Theta functions generate the closed form and satisfy the required modular properties.
Reference graph
Works this paper leans on
-
[1]
It is called admissible if both of the following sets S− = (Z≤0 + 1 2)\ {a i|i∈Z ≥1},andS + ={a i|i∈Z ≥1} \(Z ≤0 − 1
-
[2]
For each admissible sequencea= (a 1, a2,
(2.4) are finite. For each admissible sequencea= (a 1, a2, . . .), we assign a vector |a⟩=a 1 ∧a 2 ∧a 3 ∧ · · ·. In particular, the vector associated with (−1 2 ,− 3 2 ,− 5 2 ,− 7 2 , . . .) is called the vacuum, which is denoted by|0⟩=− 1 2 ∧ − 3 2 ∧ − 5 2 ∧ · · ·. Then the fermionic Fock spaceFis the linear space generated by all those vectors|a⟩overC. ...
-
[3]
Aganagic, R
M. Aganagic, R. Dijkgraaf, A. Klemm, M. Mari˜ no, and C. Vafa. Topological strings and integrable hierarchies.Comm. Math. Phys., 261(2):451–516, 2006
2006
-
[4]
Aganagic, A
M. Aganagic, A. Klemm, M. Mari˜ no, and C. Vafa. The topological vertex.Comm. Math. Phys., 254(2):425–478, 2005
2005
-
[5]
Anderson
J. Anderson. An asymptotic formula for thet-core partition function and a conjecture of Stanton. J. Number Theory, 128(9):2591–2615, 2008
2008
-
[6]
G. E. Andrews.The theory of partitions. Cambridge Mathematical Library. Cambridge University Press, Cambridge, 1998. Reprint of the 1976 original
1998
-
[7]
Betea and J
D. Betea and J. Bouttier. The periodic Schur process and free fermions at finite temperature.Math. Phys. Anal. Geom., 22(1):Paper No. 3, 47, 2019
2019
-
[8]
Bloch and A
S. Bloch and A. Okounkov. The character of the infinite wedge representation.Adv. Math., 149(1):1– 60, 2000
2000
-
[9]
D. Chen, M. M¨ oller, and D. Zagier. Quasimodularity and large genus limits of Siegel-Veech constants. Journal of the American Mathematical Society, 31(4):1059–1163, 2018
2018
-
[10]
Cheng and W
S.-J. Cheng and W. Wang. The Bloch-Okounkov correlation functions at higher levels.Transform. Groups, 9(2):133–142, 2004
2004
-
[11]
H. Cho, B. Kim, H. Nam, and J. Sohn. A survey ont-core partitions.Hardy-Ramanujan J., 44:81– 101, 2021
2021
-
[12]
E. Date, M. Jimbo, and T. Miwa. Differential equations, symmetries and infinite dimensional alge- bras.Cambridge University Press, 2000
2000
-
[13]
Diamond and J
F. Diamond and J. Shurman.A first course in modular forms, volume 228 ofGraduate Texts in Mathematics. Springer-Verlag, New York, 2005
2005
-
[14]
Dijkgraaf
R. Dijkgraaf. Mirror symmetry and elliptic curves. InThe moduli space of curves, pages 149–163. Springer, 1995
1995
-
[15]
P. Engel. Hurwitz theory of elliptic orbifolds, I.Geometry & Topology, 25(1):229–274, 2021
2021
-
[16]
Eskin and A
A. Eskin and A. Okounkov. Pillowcases and quasimodular forms. InAlgebraic geometry and number theory, volume 253 ofProgr. Math., pages 1–25. Birkh¨ auser Boston, Boston, MA, 2006
2006
-
[17]
Frobenius
G. Frobenius. Ueber die elliptischen Functionen zweiter Art.J. Reine Angew. Math., 93:53–68, 1882
-
[18]
Garvan, D
F. Garvan, D. Kim, and D. Stanton. Cranks andt-cores.Invent. Math., 101(1):1–17, 1990
1990
-
[19]
F. G. Garvan. Some congruences for partitions that arep-cores.Proc. London Math. Soc. (3), 66(3):449–478, 1993
1993
-
[20]
Goujard and M
E. Goujard and M. M¨ oller. Counting Feynman-like graphs: quasimodularity and Siegel-Veech weight.J. Eur. Math. Soc. (JEMS), 22(2):365–412, 2020
2020
-
[21]
Granville and K
A. Granville and K. Ono. Defect zerop-blocks for finite simple groups.Trans. Amer. Math. Soc., 348(1):331–347, 1996
1996
-
[22]
Hahn, J.-W
M.A. Hahn, J.-W. M. van Ittersum, and F. Leid. Triply mixed coverings of arbitrary base curves: quasimodularity, quantum curves and a mysterious topological recursion.Ann. Inst. Henri Poincar´ e D, 9(2):239–296, 2022
2022
-
[23]
G.-N. Han. The Nekrasov-Okounkov hook length formula: refinement, elementary proof, extension and applications.Ann. Inst. Fourier (Grenoble), 60(1):1–29, 2010
2010
-
[24]
Hollowood, A
T. Hollowood, A. Iqbal, and C. Vafa. Matrix models, geometric engineering and elliptic genera.J. High Energy Phys., (3):069, 81, 2008
2008
-
[25]
Iqbal, S
A. Iqbal, S. Nazir, Z. Raza, and Z. Saleem. Generalizations of Nekrasov-Okounkov identity.Ann. Comb., 16(4):745–753, 2012
2012
-
[26]
James and A
G. James and A. Kerber.The representation theory of the symmetric group, volume 16 ofEncy- clopedia of Mathematics and its Applications. Addison-Wesley Publishing Co., Reading, MA, 1981. With a foreword by P. M. Cohn, With an introduction by Gilbert de B. Robinson. THEn-POINT FUNCTION OFt-CORE PARTITIONS AND TOPOLOGICAL VERTEX 35
1981
-
[27]
V. G. Kac.Infinite-dimensional Lie algebras. Cambridge University Press, Cambridge, third edition, 1990
1990
-
[28]
Kaneko and D
M. Kaneko and D. Zagier. A generalized Jacobi theta function and quasimodular forms. InThe moduli space of curves, pages 165–172. Springer, 1995
1995
-
[29]
Kim and J
B. Kim and J. Rouse. Explicit bounds for the number ofp-core partitions.Trans. Amer. Math. Soc., 366(2):875–902, 2014
2014
-
[30]
T. Kimura. Matrix model fromn= 2 orbifold partition function.J. High Energy Phys., (9):015, 35, 2011
2011
-
[31]
A. A. Klyachko. Modular forms and representations of symmetric groups. volume 116, pages 74–85,
-
[32]
Integral lattices and finite linear groups
1982. Integral lattices and finite linear groups
1982
-
[33]
T. Lam. The shape of a random affine Weyl group element and random core partitions.Ann. Probab., 43(4):1643–1662, 2015
2015
-
[34]
Li, C.-C
J. Li, C.-C. M. Liu, K. Liu, and J. Zhou. A mathematical theory of the topological vertex.Geom. Topol., 13(1):527–621, 2009
2009
-
[35]
J. Li, K. Liu, and J. Zhou. Topological string partition functions as equivariant indices.Asian J. Math, 10(1):81–114, 2006
2006
-
[36]
I. G. Macdonald. Symmetric functions and Hall polynomials.Clarendon Press, 1995
1995
-
[37]
Maulik, A
D. Maulik, A. Oblomkov, A. Okounkov, and R. Pandharipande. Gromov-Witten/Donaldson- Thomas correspondence for toric 3-folds.Invent. Math., 186(2):435–479, 2011
2011
-
[38]
A. Milas. Formal differential operators, vertex operator algebras and zeta-values. II.J. Pure Appl. Algebra, 183(1-3):191–244, 2003
2003
-
[39]
N. A. Nekrasov and A. Okounkov. Seiberg-Witten theory and random partitions.The unity of mathematics, Progr. Math., 244:525–596, 2006
2006
-
[40]
Okounkov
A. Okounkov. Infinite wedge and random partitions.Selecta Math. (N.S.), 7(1):57–81, 2001
2001
-
[41]
Okounkov, N
A. Okounkov, N. Reshetikhin, and C. Vafa. Quantum Calabi-Yau and classical crystals. InThe unity of mathematics, volume 244 ofProgr. Math., pages 597–618. Birkh¨ auser Boston, Boston, MA, 2006
2006
-
[42]
J. B. Olsson. McKay numbers and heights of characters.Math. Scand., 38(1):25–42, 1976
1976
-
[43]
E. M. Rains. Transformations of elliptic hypergeometric integrals.Ann. of Math. (2), 171(1):169– 243, 2010
2010
-
[44]
R. P. Stanley.Enumerative combinatorics. Vol. I. The Wadsworth & Brooks/Cole Mathematics Se- ries. Wadsworth & Brooks/Cole Advanced Books & Software, Monterey, CA, 1986. With a foreword by Gian-Carlo Rota
1986
-
[45]
D. G. Taylor and W. Wang. The Bloch–Okounkov correlation functions of classical type.Comm. Math. Phys., 276(2):473–508, 2007
2007
-
[46]
Walsh and S
A. Walsh and S. O. Warnaar. Modular Nekrasov-Okounkov formulas.S´ em. Lothar. Combin., 81:Art. B81c, 28, 2020
2020
-
[47]
W. Wang. Correlation functions of strict partitions and twisted Fock spaces.Transform. Groups, 9(1):89–101, 2004
2004
-
[48]
Correlation Function of Self-Conjugate Partitions: $q$-Difference Equation and Quasimodularity
Z. Wang and C. Yang. Correlation function of self-conjugate partitions: q-difference equation and quasimodularity.arXiv:2409.14124, 2024
work page internal anchor Pith review Pith/arXiv arXiv 2024
- [49]
- [50]
-
[51]
C. Yang. On two families of Nekrasov–Okounkov type formulas.to appear in Izvestiya: Mathematics, 2025
2025
-
[52]
D. Zagier. Partitions, quasimodular forms, and the Bloch–Okounkov theorem.The Ramanujan Journal, 41:345–368, 2016
2016
- [53]
-
[54]
Y. Zhu. Modular invariance of characters of vertex operator algebras.J. Amer. Math. Soc., 9(1):237– 302, 1996. Email address:yangcl@whu.edu.cn Institute for Math and AI, Wuhan University, Wuhan 430072, China
1996
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.