[論文レビュー] On the kernel of tree incidence matrices

Michel Bauer, O. Golinelli|arXiv (Cornell University)|Mar 3, 2000

Random Matrices and Applications参考文献 2被引用数 6

ひとこと要約

この論文は、サイズ $ n $ のランダムなラベル付き木のインシデント行列における固有値 0 の重複度（次元）を調査する。母関数とラグランジュ逆挿法および勾配降下法を用いた漸近解析により、サイズ $ n $ のすべての $ n^{n-2} $ 個のラベル付き木における固有値 0 の総重複度 $ z_n $ の閉形式表現を導出する。その結果、スペクトルの平均的割合が $ 2x_* - 1 \approx 0.134286 $ に漸近的に収束することが示され、ここで $ x_* \approx 0.567143 $ は $ x = e^{-x} $ の実数解である。

ABSTRACT

We study the height of the delta peak at 0 in the spectrum of random tree incidence matrices. We show that the average fraction of the spectrum occupied by the eigenvalue 0 in a large random tree is asymptotic to 2x-1 = 0.1342865808195677459999... where x is the unique real root of x = exp(-x). For finite trees, we give a closed form, a generating function, and an asymptotic estimate for the sequence 1,0,3,8,135,1164,21035,.... of the total multiplicity of the eigenvalue 0 in the set of n^{n-2} tree incidence matrices of size n>0.

研究の動機と目的

• サイズ $ n $ のすべての $ n^{n-2} $ 個のラベル付き木における固有値 0 の総重複度 $ z_n $ を特定すること。
• 組合せ的および代数的技法を用いて、すべての $ n \geq 1 $ に対して有効な $ z_n $ の閉形式表現を導出すること。
• $ z_n $ の指数的母関数に関する形式的べき級数恒等式を確立すること。
• $ n \to \infty $ のときの期待重複度 $ \mathbb{E}(Z_n) = z_n / n^{n-2} $ の漸近的挙動を、主項に注目して評価すること。
• 平均的にスペクトルのどの程度が固有値 0 を占めるかが、$ 2x_* - 1 \approx 0.134286 $ に収束することを示すこと。ここで $ x_* $ は $ x = e^{-x} $ の唯一の実数解である。

提案手法

• サイズ $ m \geq 2 $ の部分木における包含除算法と組合せ的恒等式を用いて、$ z_n $ の閉形式表現を導出。二項係数と $ m^{m-2} $ の累乗を含む。
• 形式的べき級数恒等式を確立：$ x^2 + 2x - x e^x = \sum_{n \geq 1} \frac{z_n}{n!} (x e^x e^{-x e^x})^n $。これはラグランジュ逆挿法により導出される。
• 生成関数 $ y = x e^x e^{-x e^x} $ にラグランジュ逆挿法を適用し、係数を抽出して $ z_n $ と関連付ける。
• $ z_n / n! $ の線路上の積分表現に勾配降下法を適用し、$ n $ が大きい場合の漸近展開を分析する。
• 主な鞍点は $ x_* $ であり、これは $ x = e^{-x} $ の実数解である。これが主な漸近的項の源である。
• 生成関数の対数を $ x_* $ の周りで2次近似することで、積分の漸近的評価が可能となり、主項が抽出できる。

実験結果

リサーチクエスチョン

• RQ1 サイズ $ n $ の頂点を持つすべての $ n^{n-2} $ 個のラベル付き木のインシデント行列における固有値 0 の総重複度 $ z_n $ は何か？
• RQ2 $ n \to \infty $ のとき、期待重複度 $ \mathbb{E}(Z_n) = z_n / n^{n-2} $ の漸近的挙動は何か？
• RQ3 大きなランダムな木において、固有値 0 が占めるスペクトルの正確な割合は何か？
• RQ4 数列 $ z_n $ はどの形式的べき級数によって生成可能か？また、その背後にある関数方程式は何か？
• RQ5 なぜ複素数の鞍点や $ x = -1 $ の鞍点は $ z_n $ の主な漸近的項に寄与しないのか？

主な発見

• サイズ $ n $ のすべての $ n^{n-2} $ 個のラベル付き木における固有値 0 の総重複度 $ z_n $ は、次の閉形式で与えられる：$ z_n = n^{n-1} - 2 \sum_{2 \leq m \leq n} (-1)^m n^{n-m} m^{m-2} \binom{n-1}{m-1} $。
• 期待重複度 $ \mathbb{E}(Z_n) $ は $ n $ の逆数のべき級数としての漸近展開を持ち、主項は $ (2x_* - 1)n $ である。ここで $ x_* \approx 0.567143 $ は $ x = e^{-x} $ の唯一の実数解である。
• 大きなランダムな木において、固有値 0 が占めるスペクトルの平均的割合は $ 2x_* - 1 \approx 0.1342865808195677459999 $ に収束する。
• 生成関数 $ z_n $ は恒等式 $ x^2 + 2x - x e^x = \sum_{n \geq 1} \frac{z_n}{n!} (x e^x e^{-x e^x})^n $ を満たす。これはラグランジュ逆挿法により導出された。
• 勾配降下法により、$ x_* $ が主な鞍点であることが特定された。複素数の鞍点や $ x = -1 $ は漸近展開に対してのみ副次的寄与を示す。
• $ \mathbb{E}(Z_n) $ の漸近展開の最初の2項は $ (2x_* - 1)n + \frac{x_*^2(x_* + 2)}{(x_* + 1)^3} + O(1/n) $ であり、2番目の項は定数補正項である。