Polynomials in $\mathbb{F}_p[x]$ which commute under composition

Jeffrey Hatley,Mayah Teplitskiy

2023-06-16

Abstract:Let $\mathbb{F}$ be a finite field and let $f$ be a linear polynomial in $\mathbb{F}[x]$. We investigate the number of polynomials of degree $d$ which commute with $f$ under composition. In so doing, we rediscover a result of Park, but with a conceptually simpler proof.

Number Theory

What problem does this paper attempt to address?

A Combinatorial Congruence on Polynomials

Zhi-Wei Sun,Donald M. Davis

2005-01-01

Abstract:Let p be any prime, and let a and n be nonnegative integers. Let $r\in Z$ and $f(x)\in Z[x]$. We establish the congruence $$p^{°f}\sum_{k=r(mod p^a)}\binom{n}{k}(-1)^k f((k-r)/p^a) =0 (mod p^{\sum_{i=a}^{\infty}[n/p^i]})$$ (motivated by a conjecture arising from algebraic topology), and obtain the following vast generalization of Lucas' theorem: If a is greater than one, and $l,s,t$ are nonnegative integers with $s,t
The compositional inverses of permutation polynomials from trace functions over finite fields

Danyao Wu,Pingzhi Yuan

2024-09-30

Abstract:In this paper, we present the compositional inverses of several classes permutation polynomials of the form $\sum_{i=1}^kb_i\left({\rm Tr}_m^{mn}(x)^{t_i}+\delta\right)^{s_i}+f_1(x)$, where $1\leq i \leq k,$ $s_i$ are positive integers, $b_i \in \mathbb{F}_{p^m},$ $p$ is a prime and $f_1(x)$ is a polynomial over $\mathbb{F}_{p^{mn}}$ satisfying the following conditions: (i) ${\rm Tr}_m^{mn}(x) \circ f_1(x)=\varphi(x) \circ {\rm Tr}_m^{mn}(x),$ where $\varphi(x)$ is a polynomial over $\mathbb{F}_{p^m};$ (ii) For any $a \in \mathbb{F}_{p^m},$ $f_1(x)$ is injective on ${\rm Tr}_m^{mn}(a)^{-1}.$

Number Theory
Polynomial compositions with large monodromy groups and applications to arithmetic dynamics

Joachim König,Danny Neftin,Shai Rosenberg

2024-02-01

Abstract:For a composition $f=f_1\circ\cdots \circ f_r$ of polynomials $f_i\in \mathbb Q[x]$ of degrees $d_i\geq 5$ with alternating or symmetric monodromy group, we show that the monodromy group of $f$ contains the iterated wreath product $A_{d_r}\wr \cdots\wr A_{d_1}$. A similar property holds more generally for polynomials that do not factor through $x^d$ or Chebyshev. We derive consequences to arithmetic dynamics regarding arboreal representations, and forward and backward orbits of such $f$. In particular, given an orbit $(a_n)_{n=0}^\infty$ of $f$ as above, we show that for "almost all" $a\in \mathbb Z$, the set of primes $p$ for which some $a_n$ is congruent to $a$ mod $p$ is "small".

Number Theory
Division properties of commuting polynomials

Kimiko Hasegawa,Rin Sugiyama

2024-04-02

Abstract:Polynomials commute under composition are referred to as commuting polynomials. In this paper, we study division properties for commuting polynomials with rational (and integer) coefficients. As a consequence, we show an algebraic particularity of the commuting polynomials coming from weighted sums for cycle graphs with pendant edges (

Commutative Algebra,Combinatorics
The compositional inverses of three classes of permutation polynomials over finite fields

Danyao Wu,Pingzhi Yuan

2024-10-15

Abstract:Recently, P. Yuan presented a local method to find permutation polynomials and their compositional inverses over finite fields. The work of P. Yuan inspires us to compute the compositional inverses of three classes of the permutation polynomials: (a) the permutation polynomials of the form $ax^q+bx+(x^q-x)^k$ over $\mathbb{F}_{q^2},$ where $a+b \in \mathbb{F}_q^*$ or $a^q=b;$ (b) the permutation polynomials of the forms $f(x)=-x+x^{(q^2+1)/2}+x^{(q^3+q)/2} $ and $f(x)+x$ over $\mathbb{F}_{q^3};$ (c) the permutation polynomial of the form $A^{m}(x)+L(x)$ over $\mathbb{F}_{q^n},$ where ${\rm Im}(A(x))$ is a vector space with dimension $1$ over $\mathbb{F}_{q}$ and $L(x)$ is not a linearized permutation polynomial.

Number Theory
The compositional inverses of permutation polynomials of the form $\sum_{i=1}^kb_i(x^{p^m}+x+δ)^{s_i}-x$ over $\mathbb{F}_{p^{2m}}$

Danyao Wu,Pingzhi Yuan,Huanhuan Guan,Juan Li

2024-09-27

Abstract:In this paper, we present the compositional inverses of several classes permutation polynomials of the form $\sum_{i=1}^kb_i(x^{p^m}+x+\delta)^{s_i}-x$ over $\mathbb{F}_{p^{2m}}$, where for $1\leq i \leq k,$ $s_i, m$ are positive integers, $b_i, \delta \in \mathbb{F}_{p^{2m}},$ and $p$ is prime.

Number Theory
Expansion properties of polynomials over finite fields

Nuno Arala,Sam Chow

2024-03-06

Abstract:We establish expansion properties for suitably generic polynomials of degree $d$ in $d+1$ variables over finite fields. In particular, we show that if $P\in\mathbb{F}_q[x_1,\ldots,x_{d+1}]$ is a polynomial of degree $d$ coming from an explicit, Zariski dense set, and $X_1,\ldots,X_{d+1}\subseteq\mathbb{F}_q$ are suitably large, then $|P(X_1,\ldots,X_{d+1})|=q-O(1)$. Our methods rely on a higher-degree extension of a result of Vinh on point--line incidences over a finite field.

Combinatorics,Number Theory
Extending a result of Carlitz and McConnel to polynomials which are not permutations

Bence Csajbók

2024-09-06

Abstract:Let $D$ denote the set of directions determined by the graph of a polynomial $f$ of $\mathbb{F}_q[x]$, where $q$ is a power of the prime $p$. If $D$ is contained in a multiplicative subgroup $M$ of $\mathbb{F}_q^\times$, then by a result of Carlitz and McConnel it follows that $f(x)=ax^{p^k}+b$ for some $k\in \mathbb{N}$. Of course, if $D\subseteq M$, then $0\notin D$ and hence $f$ is a permutation. If we assume the weaker condition $D\subseteq M \cup \{0\}$, then $f$ is not necessarily a permutation, but Sziklai conjectured that $f(x)=ax^{p^k}+b$ follows also in this case. When $q$ is odd, and the index of $M$ is even, then a result of Ball, Blokhuis, Brouwer, Storme and Sz\H onyi combined with a result of McGuire and Göloğlu proves the conjecture. Assume $°f\geq 1$. We prove that if the size of $D^{-1}D=\{d^{-1}d' : d\in D\setminus \{0\},\, d'\in D\}$ is less than $q-°f+2$, then $f$ is a permutation of $\mathbb{F}_q$. We use this result to verify the conjecture of Sziklai.

Combinatorics,Number Theory
Iterates of polynomials over $\F_q(t)$ and their Galois groups

Sushma Palimar

2023-05-10

Abstract:A conjecture of Odoni stated over Hilbertian fields $K$ of characteristic zero asserts that for every positive integer $d$, there exists a polynomial $f\in K[x]$ of degree $d$ such that for every positive integer $n$, each iterate $f^{\circ n}$ of $f$ is irreducible and the Galois group of the splitting field of $f^{\circ n}$ is isomorphic to $[S_d]^{n}$, the $n$ folded iterated wreath product of the symmetric group $S_{d}$. We prove an analogue this conjecture over $\F_q(t)$, the field of rational functions in $t$ over a finite field $\F_q$ of characteristic $p>0$. We present some examples and see that most polynomials in $\F_q[t][x]$ satisfy these conditions.

Number Theory
Cyclotomic enumeration of polynomials

Richard Ehrenborg

2024-10-16

Abstract:Using the cyclotomic identity we compute sums over d-tuples of monic polynomials in F_q[x] weighted by the multiplicity of their irreducible factors. As consequences we determine explicit expressions for the number of d-tuples of polynomials such that their greatest common divisor is rth power free. We also compute the number of monic polynomials where the multiplicity of each irreducible factor belongs to the monoid generated by two relatively prime integers.

Number Theory,Combinatorics
Representing the inverse map as a composition of quadratics in a finite field of characteristic $2$

Florian Luca,Santanu Sarkar,Pantelimon Stanica

2023-09-30

Abstract:In 1953, Carlitz~\cite{Car53} showed that all permutation polynomials over $\F_q$, where $q>2$ is a power of a prime, are generated by the special permutation polynomials $x^{q-2}$ (the inversion) and $ ax+b$ (affine functions, where $0\neq a, b\in \F_q$). Recently, Nikova, Nikov and Rijmen~\cite{NNR19} proposed an algorithm (NNR) to find a decomposition of the inverse function in quadratics, and computationally covered all dimensions $n\leq 16$. Petrides~\cite{P23} found a class of integers for which it is easy to decompose the inverse into quadratics, and improved the NNR algorithm, thereby extending the computation up to $n\leq 32$. Here, we extend Petrides' result, as well as we propose a number theoretical approach, which allows us to cover easily all (surely, odd) exponents up to~$250$, at least.

Number Theory,Information Theory
A proof of a conjecture on permutation trinomials

Daniele Bartoli,Mohit Pal,Pantelimon Stanica

2024-10-30

Abstract:In this paper we use algebraic curves and other algebraic number theory methods to show the validity of a permutation polynomial conjecture regarding $f(X)=X^{q(p-1)+1} +\alpha X^{pq}+X^{q+p-1}$, on finite fields $\mathbb{F}_{q^2}, q=p^k$, from [A. Rai, R. Gupta, {\it Further results on a class of permutation trinomials}, Cryptogr. Commun. 15 (2023), 811--820].

Number Theory,Algebraic Geometry
Linear Partial Differential Equations in Module of Copolynomials of Several Variables over a Commutative Ring

S.L.Gefter,A.L.Piven'

2024-08-26

Abstract:We study the copolynomials of $n$ variables, i.e. $K$-linear mappings from the ring of polynomials $K[x_1,...,x_n]$ into the commutative ring $K$. We prove an existence and uniqueness theorem for a linear differential equation of infinite order which can be considered as an algebraic version of the classical Malgrange-Ehrenpreis theorem for the existence of the fundamental solution of a linear differential operator with constant coefficients. We find the fundamental solutions of linear differential operators of infinite order and show that the unique solution of the corresponding inhomogeneous equation can be represented as a convolution of the fundamental solution of this operator and the right-hand side. We also prove the existence and uniqueness theorem of the Cauchy problem for some linear differential equations in the module of formal power series with copolynomial coefficients.

Analysis of PDEs
On the degree of polynomials computing square roots mod p

Kiran Kedlaya,Swastik Kopparty

2024-01-23

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

Number Theory,Computational Complexity,Combinatorics
Polynomial Extension of Fleck's Congruence

Zhi-Wei Sun

DOI: https://doi.org/10.4064/aa122-1-9

2006-01-01

Acta Arithmetica

Abstract:Let p be a prime, and let f(x) be an integer-valued polynomial. By acombinatorial approach, we obtain a nontrivial lower bound of the p-adicorder of the sum ∑_k=r(mod p^β)nk(-1)^k f([(k-r)/p^α]), where α≥β≥ 0, n≥ p^α-1 andr∈ Z. This polynomial extension of Fleck's congruence has variousbackgrounds and several consequences such as ∑_k=r(mod p^α)nk a^k≡ 0 (mod p^[(n-p^α-1)/ϕ(p^α)]) provided that α>1 anda≡-1(mod p).
Commuting pairs of endomorphisms of P^2

Lucas Kaufmann

DOI: https://doi.org/10.1017/etds.2016.54

2015-09-22

Abstract:We consider commuting pairs of holomorphic endomorphisms of P^2 with disjoint sequence of iterates. The remaining case to be studied is when their degrees coincide after some number of iterations. We show in this case that they are either commuting Lattès maps or commuting homogeneous polynomial maps of C^2 inducing a Lattès map on the hyperplane at infinity.

Complex Variables,Dynamical Systems
The Least Common Multiple of Polynomial Values over Function Fields

Alexei Entin,Sean Landsberg

2024-01-02

Abstract:Cilleruelo conjectured that for an irreducible polynomial $f \in \mathbb{Z}[X]$ of degree $d \geq 2$ one has $$\log\left[\mathrm{lcm}(f(1),f(2),\ldots f(N))\right]\sim(d-1)N\log N$$ as $N \to \infty$. He proved it in the case $d=2$ but it remains open for every polynomial with $d>2$. We investigate the function field analogue of the problem by considering polynomials over the ring $\mathbb F_q[T]$. We state an analog of Cilleruelo's conjecture in this setting: denoting by $$L_f(n) := \mathrm{lcm} \left(f\left(Q\right)\ : \ Q \in \mathbb F_q[T]\mbox{ monic},\, \mathrm{deg}\,Q = n\right)$$ we conjecture that \begin{equation}\label{eq:conjffabs}\mathrm{deg}\, L_f(n) \sim c_f \left(d-1\right) nq^n,\ n \to \infty\end{equation} ($c_f$ is an explicit constant dependent only on $f$, typically $c_f=1$). We give both upper and lower bounds for $L_f(n)$ and show that the conjectured asymptotic holds for a class of ``special" polynomials, initially considered by Leumi in this context, which includes all quadratic polynomials and many other examples as well. We fully classify these special polynomials. We also show that $\mathrm{deg}\, L_f(n) \sim \mathrm{deg}\,\mathrm{rad}\left(L_f(n)\right)$ (in other words the corresponding LCM is close to being squarefree), which is not known over $\mathbb Z$.

Number Theory
Permutation polynomials over finite fields by the local criterion

Danyao Wu,Pingzhi Yuan

2024-09-27

Abstract:In this paper, we further investigate the local criterion and present a class of permutation polynomials and their compositional inverses over $ \mathbb{F}_{q^2}$. Additionally, we demonstrate that linearized polynomial over $\mathbb{F}_{q^n}$ is a local permutation polynomial with respect to all linear transformations from $\mathbb{F}_{q^n}$ to $\mathbb{F}_q ,$ and that every permutation polynomial is a local permutation polynomial with respect to certain mappings.

Number Theory
Preprint (2005-07-01), arXiv:math.NT/0507008. POLYNOMIAL EXTENSION OF FLECK’S CONGRUENCE

Zhi-Wei Sun

2005-01-01

Abstract:Let p be a prime, and let f (x) be an integer-valued polynomial. By a combinatorial approach, we obtain a nontrivial lower bound of the p-adic order of the sum k≡r (mod p β) n k (−1) k f k − r p α , where α β 0, n 0 and r ∈ Z. This polynomial extension of Fleck's congruence has various backgrounds and several consequences.

Polynomials in $\mathbb{F}_p[x]$ which commute under composition

A Combinatorial Congruence on Polynomials

The compositional inverses of permutation polynomials from trace functions over finite fields

Polynomial compositions with large monodromy groups and applications to arithmetic dynamics

Division properties of commuting polynomials

The compositional inverses of three classes of permutation polynomials over finite fields

The compositional inverses of permutation polynomials of the form $\sum_{i=1}^kb_i(x^{p^m}+x+δ)^{s_i}-x$ over $\mathbb{F}_{p^{2m}}$

Expansion properties of polynomials over finite fields

Extending a result of Carlitz and McConnel to polynomials which are not permutations

Iterates of polynomials over $\F_q(t)$ and their Galois groups

Cyclotomic enumeration of polynomials

Representing the inverse map as a composition of quadratics in a finite field of characteristic $2$

A proof of a conjecture on permutation trinomials

Linear Partial Differential Equations in Module of Copolynomials of Several Variables over a Commutative Ring

On the degree of polynomials computing square roots mod p

Polynomial Extension of Fleck's Congruence

Commuting pairs of endomorphisms of P^2

The Least Common Multiple of Polynomial Values over Function Fields

Permutation polynomials over finite fields by the local criterion

Preprint (2005-07-01), arXiv:math.NT/0507008. POLYNOMIAL EXTENSION OF FLECK’S CONGRUENCE