For every epsilon and sufficiently large degree d, explicit d-regular graphs exist in which every small set S has at least (1-epsilon)d|S| distinct neighbors.
Simple Constructions of Unique Neighbor Expanders from Error-correcting Codes
1 Pith paper cite this work. Polarity classification is still indexing.
abstract
In this note, we give very simple constructions of unique neighbor expander graphs starting from spectral or combinatorial expander graphs of mild expansion. These constructions and their analysis are simple variants of the constructions of LDPC error-correcting codes from expanders, given by Sipser-Spielman [SS96] (and Tanner [Tan81]), and their analysis. We also show how to obtain expanders with many unique neighbors using similar ideas. There were many exciting results on this topic recently, starting with Asherov-Dinur [AD23] and Hsieh-McKenzie-Mohanty-Paredes [HMMP23], who gave a similar construction of unique neighbor expander graphs, but using more sophisticated ingredients (such as almost-Ramanujan graphs) and a more involved analysis. Subsequent beautiful works of Cohen-Roth-TaShma [CRT23] and Golowich [Gol23] gave even stronger objects (lossless expanders), but also using sophisticated ingredients. The main contribution of this work is that we get much more elementary constructions of unique neighbor expanders and with a simpler analysis.
fields
math.CO 1years
2025 1verdicts
ACCEPT 1representative citing papers
citing papers explorer
-
Explicit Lossless Vertex Expanders
For every epsilon and sufficiently large degree d, explicit d-regular graphs exist in which every small set S has at least (1-epsilon)d|S| distinct neighbors.