42 research outputs found
A proof of the stability of extremal graphs, Simonovits' stability from Szemer\'edi's regularity
The following sharpening of Tur\'an's theorem is proved. Let denote
the complete --partite graph of order having the maximum number of
edges. If is an -vertex -free graph with edges
then there exists an (at most) -chromatic subgraph such that
.
Using this result we present a concise, contemporary proof (i.e., one
applying Szemer\'edi's regularity lemma) for the classical stability result of
Simonovits.Comment: 4 pages plus reference
On the editing distance of graphs
An edge-operation on a graph is defined to be either the deletion of an
existing edge or the addition of a nonexisting edge. Given a family of graphs
, the editing distance from to is the smallest
number of edge-operations needed to modify into a graph from .
In this paper, we fix a graph and consider , the set of
all graphs on vertices that have no induced copy of . We provide bounds
for the maximum over all -vertex graphs of the editing distance from
to , using an invariant we call the {\it binary chromatic
number} of the graph . We give asymptotically tight bounds for that distance
when is self-complementary and exact results for several small graphs
The approximate Loebl-Komlos-Sos conjecture and embedding trees in sparse graphs
Loebl, Koml\'os and S\'os conjectured that every -vertex graph with at
least vertices of degree at least contains each tree of order
as a subgraph. We give a sketch of a proof of the approximate version of
this conjecture for large values of .
For our proof, we use a structural decomposition which can be seen as an
analogue of Szemer\'edi's regularity lemma for possibly very sparse graphs.
With this tool, each graph can be decomposed into four parts: a set of vertices
of huge degree, regular pairs (in the sense of the regularity lemma), and two
other objects each exhibiting certain expansion properties. We then exploit the
properties of each of the parts of to embed a given tree .
The purpose of this note is to highlight the key steps of our proof. Details
can be found in [arXiv:1211.3050]