High Dimensional Expanders Imply Agreement Expanders
2017 IEEE 58th Annual Symposium on Foundations of Computer Science (FOCS)(2017)
摘要
We show that high dimensional expanders imply derandomized direct product tests, with a number of subsets that is linear in the size of the universe. Direct product tests belong to a family of tests called agreement tests that are important components in PCP constructions and include, for example, low degree tests such as line vs. line and plane vs. plane. For a generic hypergraph, we introduce the notion of agreement expansion, which captures the usefulness of the hypergraph for an agreement test. We show that explicit bounded degree agreement expanders exist, based on Ramanujan complexes.
更多查看译文
关键词
high dimensional expanders,agreement tests,direct product,direct sum
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络