[论文解读] List Agreement Expansion from Coboundary Expansion

Roy Gotlib, Tali Kaufman|arXiv (Cornell University)|Oct 27, 2022

Formal Methods in Verification被引用 1

一句话总结

本文提出了列表一致扩展（list agreement expansion）作为一致测试的推广，其中每个局部视图包含 l 个函数而非一个。它证明了高维复形中的上边界扩张（coboundary expansion）可使测试器验证这些列表是否通过置换来自 l 个全局函数，并证明此类结构即使在局部集合大小为奇数或偶数时也能支持直接和测试——解决了先前工作中存在的关键限制。

ABSTRACT

One of the key components in PCP constructions are agreement tests. In agreement test the tester is given access to subsets of fixed size of some set, each equipped with an assignment. The tester is then tasked with testing whether these local assignments agree with some global assignment over the entire set. One natural generalization of this concept is the case where, instead of a single assignment to each local view, the tester is given access to $l$ different assignments for every subset. The tester is then tasked with testing whether there exist $l$ global functions that agree with all of the assignments of all of the local views. In this work we present sufficient condition for a set system to exhibit this generalized definition of list agreement expansion. This is, to our knowledge, the first work to consider this natural generalization of agreement testing. Despite initially appearing very similar to agreement expansion, list agreement expansion seem to require a different set of techniques. This is due to the fact that the natural extension of agreement testing does not suffice when testing for list agreement, as list agreement crucially relies on a global structure. It follows that if a local assignments satisfy list agreement they must not only agree locally but also exhibit some additional structure. In order to test for the existence of this additional structure we use a connection between covering spaces of a high dimensional complex and its coboundaries. We use this connection as a form of ``decoupling''. Moreover, we show that any set system that exhibits list agreement expansion also supports direct sum testing. This is the first scheme for direct sum testing that works regardless of the parity of the sizes of the local sets. Prior to our work the schemes for direct sum testing were based on the parity of the sizes of the local tests.

研究动机与目标

• 将列表一致扩展形式化并分析为一致测试的推广，其中每个局部视图包含 l 个函数而非一个。
• 识别集合系统支持列表一致扩展的充分条件，特别是上边界扩张。
• 证明列表一致扩展蕴含直接和测试，克服了以往此类测试必须依赖奇偶性构造的限制。
• 提供一个统一的直接和测试框架，对奇数和偶数大小的局部集合均适用。

提出的方法

• 利用覆盖空间与上边界扩张之间的联系，将 l 个一致测试实例解耦。
• 采用一种测试器，查询 k 维面的局部赋值，并检查其与候选全局函数的一致性。
• 应用代数拓扑工具，特别是上边界扩张，以确保局部一致意味着通过置换实现全局一致。
• 使用基于面的求和公式从局部赋值构造原函数，区分奇数和偶数 k 的情况。
• 当 k 为奇数时，原函数唯一；当 k 为偶数时，存在两个互补的函数，从而支持 2-列表一致测试。
• 证明在任意 γ-列表一致扩张中，存在一个 (3(k+1), γ)-测试用于 k-直接和，利用赋值之间的距离界限。

实验结果

研究问题

• RQ1 集合系统能否支持一种广义的一致测试，其中每个局部视图包含 l 个函数而非一个，且测试器检查其是否与 l 个全局函数一致？
• RQ2 何种拓扑或组合条件可确保局部列表一致意味着存在 l 个全局函数且其置换一致？
• RQ3 上边界扩张如何作为列表一致扩展的充分条件？
• RQ4 列表一致扩展能否用于构建对奇数和偶数大小局部集合均适用的直接和测试？
• RQ5 列表一致扩展与直接和构造中原函数的结构之间有何关系？

主要发现

• 上边界扩张是集合系统表现出列表一致扩展的充分条件，使测试器能够验证是否与 l 个全局函数一致。
• 本文在任意 γ-列表一致扩张中构造了一个 (3(k+1), γ)-测试用于 k-直接和，且该结果与 k 的奇偶性无关。
• 当 k 为奇数时，k-直接和具有唯一的原函数；当 k 为偶数时，其具有两个互补的原函数 f0 和 f1，满足 f0 = 1 + f1。
• 测试器可使用每面 k+1 个查询重建原函数，其一致性由上边界扩张保证。
• 列表一致扩展蕴含直接和测试，解决了以往工作必须依赖奇偶性特定构造的缺陷。
• 给定赋值与最近的 k-直接和之间的距离，受其与最近的一致 l-赋值之间距离的限制，从而保证了测试的可靠性。