arXiv++ Combinatorics

An $(m,n,k,λ)$-relative difference set is a lifting of a $(m,k,nλ)$-difference set. Lam gave a table of cyclic relative difference sets with $k \leq 50$ in 1977, all of which were liftings of $( \frac{q^d-1}{q-1},q^{d-1},q^{d-2}(q-1))$-difference sets, the parameters of complements of classical Singer difference sets. Pott found all cyclic liftings of these difference sets with $n$ odd and $k \leq 64$ in 1995. No other nontrivial difference sets are known with liftings to relative difference sets, and Pott ended his survey on relative difference sets asking whether there are any others. In this paper we extend these searches, and apply the results to the existence of circulant weighing matrices.

A $(v,k,λ)$-difference set in a group $G$ of order $v$ is a subset $\{d_1, d_2, \ldots,d_k\}$ of $G$ such that $D=\sum d_i$ in the group ring ${\mathbb Z}[G]$ satisfies $$D D^{-1} = n + λG,$$ where $n=k-λ$. In other words, the nonzero elements of $G$ all occur exactly $λ$ times as differences of elements in $D$. A $(v,k,λ,t)$-almost difference set has $t$ nonzero elements of $G$ occurring $λ$ times, and the other $v-1-t$ occurring $λ+1$ times. When $λ=0$, this is equivalent to a modular Golomb ruler. In this paper we investigate existence questions on these objects, and extend previous results constructing almost difference sets by adding or removing an element from a difference set. We also show for which primes the octic residues, with or without zero, form an almost difference set.

A $(v,k,λ)$ difference set in a group $G$ of order $v$ is a subset $\{d_1, d_2, \ldots,d_k\}$ of $G$ such that $D=\sum d_i$ in the group ring $\mathbb{Z}[G]$ satisfies $$D D^{-1} = n + λG,$$ where $n=k-λ$. If $D=\sum s_i d_i$, where the $s_i \in \{ \pm 1\}$, satisfies the same equation, we will call it a signed difference set. This generalizes both difference sets (all $s_i=1$) and circulant weighing matrices ($G$ cyclic and $λ=0$). We will show that there are other cases of interest, and give some results on their existence.

In a 1989 paper \cite{arasu2}, Arasu used an observation about multipliers to show that no $(352,27,2)$ difference set exists in any abelian group. The proof is quite short and required no computer assistance. We show that it may be applied to a wide range of parameters $(v,k,λ)$, particularly for small values of $λ$. With it a computer search was able to show that the Prime Power Conjecture is true up to order $2 \cdot 10^{10}$, extend Hughes and Dickey's computations for $λ=2$ and $k \leq 5000$ up to $10^{10}$, and show nonexistence for many other parameters.

A circulant weighing matrix $W = (w_{i,j})$ is a square matrix of order $n$ and entries $w_{i,j}$ in $\{0, \pm 1\}$ such that $WW^T=kI_n$. In his thesis, Strassler gave a table of existence results for such matrices with $n \leq 200$ and $k \leq 100$. In the latest version of Strassler's table given by Tan \cite{arXiv:1610.01914} there are 34 open cases remaining. In this paper we give nonexistence proofs for 12 of these cases, report on preliminary searches outside Strassler's table, and characterize the known proper circulant weighing matrices.

Let $S(x)$ be the number of $n \leq x$ for which a Hadamard matrix of order $n$ exists. Hadamard's conjecture states that $S(x)$ is about $x/4$. From Paley's constructions of Hadamard matrices, we have that \[ S(x) = Ω(x/\log x). \] In a recent paper, the first author suggested that counting the products of orders of Paley matrices would result in a greater density. In this paper we use results of Kevin Ford to show that it does: \begin{equation}\label{eq:abs} S(x) \geq x/\log x \exp((C+o(1))(\log \log \log x)^2)\,, \nonumber \end{equation} where $C=0.8178...$. This bound is surprisingly hard to improve upon. We show that taking into account all the other major known construction methods for Hadamard matrices does not shift the bound. Our arguments use the notion of a (multiplicative) monoid of natural numbers. We prove some initial results concerning these objects. Our techniques may be useful when assessing the status of other existence questions in design theory.

Delsarte conjectured in 1973 that there are no nontrivial pefect codes in the Johnson scheme. Etzion and Schwartz recently showed that perfect codes must be k-regular for large k, and used this to show that there are no perfect codes correcting single errors in J(n,w) for n <= 50000. In this paper we show that there are no perfect single error-correcting codes for n <= 2^250.

Previous surveys by Baumert and Lopez and Sanchez have resolved the existence of cyclic (v,k,lambda) difference sets with k <= 150, except for six open cases. In this paper we show that four of those difference sets do not exist. We also look at the existence of difference sets with k <= 300 and cyclic Hadamard difference sets with v <= 10,000. Finally, we extend an earlier search of the second author to show that no cyclic projective planes exist with non-prime power orders up to two billion.