1,138 research outputs found
Semidefinite code bounds based on quadruple distances
Let be the maximum number of words of length , any two
having Hamming distance at least . We prove , which implies
that the quadruply shortened Golay code is optimal. Moreover, we show
, , , ,
, , , ,
, , , ,
, , and .
The method is based on the positive semidefiniteness of matrices derived from
quadruples of words. This can be put as constraint in a semidefinite program,
whose optimum value is an upper bound for . The order of the matrices
involved is huge. However, the semidefinite program is highly symmetric, by
which its feasible region can be restricted to the algebra of matrices
invariant under this symmetry. By block diagonalizing this algebra, the order
of the matrices will be reduced so as to make the program solvable with
semidefinite programming software in the above range of values of and .Comment: 15 page
Semidefinite programming, harmonic analysis and coding theory
These lecture notes where presented as a course of the CIMPA summer school in
Manila, July 20-30, 2009, Semidefinite programming in algebraic combinatorics.
This version is an update June 2010
Commutative association schemes
Association schemes were originally introduced by Bose and his co-workers in
the design of statistical experiments. Since that point of inception, the
concept has proved useful in the study of group actions, in algebraic graph
theory, in algebraic coding theory, and in areas as far afield as knot theory
and numerical integration. This branch of the theory, viewed in this collection
of surveys as the "commutative case," has seen significant activity in the last
few decades. The goal of the present survey is to discuss the most important
new developments in several directions, including Gelfand pairs, cometric
association schemes, Delsarte Theory, spin models and the semidefinite
programming technique. The narrative follows a thread through this list of
topics, this being the contrast between combinatorial symmetry and
group-theoretic symmetry, culminating in Schrijver's SDP bound for binary codes
(based on group actions) and its connection to the Terwilliger algebra (based
on combinatorial symmetry). We propose this new role of the Terwilliger algebra
in Delsarte Theory as a central topic for future work.Comment: 36 page
A note on the stability number of an orthogonality graph
We consider the orthogonality graph Omega(n) with 2^n vertices corresponding
to the 0-1 n-vectors, two vertices adjacent if and only if the Hamming distance
between them is n/2. We show that the stability number of Omega(16) is
alpha(Omega(16))= 2304, thus proving a conjecture by Galliard. The main tool we
employ is a recent semidefinite programming relaxation for minimal distance
binary codes due to Schrijver.
As well, we give a general condition for Delsarte bound on the (co)cliques in
graphs of relations of association schemes to coincide with the ratio bound,
and use it to show that for Omega(n) the latter two bounds are equal to 2^n/n.Comment: 10 pages, LaTeX, 1 figure, companion Matlab code. Misc. misprints
fixed and references update
Semidefinite bounds for mixed binary/ternary codes
For nonnegative integers and , let denote the
maximum cardinality of a code of length , with binary
coordinates and ternary coordinates (in this order) and with minimum
distance at least . For a nonnegative integer , let
denote the collection of codes of cardinality at most . For , define . Then is upper bounded by the maximum
value of , where is a function
such that and if has minimum distance less than , and such that the matrix is positive semidefinite for each
. By exploiting symmetry, the semidefinite programming
problem for the case is reduced using representation theory. It yields
new upper bounds that are provided in tablesComment: 12 pages; some typos have been fixed. Accepted for publication in
Discrete Mathematic
- β¦