74 research outputs found
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
Spectrum of Sizes for Perfect Deletion-Correcting Codes
One peculiarity with deletion-correcting codes is that perfect
-deletion-correcting codes of the same length over the same alphabet can
have different numbers of codewords, because the balls of radius with
respect to the Levenshte\u{\i}n distance may be of different sizes. There is
interest, therefore, in determining all possible sizes of a perfect
-deletion-correcting code, given the length and the alphabet size~.
In this paper, we determine completely the spectrum of possible sizes for
perfect -ary 1-deletion-correcting codes of length three for all , and
perfect -ary 2-deletion-correcting codes of length four for almost all ,
leaving only a small finite number of cases in doubt.Comment: 23 page
Existence of r-fold perfect (v,K,1)-Mendelsohn designs with Kâ{4,5,6,7}
AbstractLet v be a positive integer and let K be a set of positive integers. A (v,K,1)-Mendelsohn design, which we denote briefly by (v,K,1)-MD, is a pair (X,B) where X is a v-set (of points) and B is a collection of cyclically ordered subsets of X (called blocks) with sizes in the set K such that every ordered pair of points of X are consecutive in exactly one block of B. If for all t=1,2,âŚ,r, every ordered pair of points of X are t-apart in exactly one block of B, then the (v,K,1)-MD is called an r-fold perfect design and denoted briefly by an r-fold perfect (v,K,1)-MD. If K={k} and r=kâ1, then an r-fold perfect (v,{k},1)-MD is essentially the more familiar (v,k,1)-perfect Mendelsohn design, which is briefly denoted by (v,k,1)-PMD. In this paper, we investigate the existence of r-fold perfect (v,K,1)-Mendelsohn designs for a specified set K which is a subset of {4, 5, 6, 7} containing precisely two elements
Uniform hypergraphs containing no grids
A hypergraph is called an rĂr grid if it is isomorphic to a pattern of r horizontal and r vertical lines, i.e.,a family of sets {A1, ..., Ar, B1, ..., Br} such that AiâŠAj=BiâŠBj=Ď for 1â¤i<jâ¤r and {pipe}AiâŠBj{pipe}=1 for 1â¤i, jâ¤r. Three sets C1, C2, C3 form a triangle if they pairwise intersect in three distinct singletons, {pipe}C1âŠC2{pipe}={pipe}C2âŠC3{pipe}={pipe}C3âŠC1{pipe}=1, C1âŠC2â C1âŠC3. A hypergraph is linear, if {pipe}EâŠF{pipe}â¤1 holds for every pair of edges Eâ F.In this paper we construct large linear r-hypergraphs which contain no grids. Moreover, a similar construction gives large linear r-hypergraphs which contain neither grids nor triangles. For râĽ. 4 our constructions are almost optimal. These investigations are motivated by coding theory: we get new bounds for optimal superimposed codes and designs. Š 2013 Elsevier Ltd
Partitionable sets, almost partitionable sets and their applications
This paper introduces almost partitionable sets to generalize the known
concept of partitionable sets. These notions provide a unified frame to
construct -cyclic patterned starter whist tournaments and cyclic
balanced sampling plans excluding contiguous units. The existences of
partitionable sets and almost partitionable sets are investigated. As an
application, a large number of maximum or maximal optical orthogonal codes are
constructed. These maximal optical orthogonal codes fail to be maximum for just
one codeword
Ramsey-nice families of graphs
For a finite family of fixed graphs let be
the smallest integer for which every -coloring of the edges of the
complete graph yields a monochromatic copy of some . We
say that is -nice if for every graph with
and for every -coloring of there exists a
monochromatic copy of some . It is easy to see that if
contains no forest, then it is not -nice for any . It seems
plausible to conjecture that a (weak) converse holds, namely, for any finite
family of graphs that contains at least one forest, and for all
(or at least for infinitely many values of ),
is -nice. We prove several (modest) results in support of this
conjecture, showing, in particular, that it holds for each of the three
families consisting of two connected graphs with 3 edges each and observing
that it holds for any family containing a forest with at most 2
edges. We also study some related problems and disprove a conjecture by
Aharoni, Charbit and Howard regarding the size of matchings in regular
3-partite 3-uniform hypergraphs.Comment: 20 pages, 2 figure
- âŚ