Showing 1–6 of 6 results for author: Sudborough, H

Improved Bounds for Permutation Arrays Under Chebyshev Distance

Authors: Sergey Bereg, Mohammadreza Haghpanah, Brian Malouf, I. Hal Sudborough

Abstract: Permutation arrays under the Chebyshev metric have been considered for error correction in noisy channels. Let $P(n,d)$ denote the maximum size of any array of permutations on $n$ symbols with pairwise Chebyshev distance $d$. We give new techniques and improved upper and lower bounds on $P(n,d)$, including a precise formula for $P(n,2)$. Permutation arrays under the Chebyshev metric have been considered for error correction in noisy channels. Let $P(n,d)$ denote the maximum size of any array of permutations on $n$ symbols with pairwise Chebyshev distance $d$. We give new techniques and improved upper and lower bounds on $P(n,d)$, including a precise formula for $P(n,2)$. △ Less

Submitted 24 February, 2023; originally announced February 2023.

Improved Lower Bounds for Permutation Arrays Using Permutation Rational Functions

Authors: Sergey Bereg, Brian Malouf, Linda Morales, Thomas Stanley, I. Hal Sudborough

Abstract: We consider rational functions of the form $V(x)/U(x)$, where both $V(x)$ and $U(x)$ are polynomials over the finite field $\mathbb{F}_q$. Polynomials that permute the elements of a field, called {\it permutation polynomials ($PPs$)}, have been the subject of research for decades. Let ${\mathcal P}^1(\mathbb{F}_q)$ denote $\mathbb{Z}_q \cup \{\infty\}$. If the rational function, $V(x)/U(x)$, permu… ▽ More We consider rational functions of the form $V(x)/U(x)$, where both $V(x)$ and $U(x)$ are polynomials over the finite field $\mathbb{F}_q$. Polynomials that permute the elements of a field, called {\it permutation polynomials ($PPs$)}, have been the subject of research for decades. Let ${\mathcal P}^1(\mathbb{F}_q)$ denote $\mathbb{Z}_q \cup \{\infty\}$. If the rational function, $V(x)/U(x)$, permutes the elements of ${\mathcal P}^1(\mathbb{F}_q)$, it is called a {\em permutation rational function (PRf)}. Let $N_d(q)$ denote the number of PPs of degree $d$ over $\mathbb{F}_q$, and let $N_{v,u}(q)$ denote the number of PRfs with a numerator of degree $v$ and a denominator of degree $u$. It follows that $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 $N_{v,u}(q)$, and use them to show $N_{4,3}(q) = (q+1)q^2(q-1)^2/3$, for all prime powers $q \le 307$, $N_{5,4}(q) > (q+1)q^3(q-1)^2/2$, for all prime powers $q \le 97$, and $N_{4,4}(p) = (p+1)p^2(p-1)^3/3$, for all primes $p \le 47$. We conjecture that these formulas are, in fact, true for all prime powers $q$. Let $M(n,D)$ denote the maximum number of permutations on $n$ symbols with pairwise Hamming distance $D$. Computing improved lower bounds for $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,q-d)$ and $M(q+1,q-d)$, for $d \in \{5,7,9\}$. △ Less

Submitted 24 March, 2021; v1 submitted 23 March, 2020; originally announced March 2020.

Equivalence Relations for Computing Permutation Polynomials

Authors: Sergey Bereg, Brian Malouf, Linda Morales, Thomas Stanley, I. Hal Sudborough, Alexander Wong

Abstract: We present a new technique for computing permutation polynomials based on equivalence relations. The equivalence relations are defined by expanded normalization operations and new functions that map permutation polynomials (PPs) to other PPs. Our expanded normalization applies to almost all PPs, including when the characteristic of the finite field divides the degree of the polynomial. The equival… ▽ More We present a new technique for computing permutation polynomials based on equivalence relations. The equivalence relations are defined by expanded normalization operations and new functions that map permutation polynomials (PPs) to other PPs. Our expanded normalization applies to almost all PPs, including when the characteristic of the finite field divides the degree of the polynomial. The equivalence relations make it possible to reduce the size of the space, when doing an exhaustive search. As a result, we have been able to compute almost all permutation polynomials of degree $d$ at most 10 over $GF(q)$, where $q$ is at most 97. We have also been able to compute nPPs of degrees 11 and 12 in a few cases. The techniques apply to arbitrary $q$ and $d$. In addition, the equivalence relations allow the set all PPs for a given degree and a given field $GF(q)$ to be succinctly described by their representative nPPs. We give several tables at the end of the paper listing the representative nPPs (\ie the equivalence classes) for several values of $q$ and $d$. We also give several new lower bounds for $M(n,D)$, the maximum number of permutations on $n$ symbols with pairwise Hamming distance $D$, mostly derived from our results on PPs. △ Less

Submitted 1 January, 2020; v1 submitted 28 November, 2019; originally announced November 2019.

Constructing Permutation Arrays using Partition and Extension

Authors: Sergey Bereg, Luis Gerardo Mojica, Linda Morales, Hal Sudborough

Abstract: We give new lower bounds for $M(n,d)$, for various positive integers $n$ and $d$ with $n>d$, where $M(n,d)$ is the largest number of permutations on $n$ symbols with pairwise Hamming distance at least $d$. Large sets of permutations on $n$ symbols with pairwise Hamming distance $d$ is a necessary component of constructing error correcting permutation codes, which have been proposed for power-line… ▽ More We give new lower bounds for $M(n,d)$, for various positive integers $n$ and $d$ with $n>d$, where $M(n,d)$ is the largest number of permutations on $n$ symbols with pairwise Hamming distance at least $d$. Large sets of permutations on $n$ symbols with pairwise Hamming distance $d$ is a necessary component of constructing error correcting permutation codes, which have been proposed for power-line communications. Our technique, {\em partition and extension}, is universally applicable to constructing such sets for all $n$ and all $d$, $d<n$. We describe three new techniques, {\em sequential partition and extension}, {\em parallel partition and extension}, and a {\em modified Kronecker product operation}, which extend the applicability of partition and extension in different ways. We describe how partition and extension gives improved lower bounds for M(n,n-1) using mutually orthogonal Latin squares (MOLS). We present efficient algorithms for computing new partitions: an iterative greedy algorithm and an algorithm based on integer linear programming. These algorithms yield partitions of positions (or symbols) used as input to our partition and extension techniques. We report many new lower bounds for for $M(n,d)$ found using these techniques for $n$ up to $600$. △ Less

Submitted 22 July, 2019; v1 submitted 23 April, 2018; originally announced April 2018.

New Lower Bounds for Permutation Arrays Using Contraction

Authors: Sergey Bereg, Zevi Miller, Luis Gerardo Mojica, Linda Morales, I. H. Sudborough

Abstract: A permutation array $A$ is a set of permutations on a finite set $Ω$, say of size $n$. Given distinct permutations $π, σ\in Ω$, we let $hd(π, σ) = |\{ x\in Ω: π(x) \ne σ(x) \}|$, called the Hamming distance between $π$ and $σ$. Now let $hd(A) =$ min$\{ hd(π, σ): π, σ\in A \}$. For positive integers $n$ and $d$ with $d\le n$, we let $M(n,d)$ be the maximum number of permutations in any array $A$ sa… ▽ More A permutation array $A$ is a set of permutations on a finite set $Ω$, say of size $n$. Given distinct permutations $π, σ\in Ω$, we let $hd(π, σ) = |\{ x\in Ω: π(x) \ne σ(x) \}|$, called the Hamming distance between $π$ and $σ$. Now let $hd(A) =$ min$\{ hd(π, σ): π, σ\in A \}$. For positive integers $n$ and $d$ with $d\le n$, we let $M(n,d)$ be the maximum number of permutations in any array $A$ satisfying $hd(A) \geq d$. There is an extensive literature on the function $M(n,d)$, motivated in part by suggested applications to error correcting codes for message transmission over power lines. A basic fact is that if a permutation group $G$ is sharply $k$-transitive on a set of size $n\geq k$, then $M(n,n-k+1) = |G|$. Motivated by this we consider the permutation groups $AGL(1,q)$ and $PGL(2,q)$ acting sharply $2$-transitively on $GF(q)$ and sharply $3$-transitively on $GF(q)\cup \{\infty\}$ respectively. Applying a contraction operation to these groups, we obtain the following new lower bounds for prime powers $q$ satisfying $q\equiv 1$ (mod $3$). 1. $M(q-1,q-3)\geq (q^{2} - 1)/2$ for $q$ odd, $q\geq 7$, 2. $M(q-1,q-3)\geq (q-1)(q+2)/3$ for $q$ even, $q\geq 8$, 3. $M(q,q-3)\geq Kq^{2}\log q$ for some constant $K$ if $q$ is odd, $q\geq 13$. These results resolve a case left open in a previous paper \cite{BLS}, where it was shown that $M(q-1, q-3) \geq q^{2} - q$ and $M(q,q-3) \geq q^{3} - q$ for all prime powers $q$ such that $q\not \equiv 1$ (mod $3$). We also obtain lower bounds for $M(n,d)$ for a finite number of exceptional pairs $n,d$, by applying this contraction operation to the sharply $4$ and $5$-transitive Mathieu groups. △ Less

Submitted 11 September, 2018; v1 submitted 10 April, 2018; originally announced April 2018.

Constructing Permutation Arrays from Groups

Authors: Sergey Bereg, Avi Levy, I. Hal Sudborough

Abstract: Let M(n, d) be the maximum size of a permutation array on n symbols with pairwise Hamming distance at least d. We use various combinatorial, algebraic, and computational methods to improve lower bounds for M(n, d). We compute the Hamming distances of affine semilinear groups and projective semilinear groups, and unions of cosets of AGL(1,q) and PGL(2,q) with Frobenius maps to obtain new, improved… ▽ More Let M(n, d) be the maximum size of a permutation array on n symbols with pairwise Hamming distance at least d. We use various combinatorial, algebraic, and computational methods to improve lower bounds for M(n, d). We compute the Hamming distances of affine semilinear groups and projective semilinear groups, and unions of cosets of AGL(1,q) and PGL(2,q) with Frobenius maps to obtain new, improved lower bounds for M(n,d). We give new randomized algorithms. We give better lower bounds for M(n,d) also using new theorems concerning the contraction operation. For example, we prove a quadratic lower bound for M(n,n-2) for all n=2 (mod 3) such that n+1 is a prime power. △ Less

Submitted 30 September, 2016; v1 submitted 13 November, 2015; originally announced November 2015.