### Current browse context:

cs.CC

### Change to browse by:

### References & Citations

# Computer Science > Computational Complexity

# Title: Extractors for Images of Varieties

(Submitted on 26 Nov 2022 (v1), last revised 14 Jan 2023 (this version, v2))

Abstract: We construct explicit deterministic extractors for polynomial images of varieties, that is, distributions sampled by applying a low-degree polynomial map $f : \mathbb{F}_q^r \to \mathbb{F}_q^n$ to an element sampled uniformly at random from a $k$-dimensional variety $V \subseteq \mathbb{F}_q^r$. This class of sources generalizes both polynomial sources, studied by Dvir, Gabizon and Wigderson (FOCS 2007, Comput. Complex. 2009), and variety sources, studied by Dvir (CCC 2009, Comput. Complex. 2012).

Assuming certain natural non-degeneracy conditions on the map $f$ and the variety $V$, which in particular ensure that the source has enough min-entropy, we extract almost all the min-entropy of the distribution. Unlike the Dvir-Gabizon-Wigderson and Dvir results, our construction works over large enough finite fields of arbitrary characteristic. One key part of our construction is an improved deterministic rank extractor for varieties. As a by-product, we obtain explicit Noether normalization lemmas for affine varieties and affine algebras.

Additionally, we generalize a construction of affine extractors with exponentially small error due to Bourgain, Dvir and Leeman (Comput. Complex. 2016) by extending it to all finite prime fields of quasipolynomial size.

## Submission history

From: Ben Lee Volk [view email]**[v1]**Sat, 26 Nov 2022 06:53:21 GMT (79kb)

**[v2]**Sat, 14 Jan 2023 08:15:25 GMT (80kb)

Link back to: arXiv, form interface, contact.