Sharp Effective Finite-Field Nullstellensatz

Guy Moshkovitz, Jeffery Yu

The (weak) Nullstellensatz over finite fields says that if $P_1,\ldots,P_m$ are $n$-variate degree-$d$ polynomials with no common zero over a finite field $\mathbb{F}$ then there are polynomials $R_1,\ldots,R_m$ such that $R_1P_1+\cdots+R_mP_m \equiv 1$. Green and Tao [Contrib. Discrete Math. 2009, Proposition 9.1] used a regularity lemma to obtain an effective proof, showing that the degrees of the polynomials $R_i$ can be bounded independently of $n$, though with an Ackermann-type dependence on the other parameters $m$, $d$, and $|\mathbb{F}|$. In this note we use the polynomial method to give a proof with a degree bound of $md(|\mathbb{F}|-1)$. We also show that the dependence on each of the parameters is the best possible up to an absolute constant.

picture_as_pdf flag

Knowledge Graph

arrow_drop_up

Comments

Sign up or login to leave a comment