On the number of zero-patterns of a sequence of polynomials

Let f = (f1, . . . , fm) be a sequence of polynomials of degree ≤ d in n variables (m ≥ n) over a field F . The zero-pattern of f at u ∈ F n is the set of those i (1 ≤ i ≤ m) for which fi(u) = 0. Let ZF (f) denote the number of zero-patterns of f as u ranges over F . We prove that ZF (f) ≤ Pn j=0 ` m j for d = 1 and (1) ZF (f) ≤ md n ! for d ≥ 2. For m ≥ nd, these bounds are optimal within a factor of (7.25). The bound (1) improves the bound (1 + md) proved by J. Heintz (1983) using the dimension theory of affine varieties. Over the field of real numbers, bounds stronger than Heintz’s but slightly weaker than (1) follow from results of J. Milnor (1964), H. E. Warren (1968), and others; their proofs use techniques from real algebraic geometry. In contrast, our half-page proof is a simple application of the elementary “linear algebra bound.” Heintz applied his bound to estimate the complexity of his quanti- fier elimination algorithm for algebraically closed fields. We give sev- eral additional applications. The first two establish the existence of certain combinatorial objects. Our first application, motivated by the “branching program” model in the theory of computing, asserts that over any field F , most graphs with v vertices have projective dimension Ω( p v/ log v) (the implied constant is absolute). This result was previ- ously known over the reals (Pudlak–Rodl). The second application con- cerns a lower bound in the span program model for computing Boolean functions. The third application, motivated by a paper by N. Alon, gives nearly tight Ramsey bounds for matrices whose entries are defined by zero-patterns of a sequence of polynomials. We conclude the paper with a number of open problems. Computer and Automation Research Institute, Hungarian Academy of Sci- ences, H-1111 Budapest, Lagymanyosi u. 11, Hungary E-mail address: lajos@nyest.ilab.sztaki.hu Department of Computer Science, University of Chicago, Chicago, IL 60637 E-mail address: laci@cs.uchicago.edu Department of Computer Science, University of Chicago, Chicago, IL 60637 E-mail address: gmkrishn@cs.uchicago.edu