Limitations of the Impagliazzo–Nisan–Wigderson Pseudorandom Generator Against Permutation Branching Programs
Name
453_2024_Article_1251.pdf
Size
462.32 KB
Format
Adobe PDF
Checksum (MD5)
5166b83f203060be339d74a362db7c0d
Author(s)
Hoza, William M.
Pyne, Edward
Vadhan, Salil
Date Issued
July 29, 2024
Journal
Algorithmica
Publisher
Springer US
Citation
Hoza, W.M., Pyne, E. & Vadhan, S. Limitations of the Impagliazzo–Nisan–Wigderson Pseudorandom Generator Against Permutation Branching Programs. Algorithmica (2024).
Version
Final published version
Abstract
The classic Impagliazzo–Nisan–Wigderson (INW) pseudorandom generator (PRG) (STOC ‘94) for space-bounded computation uses a seed of length 𝑂(log𝑛⋅log(𝑛𝑤/ε)+log𝑑)
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 𝑂(log2𝑛)
dependence on the length n to 𝑂(log𝑛)
or 𝑂̃ (log𝑛)
. However, when also considering the dependence on the other parameters, these analyses still fall short of the optimal PRG seed length 𝑂(log(𝑛𝑤𝑑/ε))
. In this paper, we prove that any “spectral analysis” of the INW generator requires seed length
Ω(log𝑛⋅loglog(min{𝑛,𝑑})+log𝑛⋅log(𝑤/ε)+log𝑑)
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 𝑑=2
except for a gap between their 𝑂(log𝑛⋅loglog𝑛)
term and our Ω(log𝑛⋅loglogmin{𝑛,𝑑})
term. It also matches the upper bounds of Koucký–Nimbhorkar–Pudlák (STOC 2011), De (CCC 2011), and Steinke (ECCC 2012) for constant-width (𝑤=𝑂(1)
) permutation branching programs of alphabet size 𝑑=2
to within a constant factor. To fool permutation branching programs in the measure of spectral norm, we prove that any spectral analysis of the INW generator requires a seed of length Ω(log𝑛⋅loglog𝑛+log𝑛⋅log(1/ε))
when the width is at least polynomial in n (𝑤=𝑛Ω(1)
), matching the recent upper bound of Hoza–Pyne–Vadhan (ITCS 2021) to within a constant factor.
MIT Department
Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science
Terms of Use
Creative Commons Attribution
Persistent DSpace Link
DOI of Published Version
https://doi.org/10.1007/s00453-024-01251-2
