Let $D_n(x;a)$ and $E_n(x;a)\in\mathbb F_q[x]$ be Dickson polynomials of first and second kind respectively, where $\mathbb F_q$ is a finite field with $q$ elements. In this article we show explicitly the irreducible factors these polynomials in the case that every prime divisor of $n$ divides $q-1$.
This result generalizes the results find in Chou, W.S., The Factorization of Dickson polynomials over finite fields. Finite Fields Appl. {\bf3} (1997) 84-96, Fitzgerald R. W., Yucas J. L., Explicit factorization of cyclotomic and Dickson polynomials over finite fields. Arithmetic of Finite Fields. Lecture Notes in Computer Science, vol. {\bf 4547}, pp. 1-10. Springer, Berlin (2007), Tosun, S., Explicit factorizations of generalized Dickson polynomials of order $2^{m}$ via generalized cyclotomic polynomials over finite fields. Finite Fields Appl. {\bf 38} (2016) 40-56 and Tosun, S., Explicit factors of generalized cyclotomic polynomials and generalized Dickson polynomials of order $2^m3$ over finite fields. Discrete Math. 342 (2019) DOI: j.disc.2019.111618
Let $F$ be a field of $q$ elements, where $q$ is a power of an odd prime. Fix $n = (q+1)/2$. For each $s \in F$, we describe all the irreducible factors over $F$ of the polynomial $g_s(y): = y^n + (1-y)^n -s$, and we give a necessary and sufficient condition on $s$ for $g_s(y)$ to be irreducible.
We discuss the properties and the permutation behaviour of the reversed Dickson polynomials of the $(k+1)$-th kind $D_{n,k}(1,x)$ over finite fields. The results in this paper unify and generalize several recently discovered results on reversed Dickson polynomials over finite fields.
This article explains the similar appearance of two polynomial identities involving Dickson polynomials in char. 2, one found by Abhyankar, Cohen, and Zieve, and the other found by the author.
In this paper, we present several necessary conditions for the reversed Dickson polynomial $E_{n}(1, x)$ of the second kind to be a permutation of $\mathbb{F}_{q}$. In particular, we give explicit evaluation of the sum $\sum_{a\in \mathbb{F}_{q}}E_{n}(1,a)$.
We discuss the problem of classifying Dembowski-Ostrom polynomials from the composition of reversed Dickson polynomials of arbitrary kind and monomials over finite fields of odd characteristic. Moreover, by using a variant of the Weil bound for the number of points of affine algebraic curves over finite fields, we discuss the planarity of all such Dembowski-Ostrom polynomials. Planar Dembowski-Ostrom polynomials have applications in many areas including cryptography and coding theory.
Let $G_n$ be the group of permutations on $\mathbb{Z}_n$ that is induced by a Dickson polynomial, where $n$ is a positive integer. In this work, by solving special types of systems of linear congruences, we obtain $G_n$. In addition, we give an a algorithm that gets $|G_n|$.
In this paper, we obtain several results on the permutational behavior of the reversed Dickson polynomial $D_{n,3}(1,x)$ of the fourth kind over the finite field ${\mathbb F}_{q}$. Particularly, we present the explicit evaluation of the first moment $\sum_{a\in {\mathbb F}_{q}}D_{n,3}(1,a)$.
Let $p$ be a prime and $q=p^e$. We discuss the properties of the reversed Dickson polynomial $D_{n,2}(1,x)$ of the third kind. We also give several necessary conditions for the reversed Dickson polynomial of the third kind $D_{n,2}(1,x)$ to be a permutation of $\mathbb{F}_{q}$. In particular, we give explicit evaluation of the sum $\sum_{a\in \mathbb{F}_q}D_{n,2}(1,a)$.
The $k$th Dickson polynomial of the first kind, $D_k(x) \in {\mathbb Z}[x]$, is determined by the formula: $D_k(u+1/u) = u^k + 1/u^k$, where $k \ge 0$ and $u$ is an indeterminate. These polynomials are closely related to Chebyshev polynomials and have been widely studied. Leonard Eugene Dickson proved in 1896 that $D_k(x)$ is a permutation polynomial on ${\mathbb F}_{p^n}$, $p$ prime, if and only if GCD$(k,p^{2n}-1)=1$, and his result easily carries over to Chebyshev polynomials when $p$ is odd. This article continues on this theme, as we find special subsets of ${\mathbb F}_{p^n}$ that are st…
In this paper, we use the method developed previously by Hong, Qin and Zhao to obtain several results on the permutational behavior of the reversed Dickson polynomial $D_{n,k}(1,x)$ of the $(k+1)$-th kind over the finite field ${\mathbb F}_{q}$. Particularly, we present the explicit evaluation of the first moment $\sum_{a\in {\mathbb F}_{q}}D_{n,k}(1,a)$. Our results extend the known results from the case $0\le k\le 3$ to the general $k\ge 0$ case.
For an $[n,k]$ Reed-Solomon code $\mathcal{C}$, it can be shown that any received word $r$ lies a distance at most $n-k$ from $\mathcal{C}$, denoted $d(r,\mathcal{C})\leq n-k$. Any word $r$ meeting the equality is called a deep hole. Guruswami and Vardy (2005) showed that for a specific class of codes, determining whether or not a word is a deep hole is NP-hard. They suggested passingly that it may be easier when the evaluation set of $\mathcal{C}$ is large or structured. Following this idea, we study the case where the evaluation set is the image of a Dickson polynomial, whose values appear w…
The article is devoted to the investigation of transformation groups of polynomials over Cayley-Dickson algebras and their manifolds of zeros. The problems about expressibility of zeros with the help of roots and decomposibility of polynomials as products of linear terms are studied.
Generating functions and functional equations of Dickson polynomials of the first and second kind are derived and continued analytically. These formulae are expressed in terms of the incomplete gamma function over complex variables of the parameters involved. Special cases are evaluated in terms of composite incomplete gamma functions and mathematical constants.
Wilson's Theorem states that the product of all nonzero elements of a finite field ${\mathbb F}_q$ is $-1$. In this article, we define some natural subsets $S \subset {\mathbb F}_q^\times$ and find formulas for the product of the elements of $S$, denoted $\prod S$. These new formulas are appealing for the simple, natural description of the sets $S$, and for the simplicity of the product. An example is $\prod\left\{ a \in {\mathbb F}_q^\times : \text{$1-a$ and $3+a$ are nonsquares} \right\} = 2$ if $q \equiv \pm 1 \pmod{12}$, or $-1$ otherwise.
A new polynomial identity is found for Dickson polynomials in characteristic 2. The identity is used to prove that the two polynomials $x^{q+1}+x+1/a$ and $C(x)+a$ have the same splitting field over $F$, where $F$ is a field of characteristic 2, $a$ is a nonzero element of $F$, $q=2^n>2$, and $C(x) = x (\sum_{i=0}^{n-1} x^{2^i-1})^{q+1}$ is a Müller--Cohen--Matthews polynomial of degree $(q^2-q)/2$. In addition, a new proof is obtained for the known result that $C(x)$ induces a permutation on $F_{2^m}$ if $2m$ and $n$ are relatively prime.
We classify all self-reciprocal polynomials arising from reversed Dickson polynomials over $\mathbb{Z}$ and $\mathbb{F}_p$, where $p$ is prime. As a consequence, we also obtain coterm polynomials arising from reversed Dickson polynomials.
By using the piecewise method, Lagrange interpolation formula and Lucas' theorem, we determine explicit expressions of the inverses of a class of reversed Dickson permutation polynomials and some classes of generalized cyclotomic mapping permutation polynomials over finite fields of characteristic three.
This paper provides an algorithmic generalization of Dickson's method of classifying permutation polynomials (PPs) of a given degree $d$ over finite fields. Dickson's idea is to formulate from Hermite's criterion several polynomial equations satisfied by the coefficients of an arbitrary PP of degree $d$. Previous classifications of PPs of degree at most $6$ were essentially deduced from manual analysis of these polynomial equations. However, these polynomials, needed for that purpose when $d>6$, are too complicated to solve. Our idea is to make them more solvable by calculating some radicals o…
A fundamental problem in the theory of linearized and projective polynomials over finite fields is to characterize the number of roots in the coefficient field directly from the coefficients. We prove results of this type, of a recursive nature. These results follow from our main theorem which characterizes the number of roots using the rank of a matrix that is smaller than the Dickson matrix.
In this text, we study factorizations of polynomials over the tropical hyperfield and the sign hyperfield, which we call `tropical polynomials' and `sign polynomials', respectively. We classify all irreducible polynomials in either case. We show that tropical polynomials factor uniquely into irreducible factors, but that unique factorization fails for sign polyomials. We describe division algorithms for tropical and sign polynomials by linear terms that correspond to roots of the polynomials.
Let $\mathbb{F}_q$ be the finite field of $q$ elements. Then a \emph{permutation polynomial} (PP) of $\mathbb{F}_q$ is a polynomial $f \in \mathbb{F}_q[x]$ such that the associated function $c \mapsto f(c)$ is a permutation of the elements of $\mathbb{F}_q$. In 1897 Dickson gave what he claimed to be a complete list of PPs of degree at most 6, however there have been suggestions recently that this classification might be incomplete. Unfortunately, Dickson's claim of a full characterisation is not easily verified because his published proof is difficult to follow. This is mainly due to antiquat…
We get some results about the factorization of $ϕ_p(M) \in {\mathbb{F}}_2[x]$, where $p$ is a prime number, $ϕ_p$ is the corresponding cyclotomic polynomial and $M$ is a Mersenne prime (polynomial). By the way, we better understand the factorization of the sum of the divisors of $M^{2h}$, for a positive integer $h$.
We determine the factorization of X*f(X)-Y*g(Y) over K[X,Y] for all squarefree additive polynomials f,g in K[X] and all fields K of odd characteristic. This answers a question of Kaloyan Slavov, who needed these factorizations in connection with an algebraic-geometric analogue of the Kakeya problem.
We use generating functions over group rings to count polynomials over finite fields with the first few coefficients prescribed and a factorization pattern prescribed. In particular, we obtain different exact formulas for the number of monic $n$-smooth polynomial of degree $m$ over a finite field, as well as the number of monic $n$-smooth polynomial of degree $m$ with the prescribed trace coefficient.
This paper presents the concept of digit polynomials, which leads to a deterministic and unconditional integer factorization algorithm with the runtime complexity $\mathcal{O}(N^{1/4+ε})$. Strassen's well known factoring approach is a special case of our method. We will also consider a possibility to improve upon the complexity bound.
In this paper, we provide the degree distribution of irreducible factors of the composed polynomial $f(L(x))$ over $\mathbb F_q$, where $f(x)\in \mathbb F_q[x]$ is irreducible and $L(x)\in \mathbb F_q[x]$ is a linearized polynomial. We further provide some applications of our main result, including lower bounds for the number of irreducible factors of $f(L(x))$, constructions of high degree irreducible polynomials and the explicit factorization of $f(x^q-x)$ under certain conditions on $f(x)$.
We present a new structure theorem for finite fields of odd order that relates multiplicative and additive structure in an interesting way. This theorem has several applications, including an improved understanding of Dickson and Chebyshev polynomials and some formulas with a number-theoretic flavor. This paper is an abridged version of two math arXiv articles by the author [arXiv:1707.06870, arXiv:1707.06877].
We formulate a conjecture concerning spectral factorization of a class of trigonometric polynomials of two variables and prove it for special cases. Our method uses relations between the distribution of values of a polynomial of two variables and the distributions of values of an associated family of polynomials of one variable. We suggest an approach to prove the full conjecture using relations between the distribution of values and the distribution of roots of polynomials.
Let $\mathbb{F}_q$ be the finite field with $q$ elements, where $q$ is a prime power and $n$ be a positive integer. In this paper, we explore the factorization of $f(x^{n})$ over $\mathbb{F}_q$, where $f(x)$ is an irreducible polynomial over $\mathbb F_q$. Our main results provide generalizations of recent works on the factorization of binomials $x^n-1$. As an application, we provide an explicit formula for the number of irreducible factors of $f(x^n)$ under some generic conditions on $f$ and $n$.
In \cite{D1}, Dickson listed all permutation polynomials up to degree 5 over an arbitrary finite field, and all permutation polynomials of degree 6 over finite fields of odd characteristic. The classification of degree 6 permutation polynomials over finite fields of characteristic 2 was left incomplete. In this paper we complete the classification of permutation polynomials of degree 6 over finite fields of characteristic 2. In addition, all permutation polynomials of degree 7 over finite fields of characteristic 2 are classified.
Let $p$ be an odd prime and $e$ be a positive integer. We completely explain the permutation binomials and trinomials arising from the reversed Dickson polynomials of the $(k+1)$-th kind $D_{n,k}(1,x)$ over $\mathbb{F}_{p^e}$ when $n=p^l+2$, where $l\in \mathbb{N}$.
Let $\mathbb F_q$ be the finite field with $q$ elements, $f, g\in \mathbb F_q[x]$ be polynomials of degree at least one. This paper deals with the asymptotic growth of certain arithmetic functions associated to the factorization of the iterated polynomials $f(g^{(n)}(x))$ over $\mathbb F_q$, such as the largest degree of an irreducible factor and the number of irreducible factors. In particular, we provide significant improvements on the results of D. Gómez-Pérez, A. Ostafe and I. Shparlinski (2014).
This paper addresses the factorization of polynomials of the form $F(x) = f_{0}(x) + f_{1}(x) x^{n} + \cdots + f_{r-1}(x) x^{(r-1)n} + f_{r}(x) x^{rn}$ where $r$ is a fixed positive integer and the $f_{j}(x)$ are fixed polynomials in $\mathbb Z[x]$ for $0 \le j \le r$. We provide an efficient method for showing that for $n$ sufficiently large and reasonable conditions on the $f_{j}(x)$, the non-reciprocal part of $F(x)$ is either $1$ or irreducible. We illustrate the approach including giving two examples that arise from trace fields of hyperbolic $3$-manifolds.
The $k$-subset sum problem over finite fields is a classical NP-complete problem.Motivated by coding theory applications, a more complex problem is the higher $m$-th moment $k$-subset sum problem over finite fields. We show that there is a deterministic polynomial time algorithm for the $m$-th moment $k$-subset sum problem over finite fields for each fixed $m$ when the evaluation set is the image set of a monomial or Dickson polynomial of any degree $n$. In the classical case $m=1$, this recovers previous findings.
Let $f(x)$ be a separable polynomial over a local field. Montes algorithm computes certain approximations to the different irreducible factors of $f(x)$, with strong arithmetic properties. In this paper we develop an algorithm to improve any one of these approximations, till a prescribed precision is attained. The most natural application of this "single-factor lifting" routine is to combine it with Montes algorithm to provide a fast polynomial factorization algorithm. Moreover, the single-factor lifting algorithm may be applied as well to accelerate the computational resolution of several glo…
Let $k$ be a locally compact complete field with respect to a discrete valuation $v$. Let $\oo$ be the valuation ring, $\m$ the maximal ideal and $F(x)\in\oo[x]$ a monic separable polynomial of degree $n$. Let $δ=v(\dsc(F))$. The Montes algorithm computes an OM factorization of $F$. The single-factor lifting algorithm derives from this data a factorization of $F \md{\m^ν}$, for a prescribed precision $ν$. In this paper we find a new estimate for the complexity of the Montes algorithm, leading to an estimation of $O(n^{2+ε}+n^{1+ε}δ^{2+ε}+n^2ν^{1+ε})$ word operations for the complexity of the c…
We study two important operations on polynomials defined over complete discrete valuation fields: Euclidean division and factorization. In particular, we design a simple and efficient algorithm for computing slope factorizations, based on Newton iteration. One of its main features is that we avoid working with fractional exponents. We pay particular attention to stability, and analyze the behavior of the algorithm using several precision models.
Using factorization theorems for sparse polynomials, we compute the trace field of Dehn fillings of the Whitehead link, and (assuming Lehmer's Conjecture) the minimal polynomial of the small dilatation pseudo-Anosov maps and the trace field of fillings of the figure-8 knot. These results depend on the degrees of the trace fields over Q being sufficiently large.
We use generating functions to relate the expected values of polynomial factorization statistics over $\mathbb{F}_q$ to the cohomology of ordered configurations in $\mathbb{R}^3$ as a representation of the symmetric group. Our methods lead to a new proof of the twisted Grothendieck-Lefschetz formula for squarefree polynomial factorization statistics of Church, Ellenberg, and Farb.
We investigate non-unique factorization of polynomials in Z_{p^n}[x] into irreducibles. As a Noetherian ring whose zero-divisors are contained in the Jacobson radical, Z_{p^n}[x] is atomic. We reduce the question of factoring arbitrary non-zero polynomials into irreducibles to the problem of factoring monic polynomials into monic irreducibles. The multiplicative monoid of monic polynomials of Z_{p^n}[x] is a direct sum of monoids corresponding to irreducible polynomials in Z_p[x], and we show that each of these monoids has infinite elasticity. Moreover, for every positive integer m, there exis…
For a suitable irreducible \textit{base} polynomial $f(x)\in \mathbf{Z}[x]$ of degree $k$, a family of polynomials $F_m(x)$ depending on $f(x)$ is constructed with the properties: (i) there is exactly one irreducible factor $Φ_{d,f}(x)$ for $F_m(x)$ for each divisor $d$ of $m$; (ii) deg $(Φ_{d,f}(x))=φ(d)\cdot\mathrm{deg} (f)$ generalizing the factorization of $x^m-1$ into cyclotomic polynomials; (iii) when the base polynomial $f(x) = x-1$ this $F_m(x)$ coincides with $x^m-1$. As an application, irreducible polynomials of degree 12, 24, 24 are constructed having Galois groups of order matching…
We present a randomized quantum algorithm for polynomial factorization over finite fields. For polynomials of degree $n$ over a finite field $\F_q$, the average-case complexity of our algorithm is an expected $O(n^{1 + o(1)} \log^{2 + o(1)}q)$ bit operations. Only for a negligible subset of polynomials of degree $n$ our algorithm has a higher complexity of $O(n^{4 / 3 + o(1)} \log^{2 + o(1)}q)$ bit operations. This breaks the classical $3/2$-exponent barrier for polynomial factorization over finite fields \cite{guo2016alg}.
We propose and rigorously analyze two randomized algorithms to factor univariate polynomials over finite fields using rank $2$ Drinfeld modules. The first algorithm estimates the degree of an irreducible factor of a polynomial from Euler-Poincare characteristics of random Drinfeld modules. Knowledge of a factor degree allows one to rapidly extract all factors of that degree. As a consequence, the problem of factoring polynomials over finite fields in time nearly linear in the degree is reduced to finding Euler-Poincare characteristics of random Drinfeld modules with high probability. Notably, …
