Permutation Binomials over Finite Fields
Pith reviewed 2026-05-24 17:51 UTC · model grok-4.3
The pith
The exact number of a in F_q for which x^n(x^{(q-1)/r} + a) is a permutation polynomial equals the number of rational points on associated curves, for r=2 and r=3.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We use the relationship between suitable polynomials and number of rational points on algebraic curves to give the exact number of elements a in F_q for which the binomial x^n(x^{(q-1)/r} + a) is a permutation polynomial in the cases r=2 and r=3.
What carries the argument
The reduction of the permutation condition for the binomial to the number of rational points on associated algebraic curves over F_q.
If this is right
- The count of good a is obtained without testing every candidate a individually.
- Explicit formulas or values for the number of such a follow once the curve point counts are known for the two cases.
- The same reduction technique applies uniformly to both the r=2 and r=3 families of binomials.
Where Pith is reading between the lines
- The curve-point method may yield closed-form expressions in q once the point counts are evaluated using existing formulas for the specific curves that arise.
- Similar reductions could be attempted for other fixed r or for trinomials, though the resulting curves would generally be of higher genus.
Load-bearing premise
The permutation property of the given binomial is equivalent to (and can be exactly counted via) the number of rational points on associated algebraic curves over F_q.
What would settle it
For a concrete small field such as q=13 and r=2, direct enumeration of all a and direct computation of the number of points on the corresponding curve should disagree if the claimed equivalence fails.
read the original abstract
Let $\mathbb F_q$ denote the finite field with $q$ elements. In this paper we use the relationship between suitable polynomials and number of rational points on algebraic curves to give the exact number of elements $a\in \mathbb F_q$ for which the binomial $x^n(x^{(q-1)/r} + a)$ is a permutation polynomial in the cases $r = 2$ and $r = 3$.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript determines the exact number of elements a in F_q such that the binomial x^n (x^{(q-1)/r} + a) is a permutation polynomial over F_q, for the cases r=2 and r=3. The method associates the permutation criterion with the number of F_q-rational points on associated algebraic curves.
Significance. If the derivations are correct, the paper supplies exact (non-asymptotic) counts for these specific r values using a standard technique from the theory of permutation polynomials over finite fields. This strengthens the literature on value sets and permutation binomials, which are relevant to coding theory and cryptography; the approach via curve point counts is rigorous when the reduction is valid.
minor comments (3)
- The abstract and introduction should include a brief statement of the main theorems (e.g., the explicit formulas for the counts when r=2 and r=3) to make the central results immediately visible.
- Notation for the exponent n and the parameter r should be clarified early; it is not immediately clear whether n is fixed or varies with q.
- Any explicit formulas or tables giving the counts as functions of q should be cross-referenced to the corresponding curve-point formulas in the body of the paper.
Simulated Author's Rebuttal
We thank the referee for their positive assessment of the manuscript and the recommendation of minor revision. No major comments were raised in the report.
Circularity Check
No significant circularity in derivation chain
full rationale
The paper derives the exact count of suitable a by relating the permutation polynomial condition for the given binomial (when r=2 or 3) to the number of F_q-rational points on associated algebraic curves. This is a standard, externally grounded technique in the literature on finite fields (via character sums or value-set criteria rewritten as curve equations) and does not reduce to any self-definitional equivalence, fitted parameter renamed as prediction, or load-bearing self-citation. The central claim remains independent of the paper's own inputs and is self-contained against external algebraic-geometry benchmarks.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption Permutation property of the binomial is equivalent to the number of rational points on associated algebraic curves
Reference graph
Works this paper leans on
-
[1]
A. Akbary and W. Qiang, A Generalized Lucas Sequence and Permutation Binomials , Proc. Amer. Math. Soc. 134 (2006), pp. 15-22
work page 2006
-
[2]
S. Bhattacharya, S. Sarkar, On Some Permutation Binomials and Trinomials over F2n, Designs, Codes and Cryptography, vol. 82, Issue 1-2 (2017), pp. 149-16 0
work page 2017
-
[3]
S. Bhattacharya, S. Sarkar, and A. C ¸ e¸ smelio˘ glu On Some Permutation Binomials of the Form x 2n −1 k +1+ax over F2n : Existence and Count , Arithmetic of Finite Fields, Lecture Notes in Computer Science, vol 7369 (2012), pp. 236-246
work page 2012
-
[4]
Carlitz, Some Theorems on Permutation Polynomials , Bull
L. Carlitz, Some Theorems on Permutation Polynomials , Bull. Amer. Math. Soc. vol 68 (2) (1962), pp. 120-122
work page 1962
- [5]
-
[6]
C. J. Colbourn, T. Klove and A. C. H. Ling, Permutation Arrays for Powerline Communication and Mutually Orthogonal Latin Squares , IEEE Trans. Inf. Theory 50 (2004), pp. 1289-1291
work page 2004
-
[7]
J. F. Dillon and H. Dobbertin, New Cyclic Difference Sets with Singer Parameters , Finite Fields Appl. 10 (2004), pp. 342-389
work page 2004
-
[8]
L. E. Dickson, The Analytic Representation of Substitutions on a Power of a Prime Number of Letters with a Discussion of the Linear Group , Annals of Math, 11 (1896), pp. 65-120
-
[9]
G. H. Hardy, E. M. Wright, R. Heath-Brown, J. Silverman, A. Wiles , An introduction to the Theory of Numbers (6th ed.). Oxford Science Publications, 2008
work page 2008
-
[10]
Hermite, Sur Les Fonctions de Sept Lettres , C
C. Hermite, Sur Les Fonctions de Sept Lettres , C. R. Acad. Sci. Paris 57 (1863), pp. 750-757
-
[11]
S. Y. Kim and J. B. Lee, Permutation Polynomials of the Type x q−1 m +1 +ax, Commun. Korean Math. Soc. 10 (1995), pp. 823-829
work page 1995
-
[12]
K. Li, L. Qu, X.Chen, New Classes of Permutation Binomials and Permutation Trino mials over Finite Fields , Finite Fields and Their Applications, vol. 43 (2017), pp. 69-85
work page 2017
-
[13]
R. Lidl and H. Niederreiter, Finite Fields , vol. 20, Cambridge University Press, 1997. PERMUTATION BINOMIALS OVER FINITE FIELDS 13
work page 1997
-
[14]
A. Masuda and M. Zieve, Permutation Binomials over Finite Fields , Transactions of the American Mathematical Society, 361 (2009), pp. 4169-4180
work page 2009
-
[15]
H. Niederreiter and K. H. Robinson, Complete Mappings of Finite Fields , J. Australian Math. Soc. Ser. A, vol. 33 (1982), pp. 197-212
work page 1982
-
[16]
Niven, Irrational Numbers, Carus Math
I. Niven, Irrational Numbers, Carus Math. Monographs 11, MAA, 1956
work page 1956
-
[17]
Y. H. Park and J. B. Lee, Permutation Polynomials and Group Permutation Polynomial s, Bull. Austral. Math. Soc. 63 (2001), 67-74
work page 2001
-
[18]
5.1), The Sage Developers, 2017, https://www.sagemath.org
SageMath, the Sage Mathematics Software System (Version 7. 5.1), The Sage Developers, 2017, https://www.sagemath.org
work page 2017
-
[19]
Small, Permutation Binomials , Internat
C. Small, Permutation Binomials , Internat. J. Math. & Math. Sci. 13 (1990), pp. 337-342
work page 1990
-
[20]
J. H. Silverman, The Arithmetic of Elliptic Curves , vol. 106, Springer Science & Business Media, 2009
work page 2009
-
[21]
J. Sun, O. Y. Takeshita and M. P. Fitz, Permutation Polynomial Based Deterministic Interleavers for Turbo Codes, Proceedings 2003 IEEE International Symposium on Information Theory (Yokohama, Japan, 2003), 319
work page 2003
-
[22]
Wan, Permutation Binomials over Finite Fields , Acta Math
D. Wan, Permutation Binomials over Finite Fields , Acta Math. Sinica (New Series) 10 (1994), pp. 30-35
work page 1994
-
[23]
D. Wan, The Number of Permutation Polynomials of the Form f (x) + cx over a Finite Field , Pro- ceedings of the Edinburgh Mathematical Society (Series 2), vol 38 (1993), pp. 133-149
work page 1993
- [24]
-
[25]
Wang, On Permutation Polynomials , Finite Fields Appl
L. Wang, On Permutation Polynomials , Finite Fields Appl. 8 (2002), pp. 311-322
work page 2002
-
[26]
Xing-D. Hou, S. D. Lappano, Determination of a Type of Permutation Binomials over Finit e Fields , Journal of Number Theory, vol. 147 (2015), pp. 14-23
work page 2015
-
[27]
Zieve, On some permutation polynomials over Fq of the form xrh(x(q−1)/d)
M. Zieve, On some permutation polynomials over Fq of the form xrh(x(q−1)/d). Proc. Amer. Math. Soc. 137 (2009), 2209-2216. Departamento de Matem ´atica, Universidade Federal de Minas Gerais, UFMG, Belo Horizonte, MG, 31270-901, Brazil, E-mail address : jose-alvesoliveira@hotmail.com E-mail address : fbrocher@mat.ufmg.br
work page 2009
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.