[论文解读] 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重积分及其相关组合函数是有理函数的对角线，这意味着其级数展开是全局有界的，并且在单变量缩放后变为整系数级数。其核心贡献在于揭示了级数整性与模形式之间的深层联系，表明卡拉比-丘与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-级数是有理函数的对角线。
• 探讨Hadamard积与超几何表示在连接整性与模形式中的作用。

提出的方法

• 使用有理函数对角线的概念，表征伊辛模型n重积分的生成函数。
• 应用代数几何工具，如Picard-Fuchs系统、Gauss–Manin联络以及奇点的嵌入解析解。
• 利用超几何表示与模参数化，表达卡拉比-丘ODE与MUM线性ODE的解。
• 通过缩放分析级数展开结构，实现整系数，关联到Eisenstein定理与全局有界性。
• 利用Hadamard积与Hurwitz积构造，将组合生成函数与有理函数对角线联系起来。
• 采用Schwarzian导数与模不变量（如主模、模多项式）分析解的模形式性质。

实验结果

研究问题

• RQ1 伊辛模型的n重积分χ(n)是否是有理函数的对角线？
• RQ2 由几何导出的线性微分方程的全局有界幂级数解在多大程度上可表示为有理函数的对角线？
• RQ3 级数系数的整性与解的模形式性质（如模形式、镜像映射）之间有何关系？
• RQ4 克里斯托尔猜想——即全局有界的G-级数是有理函数的对角线——是否可在卡拉比-丘与MUM ODE中得到验证？
• RQ5 超几何函数与代数函数在连接特殊函数中整性与模形式方面起什么作用？

主要发现

• 伊辛模型的n重积分χ(n)是有理函数的对角线，这意味着其级数展开是全局有界的，并且在单变量缩放后变为整系数级数。
• 卡拉比-丘ODE与MUM线性ODE的解几乎总是有理函数的对角线，支持了整性与几何之间的强关联。
• 超几何函数如 2F1([1/6,1/3],[1];x) 与 2F1([1/4,3/4],[1];x) 被证明是有理函数的对角线，其级数在缩放 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)。