785 research outputs found
A feasibility approach for constructing combinatorial designs of circulant type
In this work, we propose an optimization approach for constructing various
classes of circulant combinatorial designs that can be defined in terms of
autocorrelations. The problem is formulated as a so-called feasibility problem
having three sets, to which the Douglas-Rachford projection algorithm is
applied. The approach is illustrated on three different classes of circulant
combinatorial designs: circulant weighing matrices, D-optimal matrices, and
Hadamard matrices with two circulant cores. Furthermore, we explicitly
construct two new circulant weighing matrices, a and a
, whose existence was previously marked as unresolved in the most
recent version of Strassler's table
A SAT+CAS Approach to Finding Good Matrices: New Examples and Counterexamples
We enumerate all circulant good matrices with odd orders divisible by 3 up to
order 70. As a consequence of this we find a previously overlooked set of good
matrices of order 27 and a new set of good matrices of order 57. We also find
that circulant good matrices do not exist in the orders 51, 63, and 69, thereby
finding three new counterexamples to the conjecture that such matrices exist in
all odd orders. Additionally, we prove a new relationship between the entries
of good matrices and exploit this relationship in our enumeration algorithm.
Our method applies the SAT+CAS paradigm of combining computer algebra
functionality with modern SAT solvers to efficiently search large spaces which
are specified by both algebraic and logical constraints
Exotic complex Hadamard matrices, and their equivalence
In this paper we use a design theoretical approach to construct new,
previously unknown complex Hadamard matrices. Our methods generalize and extend
the earlier results of de la Harpe--Jones and Munemasa--Watatani and offer a
theoretical explanation for the existence of some sporadic examples of complex
Hadamard matrices in the existing literature. As it is increasingly difficult
to distinguish inequivalent matrices from each other, we propose a new
invariant, the fingerprint of complex Hadamard matrices. As a side result, we
refute a conjecture of Koukouvinos et al. on (n-8)x(n-8) minors of real
Hadamard matrices.Comment: 10 pages. To appear in Cryptography and Communications: Discrete
Structures, Boolean Functions and Sequence
A Walsh-Fourier approach to the circulant Hadamard conjecture
We describe an approach to the circulant Hadamard conjecture based on
Walsh-Fourier analysis. We show that the existence of a circulant Hadamard
matrix of order is equivalent to the existence of a non-trivial solution of
a certain homogenous linear system of equations. Based on this system, a
possible way of proving the conjecture is proposed.Comment: 8 page
- …