67 research outputs found
Simple realizability of complete abstract topological graphs simplified
An abstract topological graph (briefly an AT-graph) is a pair
where is a graph and is a set of pairs of its edges. The AT-graph is simply
realizable if can be drawn in the plane so that each pair of edges from
crosses exactly once and no other pair crosses. We show that
simply realizable complete AT-graphs are characterized by a finite set of
forbidden AT-subgraphs, each with at most six vertices. This implies a
straightforward polynomial algorithm for testing simple realizability of
complete AT-graphs, which simplifies a previous algorithm by the author. We
also show an analogous result for independent -realizability,
where only the parity of the number of crossings for each pair of independent
edges is specified.Comment: 26 pages, 17 figures; major revision; original Section 5 removed and
will be included in another pape
Ramsey-type constructions for arrangements of segments
Improving a result of K\'arolyi, Pach and T\'oth, we construct an arrangement
of segments in the plane with at most pairwise
crossing or pairwise disjoint segments. We use the recursive method based on
flattenable arrangements which was established by Larman, Matou\v{s}ek, Pach
and T\"or\H{o}csik. We also show that not every arrangement can be flattened,
by constructing an intersection graph of segments which cannot be realized by
an arrangement of segments crossing a common line. Moreover, we also construct
an intersection graph of segments crossing a common line which cannot be
realized by a flattenable arrangement.Comment: 11 pages, 6 figure
The hamburger theorem
We generalize the ham sandwich theorem to measures in as
follows. Let be absolutely continuous finite
Borel measures on . Let for , and assume that . Assume that for every . Then there
exists a hyperplane such that each open halfspace defined by
satisfies for every
and . As a
consequence we obtain that every -colored set of points in
such that no color is used for more than points can be
partitioned into disjoint rainbow -dimensional simplices.Comment: 11 pages, 2 figures; a new proof of Theorem 8, extended concluding
remark
The -genus of Kuratowski minors
A drawing of a graph on a surface is independently even if every pair of
nonadjacent edges in the drawing crosses an even number of times. The
-genus of a graph is the minimum such that has an
independently even drawing on the orientable surface of genus . An
unpublished result by Robertson and Seymour implies that for every , every
graph of sufficiently large genus contains as a minor a projective
grid or one of the following so-called -Kuratowski graphs: , or
copies of or sharing at most common vertices. We show that
the -genus of graphs in these families is unbounded in ; in
fact, equal to their genus. Together, this implies that the genus of a graph is
bounded from above by a function of its -genus, solving a problem
posed by Schaefer and \v{S}tefankovi\v{c}, and giving an approximate version of
the Hanani-Tutte theorem on orientable surfaces. We also obtain an analogous
result for Euler genus and Euler -genus of graphs.Comment: 23 pages, 7 figures; a few references added and correcte
Counterexample to an extension of the Hanani-Tutte theorem on the surface of genus 4
We find a graph of genus and its drawing on the orientable surface of
genus with every pair of independent edges crossing an even number of
times. This shows that the strong Hanani-Tutte theorem cannot be extended to
the orientable surface of genus . As a base step in the construction we use
a counterexample to an extension of the unified Hanani-Tutte theorem on the
torus.Comment: 12 pages, 4 figures; minor revision, new section on open problem
Ramsey numbers of ordered graphs
An ordered graph is a pair where is a graph and
is a total ordering of its vertices. The ordered Ramsey number
is the minimum number such that every ordered
complete graph with vertices and with edges colored by two colors contains
a monochromatic copy of .
In contrast with the case of unordered graphs, we show that there are
arbitrarily large ordered matchings on vertices for which
is superpolynomial in . This implies that
ordered Ramsey numbers of the same graph can grow superpolynomially in the size
of the graph in one ordering and remain linear in another ordering.
We also prove that the ordered Ramsey number is
polynomial in the number of vertices of if the bandwidth of
is constant or if is an ordered graph of constant
degeneracy and constant interval chromatic number. The first result gives a
positive answer to a question of Conlon, Fox, Lee, and Sudakov.
For a few special classes of ordered paths, stars or matchings, we give
asymptotically tight bounds on their ordered Ramsey numbers. For so-called
monotone cycles we compute their ordered Ramsey numbers exactly. This result
implies exact formulas for geometric Ramsey numbers of cycles introduced by
K\'arolyi, Pach, T\'oth, and Valtr.Comment: 29 pages, 13 figures, to appear in Electronic Journal of
Combinatoric
- …