14 research outputs found
Combinatorial Alphabet-Dependent Bounds for Locally Recoverable Codes
Locally recoverable (LRC) codes have recently been a focus point of research
in coding theory due to their theoretical appeal and applications in
distributed storage systems. In an LRC code, any erased symbol of a codeword
can be recovered by accessing only a small number of other symbols. For LRC
codes over a small alphabet (such as binary), the optimal rate-distance
trade-off is unknown. We present several new combinatorial bounds on LRC codes
including the locality-aware sphere packing and Plotkin bounds. We also develop
an approach to linear programming (LP) bounds on LRC codes. The resulting LP
bound gives better estimates in examples than the other upper bounds known in
the literature. Further, we provide the tightest known upper bound on the rate
of linear LRC codes with a given relative distance, an improvement over the
previous best known bounds.Comment: To appear in IEEE Transactions on Information Theor
Diameter, Covering Index, Covering Radius and Eigenvalues
AbstractFan Chung has recently derived an upper bound on the diameter of a regular graph as a function of the second largest eigenvalue in absolute value. We generalize this bound to the case of bipartite biregular graphs, and regular directed graphs.We also observe the connection with the primitivity exponent of the adjacency matrix. This applies directly to the covering number of Finite Non Abelian Simple Groups (FINASIG). We generalize this latter problem to primitive association schemes, such as the conjugacy scheme of Paige's simple loop.By noticing that the covering radius of a linear code is the diameter of a Cayley graph on the cosets, we derive an upper bound on the covering radius of a code as a function of the scattering of the weights of the dual code. When the code has even weights, we obtain a bound on the covering radius as a function of the dual distance dl which is tighter, for d⊥ large enough, than the recent bounds of Tietäväinen
Characterisation of a family of neighbour transitive codes
We consider codes of length over an alphabet of size as subsets of
the vertex set of the Hamming graph . A code for which there
exists an automorphism group that acts transitively on the
code and on its set of neighbours is said to be neighbour transitive, and were
introduced by the authors as a group theoretic analogue to the assumption that
single errors are equally likely over a noisy channel. Examples of neighbour
transitive codes include the Hamming codes, various Golay codes, certain
Hadamard codes, the Nordstrom Robinson codes, certain permutation codes and
frequency permutation arrays, which have connections with powerline
communication, and also completely transitive codes, a subfamily of completely
regular codes, which themselves have attracted a lot of interest. It is known
that for any neighbour transitive code with minimum distance at least 3 there
exists a subgroup of that has a -transitive action on the alphabet over
which the code is defined. Therefore, by Burnside's theorem, this action is of
almost simple or affine type. If the action is of almost simple type, we say
the code is alphabet almost simple neighbour transitive. In this paper we
characterise a family of neighbour transitive codes, in particular, the
alphabet almost simple neighbour transitive codes with minimum distance at
least , and for which the group has a non-trivial intersection with the
base group of . If is such a code, we show that, up to
equivalence, there exists a subcode that can be completely described,
and that either , or is a neighbour transitive frequency
permutation array and is the disjoint union of -translates of .
We also prove that any finite group can be identified in a natural way with a
neighbour transitive code.Comment: 30 Page
Cometric Association Schemes
The combinatorial objects known as association schemes arise in group theory, extremal graph theory, coding theory, the design of experiments, and even quantum information theory. One may think of a d-class association scheme as a (d + 1)-dimensional matrix algebra over R closed under entrywise products. In this context, an imprimitive scheme is one which admits a subalgebra of block matrices, also closed under the entrywise product. Such systems of imprimitivity provide us with quotient schemes, smaller association schemes which are often easier to understand, providing useful information about the structure of the larger scheme. One important property of any association scheme is that we may find a basis of d + 1 idempotent matrices for our algebra. A cometric scheme is one whose idempotent basis may be ordered E0, E1, . . . , Ed so that there exists polynomials f0, f1, . . . , fd with fi ◦ (E1) = Ei and deg(fi) = i for each i. Imprimitive cometric schemes relate closely to t-distance sets, sets of unit vectors with only t distinct angles, such as equiangular lines and mutually unbiased bases. Throughout this thesis we are primarily interested in three distinct goals: building new examples of cometric association schemes, drawing connections between cometric association schemes and other objects either combinatorial or geometric, and finding new realizability conditions on feasible parameter sets — using these conditions to rule out open parameter sets when possible. After introducing association schemes with relevant terminology and definitions, this thesis focuses on a few recent results regarding cometric schemes with small d. We begin by examining the matrix algebra of any such scheme, first looking for low rank positive semidefinite matrices with few distinct entries and later establishing new conditions on realizable parameter sets. We then focus on certain imprimitive examples of both 3- and 4-class cometric association schemes, generating new examples of the former while building realizability conditions for both. In each case, we examine the related t-distance sets, giving conditions which work towards equivalence; in the case of 3-class Q-antipodal schemes, an equivalence is established. We conclude by partially extending a result of Brouwer and Koolen concerning the connectivity of graphs arising from metric association schemes