28 research outputs found
The regularity method for graphs with few 4-cycles
We develop a sparse graph regularity method that applies to graphs with few
4-cycles, including new counting and removal lemmas for 5-cycles in such
graphs. Some applications include:
* Every -vertex graph with no 5-cycle can be made triangle-free by
deleting edges.
* For , every -vertex -graph with girth greater than has
edges.
* Every subset of without a nontrivial solution to the equation has size .Comment: 23 page
The regularity method for graphs with few 4-cycles
We develop a sparse graph regularity method that applies to graphs with few 4-cycles, including new counting and removal lemmas for 5-cycles in such graphs. Some applications include:
* Every n-vertex graph with no 5-cycle can be made triangle-free by deleting o(n^(3/2)) edges.
* For r ≥ 3, every n-vertex r-graph with girth greater than 5 has o(n^(3/2)) edges.
* Every subset of [n] without a nontrivial solution to the equation x₁+x₂+2x₃ = x₄+3x₅ has size o(√n)
High dimensional Hoffman bound and applications in extremal combinatorics
One powerful method for upper-bounding the largest independent set in a graph
is the Hoffman bound, which gives an upper bound on the largest independent set
of a graph in terms of its eigenvalues. It is easily seen that the Hoffman
bound is sharp on the tensor power of a graph whenever it is sharp for the
original graph.
In this paper, we introduce the related problem of upper-bounding independent
sets in tensor powers of hypergraphs. We show that many of the prominent open
problems in extremal combinatorics, such as the Tur\'an problem for
(hyper-)graphs, can be encoded as special cases of this problem. We also give a
new generalization of the Hoffman bound for hypergraphs which is sharp for the
tensor power of a hypergraph whenever it is sharp for the original hypergraph.
As an application of our Hoffman bound, we make progress on the problem of
Frankl on families of sets without extended triangles from 1990. We show that
if then the extremal family is the star,
i.e. the family of all sets that contains a given element. This covers the
entire range in which the star is extremal. As another application, we provide
spectral proofs for Mantel's theorem on triangle-free graphs and for
Frankl-Tokushige theorem on -wise intersecting families