[論文レビュー] Asymptotics of Multivariate Sequences, part I. Smooth points of the singular variety

Robin Pemantle, Mark C. Wilson|ArXiv.org|Mar 28, 2000

Polynomial and algebraic computation参考文献 19被引用数 5

ひとこと要約

本稿では、多変数母関数の係数の漸近挙動を、多変数コーシー積分公式と留数理論を用いて系統的に計算する手法を開発する。特に対象とするのは、特異的多様体の滑らかさを持つ点である。漸近挙動は、特異点を通るように積分路を変形することで抽出可能であり、振動積分と多変数鞍点法を用いることで、一様かつ精密な推定が得られることを示している。

ABSTRACT

Given a multivariate generating function F, we determine asymptotics for the coefficients. Our approach is to use Cauchy's integral formula near singular points of F, resulting in a tractable oscillating integral. This paper treats the case where the singular point of F is a smooth point of a surface of poles. Companion papers will treat singular points of F where the local geometry is more complicated, and for which other methods of analysis are not known.

研究の動機と目的

• 生成関数が孤立特異点を持つ場合に、多変数母関数係数の漸近的解析の体系的アプローチを構築すること。
• 単変数の漸近的技法（例えば鞍点法）を、複素変数の曲線積分を用いて多変数設定へと拡張すること。
• 特異的多様体の滑らかな点の周辺における漸近挙動の抽出を厳密に形式化し、より複雑な特異点の後続的解析の基盤を提供すること。
• 解析的幾何学と留数理論に基づいて形式化することで、マセープルなどの記号計算システムにおける漸近係数抽出の自動化を可能にすること。

提案手法

• d次元の複素数空間 ℂ^d 内のd次元トーラス上での積分として、係数を多変数コーシー積分公式を用いて表現する。
• 生成関数の滑らかな特異点を通過するように、積分路を変形し、留数定理を適用する。
• 特異点近傍における得られた振動積分を、複素変数の複数の変数における定常位相法および勾配降下法を用いて分析する。
• 特に滑らかな点における特異的多様体の幾何構造に依存して、係数の漸近挙動における主要寄与を特定する。
• 振動積分の近似として多変数鞍点法を用い、漸近展開を導出する。
• 積分路の変形が正当であり、留数寄与が漸近的挙動を支配する条件を確立する。

実験結果

リサーチクエスチョン

• RQ1 生成関数が孤立特異点を持つ場合に、多変数母関数係数の漸近展開を体系的に導出する方法は何か？
• RQ2 与えられた方向において、滑らかな特異点からの寄与が係数の漸近挙動を支配するための条件は何か？
• RQ3 多変数鞍点法を、インデックス空間の異なる方向にわたる一様な漸近的推定を得るために適応可能か？
• RQ4 特異的多様体の幾何構造（特に滑らかな点において）が、漸近展開の構造にどのように影響を与えるか？
• RQ5 この手法を滑らかでない点や複数の特異点に対しても拡張可能か？また、積分路の変形はその際に果たす役割は何か？

主な発見

• 多変数母関数係数の漸近挙動は、生成関数の滑らかな特異点を通るように積分路を変形することで導出可能である。
• 係数の漸近挙動における主要寄与は、滑らかな特異点における留数であり、これは振動積分として記述され、多変数鞍点法を用いて近似可能である。
• 収束領域の境界から離れた領域では、一様な漸近展開が得られ、明確な誤差項の上限も与えられる。
• 滑らかな点においては、漸近的挙動は局所的な幾何構造と臨界点における対数ポテンシャルのヘッセ行列に支配され、ガウス型の減衰を示す。
• 本手法は、複数特異点やトーラル特異点を含む、より複雑な特異点の解析の基盤を提供する。
• 代数的および有理型母関数に対して有効であり、記号計算システムにおけるアルゴリズム的実装が可能である。