[論文レビュー] Signatures, lifts, and eigenvalues of graphs

Shiping Liu, Norbert Peyerimhoff+1 more|arXiv (Cornell University)|Dec 21, 2014

Graph theory and applications参考文献 29被引用数 6

ひとこと要約

本稿は、巡回的シグネチャ（特に3-巡回）を用いたBilu-Linialの2リフト法の一般化を導入し、無限個のラマヌジャングラフ族の構成を可能にする。混合特性多項式と交互族の手法を活用して、任意の二部ラマヌジャングラフが、各段階でラマヌジャン性を保つ3-巡回リフトの無限塔を有することを証明した。これにより、Marcus-Spielman-Srivastavaの結果が高次巡回リフトへと拡張された。

ABSTRACT

We study the spectra of cyclic signatures of finite graphs and the corresponding cyclic lifts. Starting from a bipartite Ramanujan graph, we prove the existence of an infinite tower of $3$-cyclic lifts, each of which is again Ramanujan.

研究の動機と目的

• ラマヌジャングラフを構成するBiluとLinialの2リフト法を、群値シグネチャを用いた高次巡回リフトへ一般化すること。
• 二部ラマヌジャングラフの3-巡回リフトの無限塔の存在を証明し、各リフトがラマヌジャン性を保つこと。
• 符号付き隣接行列の固有値がすべてラマヌジャン境界内に収まるように、リフトグラフのスペクトルを制御すること。
• 特にk=3に対して、交互族の手法と混合特性多項式を巡回群シグネチャへ拡張すること。
• リフトのスペクトル的性質が、符号付き隣接行列とその共役の固有値によって決定されることを示し、エルミート対称性を活用すること。

提案手法

• k-巡回シグネチャを、s: E^or → {1, ξ, ξ̄} と定義し、ξ = e^{2πi/3} とし、s(ē) = s(e)⁻¹ を満たすものとする。
• グラフGのk-巡回リフトĜを、シグネチャsを用いて構成し、隣接行列Âについてσ(Â) = σ(A) ⊔ σ(A^s) ⊔ σ(Ā^s) が成り立つようにする。
• 交互族の手法と混合特性多項式を用いて、符号付き隣接行列A^sのi番目のハダマード巾の期待特性多項式を分析する。
• Marcus, Spielman, Srivastavaの結果を用い、実安定性を介して期待特性多項式が実根を持つことを証明する。
• k=3におけるA^sのエルミート性を活用し、σ(A^s) = σ(Ā^s) が成り立つことを保証し、スペクトル制御を簡素化する。
• 定理2を適用して、λ_max(A^s₀) ≤ ρ(T)（Tのスペクトル半径）を満たすシグネチャs₀が存在することを示す。

実験結果

リサーチクエスチョン

• RQ1 2リフトによるラマヌジャングラフ構成法を、群値シグネチャを用いた高次巡回リフトへ一般化できるか？
• RQ2 k=3の場合、A^s,i（i=1,2）のすべての固有値がラマヌジャン区間[−2√(d−1), 2√(d−1)]内にあるような3-巡回シグネチャsが存在するか？
• RQ3 単一の二部ラマヌジャングラフから、反復的に3-巡回リフトの無限塔を構成でき、各リフトがラマヌジャン性を保つのか？
• RQ4 k≥4ではなぜこの手法が失敗するのか。その場合、追加でどのようなスペクトル制約が必要となるか？
• RQ5 リフトのスペクトル構造は、符号付き隣接行列とその共役の固有値とどのように関係しているか？

主な発見

• 任意のd-正則な二部グラフは、A^sの最大固有値が2√(d−1)以下となるような3-巡回シグネチャsを有する。
• 任意の二部ラマヌジャングラフGに対して、A^sのすべての新しい固有値がラマヌジャン区間[−ρ(T), ρ(T)]内に収まるような3-巡回リフトĜが存在する。ここでd-正則Gに対してρ(T) = 2√(d−1)である。
• 完全二部グラフK_{d,d}から反復的に3-巡回リフトの無限塔を構成でき、塔の各グラフがラマヌジャンである。
• 本手法はk=3におけるA^sのエルミート対称性に依存しており、σ(A^s) = σ(Ā^s) を保証し、スペクトル解析を簡素化する。
• A^sのi番目のハダマード巾の期待特性多項式は実根を持つ。これは交互法を適用する上で重要な段階である。
• k≥4では、A^sのすべてのk−1乗の同時制御が必要であり、i∈{1,…,k−1}のすべてのiに対して有効なシグネチャを保証する方法が現在のところ存在しないため、本手法は失敗する。