ACS Searching for D4t-Hadamard Matrices

An Ant Colony System (ACS) looking for cocyclic Hadamard matrices over dihedral groups D4t is described. The underlying weighted graph consists of the rooted trees described in [1], whose vertices are certain subsets of coboundaries. A branch of these trees defines a D4t- Hadamard matrix if and only if two conditions hold: (i) Ii = i - 1 and, (ii) ci = t, for every 2 ≤ i ≤ t, where Ii and ci denote the number of i- paths and i-intersections (see [3] for details) related to the coboundaries defining the branch. The pheromone and heuristic values of our ACS are defined in such a way that condition (i) is always satisfied, and condition (ii) is closely to be satisfied.

[1]  Shu Lin,et al.  Applied Algebra, Algebraic Algorithms and Error-Correcting Codes , 1999, Lecture Notes in Computer Science.

[2]  K. Horadam.  Hadamard Matrices and Their Applications , 2006 .

[3]  K. J. Horadam,et al.  Generation of Cocyclic Hadamard Matrices , 1995 .

[4]  A. Baliga,et al.  Self-dual Codes Using Image Restoration Techniques , 2001, AAECC.

[5]  Thomas Stützle,et al.  Ant Colony Optimization , 2009, EMO.

[6]  V. Álvarez,et al.  Rooted Trees Searching for Cocyclic Hadamard Matrices over D4t , 2009, AAECC.

[7]  Víctor Álvarez,et al.  A system of equations for describing cocyclic Hadamard matrices , 2008 .

[8]  Víctor Álvarez,et al.  A Heuristic Procedure with Guided Reproduction for Constructing Cocyclic Hadamard Matrices , 2009, ICANNGA.

[9]  Víctor Álvarez,et al.  A Genetic Algorithm for Cocyclic Hadamard Matrices , 2006, AAECC.

[10]  Víctor Álvarez,et al.  The homological reduction method for computing cocyclic Hadamard matrices , 2009, J. Symb. Comput..

[11]  John H. Holland,et al.  Adaptation in Natural and Artificial Systems: An Introductory Analysis with Applications to Biology, Control, and Artificial Intelligence , 1992 .

[12]  W. Wallis,et al.  Hadamard Matrices and Their Applications , 1978 .

[13]  D. Flannery,et al.  Cocyclic Hadamard Matrices and Hadamard Groups Are Equivalent , 1997 .

[14]  Luca Maria Gambardella,et al.  Ant colony system: a cooperative learning approach to the traveling salesman problem , 1997, IEEE Trans. Evol. Comput..