[論文レビュー] Ising n-fold integrals as diagonals of rational functions and integrality of series expansions: integrality versus modularity

Alin Bostan, S. Boukraa+3 more|arXiv (Cornell University)|Nov 26, 2012

Advanced Combinatorial Mathematics参考文献 56被引用数 11

ひとこと要約

この論文は、イジング模型のn重積分および関連する組合せ的関数が有理関数の対角であることを確立し、それらの級数展開がグローバルに有界であり、変数を1回のスケーリングで変換すると整数係数の級数になることを示している。主な貢献は、級数の整数性とモジュラー性の深い関係を示しており、Calabi-YauおよびMUM微分方程式のグローバルに有界な解がほとんど常に有理関数の対角であることを示している。

ABSTRACT

We show that the n-fold integrals $χ^{(n)}$ of the magnetic susceptibility of the Ising model, as well as various other n-fold integrals of the "Ising class", or n-fold integrals from enumerative combinatorics, like lattice Green functions, are actually diagonals of rational functions. As a consequence, the power series expansions of these solutions of linear differential equations "Derived From Geometry" are globally bounded, which means that, after just one rescaling of the expansion variable, they can be cast into series expansions with integer coefficients. Besides, in a more enumerative combinatorics context, we show that generating functions whose coefficients are expressed in terms of nested sums of products of binomial terms can also be shown to be diagonals of rational functions. We give a large set of results illustrating the fact that the unique analytical solution of Calabi-Yau ODEs, and more generally of MUM ODEs, is, almost always, diagonal of rational functions. We revisit Christol's conjecture that globally bounded series of G-operators are necessarily diagonals of rational functions. We provide a large set of examples of globally bounded series, or series with integer coefficients, associated with modular forms, or Hadamard product of modular forms, or associated with Calabi-Yau ODEs, underlying the concept of modularity. We finally address the question of the relations between the notion of integrality (series with integer coefficients, or, more generally, globally bounded series) and the modularity (in particular integrality of the Taylor coefficients of mirror map), introducing new representations of Yukawa couplings.

研究の動機と目的

• イジング模型のn重積分および関連関数が有理関数の対角であることを確立すること。
• 幾何から導かれる線形微分方程式のグローバルに有界なべき級数解が、有理関数の対角と等価であることを示すこと。
• 特殊関数における整数性（スケーリング後の整数係数）とモジュラー性（モジュラー形式、ミラー写像）の相関関係を調査すること。
• グローバルに有界なG級数が有理関数の対角であるというクリスティルの予想を、Calabi-YauおよびMUM微分方程式に対して検証すること。
• ハダマール積と超幾何表現が、整数性とモジュラー性を結ぶ役割を果たすかを調査すること。

提案手法

• 有理関数の対角の概念を用いて、イジング模型のn重積分の母関数を特徴付ける。
• ピカール＝フーチュシステム、ガウス＝マイン・接続、特異点の埋め込み分解といった代数幾何の道具を応用する。
• 超幾何表現とモジュラーパラメトライゼーションを用いて、Calabi-Yau ODEおよびMUM線形ODEの解を表現する。
• スケーリングによる整数係数化の構造を解析し、アイゼンシュタインの定理およびグローバル有界性と結びつける。
• ハダマール積およびヒューリッツ積の構成を用いて、組合せ的母関数と有理関数の対角を関連付ける。
• シュワルツィアン微分およびモジュラー不変量（例：ヘプトモジュラス、モジュラー多項式）を用いて、解のモジュラー性を分析する。

実験結果

リサーチクエスチョン

• RQ1 イジング模型のn重積分χ(n)は有理関数の対角であるか？
• RQ2 幾何から導かれる線形微分方程式のグローバルに有界なべき級数解が、どの程度まで有理関数の対角として現れるか？
• RQ3 級数係数の整数性と解のモジュラー性（例：モジュラー形式、ミラー写像）の関係は何か？
• RQ4 グローバルに有界なG級数が有理関数の対角であるというクリスティルの予想は、Calabi-YauおよびMUM ODEに対して検証可能か？
• RQ5 超幾何関数および代数的関数は、特殊関数における整数性とモジュラー性を結ぶ役割を果たすか？

主な発見

• イジング模型のn重積分χ(n)は有理関数の対角であり、それらの級数展開がグローバルに有界であり、変数を1回のスケーリングで変換すると整数係数の級数になることを示している。
• Calabi-Yau ODEおよびMUM線形ODEの解はほとんど常に有理関数の対角であり、整数性と幾何の間の強い関係を支持している。
• 超幾何関数2F1([1/6,1/3],[1];x)および2F1([1/4,3/4],[1];x)が有理関数の対角であることが示され、16x、64x、27xでのスケーリング後に級数が整数係数になる。
• 3F2([1/3,1/2,2/3],[1,1];x)の級数はグローバルに有界であり、x → 16xにスケーリングすると整数係数になる。係数は1, -12, -36, -192, -1380など。
• 2F1([1/6,2/3],[1/2];27x)はスケーリング後、整数係数を示す：1, 6, 105, 2184, 48906, 1141140。対角表現による整数性の確認がなされた。
• 代数的超幾何関数に対して、明示的な有理関数の対角表現が与えられている。例えば、2F1([1/6,2/3],[1/2];27x) = (1-16x)^{-1/2} × 2F1([1/6,1/3],[1];1728x²/(1-16x)^3)。