6,206 research outputs found
Cohomology-Developed Matrices -- constructing families of weighing matrices and automorphism actions
The aim of this work is to construct families of weighing matrices via their
automorphism group action. This action is determined from the
-cohomology groups of the underlying abstract group. As a consequence,
some old and new families of weighing matrices are constructed. These include
the Paley Conference, the Projective-Space, the Grassmannian, and the
Flag-Variety weighing matrices. We develop a general theory relying on low
dimensional group-cohomology for constructing automorphism group actions, and
in turn obtain structured matrices that we call \emph{Cohomology-Developed
matrices}. This "Cohomology-Development" generalizes the Cocyclic and Group
Developments. The Algebraic structure of modules of Cohomology-Developed
matrices is discussed, and an orthogonality result is deduced. We also use this
algebraic structure to define the notion of \emph{Quasiproducts}, which is a
generalization of the Kronecker-product
Weighing matrices and spherical codes
Mutually unbiased weighing matrices (MUWM) are closely related to an
antipodal spherical code with 4 angles. In the present paper, we clarify the
relationship between MUWM and the spherical sets, and give the complete
solution about the maximum size of a set of MUWM of weight 4 for any order.
Moreover we describe some natural generalization of a set of MUWM from the
viewpoint of spherical codes, and determine several maximum sizes of the
generalized sets. They include an affirmative answer of the problem of Best,
Kharaghani, and Ramp.Comment: Title is changed from "Association schemes related to weighing
matrices
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
Divisible Design Graphs
AMS Subject Classification: 05B05, 05E30, 05C50.Strongly regular graph;Group divisible design;Deza graph;(v;k;)-Graph
Deciding Orthogonality in Construction-A Lattices
Lattices are discrete mathematical objects with widespread applications to
integer programs as well as modern cryptography. A fundamental problem in both
domains is the Closest Vector Problem (popularly known as CVP). It is
well-known that CVP can be easily solved in lattices that have an orthogonal
basis \emph{if} the orthogonal basis is specified. This motivates the
orthogonality decision problem: verify whether a given lattice has an
orthogonal basis. Surprisingly, the orthogonality decision problem is not known
to be either NP-complete or in P.
In this paper, we focus on the orthogonality decision problem for a
well-known family of lattices, namely Construction-A lattices. These are
lattices of the form , where is an error-correcting
-ary code, and are studied in communication settings. We provide a complete
characterization of lattices obtained from binary and ternary codes using
Construction-A that have an orthogonal basis. We use this characterization to
give an efficient algorithm to solve the orthogonality decision problem. Our
algorithm also finds an orthogonal basis if one exists for this family of
lattices. We believe that these results could provide a better understanding of
the complexity of the orthogonality decision problem for general lattices
Resolving sets for Johnson and Kneser graphs
A set of vertices in a graph is a {\em resolving set} for if, for
any two vertices , there exists such that the distances . In this paper, we consider the Johnson graphs and Kneser
graphs , and obtain various constructions of resolving sets for these
graphs. As well as general constructions, we show that various interesting
combinatorial objects can be used to obtain resolving sets in these graphs,
including (for Johnson graphs) projective planes and symmetric designs, as well
as (for Kneser graphs) partial geometries, Hadamard matrices, Steiner systems
and toroidal grids.Comment: 23 pages, 2 figures, 1 tabl
- …