Two source extractors for asymptotically optimal entropy, and (many) more
X Li - 2023 IEEE 64th Annual Symposium on Foundations of …, 2023 - ieeexplore.ieee.org
A long line of work in the past two decades or so established close connections between
several different pseudorandom objects and applications, including seeded or seedless non …
several different pseudorandom objects and applications, including seeded or seedless non …
[PDF][PDF] NP-hardness of circuit minimization for multi-output functions
R Ilango, B Loff… - CCC'20: Proceedings of …, 2020 - wrap.warwick.ac.uk
Can we design efficient algorithms for finding fast algorithms? This question is captured by
various circuit minimization problems, and algorithms for the corresponding tasks have …
various circuit minimization problems, and algorithms for the corresponding tasks have …
Beating brute force for systems of polynomial equations over finite fields
We consider the problem of solving systems of multivariate polynomial equations of degree
k over a finite field. For every integer k≤ 2 and finite field q where q= pd for a prime p, we …
k over a finite field. For every integer k≤ 2 and finite field q where q= pd for a prime p, we …
Fine-grained hardness of CVP (P)—Everything that we can prove (and nothing else)
We show a number of fine-grained hardness results for the Closest Vector Problem in the ℓp
norm (CVP p), and its approximate and non-uniform variants. First, we show that CVP p …
norm (CVP p), and its approximate and non-uniform variants. First, we show that CVP p …
NP-hardness of minimum circuit size problem for OR-AND-MOD circuits
S Hirahara, I Oliveira, R Santhanam - 33rd Computational Complexity …, 2018 - ora.ox.ac.uk
The Minimum Circuit Size Problem (MCSP) asks for the size of the smallest boolean circuit
that computes a given truth table. It is a prominent problem in NP that is believed to be hard …
that computes a given truth table. It is a prominent problem in NP that is believed to be hard …
Explicit directional affine extractors and improved hardness for linear branching programs
In a recent work, Gryaznov, Pudl\'{a} k, and Talebanfard (CCC'22) introduced a stronger
version of affine extractors known as directional affine extractors, together with a …
version of affine extractors known as directional affine extractors, together with a …
Affine extractors and ac0-parity
We study a simple and general template for constructing affine extractors by composing a
linear transformation with resilient functions. Using this we show that good affine extractors …
linear transformation with resilient functions. Using this we show that good affine extractors …
Fourier growth of parity decision trees
We prove that for every parity decision tree of depth $ d $ on $ n $ variables, the sum of
absolute values of Fourier coefficients at level $\ell $ is at most $ d^{\ell/2}\cdot O …
absolute values of Fourier coefficients at level $\ell $ is at most $ d^{\ell/2}\cdot O …
Low-Degree Polynomials Are Good Extractors
We prove that random low-degree polynomials (over $\mathbb {F} _2 $) are unbiased, in an
extremely general sense. That is, we show that random low-degree polynomials are good …
extremely general sense. That is, we show that random low-degree polynomials are good …
Improved bounds on Fourier entropy and min-entropy
Given a Boolean function f:{-1, 1}^{n}→{-1, 1, define the Fourier distribution to be the
distribution on subsets of [n], where each S⊆[n] is sampled with probability f ˆ (S) 2. The …
distribution on subsets of [n], where each S⊆[n] is sampled with probability f ˆ (S) 2. The …