67 research outputs found
Codimension two and three Kneser Transversals
Let be integers with and let
be a finite set of points in . A -plane
transversal to the convex hulls of all -sets of is called Kneser
transversal. If in addition contains points of , then
is called complete Kneser transversal.In this paper, we present various
results on the existence of (complete) Kneser transversals for .
In order to do this, we introduce the notions of stability and instability for
(complete) Kneser transversals. We first give a stability result for
collections of points in with
and . We then present a description of
Kneser transversals of collections of points in
with for . We show that
either is a complete Kneser transversal or it contains
points and the remaining points of are matched in pairs in
such a way that intersects the corresponding closed segments determined by
them. The latter leads to new upper and lower bounds (in the case when and ) for defined as the maximum positive integer
such that every set of points (not necessarily in general position) in
admit a Kneser transversal.Finally, by using oriented matroid
machinery, we present some computational results (closely related to the
stability and unstability notions). We determine the existence of (complete)
Kneser transversals for each of the different order types of
configurations of points in
Topological lower bounds for the chromatic number: A hierarchy
This paper is a study of ``topological'' lower bounds for the chromatic
number of a graph. Such a lower bound was first introduced by Lov\'asz in 1978,
in his famous proof of the \emph{Kneser conjecture} via Algebraic Topology.
This conjecture stated that the \emph{Kneser graph} \KG_{m,n}, the graph with
all -element subsets of as vertices and all pairs of
disjoint sets as edges, has chromatic number . Several other proofs
have since been published (by B\'ar\'any, Schrijver, Dolnikov, Sarkaria, Kriz,
Greene, and others), all of them based on some version of the Borsuk--Ulam
theorem, but otherwise quite different. Each can be extended to yield some
lower bound on the chromatic number of an arbitrary graph. (Indeed, we observe
that \emph{every} finite graph may be represented as a generalized Kneser
graph, to which the above bounds apply.)
We show that these bounds are almost linearly ordered by strength, the
strongest one being essentially Lov\'asz' original bound in terms of a
neighborhood complex. We also present and compare various definitions of a
\emph{box complex} of a graph (developing ideas of Alon, Frankl, and Lov\'asz
and of \kriz). A suitable box complex is equivalent to Lov\'asz' complex, but
the construction is simpler and functorial, mapping graphs with homomorphisms
to -spaces with -maps.Comment: 16 pages, 1 figure. Jahresbericht der DMV, to appea
HipergrĂĄfok = Hypergraphs
A projekt cĂ©lkitƱzĂ©seit sikerĂŒlt megvalĂłsĂtani. A nĂ©gy Ă©v sorĂĄn több mint szĂĄz kivĂĄlĂł eredmĂ©ny szĂŒletett, amibĆl eddig 84 dolgozat jelent meg a tĂ©ma legkivĂĄlĂłbb folyĂłirataiban, mint Combinatorica, Journal of Combinatorial Theory, Journal of Graph Theory, Random Graphs and Structures, stb. SzĂĄmos rĂ©gĂłta fennĂĄllĂł sejtĂ©st bebizonyĂtottunk, egĂ©sz rĂ©gi nyitott problĂ©mĂĄt megoldottunk hipergrĂĄfokkal kapcsolatban illetve kapcsolĂłdĂł terĂŒleteken. A problĂ©mĂĄk nĂ©melyike sok Ă©ve, olykor több Ă©vtizede nyitott volt. Nem egy közvetlen kutatĂĄsi eredmĂ©ny, de szintĂ©n bizonyos Ă©rtĂ©kmĂ©rĆ, hogy a rĂ©sztvevĆk egyike a NorvĂ©g KirĂĄlyi AkadĂ©mia tagja lett Ă©s elnyerte a Steele dĂjat. | We managed to reach the goals of the project. We achieved more than one hundred excellent results, 84 of them appeared already in the most prestigious journals of the subject, like Combinatorica, Journal of Combinatorial Theory, Journal of Graph Theory, Random Graphs and Structures, etc. We proved several long standing conjectures, solved quite old open problems in the area of hypergraphs and related subjects. Some of the problems were open for many years, sometimes for decades. It is not a direct research result but kind of an evaluation too that a member of the team became a member of the Norvegian Royal Academy and won Steele Prize
Covering complete partite hypergraphs by monochromatic components
A well-known special case of a conjecture attributed to Ryser states that
k-partite intersecting hypergraphs have transversals of at most k-1 vertices.
An equivalent form was formulated by Gy\'arf\'as: if the edges of a complete
graph K are colored with k colors then the vertex set of K can be covered by at
most k-1 sets, each connected in some color. It turned out that the analogue of
the conjecture for hypergraphs can be answered: Z. Kir\'aly proved that in
every k-coloring of the edges of the r-uniform complete hypergraph K^r (r >=
3), the vertex set of K^r can be covered by at most sets,
each connected in some color.
Here we investigate the analogue problem for complete r-uniform r-partite
hypergraphs. An edge coloring of a hypergraph is called spanning if every
vertex is incident to edges of any color used in the coloring. We propose the
following analogue of Ryser conjecture.
In every spanning (r+t)-coloring of the edges of a complete r-uniform
r-partite hypergraph, the vertex set can be covered by at most t+1 sets, each
connected in some color.
Our main result is that the conjecture is true for 1 <= t <= r-1. We also
prove a slightly weaker result for t >= r, namely that t+2 sets, each connected
in some color, are enough to cover the vertex set.
To build a bridge between complete r-uniform and complete r-uniform r-partite
hypergraphs, we introduce a new notion. A hypergraph is complete r-uniform
(r,l)-partite if it has all r-sets that intersect each partite class in at most
l vertices.
Extending our results achieved for l=1, we prove that for any r >= 3, 2 <= l
= 1+r-l, in every spanning k-coloring of the edges of a complete
r-uniform (r,l)-partite hypergraph, the vertex set can be covered by at most
1+\lfloor \frac{k-r+\ell-1}{\ell}\rfloor sets, each connected in some color.Comment: 14 page
- âŠ