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.
Discover
Workspaces
Network
Opportunities
Account
Researcher profile
Michael E. Zieve contributes to research discovery and scholarly infrastructure.
Trust snapshot
Actions
Identity and collaboration
Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.
Log in to claimDirect collaboration
Claim this author entity first to unlock direct invitations.
Research graph
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
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.
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.
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.
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.
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.
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.