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$.

The Square-Root Law Does Not Hold in the Presence of Zero Divisors

A bilinear approach to the finite field restriction problem

Irreducibility of Polynomials with Square Coefficients over Finite Fields

Some new infinite families of non-$p$-rational real quadratic fields

Ring class fields and a result of Hasse

Arithmetic representations of fundamental groups II: finiteness

About almost covering subsets of the hypercube

The ring of finite algebraic numbers and its application to the law of decomposition of primes

Square-free values of polynomials

On the principal minors of Fourier matrices

A finiteness result towards the Casas-Alvero Conjecture

Undecidability of infinite towers of Kummer extensions of $\mathbb{F}_p(t)$

Universal quadratic forms and Northcott property of infinite number fields

The Pythagoras number of a rational function field in two variables

On, around, and beyond Frobenius' theorem on division algebras

Radically finite rings and space curves

On the degree of polynomials computing square roots mod p

Two-dimensional Weyl sums failing square-root cancellation along lines

Dirichlet is not just bad and singular in many rational IFS fractals

Undecidability of infinite algebraic extensions of $\mathbb{F}_p(t)$

Schoenberg's Theorem via the law of large numbers