A polynomial is called a permutation polynomial if the function permutes . The recent paper  purports to provide new classes of permutation polynomials, and to resolve three conjectures from the literature. Here we show that the permutation polynomials in that paper are in fact well-known, and that the conjectures had been resolved previously.111Shortly after  appeared on the arXiv, I emailed the content of this note to the third and fifth authors of that paper (I was not able to find email addresses for the other authors), and suggested that  should be revised in light of the content of this note. Since I did not receive a reply, and no new version of  has been posted, I am posting this note now, in order to help members of the permutation polynomials community avoid spending further time and effort on rediscovering known results. We also give a new proof of the main result of , which is significantly simpler and more direct than all previous proofs, and which demonstrates the general method of producing permutation polynomials that was introduced in .
The main result of  is as follows.
Let be positive integers with , and write , , and . Let be an integer, and let be positive integers such that
If then permutes .
The above statement includes all permutation polynomials that can be inferred from any interpretation of [2, Thm. 3.1]. The statement of the latter result does not require the to be positive, and does not say that its expressions for the ’s should be interpreted as congruences mod (). However, we assume that the authors of  intended to state their result as above. The positivity condition is needed in order to make their result be true (and indeed, negative ’s would not yield polynomials), and after imposing positivity then the congruences becomes natural, since such congruences do not affect whether permutes .
We will use the following definition.
We say that polynomials are multiplicatively equivalent if for some and some positive integer such that .
The following properties of multiplicative equivalence are immediate:
Multiplicative equivalence is an equivalence relation on .
If are multiplicatively equivalent then permutes if and only if permutes .
If and are multiplicatively equivalent and then has at most as many terms as does .
In light of the above properties, multiplicative equivalence is a natural equivalence relation to use when deciding whether one permutation polynomial with few terms is essentially the same as another.
What we call multiplicative equivalence has been called “quasi-multiplicative equivalence” in previous papers. The term “multiplicative equivalence” has been defined previously to mean two different things, neither of which is equivalent to the above definition. However, we suggest that the above definition should be used in the future, for the betterment of the subject – for instance, the use of the previous definitions has led authors to spend time and effort producing permutation polynomials that could have been obtained immediately from previously known permutation polynomials by composing with .
We will show that the permutation polynomials in Theorem 1.1 have appeared in the following previous results (listed according to the order in which the relevant papers were posted in the public domain):
is odd andis even then every permutation polynomial in Theorem 1.1 appears in one of [7, Cor. 3.8, 3.9, 3.12, and 3.13]. If is even and is odd then every permutation polynomial in Theorem 1.1 is multiplicatively equivalent to a permutation polynomial in one of [7, Cor. 3.8, 3.9, 3.12, and 3.13].
In addition,  purports to be the first paper to resolve three conjectures. We note that those conjectures were proved previously. Specifically, the two conjectures from  were first resolved as parts (a) and (b) of [11, Cor. 1.4], and Conjecture 2 of  was first resolved in [7, Thm. 4.2].
In the next section we give a very short and simple proof of Theorem 1.1, based on the arguments in , which pinpoints the key reason why permutes . This proof avoids the non-conceptual computations occurring in all previous proofs of Theorem 1.1. It turns out that the same approach can be used to deduce all the results mentioned above, in addition to dozens of other results from the literature and arbitrarily many as-yet unpublished results. We encourage readers interested in permutation polynomials to look into , so that they can focus their attention and time on producing results which do not follow immediately from the arguments in that paper. We conclude this note in Section 3 by explaining how Theorem 1.1 connects with previous results.
2. Proof of Theorem 1.1
In this section we give a new proof of Theorem 1.1. We write for the set of -th roots of unity in , and if then we write for the polynomial obtained from by raising all coefficients to the -th power. We first restate the condition for certain polynomials to permute in terms of whether an associated polynomial permutes , via the following special case of an easy and much-used lemma from .
Write where is a positive integer, is a prime power, and . Then permutes if and only if and permutes .
We next translate the condition that permutes into the condition that an associated rational function permutes , where typically has much lower degree than does . We do this in the following trivial lemma, which encodes a procedure introduced in .
Write where is an integer, is a prime power, and . Then maps into , and if has no roots in then induces the same function on as does for any integer with . In particular, permutes if and only if permutes and has no roots in .
A key ingredient in  is degree-one rational functions which map to either or . In this note we use
where is a prescribed order- element of , with being a power of . The following result is a special case of [11, Lemmas 2.1 and 3.1], and also is easy to verify directly.
Let where . If is even then permutes , and if is odd then interchanges and .
Pick any nonconstant . In light of Lemma 2.3, if is even then permutes if and only if permutes , and if is odd then permutes if and only if permutes . We will show that the permutation polynomials in Theorem 1.1 correspond to rational functions permuting (via Lemmas 2.1 and 2.2) where with . The following result presents these compositions in the cases we need; it can be verified by a routine computation.
Let be positive integers with , and write , , and . Then
Now we prove Theorem 1.1.
Proof of Theorem 1.1.
We first show that has no roots in . Suppose to the contrary that satisfies . Then also
Thus , so . Since , it follows that ; but plainly , contradiction.
Now suppose . If is odd then interchanges and , and we have so that permutes , whence permutes by Lemma 2.4. Finally, if is even then permutes , and since we have , so that permutes , whence again permutes . ∎
The method used in the above proof can be used to produce enormous collections of permutation polynomials over , for any prime power . One can start with any rational function which permutes , and any degree-one such that and , in order to obtain a rational function which permutes . It turns out that can always be written in infinitely many ways as where and has no roots in . If either is even or is odd then there exist positive integers such that and , so that permutes . By applying this procedure to the most well-known permutation rational functions over , and using certain choices of , , and , one obtains huge classes of permutation polynomials over which include as very special cases essentially all known permutation polynomials of the form . We will elaborate on this remark in forthcoming joint papers with Zhiguo Ding.
3. Connection with previous results
Let be positive integers with odd and even, and write , , and . If then
permutes if and only if .
This implies Theorem 1.1 in case is odd and is even, since if we put , , and then the polynomial in Proposition 3.1 is congruent mod to the polynomial in Theorem 1.1. Next suppose that is even and is odd, and put , , and . Then one can check that the polynomials from Proposition 3.1 and from Theorem 1.1 satisfy
so that and are multiplicatively equivalent.
Theorem 1 of  is as follows:
Let and be positive integers, and write and . Suppose that , and let and be positive integers such that and . Then permutes .
The statement of [4, Thm. 1] has the additional hypothesis , but that hypothesis is not used in the proof of that result.
We now show that all the permutation polynomials in Theorem 1.1 are multiplicatively equivalent to permutation polynomials in Proposition 3.2. Assume the hypotheses of Theorem 1.1. Replace by for a positive integer which is large enough so that ; note that this replacement does not change the congruence class of mod , and hence does not affect the truth of the hypotheses or conclusion of Theorem 1.1, while also not affecting the multiplicative equivalence class of the permutation polynomial in Theorem 1.1. Write and , so that the hypotheses of Theorem 1.1 imply that . Writing , we see that the polynomial in Proposition 3.2 satisfies
Since , we have
It follows that the polynomial in Theorem 1.1 satisfies
so that and are multiplicatively equivalent.
-  D. Bartoli and L. Quoos, Permutation polynomials of the type over , Des. Codes Cryptogr. 86 (2018), 1589–1599.
-  H. Guo, S. Wang, H. Song, X. Zhang, and J. Liu, A new method of construction of permutation trinomials with coefficients , arXiv:2112.14547v1, 29 Dec 2021.
-  R. Gupta and R. K. Sharma, Some new classes of permutation trinomials over finite fields with even characteristic, Finite Fields Appl. 41 (2016), 89–96.
-  N. Li and T. Helleseth, New permutation trinomials from Niho exponents over finite fields with even characteristic, Cryptogr. Commun. 11 (2019), 129–136.
-  N. Li, M. Xiong, and X. Zeng, On permutation quadrinomials and 4-uniform BCT, IEEE Trans. Inf. Theory 67 (2021), 4845–4855.
-  T. Tu, X. Zeng, L. Hu, and C. Li, A class of binomial permutation polynomials, arXiv:1310.0337v1, 28 Sep 2013.
-  D. Wu, P. Yuan, C. Ding, and Y. Ma, Permutation trinomials over , Finite Fields Appl. 46 (2017), 38–56.
-  L. Zheng, H. Kan, and J. Peng, Two classes of permutation trinomials with Niho exponents over finite fields with even characteristic, Finite Fields Appl. 68 (2020), 101754, 14 pp.
-  L. Zheng, B. Liu, H. Kan, J. Peng, D. Tang, More classes of permutation quadrinomials from Niho exponents in characteristic two, Finite Fields Appl. 78 (2022), Paper No. 101962, 22 pp.
-  M. E. Zieve, Some families of permutation polynomials over finite fields, Int. J. Number Theory 4 (2008), 851–857.
-  M. E. Zieve, Permutation polynomials on induced from Rédei function bijections on subgroups of , arXiv:1310.0776v2, 7 Oct 2013.