English
Related papers

Related papers: Pseudorandomness and Fourier Growth Bounds for Wid…

200 papers

We show a new PRG construction fooling depth-$d$, size-$m$ $\mathsf{AC}^0$ circuits within error $\varepsilon$, which has seed length $O(\log^{d-1}(m)\log(m/\varepsilon)\log\log(m))$. Our PRG improves on previous work (Trevisan and Xue…

Computational Complexity · Computer Science 2023-01-25 Xin Lyu

Recently, an interest in constructing pseudorandom or hitting set generators for restricted branching programs has increased, which is motivated by the fundamental issue of derandomizing space-bounded computations. Such constructions have…

Computational Complexity · Computer Science 2023-06-22 Jiří Šíma , Stanislav Žák

We analyze the Fourier growth, i.e. the $L_1$ Fourier weight at level $k$ (denoted $L_{1,k}$), of various well-studied classes of "structured" $\mathbb{F}_2$-polynomials. This study is motivated by applications in pseudorandomness, in…

Computational Complexity · Computer Science 2024-10-15 Jarosław Błasiok , Peter Ivanov , Yaonan Jin , Chin Ho Lee , Rocco A. Servedio , Emanuele Viola

We develop a pseudo-random generator to fool degree-$d$ polynomial threshold functions with respect to the Gaussian distribution. For $c>0$ any constant, we construct a pseudo-random generator that fools such functions to within $\epsilon$…

Computational Complexity · Computer Science 2011-04-08 Daniel M. Kane

Expander graphs are among the most useful combinatorial objects in theoretical computer science. A line of work studies random walks on expander graphs for their pseudorandomness against various classes of test functions, including…

Computational Complexity · Computer Science 2025-01-23 Emile Anand

A \emph{linear extension} of a partial order \(\preceq\) over items \(A = \{ 1, 2, \ldots, n \}\) is a permutation \(\sigma\) such that for all \(i < j\) in \(A\), it holds that \(\neg(\sigma(j) \preceq \sigma(i))\). Consider the problem of…

Computational Complexity · Computer Science 2025-06-18 Mark Huber

Pseudorandomness has played a central role in modern cryptography, finding theoretical and practical applications to various fields of computer science. A function that generates pseudorandom strings from shorter but truly random seeds is…

Formal Languages and Automata Theory · Computer Science 2016-10-25 Tomoyuki Yamakami

We study pseudorandomness properties of permutations on $\{0,1\}^n$ computed by random circuits made from reversible $3$-bit gates (permutations on $\{0,1\}^3$). Our main result is that a random circuit of depth $n \cdot \tilde{O}(k^2)$,…

Computational Complexity · Computer Science 2025-02-13 William He , Ryan O'Donnell

We study correlation bounds and pseudorandom generators for depth-two circuits that consist of a $\mathsf{SYM}$-gate (computing an arbitrary symmetric function) or $\mathsf{THR}$-gate (computing an arbitrary linear threshold function) that…

Computational Complexity · Computer Science 2018-03-14 Rocco A. Servedio , Li-Yang Tan

In a recent work, O'Donnell, Servedio and Tan (STOC 2019) gave explicit pseudorandom generators (PRGs) for arbitrary $m$-facet polytopes in $n$ variables with seed length poly-logarithmic in $m,n$, concluding a sequence of works in the last…

Computational Complexity · Computer Science 2021-06-03 Srinivasan Arunachalam , Penghui Yao

We give a pseudorandom generator that fools $m$-facet polytopes over $\{0,1\}^n$ with seed length $\mathrm{polylog}(m) \cdot \log n$. The previous best seed length had superlinear dependence on $m$. An immediate consequence is a…

Computational Complexity · Computer Science 2018-08-14 Ryan O'Donnell , Rocco A. Servedio , Li-Yang Tan

Read-$k$ oblivious algebraic branching programs are a natural generalization of the well-studied model of read-once oblivious algebraic branching program (ROABPs). In this work, we give an exponential lower bound of $\exp(n/k^{O(k)})$ on…

Computational Complexity · Computer Science 2015-11-24 Matthew Anderson , Michael A. Forbes , Ramprasad Saptharishi , Amir Shpilka , Ben Lee Volk

We give a pseudorandom generator that fools degree-$d$ polynomial threshold functions over $n$-dimensional Gaussian space with seed length $\mathrm{poly}(d)\cdot \log n$. All previous generators had a seed length with at least a $2^d$…

Computational Complexity · Computer Science 2022-02-10 Ryan O'Donnell , Rocco A. Servedio , Li-Yang Tan , Daniel Kane

Let $g$, $h$ be a random pair of generators of $G=Sym(n)$ or $G=Alt(n)$. We show that, with probability tending to $1$ as $n\to \infty$, (a) the diameter of $G$ with respect to $S = \{g,h,g^{-1},h^{-1}\}$ is at most $O(n^2 (\log n)^c)$, and…

Group Theory · Mathematics 2014-03-11 Harald A. Helfgott , Ákos Seress , Andrzej Zuk

Motivation: Predicting the secondary structure of an RNA sequence is useful in many applications. Existing algorithms (based on dynamic programming) suffer from a major limitation: their runtimes scale cubically with the RNA length, and…

Biomolecules · Quantitative Biology 2020-01-14 Liang Huang , He Zhang , Dezhong Deng , Kai Zhao , Kaibo Liu , David A. Hendrix , David H. Mathews

Motivated by practical concerns in cryptography, we study pseudorandomness properties of permutations on $\{0,1\}^n$ computed by random circuits made from reversible $3$-bit gates (permutations on $\{0,1\}^3$). Our main result is that a…

Cryptography and Security · Computer Science 2025-02-12 William Gay , William He , Nicholas Kocurek , Ryan O'Donnell

We consider the problem of computing a $k$-sparse approximation to the Fourier transform of a length $N$ signal. Our main result is a randomized algorithm for computing such an approximation (i.e. achieving the $\ell_2/\ell_2$ sparse…

Data Structures and Algorithms · Computer Science 2016-04-05 Michael Kapralov

A polynomial threshold function (PTF) $f:\mathbb{R}^n \rightarrow \mathbb{R}$ is a function of the form $f(x) = \mathsf{sign}(p(x))$ where $p$ is a polynomial of degree at most $d$. PTFs are a classical and well-studied complexity class…

Computational Complexity · Computer Science 2021-11-30 Zander Kelley , Raghu Meka

We present a new approximation algorithm for the treewidth problem which finds an upper bound on the treewidth and constructs a corresponding tree decomposition as well. Our algorithm is a faster variation of Reed's classical algorithm. For…

Data Structures and Algorithms · Computer Science 2022-06-24 Mahdi Belbasi , Martin Fürer

We refine a uniform algebraic approach for deriving upper bounds on reset thresholds of synchronizing automata. We express the condition that an automaton is synchronizing in terms of linear algebra, and obtain upper bounds for the reset…

Formal Languages and Automata Theory · Computer Science 2015-12-21 Mikhail Berlinkov , Marek Szykuła