Explicit Designs and Extractors

We give significantly improved explicit constructions of three related pseudorandom objects. 1. Extremal designs: An $(n,r,s)$-design, or $(n,r,s)$-partial Steiner system, is an $r$-uniform hypergraph over $n$ vertices with pairwise hyperedge intersections of size $0$, we extract from $(N,K,n,$ polylog$(n))$-adversarial sources of locality $0$, given just $K\geq N^\delta$ good sources. The previous best result (Chattopadhyay et al., STOC 2020) required $K\geq N^{1/2+o(1)}$. 3. Extractors for small-space sources: Using a known reduction to adversarial sources, we immediately obtain improved low-error extractors for space $s$ sources over $n$ bits that require entropy $k\geq n^{1/2+\delta}\cdot s^{1/2-\delta}$, whereas the previous best result (Chattopadhyay et al., STOC 2020) required $k\geq n^{2/3+\delta}\cdot s^{1/3-\delta}$. On the other hand, using a new reduction from small-space sources to affine sources, we obtain near-optimal extractors for small-space sources in the polynomial error regime. Our extractors require just $k\geq s\cdot\log^Cn$ entropy for some constant $C$, which is an exponential improvement over the previous best result, which required $k\geq s^{1.1}\cdot2^{\log^{0.51}n}$ (Chattopadhyay and Li, STOC 2016).