arXiv++ Combinatorics

We prove the following result. Let q be a power of an odd prime and let Sp(2m,q) denote the symplectic group of degree 2m over F_q. Then if q=1 mod 4, no solvable subgroup of Sp(2m,q) acts transitively on a complete symplectic spread defined on the underlying vector space of dimension 2m, unless m=1 and q=5. The solvable group Sp(2,3) of order 24 acts transitively on a complete symplectic spread defined on a two-dimensional vector space over F_5. By contrast, when q=3 mod 4, there is a metacyclic group of order 2m(q^m+1) that acts transitively on a complete symplectic spread.

Let $K$ be a field and let $V$ be a vector space of dimension $n$ over $K$. Let $M$ be a subspace of bilinear forms defined on $V\times V$. Let $r$ be the number of different non-zero ranks that occur among the elements of $M$. Our aim is to obtain an upper bound for $\dim M$ in terms of $r$ and $n$ under various hypotheses. As a sample of what we prove, we mention the following. Suppose that $m$ is the largest integer that occurs as the rank of an element of $M$. Then if $m\leq \lceil n/2\rceil$ and $|K|\geq m+1$, we have $\dim M\leq rn$. The case $r=1$ corresponds to a constant rank space and it is conjectured that $\dim M\leq n$ when $M$ is a constant rank $m$ space and $|K|\geq m+1$. We prove that the dimension bound for a constant rank $m$ space $M$ holds provided $|K|\geq m+1$ and either $K$ is finite or $K$ has characteristic different from 2 and $M$ consists of symmetric forms. In general, we show that if $M$ is a constant rank $m$ subspace and $|K|\geq m+1$, then $\dim M\leq \max\,(n,2m-1)$. We also provide more detailed results about constant rank subspaces over finite fields, especially subspaces of alternating or symmetric bilinear forms.

In this paper we investigate partial spreads of $H(2n-1,q^2)$ through the related notion of partial spread sets of hermitian matrices, and the more general notion of constant rank-distance sets. We prove a tight upper bound on the maximum size of a linear constant rank-distance set of hermitian matrices over finite fields, and as a consequence prove the maximality of extensions of symplectic semifield spreads as partial spreads of $H(2n-1,q^2)$. We prove upper bounds for constant rank-distance sets for even rank, construct large examples of these, and construct maximal partial spreads of $H(3,q^2)$ for a range of sizes.

A Costas array of order $n$ is an arrangement of dots and blanks into $n$ rows and $n$ columns, with exactly one dot in each row and each column, the arrangement satisfying certain specified conditions. A dot occurring in such an array is even/even if it occurs in the $i$-th row and $j$-th column, where $i$ and $j$ are both even integers, and there are similar definitions of odd/odd, even/odd and odd/even dots. Two types of Costas arrays, known as Golomb-Costas and Welch-Costas arrays, can be defined using finite fields. When $q$ is a power of an odd prime, we enumerate the number of even/even odd/odd, even/odd and odd/even dots in a Golomb-Costas array. We show that three of these numbers are equal and they differ by $\pm 1$ from the fourth. For a Welch-Costas array of order $p-1$, where $p$ is an odd prime, the four numbers above are all equal to $(p-1)/4$ when $p\equiv 1\pmod{4}$, but when $p\equiv 3\pmod{4}$, we show that the four numbers are defined in terms of the class number of the imaginary quadratic field $\mathbb{Q}(\sqrt{-p})$, and thus behave in a much less predictable manner.