Bounds on the realizations of zero-nonzero patterns and sign conditions of polynomials restricted to varieties and applications

Abstract

We obtain upper bounds, independent of the ambient dimension, for the number of realizable zero-nonzero patterns and (over ordered fields) sign conditions of a finite family of polynomials

restricted to an algebraic subset V of affine or projective space. The bounds depend only on

card ( P ) $\mathrm {card}(\mathcal P)$ card left parenthesis script upper P right parenthesis

and the degrees of the polynomials in

P $\mathcal P$ script upper P

, together with

deg ⁡ ( V ) $\deg (V)$ degree left parenthesis upper V right parenthesis

and

dim ⁡ ( V ) $\dim (V)$ dimension left parenthesis upper V right parenthesis

, and not on the dimension of the space in which V is embedded. This feature is particularly useful when V has small intrinsic dimension but is presented in a very high-dimensional ambient space.

We describe several applications. First, we extend existing results on bounding the

-entropy of real algebraic varieties. Second, we derive lower bounds (in terms of the number of connected components) for membership testing in semi-algebraic sets in the algebraic computation tree model. Finally, motivated by quantum complexity theory, we introduce additive and multiplicative notions of relative rank in finite-dimensional vector spaces and algebras with respect to a fixed algebraic subset, generalizing the classical notion of tensor rank. We prove a general lower bound on the maximum relative rank of finite subsets with respect to algebraic sets of bounded degree and dimension that is again independent of the ambient dimension. As an illustration, we obtain a quantum analog of Shannon’s classical lower bound. We prove that if

Δ n $\Delta _n$ normal upper Delta Subscript n

is an algebraic family of allowed gates with

dim ⁡ Δ n = poly ( n ) , log ⁡ deg ⁡ Δ n =  poly ( n ) , $$ \begin{align*}\dim \Delta_n= \mathrm{poly}(n), \qquad \log\deg\Delta_n= \text{ poly}(n),\end{align*} $$