arXiv++ Combinatorics

We give historical remarks related to arXiv:2112.14547 ("A New Method of Construction of Permutation Trinomials with Coefficients 1", by Guo et al.). In particular, we show that the "new" permutation polynomials in that paper are actually well known. In addition we give a simpler derivation of these permutation polynomials than had been given previously, which demonstrates the general method of producing permutation polynomials that was introduced in arXiv:1310.0776.

Let F_{q^n} be the field of order q^n, and let Tr be the trace map from F_{q^n} to its q-element subfield. We exhibit nine sequences of polynomials of the form f(x):=x+c*Tr(x^k), with c in F_{q^n}, such that for each polynomial the function F_{q^n}-->F_{q^n} given by c-->f(c) is a permutation of F_{q^n}. We also computed all permutation polynomials of this form over finite fields of size less than 5000, and found that our examples comprise all examples with n>1 except for some simple cases where the polynomial induces a homomorphism of the additive group of F_{q^n}, along with a few sporadic examples. One intriguing feature is that our proofs of the different sequences use various different methods, including a new variant of Dobbertin's method among others.

We construct classes of permutation polynomials over F_{Q^2} by exhibiting classes of low-degree rational functions over F_{Q^2} which induce bijections on the set of (Q+1)-th roots of unity in F_{Q^2}. As a consequence, we prove two conjectures about permutation trinomials from a recent paper by Tu, Zeng, Hu and Li.

The study of finite projective planes involves planar functions, namely, functions f : F_q --> F_q such that, for each nonzero a in F_q, the function c --> f(c+a) - f(c) is a bijection on F_q. Planar functions are also used in the construction of DES-like cryptosystems, where they are called perfect nonlinear functions. We determine all planar functions on F_q of the form c --> c^t, under the assumption that q >= (t-1)^4. This implies two conjectures of Hernando, McGuire and Monserrat. Our arguments also yield a new proof of a conjecture of Segre and Bartocci from 1971 about monomial hyperovals in finite Desarguesian projective planes.

We consider n-by-n circulant matrices having entries 0 and 1. Such matrices can be identified with sets of residues mod n, corresponding to the columns in which the top row contains an entry 1. Let A and B be two such matrices, and suppose that the corresponding residue sets S_A and S_B have size at most 3. We prove that the following are equivalent: (1) there are integers u,v mod n, with u a unit, such that S_A = uS_B + v; (2) there are permutation matrices P,Q such that A=PBQ. Our proof relies on some new results about vanishing sums of roots of unity. We give examples showing this result is not always true for denser circulants, as well as results showing it continues to hold in some situations. We also explain how our problem relates to the Adam problem on isomorphisms of circulant directed graphs.