[論文レビュー] Schur's partition theorem and mixed mock modular forms

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

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

ひとこと要約

本稿は、シュールの分割定理、混合モックモジュラー形式、確率論の間の深い関係を確立し、シュール型分割の母関数が普遍的モック・トーティエント関数に従うことを証明する。アンドリュースのモジュラー性に関する予想を解決し、ライトの円周法を用いて漸近的不等式を導出し、また無限積確率空間における条件付き確率として普遍的モック・トーティエント関数が現れることを示す。

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.

研究の動機と目的

• シュール型母関数のモジュラー性に関するアンドリュースの予想を、その背後にある自動形式を同定することで解決すること。
• ヒッカーソンの普遍的モック・トーティエント関数を、独立事象の無限列における条件付き確率としての新しい確率的解釈を確立すること。
• ライトの円周法を用いて、アーダー＝アンドリュース予想の精神に則ったシュール型分割関数の漸近的不等式を導出すること。
• theta関数の恒等式とモックモジュラー形式を通じて、組合せ的 $q$-級数恒等式と自動形式を統一すること。
• $q$-差分方程式と確率的条件付き確率を用いて、シュールの恒等式および関連する母関数恒等式の、新しいかつ簡潔な証明を提供すること。

提案手法

• 事象 $E_j$ および $F_j$ における $q$-差分方程式と確率的条件付き確率を用いて、分割母関数の再帰的関係を導出する。
• 分割母関数を $q$-超幾何級数に結びつけるために、正規化された母関数 $h_{d,r}(x)$ を導入する。
• ライトの円周法を適用して、母関数の係数の漸近的展開を導出し、アーダー＝アンドリュース予想に一致する不等式を得る。
• 無限積恒等式および $q$-ポッホハマー記号の構造を用いて、$\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 シュール型分割の母関数は、モックモジュラー形式およびtheta関数とどのように関係しているか？
• RQ2 シュール型母関数のモジュラー性に関するアンドリュースの予想は、自動形式を用いて証明可能か？
• RQ3 シュール型分割関数の漸近的挙動は何か？また、アーダー＝アンドリュース予想に類似した不等式を満たすか？
• RQ4 普遍的モック・トーティエント関数は、自然な確率空間における条件付き確率として解釈可能か？
• RQ5 $q$-差分方程式と確率的条件付き確率は、古典的分割恒等式の新しい証明をどのように提供するか？

主な発見

• ギャップ条件を満たす分割の母関数 $\mathscr{B}_{d,r}(q)$ が、$\pm r \pmod{d}$ に合同な相異なる部分に等しい母関数 $\mathscr{E}_{d,r}(q)$ と等しいことが示され、シュールの恒等式が確認された。
• 普遍的モック・トーティエント関数 $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})$ が成り立つ。
• ライトの円周法を用いて、$B_{d,r}(n)$ の漸近的不等式が導出され、アーダー＝アンドリュース予想が予測する期待される成長挙動が確認された。
• 条件付き確率 $\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$-差分再帰の解が一意であることが保証され、確率的モデルの妥当性が裏付けられた。