[论文解读] Schur's partition theorem and mixed mock modular forms

Kathrin Bringmann, Karl Mahlburg|arXiv (Cornell University)|Jul 6, 2013

Advanced Mathematical Identities参考文献 29被引用 3

一句话总结

本文通过证明Schur型分拆的生成函数由通用的模形式函数控制，建立了Schur分拆定理、混合模形式与概率论之间的深刻联系。该研究解决了Andrews关于模形式性的猜想，并利用Wright圆法推导出渐近不等式，同时表明通用模形式函数作为无限乘积概率空间中的条件概率出现。

ABSTRACT

We study families of partitions with gap conditions that were introduced by Schur and Andrews, and describe their fundamental connections to combinatorial q-series and automorphic forms. In particular, we show that the generating functions for these families naturally lead to deep identities for theta functions and Hickerson's universal mock theta function, which provides a very general answer to Andrews' Conjecture on the modularity of the Schur-type generating function. Furthermore, we also complete the second part of Andrews' speculation by determining the asymptotic behavior of these functions. In particular, we use Wright's Circle Method in order to prove families of asymptotic inequalities in the spirit of the Alder-Andrews Conjecture. As a final application, we prove the striking result that the universal mock theta function can be expressed as a conditional probability in a certain natural probability space with an infinite sequence of independent events.

研究动机与目标

• 通过识别其底层的自守形式，解决Andrews关于Schur型生成函数模形式性的猜想。
• 将Hickerson的通用模形式函数以无限独立事件序列中的条件概率形式，建立新颖的概率解释。
• 利用Wright圆法，以Alder-Andrews猜想的精神，推导Schur型分拆函数的渐近不等式。
• 通过theta函数恒等式与模形式，统一组合$q$-级数恒等式与自守形式。
• 利用$q$-差分方程与概率条件化，为Schur恒等式及相关生成函数恒等式提供新的简洁证明。

提出的方法

• 通过在事件$E_j$与$F_j$上的概率条件化，利用$q$-差分方程推导分拆生成函数的递推关系。
• 引入归一化的生成函数$h_{d,r}(x)$，将分拆生成函数与$q$-超几何级数联系起来。
• 应用Wright圆法，推导生成函数系数的渐近展开，得到与Alder-Andrews猜想一致的不等式。
• 利用无限乘积恒等式与$q$-Pochhammer符号的结构，将$\mathscr{B}_{d,r}(q)$与$\mathscr{E}_{d,r}(q)$与模形式函数联系起来。
• 建立一个概率模型，其中$\mathbf{P}(\mathcal{U}_k) = h_{d,r}(q^{kd})$，将分拆计数与条件概率联系起来。
• 证明通用模形式函数$g_3(-q^r; q^d)$等于条件概率$\mathbf{P}(F_r F_{d-r} F_d \mid U_{d,r})$，从而提供一种新的概率解释。

实验结果

研究问题

• RQ1 Schur型分拆的生成函数如何与模形式及theta函数相关联？
• RQ2 能否通过自守形式证明Andrews关于Schur型生成函数模形式性的猜想？
• RQ3 Schur型分拆函数的渐近行为如何？它们是否满足类似于Alder-Andrews猜想中的不等式？
• RQ4 通用模形式函数能否在自然概率空间中解释为条件概率？
• RQ5 $q$-差分方程与概率条件化如何为经典分拆恒等式提供新证明？

主要发现

• 证明了具有间隙条件的分拆生成函数$\mathscr{B}_{d,r}(q)$等于满足模$d$同余于$\pm r$的互异部分的生成函数$\mathscr{E}_{d,r}(q)$，从而确认了Schur恒等式。
• 通用模形式函数$g_3(-q^r; q^d)$自然地作为条件概率$\mathbf{P}(F_r F_{d-r} F_d \mid U_{d,r})$出现，提供了新的概率解释。
• 生成函数$h_{d,r}(x)$满足一个$q$-差分方程，从而导出$\mathbf{P}(\mathcal{U}_k)$的递推关系，且满足$\mathbf{P}(\mathcal{U}_k) = h_{d,r}(q^{kd})$。
• 利用Wright圆法，本文推导出$B_{d,r}(n)$的渐近不等式，确认了Alder-Andrews猜想所预测的预期增长行为。
• 条件概率$\mathbf{P}(U_{d,r} \mid V_{d,r})$表示为生成函数的比值，简化为$f_{d,r}(1) / \big((1+q^r)(1+q^{d-r})(1+q^d)f_{d,r}(q^d)\big)$，从而与模形式恒等式建立联系。
• 当$k \to \infty$时，极限$\mathcal{H}_k \to 1$确保了$q$-差分递推关系解的唯一性，从而验证了概率模型的合理性。