2,763 research outputs found
The proof-theoretic strength of Ramsey's theorem for pairs and two colors
Ramsey's theorem for -tuples and -colors () asserts
that every k-coloring of admits an infinite monochromatic
subset. We study the proof-theoretic strength of Ramsey's theorem for pairs and
two colors, namely, the set of its consequences, and show that
is conservative over . This
strengthens the proof of Chong, Slaman and Yang that does not
imply , and shows that is
finitistically reducible, in the sense of Simpson's partial realization of
Hilbert's Program. Moreover, we develop general tools to simplify the proofs of
-conservation theorems.Comment: 32 page
Density theorems for bipartite graphs and related Ramsey-type results
In this paper, we present several density-type theorems which show how to
find a copy of a sparse bipartite graph in a graph of positive density. Our
results imply several new bounds for classical problems in graph Ramsey theory
and improve and generalize earlier results of various researchers. The proofs
combine probabilistic arguments with some combinatorial ideas. In addition,
these techniques can be used to study properties of graphs with a forbidden
induced subgraph, edge intersection patterns in topological graphs, and to
obtain several other Ramsey-type statements
Combinatorial theorems relative to a random set
We describe recent advances in the study of random analogues of combinatorial
theorems.Comment: 26 pages. Submitted to Proceedings of the ICM 201
Induced Ramsey-type theorems
We present a unified approach to proving Ramsey-type theorems for graphs with
a forbidden induced subgraph which can be used to extend and improve the
earlier results of Rodl, Erdos-Hajnal, Promel-Rodl, Nikiforov, Chung-Graham,
and Luczak-Rodl. The proofs are based on a simple lemma (generalizing one by
Graham, Rodl, and Rucinski) that can be used as a replacement for Szemeredi's
regularity lemma, thereby giving much better bounds. The same approach can be
also used to show that pseudo-random graphs have strong induced Ramsey
properties. This leads to explicit constructions for upper bounds on various
induced Ramsey numbers.Comment: 30 page
Positional Games
Positional games are a branch of combinatorics, researching a variety of
two-player games, ranging from popular recreational games such as Tic-Tac-Toe
and Hex, to purely abstract games played on graphs and hypergraphs. It is
closely connected to many other combinatorial disciplines such as Ramsey
theory, extremal graph and set theory, probabilistic combinatorics, and to
computer science. We survey the basic notions of the field, its approaches and
tools, as well as numerous recent advances, standing open problems and
promising research directions.Comment: Submitted to Proceedings of the ICM 201
Hypernatural Numbers as Ultrafilters
In this paper we present a use of nonstandard methods in the theory of
ultrafilters and in related applications to combinatorics of numbers
Extremal results in sparse pseudorandom graphs
Szemer\'edi's regularity lemma is a fundamental tool in extremal
combinatorics. However, the original version is only helpful in studying dense
graphs. In the 1990s, Kohayakawa and R\"odl proved an analogue of Szemer\'edi's
regularity lemma for sparse graphs as part of a general program toward
extending extremal results to sparse graphs. Many of the key applications of
Szemer\'edi's regularity lemma use an associated counting lemma. In order to
prove extensions of these results which also apply to sparse graphs, it
remained a well-known open problem to prove a counting lemma in sparse graphs.
The main advance of this paper lies in a new counting lemma, proved following
the functional approach of Gowers, which complements the sparse regularity
lemma of Kohayakawa and R\"odl, allowing us to count small graphs in regular
subgraphs of a sufficiently pseudorandom graph. We use this to prove sparse
extensions of several well-known combinatorial theorems, including the removal
lemmas for graphs and groups, the Erd\H{o}s-Stone-Simonovits theorem and
Ramsey's theorem. These results extend and improve upon a substantial body of
previous work.Comment: 70 pages, accepted for publication in Adv. Mat
- …