[論文レビュー] Fractional edge-decompositions of dense graphs and related eigenvalues

Peter J. Dukes|arXiv (Cornell University)|Aug 7, 2011

Graph theory and applications参考文献 8被引用数 4

ひとこと要約

本論文は、ジョンソン代数のスペクトル的技法を用いて、大きな密な $t$-一様超グラフが固定された $t$-グラフ $H$ のコピーへの分数的辺分解を許容する条件を確立する。三角形のグラフ（$t=2$、$H=K_3$）の場合、コードグリーデンシティが $27/28$ 以上の十分に大きなグラフはすべて分数的三角形分解を許容することを示し、ボーズ＝メスナー代数における精密な固有値推定により、以前の定数を是正する。

ABSTRACT

We consider the problem of decomposing some $t$-uniform hypergraph $G$ into copies of another, say $H$, with nonnegative rational weights. For fixed $H$ on $k$ vertices, we show that this is always possible for all $G$ having sufficiently many vertices and `local density' at least $1-C(t)k^{-2t}$. In the case $t=2$ and $H=K_3$, we show that all large graphs with density at least $27/28$ admit a fractional triangle decomposition. The proof relies on estimates of certain eigenvalues in the Johnson scheme.

研究の動機と目的

• 大きな密な $t$-一様超グラフが固定された $t$-グラフ $H$ のコピーへの有理数的（分数的）分解を許容する十分条件を特定すること。
• 先行研究における分数的分解の閾値に関する誤った定数のギャップを是正すること、特にグラフにおける三角形分解に関して。
• $t=2$ および $H=K_3$ の場合、コードグリーデンシティが $27/28$ 以上のすべての大きなグラフが分数的三角形分解を許容することを確立すること。
• ボーズ＝メスナー代数とジョンソンスキーム固有値を用いた修正された厳密なスペクトル解析により、システム行列の逆行列のノルムを制御すること。
• 部分乗法性に依存せずに逆行列のノルム推定を精緻化することで、$1/28$ を超える閾値を改善すること。

提案手法

• 有理数的辺分解を、$H$ の頂点集合から $G$ の頂点集合への単射写像の非負有理数線形結合として定式化し、辺重み正規化を満たす。
• 分解問題を線形系 $A\boldsymbol{x} = \boldsymbol{1}$ としてモデル化し、摂動論を適用する。
• ジョンソンスキームの固有値に対するスペクトル境界を用いて、逆行列 $A^{-1}$ の $\boldsymbol{\rightarrow}$-ノルムを推定し、解の存在を示す上で中心的役割を果たす。
• ボーズ＝メスナー代数を用いて $A^{-1}$ を直交イデムポテン $E_j$ の式で表現し、$||A^{-1}||_\text{infty}$ の漸近的制御を精密に行う。
• 境界 $||A^{-1}||_\text{infty} < 3^t \big[\binom{v}{k-t} + o(v^{k-t})\big]^{-1}$ を導出し、辺の削除が生じる状況下での摂動 $||\tilde{A}^{-1}||_\text{infty}$ の制御に用いる。
• $t=2$、$k=3$ の場合に [2] で誤って導入されたノルム推定の誤りを是正し、$||A^{-1}\Delta A||_\infty$ の直接推定により $\epsilon < 1/23$ のよりタイトな閾値を達成する。

実験結果

リサーチクエスチョン

• RQ1 大きな $t$-グラフが固定された $t$-グラフ $H$ への分数的分解を許容するための最小の局所的密度閾値は何か？
• RQ2 スペクトル的技法を用いて、分数的三角形分解の閾値に関する以前の誤った定数を是正できるか？
• RQ3 ジョンソンスキームの固有値は、有理数的分解系の可解性にどのように影響するか？
• RQ4 部分乗法性の境界をどの程度改善することで、分数的分解の閾値をさらにタイトにできるか？
• RQ5 ジョンソンスキームにおけるシステム行列の $||A^{-1}||_\text{infty}$ の正確な漸近的挙動は何か？ そしてそれは分解閾値にどのように影響するか？

主な発見

• すべての $k$ 頂点を持つ $t$-グラフ $H$ に対して、局所的密度が $1 - C(t)k^{-2t}$ 以上の十分に大きな $t$-グラフ $G$ では、$H$ への有理数的辺分解が存在する。
• 三角形分解（$t=2$、$H=K_3$）では、是正された閾値は $\epsilon < 1/28$ であり、コードグリーデンシティが $27/28$ 以上のすべての大きなグラフが分数的三角形分解を許容することを意味する。
• [2] で生じた誤りを是正し、$||A^{-1}\Delta A||_\infty$ の直接推定により、よりタイトな境界を有する新しい証明を提供する。
• $k=3$ および十分に大きな $v$ に対して、逆行列ノルムは $||A^{-1}||_\text{infty} \sim \frac{7}{3v}$ を満たし、以前の境界を改善し、精密な閾値を可能にする。
• 部分乗法性を避けることで、$\epsilon < 1/23$ の改善された閾値が達成され、正確なスペクトル的制御の重要性が示された。
• この是正は公式に補遺（corrigendum）として発表され、著者は元の証明における誤りに対して $100$ ドルを慈善団体に寄付することを約束した。