2018/09/27 by Garber, David, Vishne, Uzi
#Combinatorics (math.CO) #FOS: Mathematics
paper · doi:10.48550/arxiv.1809.10588
We consider expansion and property testing in the language of incidence geometry, covering both simplicial and cubical complexes in any dimension. We develop a general method for passing from an explicit description of the cohomology group, which need not be trivial, to a testability proof with linear ratio between errors. The method is demonstrated by testing functions on 2-cells in cubical complexes to be induced from the edges.