English

Improved Lower Bounds for Permutation Arrays Using Permutation Rational Functions

Combinatorics 2021-03-26 v2 Information Theory math.IT

Abstract

We consider rational functions of the form V(x)/U(x)V(x)/U(x), where both V(x)V(x) and U(x)U(x) are polynomials over the finite field Fq\mathbb{F}_q. Polynomials that permute the elements of a field, called {\it permutation polynomials (PPsPPs)}, have been the subject of research for decades. Let P1(Fq){\mathcal P}^1(\mathbb{F}_q) denote Zq{}\mathbb{Z}_q \cup \{\infty\}. If the rational function, V(x)/U(x)V(x)/U(x), permutes the elements of P1(Fq){\mathcal P}^1(\mathbb{F}_q), it is called a {\em permutation rational function (PRf)}. Let Nd(q)N_d(q) denote the number of PPs of degree dd over Fq\mathbb{F}_q, and let Nv,u(q)N_{v,u}(q) denote the number of PRfs with a numerator of degree vv and a denominator of degree uu. It follows that Nd,0(q)=Nd(q)N_{d,0}(q) = N_d(q), so PRFs are a generalization of PPs. The number of monic degree 3 PRfs is known [11]. We develop efficient computational techniques for Nv,u(q)N_{v,u}(q), and use them to show N4,3(q)=(q+1)q2(q1)2/3N_{4,3}(q) = (q+1)q^2(q-1)^2/3, for all prime powers q307q \le 307, N5,4(q)>(q+1)q3(q1)2/2N_{5,4}(q) > (q+1)q^3(q-1)^2/2, for all prime powers q97q \le 97, and N4,4(p)=(p+1)p2(p1)3/3N_{4,4}(p) = (p+1)p^2(p-1)^3/3, for all primes p47p \le 47. We conjecture that these formulas are, in fact, true for all prime powers qq. Let M(n,D)M(n,D) denote the maximum number of permutations on nn symbols with pairwise Hamming distance DD. Computing improved lower bounds for M(n,D)M(n,D) is the subject of much current research with applications in error correcting codes. Using PRfs, we obtain significantly improved lower bounds on M(q,qd)M(q,q-d) and M(q+1,qd)M(q+1,q-d), for d{5,7,9}d \in \{5,7,9\}.

Keywords

Cite

@article{arxiv.2003.10072,
  title  = {Improved Lower Bounds for Permutation Arrays Using Permutation Rational Functions},
  author = {Sergey Bereg and Brian Malouf and Linda Morales and Thomas Stanley and I. Hal Sudborough},
  journal= {arXiv preprint arXiv:2003.10072},
  year   = {2021}
}
R2 v1 2026-06-23T14:23:31.123Z