[論文レビュー] A Ihara-Bass Formula for Non-Boolean Matrices and Strong Refutations of Random CSPs

Tommaso d'Orsi, Luca Trevisan|arXiv (Cornell University)|Apr 20, 2022

Complexity and Algorithms in Graphs被引用数 2

ひとこと要約

本稿では、非ブール行列に対する一般化された Ihara-Bass 公式を導入し、それを利用して、以前に知られていたものより少ない制約数でランダム k-CSP の多項式時間強反証を達成する。著者らは、新しい非バックトラッキング行列を定義し、トレースに基づく議論によるスペクトル境界を活用することで、必要な制約数を $ n^{k/2} \log n $ から $ n^{k/2} / \varepsilon^2 $ に削減した。奇数 $ k $ の場合に長年の障壁を克服し、さらに敵対的符号パターンを持つ半ランダム k-XOR に対する PTAS を開発した。

ABSTRACT

We define a novel notion of "non-backtracking" matrix associated to any symmetric matrix, and we prove a "Ihara-Bass" type formula for it. We use this theory to prove new results on polynomial-time strong refutations of random constraint satisfaction problems with k variables per constraints (k-CSPs). For a random k-CSP instance constructed out of a constraint that is satisfied by a p fraction of assignments, if the instance contains n variables and n^{k/2} / ε² constraints, we can efficiently compute a certificate that the optimum satisfies at most a p+O_k(ε) fraction of constraints. Previously, this was known for even k, but for odd k one needed n^{k/2} (log n)^{O(1)} / ε² random constraints to achieve the same conclusion. Although the improvement is only polylogarithmic, it overcomes a significant barrier to these types of results. Strong refutation results based on current approaches construct a certificate that a certain matrix associated to the k-CSP instance is quasirandom. Such certificate can come from a Feige-Ofek type argument, from an application of Grothendieck’s inequality, or from a spectral bound obtained with a trace argument. The first two approaches require a union bound that cannot work when the number of constraints is o(n^⌈k/2⌉) and the third one cannot work when the number of constraints is o(n^{k/2} √{log n}). We further apply our techniques to obtain a new PTAS finding assignments for k-CSP instances with n^{k/2} / ε² constraints in the semi-random settings where the constraints are random, but the sign patterns are adversarial.

研究の動機と目的

• 奇数 $ k $ の場合を含め、より良い制約閾値を達成する、ランダム k-CSP の強反証のための新規スペクトル法の開発。
• 既存の手法が強反証を $ n^{k/2} \log n $ 制約に制限する $ \log n $ の障壁を克服すること。
• 制約がランダムであるが符号が敵対的であるような半ランダム CSP において、スペクトル技法の適用を拡張すること。
• 対称的で非ブール行列に対する一般化された Ihara-Bass 公式を用いて、行列ノルムを評価する新規フレームワークの確立。
• 敵対的符号パターンを持つ半ランダム設定における k-XOR に対する多項式時間近似スキーム (PTAS) の設計。

提案手法

• 対称的で非ブール行列に対する「非バックトラッキング」行列の新規概念を導入し、古典的 Ihara-Bass 公式を一般化する。
• 非バックトラッキング行列のスペクトルノルムとその累乗のトレースを関連付ける一般化された Ihara-Bass 公式を証明し、スペクトル解析を可能にする。
• トレース法を用いて、k-CSP インスタンスに関連する非バックトラッキング行列のスペクトルノルムを評価し、強反証証明を導く。
• ブロック非バックトラッキングウォークとハイパーノンバックトラッキングウォークを定義し、k-XOR や k-CSP インスタンスにおける依存関係をモデル化する。
• 局所相関が低いことを前提としたラウンディング手順を用いて、グローバル相関が有界な擬似分布を高精度の割り当てに変換する。
• 繰り返しで確率的変数のグループに条件づける相関減少アルゴリズムを用い、擬似分布のグローバル相関を低下させる。

実験結果

リサーチクエスチョン

• RQ1 非ブール的で対称的な行列に対して、非2値 CSP におけるスペクトル解析を可能にする、一般化された Ihara-Bass 公式を定式化できるか？
• RQ2 奇数 $ k $ のランダム k-CSP に対して、多項式時間で強反証を達成するために必要な最小の制約数は何か？ そして、$ n^{k/2} \log n $ を下回ることは可能か？
• RQ3 制約がランダムであるが符号が敵対的であるような半ランダム k-CSP において、スペクトル技法を適応可能か？
• RQ4 グローバル相関が有界な擬似分布を、局所相関の制御により高精度の割り当てに変換する方法は何か？
• RQ5 トレース法を非ブール行列に拡張することで、ユニオンバウンダーや Grothendieck 不等式の制限を回避できるか？

主な発見

• 著者らは、非ブール的対称行列に対する新しい一般化された Ihara-Bass 公式を確立し、k-CSP における非バックトラッキング行列のスペクトル解析を可能にした。
• 各制約に対して $ p $ 分率の割り当てが満たされるようなランダム k-CSP において、制約数が $ O(n^{k/2} / \varepsilon^2) $ のとき、多項式時間で強反証証明を計算可能であり、最大満たされる割合の上界が $ p + O_k(\varepsilon) $ となる。
• 従来の手法が奇数 $ k $ の場合に $ O(n^{k/2} \log n / \varepsilon^2) $ の制約を必要としていたのに対し、$ \log n $ 要因を削除することで改善した。
• ユニオンバウンダーや Grothendieck の不等式に依存せず、$ o(n^{k/2} \log n) $ の制約数であっても動作するトレースに基づくスペクトル議論を用いている。
• 敵対的符号パターンを持つ半ランダム k-XOR に対して、$ O(n^{k^2} / \varepsilon^2) $ 時間で $ \text{Opt} - O(\varepsilon) $ の近似を得る PTAS が開発された。
• アルゴリズムはグローバル相関を低下させる反復的条件付けと、局所相関が低いことに基づくラウンディングステップを用い、高い確率で成功する。