A Family of Gauss Type Hadamard Difference Sets

Abstract

A Hadamard difference set (HDS) $D$ of order $u^{2}$ in an abelian group $G$ satisfies $|\chi(D)|=u$ for every nontrivial character $\chi$ 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\geq 1$ and $u=3\cdot 2^{d}$, a group $\mathbb{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\leq\exp H\leq 2^{d+2}$. All difference sets obtained are new. The proof rests on a specific HDS in $\mathbb{Z}_{3}^{2}\times\mathbb{Z}_{8}\times\mathbb{Z}_{2}$, a covering extended building set on $\mathbb{Z}_{3}^{2}\times\mathbb{Z}_{8}\times\mathbb{Z}_{4}$, and a variation of the Davis–Jedwab recursive construction.

1 Introduction

Let $\alpha$ be a cyclotomic integer with $|\alpha|^{2}=n^{2}$ where $n$ is a positive integer. As in [9], we call $\alpha$ naive if $\alpha=n\zeta$ where $\zeta$ is a root of unity. By Kronecker’s theorem [12], a solution $\alpha$ of $|\alpha|^{2}=n^{2}$ is naive if and only if $\alpha$ is divisible by $n$.

A Hadamard difference set (HDS) of order $u^{2}$ has parameters $(v,k,\lambda)=(4u^{2},\,2u^{2}-u,\,u^{2}-u)$. Throughout this paper $G$ is a finite abelian group (written additively) and $\widehat{G}$ its group of complex characters. The trivial character is denoted by $1$. For $B\subseteq G$ and $\chi\in\widehat{G}$, write $\chi(B)=\sum_{g\in B}\chi(g)$; the complex numbers $\chi(B)$ with $\chi\neq 1$ are called the values of $B$, and the values of a collection of subsets of $G$ are the values of its members. If $|G|=4u^{2}$, a subset $D$ of $G$ with $|D|=2u^{2}-u$ is a HDS in $G$ if and only if

$$|\chi(D)|^{2}=u^{2}\qquad\text{for every }\chi\in\widehat{G}\setminus\{1\}.$$ (1)

Note that $\chi(D)$ is naive if and only if it is divisible by $u$. We call a HDS $D$ naive if $\chi(D)$ is naive for every character $\chi$. All character values of previously known abelian HDSs [15, 17, 14, 18, 7, 4, 10, 20, 1, 11, 21, 8, 19, 3, 6, 16] are naive. This is no coincidence: the known recursive constructions assemble HDSs from building blocks whose character values are an integer times a root of unity, and this form is inherited at every step of the recursion. Naivety is also what many nonexistence arguments exploit: once $\chi(D)/u$ is known to be a root of unity, for instance under self-conjugacy assumptions, results such as Turyn’s exponent bound [17] and Ma’s lemma [13] heavily restrict the structure of $D$. Therefore, the existence of non-naive HDSs also is relevant to the HDS nonexistence theory. We show that such HDSs indeed exist:

Theorem 1.1.

Let $d\geq 1$, $u=3\cdot 2^{d}$, and let $H$ be an abelian $2$-group of order $2^{2d+2}$. Then $\mathbb{Z}_{3}^{2}\times H$ contains a non-naive HDS of order $u^{2}$ if and only if

$$8\ \leq\ \exp H\ \leq\ 2^{d+2}.$$ (2)

The necessity of condition (2) follows directly from results of Turyn: Let $D$ be a HDS in $G=\mathbb{Z}_{3}^{2}\times H$. If $\exp H$ divides $4$, then $\exp G$ divides $12$, hence $u$ is self-conjugate modulo $\exp G$, and every nontrivial character value of $D$ is divisible by $u$, i.e., naive, by [17] (also see [2, Ch. 6, Lem. 13.2]). On the other hand, if $\exp H>2^{d+2}$, then $2$ is self-conjugate modulo $\exp G$ and there is no HDS in $G$ at all, again by [17] (also see [2, Ch. 6, Thm. 15.11]). Thus, in the rest of the paper, we are concerned only with the sufficiency of (2).

Write $\zeta_{m}=e^{2\pi i/m}$ and $X=1+\zeta_{8}+\zeta_{8}^{3}$. For a positive integer $n$ divisible by $3$, a Gauss value of modulus $n$ is a complex number of the form

$$\frac{n}{3}(\zeta_{3}-\zeta_{3}^{2})\,Y\zeta,\qquad Y\in\{X,\overline{X}\},\quad\zeta\ \text{a root of unity};$$

its absolute value is $n$, since $(\zeta_{3}-\zeta_{3}^{2})\overline{(\zeta_{3}-\zeta_{3}^{2})}=Y\overline{Y}=3$. We call these numbers Gauss values because $\zeta_{3}-\zeta_{3}^{2}=\sqrt{-3}$ is a quadratic Gauss sum. All non-naive character values we use in this paper are Gauss values. We say a HDS of order $u^{2}$ is of Gauss type if at least one of its character values is a Gauss value of modulus $u$.

Lemma 1.2.

Gauss values are not naive.

Proof.

Let $\gamma=\frac{n}{3}(\zeta_{3}-\zeta_{3}^{2})\,Y\zeta$ be a Gauss value of modulus $n$. Since $(\zeta_{3}-\zeta_{3}^{2})\overline{(\zeta_{3}-\zeta_{3}^{2})}=3$ and $Y\overline{Y}=X\overline{X}=3$, we get $|\gamma|^{2}=n^{2}$. Suppose $\gamma/n$ is a root of unity, say $\xi$. Then $(\zeta_{3}-\zeta_{3}^{2})\,Y\,\zeta=3\xi$, so $Y=3\xi\zeta^{-1}/(\zeta_{3}-\zeta_{3}^{2})=-\,\xi\zeta^{-1}(\zeta_{3}-\zeta_{3}^{2})$, using $(\zeta_{3}-\zeta_{3}^{2})^{2}=-3$. Hence $\xi\zeta^{-1}=-Y/(\zeta_{3}-\zeta_{3}^{2})=Y(\zeta_{3}-\zeta_{3}^{2})/3$ is a root of unity in $\mathbb{Q}(\zeta_{24})$, and thus $\xi\zeta^{-1}=\zeta_{8}^{i}\zeta_{3}^{j}$ for some integers $i,j$. We conclude that

$$Y\zeta_{8}^{-i}=-\zeta_{3}^{j}(\zeta_{3}-\zeta_{3}^{2})\in\mathbb{Q}(\zeta_{8})\cap\mathbb{Q}(\zeta_{3})=\mathbb{Q},$$

which contradicts $|Y\zeta_{8}^{-i}|^{2}=|Y|^{2}=3$. ∎

To construct Gauss type HDSs in all groups satisfying (2), we proceed as follows. Section 2 collects all construction methods for building sets and covering EBSs that we require, including a variation of the Davis–Jedwab recursive construction [6]; every result there is stated in a self-contained form, independent of the recursion set up later. Section 3 supplies, based on a result of Davis and Jedwab, relative building sets with naive character values on all groups required later. Section 4 provides the two seeds carrying non-naive character values — the minimal non-naive HDS $M_{1}$ in $\mathbb{Z}_{3}^{2}\times\mathbb{Z}_{8}\times\mathbb{Z}_{2}$ and a covering extended building set $E_{3}$ on $\mathbb{Z}_{3}^{2}\times\mathbb{Z}_{8}\times\mathbb{Z}_{4}$ — and settles the cases $d\leq 2$ of Theorem 1.1. Section 5 combines the supply with the seeds in an induction on $d$ and proves Theorem 1.1 for all $d\geq 3$. The only external input required for our construction is a relative difference set existence result of Davis and Jedwab, quoted as Result 3.2. We remark that the seeds are out of reach of the recursive machinery of [6], where every HDS is obtained by assembling a covering EBS with $h\geq 4$ blocks on a subgroup of index $h$ [6, Thm. 2.4]; since $h$ is a power of $2$ in all Hadamard cases, merging blocks via [6, Lem. 2.3] shows that one may always take $h=4$ there. However, a four-block covering EBS yielding a HDS of order $u^{2}$, $u\in\{6,12\}$, would live on a group $T$ of order $u^{2}$ with $3$-part $\mathbb{Z}_{3}^{2}$, and it cannot carry a Gauss value: if $\exp T$ divides $12$, then all its values are naive by the self-conjugacy argument used above for the necessity of (2), and if the $2$-part of $T$ has exponent at least $8$, then $T$ is contained with index $4$ in some $\mathbb{Z}_{3}^{2}\times H$ with $\exp H>2^{d+2}$, in which the assembly would produce a HDS, whereas no HDS exists in such a group, as noted above. Consequently, neither $M_{1}$ nor $E_{3}$ can be obtained from a four-block covering EBS ($M_{1}$ by assembly, $E_{3}$ by merging blocks) — in contrast to every HDS constructed in [6]. For $d\geq 3$ this obstruction disappears, and four-block covering EBSs with Gauss values are exactly what our recursion produces.

2 Building Set Framework

Throughout the paper, $W=\mathbb{Z}_{3}^{2}$.

All constructions in this section are due to Davis and Jedwab [6], up to minor variations. However, while [6] only records the absolute values of the relevant character sums, we need to keep track of the character values themselves. We therefore restate the results in the form needed later, with the values recorded, and include the short proofs; a precise reference to [6] accompanies each statement.

The concepts (i)–(iii) below were introduced by Davis and Jedwab [6, §2], and (iv) only makes their term “covering” pointwise; (v) is specific to the present paper.

Definition 2.1.

Let $a,m,s\geq 1$, let $K$ be an abelian group, and let $U\leq K$.

1. A building block in $K$ with modulus $m$ is a subset $B$ of $K$ such that $|\chi(B)|\in\{0,m\}$ for all nontrivial characters $\chi$ of $K$.

2. An $(a,m,s)$ building set relative to $U$ is a collection $\{B_{1},\dots,B_{s}\}$ of building blocks, each of cardinality $a$ and with modulus $m$, such that the following holds for every nontrivial $\chi\in\widehat{K}$: if $\chi$ is trivial on $U$ then $\chi(B_{i})=0$ for all $i$; otherwise $|\chi(B_{i})|=m$ for exactly one $i$.

3. An $(a,m,s,-)$ covering extended building set (covering EBS) on $K$ is a collection $\{B_{1},\dots,B_{s}\}$ of building blocks with modulus $m$, of sizes $|B_{1}|=a-m$ and $|B_{i}|=a$ $(i\geq 2)$, such that every nontrivial $\chi\in\widehat{K}$ satisfies $|\chi(B_{i})|=m$ for exactly one $i$. The sign “$-$” in the notation, taken from [6], records that the exceptional block is deficient, of size $a-m$ rather than $a+m$.

4. We say that a character $\chi$ is covered by a building block $B_{i}$ with modulus $m$ if $|\chi(B_{i})|=m$.

5. We say that $\chi$ is Gauss-covered by a building block $B_{i}$ with modulus $m$ if $\chi$ is covered by $B_{i}$ and $\chi(B_{i})$ is a Gauss value of modulus $m$, and that $\chi$ is Gauss-covered by a building set or covering EBS $\{B_{1},\dots,B_{s}\}$ if it is Gauss-covered by the block covering it (by (ii) and (iii), a character covered at all is covered by exactly one block).

The next lemma, which is the two-block case of [6, Theorem 2.4] with character values tracked, converts a two-block covering EBS into a HDS on a group twice as large.

Lemma 2.2.

Let $\{B_{1},B_{2}\}$ be an $(m^{2},m,2,-)$ covering EBS on an abelian group $K$ of order $2m^{2}$, let $G\supseteq K$ be abelian with $|G|=4m^{2}$, fix $g\in G\setminus K$, and put $D=B_{1}\cup(g+B_{2})$. Then $D$ is a HDS in $G$ of order $m^{2}$. If $\chi\in\widehat{G}$ is nontrivial on $K$ and $i$ is the index with $|\chi(B_{i})|=m$, then $\chi(D)=\chi(g)^{i-1}\chi(B_{i})$; if $\chi\neq 1$ is trivial on $K$, then $\chi(D)=-m$.

Proof.

The sets $B_{1}$ and $g+B_{2}$ lie in distinct cosets of $K$, so $\chi(D)=\chi(B_{1})+\chi(g)\chi(B_{2})$ for every $\chi\in\widehat{G}$. If $\chi$ is nontrivial on $K$, exactly one summand is nonzero, which gives the stated value of absolute value $m$. If $\chi\neq 1$ is trivial on $K$, then $\chi(g)=-1$ and $\chi(D)=|B_{1}|-|B_{2}|=(m^{2}-m)-m^{2}=-m$. Thus $|\chi(D)|=m$ for every nontrivial $\chi\in\widehat{G}$, and $|D|=2m^{2}-m$, so $D$ is a HDS in $G$ of order $m^{2}$ by (1). ∎

The four-block counterpart of Lemma 2.2 can be carried out in two steps: the following lemma, which is the index $2$ case of [6, Lemma 2.3] with character values tracked, performs the first step, and chaining it with Lemma 2.2 yields a HDS from a four-block covering EBS on $K$ in any abelian group containing $K$ as a subgroup of index $4$ (see the proof of Theorem 1.1).

Lemma 2.3.

Let $\{E_{1},\dots,E_{4}\}$ be a $(2m^{2},2m,4,-)$ covering EBS on an abelian group $K$ of order $4m^{2}$, let $L\supseteq K$ be abelian with $[L:K]=2$, fix $r\in L\setminus K$, and let $\{i,j,k\}=\{2,3,4\}$. Then

$$C_{1}=E_{1}\ \cup\ (r+E_{i}),\qquad C_{2}=E_{j}\ \cup\ (r+E_{k})$$

form a $((2m)^{2},2m,2,-)$ covering EBS on $L$. Every nonzero value of $C_{1},C_{2}$ is a root of unity times a value of $\{E_{1},\dots,E_{4}\}$; in particular, if some character of $K$ is Gauss-covered by $\{E_{1},\dots,E_{4}\}$, then some character of $L$ is Gauss-covered by $\{C_{1},C_{2}\}$.

Proof.

The sizes are $|C_{1}|=(2m^{2}-2m)+2m^{2}=(2m)^{2}-2m$ and $|C_{2}|=(2m)^{2}$, as required. Let $\lambda\in\widehat{L}$ be nontrivial and $\lambda^{\prime}=\lambda|_{K}$, so $\lambda(C_{1})=\lambda^{\prime}(E_{1})+\lambda(r)\lambda^{\prime}(E_{i})$ and $\lambda(C_{2})=\lambda^{\prime}(E_{j})+\lambda(r)\lambda^{\prime}(E_{k})$. If $\lambda^{\prime}\neq 1$, then exactly one of the four values $\lambda^{\prime}(E_{1}),\dots,\lambda^{\prime}(E_{4})$ is nonzero, of absolute value $2m$; hence exactly one of $\lambda(C_{1}),\lambda(C_{2})$ is nonzero, and it is a root of unity times a value of $\{E_{1},\dots,E_{4}\}$, of absolute value $2m$. If $\lambda^{\prime}=1$, then $\lambda(r)=-1$ and $\lambda(C_{1})=|E_{1}|-|E_{i}|=-2m$, $\lambda(C_{2})=|E_{j}|-|E_{k}|=0$. Thus every nontrivial $\lambda\in\widehat{L}$ is covered by exactly one block, as required. For the final statement, note that both extensions $\lambda$ of a character $\lambda^{\prime}\neq 1$ of $K$ satisfy $|\lambda(C_{1})|+|\lambda(C_{2})|=2m$, and that a root of unity times a Gauss value of modulus $2m$ is a Gauss value of modulus $2m$. ∎

The following lemma assembles a two-block covering EBS and two one-block relative building sets, living on the three quotients of a group $K$ by the involutions of a subgroup $Q\cong\mathbb{Z}_{2}^{2}$, into a four-block covering EBS on $K$; it is a variation of the Davis–Jedwab constructions [6, Theorems 3.2 and 4.3].

Lemma 2.4.

Let $m\geq 1$, let $K$ be abelian of order $4m^{2}$, $Q\leq K$ with $Q\cong\mathbb{Z}_{2}^{2}$, and let $U,H_{1},H_{2}$ be the three subgroups of order $2$ of $Q$, with canonical epimorphisms $\pi_{U},\pi_{1},\pi_{2}$ onto $K/U$, $K/H_{1}$, $K/H_{2}$. Suppose that

1. $\{B_{1},B_{2}\}$ is an $(m^{2},m,2,-)$ covering EBS on $K/U$,

2. for $i=1,2$, $R_{i}$ is a building set with one block of size $m^{2}$ and modulus $m$ on $K/H_{i}$ relative to $Q/H_{i}$.

Then

$$\mathcal{E}\;=\;\bigl\{\pi_{U}^{-1}(B_{1}),\ \pi_{U}^{-1}(B_{2}),\ \pi_{1}^{-1}(R_{1}),\ \pi_{2}^{-1}(R_{2})\bigr\}$$

is a $(2m^{2},2m,4,-)$ covering EBS on $K$ whose values are twice the values of the inputs; in particular, each character of $K/U$ that is Gauss-covered by $\{B_{1},B_{2}\}$ lifts to a character of $K$ that is Gauss-covered by $\mathcal{E}$.

Proof.

The sizes of the blocks in $\mathcal{E}$ are $2(m^{2}-m)=2m^{2}-2m$ and $2m^{2},2m^{2},2m^{2}$, as required for a $(2m^{2},2m,4,-)$ covering EBS.

Let $\chi\in\widehat{K}$ be nontrivial. Note that the kernel of $\chi|_{Q}$ contains at least one of $U,H_{1},H_{2}$; if $\chi$ is nontrivial on $Q$, the kernel is exactly one of the three. A block pulled back through a kernel of order $2$ satisfies $\chi(\pi^{-1}(B))=2\widetilde{\chi}(B)$ if $\chi$ is trivial on the kernel (with $\widetilde{\chi}$ the induced character) and $=0$ otherwise. We check the three cases.

If $\ker(\chi|_{Q})\supseteq U$ (including $\chi$ trivial on $Q$): the blocks $\pi_{i}^{-1}(R_{i})$ contribute $0$ — either $\chi$ is nontrivial on $H_{i}$, or $\chi$ is trivial on all of $Q$ and then the induced character on $K/H_{i}$ is principal on $Q/H_{i}$ and nontrivial, so $R_{i}$ gives $0$ by relativity. Write $\chi=\lambda\circ\pi_{U}$ with $\lambda\in\widehat{K/U}$ nontrivial; exactly one $i$ has $|\lambda(B_{i})|=m$, so exactly one block of $\mathcal{E}$ covers $\chi$, with value $2\lambda(B_{i})$ of modulus $2m$.

If $\ker(\chi|_{Q})=H_{1}$ exactly: $\chi$ is nontrivial on $U$ and on $H_{2}$, so the two lifted blocks and $\pi_{2}^{-1}(R_{2})$ give $0$. The induced character $\mu$ on $K/H_{1}$ is nonprincipal on $Q/H_{1}$, so $|\mu(R_{1})|=m$ and $\chi(\pi_{1}^{-1}(R_{1}))=2\mu(R_{1})$ has modulus $2m$. The case $\ker(\chi|_{Q})=H_{2}$ is symmetric.

Thus every nontrivial character is covered exactly once and with modulus $2m$. ∎

3 Supply of Relative Building Sets

The induction of Section 5 consumes, at every step, relative building sets of one normalized shape, which we now supply. This section rests on a result of Davis and Jedwab, quoted as Result 3.2 below, which is the only external input to our construction. All character values occurring in this section are naive.

Every group occurring from now on is of the form $W\times A$ with $A$ an abelian $2$-group, which we call the $2$-part; every subgroup of order $2$ of $W\times A$ is contained in $A$, as $|W|$ is odd.

Definition 3.1.

For $d\geq 1$, write $m_{d}=3\cdot 2^{d-1}$; thus the parameter $u=3\cdot 2^{d}$ of Theorem 1.1 equals $2m_{d}$. Let $d\geq 2$ and $m=m_{d}$, let $T$ be an abelian group of order $2m^{2}$, and let $V\leq T$ be a subgroup of order $2$. An $R$-set of modulus $m$ on $(T,V)$ is a building set with one block of size $m^{2}$ and modulus $m$ on $T$ relative to $V$.

Result 3.2 (Davis–Jedwab [6, Cor. 8.1(i)]).

For each $c\geq 1$ and each abelian group $S$ of order $2^{2c+1}$ with $\exp S\leq 2^{c+1}$, there exists a $(2^{2c}\cdot 9,\,2,\,2^{2c}\cdot 9,\,2^{2c-1}\cdot 9)$ semiregular relative difference set in $W\times S$ relative to any subgroup of order $2$.

In our terms, Result 3.2 reads as follows.

Theorem 3.3 (Supply).

Let $d\geq 2$, let $T$ be an abelian group of order $2m_{d}^{2}$ with $3$-part $W$ whose $2$-part has exponent at most $2^{d}$, and let $V\leq T$ be any subgroup of order $2$. Then there is an $R$-set of modulus $m_{d}$ on $(T,V)$.

Proof.

The $2$-part of $T$ has order $2^{2d-1}$ and exponent at most $2^{d}$, so Result 3.2, applied with $c=d-1$, provides a $(m_{d}^{2},\,2,\,m_{d}^{2},\,m_{d}^{2}/2)$ semiregular relative difference set $R$ in $T$ relative to $V$. By the character criterion for relative difference sets [6, Lemma 1.1(ii)], this means precisely that $|R|=m_{d}^{2}$, that $\chi(R)=0$ for every nontrivial character $\chi$ of $T$ that is principal on $V$, and that $|\chi(R)|=m_{d}$ for every character of $T$ that is nonprincipal on $V$. Thus $R$ is an $R$-set of modulus $m_{d}$ on $(T,V)$. ∎

4 Seeds

This section provides the seeds of our construction, which carry the non-naive character values:

Seed	Group	Constructed in
HDS $M_{1}$ of order $36$	$W\times\mathbb{Z}_{8}\times\mathbb{Z}_{2}$	Theorem 4.1
covering EBS from doubling $M_{1}$	$W\times\mathbb{Z}_{8}\times\mathbb{Z}_{2}^{2}$	Corollary 4.2
covering EBS $E_{3}$	$W\times\mathbb{Z}_{8}\times\mathbb{Z}_{4}$	Theorem 4.4

The HDS of order $36$ enters the constructions through its doubling (Corollary 4.2), which provides a second covering EBS with Gauss values, on $W\times\mathbb{Z}_{8}\times\mathbb{Z}_{2}^{2}$: it is used in Proposition 4.5 below and in the base case of Theorem 5.1.

4.1 The HDS $M_{1}$ of order $36$

Elements of $\Gamma_{1}=W\times\mathbb{Z}_{8}\times\mathbb{Z}_{2}$ are written $(u,v,x,y)$ with $(u,v)\in W$, $x\in\mathbb{Z}_{8}$, $y\in\mathbb{Z}_{2}$ (throughout this section, the coordinate pair $(u,v)$ ranges over $W$ and is unrelated to the order parameter $u$), and the characters of $\Gamma_{1}$ are $\psi_{(p,q)}\chi_{(s,t)}$ with $\psi_{(p,q)}(u,v)=\zeta_{3}^{pu+qv}$ and $\chi_{(s,t)}(x,y)=\zeta_{8}^{sx}(-1)^{ty}$.

Theorem 4.1.

The set $M_{1}\subseteq W\times\mathbb{Z}_{8}\times\mathbb{Z}_{2}$ displayed below is a HDS with parameters $(144,66,30)$ and order $36$, and the character $\psi_{(0,1)}\chi_{(1,0)}$ has the Gauss value

$$\psi_{(0,1)}\chi_{(1,0)}(M_{1})=2(\zeta_{3}-\zeta_{3}^{2})\,\overline{X}\,\zeta_{24}^{22}.$$ (3)

Set $M_{1}=\bigcup_{(u,v)\in W}\{(u,v)\}\times M_{(u,v)}$, where $M_{(u,v)}\subseteq\mathbb{Z}_{8}\times\mathbb{Z}_{2}$ are given by the following $0/1$ matrices (row index $x=0,\dots,7$ from top, column index $y=0,1$ from left):

$M_{(0,0)}=$  1 1 1 1 1 1 0 0 0 0 0 0 0 0 1 1    $M_{(0,1)}=$  1 1 0 0 0 0 1 1 0 0 1 1 1 1 0 0    $M_{(0,2)}=$  1 1 1 0 1 0 1 1 0 0 0 1 1 0 1 1    $M_{(1,0)}=$  1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1    $M_{(1,1)}=$  1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0

$M_{(1,2)}=$  0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0    $M_{(2,0)}=$  1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0    $M_{(2,1)}=$  0 1 1 0 0 1 0 1 1 0 0 1 1 0 1 0    $M_{(2,2)}=$  0 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0

We have $|M_{(0,2)}|=10$, $|M_{(1,2)}|=|M_{(2,2)}|=4$ and $|M_{(u,v)}|=8$ otherwise (total $66$). Theorem 4.1 was verified by exact integer computation.

In addition to $M_{1}$ itself, the constructions use the following two-block covering EBS obtained by doubling $M_{1}$; a block of the form $B$ below already appears in [6, Lemma 6.3].

Corollary 4.2.

On $K_{1}=\Gamma_{1}\times\mathbb{Z}_{2}$, put

$$\widetilde{B}=M_{1}\times\mathbb{Z}_{2},\qquad B=M_{1}\times\{0\}\ \cup\ (\Gamma_{1}\setminus M_{1})\times\{1\}.$$

Then $\{\widetilde{B},B\}$ is a $(144,12,2,-)$ covering EBS on $K_{1}\cong W\times\mathbb{Z}_{8}\times\mathbb{Z}_{2}^{2}$ which Gauss-covers a character.

Proof.

Write $\kappa$ for the character of $K_{1}$ with kernel $\Gamma_{1}$. Clearly $(\chi\times 1)(\widetilde{B})=2\chi(M_{1})$ and $(\chi\times\kappa)(\widetilde{B})=0$ for all $\chi\in\widehat{\Gamma_{1}}$. For $\chi\neq 1$ we have $\chi(\Gamma_{1})=0$, so $(\chi\times 1)(B)=\chi(M_{1})+\chi(\Gamma_{1}\setminus M_{1})=0$ and $(\chi\times\kappa)(B)=\chi(M_{1})-\chi(\Gamma_{1}\setminus M_{1})=2\chi(M_{1})$, while $(1\times\kappa)(B)=|M_{1}|-|\Gamma_{1}\setminus M_{1}|=66-78=-12$. Since $|\chi(M_{1})|=6$ for all $\chi\neq 1$ by Theorem 4.1 and (1), every nontrivial character of $K_{1}$ is covered by exactly one of the two blocks, with a value of absolute value $12$. As $|\widetilde{B}|=132=144-12$ and $|B|=144$, the pair $\{\widetilde{B},B\}$ is a $(144,12,2,-)$ covering EBS on $K_{1}$. Finally, by (3), the value of $\widetilde{B}$ at $(\psi_{(0,1)}\chi_{(1,0)})\times 1$ is twice a Gauss value of modulus $6$, hence a Gauss value of modulus $12$. ∎

Remark 4.3.

The block $B$ is the classical lift of a HDS to a relative difference set: a subset $D$ of an abelian group $G$ of order $4u^{2}$ is a HDS of order $u^{2}$ if and only if $D\times\{0\}\cup(G\setminus D)\times\{1\}$ is a semiregular $(4u^{2},2,4u^{2},2u^{2})$ relative difference set in $G\times\mathbb{Z}_{2}$ relative to $\{0\}\times\mathbb{Z}_{2}$. In particular, the values $2\chi(M_{1})$ show that semiregular relative difference sets with non-naive character values exist as well.

4.2 The covering EBS $E_{3}$

Elements of $\Gamma_{2}=W\times\mathbb{Z}_{8}\times\mathbb{Z}_{4}$ are written $(u,v,x,z)$ with $(u,v)\in W$, $x\in\mathbb{Z}_{8}$, $z\in\mathbb{Z}_{4}$, and we recall $X=1+\zeta_{8}+\zeta_{8}^{3}$, $X\overline{X}=3$. Set

$$C_{n}=\bigcup_{(u,v)\in W}\{(u,v)\}\times C^{(n)}_{(u,v)}\qquad(n=1,2),$$

where $C^{(n)}_{(u,v)}\subseteq\mathbb{Z}_{8}\times\mathbb{Z}_{4}$ are given by the following $0/1$ matrices (row index $x=0,\dots,7$ from top, column index $z=0,\dots,3$ from left):

$C^{(1)}_{(0,0)}=$  1 0 1 1 1 0 1 1 1 0 1 1 0 1 0 0 1 0 1 1 1 0 1 1 1 0 1 1 0 1 0 0    $C^{(1)}_{(0,1)}=$  0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1    $C^{(1)}_{(0,2)}=$  0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1    $C^{(1)}_{(1,0)}=$  0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0    $C^{(1)}_{(1,1)}=$  1 1 0 0 1 1 0 0 1 1 0 0 0 0 1 1 1 1 0 0 1 1 0 0 1 1 0 0 0 0 1 1

$C^{(1)}_{(1,2)}=$  0 1 1 0 0 1 1 0 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 0 1 1 0 1 0 0 1    $C^{(1)}_{(2,0)}=$  0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0    $C^{(1)}_{(2,1)}=$  0 1 1 0 0 1 1 0 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 0 1 1 0 1 0 0 1    $C^{(1)}_{(2,2)}=$  1 1 0 0 1 1 0 0 1 1 0 0 0 0 1 1 1 1 0 0 1 1 0 0 1 1 0 0 0 0 1 1

$C^{(2)}_{(0,0)}=$  1 1 0 0 0 1 1 0 1 1 0 0 1 0 0 1 0 0 1 1 1 0 0 1 0 0 1 1 0 1 1 0    $C^{(2)}_{(0,1)}=$  0 1 0 1 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 1 0 1 0 0 1 0 1 1 0 1 0    $C^{(2)}_{(0,2)}=$  0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 1 1 1 1    $C^{(2)}_{(1,0)}=$  1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1    $C^{(2)}_{(1,1)}=$  1 1 0 0 0 1 1 0 1 1 0 0 1 0 0 1 0 0 1 1 1 0 0 1 0 0 1 1 0 1 1 0

$C^{(2)}_{(1,2)}=$  0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0    $C^{(2)}_{(2,0)}=$  0 0 1 1 0 1 1 0 0 0 1 1 1 0 0 1 1 1 0 0 1 0 0 1 1 1 0 0 0 1 1 0    $C^{(2)}_{(2,1)}=$  0 0 1 1 0 1 1 0 0 0 1 1 1 0 0 1 1 1 0 0 1 0 0 1 1 1 0 0 0 1 1 0    $C^{(2)}_{(2,2)}=$  0 0 0 0 1 0 0 1 1 0 1 0 0 1 1 0 1 1 1 1 0 1 1 0 0 1 0 1 1 0 0 1

We have $|C_{1}|=132$ and $|C_{2}|=144$.

Theorem 4.4.

The pair $E_{3}=\{C_{1},C_{2}\}$ displayed above is a $(144,12,2,-)$ covering EBS on $\Gamma_{2}$. The character $\lambda(u,v,x,z)=\zeta_{3}^{\,v}\zeta_{8}^{\,x}(-1)^{z}$ is Gauss-covered, with

$$\lambda(C_{1})=0,\qquad\lambda(C_{2})=4(\zeta_{3}-\zeta_{3}^{2})\,X\,\zeta_{3}^{2}.$$

All assertions of Theorem 4.4 were verified by exact integer computation. The pair $E_{3}$ was obtained from a computer-found HDS of order $144$ in $W\times\mathbb{Z}_{8}^{2}$; note that, conversely, assembling $E_{3}$ into $W\times\mathbb{Z}_{8}^{2}$ by Lemma 2.2 recovers a HDS of order $144$.

With the seeds in hand, the cases $d\leq 2$ of Theorem 1.1 can be settled at once; the machinery of the following two sections is needed only for $d\geq 3$.

Proposition 4.5.

Theorem 1.1 holds for $d\leq 2$.

Proof.

For $d=1$, condition (2) forces $H\cong\mathbb{Z}_{8}\times\mathbb{Z}_{2}$, so Theorem 4.1 proves the claim. Let $d=2$. By Corollary 4.2, the doubling of $M_{1}$ is a $(144,12,2,-)$ covering EBS on $W\times\mathbb{Z}_{8}\times\mathbb{Z}_{2}^{2}$; together with $E_{3}$ (Theorem 4.4), we have two covering EBSs with Gauss values of modulus $12$, on $W\times\mathbb{Z}_{8}\times\mathbb{Z}_{2}^{2}$ and on $W\times\mathbb{Z}_{8}\times\mathbb{Z}_{4}$. By Lemma 2.2, each of them yields a HDS of order $144$ in every abelian group that contains the respective group as a subgroup of index $2$, and these HDSs are of Gauss type, as their character values are roots of unity times values of the EBSs. The groups reached in this way are $W\times H$ with $H\in\{\mathbb{Z}_{16}\times\mathbb{Z}_{2}^{2},\ \mathbb{Z}_{8}\times\mathbb{Z}_{4}\times\mathbb{Z}_{2},\ \mathbb{Z}_{8}\times\mathbb{Z}_{2}^{3}\}$ from the first EBS and $H\in\{\mathbb{Z}_{8}\times\mathbb{Z}_{8},\ \mathbb{Z}_{16}\times\mathbb{Z}_{4},\ \mathbb{Z}_{8}\times\mathbb{Z}_{4}\times\mathbb{Z}_{2}\}$ from the second — together all five abelian groups $H$ of order $64$ with $8\leq\exp H\leq 16$, as required by (2) for $d=2$. ∎

5 The Closure

In view of Proposition 4.5, it remains to prove Theorem 1.1 for $d\geq 3$. This is done by an induction on $d$ that constructs two families of covering EBSs with Gauss values at once: two-block ones on groups of order $2m_{d}^{2}$ and four-block ones on groups of order $4m_{d}^{2}$. All groups in this section have $3$-part $W$.

Theorem 5.1 (Stock).

Let $d\geq 3$ and let $A$ be an abelian $2$-group with $8\leq\exp A\leq 2^{d}$.

1. If $|A|=2^{2d-1}$, then $T=W\times A$ carries an $(m_{d}^{2},m_{d},2,-)$ covering EBS which Gauss-covers a character.

2. If $|A|=2^{2d}$, then $\Gamma=W\times A$ carries a $(2m_{d}^{2},2m_{d},4,-)$ covering EBS which Gauss-covers a character.

Proof.

We prove (a) and (b) simultaneously by induction on $d$: part (a) follows from the seeds when $d=3$ and from part (b) for $d-1$ when $d\geq 4$, and part (b) then follows from part (a) for the same $d$.

(a) For $d=3$, note that $A$ has order $32$ and exponent $8$, so $A\cong\mathbb{Z}_{8}\times\mathbb{Z}_{4}$ or $A\cong\mathbb{Z}_{8}\times\mathbb{Z}_{2}^{2}$. In the first case, $T$ carries the covering EBS $E_{3}$ of Theorem 4.4; in the second case, it carries the doubling of $M_{1}$ (Corollary 4.2). In both cases the parameters are $(144,12,2,-)=(m_{3}^{2},m_{3},2,-)$.

Let $d\geq 4$ and write $A=\bigoplus_{i}\langle e_{i}\rangle$ with cyclic groups $\langle e_{i}\rangle$. We claim that $A$ has a subgroup $A_{0}$ of index $2$ with $8\leq\exp A_{0}\leq 2^{d-1}$. Note that halving one summand, that is, passing to $A_{0}=\langle 2e_{j}\rangle\oplus\bigoplus_{i\neq j}\langle e_{i}\rangle$, yields a subgroup of index $2$, and that $A$ has at least two summands, since $\exp A\leq 2^{d}<|A|$. If $\exp A\leq 2^{d-1}$, we halve a summand chosen so that the exponent is preserved: a summand of maximal order if at least two summands have maximal order, and any other summand otherwise. If $\exp A=2^{d}$, then exactly one summand has order $2^{d}$, as two such summands would exceed $|A|=2^{2d-1}$; halving it gives $\exp A_{0}=2^{d-1}$, since all other summands have order at most $2^{d-1}$. In both cases $8\leq\exp A_{0}\leq 2^{d-1}$, using $d-1\geq 3$.

Now $K=W\times A_{0}$ has order $4m_{d-1}^{2}$ and carries a $(2m_{d-1}^{2},2m_{d-1},4,-)$ covering EBS which Gauss-covers a character, by part (b) for $d-1$. Since $[T:K]=2$ and $2m_{d-1}=m_{d}$, Lemma 2.3 turns it into an $(m_{d}^{2},m_{d},2,-)$ covering EBS on $T$ which Gauss-covers a character.

(b) Write $A=\bigoplus_{i}\langle e_{i}\rangle$ with cyclic groups $\langle e_{i}\rangle$; there are at least two summands, since $\exp A\leq 2^{d}<|A|$. Choose an index $j$ as follows: if at least two summands have maximal order, let $\langle e_{j}\rangle$ be one of them; otherwise, let $\langle e_{j}\rangle$ be any summand of nonmaximal order. Let $v$ be the involution of $\langle e_{j}\rangle$, let $w$ be the involution of $\langle e_{k}\rangle$ for some $k\neq j$, and put $Q=\langle v,w\rangle\cong\mathbb{Z}_{2}^{2}$. Let $U=\langle v\rangle$, $H_{1}=\langle w\rangle$ and $H_{2}=\langle v+w\rangle$ be the three subgroups of order $2$ of $Q$.

Since $\langle v\rangle\leq\langle e_{j}\rangle$, the $2$-part of $\Gamma/U$ is obtained from $A$ by replacing the summand $\langle e_{j}\rangle$ with a cyclic group of half the order. By the choice of $j$, its exponent equals $\exp A$, so part (a) provides an $(m_{d}^{2},m_{d},2,-)$ covering EBS on $\Gamma/U$, a group of order $2m_{d}^{2}$, which Gauss-covers a character. The quotients $\Gamma/H_{1}$ and $\Gamma/H_{2}$ also have order $2m_{d}^{2}$, and the exponents of their $2$-parts divide $\exp A\leq 2^{d}$; hence Theorem 3.3 provides $R$-sets of modulus $m_{d}$ on $(\Gamma/H_{i},\,Q/H_{i})$, $i=1,2$. Now Lemma 2.4 yields a $(2m_{d}^{2},2m_{d},4,-)$ covering EBS on $\Gamma$, and a Gauss-covered character of $\Gamma/U$ lifts to a Gauss-covered character of $\Gamma$. ∎

Lemma 5.2 (Target selection).

Let $d\geq 3$ and let $H$ be an abelian $2$-group of order $2^{2d+2}$ with $8\leq\exp H\leq 2^{d+2}$. Then $H$ has a subgroup $H_{0}$ of index $4$ with $8\leq\exp H_{0}\leq 2^{d}$.

Proof.

Write $H=\bigoplus_{i}\langle e_{i}\rangle$ with cyclic groups $\langle e_{i}\rangle$. If $\exp H\leq 2^{d}$, we halve summands twice, each time preserving the exponent as in the proof of Theorem 5.1(a); this is possible, as at each stage the group has order greater than its exponent and hence at least two summands. If $\exp H=2^{d+1}$ and two summands have order $2^{d+1}$, then $H\cong\mathbb{Z}_{2^{d+1}}^{2}$, as $|H|=2^{2d+2}$; in this case we halve both summands. If $\exp H=2^{d+1}$ and only one summand has order $2^{d+1}$, we halve that summand, which yields exponent $2^{d}$, and then halve once more, preserving the exponent. If $\exp H=2^{d+2}$, then only one summand has order $2^{d+2}$, say $\langle e_{j}\rangle$, and all other summands have order at most $2^{d}$, as $|H|=2^{2d+2}$; in this case we replace $\langle e_{j}\rangle$ by $\langle 4e_{j}\rangle$, a subgroup of index $4$. In all cases we obtain a subgroup $H_{0}$ of index $4$ with $\exp H_{0}\in\{\exp H,\,2^{d}\}$ and thus $8\leq\exp H_{0}\leq 2^{d}$. ∎

Proof of Theorem 1.1.

Necessity was proved in Section 1, and sufficiency for $d\leq 2$ is Proposition 4.5. Let $d\geq 3$. Lemma 5.2 provides a subgroup $H_{0}$ of index $4$ of $H$ with $8\leq\exp H_{0}\leq 2^{d}$, and Theorem 5.1(b) provides a $(2m_{d}^{2},2m_{d},4,-)$ covering EBS $\mathcal{E}$ on $K=\mathbb{Z}_{3}^{2}\times H_{0}$ which Gauss-covers a character. Choose $L$ with $K\leq L\leq\mathbb{Z}_{3}^{2}\times H$ and $[L:K]=2$, which is possible since $(\mathbb{Z}_{3}^{2}\times H)/K$ is abelian of order $4$. By Lemma 2.3 with $2m_{d}=u$, the group $L$ carries a $(u^{2},u,2,-)$ covering EBS which Gauss-covers a character, and Lemma 2.2 assembles the latter into a HDS $D$ of order $u^{2}$ in $\mathbb{Z}_{3}^{2}\times H$. The values of $D$ are roots of unity times values of $\mathcal{E}$, so some character value of $D$ is a Gauss value of modulus $u$, and $D$ is non-naive by Lemma 1.2. ∎