期刊名称：Electronic Colloquium on Computational Complexity
印刷版ISSN：1433-8092
出版年度：2021
卷号：21
语种：English
出版社：Universität Trier, Lehrstuhl für Theoretische Computer-Forschung
摘要：The classic Impagliazzo--Nisan--Wigderson (INW) psesudorandom generator (PRG) (STOC `94) for space-bounded computation uses a seed of length O(lognlog(nwd)) to fool ordered branching programs of length n, width w, and alphabet size d to within error . A series of works have shown that the analysis of the INW generator can be improved for the class of permutation branching programs or the more general regular branching programs, improving the O(log2n) dependence on the length n to O(logn) or O(logn). However, when also considering the dependence on the other parameters, these analyses still fall short of the optimal PRG seed length O(log(nwd)) . In this paper, we prove that any ``spectral analysis'' of the INW generator requires seed length lognloglog(minnd)+lognlog(w)+logd to fool ordered permutation branching programs of length n, width w, and alphabet size d to within error . By ``spectral analysis'' we mean an analysis of the INW generator that relies only on the spectral expansion of the graphs used to construct the generator; this encompasses all prior analyses of the INW generator. Our lower bound matches the upper bound of Braverman--Rao--Raz--Yehudayoff (FOCS 2010, SICOMP 2014) for regular branching programs of alphabet size d=2 except for a gap between their O(lognloglogn) term and our O(lognloglogminnd) term. It also matches the upper bounds of Koucky--Nimbhorkar--Pudlak (STOC 2011), De (CCC 2011), and Steinke (ECCC 2012) for constant-width (w=O(1)) permutation branching programs of alphabet size d=2 to within a constant factor. To fool permutation branching programs in the stronger measure of spectral norm, we prove that any spectral analysis of the INW generator requires a seed of length (lognloglogn+lognlog(1)+logd) when the width is at least polynomial in n (w=n(1)), matching the recent upper bound of Hoza--Pyne--Vadhan (ITCS `21) to within a constant factor.
关键词：Pseudorandomness;Space-bounded Derandomization;spectral graph theory
