English
Related papers

Related papers: Pseudorandomness for Read-Once, Constant-Depth Cir…

200 papers

The approximate degree of a Boolean function $f \colon \{-1, 1\}^n \rightarrow \{-1, 1\}$ is the least degree of a real polynomial that approximates $f$ pointwise to error at most $1/3$. We introduce a generic method for increasing the…

Computational Complexity · Computer Science 2017-03-20 Mark Bun , Justin Thaler

We consider the performance of the Depth First Search (DFS) algorithm on the random graph $G\left(n,\frac{1+\epsilon}{n}\right)$, $\epsilon>0$ a small constant. Recently, Enriquez, Faraud and M\'enard [2] proved that the stack $U$ of the…

Combinatorics · Mathematics 2022-07-27 Sahar Diskin , Michael Krivelevich

We consider the problem of efficiently enumerating the satisfying assignments to $\AC^0$ circuits. We give a zero-error randomized algorithm which takes an $\AC^0$ circuit as input and constructs a set of restrictions which partition…

Computational Complexity · Computer Science 2015-03-19 Russell Impagliazzo , William Matthews , Ramamohan Paturi

Recent work [M. J. Gullans et al., Physical Review X, 11(3):031066 (2021)] has shown that quantum error correcting codes defined by random Clifford encoding circuits can achieve a non-zero encoding rate in correcting errors even if the…

Quantum Physics · Physics 2024-07-18 Andrew S. Darmawan , Yoshifumi Nakata , Shiro Tamiya , Hayata Yamasaki

Recently, Forbes, Kumar and Saptharishi [CCC, 2016] proved that there exists an explicit $d^{O(1)}$-variate and degree $d$ polynomial $P_{d}\in VNP$ such that if any depth four circuit $C$ of bounded formal degree $d$ which computes a…

Computational Complexity · Computer Science 2021-07-22 Suryajith Chillara

Let $S_d(n)$ denote the minimum number of wires of a depth-$d$ (unbounded fan-in) circuit encoding an error-correcting code $C:\{0, 1\}^n \to \{0, 1\}^{32n}$ with distance at least $4n$. G\'{a}l, Hansen, Kouck\'{y}, Pudl\'{a}k, and Viola…

Computational Complexity · Computer Science 2024-02-02 Andrew Drucker , Yuan Li

The best known size lower bounds against unrestricted circuits have remained around $3n$ for several decades. Moreover, the only known technique for proving lower bounds in this model, gate elimination, is inherently limited to proving…

Computational Complexity · Computer Science 2020-12-09 Alexander Golovnev , Alexander S. Kulikov , R. Ryan Williams

We consider the fundamental problem of constructing fast and small circuits for binary addition. We propose a new algorithm with running time $\mathcal O(n \log_2 n)$ for constructing linear-size $n$-bit adder circuits with a significantly…

Data Structures and Algorithms · Computer Science 2024-05-24 Ulrich Brenner , Anna Silvanus

We study limitations of polynomials computed by depth two circuits built over read-once polynomials (ROPs) and depth three syntactically multi-linear formulas. We prove an exponential lower bound for the size of the $\Sigma\Pi^{[N^{1/30}]}$…

Computational Complexity · Computer Science 2015-12-14 C. Ramya , B. V. Raghavendra Rao

One of the prominent current challenges in complexity theory is the attempt to prove lower bounds for $TC^0$, the class of constant-depth, polynomial-size circuits with majority gates. Relying on the results of Williams (2013), an appealing…

Computational Complexity · Computer Science 2017-11-07 Roei Tell

One approach to study the pseudorandomness properties of walks on expander graphs is to label the vertices of an expander with elements from an alphabet $\Sigma$, and study the mean of functions over $\Sigma^n$. We say expander walks…

Computational Complexity · Computer Science 2025-07-22 Fernando Granha Jeronimo , Tushant Mittal , Sourya Roy

We study the delay (also known as depth) of circuits that simulate finite automata, showing that only certain growth rates (as a function of the number $n$ of steps simulated) are possible. A classic result due to Ofman (rediscovered and…

Computational Complexity · Computer Science 2013-08-15 Connor Ahlbach , Jeremy Usatine , Nicholas Pippenger

A notorious open question in circuit complexity is whether Boolean operations of arbitrary arity can efficiently be expressed using modular counting gates only. H{\aa}stad's celebrated switching lemma yields exponential lower bounds for the…

Computational Complexity · Computer Science 2026-04-07 Benedikt Pago

We introduce a novel family of expander-based error correcting codes. These codes can be sampled with randomness linear in the block-length, and achieve list-decoding capacity (among other local properties). Our expander-based codes can be…

Combinatorics · Mathematics 2023-04-11 Aaron L Putterman , Edward Pyne

A select collection of pseudorandom number generators is applied to a Monte Carlo study of the two dimensional square site percolation model. A generator suitable for high precision calculations is identified from an application specific…

Disordered Systems and Neural Networks · Physics 2009-11-13 Michael J. Lee

Consider the following decision problem: for a given monotone Boolean function $f$ decide, whether $f$ is read-once. For this problem, it is essential how the input function $f$ is represented. Our contribution consists of the following two…

Computational Complexity · Computer Science 2018-07-10 Alexander Kozachinskiy

Agrawal and Vinay [AV08] showed how any polynomial size arithmetic circuit can be thought of as a depth four arithmetic circuit of subexponential size. The resulting circuit size in this simulation was more carefully analyzed by Korian…

Computational Complexity · Computer Science 2017-08-02 Suryajith Chillara , Mrinal Kumar , Ramprasad Saptharishi , V Vinay

Pseudorandom generators (PRGs) for low-degree polynomials are a central object in pseudorandomness, with applications to circuit lower bounds and derandomization. Viola's celebrated construction gives a PRG over the binary field, but with…

Computational Complexity · Computer Science 2026-02-11 Gil Cohen , Dean Doron , Noam Goldgraber

We show that sharp thresholds for Boolean functions directly imply average-case circuit lower bounds. More formally we show that any Boolean function exhibiting a sharp enough threshold at \emph{arbitrary} critical density cannot be…

Computational Complexity · Computer Science 2024-07-17 David Gamarnik , Elchanan Mossel , Ilias Zadik

In a recent work, Chen, Hoza, Lyu, Tal and Wu (FOCS 2023) showed an improved error reduction framework for the derandomization of regular read-once branching programs (ROBPs). Their result is based on a clever modification to the inverse…

Computational Complexity · Computer Science 2023-12-08 Eshan Chattopadhyay , Jyun-Jie Liao