Abstract:Motivated by recent works on the butterfly structure, particularly by its generalization introduced by Canteaut et al. (IEEE Trans Inf Theory 63(11):7575–7591, 2017), we first push further the study of permutation polynomials over binary finite fields by completely characterizing those permutations defined over the finite field (of order ) having the following shape: where , , m is odd, , and . We shall provide an approach to handle the bijectivity of for any . Notably, we show that the problem of finding conditions for bijectivity of the quadrinomial is closely related to the study of the famous equation (*). We then reduce the initial problem into the problem of finding conditions for which an equation of the form (*) has a unique solution in for every . In addition, as a crucial direct consequence our result, we prove the validity of the conjecture (Conjecture 19) proposed by Li et al. (Des Codes Cryptogr 89:737–761, 2021). We emphasize that our positive answer completely characterizes permutations with boomerang uniformity 4 from the butterfly structure, which leads to the view of the quadrinomial as excellent candidates to design block ciphers in symmetric cryptography. Despite a lot of attention regarding the considered conjecture, it remains unsolved on its whole when the coefficients lie in . However, this article is the first which propose an approach that solves the enter conjecture by handling both sides of it involving equivalence simultaneously. We believe that our novel approach and its strength could benefit from proving the bijectivity of other families of polynomials over finite fields.

On permutation quadrinomials from Niho exponents in characteristic two

More classes of permutation quadrinomials from Niho exponents in characteristic two

Two classes of permutation trinomials with Niho exponents

Two classes of permutation trinomials with Niho exponents over finite fields with even characteristic

Three Classes of Permutation Quadrinomials in Odd Characteristic

Some new results on permutation polynomials over finite fields

A New Method of Construction of Permutation Trinomials with Coefficients 1

On Permutation Trinomials of the type $X^{q^2-q+1}+AX^{q^2}+BX$ over $\mathbb{F}_{q^3}$

Permutation Polynomials of Finite Fields of Even Characteristic From Character Sums

On permutation quadrinomials with boomerang uniformity 4 and the best-known nonlinearity

A classification of permutation binomials of the form $x^i+ax$ over $\mathbb{F}_{2^n}$ for dimensions up to 8

Determination of a Type of Permutation Trinomials over Finite Fields

A general construction of permutation polynomials of the form $ (x^{2^m}+x+\delta)^{i(2^m-1)+1}+x$ over $\F_{2^{2m}}$

Permutation Rational Functions over Quadratic Extensions of Finite Fields

Complete characterization of a class of permutation trinomials in characteristic five

Proof of a Conjecture on Permutation Polynomials over Finite Fields

Two Classes of Permutation Trinomials over Fq3 in Characteristic Two

A proof of a conjecture on permutation trinomials

Extending a result of Carlitz and McConnel to polynomials which are not permutations

A variety of Euler’s sum of powers conjecture

Several Classes of Permutation Polynomials of the Form $ (X^{p^m}-X+\delta)^s+l(x) $