[論文レビュー] Experimental results for the Poincaré center problem (including an Appendix with Martin Cremer)

Hans‐Christian Graf von Bothmer|arXiv (Cornell University)|May 25, 2005

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

ひとこと要約

本稿では、有限体上の有理点の個数を数える計算的手法を用いて、二次および三次微分方程式系におけるPoincaré中心問題を研究する。特異的特徴 p > 2k+2 におけるFrommerのアルゴリズムを用いることで、焦点値が消える多様体の余次元および既約成分の数を推定し、すべての三次系がDarboux型または有理的可逆型であるという、Żąłędekの予想を支持する新たな統計的証拠を提供する。これにより、m(3) ≥ 10 が得られる。

ABSTRACT

We apply a heuristic method based on counting points over finite fields to the Poincaré center problem. We show that this method gives the correct results for homogeneous non linearities of degree 2 and 3. Also we obtain new evidence for Zoladek's conjecture about general degree 3 non linearities

研究の動機と目的

• 三次系に中心を持つすべての系が、Darboux型または有理的可逆型であるというŻąłędekの予想に対する統計的証拠を提供すること。
• 三次Poincaré微分方程式系の空間において、焦点値が消える代数的多様体における既約成分の数と余次元を推定すること。
• 符号的多項式表現を用いずに、有限体上での焦点値および接空間を効率的に評価するための手法を開発・実装すること。
• 三次系における高次度の焦点多項式に対して、Gröbner基底および分解法が計算的に不可能である問題を克服すること。

提案手法

• Weil予想を用いて、最初の i 個の焦点値が消える多様体 X_i における ℚ_p-有理点の密度と既約成分の数・余次元を関連付ける。
• 特異的特徴 p > 2k+2 における有限体上でのFrommerのアルゴリズムを用い、全多項式の記号的展開なしに焦点値 s_k を計算する。
• 450 MHz のマシンで1時間に300万点を評価できるC++プログラムを実装し、パラメータ空間の高スルーレートサンプリングを可能にする。
• 接空間解析を併用したランダムサンプリングにより、低余次元成分上の点を除外し、高余次元成分の推定を可能にする。
• s_k が有理係数多項式であり、かつ s_k の分母に p が含まれない場合には、p を法とする還元が消える性質を保つことを利用する。
• 最初の焦点多項式 s_1 を用いて自由変数を1つ削減することで、有効なサンプル点数を p 倍に増やし、統計的パワーを著しく向上させる。

実験結果

リサーチクエスチョン

• RQ1 三次系において、最初の m(3) 個の焦点値が消えることで、すべての高次焦点値が消える最小の数 m(3) は何か？
• RQ2 焦点値が消える三次系の多様体に、いくつの既約成分が存在し、それらの余次元は何か？
• RQ3 有限体上の有理点の統計的分布は、すべての三次中心がDarboux型または有理的可逆型であるというŻąłędekの予想を支持するか？
• RQ4 符号的表現 s_k を用いずに、有限体上での多様体 X_i のランダム点における接空間を効率的に計算できるか？
• RQ5 代数的分解法ではなく、点数え手法を用いることで、中心多様体の余次元および成分数をどの程度正確に推定できるか？

主な発見

• 本手法は、二次系における既知の結果 m(2) = 3 を、有限体上の点数えによって正確に再現できた。
• 三次系においては、m(3) ≥ 10 である統計的証拠を獲得し、これにより以前の境界を改善し、Żołańdekの予想を支持する。
• 余次元7における中心多様体の既約成分の数は、少なくとも1つであると推定され、接空間解析により高余次元成分の検出も可能である。
• 特異的特徴 p におけるFrommerのアルゴリズムの実装により、全多項式の記号的展開なしに、焦点値およびその微分を信頼性高く計算可能である。
• 本手法は非常にスケーラブルであり、並列処理が可能で、メモリ使用量が最小限であり、中間出力を継続的に出力するため、データ損失なく中断・再開が可能である。
• 最初の焦点多項式 s_1 を用いることで、有効なサンプル点数が p 倍に増加し、統計的パワーが著しく向上した。