Abstract:We give an efficient algorithm that transforms any bounded degree expander graph into another that achieves almost optimal (namely, near-quadratic, $d \leq 1/\lambda^{2+o(1)}$) trade-off between (any desired) spectral expansion $\lambda$ and degree $d$. Furthermore, the algorithm is local: every vertex can compute its new neighbors as a subset of its original neighborhood of radius $O(\log(1/\lambda))$. The optimal quadratic trade-off is known as the Ramanujan bound, so our construction gives almost Ramanujan expanders from arbitrary expanders. The locality of the transformation preserves structural properties of the original graph, and thus has many consequences. Applied to Cayley graphs, our transformation shows that any expanding finite group has almost Ramanujan expanding generators. Similarly, one can obtain almost optimal explicit constructions of quantum expanders, dimension expanders, monotone expanders, etc., from existing (suboptimal) constructions of such objects. Another consequence is a "derandomized" random walk on the original (suboptimal) expander with almost optimal convergence rate. Our transformation also applies when the degree is not bounded or the expansion is not constant. We obtain our results by a generalization of Ta-Shma's technique in his breakthrough paper [STOC 2017], used to obtain explicit almost optimal binary codes. Specifically, our spectral amplification extends Ta-Shma's analysis of bias amplification from scalars to matrices of arbitrary dimension in a very natural way. Curiously, while Ta-Shma's explicit bias amplification derandomizes a well-known probabilistic argument (underlying the Gilbert--Varshamov bound), there seems to be no known probabilistic (or other existential) way of achieving our explicit ("high-dimensional") spectral amplification.

Optimisation of Fixed Polarity Canonical Or-Coincidence Expansions

Exact minimization of large fixed polarity dual form of reed-muller functions

Decomposition Conversion Methods for Canonical or-Coincidence Expansions

An Algorithm for Identifying Symmetric Variables in the Canonical OR-coincidence Algebra System

An Efficient Transformation Method For Dfrm Expansions

When can an expander code correct $Ω(n)$ errors in $O(n)$ time?

A Feasible Method for Optimization with Orthogonality Constraints

A simple asymptotically optimal Clifford circuit compilation algorithm

Techniques for Dual Forms of Reed-Muller Expansion Conversion

An algorithm for determining copositive matrices

On Optimizing Xor-Based Codes For Fault-Tolerant Storage Applications

Reducing QAOA Circuit Depth by Factoring out Semi-Symmetries

A compact QUBO encoding of computational logic formulae demonstrated on cryptography constructions

On the I/O Complexity of the CYK Algorithm and of a Family of Related DP Algorithms

Searching the Best Polarity for Low Power Based on WAGA

Expanding polynomials for sets with additive structure

Lanczos-type Variants of the COCR Method for Complex Nonsymmetric Linear Systems

Optimization at the Interface of Unitary and Non-unitary Quantum Operations in PCOAST

Almost Ramanujan Expanders from Arbitrary Expanders via Operator Amplification

Efficient RM Conversion Algorithm for Large Multiple Output Functions

Algorithm for the CSR expansion of max-plus matrices using the characteristic polynomial