See also: Locally Testable Codes with constant rate, distance, and locality https://arxiv.org/abs/2111.04808 https://arxiv.org/abs/2111.04808 For example, from

See also: Locally Testable Codes with constant rate, distance, and locality https://arxiv.org/abs/2111.04808 https://arxiv.org/abs/2111.04808 For example, from heading “High Dimensional Expansion”: > The current paper is mainly elementary and almost self-contained (with the exception of Section 6 which uses the existence of some Ramanujan Cayley graphs with specific properties and can be taken as a black box). But it came up as a result of a much longer and intensive journey. Some interesting open problems were left aside along the way. It is, therefore, worthwhile to give the story here.