arXiv++ Combinatorics

This paper establishes a formal framework for the cocyclic development of Hadamard matrices over loops based on a novel cohomology theory with associativity obstructions. In this context, we formalize the notion of a loop-cocyclic Hadamard matrix, so that both the classical cocyclic Hadamard matrices over groups and the recently introduced pseudococyclic Hadamard matrices over loops are naturally embedded within this broader algebraic architecture. To validate the computational viability of this framework, we prove the existence of four new Hadamard equivalence classes of order 24 and eight new classes of order 28 that are strictly non-cocyclic over any finite group, arising uniquely as loop-cocyclic developments over Moufang and right Bol loops.

In this paper a method for embedding cocyclic submatrices with ``large'' determinants of orders 2t in certain cocyclic Hadamard matrices of orders 4t is described (t an odd integer). If these determinants attain the largest possible value, we are embedding D-optimal designs. Applications to the pivot values that appear when Gaussian Elimination with complete pivoting is performed on these cocyclic Hadamard matrices are studied.

A genetic algorithm based robust blind digital watermarking scheme is presented. Starting from a binary image (the original watermark), a genetic algorithm is performed searching for a permutation of this image which is as uncorrelated as possible to the original watermark. The output of the GA is used as our final watermark, so that both security and robustness in the watermarking process is improved. Now, the original cover image is partitioned into non-overlapped square blocks (depending on the size of the watermark image). Then a (possibly extended) Hadamard transform is applied to these blocks, so that one bit information from the watermark image is embedded in each block by modifying the relationship of two coefficients in the transformed matrices. The watermarked image is finally obtained by simply performing the inverse (extended) Hadamard transform on the modified matrices. The experimental results show that our scheme keeps invisibility, security and robustness more likely than other proposals in the literature, thanks to the GA pretreatment.

Three algorithms looking for pretty large partial Hadamard matrices are described. Here "large" means that hopefully about a third of a Hadamard matrix (which is the best asymptotic result known so far, [dLa00]) is achieved. The first one performs some kind of local exhaustive search, and consequently is expensive from the time consuming point of view. The second one comes from the adaptation of the best genetic algorithm known so far searching for cliques in a graph, due to Singh and Gupta [SG06]. The last one consists in another heuristic search, which prioritizes the required processing time better than the final size of the partial Hadamard matrix to be obtained. In all cases, the key idea is characterizing the adjacency properties of vertices in a particular subgraph G_t of Ito's Hadamard Graph Delta (4t) [Ito85], since cliques of order m in G_t can be seen as (m+3)*4t partial Hadamard matrices.

A characterization of $\mathbb{Z} _t \times \mathbb{Z}_2^2$-cocyclic Hadamard matrices is described, depending on the notions of {\em distributions}, {\em ingredients} and {\em recipes}. In particular, these notions lead to the establishment of some bounds on the number and distribution of 2-coboundaries over $\mathbb{Z}_t \times \mathbb{Z} _2^2$ to use and the way in which they have to be combined in order to obtain a $\mathbb{Z} _t \times \mathbb{Z}_2^2$-cocyclic Hadamard matrix. Exhaustive searches have been performed, so that the table in p. 132 in [4] is corrected and completed. Furthermore, we identify four different operations on the set of coboundaries defining $\mathbb{Z} _t \times \mathbb{Z}_2^2$-cocyclic matrices, which preserve orthogonality. We split the set of Hadamard matrices into disjoint orbits, define representatives for them and take advantage of this fact to compute them in an easier way than the usual purely exhaustive way, in terms of {\em diagrams}. Let ${\cal H}$ be the set of cocyclic Hadamard matrices over $\mathbb{Z}_t \times \mathbb{Z}_2^2$ having a symmetric diagram. We also prove that the set of Williamson type matrices is a subset of ${\cal H}$ of size $\frac{|{\cal H}|}{t}$.

Following the ideas of [AGG11] about Zt x Z2,2-cocyclic Hadamard matrices, we introduce the notion of diagram, which visually represents any set of coboundaries. Diagrams are a very useful tool for the description and the study of paths and intersections, as described in [AGG11]. Then, we will study four different operations on Zt x Z2,2-cocyclic matrices. These operations will be defined on the set of coboundaries defining the matrix, preserve the Hadamard character of the cocyclic matrices, and allow us to obtain new Hadamard matrices from old ones. We split the set of Hadamard matrices into disjoint orbits, define representatives for them and take advantage of this fact to compute them in an easier way than the usual purely exhaustive way.