閉曲線をランダムにサンプリングして多項式の孤立した根を推定する新しいモンテカルロ法
この論文は、多項式の「孤立した」単純な根(重複しない根)を、根を囲む閉曲線の上をランダムに一様にサンプリングすることで推定する方法を提案します。古典的なコーシーの輪積分表示を使うと、囲まれた単純根はある複素数値の関数の期待値として正確に表せます。著者はその期待値に対してモンテカルロ積分を適用し、係数を乱すことなく不偏(期待値が真の根に等しい)な推定量を作りました。簡単に言えば、曲線上をランダムに何度か取るだけで根の平均的な値を見積もれます。
著者はまず、根を含み他の根を含まない簡単な閉曲線を取ることを仮定します。円を例に取れば点を z(θ)=c+ρ e^{iθ} と置けます。残りは留数定理と対数導函数の公式から導かれ、根 r は関数 g(θ) の期待値として r=E[g(θ)] と表されます。実践的には θ_1,...,θ_M を一様に取り、g(θ_m) を平均して r のモンテカルロ推定量 r̂ = (1/M) ∑ g(θ_m) を得ます。論文中には g(θ) の明示形と、そのサンプル平均としての推定量の式が与えられています。根の個数を数える議論(論理的には引数の原理に基づく)についても、同様に曲線上のサンプリングを用いた確率的な推定式が示されます。
理論的には、著者はこの推定量の分散を計算し、有限サンプルでの誤差に対する確率的上界を示します。具体的にはホフディング不等式などの濃縮不等式を使い、誤差の上界が「隔離用の曲線の形状」と「その曲線と他の根との距離」に明示的に依存することを示しています。つまり、曲線が根から十分離れていて良く隔離されていれば、少ないサンプル数で良い精度が得られることが理論的に説明されています。さらに、この枠組みは曲線を使った根の数え上げ(argument principle)の確率的定式化や、根の分離(isolation)を確率的に制御するアルゴリズムの提案にもつながっています。
数値実験も含まれ、次数を変えたときの推定量の振る舞いや既存手法との比較が示されています。論文は既存のランダム化アルゴリズムとの違いも議論しており、例えば Pan (2024) のような方法は「ラスベガス型」ランダム化で正解を保証するのに対し、ここでのモンテカルロ推定は小さい誤り確率を許す点で性質が異なることを明確にしています。本手法は隔離用の曲線が既に与えられていることを前提に、そこから根の確率的な近似を与える補助的な手段として位置づけられます。
重要な注意点として、この方法は単純で孤立した根を仮定します。曲線上に根がある場合や複数根(重根)がある場合には成り立ちません。また、実装上は根の数を推定する式が実数でない小さな虚部を含むことがあり、整数の根数に戻すには丸めや追加のサンプリングが必要です。推定精度は隔離曲線の幾何や他の根との距離に強く依存します。最後に、本文は TeX の抜粋に基づくので細部や追加の実験結果、数値定数などは原著で確認するのがよいでしょう。