Unique-Neighbor-Like Expansion and Group-Independent Cosystolic Expansion

Tali Kaufman, David Mass

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

5 Scopus citations

Abstract

In recent years, high dimensional expanders have been found to have a variety of applications in theoretical computer science, such as efficient CSPs approximations, improved sampling and list-decoding algorithms, and more. Within that, an important high dimensional expansion notion is cosystolic expansion, which has found applications in the construction of efficiently decodable quantum codes and in proving lower bounds for CSPs. Cosystolic expansion is considered with systems of equations over a group where the variables and equations correspond to faces of the complex. Previous works that studied cosystolic expansion were tailored to the specific group F2. In particular, Kaufman, Kazhdan and Lubotzky (FOCS 2014), and Evra and Kaufman (STOC 2016) in their breakthrough works, who solved a famous open question of Gromov, have studied a notion which we term “parity” expansion for small sets. They showed that small sets of k-faces have proportionally many (k + 1)-faces that contain an odd number of k-faces from the set. Parity expansion for small sets could then be used to imply cosystolic expansion only over F2. In this work we introduce a stronger unique-neighbor-like expansion for small sets. We show that small sets of k-faces have proportionally many (k + 1)-faces that contain exactly one k-face from the set. This notion is fundamentally stronger than parity expansion and cannot be implied by previous works. We then show, utilizing the new unique-neighbor-like expansion notion introduced in this work, that cosystolic expansion can be made group-independent, i.e., unique-neighbor-like expansion for small sets implies cosystolic expansion over any group.

Original languageEnglish
Title of host publication32nd International Symposium on Algorithms and Computation, ISAAC 2021
EditorsHee-Kap Ahn, Kunihiko Sadakane
PublisherSchloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing
ISBN (Electronic)9783959772143
DOIs
StatePublished - 1 Dec 2021
Event32nd International Symposium on Algorithms and Computation, ISAAC 2021 - Fukuoka, Japan
Duration: 6 Dec 20218 Dec 2021

Publication series

NameLeibniz International Proceedings in Informatics, LIPIcs
Volume212
ISSN (Print)1868-8969

Conference

Conference32nd International Symposium on Algorithms and Computation, ISAAC 2021
Country/TerritoryJapan
CityFukuoka
Period6/12/218/12/21

Bibliographical note

Publisher Copyright:
© Tali Kaufman and David Mass.

Keywords

  • Cosystolic expansion
  • High dimensional expanders
  • Unique-neighbor-like expansion

Fingerprint

Dive into the research topics of 'Unique-Neighbor-Like Expansion and Group-Independent Cosystolic Expansion'. Together they form a unique fingerprint.

Cite this