Hadamard Matrices with Cocyclic Core

Abstract

Since Horadam and de Launey introduced the cocyclic framework on combinatorial designs in the 1990s, it has revealed itself as a powerful technique for looking for (cocyclic) Hadamard matrices. Ten years later, the series of papers by Kotsireas, Koukouvinos and Seberry about Hadamard matrices with one or two circulant cores introduced a different structured approach to the Hadamard conjecture. This paper is built on both strengths, so that Hadamard matrices with cocyclic cores are introduced and studied. They are proved to strictly include usual Hadamard matrices with one and two circulant cores, and therefore provide a wiser uniform approach to a structured Hadamard conjecture.

1. Introduction

Hadamard matrices are square matrices of order n with entries from $\{-1,1\}$ such that their rows are pairwise orthogonal. They were identified as the extremal solutions of the maximal determinant problem for square matrices with entries from the unit disc [1].

It may be straightforwardly checked that, regardless of the elemental cases $n=1$ and $n=2$, as soon as three rows have to be mutually orthogonal, this implies that n is necessarily a multiple of 4. Unexpectedly, the converse assertion (that there exists a Hadamard matrix for every order $n=4w$), remains one of the most famous open century-old problems in mathematics, the Hadamard Conjecture.

The techniques for constructing Hadamard matrices are usually organized into three types: multiplication theorems, ”plug-in” methods and direct constructions [2,3]. Nevertheless, none of them has succeeded to provide a uniform method for constructing these matrices.

The cocyclic approach, as introduced in [4], tries to cast new light on this purpose. A cocyclic matrix (over a group G) consists of a matrix $\left(\psi \right(i,j\left)\right)$ constructed from a binary (2-)cocycle over G, $\psi :G\times G\to \{-1,1\}$, so that:

$$\psi (a,b)\psi (a,b·c)\psi (a·b,c)\psi (b,c)=1,$$

(1)

for all $a,b,c\in G$. It is called a 2-coboundary if a map $\varphi :G\to G$ exists such that $\psi (a,b)=\varphi \left(a\right)\varphi \left(b\right)\varphi \left(ab\right)$, for every $a,b\in G$.

Accordingly, checking whether a cocyclic matrix is Hadamard translates into checking if the summation of each row (but the first) is zero [5]. This is not the only advantage of this approach. It endows the matrix with an enriched structure, which is being successfully exploited to look for Hadamard matrices [2,6,7]. Nowadays, this framework is broadening its expected horizons, since more recently even quasigroups [8] and Latin rectangles [9] have come into play.

(Cocyclic) Hadamard matrices are intimately related to other combinatorial objects, such as designs, (almost) difference sets and (almost) perfect sequences. We next briefly recall these notions and relations, as they are introduced in [2,10], since they will be relevant in the exposition of the paper. For further information, the interested reader is referred to [2,10] and the references therein.

A $(v,k,\lambda )$-design is a pair $\mathcal{D}=(P,B)$ consisting of a v-set $P=\{p_1,\dots ,p_v\}$ of points and a v-set $B=\{B_1,\dots ,B_v\}$ of k-blocks, $1<k<v$, such that each pair of distinct points is contained in exactly $\lambda$ blocks.

If G is an automorphism group of $\mathcal{D}$ such that for each pair of points $p_i,p_j$ there is a unique $g\in G$ such that $g\left(p_i\right)=p_j$, and similarly for blocks, the design $\mathcal{D}$ is called regular with respect to G, and G is called a regular group for $\mathcal{D}$.

Matricially, $\mathcal{D}$ is easily represented by its $v\times v$ incidence matrix $A_{\mathcal{D}}=\left(a_{ij}\right)$, rows and columns in correspondence with blocks and points, respectively, such that $a_{ij}=1$ if and only if $p_j\in B_i$, and 0 otherwise.

It may be straightforwardly checked that a $v\times v$ square matrix A with entries 0,1 is an incidence matrix of a $(v,k,\lambda )$-design if and only if $A{A}^T=(k-\lambda )I+\lambda J$ and $AJ=kJ$, for I the identity matrix and J the all 1s matrix.

In particular, there exists a Hadamard matrix H of order $4w$ if and only if there exists a square $(4w-1,2w-1,w-1)$-design $\mathcal{D}$. Actually, noting $A^{\prime }=2A_{\mathcal{D}}-J$, the matrix obtained from $A_{\mathcal{D}}$ by replacing 0s by $-1$s, then $H=\left(\begin{array}{cc}1& \mathbf{1}\\ {\mathbf{1}}^T& A^{\prime }\end{array}\right)$, is a Hadamard matrix, and vice versa.

Other combinatorial structures intimately related to Hadamard matrices and designs are difference sets.

A $(v,k,\lambda )$-difference set in a group $(G,·)$ of order v is a k-subset $D\subset G$ such that the $k(k-1)$-list of quotients $d_1{d}_2^{-1}$ of distinct elements $d_1,d_2$ of D contains each non-identity element of G exactly $\lambda$ times. The order of the difference set is $n=k-\lambda$. The difference set is called cyclic or abelian, if G has the respective property.

Remark 1.

Notice that if D is a $(v,k,\lambda )$-difference set, then $G\backslash D$ defines a $(v,v-k,v-2k+\lambda )$-difference set, the so-called complementary difference set of D.

Let G be a group of v elements, and $D\subset G$ a k-subset, $1<k<v$. Then D is a $(v,k,\lambda )$-difference set in G if and only if $\mathcal{D}=(G,\{gD:g\in G\left\}\right)$ is a $(v,k,\lambda )$-design with regular group G, and vice versa. Therefore, as soon as a $(4w-1,2w-1,w-1)$-difference set exists, there exists a Hadamard matrix of order $4w$ in turn.

Now we turn our interest to (almost) perfect sequences, as introduced in [10].

Consider a cyclic binary sequence $\left(a_i\right)$ with entries from $\{-1,1\}$ of period v, such that $a_{i+v}=a_i$, for $i\ge 0$. The autocorrelation of $\left(a_i\right)$ for shift t is defined as the sum $c_t\left(a_i\right)={\displaystyle \sum _{i=0}^{v-1}}{a}_i{a}_{i+t}.$

A sequence $\left(a_i\right)$ is called perfect when $c_t\left(a_i\right)=r$ is constant for $0<t\le v-1$, and equals the smallest possible $max|c_t\left(a_i\right)|\in \{0,1,2\}$, since $c_t\left(a\right)\equiv vmod4$.

Remark 2.

Notice that a perfect periodic sequence with period v, k positive entries per period and autocorrelation $c_t\left(a_i\right)=r$, $0<t\le v-1$, is equivalent to a cyclic $(v,k,\lambda )$-difference set: it suffices to take $D=\{i:a_i=1,0\le i\le v-1\}$, so that $|D\cap (D+t\left)\right|=\lambda$ and $r=v-4(k-\lambda )$.

Depending on the value $c_t\left(a_i\right)=r\in \{0,\pm 1,\pm 2\}$, the existence of perfect sequences $\left(a_i\right)$ is summarized in [10]. In particular:

• The case $r=0$ corresponds to circulant Hadamard matrices of order v, which are conjectured to exist just for $v=4$.
• The case $r=1$ corresponds to $(2u^2+2u+1,u^2,\frac{u^2-u}{2})$-cyclic difference sets, which are conjectured to exist just for $u=1,2$.
• There is no known example for the case $r=2$, and experimental results suggest that none might exist.
• The case $r=-2$ gives just one difference set, the $(2,1,0)$-difference set.
• The case $r=-1$ gives the so-called Paley–Hadamard difference sets, with parameters $(v,\frac{v-1}{2},\frac{v-3}{4})$, whose existence implies in turn the existence of Hadamard matrices of order $v+1$. These include very well known families of difference sets [10].

Remark 3.

The case $r=-1$ is of particular interest in this paper, since it includes the so-called Hadamard matrices with one circulant core [11], of the form $\left(\begin{array}{cc}1& \mathbf{1}\\ \mathbf{1}& A\end{array}\right),$ for A being a circulant matrix whose first row consists of a perfect sequence $\left(a_i\right)$ with $c_t\left(a_i\right)=-1$, $0<t\le 4w-2$, and ${\displaystyle \sum _{i=0}^{4w-2}{a}_i=-1}$.

When relaxing some conditions, the combinatorial structures described above may be generalized, in some sense.

For instance, given a k-subset D of a group $(G,·)$ of order v, it might occur that the number of occurrences of each non identity element in G among the list of quotients $d_1{d}_2^{-1}$ of distinct elements $d_1\ne d_2\in D$ is either $\lambda$ or $\lambda +1$, not just $\lambda$. Then D defines a $(v,k,\lambda ,s)$-almost difference set, where s denotes the amount of elements of $G\backslash \left\{1\right\}$ that appears precisely $\lambda$ times in the list $d_1{d}_2^{-1}$, the remaining $v-s-1$ elements of G appearing exactly $\lambda +1$ times.

Almost difference sets are related to almost perfect sequences, in the following manner.

A sequence $\left(a_i\right)$ is called almost perfect when two possible values $r_1,r_2$ are allowed for $c_t\left(a_i\right)$, for $0<t\le v-1$, with $|r_1|+|r_2|=4$. As noted in [10], this is equivalent to $D=\{i:a_i=1,0\le i\le v-1\}$ being an $(v,k,k-\lfloor \frac{v}{4}\rfloor -1,kv-k^2-(k-1)\lfloor \frac{v}{4}\rfloor )$ almost difference set, for $k=\left|D\right|$.

As claimed in [10], computer experimentation seems to suggest that balanced (i.e., half of the entries are of opposite sign) almost perfect sequences might exist for every $v\equiv 1\left(mod4\right)$. As soon as two such balanced sequences $\left(a_i\right)$ and $\left(b_i\right)$ combine to give $c_t\left(a_i\right)+c_t\left(b_i\right)=-2$, for $0<t\le 2w-2$, a Hadamard matrix of order $4w$ would exist in turn: this is one of the most prolific techniques for constructing Hadamard matrices of order $4w$, the so-called two circulant cores "plug-in" method [3,12,13].

Actually, the Hadamard matrix would consist in:

$$\left(\begin{array}{cccc}\hfill -1& \hfill -1& \hfill \mathbf{1}& \hfill \mathbf{1}\\ \hfill -1& \hfill 1& \hfill \mathbf{1}& \hfill -\mathbf{1}\\ \hfill \mathbf{1}& \hfill \mathbf{1}& \hfill A& \hfill B\\ \hfill \mathbf{1}& \hfill -\mathbf{1}& \hfill B^T& \hfill -A^T\end{array}\right),$$

(2)

for A and B being the circulant matrices based on $\left(a_i\right)$ and $\left(b_i\right)$, respectively.

As a matter of fact, among the most prominent "plug-in" methods for constructing Hadamard matrices, precisely the two circulant cores technique and the Goethals–Seidel arrays [14] were the only ones that remain out of the cocyclic framework, as indicated in [15]. Actually, Goethals–Seidel arrays have been recently characterized as (pseudo)cocyclic matrices over quasigroups in [16].

Finally, we now recall the characterization of cocyclic Hadamard matrices in terms of certain difference sets and designs, as introduced in Theorem 2.4 of [17], and which is used in [6] to provide an exhaustive classification of cocyclic Hadamard equivalent matrices of orders less than 40. For the sake of simplicity and readability, we will not detail the definition of these particular combinatorial structures, as they are not needed for the comprehension of the paper.

Theorem 1.

[17] The following statements are equivalent:

1.

There is a cocyclic Hadamard matrix over G, $\left|G\right|=4w$.

2.

There is a (normal) relative $(4w,2,4w,2w)$-difference set in a central extension of $\langle -1\rangle$ by G, relative to $\langle -1\rangle$.

3.

There is a divisible $(4w,2,4w,2w)$-design, class regular with respect to $\langle -1\rangle$, and with central extension of $\langle -1\rangle$ by G as a regular group of automorphisms.

The aim of this paper is to settle a theoretical background for the study of Hadamard matrices consisting of cocyclic cores, instead of circulant cores. Actually, Hadamard matrices with a cocyclic core will be shown to be placed in some sense halfway from full cocyclic Hadamard matrices and usual Hadamard matrices, as $4w\times 4w$ Hadamard matrices with a cocyclic core will be proven to exist if and only if there exist $(4w-1,2w-1,w-1)$-difference sets (Theorem 2), which are already known to imply the existence of full Hadamard matrices, as commented before.

The paper is organized as follows. In Section 2, we characterize the existence of Hadamard matrices with a $(4w-1)\times (4w-1)$ cocyclic core, in terms of some perfect sequences and difference sets. Section 3 is devoted to the characterization of Hadamard matrices with a $(4w-2)\times (4w-2)$ cocyclic core, in terms of certain almost perfect sequences and almost difference sets.

2. Hadamard Matrices with a $(\mathbf{4}\mathit{w}-\mathbf{1})\times (\mathbf{4}\mathit{w}-\mathbf{1})$ Cocyclic Core

As introduced in Section 1, Hadamard matrices with one circulant core consist of matrices of the type $\left(\begin{array}{cc}1& \mathbf{1}\\ \mathbf{1}& A\end{array}\right),$ for A being a circulant matrix whose first row consists of a perfect binary sequence $\left(a_i\right)$ with $c_t\left(a_i\right)=-1$, $0<t\le 4w-2$, and ${\sum }_{i=0}^{4w-2}{a}_i=-1$. They were extensively studied in [11].

In this section we study the conditions under which a cocyclic (instead of a simply circulant) matrix $M_{\psi }$ (for $\psi$ as in (1)) may be plugged in a structure of the type:

$$\left(\begin{array}{cc}?& ?\\ \alpha & M_{\psi }\end{array}\right),$$

(3)

in order to provide a Hadamard matrix as well, for $\alpha =({\alpha }_{g_0},\dots ,{\alpha }_{g_{4w-2}})$, given an ordering $\{g_0=1,\dots ,g_{4w-2}\}$ of G.

Notice that the first row of such a structure is not of interest, since every partial Hadamard matrix of size $(4w-z)\times 4w$, $1\le z\le 7$, is known to be extendable to a full $4w\times 4w$ Hadamard matrix [18].

Theorem 2.

There exists a Hadamard matrix of order $4w$ with a $(4w-1)\times (4w-1)$ cocyclic core if and only if there exists a $(4w-1,2w,w)$-difference set (or, equivalently, a $(4w-1,2w-1,w-1)$-difference set).

The following sequence of lemmas will help in the task of proving this result.

Lemma 1.

The first row (and column) of $M_{\psi }$ consists of a common single value, either 1 or $-1$.

Proof. 

This is a common fact of cocyclic matrices, and it may be straightforwardly derived from Equation (1): as soon as one fixes $a=b=1\in G$, it follows that $\psi (1,1)·\psi (1,g_k)=1$, for every $g_k\in G$.

A similar argument applies to the first column, taking $b=c=1$ in (1) instead. □

Remark 4.

Cocylic matrices $M_{\psi }$ for which $\psi (1,j)=\psi (j,1)=1$ are usually termed normalized.

The following result is at the very heart of the usual cocyclic test for Hadamard matrices [2,5]. However, we will rather state it and reproduce its proof explicitly, since both of them will be extensively used in the paper.

Lemma 2.

For every $g_i,g_j\in G$, the dot product of rows indexed by $g_i$ and $g_j$ in $M_{\psi }$ consists of:

$$\sum _{g_k\in G}\psi (g_i,g_k)\psi (g_j,g_k)=\psi (g_i{g}_j^{-1},g_j)\sum _{g_k\in G}\psi (g_i{g}_j^{-1},g_k).$$

Proof. 

Actually, this is an alternative way to read the usual cocyclic Hadamard test of [5]. From (1), taking $a=g_i{g}_j^{-1}$, $b=j$ and $c=g_k$, it follows that:

$$\psi (g_i{g}_j^{-1},g_j)·\psi (g_i{g}_j^{-1},g_j{g}_k)=\psi (g_i,g_k)·\psi (g_j,g_k).$$

Therefore, the dot product of rows indexed by $g_i$ and $g_j$ in $M_{\psi }$ consists of:

$$\sum _{g_k\in G}\psi (g_i,g_k)\psi (g_j,g_k)=\sum _{g_k\in G}\psi (g_i{g}_j^{-1},g_j)\psi (g_i{g}_j^{-1},g_j{g}_k)=\psi (g_i{g}_j^{-1},g_j)\sum _{g_k\in G}\psi (g_i{g}_j^{-1},g_k).$$

□

Lemma 3.

Assume that the matrix in (3) is Hadamard. Then ${\displaystyle \sum _{g_k\in G}{\alpha }_{g_k}=\pm 1}$.

Proof. 

From Remark 4 we know that $\psi (g_k,1)$ is constant (for both 1 and $-1$) for every $g_k\in G$. Therefore, the dot product of columns 1 and 2 of the matrix in (3) consists of:

$$0=\pm 1\pm \sum _{g_k\in G}{\alpha }_{g_k},$$

and the result follows. □

Lemma 4.

Assume that the matrix in (3) is Hadamard. Then ${\displaystyle \sum _{g_k\in G}\psi (g_i,g_k)=-\psi (g_i,1)·{\alpha }_1·{\alpha }_{g_i}}$, for every $g_i\in G\backslash \left\{1\right\}$.

Proof. 

Taking $g_j=1\in G$ in Lemma 2, it follows that the dot product of rows indexed by $g_i$ and 1 in (3) consists of:

$$0={\alpha }_{g_i}·{\alpha }_1+\psi (g_i,1)\sum _{g_k\in G}\psi (g_i,g_k),$$

from which the asserted result derives at once. □

Lemma 5.

Assume that the matrix in (3) is Hadamard. Then $\psi (g_i,g_j)=\psi (g_i,1)·{\alpha }_1·{\alpha }_{g_i}·{\alpha }_{g_j}·{\alpha }_{g_i{g}_j}$, for every $g_i,g_j\in G$.

Proof. 

From Lemma 2, the dot product of the rows indexed by $g_i{g}_j$ and $g_j$ in (3) consists of:

$$0={\alpha }_{g_i{g}_j}·{\alpha }_{g_j}+\psi (g_i,g_j)\sum _{g_k\in G}\psi (g_i,g_k).$$

Consequently, taking into account Lemma 4,

$$0={\alpha }_{g_i{g}_j}·{\alpha }_{g_j}-\psi (g_i,1)·{\alpha }_1·{\alpha }_{g_i}\psi (g_i,g_j),$$

so that $\psi (g_i,g_j)=\psi (g_i,1)·{\alpha }_1·{\alpha }_{g_i}·{\alpha }_{g_j}·{\alpha }_{g_i{g}_j}$. □

In the circumstances above, the following results may be straightforwardly derived.

Corollary 1.

ψ is completely characterized as a 2-coboundary $\psi (g_i,g_j)=\varphi \left(g_i\right)\varphi \left(g_j\right)\varphi \left(g_i{g}_j\right)$, for $\varphi :G\to \{-1,1\}$ defined as $\varphi \left(g_i\right)=\varphi \left(g_1\right)·{\alpha }_1·{\alpha }_{g_i}$, $\varphi \left(g_1\right)=\pm 1$.

Remark 5.

Notice that it is irrelevant whether one fixes $\varphi \left(g_1\right)$ to be either 1 or $-1$. This just has to be with the (un)normalized character of the related 2-cocycle, as noted in Remark 4.

Corollary 2.

${\displaystyle \sum _{g_j\in G}{\alpha }_{g_j}{\alpha }_{g_i{g}_j}=-1}$, for every $g_i\in G$.

Proof. 

From Lemma 5, $\psi (g_i,g_j)={\alpha }_1{\alpha }_{g_i}{\alpha }_{g_j}{\alpha }_{g_i{g}_j}$. Adding as $g_j$ runs on G, we obtain:

$$-{\alpha }_1{\alpha }_{g_i}=\sum _{g_j\in G}\psi (g_i,g_j)={\alpha }_1{\alpha }_{g_i}\sum _{g_j\in G}{\alpha }_{g_j}{\alpha }_{g_i{g}_j},$$

from which the result derives at once. □

Lemma 6.

Assume that $\left({\alpha }_{g_k}\right)$ and $M_{\psi }$ are given so that rows from 2 to $4w$ in (3) are pairwise orthogonal. Then this matrix may be completed to a full Hadamard matrix, in essentially one way (up to negation of the row).

Proof. 

Let $(s_1,s_2,\dots ,s_{4w})$ be the unknown entries of the first row of (3).

Lemma 1 guarantees that the first column in $M_{\psi }$ consists of a common constant, $\psi (1,1)$. Take $s_2=\psi (1,1)$, so that the second column of (3) consists of a common constant.

From the orthogonality law, the dot product of column $i\ne 2$ with the second column has to be zero. Consequently, since the second column is formed by a common constant, the summation of each column $i\ne 2$ of (3) has to be zero, as well. This characterizes uniquely the first row of the matrix (once $s_2$ has been fixed). □

We can now prove Theorem 2.

Proof. 

We first prove the sufficient condition.

Assume that a Hadamard matrix of the form (3) exists, with a cocyclic core consisting of $M_{\psi }$.

In these circumstances, notice that $\left({\alpha }_{g_k}\right)$ defines a generalized perfect sequence, in the sense that:

• It is balanced, as Lemma 3 indicates.
• A generalized autocorrelation function for $\left({\alpha }_{g_i}\right)$ may be defined, so that shift $g_t$ depends on the right action of $g_t$ by means of the group law of G: ${\displaystyle c_t\left({\alpha }_{g_k}\right)=\sum _{g_k\in G}{\alpha }_{g_k}{\alpha }_{g_k{g}_t}}$.
• Corollary 2 shows that $\left({\alpha }_{g_k}\right)$ is perfect.

In these circumstances, the set $D=\{g_k:{\alpha }_{g_k}=1\}$ defines a difference set, as noted in Remark 2.

Since the sequence is balanced, it follows that $\left|D\right|=2w$ or $\left|D\right|=2w-1$. Furthermore, it may be straightforwardly checked that $|D\cap D·g_t|=|D|-w$. No matter what the concrete value of $\left|D\right|$ is, a couple of complementary difference sets with parameters $(4w-1,2w,w)$ and $(4w-1,2w-1,w-1)$ are thus defined (see Remark 1).

Conversely, starting from such a difference set, as noted in Remark 2, the process works the other way around, and the proof ends, as soon as the matrix so obtained may be extended to a full Hadamard matrix, attending to Lemma 6. □

Example 1.

Consider the multiplicative cyclic group of order 3, $G=(C_3,·)=\langle a:a^3=1\rangle$, endowed with the natural ordering $\{1,a,a^2\}$.

The subset $D=\{a,a^2\}$ defines a $(3,2,1)$-difference set in G, since $a·a^{-2}=a^2$ and $a^2·a^{-1}=a$.

Let us consider the sequence $\alpha ={\left({\alpha }_g\right)}_{g\in D}=(-1,1,1)$, such that ${\alpha }_g=1$ if $g\in D$, and ${\alpha }_g=-1$ otherwise.

By construction, $\left({\alpha }_g\right)$ defines a perfect sequence. Actually:

• ${\alpha }_1·{\alpha }_{1·a}+{\alpha }_a·{\alpha }_{a·a}+{\alpha }_{a^2}·{\alpha }_{a^2·a}=-1$.
• ${\alpha }_1·{\alpha }_{1·a^2}+{\alpha }_a·{\alpha }_{a·a^2}+{\alpha }_{a^2}·{\alpha }_{a^2·a^2}=-1$.

Consider the map $\varphi :(C_3,·)\to \{-1,1\}$ defined as $\varphi \left(1\right)=1$, $\varphi \left(a\right)={\alpha }_1·{\alpha }_a=-1$, $\varphi \left(a^2\right)={\alpha }_1·{\alpha }_{a^2}=-1$. Let $\psi :C_3\times C_3\to \{-1,1\}$ be the 2-coboundary defined as $\psi (i,j)=\varphi \left(i\right)\varphi \left(j\right)\varphi (i·j)$, so that $M_{\psi }$ reads as:

$$\left(\begin{array}{ccc}\hfill 1& \hfill 1& \hfill 1\\ \hfill 1& \hfill -1& \hfill 1\\ \hfill 1& \hfill 1& \hfill -1\end{array}\right).$$

Plugging this matrix in (3), we get:

$$\left(\begin{array}{rrrr}\hfill ?& \hfill ?& \hfill ?& \hfill ?\\ \hfill -1& \hfill 1& \hfill 1& \hfill 1\\ \hfill 1& \hfill 1& \hfill -1& \hfill 1\\ \hfill 1& \hfill 1& \hfill 1& \hfill -1\end{array}\right).$$

This matrix may be completed to form a full Hadamard matrix, as soon as one takes its first row to be $(-1,1,-1,-1)$, attending to Lemma 6.

Remark 6.

Notice that if one negates both of the third and fourth rows and columns of the Hadamard matrix of Example 1, one obtains the Hadamard equivalent matrix:

$$\left(\begin{array}{rrrr}\hfill -1& \hfill 1& \hfill 1& \hfill 1\\ \hfill -1& \hfill 1& \hfill -1& \hfill -1\\ \hfill -1& \hfill -1& \hfill -1& \hfill 1\\ \hfill -1& \hfill -1& \hfill 1& \hfill -1\end{array}\right),$$

which is indeed a Hadamard matrix with a back-circulant core. This may be transformed into a Hadamard equivalent matrix consisting of a usual circulant core, as soon as rows are permuted accordingly. This is not a casual fact, as the following result asserts.

Proposition 1.

Any Hadamard matrix with a circulant core is Hadamard equivalent to a Hadamard matrix with a cocyclic core.

Proof. 

As noted in Remark 3 (see [11] for details), any $4w\times 4w$ Hadamard matrix H with a circulant core $H_C$ is in one-to-one correspondence with the cyclic $(4w,2w,w)$-difference set $D=\{a^i:H_C(1,i-1)=1\}\subset (C_{4w-1},·)$, consisting of the elements that correspond to the positions at which the 1s of the first row of $H_C$ are located.

As illustrated in Example 1, starting from such a cyclic difference set, application of the constructive proof of Theorem 2 provides a Hadamard matrix with a cocyclic core $M_{\psi }$. Furthermore, Corollary 1 shows that the map $\varphi$ underlying $M_{\psi }$, as defined, provides a cocyclic core, which is Hadamard equivalent to the initial circulant core. To check this, it suffices to negate both the sets of rows and columns indexed by the elements in D, and reorder the rows from bottom to top. □

A question arises in a natural way: is there any advantage in looking for Hadamard matrices with cocyclic cores instead of Hadamard matrices with circulant cores?

Proposition 2.

Hadamard matrices with cocyclic cores strictly include Hadamard matrices with one circulant core.

Proof. 

Hadamard matrices of order $4w$ with a circulant core are in one-to-one correspondence with cyclic $(4w-1,2w-1,w-1)$-difference sets.

However, Hadamard matrices or order $4w$ with a cocyclic core are in one-to-one correspondence with $(4w-1,2w-1,w-1)$-difference sets, which are not necessarily cyclic.

Actually, there are orders $4w$ for which no such cyclic difference sets exist, but as yet, general difference sets do exist. □

Example 2.

Consider the case $4w=28$, for instance.

On the one hand, Theorem 2 in [11] states that there are no $28\times 28$ Hadamard matrices with a circulant core. Consequently, no cyclic $(27,13,6)$-different set can exist.

On the other hand, $(27,13,6)$-difference sets do exist: as noted in [19],

$$D=\{1,a,a^2,b,ab,b^2,c,ac,bc,a{c}^2,a^{2}b{c}^2,b^2{c}^2,a^2{b}^2{c}^2\}$$

constitutes a $(27,13,6)$-difference set in $G=(C_3\times C_3\times C_3,·)=\langle a,b,c:a^3=b^3=c^3=1\rangle$, with ordering $a^{i_1}{b}^{j_1}{c}^{k_1}<a^{i_2}{b}^{j_2}{c}^{k_2}$ if and only if $k_1<k_2$, or $k_1=k_2$ and $j_1<j_2$, or $(j_1,k_1)=(j_2,k_2)$ and $i_1<i_2$.

Let us consider the sequence $\alpha ={\left({\alpha }_g\right)}_{g\in D}$, such that ${\alpha }_g=1$ if $g\in D$, and ${\alpha }_g=-1$ otherwise.

Since ${\alpha }_1=1$, consider the map $\varphi :G\to \{-1,1\}$ defined as $\varphi \left(g\right)={\alpha }_g$, for $g\in G$. Let $\psi :G\times G\to \{-1,1\}$ be the 2-coboundary defined as $\psi (i,j)=\varphi \left(i\right)\varphi \left(j\right)\varphi (i·j)$. Plugging $\left({\alpha }_g\right)$ and $M_{\psi }$ in (3) and completing with regards to Lemma 6 leads to a $28\times 28$ Hadamard matrix with a cocyclic core.

3. Hadamard Matrices with a $(\mathbf{4}\mathit{w}-\mathbf{2})\times (\mathbf{4}\mathit{w}-\mathbf{2})$ Cocyclic Core

Hadamard matrices with two circulant cores [3,12,13] come from a new “plug-in” technique, which extends the underlying idea applied when constructing Hadamard matrices with one circulant core. In this occasion, properly fixing two rows and columns, a full Hadamard matrix may be constructed as soon as two $(2w-1)\times (2w-1)$ circulant matrices A and B exist, satisfying the constraint:

$$A{A}^T+B{B}^T=4w{I}_{2w-1}-2J_{2w-1},$$

in which case the matrix:

$$\left(\begin{array}{cccc}\hfill -1& \hfill -1& \hfill \mathbf{1}& \hfill \mathbf{1}\\ \hfill -1& \hfill 1& \hfill \mathbf{1}& \hfill -\mathbf{1}\\ \hfill \mathbf{1}& \hfill \mathbf{1}& \hfill A& \hfill B\\ \hfill \mathbf{1}& \hfill -\mathbf{1}& \hfill B^T& \hfill -A^T\end{array}\right)$$

(4)

would be Hadamard.

As commented in Section 1, this is the case if and only if the first rows of A and B, $\left(a_i\right)$ and $\left(b_i\right)$, define two balanced almost perfect sequences with $c_t\left(a_i\right)+c_t\left(b_i\right)=-2$, for $0<t\le w-1$.

In this section we study the conditions under which a cocyclic matrix $M_{\psi }$ (for $\psi$ as in (1)) may be plugged in a structure of the type:

$$\left(\begin{array}{ccc}?& ?& ?\\ \alpha & \beta & M_{\psi }\end{array}\right),$$

(5)

in order to provide a Hadamard matrix as well, for $\alpha =({\alpha }_{g_0},\dots ,{\alpha }_{g_{4w-3}})$ and $\beta =({\beta }_{g_0},\dots ,{\beta }_{g_{4w-3}})$, given an ordering $\{g_0=1,\dots ,g_{4w-3}\}$ of G.

As noted in Section 1, as soon as the rows from 3 to $4w$ are pairwise orthogonal, the matrix can be completed to a full Hadamard matrix [18]. Therefore we will focus on the rows from 3 to $4w$ in (5).

In what follows, the notation used in Section 2 still applies, so that the rows from 3 to $4w$ in (5) will be indexed by the corresponding elements in G. In particular, it is remarkable that the row indexed by $1\in G$ corresponds to the third row in (5).

Furthermore, attending to Hadamard equivalence, up to negation of columns 1 or 2 in (5), without loss of generality we may assume that ${\alpha }_1={\beta }_1=\psi (1,1)$, so that the third row in (5) (that is indexed by $1\in G$) consists of the constant vector $\psi (1,1)·\mathbf{1}$.

We now determine a collection of necessary and sufficient conditions for (5) being a Hadamard matrix with a cocyclic core.

Lemma 7.

Assume that (5) is a Hadamard matrix with a cocyclic core $M_{\psi }$. Then ${\displaystyle \sum _{g\in G}\psi (h,g)\in \{-2,0,2\}}$, for all $h\in G\backslash \left\{1\right\}$. Moreover,

• ${\displaystyle \sum _{g\in G}\psi (h,g)=0}$ if and only if $({\alpha }_h,{\beta }_h)=(-1,1)·s_h$, for some (undetermined by now) $s_h\in \{1,-1\}$.
• ${\displaystyle 0\ne \sum _{g\in G}\psi (h,g)=\pm 2}$ if and only if $({\alpha }_h,{\beta }_h)=(-1,-1)·s_h$, for ${\displaystyle s_h=\frac{1}{2}\sum _{g\in G}\psi (h,g)}$.

Proof. 

Let $h\in G\backslash \left\{1\right\}$.

Taking into account the orthogonality constraint, it follows that the dot product $\langle \mathrm{row} h,\mathrm{row} 1\rangle$ of rows indexed by h and $1\in G$ in (5) must be zero. Therefore, from Lemma 2,

$$0={\alpha }_h{\alpha }_1+{\beta }_h{\beta }_1+\psi (h,1)·\sum _{g\in G}\psi (h,g).$$

Since ${\alpha }_1={\beta }_1=\psi (1,1)=\psi (h,1)$, we get ${\displaystyle \sum _{g\in G}\psi (h,g)=-{\alpha }_h-{\beta }_h}$ and the result follows. □

Corollary 3.

Assume that (5) is a Hadamard matrix with a cocyclic core $M_{\psi }$, such that ${\displaystyle \sum _{g\in G}\psi (h,g)\in \{-2,2\}}$, for all $h\in G\backslash \left\{1\right\}$. Then ψ is a 2-coboundary and $w=1$.

Proof. 

For every $g,h\in G$, attending to Lemma 2, the dot product of rows indexed by $gh$ and h is:

$$0=2s_{gh}{s}_h+\psi (g,h)s_g,$$

so that $\psi (g,h)=-s_g{s}_h{s}_{gh}$ is actually a 2-coboundary ($\psi (g,h)=\varphi \left(g\right)\varphi \left(h\right)\varphi \left(gh\right)$, for $\varphi :G\to \{1,-1\}$ defined as $\varphi \left(g\right)=-s_g$).

Furthermore, the summation of the row indexed by g in $M_{\psi }$ is ${\displaystyle 2s_g=\sum _{h\in G}\psi (g,h)=-s_g\sum _{h\in G}{s}_h{s}_{gh}}$, so that ${\displaystyle \sum _{h\in G}{s}_h{s}_{gh}=-2}$ and ${\left(s_g\right)}_{g\in G}$ defines a perfect sequence. It is known (see [10] for instance) that the only difference set corresponding to a perfect sequence of this type is the trivial $(2,1,0)$-difference set, and hence $w=1$. □

Remark 7.

Consequently, from now on, we assume that there are elements $h\in G$ for which ${\displaystyle \sum _{g\in G}\psi (h,g)=0}$. Actually, in these circumstances, notice that ψ becomes a quasi-orthogonal cocycle, as introduced in [20].

Lemma 8.

In the circumstances above, the elements in $G\backslash \left\{1\right\}$ may be organized into two subsets, ${\displaystyle S_0=\{h\in G\backslash \left\{1\right\}:\sum _{g\in G}\psi (h,g)=0}$, and ${\overline{S}}_0=(G\backslash \left\{1\right\})\backslash S_0$, such that:

1.

$h\in S_0⟺h^{-1}\in S_0$. Accordingly, $h\in {\overline{S}}_0⟺h^{-1}\in {\overline{S}}_0$.

2.

For all $g\in S_0$, $g·S_0\subseteq G\backslash S_0$. Therefore, $|S_0|\le |G\backslash S_0|$.

3.

For all $g\in G\backslash S_0$, $g·(G\backslash S_0)\subseteq G\backslash S_0$. Therefore, $|G\backslash S_0|\le |S_0|$.

4.

For all $g\in S_0$, $g·(G\backslash S_0)\subseteq S_0$ and $(G\backslash S_0)·g\subseteq S_0$.

Proof. 

We proceed with the demonstration point by point.

• For every $h\in G\backslash \left\{1\right\}$, since $\langle \mathrm{row} 1,\mathrm{row} h\rangle =\langle \mathrm{row} h,\mathrm{row} 1\rangle$. Therefore $\psi (h^{-1},h){\sum }_{g\in G}\psi (h^{-1},g)=\psi (h,1){\sum }_{g\in G}\psi (h,g)$, and the result follows.
• Let $g,h\in S_0$. Then $h^{-1}\in S_0$ as well. Now:

  $$0=\langle \mathrm{row} g,\mathrm{row} h^{-1}\rangle ={\alpha }_g{\alpha }_{h^{-1}}+{\alpha }_g{\alpha }_{h^{-1}}+\psi (gh,h)·\sum _{k\in G}\psi (gh,k).$$
  Therefore $gh\in G\backslash S_0$.
• Let $g,h\in G\backslash S_0$. Then $h^{-1}\in G\backslash S_0$ as well. Now:

  $$0=\langle \mathrm{row} g,\mathrm{row} h^{-1}\rangle ={\alpha }_g{\alpha }_{h^{-1}}+{\alpha }_g{\alpha }_{h^{-1}}+\psi (gh,h)·\sum _{k\in G}\psi (gh,k).$$
  Therefore $gh\in G\backslash S_0$.
• Let $g\in S_0$ and $h\in G\backslash S_0$. Then $h^{-1}\in G\backslash S_0$ as well. Now:

  $$0=\langle \mathrm{row} g,row h^{-1}\rangle ={\alpha }_g{\alpha }_{h^{-1}}-{\alpha }_g{\alpha }_{h^{-1}}+\psi (gh,h)·\sum _{k\in G}\psi (gh,k).$$
  Therefore, $gh\in S_0$.

□

Corollary 4.

In the circumstances above, $|S_0|=|G\backslash S_0|=2w-1$, $G\backslash S_0$ is a normal subgroup of G and $G/(G\backslash S_0)\simeq C_2$.

Proof. 

This is a straightforward consequence of Lemma 8. □

Remark 8.

In the circumstances above, one may define a new ordering for the elements in G, such that the last $2w-1$ elements correspond to $S_0$. For instance, when any $g\in S_0$ are fixed, such an ordering would be $\{1=n_1,\dots ,n_{2w-1},g,g{n}_2,\dots ,g{n}_{2w-1}\}$.

Corollary 5.

In the circumstances above, for $h\in {\overline{S}}_0$ and $g\in G$, $\psi (h,g)=-s_h{s}_g{s}_{hg}$. Furthermore, ${\displaystyle \sum _{g\in G}{s}_g{s}_{hg}=-2}$.

Proof. 

Let $h\in {\overline{S}}_0$ and $g\in G$. Consider the dot product of rows indexed by $hg$ and g in (5). From Lemma 8, depending on whether:

• $g\in G\backslash S_0$, then $hg\in G\backslash S_0$. Attending to Lemma 7, then:

  $$0=\langle \mathrm{row} hg,\mathrm{row} g\rangle =2s_{hg}{s}_g+\psi (h,g)\sum _{k\in G}\psi (h,k)=2s_{hg}{s}_g+2s_h\psi (h,g).$$
• $g\in S_0$, then $hg\in S_0$. Attending to Lemma 7, then:

  $$0=\langle \mathrm{row} hg,\mathrm{row} g\rangle =2s_{hg}{s}_g+\psi (h,g)\sum _{k\in G}\psi (h,k)=2s_{hg}{s}_g+2s_h\psi (h,g).$$

Whichever is the case, for $h\in {\overline{S}}_0$ and $g\in G$, it is satisfied that $\psi (h,g)=-s_h{s}_g{s}_{hg}$. Taking a summation as g runs in G, we get ${\displaystyle 2s_h=\sum _{g\in G}\psi (h,g)=-s_h\sum _{g\in G}{s}_g{s}_{hg}}$. The result follows immediately. □

We next summarize these results.

Theorem 3.

Let (5) be a matrix with a cocyclic core $M_{\psi }$ over G. Then it is Hadamard if and only if the following conditions are satisfied:

• G contains a normal subgroup N such that $G/N\simeq C_2$.
• There is a binary sequence ${\left(s_g\right)}_{g\in G}$ such that:

  -

  For every $h\in N$, $\psi (h,g)=-s_h{s}_g{s}_{hg}$, and ${\displaystyle \sum _{g\in G}{s}_g{s}_{hg}=-2}$.

  -

  For every $k\in G\backslash N$, $\psi (k,g)=-s_k{s}_g{s}_{kg}\phi (k,g)$ (for some 2-cocycle $\phi :G\times G\to \{1,-1\}$ such that $\phi (h,g)=1$ for all $h\in N$), and ${\displaystyle \sum _{g\in G}{s}_g{s}_{kg}\phi (g,k)=0}$.

Even though it might seem difficult to meet the hypothesis described in Theorem 3 altogether, we next describe a family of Hadamard matrices with a cocyclic core.

Proposition 3.

Hadamard matrices with two circulant cores are Hadamard equivalent to Hadamard matrices with a cocyclic core over $D_{4w-2}$.

Proof. 

Consider the group $D_{4w-2}=\langle a,b:a^{2w-1}=b^2={\left(ab\right)}^2=1\rangle$, with ordering $G=\{1,a,\dots ,a^{2w-2},b,\dots ,a^{2w-2}b\}$. Notice that $N=\langle a\rangle$ is a normal subgroup of G, and that every element $k\in G\backslash N$ is of order 2, that is $k^2=1$. Consider the 2-cocycle $\phi :G\times G\to \{1,-1\}$ defined as $\phi (h,g)=-1$ if and only if both $h,g\in G\backslash N$, and 1 otherwise.

Attending to the description of cocyclic matrices over $D_{4w-2}$ developed in [21,22], it may be straightforwardly derived that the two-circulant core structure of (2) is Hadamard equivalent to a cocyclic matrix over $D_{4w-2}$.

More concretely, consider two balanced sequences $\left(a_i\right)$ and $\left(b_i\right)$ such that $\sum a_i·a_{i+t}+\sum b_i·b_{i+t}=-2$, for $0<t\le w-1$. Take $s_{a^i}=-a_i$ and $s_{a^{i}b}=-b_i$, for $0\le i\le 2w-2$.

Now, consider the subset $C\subset G$ of indices at which the positive entries of the sequence $\left(s_i\right)$ (i.e., negative entries of $\left(\left(a_i\right)\right|\left(b_i\right))$) occur, and select the corresponding subset of elementary coboundaries ${\partial }_c$, so that $\psi =\phi ·{\prod }_{c\in C}{\partial }_c$. For the sake of convenience, it might be appropriate to recall that these elementary coboundaries are commonly defined as ${\partial }_g(h,k)={\delta }_g\left(h\right){\delta }_g\left(k\right){\delta }_g\left(hk\right)$, for ${\delta }_i\left(j\right)=-1$ if and only if $i=j$, and 1 otherwise.

Actually, as indicated in [21,22], the process of successively negating the row and column indexed by $c\in C$ in $M_{\psi }$, ends in a Hadamard equivalent matrix with two back circulant cores similar to (2). Permuting the rows accordingly, the proper core of the matrix (2) may be obtained.

Now, consider the conditions $\sum a_i·a_{i+t}+\sum b_i·b_{i+t}=-2$, for $0<t\le w-1$, which guarantee the orthogonal constraint of (2) in [12,13]. These are straightforwardly translated to the conditions ${\displaystyle \sum _{g\in G}{s}_g{s}_{hg}=-2}$, for every $h\in N$, of Theorem 3.

Notice that, as defined, the constraints ${\displaystyle \sum _{g\in G}{s}_g{s}_{kg}\phi (g,k)=0}$, for every $k\in G\backslash N$, are naturally satisfied. Actually,

$$\sum _{g\in G}{s}_g{s}_{kg}\phi (g,k)=\sum _{h\in N}{s}_h{s}_{kh}-\sum _{g\in G\backslash N}{s}_g{s}_{kg}=0,$$

since there is a one-to-one correspondence from N to $kN=G\backslash N$, taking $h\in N$ on $g_h=kh$; so that each term $s_h{s}_{kh}$ on the left-hand side of the equation cancels with the corresponding term on the right-hand side, as $-s_{g_h}{s}_{k{g}_h}=-s_{kh}{s}_{k^{2}h}=-s_{kh}{s}_h$. □

Example 3.

For instance, consider the $8\times 8$ Hadamard matrix with two circulant cores of the form (2), which arises from the sequences $\left(a_i\right)=\left(b_i\right)=(1,1,-1)$, with $a_0{a}_1+a_1{a}_2+a_2{a}_0=-1$:

$$H=\left(\begin{array}{rrrrrrrr}\hfill -1& \hfill -1& \hfill 1& \hfill 1& \hfill 1& \hfill 1& \hfill 1& \hfill 1\\ \hfill -1& \hfill 1& \hfill 1& \hfill 1& \hfill 1& \hfill -1& \hfill -1& \hfill -1\\ \hfill 1& \hfill 1& \hfill 1& \hfill 1& \hfill -1& \hfill 1& \hfill 1& \hfill -1\\ \hfill 1& \hfill 1& \hfill -1& \hfill 1& \hfill 1& \hfill -1& \hfill 1& \hfill 1\\ \hfill 1& \hfill 1& \hfill 1& \hfill -1& \hfill 1& \hfill 1& \hfill -1& \hfill 1\\ \hfill 1& \hfill -1& \hfill 1& \hfill -1& \hfill 1& \hfill -1& \hfill 1& \hfill -1\\ \hfill 1& \hfill -1& \hfill 1& \hfill 1& \hfill -1& \hfill -1& \hfill -1& \hfill 1\\ \hfill 1& \hfill -1& \hfill -1& \hfill 1& \hfill 1& \hfill 1& \hfill -1& \hfill -1\end{array}\right).$$

Consider the dihedral group $D_6=\angle a,b:a^3=b^2={\left(ab\right)}^2=1\rangle$, with ordering $\{1,a,a^2,b,ab,a^{2}b\}$, normal subgroup $N=\{1,a,a^2\}$ and the subset $S_0=\{b,ab,a^{2}b\}$. Let $C=\{a^2,a^{2}b\}$ and consider the 2-cocycle $\psi :D_6\times D_6\to \{1,-1\}$ given by $\psi =\varphi \phi$, for $\varphi ={\partial }_{a^2}{\partial }_{a^{2}b}$ and $\phi (g,h)=-1$ if and only if both $g,h\in S_0$. The related cocyclic matrix is then:

$$M_{\psi }=\left(\begin{array}{cccccc}\hfill 1& \hfill 1& \hfill 1& \hfill 1& \hfill 1& \hfill 1\\ \hfill 1& \hfill -1& \hfill -1& \hfill 1& \hfill -1& \hfill -1\\ \hfill 1& \hfill -1& \hfill 1& \hfill 1& \hfill -1& \hfill 1\\ \hfill 1& \hfill -1& \hfill -1& \hfill -1& \hfill 1& \hfill 1\\ \hfill 1& \hfill 1& \hfill 1& \hfill -1& \hfill -1& \hfill -1\\ \hfill 1& \hfill -1& \hfill 1& \hfill -1& \hfill 1& \hfill -1\end{array}\right).$$

Since $\varphi ={\partial }_{a^2}{\partial }_{a^{2}b}$, we define $s_1=-1$, $s_a=-1$, $s_{a^2}=1$, $s_b=-1$, $s_{ab}=-1$, $s_{a^{2}b}=1$, which is consistent with Lemma 7 and Proposition 3.

We may therefore extend $M_{\psi }$ to a full Hadamard matrix of the form (5) with a cocyclic core $M_{\psi }$, as soon as one takes $\alpha =(-s_1,-s_a,-s_{a^2},-s_b,-s_{ab},-s_{a^{2}b})=(1,1,-1,1,1,-1)$ and $\beta =(-s_1,-s_a,-s_{a^2},s_b,s_{ab},s_{a^{2}b})=(1,1,-1,-1,-1,1)$:

$$H_{\psi }=\left(\begin{array}{rrrrrrrr}\hfill 1& \hfill -1& \hfill 1& \hfill 1& \hfill -1& \hfill 1& \hfill 1& \hfill -1\\ \hfill -1& \hfill 1& \hfill 1& \hfill 1& \hfill -1& \hfill -1& \hfill -1& \hfill 1\\ \hfill 1& \hfill 1& \hfill 1& \hfill 1& \hfill 1& \hfill 1& \hfill 1& \hfill 1\\ \hfill 1& \hfill 1& \hfill 1& \hfill -1& \hfill -1& \hfill 1& \hfill -1& \hfill -1\\ \hfill -1& \hfill -1& \hfill 1& \hfill -1& \hfill 1& \hfill 1& \hfill -1& \hfill 1\\ \hfill 1& \hfill -1& \hfill 1& \hfill -1& \hfill -1& \hfill -1& \hfill 1& \hfill 1\\ \hfill 1& \hfill -1& \hfill 1& \hfill 1& \hfill 1& \hfill -1& \hfill -1& \hfill -1\\ \hfill -1& \hfill 1& \hfill 1& \hfill -1& \hfill 1& \hfill -1& \hfill 1& \hfill -1\end{array}\right).$$

Notice that starting from $H_{\psi }$ and negating both rows and columns 5 (indexed by $a^2$) and 8 (indexed by $a^{2}b$), and then permuting rows (4,5) to be ordered as (5,4), ends with the matrix H above, as claimed in Proposition 3.

Nevertheless, Hadamard matrices with a cocyclic core strictly include those Hadamard matrices with a circulant core. For the sake of completeness, we conclude the paper by describing an example of a Hadamard matrix with a cocyclic core over a group not isomorphic to any dihedral group, which supports this claim.

Example 4.

Consider the group $G=C_3\times C_2=\langle a,b:a^3=b^2=1\rangle$. The subgroup $N=\langle a\rangle$ is normal in G.

Take ${\left(s_i\right)}_{i\in G}=(-1,-1,1,-1,-1,1)$. It may be readily checked that:

• ${\displaystyle \sum _{g\in G}{s}_g{s}_{a·g}=s_1{s}_a+s_a{s}_{a^2}+s_{a^2}{s}_1+s_b{s}_{ab}+s_{ab}{s}_{a^{2}b}+s_{a^{2}b}{s}_b=-2}$.
• ${\displaystyle \sum _{g\in G}{s}_g{s}_{a^2·g}=s_1{s}_{a^2}+s_a{s}_1+s_{a^2}{s}_a+s_b{s}_{a^{2}b}+s_{ab}{s}_b+s_{a^{2}b}{s}_{ab}=-2}$.
• ${\displaystyle \sum _{g\in G}{s}_g{s}_{b·g}=s_1{s}_b+s_a{s}_{ab}+s_{a^2}{s}_{a^{2}b}-s_b{s}_1-s_{ab}{s}_a-s_{a^{2}b}{s}_{a^2}=0}$.
• ${\displaystyle \sum _{g\in G}{s}_g{s}_{ab·g}=s_1{s}_{ab}+s_a{s}_{a^{2}b}+s_{a^2}{s}_b-s_b{s}_a-s_{ab}{s}_{a^2}-s_{a^{2}b}{s}_1=0}$.
• ${\displaystyle \sum _{g\in G}{s}_g{s}_{a^{2}b·g}=s_1{s}_{a^{2}b}+s_a{s}_b+s_{a^2}{s}_{ab}-s_b{s}_{a^2}-s_{ab}{s}_1-s_{a^{2}b}{s}_a=0}$.

Accordingly, consider the 2-cocycle $\psi =\phi ·{\partial }_{a^2}{\partial }_{a^{2}b}$, for $\phi (g,h)=-1$ if and only if both $g,h\in G\backslash N$. By construction, the matrix $M_{\psi }$ may be extended to a full Hadamard matrix with a cocyclic core,

$$\left(\begin{array}{rrrrrrrr}\hfill 1& \hfill -1& \hfill 1& \hfill 1& \hfill -1& \hfill -1& \hfill -1& \hfill 1\\ \hfill -1& \hfill -1& \hfill 1& \hfill 1& \hfill -1& \hfill 1& \hfill 1& \hfill -1\\ \hfill 1& \hfill 1& \hfill 1& \hfill 1& \hfill 1& \hfill 1& \hfill 1& \hfill 1\\ \hfill 1& \hfill 1& \hfill 1& \hfill -1& \hfill -1& \hfill 1& \hfill -1& \hfill -1\\ \hfill -1& \hfill -1& \hfill 1& \hfill -1& \hfill 1& \hfill 1& \hfill -1& \hfill 1\\ \hfill -1& \hfill 1& \hfill 1& \hfill 1& \hfill 1& \hfill -1& \hfill -1& \hfill -1\\ \hfill -1& \hfill 1& \hfill 1& \hfill -1& \hfill -1& \hfill -1& \hfill 1& \hfill 1\\ \hfill 1& \hfill -1& \hfill 1& \hfill -1& \hfill 1& \hfill -1& \hfill 1& \hfill -1\end{array}\right).$$

4. Conclusions and Further Work

In this paper we have explored the notion of Hadamard matrices with a cocyclic core, inspired by a series of papers [3,11,12,13] on Hadamard matrices with circulant cores.

Actually, we have described two new “plug-in” techniques for constructing Hadamard matrices, which strictly include those based on circulant cores. They depend on the existence of certain (almost) perfect sequences and (almost) difference sets, which will be our concern in the future.