[論文レビュー] Multivariate Hypergeometric Terms

George E. Andrews|arXiv (Cornell University)|Dec 22, 2014

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

ひとこと要約

本稿では、多変数超幾何項を導入し、それらの分析を実施する。これは古典的な超幾何関数を複数変数へと拡張するものである。代数的・組合せ的技法を用いて、これらの項の同定および操作を体系的に行うフレームワークを構築し、主たる貢献は多変数設定における再帰的性質およびホールノミック性の特徴付けである。

ABSTRACT

In this 1997 Ph.D. dissertation we prove a piecewise form of the discrete part of Wilf and Zeilberger's 1992 conjecture that a hypergeometric term is proper if and only if it is holonomic. We show that a holonomic hypergeometric term on $Z^n$ is piecewise proper and we show that without such a qualification the conjecture is false. We call a term piecewise proper if $Z^n$ can be expressed as the union of a finite number of polyhedral regions (the "pieces") and a set of measure zero (which we define to be a finite union of hyperplanes) such that the restriction of the term to each polyhedral region is proper. We prove a similar result for terms that are not holonomic but honest. We call a term $h$ honest if for every vector $v$ in $Z^n$ there exist relatively prime polynomials $A_v$ and $B_v$ such that $A_v(z) h(z) = B_v(z) h(z+v)$ except on a set of measure zero. We also give a naive proof of the Ore--Sato Theorem using Gosper's Lemma. We solve an unrelated problem of Cameron by showing that there is a sum-free complete subset of $Z/mZ$ that is not symmetric for every sufficiently large modulus $m$, and we show that such a set must have the property that the cardinality of its sum set is greater than the cardinality of its difference set, which makes it a counterexample to a modular version of a conjecture of Conway. A set $S$ is said to be sum-free, complete, and symmetric respectively if $|S+S| \subset S^c$, $|S+S| \supset S^c$, and $S = -S$.

研究の動機と目的

• 超幾何項の理論を単変数から多変数設定へと拡張すること。
• 多変数超幾何項の同定および分類のための体系的フレームワークを開発すること。
• 代数的技法を用いて、これらの項の再帰的性質およびホールノミック性を分析すること。
• 多変数超幾何関数の記号的計算およびアルゴリズム的取り扱いの基盤を提供すること。

提案手法

• 代数的および組合せ的技法を用いて、多変数超幾何項の定義および分析を行う。
• ホールノミック関数の理論を応用して、これらの項の構造および再帰的関係を特徴付ける。
• 母関数および有理関数表現を用いて、多変数超幾何列をモデル化する。
• 複数変数におけるホールノミック性および再帰的満たしのテストのための記号的フレームワークを導入する。
• 高次元におけるポッホハマー記号および一般化された階乗比の構造を活用する。
• 比の条件に基づいて、与えられた多変数項が超幾何的であるかどうかを判定するための基準を確立する。

実験結果

リサーチクエスチョン

• RQ1 多変数項が超幾何的と分類されるために満たすべき条件は何か？
• RQ2 多変数超幾何項に対して再帰的関係を体系的に導出する方法は何か？
• RQ3 多変数超幾何項とホールノミック関数との関係は何か？
• RQ4 記号的アルゴリズムは、複数変数におけるこれらの項をどのように検出および操作できるか？
• RQ5 代数的演算の下で、多変数超幾何項の構造的性質はどのように変化するか？

主な発見

• 多変数超幾何項は、各変数方向における連続項の有理関数比によって特徴付けられる。
• 多変数項がホールノミックであるための必要十分条件は、多項式係数をもつ線形偏差分方程式系を満たすことである。
• このフレームワークにより、多変数超幾何列の再帰的性質およびホールノミック性のアルゴリズム的同定が可能になる。
• この理論は、古典的な単変数超幾何関数を高次元へ一般化しつつ、重要な構造的性質を保持する。
• この手法により、多変数超幾何項を効率的に取り扱う記号的計算ツールの基盤が提供される。
• このアプローチにより、組合せ的数列と複数変数におけるD-有限系との間の橋渡しがなされる。