arXiv++ Combinatorics

A Hadamard difference set (HDS) $D$ of order $u^2$ in an abelian group $G$ satisfies $|χ(D)|=u$ for every nontrivial character $χ$ of $G$. We call such a character value naive if it is divisible by $u$, i.e., if it is equal to $u$ times a root of unity. All previously known abelian HDSs only have naive character values. We show that for $d\ge 1$ and $u=3d$, a group $Z_3^2\times H$, with $H$ an abelian group of order $2^{2d+2}$, contains a HDS of order $u^2$ with non-naive character values if and only if $8\le\exp H\le 2^{d+2}$. All difference sets obtained are new. The proof rests on a specific HDS in $Z_3^2\times Z_8\times Z_2$, a covering extended building set on $Z_3^2\times Z_8\times Z_4$, and a variation of the Davis-Jedwab recursive construction.

Let $K$ be a finite abelian group and let $\exp(K)$ denote the least common multiple of the orders of the elements of $K$. A $BH(K,h)$ matrix is a $K$-invariant $|K|\times |K|$ matrix $H$ whose entries are complex $h$th roots of unity such that $HH^*=|K|I$, where $H^*$ denotes the complex conjugate transpose of $H$, and $I$ is the identity matrix of order $|K|$. Let $ν_p(x)$ denote the $p$-adic valuation of the integer $x$. Using bilinear forms on $K$, we show that a $BH(K,h)$ exists whenever (i) $ν_p(h) \geq \lceil ν_p(\exp(K))/2 \rceil$ for every prime divisor $p$ of $|K|$ and (ii) $ν_2(h) \ge 2$ if $ν_2(|K|)$ is odd and $K$ has a direct factor $\mathbb{Z}_2$. Employing the field descent method, we prove that these conditions are necessary for the existence of a $BH(K,h)$ matrix in the case where $K$ is cyclic of prime power order.

Let $p$ be a prime and let $A$ be a subset of $\mathbb{F}_p$ with $A=-A$ and $|A\setminus\{0\}| \leq 2\log_3(p)$. Then there is an element of $\mathbb{F}_p$ which has a unique representation as a difference of two elements of $A$.