arXiv++ Combinatorics

Let $q$ be a prime power. We give a construction of Butson Hadamard matrices $BH((F_q\times F_q,+),lcm(6,d))$ for any divisor $d>1$ of $q-1$. Most character values of the group ring elements corresponding to these matrices involve products of two Gauss sums over $F_q$ (with non-quadratic Gauss sums occurring) and this property distinguishes our result from all previously known constructions of group invariant Butson Hadamard matrices. In fact, our $BH((F_q\times F_q,+),lcm(6,d))$ matrices arise as a special case of a more general construction based on what we call ``Butson-Jacobsthal functions'' that resembles the construction of Hadamard matrices from Jacobsthal matrices.

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