Weizmann Logo
Electronic Colloquium on Computational Complexity

Under the auspices of the Computational Complexity Foundation (CCF)

Login | Register | Classic Style



TR22-024 | 17th February 2022 23:58

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


Authors: Louis Golowich, Salil Vadhan
Publication: 20th February 2022 10:20
Downloads: 271


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