350 research outputs found
Generalized Kneser coloring theorems with combinatorial proofs
The Kneser conjecture (1955) was proved by Lov\'asz (1978) using the
Borsuk-Ulam theorem; all subsequent proofs, extensions and generalizations also
relied on Algebraic Topology results, namely the Borsuk-Ulam theorem and its
extensions. Only in 2000, Matou\v{s}ek provided the first combinatorial proof
of the Kneser conjecture.
Here we provide a hypergraph coloring theorem, with a combinatorial proof,
which has as special cases the Kneser conjecture as well as its extensions and
generalization by (hyper)graph coloring theorems of Dol'nikov,
Alon-Frankl-Lov\'asz, Sarkaria, and Kriz. We also give a combinatorial proof of
Schrijver's theorem.Comment: 19 pages, 4 figure
On the Monotone Upper Bound Problem
The Monotone Upper Bound Problem asks for the maximal number M(d,n) of
vertices on a strictly-increasing edge-path on a simple d-polytope with n
facets. More specifically, it asks whether the upper bound M(d,n)<=M_{ubt}(d,n)
provided by McMullen's (1970) Upper Bound Theorem is tight, where M_{ubt}(d,n)
is the number of vertices of a dual-to-cyclic d-polytope with n facets.
It was recently shown that the upper bound M(d,n)<=M_{ubt}(d,n) holds with
equality for small dimensions (d<=4: Pfeifle, 2003) and for small corank
(n<=d+2: G\"artner et al., 2001). Here we prove that it is not tight in
general: In dimension d=6 a polytope with n=9 facets can have M_{ubt}(6,9)=30
vertices, but not more than 26 <= M(6,9) <= 29 vertices can lie on a
strictly-increasing edge-path.
The proof involves classification results about neighborly polytopes, Kalai's
(1988) concept of abstract objective functions, the Holt-Klee conditions
(1998), explicit enumeration, Welzl's (2001) extended Gale diagrams, randomized
generation of instances, as well as non-realizability proofs via a version of
the Farkas lemma.Comment: 15 pages; 6 figure
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
- …