[論文レビュー] Local Improvement Gives Better Expanders

Michael Lampis|arXiv (Cornell University)|Nov 2, 2012

Advanced Graph Theory Research参考文献 11被引用数 3

ひとこと要約

この論文は、局所的最適性の概念を導入することで、ランダムなΔ-正則グラフの拡張性に関する下界を改善した。具体的には、すべての小規模な拡張性集合を分析する代わりに、局所的に最適（つまり、頂点の入れ替えによって拡張性を低下させられない）な集合に焦点を当てる。この精錬により、このような集合が存在する確率が著しく小さくなり、よりタイトな和集合バウンドの推定が可能になる。主な結果として、ボロボス（1988）の古典的下界がタイトでないことが示され、ある定数α < 2√ln 2が存在し、ランダムなΔ-正則グラフが高確率で拡張性が(1 − α/√Δ)(Δ/2)以上であることが示された。

ABSTRACT

It has long been known that random regular graphs are with high probability good expanders. This was first established in the 1980s by Bollobás by directly calculating the probability that a set of vertices has small expansion and then applying the union bound. In this paper we improve on this analysis by relying on a simple high-level observation: if a graph contains a set of vertices with small expansion then it must also contain such a set of vertices that is locally optimal, that is, a set whose expansion cannot be made smaller by exchanging a vertex from the set with one from the set's complement. We show that the probability that a set of vertices satisfies this additional property is significantly smaller. Thus, after again applying the union bound, we obtain improved lower bounds on the expansion of random $Δ$-regular graphs for $Δ\ge 4$. In fact, the gains from this analysis increase as $Δ$ grows, a fact we explain by extending our technique to general $Δ$. Thus, in the end we obtain an improvement not only for some small special cases but on the general asymptotic bound on the expansion of $Δ$-regular graphs given by Bollobás.

研究の動機と目的

• 小規模なΔ ≥ 4におけるランダムなΔ-正則グラフの拡張性に関する既知の下界を改善すること。
• ボロボス（1988）が示した漸近的下界Δ/2 − Θ(√Δ)がタイトでないことを示すこと。
• 小規模な拡張性集合の局所的最適性を活用することで、その存在確率を低減する洗練された解析手法を開発すること。
• この改善が一時的なものではなく、すべてのΔ、特に漸近的領域において一般化可能であることを示すこと。
• 制限付き発生回数のCSPの近似困難性に関する未解決問題を、拡張性の閾値を向上させることで解決すること。

提案手法

• 局所的に最適な集合の概念を導入する：集合内の頂点と補集合内の頂点を入れ替えしても拡張性が低下しない集合。
• 任意の小規模な拡張性集合が存在するならば、それと同様に局所的に最適な集合も存在することを示し、したがってこのような集合の存在確率を抑えれば十分である。
• 任意の小規模な拡張性集合よりも著しく低い発生確率を持つため、局所的に最適な集合に対する和集合バウンドを用いる。
• 次数分布の近似と正規近似を用いた確率的解析により、このような集合の存在確率を上限付ける。
• 二項分布の乖離を制御するパラメータηやθを最適化することで、新たな漸近的下界を導出する。
• 対数展開と尾部バウンドを用いて、局所的に最適な集合の存在確率の対数を精緻に推定する。

実験結果

リサーチクエスチョン

• RQ1 ランダムなΔ-正則グラフの拡張性下界は、ボロボス（1988）の古典的結果を上回って改善可能か？
• RQ2 漸近的下界Δ/2 − Θ(√Δ)はタイトか？それとも√Δの係数を改善可能か？
• RQ3 小規模な拡張性集合に対する局所的最適性条件は、その存在確率を著しく低下させ、よりタイトな和集合バウンドの推定を可能にするか？
• RQ4 改善された解析は、小規模なΔに限らず、すべてのΔに一般化可能であり、より良い漸近的下界を導くか？
• RQ5 局所的に最適な集合は、ランダム正則グラフにおける確率的バウンドを精緻化するための汎用的ツールとなり得るか？

主な発見

• 本論文は、新たな漸近的下界を確立した：任意のΔ ≥ 4に対して、ランダムなΔ-正則グラフは高確率で拡張性が(1 − α/√Δ)(Δ/2)以上である。ここでα < 2√ln 2 ≈ 1.66である。
• この改善は小規模なΔに限定されず、Δが増加するにつれてその恩恵が増大し、古典的下界が漸近的にタイトでないことが示された。
• 小規模なΔ、例えばΔ = 6の場合、下界は拡張性が少なくとも0.75Δ以上であることを示し、以前の推定を上回る。
• サイズdの局所的に最適な集合が存在する確率は、任意の集合よりも著しく低く、和集合バウンドへの寄与が小さくなる。
• 解析により、閾値未満の拡張性を持つ局所的に最適な集合の期待数はo(1)であることが示され、このような集合が低確率で存在することが示された。
• 数値的証拠と漸近的解析から、最適な局所的改善条件はd = d′のときであると示唆されるが、一般の証明は未解決のままである。