Abstract:For an odd prime $p$, we say $f(X) \in {\mathbb F}_p[X]$ computes square roots in $\mathbb F_p$ if, for all nonzero perfect squares $a \in \mathbb F_p$, we have $f(a)^2 = a$. When $p \equiv 3 \mod 4$, it is well known that $f(X) = X^{(p+1)/4}$ computes square roots. This degree is surprisingly low (and in fact lowest possible), since we have specified $(p-1)/2$ evaluations (up to sign) of the polynomial $f(X)$. On the other hand, for $p \equiv 1 \mod 4$ there was previously no nontrivial bound known on the lowest degree of a polynomial computing square roots in $\mathbb F_p$; it could have been anywhere between $\frac{p}{4}$ and $\frac{p}{2}$. We show that for all $p \equiv 1 \mod 4$, the degree of a polynomial computing square roots has degree at least $p/3$. Our main new ingredient is a general lemma which may be of independent interest: powers of a low degree polynomial cannot have too many consecutive zero coefficients. The proof method also yields a robust version: any polynomial that computes square roots for 99\% of the squares also has degree almost $p/3$. In the other direction, a result of Agou, Deliglése, and Nicolas (Designs, Codes, and Cryptography, 2003) shows that for infinitely many $p \equiv 1 \mod 4$, the degree of a polynomial computing square roots can be as small as $3p/8$.

A note on the squarefree density of polynomials

Comment on "On the squarefree density of polynomials"

Squarefree density of polynomials

Square-free values of random polynomials

Square-free values of polynomials

Consecutive square-free values for some polynomials

An average number of square-free values of polynomials

A Density Theorem and Its Application

Solubility of a resultant equation and applications

Sarkozy's Theorem for P-Intersective Polynomials

Sum of squares decomposition of positive polynomials with rational coefficients

The density conjecture for principal congruence subgroups

Positive density for consecutive runs of sums of two squares

Application of a polynomial sieve: beyond separation of variables

A Pólya criterion for (strict) positive definiteness on the sphere

Density of Squarefree Totients $p-1$ and Primitive Roots

ZEROES OF RANDOM POLYNOMIALS WITH NON-IDENTICALLY DISTRIBUTED COEFFICIENTS

Square values of several polynomials over a finite field

On the degree of polynomials computing square roots mod p

Square-full values of quadratic polynomials

Local densities of quadratic polynomials over non-dyadic fields and unramified dyadic fields