arXiv++ Combinatorics

Hadamard ideals were introduced in 2006 as a set of nonlinear polynomial equations whose zeros are uniquely related to Hadamard matrices with one or two circulant cores of a given order. Based on this idea, the cocyclic Hadamard test enable us to describe a polynomial ideal that characterizes the set of cocyclic Hadamard matrices over a fixed finite group $G$ of order $4t$. Nevertheless, the complexity of the computation of the reduced Gröbner basis of this ideal is $2^{O(t^2)}$, which is excessive even for very small orders. In order to improve the efficiency of this polynomial method, we take advantage of some recent results on the inner structure of a cocyclic matrix to describe an alternative polynomial ideal that also characterizes the mentioned set of cocyclic Hadamard matrices over $G$. The complexity of the computation decreases in this way to $2^{O(n)}$, where $n$ is the number of $G$-coboundaries. Particularly, we design two specific procedures for looking for $\mathbb{Z}_t \times \mathbb{Z}_2^2$-cocyclic Hadamard matrices and $D_{4t}$-cocyclic Hadamard matrices, so that larger cocyclic Hadamard matrices (up to $t \leq 31$) are explicitly obtained.

An $n$ by $n$ skew-symmetric type $(-1,1)$-matrix $K=[k_{i,j}]$ has $1$'s on the main diagonal and $\pm 1$'s elsewhere with $k_{i,j}=-k_{j,i}$. The largest possible determinant of such a matrix $K$ is an interesting problem. The literature is extensive for $n\equiv 0 \mod 4$ (skew-Hadamard matrices), but for $n\equiv 2\mod 4$ there are few results known for this question. In this paper we approach this problem constructing cocyclic matrices over the dihedral group of $2t$ elements, for $t$ odd, which are equivalent to $(-1,1)$-matrices of skew type. Some explicit calculations have been done up to $t=11$. To our knowledge, the upper bounds on the maximal determinant in orders 18 and 22 have been improved.