[論文レビュー] The real zeros of a random polynomial with dependent coefficients

Jeffrey Matayoshi|arXiv (Cornell University)|Jun 10, 2009

Geometry and complex manifolds被引用数 1

ひとこと要約

この論文は、係数の相関構造をより広いクラスに一般化したSambandhamの研究を拡張し、スペクトル密度の制約を用いて、実数零点の期待値が独立の場合と同程度のオーダー（2/π log n）に保たれることを示している。これは、Kacの古典的結果が特定の形の係数相関に対しても頑健であることを示している。

ABSTRACT

Abstract. Mark Kac gave one of the first results analyzing random polynomial zeros. He considered the case of independent standard normal coefficients and was able to show that the expected number of real zeros for a degree n polynomial is on the order of 2 log n, as n → ∞. Several years later, Sam-π bandham considered two cases with some dependence assumed among the coefficients. The first case looked at coefficients with an exponentially decaying covariance function, while the second assumed a constant covariance. He showed that the expectation of the number of real zeros for an exponentially decaying covariance matches the independent case, while having a constant covariance reduces the expected number of zeros in half. In this paper we will apply techniques similar to Sambandham’s and extend his results to a wider class of covariance functions. Under certain restrictions on the spectral density, we will show that the order of the expected number of real zeros remains the same as in the independent case. 1. One of the earliest results on the expected number of real zeros of the random polynomial given by n∑ (1.1) Pn(x) = Xkx k k=0 came from Mark Kac [6]. Kac considered the case when the coefficients are assumed to be independent standard normal random variables and was able to show that the value of the expected number of zeros is on the order of 2 π log n, as n → ∞. More recently, Edelman and Kostlan [4] derived a similar result, but in doing so they gave a nice geometric argument and derived formulas that hold for a wider class of coefficients. A natural generalization of this problem is to assume some dependence among the coefficients. Let X0, X1,... be a stationary sequence of normal random variables, where the covariance function is given by Γ(k) = E[X0Xk], Γ(0) = 1. Under these assumptions, two important results came from Sambandham. The first assumes that Γ(k) = ρk, where ρ ∈ (0, 1 2) [8]. In this case, it was shown that the expected number of zeros is on the same order as when the coefficients are independent. The second result assumes the covariance function is constant; that is, Γ(k) = ρ for any k, where ρ ∈ (0, 1) [7, 9]. Here, it was shown that the order of the

研究の動機と目的

• Sambandhamの結果を、指数的減衰および定数共分散の特定のケースを超えて、より一般的な共分散構造へ一般化すること。
• 係数の相関をより一般な共分散関数でモデル化した場合、実数零点の期待値のオーダーが独立の場合と変わらないかどうかを調査すること。
• 独立の場合と同等の漸近的オーダーが得られるための、係数系列のスペクトル密度に関する条件を同定すること。
• 独立な標準正規係数に対するKacの古典的結果を、弱い相関を持つ定常かつ正規分布に従う係数系列の広いクラスへ拡張すること。
• 実数零点の期待値が、これまでに研究済みの2つの特殊ケースを超えて、共分散関数の構造に敏感かどうかを特定すること。

提案手法

• Sambandhamの手法に類似した手法を採用し、正規確率変数の定常系列から抽出された係数を持つ確率的多項式の実数零点の期待値を分析する。
• 共分散関数はΓ(k) = E[X₀Xₖ]で定義され、Γ(0) = 1である。解析は、ある正則性条件を満たすスペクトル密度を持つ系列に焦点を当てる。
• この方法は、スペクトル密度による係数の依存構造の特徴づけを可能にするスペクトル表現理論に依拠している。
• ランダム行列理論および確率過程論から導かれる積分表現を用いて、実数零点の期待値の漸近的挙動を分析する。
• スペクトル密度に制限（例：有界性および滑らかさ）を課すことにより、実数零点の期待値に対する漸近的上限を導出する。
• 実数零点の期待値が、共分散構造を含む実数直線上の積分として表現可能であることに着目し、独立の場合と比較可能である。

実験結果

リサーチクエスチョン

• RQ1 係数に弱い定常的相関がある場合、確率的多項式の実数零点の期待値が2/π log nのオーダーのままであるかどうか。
• RQ2 係数系列のスペクトル密度が、実数零点の期待値の漸近的挙動にどのように影響を与えるか。
• RQ3 独立係数の場合の結果を、指数的減衰および定数共分散を超えたより広いクラスの相関構造へ拡張可能かどうか。
• RQ4 共分散関数またはスペクトル密度にどのような条件下で、実数零点の期待値が独立の場合と比べて減少しないか。
• RQ5 スペクトル密度がややきめ細かい正則性条件を満たす場合、相関係数と独立係数の両方における零点数の挙動に構造的類似性が存在するか。

主な発見

• スペクトル密度がややきめ細かな正則性条件を満たす広いクラスの共分散関数に対して、実数零点の期待値は独立の場合と同様に2/π log nのオーダーに保たれる。
• スペクトル密度がゼロで有界かつ連続であれば、係数に弱い相関があってもこの結果が成り立つ。
• 係数間に強い相関を生じさせないような依存構造では、実数零点の期待値の漸近的オーダーが保たれる。
• 解析により、零点数に影響を与える主な要因は相関そのものではなく、係数系列のスペクトル挙動であることが確認された。
• 本研究では、実数零点の期待値のオーダーが特定の形の係数相関に対して頑健であることが確立され、Kacの古典的結果が拡張された。
• Sambandhamの以前の結果の一般化が達成された：独立の場合のオーダーは、指数的減衰共分散に限らず、適切なスペクトル的性質を持つより広いクラスの共分散関数に対しても維持される。