Correlation Function of Self-Conjugate Partitions: q-Difference Equation and Quasimodularity
Pith reviewed 2026-05-23 20:40 UTC · model grok-4.3
The pith
The n-point correlation functions of self-conjugate partitions under the uniform measure satisfy a q-difference equation and are quasimodular.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We derive the q-difference equation which is satisfied by the n-point correlation function related to the uniform measure. As applications, we give explicit formulas for the one-point and two-point functions, and study their quasimodularity. Motivated by this, we also prove the quasimodularity of the general n-point function using a combinatorial method. Finally, we derive the limit shape of self-conjugate partitions under the Gibbs uniform measure and compare it to the leading asymptotics of the one-point function.
What carries the argument
the q-difference equation satisfied by the n-point correlation function under the uniform measure on self-conjugate partitions
If this is right
- Explicit formulas exist for the one-point and two-point correlation functions.
- The one-point and two-point functions are quasimodular.
- The general n-point correlation function is quasimodular by a combinatorial argument.
- The limit shape of self-conjugate partitions under the Gibbs uniform measure can be derived explicitly.
- The leading asymptotics of the one-point function match the derived limit shape.
Where Pith is reading between the lines
- The q-difference equation supplies a recursive route to higher-point functions without enumerating all partitions.
- Quasimodularity of the correlation functions indicates that their generating functions belong to the ring of quasimodular forms.
- The agreement between the limit shape and one-point asymptotics suggests that the one-point function encodes the macroscopic geometry of the measure.
Load-bearing premise
The uniform measure on the set of self-conjugate partitions is well-defined and the n-point correlation function is defined via expectations under this measure.
What would settle it
A direct computation of the one-point or two-point function for small values of q that fails to satisfy the derived q-difference equation or to exhibit the claimed quasimodularity.
Figures
read the original abstract
In this paper, we study the uniform measure for the self-conjugate partitions. We derive the $q$-difference equation which is satisfied by the $n$-point correlation function related to the uniform measure. As applications, we give explicit formulas for the one-point and two-point functions, and study their quasimodularity. Motivated by this, we also prove the quasimodularity of the general $n$-point function using a combinatorial method. Finally, we derive the limit shape of self-conjugate partitions under the Gibbs uniform measure and compare it to the leading asymptotics of the one-point function.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript studies the uniform (q-weighted) measure on self-conjugate partitions. It derives a q-difference equation satisfied by the associated n-point correlation functions, obtains explicit closed-form expressions for the one- and two-point functions together with their quasimodularity properties, and supplies a combinatorial argument establishing quasimodularity for the general n-point function. The paper concludes by determining the limit shape of self-conjugate partitions under the Gibbs measure and comparing its leading asymptotics with those of the one-point function.
Significance. If the derivations hold, the work supplies concrete q-difference relations and explicit formulas for correlation functions on self-conjugate partitions, together with a combinatorial route to quasimodularity that avoids analytic continuation. These results extend the literature on partition statistics and q-series, and the explicit one- and two-point formulas plus the limit-shape comparison constitute verifiable, falsifiable contributions.
minor comments (2)
- [Abstract / §1] The abstract and introduction would benefit from a brief statement of the precise definition of the n-point correlation function (e.g., via hook-length or arm-length indicators) before the q-difference equation is stated.
- [§2] Notation for the generating function of self-conjugate partitions (the product over odd parts) should be introduced once and used consistently when the q-difference operator is applied.
Simulated Author's Rebuttal
We thank the referee for their positive summary, significance assessment, and recommendation to accept the manuscript. There are no major comments to address.
Circularity Check
No significant circularity
full rationale
The paper defines the uniform measure on self-conjugate partitions via the standard q-weighted generating function (product over odd parts) and the n-point correlation functions as expectations of indicator products at fixed positions; these are independent of the derived q-difference equation. The equation itself is obtained by applying the recurrence for adding/removing boxes that preserve self-conjugacy. Explicit one- and two-point formulas follow directly from solving the equation. The combinatorial quasimodularity proof for general n expresses the generating function as a finite linear combination of derivatives of the ordinary partition generating function and invokes its known quasimodularity; this argument does not rely on the q-equation or any fitted parameters. The limit-shape result is a direct asymptotic comparison to the Vershik-Kerov-Logan-Shepp curve restricted to the diagonal. No step reduces a claimed prediction or theorem to an input by construction, and no load-bearing self-citation chain is present.
Axiom & Free-Parameter Ledger
axioms (1)
- standard math Self-conjugate partitions and the uniform probability measure on them are well-defined combinatorial objects.
Forward citations
Cited by 1 Pith paper
-
The $n$-Point Function of $t$-Core Partitions and Topological Vertex
A closed formula for the n-point function of t-core partitions is given in terms of theta functions, with the associated correlation functions proven to be quasimodular forms.
Reference graph
Works this paper leans on
-
[1]
Introduction The integer partitions are intensively studied by mathematicians, inc lud- ing their relation to combinatorics, representation theory, numbe r theory, random geometry, and mathematical physics (see, for examples, [1, 20, 21, 23] and reference therein). In 2000, Bloch and Okounkov [3] stu died the characters of the infinite wedge representation...
work page 2000
-
[2]
We recommend the books [1, 6, 20] for interested readers
Preliminaries In this section, we review the notions of partition and the fermionic F ock space. We recommend the books [1, 6, 20] for interested readers . 2.1. Partitions. A partition of a non-negative integer n is a sequence λ = (λ 1,λ 2,...,λ l) CORRELATION FUNCTION OF SELF-CONJUGATE PARTITIONS 5 of positive integers satisfying the non-increasing condi...
-
[3]
We equip the fermionic Fock space F with a standard inner product such that the basis {vS} is orthonormal. We denote it by ( ·, ·). The vacuum expectation value provides a better formalism for the in ner product on the fermionic Fock space F . For a vector |v⟩ ∈ F , we use ⟨v| ∈ F ∗ to denote the dual vector of |v⟩, then the vacuum expectation value is of...
-
[4]
First, the operator ψ k is the exterior multiplication by k
The actions of them on the fermionic 8 ZHIYONG W ANG AND CHENGLANG YANG Fock space F are defined as follows. First, the operator ψ k is the exterior multiplication by k . That is, for any admissible S, ψ k ·vS =k ∧ vS. Then the operator ψ ∗ k is defined as the adjoint operator of ψ k with respect to the standard inner product ( ·, ·). Equivalently, ψ ∗ k ·v...
-
[5]
The n-point function and q-difference equations In this section, we introduce the ω -transform on the fermionic operators and the fermionic Fock space. By virtue of that, we derive the q-difference equation for the n-point function G(t1,t 2,...,t n) related to the measure Mq(·). 3.1. The ω -transform. We introduce the ω -transform on fermionic oper- ators ...
-
[6]
Applications of the q-difference equation In this section, we derive closed formulas of the one-point function G(t) and the two-point function G(t1,t 2) using Theorem 1.1. These explicit formulas only involve theta functions Θ 1(t;q), Θ3(t;q), and then inherit the quasimodularity of these functions. From now on, we always assume 0 < |q|< 1. 4.1. An explic...
-
[7]
The quasimodularity of n-point function In this section, motivated by the result in [3, 12, 18, 31] and the exp licit formulas in Corollary 1.2, we study the quasimodularity of the n-point functions G(t1,t 2,...,t n) of the self-conjugate partitions. We shall prove Theorem 1.3. The following lemma will be useful when proving the quasimodularity of the cor...
-
[8]
Limit shape of the self-conjugate partitions under Gibbs uniform measure In this section, we derive the limit shape of the self-conjugate part itions under the measure Mq(·) when q → 1− and verify its compatibility with the leading asymptotics of the one-point function G(t). 6.1. Limit shape of the self-conjugate partitions under the mea- sure Mq(·) when ...
-
[9]
+O(r). By the similar method in analyzing the limit rescaled Frobenius length, we can obtain the limit behavior of ˜gλ (t). More precisely, denote g(x) := Eq ( ˜g·(x) ) = − √ 6 π log(1 +e− 2πx/ 2 √ 6). (6.8) We have, for any fixed x> 0 and ǫ> 0, lim q→ 1− Mq ({ λ ⏐ ⏐ |˜gλ (x) − g(x)|<ǫ }) = 1. Now, we use the relation between ˜fλ (x) and ˜gλ (x) to derive ...
-
[10]
(see also [22]) after rotation, even the set of self-conjugate partitions is a very small part of the set of all integer partitions. 6.2. Comparison of the leading asymptotics of the one-point func - tion and the limit shape. In this subsection, we show that the leading asymptotics of the one-point function G(t) matches the limit shape derived in the last...
-
[11]
G. E. Andrews. The theory of partitions . Cambridge Mathematical Library. Cam- bridge University Press, Cambridge, 1998. Reprint of the 1976 orig inal
work page 1998
-
[12]
J. Baik, P. Deift, and K. Johansson. On the distribution of the len gth of the longest increasing subsequence of random permutations. J. Amer. Math. Soc. , 12(4):1119– 1178, 1999
work page 1999
-
[13]
S. Bloch and A. Okounkov. The character of the infinite wedge re presentation. Adv. Math., 149(1):1–60, 2000
work page 2000
-
[14]
A. Borodin, A. Okounkov, and G. Olshanski. Asymptotics of Planc herel measures for symmetric groups. J. Amer. Math. Soc. , 13(3):481–515, 2000
work page 2000
-
[15]
D. Chen, M. M¨ oller, and D. Zagier. Quasimodularity and large genu s limits of Siegel-Veech constants. Journal of the American Mathematical Society , 31(4):1059– 1163, 2018
work page 2018
-
[16]
E. Date, M. Jimbo, and T. Miwa. Differential equations, symmetrie s and infinite dimensional algebras. Cambridge University Press , 2000
work page 2000
-
[17]
F. Diamond and J. Shurman. A first course in modular forms , volume 228 of Grad- uate Texts in Mathematics . Springer-Verlag, New York, 2005
work page 2005
- [18]
-
[19]
P. Engel. Hurwitz theory of elliptic orbifolds, I. Geometry & Topology , 25(1):229– 274, 2021
work page 2021
-
[20]
P. Erd¨ os and J. Lehner. The distribution of the number of sum mands in the parti- tions of a positive integer. Duke Mathematical Journal , 8:335–345, 1941
work page 1941
-
[21]
A. Eskin and A. Okounkov. Asymptotics of numbers of branche d coverings of a torus and volumes of moduli spaces of holomorphic differentials. Invent. Math. , 145(1):59–103, 2001. CORRELATION FUNCTION OF SELF-CONJUGATE PARTITIONS 41
work page 2001
- [22]
-
[23]
G. A. Freiman, A. M. Vershik, and Yu. V. Yakubovich. A local limit t heorem for random partitions of natural numbers. Teor. Veroyatnost. i Primenen. , 44(3):506– 525, 1999
work page 1999
- [24]
-
[25]
E. Goujard and M. M¨ oller. Counting Feynman-like graphs: quas imodularity and Siegel-Veech weight. J. Eur. Math. Soc. (JEMS) , 22(2):365–412, 2020
work page 2020
-
[26]
M.A. Hahn, J.-W. M. van Ittersum, and F. Leid. Triply mixed cover ings of arbi- trary base curves: quasimodularity, quantum curves and a myste rious topological recursion. Ann. Inst. Henri Poincar´ e D, 9(2):239–296, 2022
work page 2022
-
[27]
J.-W. M. van Ittersum. A symmetric Bloch–Okounkov theorem. Research in the Mathematical Sciences, 8(2):19, 2021
work page 2021
-
[28]
M. Kaneko and D. Zagier. A generalized Jacobi theta function a nd quasimodular forms. In The moduli space of curves , pages 165–172. Springer, 1995
work page 1995
-
[29]
W.-P. Li, Z. Qin, and W. Wang. Hilbert schemes, integrable hierarc hies, and Gromov-Witten theory. International Mathematics Research Notices , 2004:2085– 2104, 2003
work page 2004
-
[30]
I. G. Macdonald. Symmetric functions and Hall polynomials. Clarendon Press, 1995
work page 1995
-
[31]
N. A. Nekrasov and A. Okounkov. Seiberg-Witten theory and r andom partitions. The unity of mathematics, Progr. Math. , 244:525–596, 2006
work page 2006
- [32]
- [33]
-
[34]
A. Okounkov and R. Pandharipande. Gromov-Witten theory, H urwitz theory, and completed cycles. Annals of mathematics , pages 517–560, 2006
work page 2006
-
[35]
D. G. Taylor and W. Wang. The Bloch-Okounkov correlation func tions of classical type. Comm. Math. Phys. , 276(2):473–508, 2007
work page 2007
-
[36]
C. A. Tracy and H. Widom. Level-spacing distributions and the Air y kernel. Comm. Math. Phys. , 159(1):151–174, 1994
work page 1994
-
[37]
A. M. Vershik. Statistical mechanics of combinatorial partition s, and their limit configurations. Funktsional. Anal. i Prilozhen. , 30(2):19–39, 96, 1996
work page 1996
-
[38]
W. Wang. Correlation functions of strict partitions and twisted Fock spaces. Trans- form. Groups , 9(1):89–101, 2004
work page 2004
-
[39]
C. Yang. On two families of Nekrasov-Okounkov type formulas. arXiv:2312.08218, 2023
work page internal anchor Pith review arXiv 2023
- [40]
-
[41]
D. Zagier. Partitions, quasimodular forms, and the Bloch–Okou nkov theorem. The Ramanujan Journal , 41:345–368, 2016
work page 2016
-
[42]
Y. Zhu. Modular invariance of characters of vertex operator algebras. J. Amer. Math. Soc. , 9(1):237–302, 1996. Email address : zwangco@pku.edu.cn Zhiyong W ang, School of Mathematical Sciences, Peking Univ ersity, Beijing Email address : yangcl@amss.ac.cn 42 ZHIYONG W ANG AND CHENGLANG YANG Chenglang Yang, Hua Loo-Keng Center for Mathematical Scien ces, ...
work page 1996
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.