Abstract:We introduce the problem of constructing explicit variety evasive subspace families. Given a family $\mathcal{F}$ of subvarieties of a projective or affine space, a collection $\mathcal{H}$ of projective or affine $k$-subspaces is $(\mathcal{F},\epsilon)$-evasive if for every $\mathcal{V}\in\mathcal{F}$, all but at most $\epsilon$-fraction of $W\in\mathcal{H}$ intersect every irreducible component of $\mathcal{V}$ with (at most) the expected dimension. The problem of constructing such an explicit subspace family generalizes both deterministic black-box polynomial identity testing (PIT) and the problem of constructing explicit (weak) lossless rank condensers. Using Chow forms, we construct explicit $k$-subspace families of polynomial size that are evasive for all varieties of bounded degree in a projective or affine $n$-space. As one application, we obtain a complete derandomization of Noether's normalization lemma for varieties of low degree in a projective or affine $n$-space. In another application, we obtain a simple polynomial-time black-box PIT algorithm for depth-4 arithmetic circuits with bounded top fan-in and bottom fan-in that are not in the Sylvester-Gallai configuration, improving and simplifying a result of Gupta (ECCC TR 14-130). As a complement of our explicit construction, we prove a tight lower bound for the size of $k$-subspace families that are evasive for degree-$d$ varieties in a projective $n$-space. When $n-k=n^{\Omega(1)}$, the lower bound is superpolynomial unless $d$ is bounded. The proof uses a dimension-counting argument on Chow varieties that parametrize projective subvarieties.

On area-minimizing Pfaffian varieties

Enclosed Convex Hypersurfaces with Maximal Affine Area

Global Pinching Theorems for Minimal Submanifolds in a Complex Projective Space

Bernstein Type Theorems for Minimal Surfaces in $(\Alpha,\beta)$-Space

The minimality of determinantal varieties

On Minimal Varieties Growing from Quasismooth Weighted Hypersurfaces

On Euler-Dierkes-Huisken variational problem

On Lawson's area-minimizing hypercones

Existence and Non-Existence of Area-Minimizing Hypersurfaces in Manifolds of Non-Negative Ricci Curvature

A Gauss-Bonnet formula for the renormalized area of minimal submanifolds of Poincaré-Einstein manifolds

Area-minimizing Cones over Products of Grassmannian Manifolds

New area-minimizing Lawson-Osserman cones

Spurious local minima in nonconvex sum-of-squares optimization

Area-minimizing Hypersurfaces in Manifolds of Ricci Curvature Bounded Below

On embeddedness of area-minimizing disks, and an application to constructing complete minimal surfaces

Area minimizing surfaces in mean convex 3-manifolds

Recent progress on the Dirichlet problem for the minimal surface system and minimal cones

Variety Evasive Subspace Families

Area-minimizing Hypersurfaces in Singular Ambient Manifolds

A structure theory for stable codimension 1 integral varifolds with applications to area minimising hypersurfaces mod p

On area-minimizing subgraphs in integer lattices