Let f(x) and g(x) be polynomials in $\mathbb F_{2}[x]$ with ${\rm deg}\text{ } f=n$. It is shown that for $n\gg 1$, there is an $g_{1}(x)\in \mathbb F_{2}[x]$ with ${\rm deg}\text{ } g_{1}\leqslant \max\{{\rm deg}\text{ } g, 6.7\log n\}$ and $g(x)-g_{1}(x)$ having $ \lt 6.7\log n$ terms such that $\gcd(f(x), g_{1}(x))=1$. As an application, it is established using a result of Dubickas and Sha that given $f(x)\in \mathbb F_{2}[x]$ of degree $n\geqslant 1$, there is a separable $g(x)\in 2[x]$ with ${\rm deg}\text{ } g= {\rm deg}\text{ } f$ and satisfying that $f(x)-g(x)$ has $\leqslant 6.7\log n$ terms. As a simple consequence, the latter result holds in $\mathbb Z[x]$ after replacing ‘number of terms’ by the L1-norm of a polynomial and $6.7\log n$ by $6.8\log n$. This improves the bound $(\log n)^{\log 4 +\operatorname{\varepsilon}}$ obtained by Filaseta and Moy.

In this paper, we provide a general framework for counting geometric structures in pseudo-random graphs. As applications, our theorems recover and improve several results on the finite field analog of questions originally raised in the continuous setting. The results present interactions between discrete geometry, geometric measure theory, and graph theory.

We introduce a new concept of rank – relative rank associated to a filtered collection of polynomials. When the filtration is trivial, our relative rank coincides with Schmidt rank (also called strength). We also introduce the notion of relative bias. The main result of the paper is a relation between these two quantities over finite fields (as a special case, we obtain a new proof of the results in [21]). This relation allows us to get an accurate estimate for the number of points on an affine variety given by a collection of polynomials which is of high relative rank (Lemma 3.2). The key advantage of relative rank is that it allows one to perform an efficient regularization procedure which is polynomial in the initial number of polynomials (the regularization process with Schmidt rank is far worse than tower exponential). The main result allows us to replace Schmidt rank with relative rank in many key applications in combinatorics, algebraic geometry, and algebra. For example, we prove that any collection of polynomials $\mathcal P=(P_i)_{i=1}^c$ of degrees $\le d$ in a polynomial ring over an algebraically closed field of characteristic $>d$ is contained in an ideal $\mathcal I({\mathcal Q})$, generated by a collection ${\mathcal Q}$ of polynomials of degrees $\le d$ which form a regular sequence, and ${\mathcal Q}$ is of size $\le A c^{A}$, where $A=A(d)$ is independent of the number of variables.

Let $k \geqslant 2$ be an integer. We prove that factorisation of integers into k parts follows the Dirichlet distribution $\mathrm{Dir}\left({1}/{k},\ldots,{1}/{k}\right)$ by multidimensional contour integration, thereby generalising the Deshouillers–Dress–Tenenbaum (DDT) arcsine law on divisors where $k=2$. The same holds for factorisation of polynomials or permutations. Dirichlet distribution with arbitrary parameters can be modelled similarly.

Given $A\subseteq GL_2(\mathbb {F}_q)$, we prove that there exist disjoint subsets $B, C\subseteq A$ such that $A = B \sqcup C$ and their additive and multiplicative energies satisfying

$$\begin{align*}\max\{\,E_{+}(B),\, E_{\times}(C)\,\}\ll \frac{|A|^3}{M(|A|)}, \end{align*}$$

where

$$ \begin{align*} M(|A|) = \min\Bigg\{\,\frac{q^{4/3}}{|A|^{1/3}(\log|A|)^{2/3}},\, \frac{|A|^{4/5}}{q^{13/5}(\log|A|)^{27/10}}\,\Bigg\}. \end{align*} $$

$A, B, C\subseteq GL_2(\mathbb {F}_q)$

$$\begin{align*}|AB+C|, ~|(A+B)C|\gg q^4,\end{align*}$$

$|A||B||C|\gg q^{10 + 1/2}$

$Forum Math.$

We improve to nearly optimal the known asymptotic and explicit bounds for the number of $\mathbb {F}_q$ -rational points on a geometrically irreducible hypersurface over a (large) finite field. The proof involves a Bertini-type probabilistic combinatorial technique. Namely, we slice the given hypersurface with a random plane.

We study multivariate polynomials over ‘structured’ grids. Firstly, we propose an interpretation as to what it means for a finite subset of a field to be structured; we do so by means of a numerical parameter, the nullity. We then extend several results – notably, the Combinatorial Nullstellensatz and the Coefficient Theorem – to polynomials over structured grids. The main point is that the structure of a grid allows the degree constraints on polynomials to be relaxed.

A Sidon set is a subset of an Abelian group with the property that the sums of two distinct elements are distinct. We relate the Sidon sets constructed by Bose to affine subspaces of $ \mathbb {F} _ {q ^ 2} $ of dimension one. We define Sidon arrays which are combinatorial objects giving a partition of the group $\mathbb {Z}_{q ^ 2} $ as a union of Sidon sets. We also use linear recurring sequences to quickly obtain Bose-type Sidon sets without the need to use the discrete logarithm.

We give a corrected version of our previous lower bound on the value set of binomials (Canad. Math. Bull., v.63, 2020, 187–196). The other results are not affected.

Let n be a positive integer and let $\mathbb{F} _{q^n}$ be the finite field with $q^n$ elements, where q is a prime power. We introduce a natural action of the projective semilinear group ${\mathrm{P}\Gamma\mathrm{L}} (2, q^n)={\mathrm{PGL}} (2, q^n)\rtimes {\mathrm{Gal}} ({\mathbb F_{q^n}} /\mathbb{F} _q)$ on the set of monic irreducible polynomials over the finite field $\mathbb{F} _{q^n}$ . Our main results provide information on the characterisation and number of fixed points.

Let $r,n>1$ be integers and $q$ be any prime power $q$ such that $r\mid q^{n}-1$. We say that the extension $\mathbb{F}_{q^{n}}/\mathbb{F}_{q}$ possesses the line property for $r$-primitive elements property if, for every $\unicode[STIX]{x1D6FC},\unicode[STIX]{x1D703}\in \mathbb{F}_{q^{n}}^{\ast }$ such that $\mathbb{F}_{q^{n}}=\mathbb{F}_{q}(\unicode[STIX]{x1D703})$, there exists some $x\in \mathbb{F}_{q}$ such that $\unicode[STIX]{x1D6FC}(\unicode[STIX]{x1D703}+x)$ has multiplicative order $(q^{n}-1)/r$. We prove that, for sufficiently large prime powers $q$, $\mathbb{F}_{q^{n}}/\mathbb{F}_{q}$ possesses the line property for $r$-primitive elements. We also discuss the (weaker) translate property for extensions.

We obtain a new lower bound on the size of the value set $\mathscr{V}(f)=f(\mathbb{F}_{p})$ of a sparse polynomial $f\in \mathbb{F}_{p}[X]$ over a finite field of $p$ elements when $p$ is prime. This bound is uniform with respect to the degree and depends on some natural arithmetic properties of the degrees of the monomial terms of $f$ and the number of these terms. Our result is stronger than those that can be extracted from the bounds on multiplicities of individual values in $\mathscr{V}(f)$.

We give a new proof of the Hansen–Mullen irreducibility conjecture. The proof relies on an application of a (seemingly new) sufficient condition for the existence of elements of degree $n$ in the support of functions on finite fields. This connection to irreducible polynomials is made via the least period of the discrete Fourier transform $\left( \text{DFT} \right)$ of functions with values in finite fields. We exploit this relation and prove, in an elementary fashion, that a relevant function related to the $\text{DFT}$ of characteristic elementary symmetric functions (that produce the coefficients of characteristic polynomials) satisfies a simple requirement on the least period. This bears a sharp contrast to previous techniques employed in the literature to tackle the existence of irreducible polynomials with prescribed coefficients.

For a $t$-nomial $f(x)=\sum _{i=1}^{t}c_{i}x^{a_{i}}\in \mathbb{F}_{q}[x]$, we show that the number of distinct, nonzero roots of $f$ is bounded above by $2(q-1)^{1-\unicode[STIX]{x1D700}}C^{\unicode[STIX]{x1D700}}$, where $\unicode[STIX]{x1D700}=1/(t-1)$ and $C$ is the size of the largest coset in $\mathbb{F}_{q}^{\ast }$ on which $f$ vanishes completely. Additionally, we describe a number-theoretic parameter depending only on $q$ and the exponents $a_{i}$ which provides a general and easily computable upper bound for $C$. We thus obtain a strict improvement over an earlier bound of Canetti et al. which is related to the uniformity of the Diffie–Hellman distribution. Finally, we conjecture that $t$-nomials over prime fields have only $O(t\log p)$ roots in $\mathbb{F}_{p}^{\ast }$ when $C=1$.

The problem of solving polynomial equations over finite fields has many applications in cryptography and coding theory. In this paper, we consider polynomial equations over a ‘large’ finite field with a ‘small’ characteristic. We introduce a new algorithm for solving this type of equations, called the successive resultants algorithm (SRA). SRA is radically different from previous algorithms for this problem, yet it is conceptually simple. A straightforward implementation using Magma was able to beat the built-in Roots function for some parameters. These preliminary results encourage a more detailed study of SRA and its applications. Moreover, we point out that an extension of SRA to the multivariate case would have an important impact on the practical security of the elliptic curve discrete logarithm problem in the small characteristic case.

Supplementary materials are available with this article.

Given $f(x,y)\in \mathbb Z[x,y]$ with no common components with $x^a-y^b$ and $x^ay^b-1$, we prove that for $p$ sufficiently large, with $C(f)$ exceptions, the solutions $(x,y)\in \overline {\mathbb F}_p\times \overline {\mathbb F}_p$ of $f(x,y)=0$ satisfy $ {\rm ord}(x)+{\rm ord}(y)\gt c (\log p/\log \log p)^{1/2},$ where $c$ is a constant and ${\rm ord}(r)$ is the order of $r$ in the multiplicative group $\overline {\mathbb F}_p^*$. Moreover, for most $p\lt N$, $N$ being a large number, we prove that, with $C(f)$ exceptions, ${\rm ord}(x)+{\rm ord}(y)\gt p^{1/4+\epsilon (p)},$ where $\epsilon (p)$ is an arbitrary function tending to $0$ when $p$ goes to $\infty $.

We recall that a polynomial f(X) ∈ K[X] over a field K is called stable if all its iterates are irreducible over K. We show that almost all monic quadratic polynomials f(X) ∈ ℤ[X] are stable over ℚ. We also show that the presence of squares in so-called critical orbits of a quadratic polynomial f(X) ∈ ℤ[X] can be detected by a finite algorithm; this property is closely related to the stability of f(X). We also prove there are no stable quadratic polynomials over finite fields of characteristic 2 but they exist over some infinite fields of characteristic 2.

We obtain new results about the number of trinomials ${{t}^{n}}\,+\,at\,+\,b$ with integer coefficients in a box $(a,\,b)\,\in \,[C,\,C\,+\,A]\,\times \,[D,\,D\,+\,B]$ that are irreducible modulo a prime $p$. As a by-product we show that for any $p$ there are irreducible polynomials of height at most ${{p}^{1/2+o(1)}}$, improving on the previous estimate of ${{p}^{2/3+o(1)}}$ obtained by the author in 1989.

We discuss the problem of constructing elements of multiplicative high order in finite fields of large degree over their prime field. We obtain such elements by evaluating rational functions on elliptic curves, at points whose order is small with respect to their degree. We discuss several special cases, including an old construction of Wiedemann, giving the first nontrivial estimate for the order of the elements in this construction.