Agreement theorems for high dimensional expanders in the small soundness regime: the role of covers
share
Given a family X of subsets of [n] and an ensemble of local functions {f_s:s→Σ | s∈ X}, an agreement test is a randomized property tester that is supposed to test whether there is some global function G:[n]→Σ such that f_s=G|_s for many sets s. A "classical" small-soundness agreement theorem is a list-decoding (LD) statement, saying that LD Agree({f_s}) > ε ⟹ ∃ G^1,…, G^ℓ, P_s[f_s0.99≈G^i|_s]≥ poly(ε), i=1,…,ℓ. Such a statement is motivated by PCP questions and has been shown in the case where X=[n]k, or where X is a collection of low dimensional subspaces of a vector space. In this work we study small the case of on high dimensional expanders X. It has been an open challenge to analyze their small soundness behavior. Surprisingly, the small soundness behavior turns out to be governed by the topological covers of X.We show that: 1. If X has no connected covers, then (LD) holds, provided that X satisfies an additional expansion property. 2. If X has a connected cover, then (LD) necessarily fails. 3. If X has a connected cover (and assuming the additional expansion property), we replace the (LD) by a weaker statement we call lift-decoding: LFD Agree({f_s})> ε⟹ ∃ cover ρ:Y↠ X, and G:Y(0)→Σ, such that P_s̃↠ s[f_s 0.99≈ G|_s̃] ≥ poly(ε), where s̃↠ s means that ρ(s̃)=s. The additional expansion property is cosystolic expansion of a complex derived from X holds for the spherical building and for quotients of the Bruhat-Tits building.
READ FULL TEXT
