1: \begin{abstract}

2: A {\it permutation array} $A$ is a set of permutations on a finite set $\Omega$, say of size $n$.  

3: Given distinct permutations $\pi, \sigma\in \Omega$, 

4: we let $hd(\pi, \sigma) = |\{ x\in \Omega: \pi(x) \ne \sigma(x) \}|$, called the {\it Hamming distance} between $\pi$ and $\sigma$.  

5: Now let $hd(A) =$ min$\{ hd(\pi, \sigma): \pi, \sigma \in A \}$.  For positive integers $n$ and $d$ with $d\le n$, we 

6: 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 

7: the function $M(n,d)$, motivated in part by suggested applications to error correcting codes for message transmission over power lines.  

8: 

9: 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|$.  

10: Motivated by this we consider the permutation groups 

11: $AGL(1,q)$ and $PGL(2,q)$ acting sharply $2$-transitively on $GF(q)$ 

12: and sharply $3$-transitively on $GF(q)\cup \{\infty\}$ respectively.  Applying a contraction operation 

13: to these groups, we obtain the following new lower bounds for prime powers $q$ satisfying $q\equiv 1$ (mod $3$).

14: 

15: \begin{enumerate}

16: \item

17: $M(q-1,q-3)\geq (q^{2} - 1)/2$ for $q$ odd, $q\geq 7$,

18: \item

19: $M(q-1,q-3)\geq (q-1)(q+2)/3$ for $q$ even, $q\geq 8$,

20: \item

21: $M(q,q-3)\geq Kq^{2}\log q$ for some constant $K$ if $q$ is odd, $q\geq 13$.

22: \end{enumerate}

23: 

24: 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$ 

25: 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 

26: this contraction operation to the sharply $4$ and $5$-transitive Mathieu groups. 

27: \end{abstract}