757 research outputs found
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
Tur\'annical hypergraphs
This paper is motivated by the question of how global and dense restriction
sets in results from extremal combinatorics can be replaced by less global and
sparser ones. The result we consider here as an example is Turan's theorem,
which deals with graphs G=([n],E) such that no member of the restriction set
consisting of all r-tuples on [n] induces a copy of K_r.
Firstly, we examine what happens when this restriction set is replaced just
by all r-tuples touching a given m-element set. That is, we determine the
maximal number of edges in an n-vertex such that no K_r hits a given vertex
set.
Secondly, we consider sparse random restriction sets. An r-uniform hypergraph
R on vertex set [n] is called Turannical (respectively epsilon-Turannical), if
for any graph G on [n] with more edges than the Turan number ex(n,K_r)
(respectively (1+\eps)ex(n,K_r), no hyperedge of R induces a copy of K_r in G.
We determine the thresholds for random r-uniform hypergraphs to be Turannical
and to epsilon-Turannical.
Thirdly, we transfer this result to sparse random graphs, using techniques
recently developed by Schacht [Extremal results for random discrete structures]
to prove the Kohayakawa-Luczak-Rodl Conjecture on Turan's theorem in random
graphs.Comment: 33 pages, minor improvements thanks to two referee
Boxicity and separation dimension
A family of permutations of the vertices of a hypergraph is
called 'pairwise suitable' for if, for every pair of disjoint edges in ,
there exists a permutation in in which all the vertices in one
edge precede those in the other. The cardinality of a smallest such family of
permutations for is called the 'separation dimension' of and is denoted
by . Equivalently, is the smallest natural number so that
the vertices of can be embedded in such that any two
disjoint edges of can be separated by a hyperplane normal to one of the
axes. We show that the separation dimension of a hypergraph is equal to the
'boxicity' of the line graph of . This connection helps us in borrowing
results and techniques from the extensive literature on boxicity to study the
concept of separation dimension.Comment: This is the full version of a paper by the same name submitted to
WG-2014. Some results proved in this paper are also present in
arXiv:1212.6756. arXiv admin note: substantial text overlap with
arXiv:1212.675
- âŚ