[论文解读] 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-CSP的强反驳开发一种新的谱方法，实现改进的约束阈值，尤其针对奇数 $ k $ 。
• 克服现有方法中限制强反驳仅在 $ n^{k/2} \log n $ 个约束内的 $ \log n $ 障碍。
• 将谱技术的适用性扩展到半随机CSP，其中约束符号为对抗性但约束本身是随机的。
• 建立一种新框架，通过广义Ihara-Bass公式对对称非布尔矩阵的范数进行界定。
• 为半随机设置下的k-XOR设计多项式时间近似方案（PTAS），其中符号模式为对抗性。

提出的方法

• 为对称非布尔矩阵引入一种新型的“非回溯”矩阵概念，推广经典Ihara-Bass公式。
• 证明一个广义Ihara-Bass公式，将非回溯矩阵的谱范数与其实幂的迹相关联，从而实现谱分析。
• 使用迹方法界定与k-CSP实例相关的非回溯矩阵的谱范数，从而生成强反驳证书。
• 定义块非回溯游走和超非回溯游走，以建模k-XOR和k-CSP实例中的依赖关系。
• 基于低局部相关性设计一种舍入过程，将具有有界全局相关性的伪分布转换为高精度赋值。
• 使用一种相关性降低算法，通过迭代地对随机变量组进行条件化，以降低伪分布中的全局相关性。

实验结果

研究问题

• RQ1 能否为非布尔对称矩阵制定广义Ihara-Bass公式，以实现在非二值CSP中的谱分析？
• RQ2 对于随机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开发了PTAS，在 $ O(n^{k^2} / \varepsilon^2) $ 时间内实现 $ \text{Opt} - O(\varepsilon) $ 的近似。
• 该算法通过迭代条件化降低全局相关性，并基于低局部相关性的舍入步骤，以高概率成功。