[論文レビュー] 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関数の理論を用いて、母関数の解析的・算術的構造を分析する。
• 特異点における準単位的モノドロミーと局所モノドロミーの概念を応用し、母関数の構造を研究する。
• ホロノミック列の母関数が満たす微分方程式の指数をフロベニウスの方法で計算する。
• ガロア不変性と、全関数であるG関数が多項式である（Schlesingerの定理による）という事実を用いて、ストークス定数の非消滅を証明し、特異点を同定する。
• Euler-MacLaurinの公式と再帰的理論（resurgence theory）を用いて、単一サムの場合の漸近的アンツァを導出する。
• ホロノミック列が多項式係数の線形微分方程式を満たすという事実を活用し、その特異点と漸近的挙動との関係を結びつける。

実験結果

リサーチクエスチョン

• RQ1 すべてのバランス型マルチサム列は、有理数の指数を持つGevrey型1の漸近展開をもつのか？
• RQ2 すべての整数値をとり、指数的に有界なホロノミック列は、バランス型超幾何項のマルチサムとして表現可能か？
• RQ3 バランス型マルチサム列から構成されたすべてのG関数は、Bombieri-Dwork予想に従い、幾何的・算術的源から生じるのか？
• RQ4 ホロノミック列の漸近展開における指数とその母関数の特異点との間の明確な関係は何か？
• RQ5 微分方程式を解かずに、バランス型マルチサム列の母関数の特異点を項の構造から直接計算可能か？

主な発見

• すべてのバランス型マルチサム列は、有理数の指数を持つGevrey型1の漸近展開をもつ。これは、特殊関数において長年にわたり観察されてきたパターンを裏付ける。
• 任意のバランス型マルチサム列の母関数はG関数である。これは、G関数の新しい組合せ論的起源を提供する。
• すべてのホロノミック列がバランス型超幾何項のマルチサムとして得られるというZeilbergerの予想に対して、反例を構成した。
• 整数値をとり、指数的に有界なホロノミック列の母関数はG関数である。これは、既知の結果をより広いクラスに拡張する。
• ホロノミック列の母関数の指数はフロベニウスの方法で計算可能であり、ガロア不変性と全関数が多項式であるという事実を用いて、ストークス定数の非消滅を証明した。
• ホロノミック列の母関数の特異点は、微分方程式の先頭係数の根の集合に含まれる。反例により、非有理数の指数が現れることも示された。