29,922 research outputs found
Daisies and Other Turan Problems
We make some conjectures about extremal densities of daisy-free families,
where a `daisy' is a certain hypergraph. These questions turn out to be related
to some Turan problems in the hypercube, but they are also natural in their own
right
The history of degenerate (bipartite) extremal graph problems
This paper is a survey on Extremal Graph Theory, primarily focusing on the
case when one of the excluded graphs is bipartite. On one hand we give an
introduction to this field and also describe many important results, methods,
problems, and constructions.Comment: 97 pages, 11 figures, many problems. This is the preliminary version
of our survey presented in Erdos 100. In this version 2 only a citation was
complete
An extremal theorem in the hypercube
The hypercube Q_n is the graph whose vertex set is {0,1}^n and where two
vertices are adjacent if they differ in exactly one coordinate. For any
subgraph H of the cube, let ex(Q_n, H) be the maximum number of edges in a
subgraph of Q_n which does not contain a copy of H. We find a wide class of
subgraphs H, including all previously known examples, for which ex(Q_n, H) =
o(e(Q_n)). In particular, our method gives a unified approach to proving that
ex(Q_n, C_{2t}) = o(e(Q_n)) for all t >= 4 other than 5.Comment: 6 page
On embeddings of CAT(0) cube complexes into products of trees
We prove that the contact graph of a 2-dimensional CAT(0) cube complex of maximum degree can be coloured with at most
colours, for a fixed constant . This implies
that (and the associated median graph) isometrically embeds in the
Cartesian product of at most trees, and that the event
structure whose domain is admits a nice labeling with
labels. On the other hand, we present an example of a
5-dimensional CAT(0) cube complex with uniformly bounded degrees of 0-cubes
which cannot be embedded into a Cartesian product of a finite number of trees.
This answers in the negative a question raised independently by F. Haglund, G.
Niblo, M. Sageev, and the first author of this paper.Comment: Some small corrections; main change is a correction of the
computation of the bounds in Theorem 1. Some figures repaire
Combinatorics and geometry of finite and infinite squaregraphs
Squaregraphs were originally defined as finite plane graphs in which all
inner faces are quadrilaterals (i.e., 4-cycles) and all inner vertices (i.e.,
the vertices not incident with the outer face) have degrees larger than three.
The planar dual of a finite squaregraph is determined by a triangle-free chord
diagram of the unit disk, which could alternatively be viewed as a
triangle-free line arrangement in the hyperbolic plane. This representation
carries over to infinite plane graphs with finite vertex degrees in which the
balls are finite squaregraphs. Algebraically, finite squaregraphs are median
graphs for which the duals are finite circular split systems. Hence
squaregraphs are at the crosspoint of two dualities, an algebraic and a
geometric one, and thus lend themselves to several combinatorial
interpretations and structural characterizations. With these and the
5-colorability theorem for circle graphs at hand, we prove that every
squaregraph can be isometrically embedded into the Cartesian product of five
trees. This embedding result can also be extended to the infinite case without
reference to an embedding in the plane and without any cardinality restriction
when formulated for median graphs free of cubes and further finite
obstructions. Further, we exhibit a class of squaregraphs that can be embedded
into the product of three trees and we characterize those squaregraphs that are
embeddable into the product of just two trees. Finally, finite squaregraphs
enjoy a number of algorithmic features that do not extend to arbitrary median
graphs. For instance, we show that median-generating sets of finite
squaregraphs can be computed in polynomial time, whereas, not unexpectedly, the
corresponding problem for median graphs turns out to be NP-hard.Comment: 46 pages, 14 figure
Search for the end of a path in the d-dimensional grid and in other graphs
We consider the worst-case query complexity of some variants of certain
\cl{PPAD}-complete search problems. Suppose we are given a graph and a
vertex . We denote the directed graph obtained from by
directing all edges in both directions by . is a directed subgraph of
which is unknown to us, except that it consists of vertex-disjoint
directed paths and cycles and one of the paths originates in . Our goal is
to find an endvertex of a path by using as few queries as possible. A query
specifies a vertex , and the answer is the set of the edges of
incident to , together with their directions. We also show lower bounds for
the special case when consists of a single path. Our proofs use the theory
of graph separators. Finally, we consider the case when the graph is a grid
graph. In this case, using the connection with separators, we give
asymptotically tight bounds as a function of the size of the grid, if the
dimension of the grid is considered as fixed. In order to do this, we prove a
separator theorem about grid graphs, which is interesting on its own right
Ramsey numbers of cubes versus cliques
The cube graph Q_n is the skeleton of the n-dimensional cube. It is an
n-regular graph on 2^n vertices. The Ramsey number r(Q_n, K_s) is the minimum N
such that every graph of order N contains the cube graph Q_n or an independent
set of order s. Burr and Erdos in 1983 asked whether the simple lower bound
r(Q_n, K_s) >= (s-1)(2^n - 1)+1 is tight for s fixed and n sufficiently large.
We make progress on this problem, obtaining the first upper bound which is
within a constant factor of the lower bound.Comment: 26 page
- …