REVIEW 3 major objections 4 minor 1 cited by
Some permutation pentanomials over finite fields of even characteristic
T0 review · 3 major / 4 minor · reviewed 2026-08-11 · deepseek-v4-flash
Pith's one-line read One gcd condition decides whether each of three five-term polynomial families permutes the field.
desk verdict A genuinely useful structural observation about permutation pentanomials, but the central theorem statements as printed are broken and need a thorough revision before the paper can be trusted. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The load-bearing object is the rational function $g_\bullet(x)=N_\bullet(x)/H_\bullet(x)$ attached to $f_\bullet(x)=x^{Q_1+Q_2+1}H_\bullet(x^{q-1})$: the permutation criterion reduces $f_\bullet$ to the requirements $\gcd(Q_1+Q_2+1,q-1)=1$, $H_\bullet$ has no roots on the unit circle $\mu_{q+1}$, and $g_\bullet$ permutes $\mu_{q+1}$. The proof shows that $g_\bullet$ obeys two identities involving $Q(x)=x^2+x+1$: $N_\bullet'(x)H_\bullet(x)+N_\bullet(x)H_\bullet'(x)=Q(x)^{Q_1+Q_2}$ and $Q(g_\bullet(x))H_\bullet(x)^2=Q(x)^{Q_1+Q_2+1}$. These identities force the only ramification points of $g_\bullet$ to be the two roots of $Q(x)$, and its only branch points to be the images of those roots, so a classification of rational functions with two totally ramified points gives $g_\bullet=\eta^{-1}\circ x^{Q_1+Q_2+1}\circ\sigma$ for odd $m$, and $g_\bullet=\rho^{-1}\circ x^{Q_1+Q_2+1-2r_\bullet}\circ\sigma$ for even $m$, with $\eta,\sigma,\rho$ fractional linear maps of the appropriate type on $\mu_{q+1}$. Expanding these compositions yields the claimed linear equivalence of $f_\bullet$ to a power map.
What would settle it
Expand equations (23) and (24) symbolically for several values of $i,j$: any failure of either identity for the stated conditions would break Lemma 10 and hence Theorems 2–4. Alternatively, evaluate $f_A,f_B,f_C$ on all elements of $\mathbb{F}_{q^2}$ for small $q=2^m$ and small $i,j$; a single instance satisfying the gcd conditions that is not a bijection would refute the 'if' direction, and a permutation outside the conditions would refute the 'only if' direction.
Extended reading notes
Core claim
The central discovery is that the permutation behaviour of the three pentanomial classes is controlled by the single integer $Q_1+Q_2+1$ together with a correction term $r_\bullet$ determined by the parities of $i,j$ and the relative sizes of $Q_1,Q_2$. For $q=2^m$: if $m$ is odd, $f_\bullet$ permutes $\mathbb{F}_{q^2}$ if and only if $\gcd(Q_1+Q_2+1,q-1)=1$ plus a parity condition on $i,j$ that depends on the family, and then $f_\bullet$ is linearly equivalent to coordinatewise exponentiation on $\mathbb{F}_q^2$; if $m$ is even, $f_\bullet$ permutes if and only if $\gcd(Q_1+Q_2+1,q-1)=\gcd(Q_1+Q_2+1-2r_\bullet,q+1)=1$, and then $f_\bullet$ is linearly equivalent to the single power map $x^{Q_1+Q_2+1+r_\bullet(q-1)}$. Because linear equivalence preserves the permutation property, these equivalences yield necessary and sufficient conditions, not merely sufficient ones, and the three classes include the 14 starred families from the earlier search as special cases.
Load-bearing premise
The whole reduction to power maps rests on two polynomial identities (equations 23 and 24) that are asserted with the phrase 'here it is easy to check' but not derived; if either identity failed for some pair $(i,j)$, the claimed linear equivalence and the theorems would not follow.
Editorial extensions
If this is right
- For each of the three families, testing whether a pentanomial is a permutation is reduced to one or two gcd computations, and the conditions are both necessary and sufficient.
- Fourteen of the seventeen pentanomial families from the earlier search are recovered as special cases, so their individual case-by-case proofs can be replaced by the uniform argument.
- Every polynomial in these families is linearly equivalent to a monomial map, so any function-theoretic property invariant under linear equivalence is shared with the corresponding power map.
- The gcd conditions are satisfied for infinitely many exponent pairs $(i,j)$, so the three classes go well beyond the original finite search range $4\le t<100$.
Reading between the lines
- If the two asserted identities hold for all $i,j$, the same two-ramification-point strategy may also accommodate the three remaining families from the earlier search, should they fit a similar shape after a suitable correction term.
- The argument is specific to characteristic two because it uses $Q(x)=x^2+x+1$ and the structure of $\mu_{q+1}$; an odd-characteristic analogue would need a different quadratic and a different normalizing family of fractional linear maps.
- A direct computational test over small $q$ and small $i,j$ could check the 'only if' direction exhaustively, which the earlier paper did not claim.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies permutation pentanomials over F_{q^2}, q=2^m, of the form f(x)=x^t H(x^{q-1}). Its main results are Theorems 2–4, which give necessary and sufficient conditions for three general families f_A, f_B, f_C to permute F_{q^2}, and which explain 14 of the 17 families previously found by Zhang et al. The proof strategy is to write f_•(x)=x^{Q_1+Q_2+1}H_•(x), introduce the rational function g_•=N_•/H_• on the unit circle, use two asserted polynomial identities (23) and (24) to control ramification, and then deduce that g_• is a composition of degree-one rational maps with a power map. Lemma 11 then lifts this to a linear equivalence of f_• to either a bivariate power map (m odd) or a univariate power map (m even). Theorem 1 gives an explicit self-contained proof for one of the 14 families using linear permutations.
Significance. If the main results are correct, the paper provides a genuinely simpler and more conceptual explanation for a substantial part of the existing classification of permutation pentanomials, and it extends those families to three infinite classes with clean permutation criteria. The reduction to linear equivalence with power maps is a useful observation, and the paper is honest in crediting the technique to [9]. However, the current version is not reliable as written: the r_A and r_C tables in the central theorems are defective, making the even-m classification undefined for some parameter ranges that include the paper's own examples, and the load-bearing identities (23) and (24) are asserted without proof. Because these issues are local and likely fixable, the paper warrants a major revision rather than rejection.
major comments (3)
- [§3, Eq. (10), Theorem 2] The table defining r_A is not well-defined. For i≡1, j≡0 (mod 2), the first line assigns r_A=0, while the last two lines assign r_A=Q_1+1 if Q_1<Q_2 and r_A=Q_2 if Q_1≥Q_2. Since Q_1 and Q_2 are powers of 2, one of those inequalities always holds, so r_A is assigned two different values. Moreover, there is no row for i≡j≡1 (mod 2), even though this is precisely the parity pattern of all f_A families appearing in Table 1 (families 2, 9, 11). Lemma 8's claim that gcd(N_A,H_A)=Q(x)^{r_A}, and Lemma 9's use of r_A to determine roots in µ_{q+1}, therefore do not make sense for these parameters. The proof of Case A in Lemma 8 says 'the other cases are similar' but does not resolve this contradiction. The table must be corrected and every parity case checked.
- [§3, Eq. (14), Theorem 4] The table for r_C has no entry for i≡j≡0 (mod 2). This is not a cosmetic omission: the three f_C families in Table 1 (families 6, 14, 16) all have both i and j even. For those families, the condition gcd(Q_1+Q_2+1−2r_C, q+1)=1 in Theorem 4(ii) is undefined. The proof of Case C in Lemma 8 itself derives HC(ω)≠0 when i≡j≡0, so r_C=0 in that case, which suggests the intended entry is 0; but the published table omits it, and Lemma 8 does not state the resulting r_C value. This must be fixed before the theorem can be evaluated.
- [§3, Eqs. (23) and (24)] The two identities N'_•(x)H_•(x)+N_•(x)H'_•(x)=Q(x)^{Q_1+Q_2} and Q(g_•(x))H_•(x)^2=Q(x)^{Q_1+Q_2+1} are the foundation of the entire ramification argument. They imply Eqs. (31) and (32), which are what make Lemma 10 and hence Lemma 11 possible. They are introduced with the phrase 'Here it is easy to check' and no derivation. These identities are not self-evident from (16)–(21), and a failure for some (i,j) would invalidate the classification of g_• and the linear equivalence of f_•. The authors should provide a full verification, preferably as a separate lemma, for all three families; this is a load-bearing step, not a routine detail that can be left to the reader.
minor comments (4)
- [§3, proof of Lemma 8, Case A] The displayed expansion of H_A(x+ω) omits the constant term H_A(ω). This omission is likely responsible for the inconsistency in the r_A table, since for i≡j≡1 the constant term is nonzero and gives r_A=0, while the displayed expansion without the constant term suggests a positive valuation. The expansion should be written in full, including the constant term.
- [§4, Lemma 11, Case 1] The sentence 'Case 1: t is odd' should read 'Case 1: m is odd', since t=Q_1+Q_2+1 is always odd for powers of 2. This is a typo but could confuse the reader.
- [§4, Proofs of Theorems 2–4] In the even-m case, the text writes P_2(x)=x^{Q_1+Q_2+1+m_•(q−1)}; here m_• is undefined and should be r_• from the relevant theorem. The proof also jumps from the permutation condition of this power map to the two displayed gcds without showing the standard equivalence gcd(E,q^2−1)=1 ⇔ gcd(Q_1+Q_2+1,q−1)=gcd(Q_1+Q_2+1−2r_•,q+1)=1. Adding this one-line derivation would make the proof complete.
- [§3, Eq. (22)] The identity N_•(x)=x^{Q_1+Q_2+1}H_•(x^{-1}) is stated as 'easy to check'; it is in fact immediate from (16)–(21), but a one-line verification for each family would remove any doubt and would also make the subsequent use of this identity clearer.
Circularity Check
No significant circularity: the linear-equivalence proof is self-contained and the [30] families function only as external benchmarks.
full rationale
The derivation chain is not circular. The paper's criterion for f_•(x)=x^{Q1+Q2+1}H_•(x^{q-1}) to permute F_{q^2} is a standard external theorem (gcd(t,q-1)=1, H_• has no roots in µ_{q+1}, and g_• permutes µ_{q+1}), and the paper then proves that g_• is degree-one equivalent to x^{Q1+Q2+1} or x^{Q1+Q2+1-2r_•} using the polynomial identities (22)-(24), Lemma 8 on gcd(N_•,H_•)=Q(x)^{r_•}, and the ramification argument in Lemma 10. The target power-map permutations are not assumed: their permutation criteria (gcd(n,q-1)=1 and gcd(n,q^2-1)=1, split via q-1 and q+1) are standard and checked at the end of the proof. The 14 families taken from [30] are external benchmarks that the general classes f_A, f_B, f_C reproduce; no parameter is fitted to those families and no 'prediction' is declared from a fitted subset. The only self-citation, [12], is used as an acknowledgment of an idea and the accompanying Lemma 11 is proved in full, so it is not load-bearing. To be explicit, two manuscript passages are flagged as completeness risks rather than circularity: the identities (23) and (24) are asserted with 'Here it is easy to check' rather than derived, and the tables for r_A/r_C appear to have missing or overlapping cases (e.g., i≡1,j≡0 in (10)); these affect correctness checking but do not make the argument circular.
Assumptions & free parameters
assumptions (4)
- standard math Zieve's criterion for f(x)=x^t H(x^{q-1}) over F_{q^2}: permutation iff gcd(t, q-1)=1, H has no roots in µ_{q+1}, and the induced rational function permutes µ_{q+1}.
- standard math [9, Lemma 5.1]: a rational function over F_q with exactly two totally ramified points is Möbius-conjugate over the algebraic closure to a power map x^d.
- ad hoc to paper Equations (23) and (24): N'_•H_•+N_•H'_•=Q(x)^{Q1+Q2} and Q(g_•)H_•^2=Q(x)^{Q1+Q2+1} hold for the three families.
- standard math Lemmas 6 and 7 from [33] classify degree-one rational functions that permute µ_{q+1} or map µ_{q+1} onto P^1(F_q).
Cite this review
Pith. "Pith review of Some permutation pentanomials over finite fields of even characteristic." pith.science (2026). https://pith.science/paper/EU6G2WLA
@misc{pith2026241214641,
author = {Pith},
title = {Pith review of: Some permutation pentanomials over finite fields of even characteristic},
year = {2026},
howpublished = {\url{https://pith.science/paper/EU6G2WLA}},
note = {Machine review of arXiv:2412.14641}
}
abstract
In a recent paper Zhang et al. constructed 17 families of permutation pentanomials of the form $x^t+x^{r_1(q-1)+t}+x^{r_2(q-1)+t}+x^{r_3(q-1)+t}+x^{r_4(q-1)+t}$ over $\mathbb{F}_{q^2}$ where $q=2^m$. In this paper for 14 of these 17 families we provide a simple explanation as to why they are permutations. We also extend these 14 families into three general classes of permutation pentanomials over $\mathbb{F}_{q^2}$.
Forward citations
Cited by 1 Pith paper
-
Some classes of permutation pentanomials
For every prime p other than 3, this paper builds two large families of five-term permutation polynomials over F_{q^2}, unifying 76 earlier special cases and solving an open problem.
Reference graph
Works this paper leans on
-
[9]
, Determination of a class of permutation quadrinomials , Proc. Lond. Math. Soc. 127 (2023), 221–260. 21
work page 2023
-
[1]
M. Ayad, K. Belghaba, and O. Kihel, On permutation binomials over finite fields , Bull. Aust. Math. Soc. 89 (2014), 112–124
work page 2014
-
[2]
D. Bartoli and M. Timpanella, A family of permutation trinomials over Fq2, Finite Fields Appl. 70 (2021), 101781
work page 2021
-
[3]
L. Budaghyan, C. Carlet, and A. Pott, New classes of almost bent and almost perfect nonlinear polynomials, IEEE Trans. Inf. Theory 52 (2006), 1141–1152
work page 2006
- [4]
-
[5]
H. Deng and D. Zheng, More classes of permutation trinomials with niho exponents , Cryptogr. Commun. 11 (2019), 227–236
work page 2019
-
[6]
C. Ding and J. Yuan, A family of skew hadamard difference sets , J. Comb. Theory, Ser. A 113 (2006), 1526–1535
work page 2006
-
[7]
Z. Ding and M. E. Zieve, On a class of permutation quadrinomials , J. Algebra Appl. 0 (0), 2550075
Show all 33 references
-
[8]
, Constructing permutation polynomials using generalized r edei functions , arXiv preprint arXiv:2305.06322 (2023)
2023 arXiv
-
[10]
Gupta and A
R. Gupta and A. Rai, A class of permutation quadrinomials over finite fields , Commun. Algebra 52 (2024), 1518–1524
2024
-
[11]
Gupta and R
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
2016
-
[12]
Chan C. H. and Xiong M., Classification of a class of planar quadrinomials , arXiv preprint arXiv:2404.14291 (2024)
2024 arXiv
-
[13]
Hou, A class of permutation trinomials over finite fields , Acta Arith
X. Hou, A class of permutation trinomials over finite fields , Acta Arith. 162 (2014), 51–64
2014
-
[14]
3 (2014), 253–278
, Determination of a type of permutation trinomials over finit e fields , Acta Arith. 3 (2014), 253–278
2014
-
[15]
35 (2015), 16–35
, Determination of a type of permutation trinomials over finit e fields, II , Finite Fields Appl. 35 (2015), 16–35
2015
-
[16]
, A survey of permutation binomials and trinomials over finite fields, Contemp. Math. 632 (2015), 177–191
2015
-
[17]
Laigle-Chapuy, Permutation polynomials and applications to coding theory , Finite Fields Appl
Y. Laigle-Chapuy, Permutation polynomials and applications to coding theory , Finite Fields Appl. 13 (2007), 58–70
2007
-
[18]
K. Li, L. Qu, and X. Chen, New classes of permutation binomials and permutation trino mials over finite fields , Finite Fields Appl. 43 (2017), 69–85
2017
-
[19]
K. Li, L. Qu, and Q. Wang, New constructions of permutation polynomials of the form xrh(xq−1) over Fq2, Des. Codes and Cryptogr. 86 (2018), 2379–2405
2018
-
[20]
L. Li, Q. Wang, Y. Xu, and X. Zeng, Several classes of complete permutation polynomials with niho exponents , Finite Fields Appl. 72 (2021), 101831
2021
-
[21]
Li and X
N. Li and X. Zeng, A survey on the applications of Niho exponents , Cryptogr. Commun. 11 (2019), no. 3, 509–548
2019
-
[22]
Masuda and M
A. Masuda and M. Zieve, Permutation binomials over finite fields , Trans. Amer. Math. Soc. 361 (2009), 4169–4180. 22
2009
-
[23]
B M¨ uller and R
W. B M¨ uller and R. N¨ obauer, Cryptanalysis of the dickson-scheme , Advances in Cryptol- ogy—EUROCRYPT’85: Proceedings of a Workshop on the Theory and Application of Cryp- tographic Techniques Linz, Austria, April 1985 4, Springer, 1986, pp. 50–61
1985
-
[24]
¨Ozbudak and B
F. ¨Ozbudak and B. G. Tem¨ ur, Classification of some quadrinomials over finite fields of odd characteristic, Finite Fields Appl. 87 (2023), 102158
2023
-
[25]
R. L. Rivest, A. Shamir, and L. Adleman, A method for obtaining digital signatures and public-key cryptosystems , Commun. ACM 21 (1978), 120–126
1978
-
[26]
C. Shi, J. Peng, H. Kan, and L. Zheng, On ccz-equivalence between the bracken-tan-tan function and power functions , Finite Fields Appl. 93 (2024), 102340
2024
-
[27]
Sun and O
J. Sun and O. Y. Takeshita, Interleavers for turbo codes using permutation polynomial s over integer rings , IEEE Trans. Inf. Theory 51 (2005), 101–119
2005
-
[28]
G. Xu, X. Cao, and J. Ping, Some permutation pentanomials over finite fields with even characteristic, Finite Fields Appl. 49 (2018), 212–226
2018
-
[29]
Zhang, L
T. Zhang, L. Zheng, and X. Hao, More classes of permutation hexanomials and pentanomials over finite fields with even characteristic , Finite Fields Appl. 91 (2023), 102250
2023
-
[30]
Zhang, L
T. Zhang, L. Zheng, and H. Zhao, More classes of permutation pentanomials over finite fields with characteristic two , Finite Fields Appl. 98 (2024), 102468
2024
-
[31]
Zheng, B
L. Zheng, B. Liu, H. Kan, J. Peng, and D. Tang, More classes of permutation quadrinomials from niho exponents in characteristic two , Finite Fields Appl. 78 (2022), 101962
2022
-
[32]
M. E. Zieve, On some permutation polynomials over Fq of the form xrh(x(q−1)/d ), Proc. Amer. Math. Soc. 137 (2009), 2209–2216
2009
-
[33]
, Permutation polynomials on Fq induced from bijective redei functions on subgroups of the multiplicative group of Fq, arXiv preprint arXiv:1310.0776 (2013). 23
2013 arXiv
Reviewed August 11, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.