[論文レビュー] The Ring of Malcev-Neumann Series and the Residue Theorem

Guoce Xin|ArXiv.org|May 7, 2004

Coding theory and cryptography参考文献 23被引用数 37

ひとこと要約

本稿は、マルツェフ＝ノイマン級数に基づく統一的な代数的枠組みを構築し、組合せ論における定数項評価を体系的に行う。これにより、格子路の数え上げ、マクマホンの分割解析、留数定理に対する新しい証明とアルゴリズムが可能になる。本稿は、マルツェフ＝ノイマン級数上での一般化された留数定理を確立し、部分分数分解の高速アルゴリズムを提供するとともに、ブーサケ・メルーとシューファーの滑らかでない平面におけるウォークに関する予想を、新たな代数的アプローチで証明する。

ABSTRACT

We develop a theory of the field of double Laurent series, iterated Laurent series, and Malcev-Neumann series that applies to most constant term evaluation problems. These include (i) MacMahon's partition analysis, counting solutions of systems of linear Diophantine equations or inequalities, counting the number of lattice points in convex polytopes, (ii) evaluating combinatorial sums and their generating functions, and proving combinatorial identities, and (iii) lattice path enumeration such as walks on the slit plane and walks on the quarter plane. In the general setting of this new theory, the natural definition of "taking the constant term" of a formal series works well and thus the operators of taking constant terms commute with each other. The proof of Bousquet-Mélou and Schaeffer's conjecture about walks on the slit plane is included. In addition, the counting problem of walks on the half plane avoiding the half line is solved. Jacobi's multivariate residue theorem is generalized to a field of Malcev-Neumann series, which gives a new interpretation and a better understanding of the residue theorem. One application of the residue theorem is a concise proof of Dyson's conjecture. A new algorithm for partial fraction decompositions is developed. This new algorithm is fast and uses little storage space. It also results in an efficient algorithm for MacMahon's partition analysis and related constant term evaluations.

研究の動機と目的

• 形式的ローレンツ級数およびマルツェフ＝ノイマン級数を用いて、組合せ論における定数項評価の一般化された代数的設定を構築すること。
• 格子路の数え上げにおける長年の問題、特に滑らかでない平面におけるウォークや半平面回避問題を解決すること。
• ヤコビの多変数留数定理をマルツェフ＝ノイマン級数へ一般化し、新たな代数的解釈を提供すること。
• マクマホンの分割解析に適用可能な、時間的・記憶容量的に効率的な部分分数分解のアルゴリズムを構築すること。
• 新規の留数理論的枠組みを用いて、ダイソンの予想とモリスの恒等式を証明すること。

提案手法

• 反復ローレンツ級数の一般化として、マルツェフ＝ノイマン級数の環を構築し、形式的設定下での収束に類似した挙動を可能にする。
• 定数項作用素を次数ゼロ成分への射影として定義し、変数間での可換性を保証する。
• ブリッジ補題を用いて、境界条件を満たす格子路の母関数の関数方程式を導出する。
• 一般化された留数定理を用いて、特に対称的かつ有理型の母関数における多変数有理関数の定数項を評価する。
• マルツェフ＝ノイマン級数の構造を活用し、時間的・空間的効率性に優れた部分分数分解の新アルゴリズムを開発する。
• 枠組みを応用し、組合せ的恒等式を留数評価および定数項抽出に還元することで証明する。

実験結果

リサーチクエスチョン

• RQ1 多変数有理関数の定数項を、形式的形式的べき級数の設定で体系的かつ一貫して評価する方法は何か？
• RQ2 留数定理をマルツェフ＝ノイマン級数へ一般化することで、組合せ論における既存の結果を統一的かつ拡張できるか？
• RQ3 定数項作用素は反復ローレンツ級数において果たす役割は何か？また、変数間で可換となる仕組みは何か？
• RQ4 一般化された留数定理を用いて、ダイソンの予想および関連恒等式を証明するにはどうすればよいか？
• RQ5 この形式的枠組み内での、高速かつ効率的な部分分数分解のアルゴリズムを構築できるか？

主な発見

• 本稿は、新規の留数理論的枠組みを用いて、ブーサケ・メルーとシューファーの滑らかでない平面におけるウォークの母関数に関する予想を証明する。
• マクマホンの分割解析に適用可能な、高速かつ記憶容量に優れた部分分数分解の新アルゴリズムが開発された。
• マルツェフ＝ノイマン級数上での一般化された留数定理は、ヤコビの多変数留数定理の新たな代数的解釈を提供する。
• マルツェフ＝ノイマン設定下では、定数項作用素が変数間で可換となるため、多変数問題における一貫した評価が可能になる。
• 本稿の枠組みにより、ダイソンの予想が有理関数の定数項評価に還元され、簡潔な証明が得られる。
• 非負のx軸を避ける半平面におけるウォークの数え上げ問題が、既知の結果を拡張して解決された。