[論文レビュー] High Dimensional Expanders: Random Walks, Pseudorandomness, and Unique Games

Max Hopkins, Tali Kaufman+1 more|arXiv (Cornell University)|Jan 1, 2020

Stochastic processes and statistical mechanics被引用数 2

ひとこと要約

本稿は、両側局所スペクトル的拡張子を用いた高次元拡張子のスペクトル枠組みを構築し、高次元ランダムウォークの固有値が、組合せ的レベルに対応する少数の帯にきわめて集中していることを示している。固有値のウォーク深さに伴う指数的減衰が確立され、局所的構造と全体的スペクトル的減衰を用いた小集合辺拡張の特徴付けが可能となり、結果として、高次元閾値ランクに依存する音声の高いジョンソンスキーム上でのアフィン一意ゲームに対する最初の多項式時間アルゴリズムが得られた。

ABSTRACT

Higher order random walks (HD-walks) on high dimensional expanders have played a crucial role in a number of recent breakthroughs in theoretical computer science, perhaps most famously in the recent resolution of the Mihail-Vazirani conjecture (Anari et al. STOC 2019), which focuses on HD-walks on one-sided local-spectral expanders. In this work we study the spectral structure of walks on the stronger two-sided variant, which capture wide generalizations of important objects like the Johnson and Grassmann graphs. We prove that the spectra of these walks are tightly concentrated in a small number of strips, each of which corresponds combinatorially to a level in the underlying complex. Moreover, the eigenvalues corresponding to these strips decay exponentially with a measure we term the depth of the walk. Using this spectral machinery, we characterize the edge-expansion of small sets based upon the interplay of their local combinatorial structure and the global decay of the walk's eigenvalues across strips. Variants of this result for the special cases of the Johnson and Grassmann graphs were recently crucial both for the resolution of the 2-2 Games Conjecture (Khot et al. FOCS 2018), and for efficient algorithms for affine unique games over the Johnson graphs (Bafna et al. Arxiv 2020). For the complete complex, our characterization admits a low-degree Sum of Squares proof. Building on the work of Bafna et al., we provide the first polynomial time algorithm for affine unique games over the Johnson scheme. The soundness and runtime of our algorithm depend upon the number of strips with large eigenvalues, a measure we call High-Dimensional Threshold Rank that calls back to the seminal work of Barak, Raghavendra, and Steurer (FOCS 2011) on unique games and threshold rank.

研究の動機と目的

• 二面体局所スペクトル的拡張子における高次元ランダムウォークのスペクトル構造を理解すること。これは、ジョンソンおよびグラスマングラフを一般化する。
• 小集合辺拡張を、局所的組合せ的構造とスペクトル帯を横断する全体的固有値減衰の両者を用いて特徴付けること。
• 一意ゲーム、特にジョンソンスキーム上のアフィン一意ゲームを効率的に解くためのスペクトル枠組みを構築すること。
• アルゴリズムの音声に影響を与えるスペクトル的複雑性の尺度としての高次元閾値ランクの概念を導入・分析すること。
• スペクトル的道具を用いて、2-2ゲーム予想および一意ゲームに関する先行結果を、より広範な高次元拡張子のクラスへと拡張すること。

提案手法

• 二面体局所スペクトル的拡張子上での高次元ランダムウォークの分析により、基礎となる単体的複体の各レベルに対応する少数のスペクトル帯に固有値が集中することを導出する。
• 各レベルからの寄与を分離するスペクトル分解を用いて、固有値がウォーク深さに伴い指数的に減少することを証明する。
• 小集合辺拡張を、局所的組合せ的構造とスペクトル帯を横断する固有値減衰率の相互作用と結びつける。
• 完全複体に対して低次の平方和証明を構築し、拡張性の性質を効率的に認証可能にする。
• スペクトル枠組みを活用して、ジョンソンスキーム上でのアフィン一意ゲームに対する多項式時間アルゴリズムを設計する。音声は、大きな固有値を持つ帯の数に依存する。
• 高次元閾値ランクを定義・分析し、バーラクら（2011年）の閾値ランクの一般化として、アルゴリズムの性能に影響を与える主要なスペクトル帯の数を測る指標とする。

実験結果

リサーチクエスチョン

• RQ1 二面体局所スペクトル的拡張子上での高次元ランダムウォークのスペクトルは、複体の組合せ的レベルにどのように分布するか？
• RQ2 ウォーク深さに伴う固有値の減衰が、高次元拡張子における小集合の拡張性をどの程度支配するか？
• RQ3 これらのウォークのスペクトル構造を用いて、ジョンソンスキーム上でのアフィン一意ゲームに対する効率的アルゴリズムを設計できるか？
• RQ4 高次元閾値ランクによって定量化される、顕著なスペクトル帯の数は、一意ゲームのアルゴリズムの音声にどのように影響するか？
• RQ5 小集合の局所的組合せ的構造と、全体的スペクトル的減衰の相互作用が、辺拡張性を決定づける仕組みは何か？

主な発見

• 二面体局所スペクトル的拡張子上での高次元ランダムウォークのスペクトルは、基礎となる複体の各レベルに対応する少数のスペクトル帯にきわめて集中している。
• 固有値はウォーク深さに伴い指数的に減少し、ウォーク深さとスペクトル的減衰の間の定量的関係が確立された。
• 小集合辺拡張は、局所的組合せ的構造とスペクトル帯を横断する全体的固有値減衰の組み合わせによって特徴付けられる。
• この枠組みは、完全複体に対して低次の平方和証明を許容し、拡張性の性質を効率的に認証可能である。
• 本稿は、ジョンソンスキーム上でのアフィン一意ゲームに対する最初の多項式時間アルゴリズムを提供しており、音声は大きな固有値を持つスペクトル帯の数に依存する。
• 高次元閾値ランクの概念が導入され、バーラクら（2011年）の閾値ランクを一般化することが示され、アルゴリズムの音声に重要なパラメータとして機能することが分かった。