6,071 research outputs found
Countable Ramsey
The celebrated Erd\H{o}s-Hajnal Conjecture says that in any proper hereditary
class of finite graphs we are guaranteed to have a clique or anti-clique of
size , which is a much better bound than the logarithmic size that is
provided by Ramsey's Theorem in general. On the other hand, in uncountable
cardinalities, the model-theoretic property of stability guarantees a uniform
set much larger than the bound provided by the Erd\H{o}s-Rado Theorem in
general.
Even though the consequences of stability in the finite have been much
studied in the literature, the countable setting seems a priori quite
different, namely, in the countably infinite the notion of largeness based on
cardinality alone does not reveal any structure as Ramsey's Theorem already
provides a countably infinite uniform set in general. In this paper, we show
that the natural notion of largeness given by upper density reveals that these
phenomena meet in the countable: a countable graph has an almost clique or
anti-clique of positive upper density if and only if it has a positive upper
density almost stable set. Moreover, this result also extends naturally to
countable models of a universal theory in a finite relational language.
Our methods explore a connection with the notion of convergence in the theory
of limits of dense combinatorial objects, introducing and studying a natural
approximate version of the Erd\H{o}s-Hajnal property that allows for a
negligible error in the edges (in general, predicates) but requires
linear-sized uniform sets in convergent sequences of models (this is much
stronger than what stable regularity can provide as the error is required to go
to zero). Finally, surprisingly, we completely characterize all hereditary
classes of finite graphs that have this approximate Erd\H{o}s-Hajnal property.
The proof highlights both differences and similarities with the original
conjecture.Comment: 76 pages, 8 figure
Hereditary properties of combinatorial structures: posets and oriented graphs
A hereditary property of combinatorial structures is a collection of
structures (e.g. graphs, posets) which is closed under isomorphism, closed
under taking induced substructures (e.g. induced subgraphs), and contains
arbitrarily large structures. Given a property P, we write P_n for the
collection of distinct (i.e., non-isomorphic) structures in a property P with n
vertices, and call the function n -> |P_n| the speed (or unlabelled speed) of
P. Also, we write P^n for the collection of distinct labelled structures in P
with vertices labelled 1,...,n, and call the function n -> |P^n| the labelled
speed of P.
The possible labelled speeds of a hereditary property of graphs have been
extensively studied, and the aim of this paper is to investigate the possible
speeds of other combinatorial structures, namely posets and oriented graphs.
More precisely, we show that (for sufficiently large n), the labelled speed of
a hereditary property of posets is either 1, or exactly a polynomial, or at
least 2^n - 1. We also show that there is an initial jump in the possible
unlabelled speeds of hereditary properties of posets, tournaments and directed
graphs, from bounded to linear speed, and give a sharp lower bound on the
possible linear speeds in each case.Comment: 26 pgs, no figure
- …