[論文レビュー] Entropy waves, the zig-zag graph product, and new constant-degree

Omer Reingold, Salil Vadhan+1 more|ArXiv.org|Jun 2, 2004

Random Matrices and Applications参考文献 35被引用数 7

ひとこと要約

本稿では、大きめのグラフと小さなグラフを組み合わせることで、サイズは大きなグラフに、次数は小さなグラフに従い、拡張性を高める反復的構成法として、新しい『ジグザググラフ積』を導入する。この手法により、定数次数の拡張グラフを構成でき、その構成は単純で組合せ論的なものであり、エントロピー波の伝播に基づく洗練された解析を備えている。主な貢献は、単一の定数サイズの拡張グラフから任意のサイズの定数次数の明示的拡張グラフを構成可能な、単純で組合せ論的な構成法の確立である。

ABSTRACT

The main contribution of this work is a new type of graph product, which we call the {\it zig-zag product}. Taking a product of a large graph with a small graph, the resulting graph inherits (roughly) its size from the large one, its degree from the small one, and its expansion properties from both! Iteration yields simple explicit constructions of constant-degree expanders of arbitrary size, starting from one constant-size expander. Crucial to our intuition (and simple analysis) of the properties of this graph product is the view of expanders as functions which act as ``entropy wave" propagators -- they transform probability distributions in which entropy is concentrated in one area to distributions where that concentration is dissipated. In these terms, the graph products affords the constructive interference of two such waves. Subsequent work [ALW01], [MW01] relates the zig-zag product of graphs to the standard semidirect product of groups, leading to new results and constructions on expanding Cayley graphs.

研究の動機と目的

• 明示的かつ効率的な構成が可能な、定数次数の拡張グラフを構成する単純で組合せ論的な手法の開発。
• 代数的技法が深いつまりの数学的解析を要するのとは対照的に、明示性と単純な解析の両立を達成する挑戦への対応。
• 反復的拡張を可能にし、次数を保ちつつ拡張性を向上させる新しいグラフ積操作（「ジグザグ積」として命名）の提供。
• 拡張グラフおよびその積の挙動を説明・解析するための直感的な枠組みを、エントロピー波の伝播に基づいて提供。
• 単一の定数サイズの拡張グラフから、任意に大きな拡張グラフを構成可能にし、次数を有界に保ちつつスペクトル的拡張性を維持する。

提案手法

• 大きなD1正則グラフG1と小さなD2正則グラフG2を組み合わせることで、サイズが約N1·D1、次数が約D2、拡張性が向上した新しいグラフを生成する、新しいグラフ積操作としてのジグザググラフ積を提唱。
• 拡張グラフを「エントロピー波」の伝播体とモデル化し、確率分布における集中エントロピーの拡散を表す。ジグザグ積は、こうした二つの波の構成的干渉を可能にする。
• 正規化された隣接行列のスペクトル解析を用い、積グラフの第二固有値が成分グラフの固有値の関数によって有界であることを示した。
• 定数サイズの拡張グラフから出発し、反復的にジグザグ積を適用することで、定数次数および一様なスペクトルギャップを有するより大きな拡張グラフを生成する再帰的構成法を採用。
• ランダムウォークにおけるG1およびG2からのエッジの寄与を均等にするために、拡張性を安定化させるための変種として「バランスドリプレースメント積」を導入。
• 各成分グラフへの1回のオракルクエリで、積グラフの回転写像を多項式対数時間で計算可能であることを示し、効率的な局所計算を実現。

実験結果

リサーチクエスチョン

• RQ1 深いつまりの代数的または数論的道具を避け、透明で直感的な解析が可能な、定数次数の拡張グラフの単純で組合せ論的な構成が可能か？
• RQ2 どのようにすれば、大きなグラフからサイズを、小さなグラフから次数を、両方のグラフから拡張性を引き継げるグラフ積を設計できるか？
• RQ3 エントロピー波の伝播は、グラフおよびその積の拡張性を理解・解析する上で果たす役割は何か？
• RQ4 ジグザグ積を反復的に用いることで、定数次数および有界なスペクトル拡張性を保ちつつ、任意に大きな拡張グラフを生成可能か？
• RQ5 特に固有値の減衰や一様分布への収束性の観点から、他のグラフ積と比較してジグザグ積の拡張品質はいかがなものか？

主な発見

• ジグザグ積により、(N1, D1, λ1)-グラフと(D1, D2, λ2)-グラフから、(N1·D1, D2, λ')-拡張グラフが構成可能であり、λ'はλ1とλ2の関数によって有界であることが保証され、スペクトル的拡張性が得られる。
• 積グラフのスペクトルギャップは、(p + (1-p)f(λ1, λ2))^{1/3} によって有界であり、ここでfは成分の固有値の関数、p = D2²/(D2+1)³ である。これにより、拡張性が保持されるとともに向上することが証明される。
• バランスドリプレースメント積により、ランダムウォークがG1およびG2からのエッジを均等に扱うようになり、λ1, λ2 < 1 のとき、スペクトルの境界h(λ1, λ2) ≤ (7/8 + 1/8·f(λ1, λ2))^{1/3} < 1 が成立する。
• 積グラフの回転写像は、各成分グラフへの1回のオラクルクエリで、多項式対数時間（poly(log N, log D1, log D2)）で計算可能であり、効率的な局所計算が可能になる。
• この構成法により、任意のサイズの明示的で定数次数の拡張グラフが得られ、すべてのパラメータが多項式対数時間で計算可能である。
• その後の研究では、ジグザグ積が群の半直積と関連づけられ、新しいケイリーグラフの拡張構成が得られた。