[論文レビュー] A Uniform Version of the Petrov-Khovanskii Theorem

Gal Binyamini, Gal Dor|arXiv (Cornell University)|Aug 9, 2011

Advanced Differential Equations and Dynamical Systems参考文献 8被引用数 4

ひとこと要約

本稿では、ハミルトニアン系に関連するアーベル積分の零点数に対する一様で明示的な上界を提示する。Petrov-Khovanskiiの次数線形の上界とBinyaminiらの有効な手法を組み合わせることで、ハミルトニアンの次数に二重指数的依存を達成しつつ、微分形式の次数に対して線形増加を実現する。主な結果は、$ \mathcal{N}(n,m) \leq \exp^{+2}(n^2) \cdot m + \exp^{+5}(n^2)$ の形の上界であり、$ \deg \omega$ に対して明示的かつ線形の依存関係を有する。これは、無限小ヒルベルト16番目の問題を解決するものである。

ABSTRACT

An Abelian integral is the integral over the level curves of a Hamiltonian $H$ of an algebraic form $ω$. The infinitesimal Hilbert sixteenth problem calls for the study of the number of zeros of Abelian integrals in terms of the degrees $H$ and $ω$. Petrov and Khovanskii have shown that this number grows at most linearly with the degree of $ω$, but gave a purely existential bound. Binyamini, Novikov and Yakovenko have given an \emph{explicit} bound growing doubly-exponentially with the degree. We combine the techniques used in the proofs of these two results, to obtain an explicit bound on the number of zeros of Abelian integrals growing linearly with $\degω$.

研究の動機と目的

• アーベル積分の零点数に関する存在的線形上界と有効な二重指数的上界の間のギャップを埋めること。
• ハミルトニアンと微分形式の次数にのみ依存する、アーベル積分の孤立零点数に対する明示的かつ一様な上界を提供すること。
• Petrov-Khovanskiiの手法（線形上界、非一様）とBinyamini らの手法（有効、二重指数的）を統合し、微分形式の次数に対して有効な線形上界を導く統一的枠組みを構築すること。
• 複素特異点を持つ系を、解の成長を制御できるように実特異点を持つ系に変換する構成的技法を確立すること。
• 最適次数の畳み込み多項式の存在を仮定することで、さらなる改善の可能性を検討すること。

提案手法

• 著者らは、Binyamini らの解析接続およびモノドロミー技法と、Petrov-Khovanskiiの構造的分解と特異点制御技法を組み合わせる。
• 複素特異点を実直線上に写像する、シフトと畳み込み操作から成る合成変換を導入する。この変換により、0と∞にのみ有限個の新たな特異点が導入される。
• 反復的な畳み込みプロセスを用い、$ \nu$ 個の特異点を持つ系を、高々 $3\nu$ 個の特異点を持つ系に変換する。この過程で解空間の構造は保存される。
• 主要な技術的ツールとして、多項式エンベロープの使用と、変換を通じた解の持ち上げを用い、零点数が新たな系の複雑さによって制御されることを保証する。
• 基本解行列の成長に関する境界を用いて、元の系の零点数と変換後の系の零点数との間の再帰的不等式を導出する。
• 変換の合成を適用して、複素特異点を持つ系を実特異点を持つ系に還元し、先行研究の有効な境界の適用を可能にする。

実験結果

リサーチクエスチョン

• RQ1 微分形式の次数に対して線形増加する、アーベル積分の零点数に対する明示的かつ一様な上界を確立できるか？（二重指数的ではなく。）
• RQ2 複素特異点を持つ線形系を実直線上に写像する変換のうち、解の成長を制御できる最小の複雑さは何か？
• RQ3 Petrov-Khovanskiiの存在的線形上界の手法を、接続およびモノドロミー理論からの構成的技法によって有効化できるか？
• RQ4 畳み込みとシフト変換を繰り返し適用することで、系の複雑さと最終的な零点数にどのような影響が生じるか？
• RQ5 最適次数の畳み込み多項式（例：次数 $O(\nu)$）が存在すると仮定した場合、どのような改善が可能か？

主な発見

• 本稿では、明示的かつ一様な上界 $ \mathcal{N}(n,m) \leq \exp^{+2}(n^2) \cdot m + \exp^{+5}(n^2)$ を確立する。ここで $n = \deg H$、$m = \deg \omega$ であり、これは $m$ に対して線形依存関係を有する。無限小ヒルベルト16番目の問題を解決するものである。
• 上界は、Petrov-Khovanskiiの構造的制御とBinyamini らの有効な推定を組み合わせ、新規の合成畳み込み変換を用いることで得られる。
• 変換プロセスは、シフトと二乗化を用いて、すべての複素特異点を実直線上に写像する。この過程で、0と∞にのみ有限個の新たな特異点が導入される。
• 変換下での領域の像を覆う三角形の数は、$ \nu$（特異点数）に関して $2^{O(\nu)}$ のオーダーで増加する。
• 最終的な上界には高々5回の繰り返し指数が含まれるが、最適畳み込み多項式の存在を仮定すれば、これを3回にまで削減可能である。
• 著者らは、上界における繰り返し指数的成長がおそらく過剰であり、今後の改善には全く新しいアイデアが必要となる可能性があることを示している。