A note on the paper arXiv:2207.13335
We show that all of the "new" permutation polynomials in the recent paper arXiv:2207.13335 (H. Song et al.) are in fact known. We also present a new type of question in this area.
Source author record
Michael E. Zieve
Michael E. Zieve appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
ResearcherUnclaimed source record
Catalog footprint
What is connected
25works
10topics
4close collaborators
Research graph
See the researcher in context
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
Building this map preview
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
25 published item(s)
preprint2022arXiv
Determination of a class of permutation quadrinomials
We determine all permutation polynomials over F_{q^2} of the form X^r A(X^{q-1}) where, for some Q which is a power of the characteristic of F_q, the integer r is congruent to Q+1 (mod q+1) and all terms of A(X) have degrees in {0, 1, Q, Q+1}. We then use this classification to resolve eight conjectures and open problems from the literature, and we show that the simplest special cases of our result imply 58 recent results from the literature. Our proof makes a novel use of geometric techniques in a situation where they previously did not seem applicable, namely to understand the arithmetic of high-degree rational functions over small finite fields, despite the fact that in this situation the Weil bounds do not provide useful information.
0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv
A new family of exceptional rational functions
For each odd prime power q, we construct an infinite sequence of rational functions f(X) in F_q(X), each of which is exceptional, which means that for infinitely many n the map c-->f(c) induces a bijection of P^1(F_{q^n}). Moreover, each of our functions f(X) is indecomposable, which means that it cannot be written as the composition of lower-degree rational functions in F_q(X). In case q is not a power of 3, these are the first known examples of indecomposable exceptional rational functions f(X) over F_q which have non-solvable monodromy groups and have arbitrarily large degree. These are also the first known examples of wildly ramified indecomposable exceptional rational functions f(X), other than linear changes of polynomials.
0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv
Shared values of meromorphic functions on a compact Riemann surface
We prove a new bound on the number of shared values of distinct meromorphic functions on a compact Riemann surface, explain a mistake in a previous paper on this topic, and give a survey of related questions.
0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv
Extensions of absolute values on two subfields
We describe the absolute values on a field which simultaneously extend absolute values on two subfields. We also give a common generalization of many versions of Abhyankar's lemma on ramification indices, which is both widely applicable and easy to state. We then apply these results to count points on the fibered product of two curve morphisms C --> X and D --> X which lie over prescribed points on C and D.
0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv
Functional equations in polynomials
We determine all F,G in C[X] of degree at least 2 for which the semigroup generated by F and G under composition is not the free semigroup on the letters F and G. We also solve the same problem for F,G in X^2 C[[X]], and prove partial analogues over arbitrary fields.
0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv
Factorizations of certain bivariate polynomials
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.
0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv
On factorizations of maps between curves
We examine the different ways of writing a cover of curves $ϕ\colon C\to D$ over a field $K$ as a composition $ϕ=ϕ_n\circϕ_{n-1}\circ\dots\circϕ_1$, where each $ϕ_i$ is a cover of curves over $K$ of degree at least $2$ which cannot be written as the composition of two lower-degree covers. We show that if the monodromy group $\textrm{Mon}(ϕ)$ has a transitive abelian subgroup then the sequence $(\degϕ_i)_{1\le i\le n}$ is uniquely determined up to permutation by $ϕ$, so in particular the length $n$ is uniquely determined. We prove analogous conclusions for the sequences $(\textrm{Mon}(ϕ_i))_{1\le i\le n}$ and $(\textrm{Aut}(ϕ_i))_{1\le i\le n}$. Such a transitive abelian subgroup exists in particular when $ϕ$ is tamely and totally ramified over some point in $D(\overline{K})$, and also when $ϕ$ is a morphism of one-dimensional algebraic groups (or a coordinate projection of such a morphism). Thus, for example, our results apply to decompositions of polynomials of degree not divisible by $\textrm{char}(K)$, additive polynomials, elliptic curve isogenies, and Lattès maps.
0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv
Some planar monomials in characteristic 2
Planar functions over finite fields give rise to finite projective planes and other combinatorial objects. They were originally defined only in odd characteristic, but recently Zhou introduced a definition in even characteristic which yields similar applications. In this paper we show that certain functions over $\mathbb{F}_{2^r}$ are planar, which proves a conjecture of Schmidt and Zhou. The key to our proof is a new result about the $\mathbb{F}_{q^3}$-rational points on the degree-$(q-1)$ Fermat curve $x^{q-1}+y^{q-1}=z^{q-1}$.
0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv
Low-degree planar monomials in characteristic two
Planar functions over finite fields give rise to finite projective planes and other combinatorial objects. They exist only in odd characteristic, but recently Zhou introduced an even characteristic analogue which has similar applications. In this paper we determine all planar functions on F_q of the form c-->uc^t, where q is a power of 2, t is an integer with 0<t<=q^{1/4}, and u is a nonzero element of F_q. This settles and sharpens a conjecture of Schmidt and Zhou.
0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv
On a theorem of Carlitz
Carlitz proved that, for any prime power q other than 2, the group of all permutations of the finite field F_q is generated by the permutations induced by degree-one polynomials and x^{q-2}. His proof relies on a remarkable polynomial which appears to have been found by magic. We show here that no magic is required: there is a straightforward way to produce a simple polynomial which has the same remarkable properties as the complicated polynomial in Carlitz's proof. We also identify the crucial subtlety which allows such simple polynomials to exist, and discuss some consequences.
0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv
Rational points on some Fermat curves and surfaces over finite fields
We give an explicit description of the F_{q^i}-rational points on the Fermat curve u^{q-1}+v^{q-1}+w^{q-1}=0 for each i=1,2,3. As a consequence, we observe that for any such point (u,v,w), the product uvw is a cube in F_{q^i}. We also describe the F_{q^2}-rational points on the Fermat surface u^{q-1}+v^{q-1}+w^{q-1}+x^{q-1}=0, and show that the product of the coordinates of any such points is a square.
0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv
Separated Belyi Maps
We construct Belyi maps having specified behavior at finitely many points. Specifically, for any curve C defined over Q-bar, and any disjoint finite subsets S, T in C(Q-bar), we construct a finite morphism f: C -> P^1 such that f ramifies at each point in S, the branch locus of f is {0,1, infty}, and f(T) is disjoint from {0,1, infty}. This refines a result of Mochizuki's. We also prove an analogous result over fields of positive characteristic, and in addition we analyze how many different Belyi maps f are required to imply the above conclusion for a single C and S and all sets T in C(Q-bar) \ S of prescribed cardinality.
0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv
Some Diophantine equations related to positive-rank elliptic curves
We give conditions on the rational numbers a,b,c which imply that there are infinitely many triples (x,y,z) of rational numbers such that x+y+z=a+b+c and xyz=abc. We do the same for the equations x+y+z=a+b+c and x^3+y^3+z^3=a^3+b^3+c^3. These results rely on exhibiting families of positive-rank elliptic curves.
0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv
The Mordell-Lang Question for Endomorphisms of Semiabelian Varieties
The Mordell-Lang conjecture describes the intersection of a finitely generated subgroup with a closed subvariety of a semiabelian variety. Equivalently, this conjecture describes the intersection of closed subvarieties with the set of images of the origin under a finitely generated semigroup of translations. We study the analogous question in which the translations are replaced by algebraic group endomorphisms (and the origin is replaced by another point). We show that the conclusion of the Mordell-Lang conjecture remains true in this setting if either (1) the semiabelian variety is simple, (2) the semiabelian variety is $A^2$, where $A$ is a one-dimensional semiabelian variety, (3) the subvariety is a connected one-dimensional algebraic subgroup, or (4) each endomorphism has diagonalizable Jacobian at the origin. We also give examples showing that the conclusion fails if we make slight modifications to any of these hypotheses.
0 citations0 reviewsNo code linkedOpen access
preprint2008arXiv
A new family of exceptional polynomials in characteristic two
We produce a new family of polynomials f(x) over fields K of characteristic 2 which are exceptional, in the sense that f(x)-f(y) has no absolutely irreducible factors in K[x,y] besides the scalar multiples of x-y; when K is finite, this condition is equivalent to saying there are infinitely many finite extensions L/K for which the map c --> f(c) is bijective on L. Our polynomials have degree (2^e-1)*2^(e-1), where e is odd. Combined with our previous paper arxiv:0707.1835, this completes the classification of indecomposable exceptional polynomials of degree not a power of the characteristic. The strategy of our proof is to identify the curves that can arise as the Galois closure of the branched cover P^1 --> P^1 induced by an exceptional polynomial f. In this case, the curves turn out to be x^(q+1)+y^(q+1)=a+T(xy), where T(z)=z^(q/2)+z^(q/4)+...+z. Our proofs rely on new properties of ramification in Galois covers of curves, as well as the computation of the automorphism groups of all curves in a certain 2-parameter family.
0 citations0 reviewsNo code linkedOpen access
preprint2008arXiv
Classes of permutation polynomials based on cyclotomy and an additive analogue
I present a construction of permutation polynomials based on cyclotomy, an additive analogue of this construction, and a generalization of this additive analogue which appears to have no multiplicative analogue. These constructions generalize recent results of J. Marcos from arXiv:0810.2738v1.
0 citations0 reviewsNo code linkedOpen access
preprint2008arXiv
Nonisomorphic curves that become isomorphic over extensions of coprime degrees
We show that one can find two nonisomorphic curves over a field K that become isomorphic to one another over two finite extensions of K whose degrees over K are coprime to one another. More specifically, let K_0 be an arbitrary prime field and let r and s be integers greater than 1 that are coprime to one another. We show that one can find a finite extension K of K_0, a degree-r extension L of K, a degree-s extension M of K, and two curves C and D over K such that C and D become isomorphic to one another over L and over M, but not over any proper subextensions of L/K or M/K. We show that such C and D can never have genus 0, and that if K is finite, C and D can have genus 1 if and only if {r,s} = {2,3} and K is an odd-degree extension of F_3. On the other hand, when {r,s}={2,3} we show that genus-2 examples occur in every characteristic other than 3. Our detailed analysis of the case {r,s} = {2,3} shows that over every finite field K there exist nonisomorphic curves C and D that become isomorphic to one another over the quadratic and cubic extensions of K. Most of our proofs rely on Galois cohomology. Without using Galois cohomology, we show that two nonisomorphic genus-0 curves over an arbitrary field remain nonisomorphic over every odd-degree extension of the base field.
0 citations0 reviewsNo code linkedOpen access
preprint2008arXiv
p^k-torsion of genus two curves over F_{p^m}
We determine the isogeny classes of abelian surfaces over F_q whose group of F_q-rational points has order divisible by q^2. We also solve the same problem for Jacobians of genus-2 curves.
0 citations0 reviewsNo code linkedOpen access
preprint2008arXiv
Permutation binomials over finite fields
We prove that if x^m + c*x^n permutes the prime field GF(p), where m>n>0 and c is in GF(p)^*, then gcd(m-n,p-1) > sqrt{p} - 1. Conversely, we prove that if q>=4 and m>n>0 are fixed and satisfy gcd(m-n,q-1) > 2q*(log log q)/(log q), then there exist permutation binomials over GF(q) of the form x^m + c*x^n if and only if gcd(m,n,q-1) = 1.
0 citations0 reviewsNo code linkedOpen access
preprint2008arXiv
Polynomials with a common composite
Let f and g be nonconstant polynomials over an arbitrary field K. In this paper we study the intersection of the polynomial rings K[f] and K[g], and in particular we ask whether this intersection is larger than K. We completely resolve this question when K has characteristic zero, and in positive characteristic we present various results, examples, and algorithms.
0 citations0 reviewsNo code linkedOpen access
preprint2008arXiv
Polynomials with PSL(2) monodromy
Let K be a field of characteristic p>0, and let q be a power of p. We determine all polynomials f in K[t]\K[t^p] of degree q(q-1)/2 such that the Galois group of f(t)-u over K(u) has a transitive normal subgroup isomorphic to PSL_2(q), subject to a certain ramification hypothesis. As a consequence, we describe all polynomials f in K[t], of degree not a power of p, such that f is functionally indecomposable over K but f decomposes over an extension of K. Moreover, except for one ramification setup (which is treated in the companion paper arxiv:0707.1837), we describe all indecomposable polynomials f in K[t] of non-p-power degree which are exceptional, in the sense that x-y is the only absolutely irreducible factor of f(x)-f(y) which lies in K[x,y]. It is known that, when K is finite, a polynomial f is exceptional if and only if it induces a bijection on infinitely many finite extensions of K.
0 citations0 reviewsNo code linkedOpen access
preprint2008arXiv
Uniform Bounds on Pre-Images under Quadratic Dynamical Systems
For any elements b,c of a number field K, let G(b,c) denote the backwards orbit of b under the map f_c: C-->C given by f_c(x)=x^2+c. We prove an upper bound on the number of elements of G(b,c) whose degree over K is at most some constant B. This bound depends only on b, [K:Q], and B, and is valid for all b outside an explicit finite set. We also show that, for any N>3 and any b in K outside a finite set, there are only finitely many pairs of complex numbers (y,c) for which [K(y,c):K]<2^(N-3) and the value of the N-th iterate of f_c(x) at x=y is b. Moreover, the bound 2^(N-3) in this result is optimal.
0 citations0 reviewsNo code linkedOpen access
preprint2007arXiv
On some permutation polynomials over F_q of the form x^r*h(x^((q-1)/d)))
In a recent paper, Akbary and Wang gave a sufficient condition for x^u + x^r to permute GF(q), in terms of the period of a certain sequence involving sums of cosines. As an application they gave necessary and sufficient conditions in case u,r,q satisfy certain special properties. We show that the Akbary-Wang sufficient condition follows from a more general sufficient condition which does not involve sums of cosines. This leads to vastly simpler proofs of the Akbary-Wang results, as well as generalizations to polynomials of the form x^r*h(x^{(q-1)/d}).
0 citations0 reviewsNo code linkedOpen access
preprint2007arXiv
Some families of permutation polynomials over finite fields
We give necessary and sufficient conditions for a polynomial of the form x^r*(1+x^v+x^(2v)+...+x^(kv))^t to permute the elements of the finite field GF(q). Our results yield especially simple criteria in case (q-1)/gcd(q-1,v) is a small prime.
0 citations0 reviewsNo code linkedOpen access