[論文レビュー] Making the long code shorter, with applications to the Unique Games Conjecture

Boaz Barak, Parikshit Gopalan+4 more|arXiv (Cornell University)|Nov 2, 2011

Complexity and Algorithms in Graphs参考文献 2被引用数 13

ひとこと要約

本論文は、長コードよりも指数的に効率的な新しいコードを導入し、近似困難性の向上を実現した。特に、一意的ゲーム予想において顕著な改善が得られた。長コードに代えてこのコン pact な代替手段を用いることで、スぺクトル拡張構成と一意的ゲーム還元用ガジェットの両方において、大幅に削減された吹き出し（blowup）で指数的改善が達成された。

ABSTRACT

The long code is a central tool in hardness of approximation, especially in questions related to the unique games conjecture. We construct a new code that is exponentially more efficient, but can still be used in many of these applications. Using the new code we obtain exponential improvements over several known results, including the following: 1. For any ε> 0, we show the existence of an n vertex graph G where every set of o(n) vertices has expansion 1 − ε, but G’s adjacency matrix has more than exp(log δ n) eigenvalues larger than 1 − ε, where δ depends only on ε. This answers an open question of Arora, Barak and Steurer (FOCS 2010) who asked whether one can improve over the noise graph on the Boolean hypercube that has poly(log n) such eigenvalues. 2. A gadget that reduces unique games instances with linear constraints modulo K into instances with alphabet k with a blowup of K polylog(K) , improving over the previously known gadget with blowup of 2 Ω(K).

研究の動機と目的

• 近似困難性の根幹をなすが、その指数的サイズのため計算的に実行不可能な長コードのより効率的な代替手段を開発すること。
• 特に、小さな頂点集合が高拡張性を示すが、多くの大きな固有値を持つグラフの存在という、スぺクトルグラフ理論における未解決の問題に取り組むこと。
• 特にアルファベットサイズの吹き出しの観点から、一意的ゲームのインスタンス還元に用いられるガジェットの効率を向上させること。

提案手法

• 長コードの主要な性質（たとえば耐障害性や一致テスト）を保ちつつ、サイズを指数的に削減する新しいコードを設計すること。
• 新しいコードを用いて、小さな集合に対して高い拡張性を示すが、1から離れた固有値を超多項式的に多く持つグラフ族を、スぺクトル解析を用いて構成すること。
• 新しいコードを用いて、アルファベット吹き出し K⋅polylog(K) の一意的ゲーム還元用ガジェットを構成すること。これは、従来の 2^Ω(K) の境界を著しく改善する。
• コードの構造を活用して、効率的な一致テストと並列反復を可能とし、近似困難性への応用に不可欠な要素を実現すること。
• 新しいコードの擬似乱数的性質と固有値のインタラーシングを用いて、得られたグラフのスぺクトル特性を分析すること。
• 新しいコードが、長コードと同様の確率的検証および整合性チェックのタイプをサポートすることを確立し、既存の証明フレームワークとの互換性を保証すること。

実験結果

リサーチクエスチョン

• RQ1 近似困難性の応用において長コードの有用性を保ちつつ、サイズを指数的に小さくできるコードを構築することは可能か？
• RQ2 小さな頂点集合がほぼ完全な拡張性を示すが、1から離れた固有値を超多項式的に多く持つグラフを構築することは可能か？
• RQ3 一意的ゲーム還元用ガジェットにおけるアルファベットサイズの吹き出しを、2^Ω(K) から K の準多項式的関数にまで低減することは可能か？
• RQ4 新しいコードは、長コードと同様に一貫性テストと並列反復をサポートできるか？ これにより、既知の近似困難証明への応用が可能になるか？
• RQ5 新しいコードを用いることで、一意的ゲーム予想および関連する近似不能性結果における定量的境界を改善できるか？

主な発見

• 本論文は、長コードよりも指数的に効率的でありながら、近似困難性の主要な性質を保持するコードを構築した。
• ある未解決問題を解決し、任意の ε>0 に対して、n 頂点のグラフで、o(n) 個の頂点からなるすべての集合が拡張性 1−ε を示すが、隣接行列が exp(log^δ n) 個以上の固有値を 1−ε より大きく持つようなグラフを構築した。
• 新しいコードにより、アルファベット吹き出し K⋅polylog(K) の一意的ゲーム還元用ガジェットを構築でき、従来の 2^Ω(K) の境界を著しく改善した。
• 拡張グラフにおける大きな固有値の数において、指数的改善を達成し、ブールハイパーグラフ上のノイズグラフを上回った。
• 新しいコードは耐障害性のある一貫性テストをサポートでき、並列反復の設定でも利用可能であり、広範な近似不能性結果への適用可能性を保証した。
• 結果として、新しいコードが長コードを理論的保証を失うことなく、計算オーバーヘッドを著しく削減して代替可能であることが示された。