[論文レビュー] Explicit Expressions for the Variance and Higher Moments of the Size of a Simultaneous Core Partition and its Limiting Distribution

Shalosh B. Ekhad, Doron Zeilberger|arXiv (Cornell University)|Aug 30, 2015

Advanced Mathematical Identities参考文献 6被引用数 12

ひとこと要約

この論文は、記号計算を用いて、互いに素な整数 s と t に対して、同時 (s,t)-コア分割のサイズの分散および高次モーメントの明示的な多項式表現を導出し、これらのモーメントが独立な標準正規変数を含む極限正規型分布のモーメントに収束することを確立している。主な貢献は、stCore と呼ばれる Maple パッケージに実装された強力なアルゴリズム的フレームワークであり、未定係数法と数値フィッティングを用いてモーメントの多項式を自動的に発見可能である。

ABSTRACT

Jaclyn Anderson proved that if s and t are relatively prime positive integers, then there are exactly (s+t-1)!/(s!t!) partitions whose set of hook-lengths is disjoint from the set {s,t}. Drew Armstrong conjectured (and Paul Johnson, and a bit later, Victor Wang, proved) a beautiful expression for the average size, namely (s-1)(t-1)(s+t+1)/24 . In the present article, we go far beyond the average, and state absolutely certain expressions (but "officially" still conjectures) for the variance (showing in particular that it is rather large, and there is no "concentration about the mean"), and the third through the sixth moments. For the special case of (s,s+1)-core partitions, we go all the way to the 9th moment. We pose two challenges, and will be glad to donate 100 dollars each, to the OEIS foundation in honor of the first provers, regarding a "soft" and "global", yet rigorous, justification of our empirical approach, and for proving an intriguing conjecture about the limiting distribution. This version reports (thanks to Marko Thiel and Nathan Williams) that the second challenge mentioned above has been done by Paul Johnson (but not in two pages). A donation to the OEIS was made. The first challenge is still wide open.

研究の動機と目的

• s と t が互いに素な整数であるとき、(s,t)-コア分割のサイズの分散および高次モーメントの明示的多項式表現を導出すること。
• s と t が大きくなり、s−t が固定された状態で、(s,t)-コア分割のサイズの極限分布を調査すること。
• 記号計算と数値フィッティングを用いた強力な計算的証拠を通じて、極限分布が独立な標準正規変数を含む既知の連続分布と一致することを示すこと。
• モーメントの多項式性およびその次数の上限に関する、数学的コミュニティに、厳密な事前的根拠を与えるよう挑戦すること。
• 特にコア分割および Dyck パath の文脈において、自動記号計算の使用を促進し、深い組合せ的恒等式の発見と検証を行うこと。

提案手法

• Anderson の双対性と修正された Dyck パath 表記を用いて、(s,t)-コア分割を直線 sy−tx=0 の上に保つ (0,0) から (s,t) への格子パスとしてモデル化する。
• 形式的変数 q（サイズ用）および w（正のラベル数用）を用いた重みを数える母関数 F_{s,t}(i,j)(q,w) を定義し、動的計画法の再帰関係により計算する。
• 再帰関係：F_{s,t}(i,j) = F_{s,t}(i−1,j) + Wt(i,j−1)·F_{s,t}(i,j−1) を用い、境界条件として F_{s,t}(i,j)=0（i<0 または sy−ti<0 の場合）を設定する。
• アンブレル代入 w^k → q^{−k(k−1)/2} を適用して、母関数をサイズ母関数 F_{s,t}(q) に変換する。
• 微分作用素 q d/dq を繰り返し適用し、q=1 で評価することでモーメントを計算し、中心化モーメントを抽出する。
• 数値データを多項式アンザッツを用いてフィッティングし、線形方程式系を解いて未定係数を決定することで、閉形式の式を導出する。

実験結果

リサーチクエスチョン

• RQ1 一般の互いに素な s と t に対して、(s,t)-コア分割サイズの最初の6つのモーメントの明示的多項式表現は何か？
• RQ2 サイズの最初の9つのモーメントは、(s,s+1)-コア分割においてどのように振る舞い、s の多項式として表現可能か？
• RQ3 s,t→∞ で s−t が固定されるとき、(s,t)-コア分割サイズの極限分布は、∑_{k=1}^∞ (z_k² + z̃_k²)/(4π²k²) に収束するか？ここで z_k と z̃_k は独立な標準正規変数である。
• RQ4 2ページ以内の範囲で、(s,t)-コア分割サイズのモーメントが s と t の多項式であり、次数が有界であるという、厳密な事前的根拠を提示できるか？
• RQ5 記号計算ツールは、事前の理論的根拠なしに、このようなモーメント公式の発見をどの程度自動化できるか？

主な発見

• サイズの最初の6つのモーメントは、s と t の多項式であることが証明され、記号計算により明示的な閉形式式が導出された。
• 特別な場合である (s,s+1)-コア分割に対しては、最初の9つのモーメントが s の多項式として明示的に表現され、その正しさに高い数値的信頼性がある。
• 数値的証拠により、(s,t)-コア分割サイズの最初の9つの標準化モーメントが、連続分布 ∑_{k=1}^∞ (z_k² + z̃_k²)/(4π²k²) の対応するモーメントに収束することが示され、分布収束の可能性を示唆している。
• 極限分布は、[DGP] の式 (2.4) で定義された U_{VS}(1) の分布と一致しており、他の組合せ的統計における Tracy-Widom 型の挙動と整合的である。
• 無料で利用可能な Maple パッケージ stCore は、F_{s,t}(q) の計算およびモーメント生成プロセスを自動化し、多項式フィッティングに適したスケーラブルなデータ収集を可能にしている。
• 形式的証明が欠如しているものの、著者らは広範な数値的検証および記号計算フレームワークの堅牢性に基づき、導出されたすべてのモーメント公式がほぼ確実に正しいと断言している。