[論文レビュー] Random Sparse Polynomial Systems

Gregorio Malajovich, J. Maurice Rojas|ArXiv.org|Dec 13, 2000

Geometry and complex manifolds参考文献 18被引用数 4

ひとこと要約

本稿は、トーリック多様体上の混合体積形式と根の分布を結びつけることで、スパースなランダム多項式系の確率的枠組みを構築する。条件数が $1/\varepsilon$ を超える確率に対する明示的な上限を、混合体積形式の積分と定義域の内在的幾何的不変量に依存して導出しており、シンプレクティック幾何およびケーラー幾何を用いて、古典的結果をスパース系へと拡張する。

ABSTRACT

Let f:=(f^1,\...,f^n) be a sparse random polynomial system. This means that each f^i has fixed support (list of possibly non-zero coefficients) and each coefficient has a Gaussian probability distribution of arbitrary variance. We express the expected number of roots of f inside a region U as the integral over U of a certain mixed volume form. When U = (C^*)^n, the classical mixed volume is recovered. The main result in this paper is a bound on the probability that the condition number of f on the region U is larger than 1/epsilon. This bound depends on the integral of the mixed volume form over U, and on a certain intrinsic invariant of U as a subset of a toric manifold. Polynomials with real coefficients are also considered, and bounds for the expected number of real roots and for the condition number are given. The connection between zeros of sparse random polynomial systems, Kahler geometry, and mechanics (momentum maps) is discussed.

研究の動機と目的

• スパースなランダム多項式系の期待根数を混合体積形式の観点から特徴づけること。
• スパースなランダム系の条件数が $1/\varepsilon$ を超える確率を制限すること。
• シンプレクティック幾何およびケーラー幾何的構造を組み込むことで、密度のある系からスパースな系へと結果を拡張すること。
• 実数係数を持つ系における実根の存在と条件数の挙動を分析すること。

提案手法

• スパース系の根の自然な位相空間として、ケーラー多様体構造 $(\mathcal{T}^n, \omega_A, J)$ を用いる。
• 系のニュートン多面体に関連するトーリック多様体上に混合体積形式を定義する。
• 根の数え上げと評価写像のヤコビアンを結びつけるために、共面積公式と陰関数論を適用する。
• ランダム正規多項式をモデル化するために、分散行列 $C$ を持つガウス分布を係数に用いる。
• シンプレクティック幾何におけるモーメント写像を用いて、根の分布を力学系の観点から解釈する。
• 定義域 $U$ の内在的幾何的不変量を、条件数の上限において重要な要因として導入する。

実験結果

リサーチクエスチョン

• RQ1 スパースなランダム多項式系の期待根数は、そのニュートン多面体の幾何にどのように依存するか？
• RQ2 ランダムなスパース系の条件数が閾値 $1/\varepsilon$ を超える確率は何か？
• RQ3 シンプレクティック幾何およびケーラー幾何的構造は、スパース多項式系の解析においてどのように自然に現れるか？
• RQ4 実数係数を持つスパース系における期待実根数は何か？
• RQ5 実スパース系の条件数は、その背後にあるトーリック多様体の幾何にどのように関係するか？

主な発見

• 領域 $U$ 内のスパースなランダム多項式系の期待根数は、$U$ 上での混合体積形式の積分として与えられ、$U = (\mathbb{C}^*)^n$ のとき古典的混合体積に一般化される。
• 条件数が $1/\varepsilon$ を超える確率は、$U$ 上での混合体積形式の積分と $U$ の内在的幾何的不変量に比例する項によって上限が与えられる。
• 実数係数を持つ系では、実根の期待数に対する境界が得られ、複素数の場合に拡張される。
• 条件数の上限は、共面積公式と評価写像のヤコビアンを用いて導出され、シンプレクティック幾何におけるモーメント写像が中心的な役割を果たす。
• この枠組みは、スパース系の根、ケーラー幾何、およびモーメント写像を介した古典的力学の間の深い関係を明らかにする。
• 結果は係数の分散に対して安定しており、密度のある系におけるユニタリ不変性に基づく複雑性理論をスパース設定へと一般化する。