Random Cayley Graphs and Expanders
Almost every Cayley graph on c(delta) log n random generators of a group of order n is an expander (Alon-Roichman, 2002)
Lean-style blueprints rendered with plasTeX — no Lean toolchain required.
Almost every Cayley graph on c(delta) log n random generators of a group of order n is an expander (Alon-Roichman, 2002)
A new Omega(sqrt(Nk)) redundancy lower bound for primitive multiset linear batch codes, via the dimension of the dual code's order-O(k) tensor.
Asymptotically good linear codes from expander graphs, with linear-time sequential and logarithmic-depth parallel decoding.
Blueprint of the Hoory-Linial-Wigderson survey (Bull. AMS 2006): expansion, eigenvalues, random walks, explicit constructions, codes, and embeddings.
Approximate gradient codes from expander graphs with optimal decoding coefficients, and convergence bounds for random and adversarial stragglers.
Sufficient conditions on an outer code so that concatenation with a single random linear inner code lies on the GV bound.
Low-magic quantum circuits have low communication cost: magic lower bounds from communication, and exponential R-parallel separations.
Explicit capacity-approaching codes for all square-integrable D-repeat channels, encodable and decodable in linear / quasi-linear time.
Under fine-grained complexity assumptions, document-similarity tasks transformers can solve cannot be solved in truly subquadratic time.