Near-Optimal Cayley Expanders for Abelian Groups

05/03/2021
by   Akhil Jalan, et al.
0

We give an efficient deterministic algorithm that outputs an expanding generating set for any finite abelian group. The size of the generating set is close to the randomized construction of Alon and Roichman (1994), improving upon various deterministic constructions in both the dependence on the dimension and the spectral gap. By obtaining optimal dependence on the dimension we resolve a conjecture of Azar, Motwani, and Naor (1998) in the affirmative. Our technique is an extension of the bias amplification technique of Ta-Shma (2017), who used random walks on expanders to obtain expanding generating sets over the additive group of n-bit strings. As a consequence, we obtain (i) randomness-efficient constructions of almost k-wise independent variables, (ii) a faster deterministic algorithm for the Remote Point Problem, (iii) randomness-efficient low-degree tests, and (iv) randomness-efficient verification of matrix multiplication.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
06/02/2019

On the Use of Randomness in Local Distributed Graph Algorithms

We attempt to better understand randomization in local distributed graph...
research
12/06/2017

Which groups are amenable to proving exponent two for matrix multiplication?

The Cohn-Umans group-theoretic approach to matrix multiplication suggest...
research
06/24/2018

On Nondeterministic Derandomization of Freivalds' Algorithm: Consequences, Avenues and Algorithmic Progress

Motivated by studying the power of randomness, certifying algorithms and...
research
09/15/2022

Almost Ramanujan Expanders from Arbitrary Expanders via Operator Amplification

We give an efficient algorithm that transforms any bounded degree expand...
research
04/08/2022

Matrix multiplication via matrix groups

In 2003, Cohn and Umans proposed a group-theoretic approach to bounding ...
research
01/20/2019

Deterministic constructions of high-dimensional sets with small dispersion

The dispersion of a point set P⊂[0,1]^d is the volume of the largest box...

Please sign up or login with your details

Forgot password? Click here to reset