[论文解读] G-functions and multisum versus holonomic sequences

Stavros Garoufalidis|ArXiv.org|Aug 31, 2007

Advanced Algebra and Geometry参考文献 10被引用 5

一句话总结

本文证明了每个平衡多重求和序列（定义为一个平衡超几何项的多维和）均具有具有有理指数的Gevrey型-1渐近展开式，证明此类序列生成G-函数，并给出了一个反例，驳斥了Zeilberger提出的关于所有正则序列均可表示为平衡超几何项的多重求和的猜想。

ABSTRACT

The purpose of the paper is three-fold: (a) we prove that every sequence which is a multidimensional sum of a balanced hypergeometric term has an asymptotic expansion of Gevrey type-1 with rational exponents, (b) we construct a class of $G$-functions that come from enumerative combinatorics, and (c) we give a counterexample to a question of Zeilberger that asks whether holonomic sequences can be written as multisums of balanced hypergeometric terms. The proofs utilize the notion of a $G$-function, introduced by Siegel, and its analytic/arithmetic properties shown recently by André.

研究动机与目标

• 证明每个平衡多重求和序列均具有具有有理指数的Gevrey型-1渐近展开式。
• 通过平衡多重求和序列，构建来自枚举组合学的新一类G-函数。
• 通过反例驳斥Zeilberger提出的猜想，即所有正则序列均可表示为平衡超几何项的多重求和。
• 将G-函数的解析性质与算术性质，与渐近展开式及正则序列相联系。
• 在Bombieri-Dwork猜想的背景下，探讨组合学中产生的G-函数与几何或算术来源的G-函数之间的关系。

提出的方法

• 利用Siegel引入并由André进一步完善的G-函数理论，分析生成函数的解析与算术结构。
• 应用拟单峰单值性与奇点处的局部单值性，研究生成函数的结构。
• 使用Frobenius方法，计算正则序列的生成函数所满足的微分方程的指数。
• 利用Galois不变性，以及整个G-函数为多项式（由Schlesinger定理）的事实，证明Stokes常数非零，并检测奇点。
• 应用Euler-MacLaurin公式与再现理论，推导单重求和情形的渐近形式。
• 利用正则序列满足系数为多项式的线性微分方程这一事实，将其奇点与渐近行为相联系。

实验结果

研究问题

• RQ1 所有平衡多重求和序列是否都具有具有有理指数的Gevrey型-1渐近展开式？
• RQ2 每个整数值、指数有界的正则序列是否都能表示为一个平衡超几何项的多重求和？
• RQ3 所有由平衡多重求和序列构造的G-函数是否都如Bombieri-Dwork猜想所述，源自几何或算术来源？
• RQ4 正则序列渐近展开式中的指数与生成函数奇点之间的确切关系是什么？
• RQ5 是否能直接从项的结构计算平衡多重求和序列的生成函数的奇点，而无需求解微分方程？

主要发现

• 每个平衡多重求和序列均具有具有有理指数的Gevrey型-1渐近展开式，确认了在特殊函数中长期观察到的规律。
• 任意平衡多重求和序列的生成函数均为G-函数，为G-函数提供了新的组合来源。
• 构造了一个反例，表明并非所有正则序列都可表示为平衡超几何项的多重求和，从而驳斥了Zeilberger的猜想。
• 整数值、指数有界的正则序列的生成函数是G-函数，将已知结果推广至更广的类。
• 正则序列的生成函数的指数可通过Frobenius方法计算，且利用Galois不变性与整个G-函数为多项式这一事实，证明了Stokes常数非零。
• 正则序列的生成函数的奇点包含在微分方程首项系数的根集合中，且如反例所示，非有理指数也可能出现。