Weizmann Logo
ECCC
Electronic Colloquium on Computational Complexity

Under the auspices of the Computational Complexity Foundation (CCF)

Login | Register | Classic Style



REPORTS > DETAIL:

Paper:

TR22-024 | 17th February 2022 23:58

Pseudorandomness of Expander Random Walks for Symmetric Functions and Permutation Branching Programs

RSS-Feed




TR22-024
Authors: Louis Golowich, Salil Vadhan
Publication: 20th February 2022 10:20
Downloads: 271
Keywords: 


Abstract:

We study the pseudorandomness of random walks on expander graphs against tests computed by symmetric functions and permutation branching programs. These questions are motivated by applications of expander walks in the coding theory and derandomization literatures. We show that expander walks fool symmetric functions up to a $O(\lambda)$ error in total variation distance. This bound improves upon a line of prior work, which gave bounds that were weaker or applied only in more restricted cases. We extend our analysis to unify it with and strengthen the expander walk Chernoff bound. We then show that expander walks fool permutation branching programs up to a $O(\lambda)$ error in $\ell_2$-distance, and we prove that much tighter bounds hold for programs with a certain structure. We also prove lower bounds to show that our results are tight. To prove our results for symmetric functions, we analyze the Fourier coefficients of the relevant distributions using linear-algebraic techniques. Our analysis for permutation branching programs is likewise linear-algebraic in nature, but also makes use of the recently introduced singular-value approximation notion for matrices (Ahmadinejad et al. 2021).



ISSN 1433-8092 | Imprint