[論文レビュー] List Agreement Expansion from Coboundary Expansion

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

Formal Methods in Verification被引用数 1

ひとこと要約

この論文は、各局所的視認が1つの関数ではなくl個の関数を含む一般化された一致テストであるリスト一致拡張を導入する。高次元複体におけるコブダリティの拡張が、これらのリストが置換を介して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.

研究の動機と目的

• 各局所的視認が1つの関数ではなくl個の関数を含む一般化された一致テストとしてのリスト一致拡張を形式化し、分析すること。
• 集合系がリスト一致拡張をサポートするための十分条件（特にコブダリティの拡張）を同定すること。
• リスト一致拡張が直接和テストを意味することを示し、従来の制限（このようなテストが偶奇に基づく構成を必要としていたこと）を克服すること。
• 奇数および偶数サイズの局所集合に対して一様に機能する直接和テストの統一的枠組みを提供すること。

提案手法

• 被覆空間とコブダリティの拡張の関係を用いて、l個の一致テストのインスタンスを分離する。
• k次元の面における局所的割り当てをクエリし、候補となるグローバル関数との整合性をチェックするテストャーを採用する。
• 特にコブダリティの拡張を用いて、局所的整合性が置換を介したグローバル整合性を保証するための代数的位相幾何学的道具を適用する。
• 面ベースの和公式を用いて、局所的割り当てから原点関数を構築する。奇数kと偶数kの間で区別する。
• 奇数kの場合、原点関数は一意である。偶数kの場合、2つの補い合う関数f0とf1が存在し、2リスト一致テストが可能になる。
• 距離の境界を用いて、任意のγ-リスト一致拡張子において(k+1, γ)-テストがk-直接和に存在することを証明する。

実験結果

リサーチクエスチョン

• RQ1 集合系は、各局所的視認が1つの関数ではなくl個の関数を含み、テストャーがl個のグローバル関数との整合性をチェックできる一般化された一致テストをサポートできるか？
• RQ2 局所的リスト一致が、一貫した置換を伴うl個のグローバル関数の存在を保証するための位相的または組合せ的条件は何か？
• RQ3 コブダリティの拡張がリスト一致拡張の十分条件としてどのように機能するか？
• RQ4 リスト一致拡張を用いて、奇数および偶数サイズの局所集合に対して一様に機能する直接和テストを構築できるか？
• RQ5 リスト一致拡張と直接和構成における原点関数の構造との関係は何か？

主な発見

• コブダリティの拡張は、集合系がリスト一致拡張を示すための十分条件であり、テストャーがl個のグローバル関数との整合性を検証できることを可能にする。
• 任意のγ-リスト一致拡張子において、k-直接和のための(3(k+1), γ)-テストが構築可能であり、kの偶奇に依存しない。
• 奇数kの場合、k-直接和には一意の原点関数が存在する。偶数kの場合、f0 = 1 + f1を満たす2つの補い合う関数f0とf1が存在する。
• テストャーは、1つの面あたりk+1回のクエリで原点関数を再構築でき、コブダリティの拡張によって整合性が保証される。
• リスト一致拡張は直接和テストを意味し、従来の研究で偶奇に依存する構成が必要であったというギャップを解消する。
• 与えられた割り当てと最も近いk-直接和との距離は、最も近い一致するl-割り当てとの距離によって上限が定められ、健全性が保証される。