[論文レビュー] Random symmetric matrices are almost surely non-singular

Kevin Costello, Terence Tao+1 more|ArXiv.org|May 9, 2005

Random Matrices and Applications参考文献 4被引用数 9

ひとこと要約

この論文は、上三角成分がi.i.d.でベルヌーイ(1/2)に従うランダムな対称 $ n \times n $ 行列がほとんど確実に非特異的であることを証明しており、特異確率が任意の $ \delta > 0 $ に対して $ O(n^{-1/8 + \delta}) $ であることを示している。著者らは、対称性に起因する行間の依存性を扱うために、二次のリトルウッド＝オフォルド理論を構築し、ランク増加解析と特異行列の正規・異常型への構造的分解を用いて特異確率の上界を求める。

ABSTRACT

Let $Q_n$ denote a random symmetric $n$ by $n$ matrix, whose upper diagonal entries are i.i.d. Bernoulli random variables (which take values 0 and 1 with probability 1/2). We prove that $Q_n$ is non-singular with probability $1-O(n^{-1/8+δ})$ for any fixed $δ> 0$. The proof uses a quadratic version of Littlewood-Offord type results concerning the concentration functions of random variables and can be extended for more general models of random matrices.

研究の動機と目的

• ランダムな対称 $ n \times n $ 行列が上三角成分がi.i.d.でベルヌーイ(1/2)に従う場合、ほとんど確実に非特異的であるかどうかを解明すること。
• i.i.d. 行列に対して用いられる手法が直接適用できない、対称行列における行間の依存性という課題に対処すること。
• 確率変数の二次形式の集中度を分析するため、リトルウッド＝オフォルド理論の二次的変種を開発すること。
• ベルヌーイ(1/2)に限らず、濃縮が有界である（$ \rho $-性質を満たす）より一般的なモデルへも結果を拡張すること。

提案手法

• 再帰的なランク増加戦略を導入：$ Q_n $ に新しい行と列を追加して $ Q_{n+1} $ を構成する際のランクの変化を分析する。
• 「正規」特異行列を、低次の消える線形結合（次数 $ \geq n^{1-\epsilon} $）を持たない行列として定義し、異常特異行列が指数的にまれであることを示す。
• 固定された低余次元部分空間にランダムベクトルが属する確率を抑え、ランク増加を制御するために、二次のリトルウッド＝オフォルド不等式を用いる。
• 特異確率を正規行列と異常行列の寄与に分解し、正規特異行列が支配的である $ O(n^{-1/8 + \delta}) $ 項を示す。
• ベルヌーイ(1/2)の代わりに、任意の値の確率が $ \rho < 1 $ を超えない分布を用いた一般のエントリ分布へも同様の議論を適応する。
• デカップリング技術と[3, 定理4]の $ d=1 $ の場合の一般化を用いて、二次形式の集中度を抑えている。

実験結果

リサーチクエスチョン

• RQ1 上三角成分がi.i.d.でベルヌーイ(1/2)に従うランダムな対称 $ n \times n $ 行列が特異である確率はどれくらいか？
• RQ2 行列のエントリが対称的で依存関係を持つ場合、特異確率を非自明に上界で抑えられるか？
• RQ3 新しい行と列が追加される際、対称ランダム行列のランクはどのように変化するか？
• RQ4 リトルウッド＝オフォルド理論を二次形式に拡張することで、対称行列における依存性を扱えるか？
• RQ5 ベルヌーイ(1/2)を越えて、濃縮が有界な分布（例：$ \rho $-性質を満たす分布）に対しても結果が拡張可能か？

主な発見

• 上三角成分がi.i.d.でベルヌーイ(1/2)に従うランダムな対称 $ n \times n $ 行列の特異確率は、任意の $ \delta > 0 $ に対して $ O(n^{-1/8 + \delta}) $ である。これはほとんど確実な非特異性を示している。
• 低次の消える線形結合を持つ「異常」特異行列は、指数的に小さい確率 $ O((2/3)^n) $ で発生するため、無視できる。
• 正規特異行列に対しては、新しい行と列を追加する際にランクが高確率で2増加するため、非特異性が高確率で保たれる。
• エントリが $ \rho $-性質（任意の値の確率が $ \rho < 1 $ を超えない）を満たす一般の分布に対しても、特異確率が $ O(n^{-1/8 + \delta}) $ で抑えられ、定数は $ \rho $ と $ \delta $ のみに依存する。
• 著者らは、真の特異確率が $ (1/2 + o(1))^n $ であると予想しているが、これはi.i.d.行列に対する予想される上限に一致する。現段階の手法では、これを証明するには至っていない。
• 本研究では、対称行列における行の独立性の欠如が、指数的上界を達成する上での主な障壁であると特定しており、ギャップを埋めるには新たなアイデアが必要であると示唆している。