227 research outputs found
Short proofs of some extremal results III
We prove a selection of results from different areas of extremal combinatorics, including complete or partial solutions to a number of open problems. These results, coming mainly from extremal graph theory and Ramsey theory, have been collected together because in each case the relevant proofs are reasonably short
Short proofs of some extremal results III
We prove a selection of results from different areas of extremal combinatorics, including complete or partial solutions to a number of open problems. These results, coming mainly from extremal graph theory and Ramsey theory, have been collected together because in each case the relevant proofs are reasonably short
Evasiveness and the Distribution of Prime Numbers
We confirm the eventual evasiveness of several classes of monotone graph
properties under widely accepted number theoretic hypotheses. In particular we
show that Chowla's conjecture on Dirichlet primes implies that (a) for any
graph , "forbidden subgraph " is eventually evasive and (b) all
nontrivial monotone properties of graphs with edges are
eventually evasive. ( is the number of vertices.)
While Chowla's conjecture is not known to follow from the Extended Riemann
Hypothesis (ERH, the Riemann Hypothesis for Dirichlet's functions), we show
(b) with the bound under ERH.
We also prove unconditional results: (a) for any graph , the query
complexity of "forbidden subgraph " is ; (b) for
some constant , all nontrivial monotone properties of graphs with edges are eventually evasive.
Even these weaker, unconditional results rely on deep results from number
theory such as Vinogradov's theorem on the Goldbach conjecture.
Our technical contribution consists in connecting the topological framework
of Kahn, Saks, and Sturtevant (1984), as further developed by Chakrabarti,
Khot, and Shi (2002), with a deeper analysis of the orbital structure of
permutation groups and their connection to the distribution of prime numbers.
Our unconditional results include stronger versions and generalizations of some
result of Chakrabarti et al.Comment: 12 pages (conference version for STACS 2010
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
The number of subsets of integers with no -term arithmetic progression
Addressing a question of Cameron and Erd\Ho s, we show that, for infinitely
many values of , the number of subsets of that do not
contain a -term arithmetic progression is at most , where
is the maximum cardinality of a subset of without
a -term arithmetic progression. This bound is optimal up to a constant
factor in the exponent. For all values of , we prove a weaker bound, which
is nevertheless sufficient to transfer the current best upper bound on
to the sparse random setting. To achieve these bounds, we establish a new
supersaturation result, which roughly states that sets of size
contain superlinearly many -term arithmetic progressions.
For integers and , Erd\Ho s asked whether there is a set of integers
with no -term arithmetic progression, but such that any -coloring
of yields a monochromatic -term arithmetic progression. Ne\v{s}et\v{r}il
and R\"odl, and independently Spencer, answered this question affirmatively. We
show the following density version: for every and , there
exists a reasonably dense subset of primes with no -term arithmetic
progression, yet every of size contains a
-term arithmetic progression.
Our proof uses the hypergraph container method, which has proven to be a very
powerful tool in extremal combinatorics. The idea behind the container method
is to have a small certificate set to describe a large independent set. We give
two further applications in the appendix using this idea.Comment: To appear in International Mathematics Research Notices. This is a
longer version than the journal version, containing two additional minor
applications of the container metho
- …