12,622 research outputs found
Problems on q-Analogs in Coding Theory
The interest in -analogs of codes and designs has been increased in the
last few years as a consequence of their new application in error-correction
for random network coding. There are many interesting theoretical, algebraic,
and combinatorial coding problems concerning these q-analogs which remained
unsolved. The first goal of this paper is to make a short summary of the large
amount of research which was done in the area mainly in the last few years and
to provide most of the relevant references. The second goal of this paper is to
present one hundred open questions and problems for future research, whose
solution will advance the knowledge in this area. The third goal of this paper
is to present and start some directions in solving some of these problems.Comment: arXiv admin note: text overlap with arXiv:0805.3528 by other author
On the Combinatorics of Locally Repairable Codes via Matroid Theory
This paper provides a link between matroid theory and locally repairable
codes (LRCs) that are either linear or more generally almost affine. Using this
link, new results on both LRCs and matroid theory are derived. The parameters
of LRCs are generalized to matroids, and the matroid
analogue of the generalized Singleton bound in [P. Gopalan et al., "On the
locality of codeword symbols," IEEE Trans. Inf. Theory] for linear LRCs is
given for matroids. It is shown that the given bound is not tight for certain
classes of parameters, implying a nonexistence result for the corresponding
locally repairable almost affine codes, that are coined perfect in this paper.
Constructions of classes of matroids with a large span of the parameters
and the corresponding local repair sets are given. Using
these matroid constructions, new LRCs are constructed with prescribed
parameters. The existence results on linear LRCs and the nonexistence results
on almost affine LRCs given in this paper strengthen the nonexistence and
existence results on perfect linear LRCs given in [W. Song et al., "Optimal
locally repairable codes," IEEE J. Sel. Areas Comm.].Comment: 48 pages. Submitted for publication. In this version: The text has
been edited to improve the readability. Parameter d for matroids is now
defined by the use of the rank function instead of the dual matroid. Typos
are corrected. Section III is divided into two parts, and some numberings of
theorems etc. have been change
Resolvable Mendelsohn designs and finite Frobenius groups
We prove the existence and give constructions of a -fold perfect
resolvable -Mendelsohn design for any integers with such that there exists a finite Frobenius group whose kernel
has order and whose complement contains an element of order ,
where is the least prime factor of . Such a design admits as a group of automorphisms and is perfect when is a
prime. As an application we prove that for any integer in prime factorization, and any prime dividing
for , there exists a resolvable perfect -Mendelsohn design that admits a Frobenius group as a group of
automorphisms. We also prove that, if is even and divides for
, then there are at least resolvable -Mendelsohn designs that admit a Frobenius group as a group of
automorphisms, where is Euler's totient function.Comment: Final versio
Cyclic lowest density MDS array codes
Three new families of lowest density maximum-distance separable (MDS) array codes are constructed, which are cyclic or quasi-cyclic. In addition to their optimal redundancy (MDS) and optimal update complexity (lowest density), the symmetry offered by the new codes can be utilized for simplified implementation in storage applications. The proof of the code properties has an indirect structure: first MDS codes that are not cyclic are constructed, and then transformed to cyclic codes by a minimum-distance preserving transformation
Invariant tensors and the cyclic sieving phenomenon
We construct a large class of examples of the cyclic sieving phenomenon by
expoiting the representation theory of semi-simple Lie algebras. Let be a
finite dimensional representation of a semi-simple Lie algebra and let be
the associated Kashiwara crystal. For , the triple which
exhibits the cyclic sieving phenomenon is constructed as follows: the set
is the set of isolated vertices in the crystal ; the map is a generalisation of promotion acting on standard tableaux of
rectangular shape and the polynomial is the fake degree of the Frobenius
character of a representation of related to the natural action
of on the subspace of invariant tensors in .
Taking to be the defining representation of gives the
cyclic sieving phenomenon for rectangular tableaux
Matchings and Hamilton Cycles with Constraints on Sets of Edges
The aim of this paper is to extend and generalise some work of Katona on the
existence of perfect matchings or Hamilton cycles in graphs subject to certain
constraints. The most general form of these constraints is that we are given a
family of sets of edges of our graph and are not allowed to use all the edges
of any member of this family. We consider two natural ways of expressing
constraints of this kind using graphs and using set systems.
For the first version we ask for conditions on regular bipartite graphs
and for there to exist a perfect matching in , no two edges of which
form a -cycle with two edges of .
In the second, we ask for conditions under which a Hamilton cycle in the
complete graph (or equivalently a cyclic permutation) exists, with the property
that it has no collection of intervals of prescribed lengths whose union is an
element of a given family of sets. For instance we prove that the smallest
family of -sets with the property that every cyclic permutation of an
-set contains two adjacent pairs of points has size between
and . We also give bounds on the general version of this problem
and on other natural special cases.
We finish by raising numerous open problems and directions for further study.Comment: 21 page
Triangulated surfaces in triangulated categories
For a triangulated category A with a 2-periodic dg-enhancement and a
triangulated oriented marked surface S we introduce a dg-category F(S,A)
parametrizing systems of exact triangles in A labelled by triangles of S. Our
main result is that F(S,A) is independent on the choice of a triangulation of S
up to essentially unique Morita equivalence. In particular, it admits a
canonical action of the mapping class group. The proof is based on general
properties of cyclic 2-Segal spaces.
In the simplest case, where A is the category of 2-periodic complexes of
vector spaces, F(S,A) turns out to be a purely topological model for the Fukaya
category of the surface S. Therefore, our construction can be seen as
implementing a 2-dimensional instance of Kontsevich's program on localizing the
Fukaya category along a singular Lagrangian spine.Comment: 55 pages, v2: references added and typos corrected, v3: expanded
version, comments welcom
- …