[論文レビュー] Sparse quadratic forms and their geometric applications (after Batson, Spielman and Srivastava)

Assaf Naor|arXiv (Cornell University)|Jan 22, 2011

Finite Group Theory Research参考文献 22被引用数 7

ひとこと要約

本稿では、非負の二次形式に関する決定的スパース化定理を提示する。任意の密行列が、各行あたりO(1/ε²)個の非ゼロ要素を持つスパース行列に置き換えられることを証明しており、二次形式は(1+ε)要因以内で保存される。主な貢献は、幾何学的およびスペクトル的応用を可能にする、スパース性に関する鋭い構成的上限を提供することにある。

ABSTRACT

We survey the work of Batson, Spielman and Srivastava on graph sparsification, and we describe some of its recently discovered geometric applications.

研究の動機と目的

• 対称行列によって定義される非負の二次形式に対する鋭い決定的スパース化結果を確立すること。
• SpielmanとSrivastavaが提起した予想、すなわち、(1+ε)要因以内で二次形式を保存するスパース近似の存在を解明すること。
• 密行列のスペクトル的および幾何的性質を維持するスパース行列を生成する構成的手法を提供すること。
• 関数解析学、スペクトルグラフ理論、埋め込み理論における新しい幾何的応用を可能にすること。

提案手法

• 元の行列Gのサポートに含まれる非ゼロ要素のみを含むスパース行列Hを構成する、新しい決定的反復アルゴリズムを導入する。
• 固有値に基づくポテンシャル関数を用いて、Hにおける非ゼロ要素の反復的選択を誘導する。
• スパース行列のスペクトル的挙動を制御するために、制限逆行列原理の変種を用いる。
• 非負性を保ちつつ二次形式構造を維持するために、行列スケーリング技術を適用する。
• 二次形式とグラフラプラシアンの関係を活用し、結果を拡張グラフの観点から解釈する。
• 固有値の交互性および行列摂動論を用いて、二次形式における相対誤差を評価する。

実験結果

リサーチクエスチョン

• RQ1 密な非負行列を、各行あたりO(1/ε²)個の非ゼロ要素にスパース化し、(1+ε)要因以内でその二次形式を保存できるか？
• RQ2 確率的構成を避ける決定的アルゴリズムによって、このようなスパース行列を構成できるか？
• RQ3 このような近似における最適なスパース性バウンドは何か？ そしてそれはグラフのスペクトル的性質とどのように関係するか？
• RQ4 これらの結果は、関数解析における幾何的および埋め込み問題へどのように拡張できるか？
• RQ5 スパース化結果を用いて、良い拡張グラフを構成できるか、あるいはスペクトル埋め込み定理を改善できるか？

主な発見

• 任意のε ∈ (0,1)に対して、|supp(H)| ≤ O(1/ε²)·n を満たす行列Hが存在し、任意の非負行列Gの二次形式を(1+ε)近似可能であることが確立された。
• スパース性バウンドは漸近的にタイトであり、c(ε) ≥ 8/ε² が必須であり、本構成法は c(ε) ≤ 32/ε² + O(1/ε) を達成している。
• 従来の確率的構成とは異なり、本手法はこのようなスパース化を実現する初めての決定的アルゴリズムを提供する。
• この結果により、グラフのラプラシアンのスペクトルギャップがスパース化下でも保存可能であることが示され、定数次数の拡張グラフの構築が可能になる。
• 定理は、Lpの有限次元部分空間をℓ¹に埋め込むこと、およびスペクトルグラフ理論に即座に応用可能である。
• バウンドは鋭く、定数を除いてAlon-Boppana下界と一致しており、Ramanujanグラフは漸近的極限に達している。