BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
József Balogh appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
Let $α(\mathbb{F}_q^{d},p)$ be the maximum possible size of a point set in general position in the $p$-random subset of $\mathbb{F}_q^d$. In this note, we determine the order of magnitude of $α(\mathbb{F}_q^{3},p)$ up to a polylogarithmic factor by proving a balanced supersaturation result for the sets of $4$ points in the same plane.
Let $H$ be a fixed graph whose edges are colored red and blue and let $β\in [0,1]$. Let $I(H, β)$ be the (asymptotically normalized) maximum number of copies of $H$ in a large red/blue edge-colored complete graph $G$, where the density of red edges in $G$ is $β$. This refines the problem of determining the semi-inducibility of $H$, which is itself a generalization of the classical question of determining the inducibility of $H$. The function $I(H, β)$ for $β\in [0,1]$ was not known for any graph $H$ on more than three vertices, except when $H$ is a monochromatic clique (Kruskal-Katona) or a monochromatic star (Reiher-Wagner). We obtain sharp results for some four and five vertex graphs, addressing several recent questions posed by various authors. We also obtain some general results for trees and stars. Many open problems remain.
In the Constructor-Blocker game, two players, Constructor and Blocker, alternatively claim unclaimed edges of the complete graph $K_n$. For given graphs $F$ and $H$, Constructor can only claim edges that leave her graph $F$-free, while Blocker has no restrictions. Constructor's goal is to build as many copies of $H$ as she can, while Blocker attempts to stop this. The game ends once there are no more edges that Constructor can claim. The score $g(n,H,F)$ of the game is the number of copies of $H$ in Constructor's graph at the end of the game, when both players play optimally and Constructor plays first. In this paper, we extend results of Patkós, Stojaković and Vizer on $g(n, H, F)$ to many pairs of $H$ and $F$: We determine $g(n, H, F)$ when $H=K_r$ and $χ(F)>r$, also when both $H$ and $F$ are odd cycles, using Szemerédi's Regularity Lemma. We also obtain bounds of $g(n, H, F)$ when $H=K_3$ and $F=K_{2,2}$.
Given positive integers $p$ and $q$, a $(p,q)$-coloring of the complete graph $K_n$ is an edge-coloring in which every $p$-clique receives at least $q$ colors. Erdős and Shelah posed the question of determining $f(n,p,q)$, the minimum number of colors needed for a $(p,q)$-coloring of $K_n$. In this paper, we expand on the color energy technique introduced by Pohoata and Sheffer to prove new lower bounds on this function, making explicit the connection between bounds on extremal numbers and $f(n,p,q)$. Using results on the extremal numbers of subdivided complete graphs, theta graphs, and subdivided complete bipartite graphs, we generalize results of Fish, Pohoata, and Sheffer, giving the first nontrivial lower bounds on $f(n,p,q)$ for some pairs $(p,q)$ and improving previous lower bounds for other pairs.
A family $\mathcal{F}$ on ground set $\{1,2,\ldots, n\}$ is maximal $k$-wise intersecting if every collection of $k$ sets in $\mathcal{F}$ has non-empty intersection, and no other set can be added to $\mathcal{F}$ while maintaining this property. Erdős and Kleitman asked for the minimum size of a maximal $k$-wise intersecting family. Complementing earlier work of Hendrey, Lund, Tompkins and Tran, who answered this question for $k=3$ and large even $n$, we answer it for $k=3$ and large odd $n$. We show that the unique minimum family is obtained by partitioning the ground set into two sets $A$ and $B$ with almost equal sizes and taking the family consisting of all the proper supersets of $A$ and of $B$. A key ingredient of our proof is the stability result by Ellis and Sudakov about the so-called $2$-generator set systems.
An essential cover of the vertices of the $n$-cube $\{0,1\}^n$ by hyperplanes is a minimal covering where no hyperplane is redundant and every variable appears in the equation of at least one hyperplane. Linial and Radhakrishnan gave a construction of an essential cover with $\lceil \frac{n}{2} \rceil + 1$ hyperplanes and showed that $Ω(\sqrt{n})$ hyperplanes are required. Recently, Yehuda and Yehudayoff improved the lower bound by showing that any essential cover of the $n$-cube contains at least $Ω(n^{0.52})$ hyperplanes. In this paper, building on the method of Yehuda and Yehudayoff, we prove that $Ω\left( \frac{n^{5/9}}{(\log n)^{4/9}} \right)$ hyperplanes are needed.
For every integer $t \ge 0$, denote by $F_5^t$ the hypergraph on vertex set $\{1,2,\ldots, 5+t\}$ with hyperedges $\{123,124\} \cup \{34k : 5 \le k \le 5+t\}$. We determine $\mathrm{ex}(n,F_5^t)$ for every $t\ge 0$ and sufficiently large $n$ and characterize the extremal $F_5^t$-free hypergraphs. In particular, if $n$ satisfies certain divisibility conditions, then the extremal $F_5^t$-free hypergraphs are exactly the balanced complete tripartite hypergraphs with additional hyperedges inside each of the three parts $(V_1,V_2,V_3)$ in the partition; each part $V_i$ spans a $(|V_i|,3,2,t)$-design. This generalizes earlier work of Frankl and Füredi on the Turán number of $F_5:=F_5^0$. Our results extend a theory of Erdős and Simonovits about the extremal constructions for certain fixed graphs. In particular, the hypergraphs $F_5^{6t}$, for $t\geq 1$, are the first examples of hypergraphs with exponentially many extremal constructions and positive Turán density.
For positive integers $n$ and $k$ with $n\geq 2k+1$, the Kneser graph $K(n,k)$ is the graph with vertex set consisting of all $k$-sets of $\{1,\dots,n\}$, where two $k$-sets are adjacent exactly when they are disjoint. The independent sets of $K(n,k)$ are $k$-uniform intersecting families, and hence the maximum size independent sets are given by the Erdős-Ko-Rado Theorem. Let $K_p(n,k)$ be a random spanning subgraph of $K(n,k)$ where each edge is included independently with probability $p$. Bollobás, Narayanan, and Raigorodskii asked for what $p$ does $K_p(n,k)$ have the same independence number as $K(n,k)$ with high probability. For $n=2k+1$, we prove a hitting time result, which gives a sharp threshold for this problem at $p=3/4$. Additionally, completing work of Das and Tran and work of Devlin and Kahn, we determine a sharp threshold function for all $n>2k+1$.
Erdős, Füredi, Rothschild and Sós initiated a study of classes of graphs that forbid every induced subgraph on a given number $m$ of vertices and number $f$ of edges. Extending their notation to $r$-graphs, we write $(n,e) \to_r (m,f)$ if every $r$-graph $G$ on $n$ vertices with $e$ edges has an induced subgraph on $m$ vertices and $f$ edges. The \emph{forcing density} of a pair $(m,f)$ is $$ σ_r(m,f) =\left. \limsup\limits_{n \to \infty} \frac{|\{e : (n,e) \to_r (m,f)\}|}{\binom{n}{r}} \right. .$$ In the graph setting it is known that there are infinitely many pairs $(m, f)$ with positive forcing density. Weber asked if there is a pair of positive forcing density for $r\geq 3$ apart from the trivial ones $(m, 0)$ and $(m, \binom{m}{r})$. Answering her question, we show that $(6,10)$ is such a pair for $r=3$ and conjecture that it is the unique such pair. Further, we find necessary conditions for a pair to have positive forcing density, supporting this conjecture.
A triangle $T'$ is $\varepsilon$-similar to another triangle $T$ if their angles pairwise differ by at most $\varepsilon$. Given a triangle $T$, $\varepsilon>0$ and $n\in\mathbb{N}$, Bárány and Füredi asked to determine the maximum number of triangles $h(n,T,\varepsilon)$ being $\varepsilon$-similar to $T$ in a planar point set of size $n$. We show that for almost all triangles $T$ there exists $\varepsilon=\varepsilon(T)>0$ such that $h(n,T,\varepsilon)=n^3/24 (1+o(1))$. Exploring connections to hypergraph Turán problems, we use flag algebras and stability techniques for the proof.
Let $\mathcal{H}$ be an $r$-uniform hypergraph. The \emph{minimum positive co-degree} of $\mathcal{H}$, denoted by $δ_{r-1}^+(\mathcal{H})$, is the minimum $k$ such that if $S$ is an $(r-1)$-set contained in a hyperedge of $\mathcal{H}$, then $S$ is contained in at least $k$ hyperedges of $\mathcal{H}$. For $r\geq k$ fixed and $n$ sufficiently large, we determine the maximum possible size of an intersecting $r$-uniform $n$-vertex hypergraph with minimum positive co-degree $δ_{r-1}^+(\mathcal{H}) \geq k$ and characterize the unique hypergraph attaining this maximum. This generalizes the Erd\H os-Ko-Rado theorem which corresponds to the case $k=1$. Our proof is based on the delta-system method.
Turán's famous tetrahedron problem is to compute the Turán density of the tetrahedron $K_4^3$. This is equivalent to determining the maximum $\ell_1$-norm of the codegree vector of a $K_4^3$-free $n$-vertex $3$-uniform hypergraph. We introduce a new way for measuring extremality of hypergraphs and determine asymptotically the extremal function of the tetrahedron in our notion. The codegree squared sum, $\text{co}_2(G)$, of a $3$-uniform hypergraph $G$ is the sum of codegrees squared $d(x,y)^2$ over all pairs of vertices $xy$, or in other words, the square of the $\ell_2$-norm of the codegree vector of the pairs of vertices. We define $\text{exco}_2(n,H)$ to be the maximum $\text{co}_2(G)$ over all $H$-free $n$-vertex $3$-uniform hypergraphs $G$. We use flag algebra computations to determine asymptotically the codegree squared extremal number for $K_4^3$ and $K_5^3$ and additionally prove stability results. In particular, we prove that the extremal $K_4^3$-free hypergraphs in $\ell_2$-norm have approximately the same structure as one of the conjectured extremal hypergraphs for Turán's conjecture. Further, we prove several general properties about $\text{exco}_2(n,H)$ including the existence of a scaled limit, blow-up invariance and a supersaturation result.
A perfect $K_r$-tiling in a graph $G$ is a collection of vertex-disjoint copies of the clique $K_r$ in $G$ covering every vertex of $G$. The famous Hajnal--Szemerédi theorem determines the minimum degree threshold for forcing a perfect $K_r$-tiling in a graph $G$. The notion of discrepancy appears in many branches of mathematics. In the graph setting, one assigns the edges of a graph $G$ labels from $\{-1,1\}$, and one seeks substructures $F$ of $G$ that have `high' discrepancy (i.e. the sum of the labels of the edges in $F$ is far from $0$). In this paper we determine the minimum degree threshold for a graph to contain a perfect $K_r$-tiling of high discrepancy.
Recently, variants of many classical extremal theorems have been proved in the random environment. We, complementing existing results, extend the Erdős-Gallai Theorem in random graphs. In particular, we determine, up to a constant factor, the maximum number of edges in a $P_n$-free subgraph of $G(N,p)$, practically for all values of $N,n$ and $p$. Our work is also motivated by the recent progress on the size-Ramsey number of paths.
Define $T_k$ as the minimal $t\in \mathbb{N}$ for which there is a rainbow arithmetic progression of length $k$ in every equinumerous $t$-coloring of $[tn]$ for all $n\in \mathbb{N}$. Jungić, Licht (Fox), Mahdian, Nesetril and Radoicić proved that $\lfloor{\frac{k^2}{4}\rfloor}\le T_k$. We almost close the gap between the upper and lower bounds by proving that $T_k \le k^2e^{(\ln\ln k)^2(1+o(1))}$. Conlon, Fox and Sudakov have independently shown a stronger statement that $T_k=O(k^2\log k)$.
In the literature, the notion of discrepancy is used in several contexts, even in the theory of graphs. Here, for a graph $G$, $\{-1, 1\}$ labels are assigned to the edges, and we consider a family $\mathcal{S}_G$ of (spanning) subgraphs of certain types, among others spanning trees, Hamiltonian cycles. As usual, we seek for bounds on the sum of the labels that hold for all elements of $\mathcal{S}_G$, for every labeling.
Consider all $k$-element subsets and $\ell$-element subsets $(k>\ell )$ of an $n$-element set as vertices of a bipartite graph. Two vertices are adjacent if the corresponding $\ell$-element set is a subset of the corresponding $k$-element set. Let $G_{k,\ell}$ denote this graph. The domination number of $G_{k,1}$ was exactly determined by Badakhshian, Katona and Tuza. A conjecture was also stated there on the asymptotic value ($n$ tending to infinity) of the domination number of $G_{k,2}$. Here we prove the conjecture, determining the asymptotic value of the domination number $γ(G_{k,2})={k+3\over 2(k-1)(k+1)}n^2+o(n^2)$.
The Erdős-Simonovits stability theorem states that for all ε>0 there exists α>0 such that if G is a K_{r+1}-free graph on n vertices with e(G) > ex(n,K_{r+1}) - αn^2, then one can remove εn^2 edges from G to obtain an r-partite graph. Füredi gave a short proof that one can choose α=ε. We give a bound for the relationship of αand \varepsilon which is asymptotically sharp as ε\to 0.
Borrowing László Székely's lively expression, we show that Hill's conjecture is "asymptotically at least 98.5% true". This long-standing conjecture states that the crossing number cr($K_n$) of the complete graph $K_n$ is $H(n) := \frac{1}{4}\lfloor \frac{n}{2}\rfloor \lfloor \frac{n-1}{2}\rfloor \lfloor \frac{n-2}{2}\rfloor \lfloor\frac{n-3}{2}\rfloor$, for all $n\ge 3$. This has been verified only for $n\le 12$. Using flag algebras, Norin and Zwols obtained the best known asymptotic lower bound for the crossing number of complete bipartite graphs, from which it follows that for every sufficiently large $n$, cr$(K_n) > 0.905\, H(n)$. Also using flag algebras, we prove that asymptotically cr$(K_n)$ is at least $0.985\, H(n)$. We also show that the spherical geodesic crossing number of $K_n$ is asymptotically at least $0.996\, H(n)$.
In this paper, we provide a method for determining the asymptotic value of the maximum edit distance from a given hereditary property. This method permits the edit distance to be computed without using Szemerédi's Regularity Lemma directly. Using this new method, we are able to compute the edit distance from hereditary properties for which it was previously unknown. For some graphs $H$, the edit distance from ${\rm Forb}(H)$ is computed, where ${\rm forb}(H)$ is the class of graphs which contain no induced copy of graph $H$. Those graphs for which we determine the edit distance asymptotically are $H=K_a+E_b$, an $a$-clique with $b$ isolated vertices, and $H=K_{3,3}$, a complete bipartite graph. We also provide a graph, the first such construction, for which the edit distance cannot be determined just by considering partitions of the vertex set into cliques and cocliques. In the process, we develop weighted generalizations of Turán's theorem, which may be of independent interest.
In the Avoider-Enforcer game on the complete graph $K_n$, the players (Avoider and Enforcer) each take an edge in turn. Given a graph property $\mathcal{P}$, Enforcer wins the game if Avoider's graph has the property $\mathcal{P}$. An important parameter is $τ_E({\cal P})$, the smallest integer $t$ such that Enforcer can win the game against any opponent in $t$ rounds. In this paper, let $\mathcal{F}$ be an arbitrary family of graphs and $\mathcal{P}$ be the property that a member of $\mathcal{F}$ is a subgraph or is an induced subgraph. We determine the asymptotic value of $τ_E(\mathcal{P})$ when $\mathcal{F}$ contains no bipartite graph and establish that $τ_E(\mathcal{P})=o(n^2)$ if $\mathcal{F}$ contains a bipartite graph. The proof uses the game of JumbleG and the Szemerédi Regularity Lemma.
A path separator of a graph $G$ is a set of paths $\mathcal{P}=\{P_1,\ldots,P_t\}$ such that for every pair of edges $e,f\in E(G)$, there exist paths $P_e,P_f\in\mathcal{P}$ such that $e\in E(P_e)$, $f\not\in E(P_e)$, $e\not\in E(P_f)$ and $f\in E(P_f)$. The path separation number of $G$, denoted ${\rm psn}(G)$, is the smallest number of paths in a path separator. We shall estimate the path separation number of several graph families, including complete graphs, random graph, the hypercube, and discuss general graphs as well.
A large class of Positional Games are defined on the complete graph on $n$ vertices. The players, Maker and Breaker, take the edges of the graph in turns, and Maker wins iff his subgraph has a given -- usually monotone -- property. Here we introduce the $d$-diameter game, which means that Maker wins iff the diameter of his subgraph is at most $d$. We investigate the biased version of the game; i.e., when the players may take more than one, and not necessarily the same number of edges, in a turn. Our main result is that we proved that the $2$-diameter game has the following surprising property: Breaker wins the game in which each player chooses one edge per turn, but Maker wins as long as he is permitted to choose $2$ edges in each turn whereas Breaker can choose as many as $(1/9)n^{1/8}/(\ln n)^{3/8}$. In addition, we investigate $d$-diameter games for $d\ge 3$. The diameter games are strongly related to the degree games. Thus, we also provide a generalization of the fair degree game for the biased case.
Addressing a question of Cameron and Erd\Ho s, we show that, for infinitely many values of $n$, the number of subsets of $\{1,2,\ldots, n\}$ that do not contain a $k$-term arithmetic progression is at most $2^{O(r_k(n))}$, where $r_k(n)$ is the maximum cardinality of a subset of $\{1,2,\ldots, n\}$ without a $k$-term arithmetic progression. This bound is optimal up to a constant factor in the exponent. For all values of $n$, we prove a weaker bound, which is nevertheless sufficient to transfer the current best upper bound on $r_k(n)$ to the sparse random setting. To achieve these bounds, we establish a new supersaturation result, which roughly states that sets of size $Θ(r_k(n))$ contain superlinearly many $k$-term arithmetic progressions. For integers $r$ and $k$, Erd\Ho s asked whether there is a set of integers $S$ with no $(k+1)$-term arithmetic progression, but such that any $r$-coloring of $S$ yields a monochromatic $k$-term arithmetic progression. Nešetřil and Rödl, and independently Spencer, answered this question affirmatively. We show the following density version: for every $k\ge 3$ and $δ>0$, there exists a reasonably dense subset of primes $S$ with no $(k+1)$-term arithmetic progression, yet every $U\subseteq S$ of size $|U|\geδ|S|$ contains a $k$-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.
For natural numbers $n,r \in \mathbb{N}$ with $n\ge r$, the Kneser graph $K(n,r)$ is the graph on the family of $r$-element subsets of $\{1,\dots,n\}$ in which two sets are adjacent if and only if they are disjoint. Delete the edges of $K(n,r)$ with some probability, independently of each other: is the independence number of this random graph equal to the independence number of the Kneser graph itself? We answer this question affirmatively as long as $r/n$ is bounded away from $1/2$, even when the probability of retaining an edge of the Kneser graph is quite small. This gives us a random analogue of the Erdős-Ko-Rado theorem since an independent set in the Kneser graph is the same as a uniform intersecting family. To prove our main result, we give some new estimates for the number of disjoint pairs in a family in terms of its distance from an intersecting family, these might be of independent interest.
We study the minimum degree necessary to guarantee the existence of perfect and almost-perfect triangle-tilings in an $n$-vertex graph $G$ with sublinear independence number. In this setting, we show that if $δ(G) \ge n/3 + o(n)$ then $G$ has a triangle-tiling covering all but at most four vertices. Also, for every $r \ge 5$, we asymptotically determine the minimum degree threshold for a perfect triangle-tiling under the additional assumptions that $G$ is $K_r$-free and $n$ is divisible by $3$.
The study of intersecting structures is central to extremal combinatorics. A family of permutations $\mathcal{F} \subset S_n$ is \emph{$t$-intersecting} if any two permutations in $\mathcal{F}$ agree on some $t$ indices, and is \emph{trivial} if all permutations in $\mathcal{F}$ agree on the same $t$ indices. A $k$-uniform hypergraph is \emph{$t$-intersecting} if any two of its edges have $t$ vertices in common, and \emph{trivial} if all its edges share the same $t$ vertices. The fundamental problem is to determine how large an intersecting family can be. Ellis, Friedgut and Pilpel proved that for $n$ sufficiently large with respect to $t$, the largest $t$-intersecting families in $S_n$ are the trivial ones. The classic Erdős--Ko--Rado theorem shows that the largest $t$-intersecting $k$-uniform hypergraphs are also trivial when $n$ is large. We determine the \emph{typical} structure of $t$-intersecting families, extending these results to show that almost all intersecting families are trivial. We also obtain sparse analogues of these extremal results, showing that they hold in random settings. Our proofs use the Bollobás set-pairs inequality to bound the number of maximal intersecting families, which can then be combined with known stability theorems. We also obtain similar results for vector spaces.
A classical result in extremal graph theory is Mantel's Theorem, which states that every maximum triangle-free subgraph of $K_n$ is bipartite. A sparse version of Mantel's Theorem is that, for sufficiently large $p$, every maximum triangle-free subgraph of $G(n,p)$ is w.h.p. bipartite. Recently, DeMarco and Kahn proved this for $p > K \sqrt{\log n/n}$ for some constant $K$, and apart from the value of the constant this bound is best possible. We study an extremal problem of this type in random hypergraphs. Denote by $F_5$, which sometimes called as the generalized triangle, the 3-uniform hypergraph with vertex set {a,b,c,d,e} and edge set {abc, ade, bde}. One of the first extremal results in extremal hypergraph theory is by Frankl and Füredi, who proved that the maximum 3-uniform hypergraph on n vertices containing no copy of $F_5$ is tripartite for n>3000. A natural question is for what p is every maximum $F_5$-free subhypergraph of $G^3(n,p)$ w.h.p. tripartite. We show this holds for $p>K\log n/n$ for some constant K and does not hold for $p=0.1\sqrt{\log n}/n$.
Let $f(n)$ be a function and $L$ be a graph. Denote by $RT(n,L,f(n))$ the maximum number of edges of an $L$-free graph on $n$ vertices with independence number less than $f(n)$. Erd\H os and Sós asked if $RT\left(n, K_5, c\sqrt{n}\right) = o(n^2)$ for some constant $c$. We answer this question by proving the stronger $RT\left(n, K_5, o\left(\sqrt{n\log n}\right)\right) = o(n^2)$. It is known that $RT \left(n, K_5, c \sqrt{n\log n} \right) = n^2/4+o(n^2)$ for $c>1$, so one can say that $K_5$ has a Ramsey-Turán phase transition at $c\sqrt{n\log n}$. We extend this result to several other $K_s$'s and functions $f(n)$, determining many more phase transitions. We shall formulate several open problems, in particular, whether variants of the Bollobás-Erd\H os graph exist to give good lower bounds on $RT\left(n, K_s, f(n)\right)$ for various pairs of $s$ and $f(n)$. Among others, we use Szemerédi's Regularity Lemma and the Hypergraph Dependent Random Choice Lemma. We also present a short proof of the fact that $K_s$-free graphs with small independence number are sparse.
In 1987, Kolaitis, Prömel and Rothschild proved that, for every fixed $r \in \mathbb{N}$, almost every $n$-vertex $K_{r+1}$-free graph is $r$-partite. In this paper we extend this result to all functions $r = r(n)$ with $r \leqslant (\log n)^{1/4}$. The proof combines a new (close to sharp) supersaturation version of the Erdős-Simonovits stability theorem, the hypergraph container method, and a counting technique developed by Balogh, Bollobás and Simonovits.
Recently, settling a question of Erdős, Balogh and Petříčková showed that there are at most $2^{n^2/8+o(n^2)}$ $n$-vertex maximal triangle-free graphs, matching the previously known lower bound. Here we characterize the typical structure of maximal triangle-free graphs. We show that almost every maximal triangle-free graph $G$ admits a vertex partition $X\cup Y$ such that $G[X]$ is a perfect matching and $Y$ is an independent set. Our proof uses the Ruzsa-Szemerédi removal lemma, the Erdős-Simonovits stability theorem, and recent results of Balogh-Morris-Samotij and Saxton-Thomason on characterization of the structure of independent sets in hypergraphs. The proof also relies on a new bound on the number of maximal independent sets in triangle-free graphs with many vertex-disjoint $P_3$'s, which is of independent interest.
Let $\mathcal{P}(n)$ denote the power set of $[n]$, ordered by inclusion, and let $\mathcal{P}(n,p)$ be obtained from $\mathcal{P}(n)$ by selecting elements from $\mathcal{P}(n)$ independently at random with probability $p$. A classical result of Sperner asserts that every antichain in $\mathcal{P}(n)$ has size at most that of the middle layer, $\binom{n}{\lfloor n/2 \rfloor}$. In this note we prove an analogous result for $\mathcal{P} (n,p)$: If $pn \rightarrow \infty$ then, with high probability, the size of the largest antichain in $\mathcal{P}(n,p)$ is at most $(1+o(1)) p \binom{n}{\lfloor n/2 \rfloor}$. This solves a conjecture of Osthus who proved the result in the case when $pn/\log n \rightarrow \infty$. Our condition on $p$ is best-possible. In fact, we prove a more general result giving an upper bound on the size of the largest antichain for a wider range of values of $p$.
Many important theorems in combinatorics, such as Szemerédi's theorem on arithmetic progressions and the Erdős-Stone Theorem in extremal graph theory, can be phrased as statements about independent sets in uniform hypergraphs. In recent years, an important trend in the area has been to extend such classical results to the so-called sparse random setting. This line of research culminated recently in the breakthroughs of Conlon and Gowers and of Schacht, who developed general tools for solving problems of this type. In this paper, we provide a third, completely different approach to proving extremal and structural results in sparse random sets. We give a structural characterization of the independent sets in a large class of uniform hypergraphs by showing that every independent set is almost contained in one of a small number of relatively sparse sets. We then derive many interesting results as fairly straightforward consequences of this abstract theorem. In particular, we prove the well-known conjecture of Kohayakawa, Łuczak and Rödl, a probabilistic embedding lemma for sparse graphs. We also give alternative proofs of many of the results of Conlon and Gowers and Schacht, and obtain their natural counting versions, which in some cases are considerably stronger. We moreover prove a sparse version of the Erdős-Frankl-Rödl Theorem on the number of H-free graphs and extend a result of Rödl and Ruciński on Ramsey properties in sparse random graphs to the general, non-symmetric setting. We remark that similar results have been discovered independently by Saxton and Thomason, and that, in parallel to this work, Conlon, Gowers, Samotij and Schacht have proved a sparse analogue of the counting lemma for subgraphs of the random graph G(n,p), which may be viewed as a version of the KŁR conjecture that is stronger in some ways and weaker in others.
Let $C(n)$ denote the maximum number of induced copies of 5-cycles in graphs on $n$ vertices. For $n$ large enough, we show that $C(n)=a\cdot b\cdot c \cdot d \cdot e + C(a)+C(b)+C(c)+C(d)+C(e)$, where $a+b+c+d+e = n$ and $a,b,c,d,e$ are as equal as possible. Moreover, if $n$ is a power of 5, we show that the unique graph on $n$ vertices maximizing the number of induced 5-cycles is an iterated blow-up of a 5-cycle.
We show that for every sufficiently large $n$, the number of monotone subsequences of length four in a permutation on $n$ points is at least $\binom{\lfloor n/3 \rfloor}{4} + \binom{\lfloor(n+1)/3\rfloor}{4} + \binom{\lfloor (n+2)/3\rfloor}{4}$. Furthermore, we characterize all permutations on $[n]$ that attain this lower bound. The proof uses the flag algebra framework together with some additional stability arguments. This problem is equivalent to some specific type of edge colorings of complete graphs with two colors, where the number of monochromatic $K_4$'s is minimized. We show that all the extremal colorings must contain monochromatic $K_4$'s only in one of the two colors. This translates back to permutations, where all the monotone subsequences of length four are all either increasing, or decreasing only.
Let $G$ be a $K_4$-free graph, an edge in its complement is a $K_4$-\emph{saturating} edge if the addition of this edge to $G$ creates a copy of $K_4$. Erdős and Tuza conjectured that for any $n$-vertex $K_4$-free graph $G$ with $\lfloor n^2/4\rfloor+1$ edges, one can find at least $(1+o(1))\frac{n^2}{16}$ $K_4$-saturating edges. We construct a graph with only $\frac{2n^2}{33}$ $K_4$-saturating edges. Furthermore, we prove that it is best possible, i.e., one can always find at least $(1+o(1))\frac{2n^2}{33}$ $K_4$-saturating edges in an $n$-vertex $K_4$-free graph with $\lfloor n^2/4\rfloor+1$ edges.
Mader conjectured that every $C_4$-free graph has a subdivision of a clique of order linear in its average degree. We show that every $C_6$-free graph has such a subdivision of a large clique. We also prove the dense case of Mader's conjecture in a stronger sense, i.e. for every $c$, there is a $c'$ such that every $C_4$-free graph with average degree $cn^{1/2}$ has a subdivision of a clique $K_\ell$ with $\ell=\lfloor c'n^{1/2}\rfloor$ where every edge is subdivided exactly $3$ times.
Cameron and Erdős raised the question of how many maximal sum-free sets there are in $\{1, \dots , n\}$, giving a lower bound of $2^{\lfloor n/4 \rfloor }$. In this paper we prove that there are in fact at most $2^{(1/4+o(1))n}$ maximal sum-free sets in $\{1, \dots , n\}$. Our proof makes use of container and removal lemmas of Green as well as a result of Deshouillers, Freiman, Sós and Temkin on the structure of sum-free sets.
Paul Erdős suggested the following problem: Determine or estimate the number of maximal triangle-free graphs on $n$ vertices. Here we show that the number of maximal triangle-free graphs is at most $2^{n^2/8+o(n^2)}$, which matches the previously known lower bound. Our proof uses among others the Ruzsa-Szemerédi triangle removal lemma, and recent results on characterizing of the structure of independent sets in hypergraphs.
Let F be an r-uniform hypergraph. The chromatic threshold of the family of F-free, r-uniform hypergraphs is the infimum of all non-negative reals c such that the subfamily of F-free, r-uniform hypergraphs H with minimum degree at least $c \binom{|V(H)|}{r-1}$ has bounded chromatic number. The study of chromatic thresholds of various graphs has a long history, beginning with the early work of Erdős-Simonovits. One interesting question, first proposed by Łuczak-Thomassé and then solved by Allen-Böttcher-Griffiths-Kohayakawa-Morris, is the characterization of graphs having zero chromatic threshold, in particular the fact that there are graphs with non-zero Turán density that have zero chromatic threshold. In this paper, we make progress on this problem for r-uniform hypergraphs, showing that a large class of hypergraphs have zero chromatic threshold in addition to exhibiting a family of constructions showing another large class of hypergraphs have non-zero chromatic threshold. Our construction is based on a special product of the Bollobás-Erdős graph defined earlier by the authors.
We say that a graph G has a perfect H-packing if there exists a set of vertex-disjoint copies of H which cover all the vertices in G. We consider various problems concerning perfect H-packings: Given positive integers n, r, D, we characterise the edge density threshold that ensures a perfect K_r-packing in any graph G on n vertices and with minimum degree at least D. We also give two conjectures concerning degree sequence conditions which force a graph to contain a perfect H-packing. Other related embedding problems are also considered. Indeed, we give a structural result concerning K_r-free graphs that satisfy a certain degree sequence condition.
For a positive integer r>=2, a K_r-factor of a graph is a collection vertex-disjoint copies of K_r which covers all the vertices of the given graph. The celebrated theorem of Hajnal and Szemerédi asserts that every graph on n vertices with minimum degree at least (1-1/r)n contains a K_r-factor. In this note, we propose investigating the relation between minimum degree and existence of perfect K_r-packing for edge-weighted graphs. The main question we study is the following. Suppose that a positive integer r>=2 and a real t in [0,1] is given. What is the minimum weighted degree of K_n that guarantees the existence of a K_r-factor such that every factor has total edge weight at least tr(r-1)/2? We provide some lower and upper bounds and make a conjecture on the asymptotics of the threshold as n goes to infinity.
In this paper we study sum-free subsets of the set $\{1,...,n\}$, that is, subsets of the first $n$ positive integers which contain no solution to the equation $x + y = z$. Cameron and Erdős conjectured in 1990 that the number of such sets is $O(2^{n/2})$. This conjecture was confirmed by Green and, independently, by Sapozhenko. Here we prove a refined version of their theorem, by showing that the number of sum-free subsets of $[n]$ of size $m$ is $2^{O(n/m)} {\lceil n/2 \rceil \choose m}$, for every $1 \le m \le \lceil n/2 \rceil$. For $m \ge \sqrt{n}$, this result is sharp up to the constant implicit in the $O(\cdot)$. Our proof uses a general bound on the number of independent sets of size $m$ in 3-uniform hypergraphs, proved recently by the authors, and new bounds on the number of integer partitions with small sumset.
In this paper we study sum-free sets of order $m$ in finite Abelian groups. We prove a general theorem on 3-uniform hypergraphs, which allows us to deduce structural results in the sparse setting from stability results in the dense setting. As a consequence, we determine the typical structure and asymptotic number of sum-free sets of order $m$ in Abelian groups $G$ whose order is divisible by a prime $q$ with $q \equiv 2 \pmod 3$, for every $m \ge C(q) \sqrt{n \log n}$, thus extending and refining a theorem of Green and Ruzsa. In particular, we prove that almost all sum-free subsets of size $m$ are contained in a maximum-size sum-free subset of $G$. We also give a completely self-contained proof of this statement for Abelian groups of even order, which uses spectral methods and a new bound on the number of independent sets of size $m$ in an $(n,d,λ)$-graph.
Graph bootstrap percolation is a deterministic cellular automaton which was introduced by Bollobás in 1968, and is defined as follows. Given a graph $H$, and a set $G \subset E(K_n)$ of initially `infected' edges, we infect, at each time step, a new edge $e$ if there is a copy of $H$ in $K_n$ such that $e$ is the only not-yet infected edge of $H$. We say that $G$ percolates in the $H$-bootstrap process if eventually every edge of $K_n$ is infected. The extremal questions for this model, when $H$ is the complete graph $K_r$, were solved (independently) by Alon, Kalai and Frankl almost thirty years ago. In this paper we study the random questions, and determine the critical probability $p_c(n,K_r)$ for the $K_r$-process up to a poly-logarithmic factor. In the case $r = 4$ we prove a stronger result, and determine the threshold for $p_c(n,K_4)$.
We prove that, in the Gilbert model for a random geometric graph, almost every graph becomes Hamiltonian exactly when it first becomes 2-connected. This answers a question of Penrose. We also show that in the k-nearest neighbor model, there is a constant κ such that almost every κ-connected graph has a Hamilton cycle.
A {\em convex hole} (or {\em empty convex polygon)} of a point set $P$ in the plane is a convex polygon with vertices in $P$, containing no points of $P$ in its interior. Let $R$ be a bounded convex region in the plane. We show that the expected number of vertices of the largest convex hole of a set of $n$ random points chosen independently and uniformly over $R$ is $Θ(\log{n}/(\log{\log{n}}))$, regardless of the shape of $R$.
In $\HH$-bootstrap percolation, a set $A \subset V(\HH)$ of initially 'infected' vertices spreads by infecting vertices which are the only uninfected vertex in an edge of the hypergraph $\HH$. A particular case of this is the $H$-bootstrap process, in which $\HH$ encodes copies of $H$ in a graph $G$. We find the minimum size of a set $A$ that leads to complete infection when $G$ and $H$ are powers of complete graphs and $\HH$ encodes induced copies of $H$ in $G$. The proof uses linear algebra, a technique that is new in bootstrap percolation, although standard in the study of weakly saturated graphs, which are equivalent to (edge) $H$-bootstrap percolation on a complete graph.
The Gyárfás tree packing conjecture states that any set of $n-1$ trees $T_{1},T_{2},..., T_{n-1}$ such that $T_i$ has $n-i+1$ vertices pack into $K_n$. We show that $t=1/10n^{1/4}$ trees $T_1,T_2,..., T_t$ such that $T_i$ has $n-i+1$ vertices pack into $K_{n+1}$ (for $n$ large enough). We also prove that any set of $t=1/10n^{1/4}$ trees $T_1,T_2,..., T_t$ such that no tree is a star and $T_i$ has $n-i+1$ vertices pack into $K_{n}$ (for $n$ large enough). Finally, we prove that $t=1/4n^{1/3}$ trees $T_1,T_2,..., T_t$ such that $T_i$ has $n-i+1$ vertices pack into $K_n$ as long as each tree has maximum degree at least $2n^{2/3}$ (for $n$ large enough). One of the main tools used in the paper is the famous spanning tree embedding theorem of Komlós, Sárközy and Szemerédi.
We characterize the structure of maximum-size sum-free subsets of a random subset of an Abelian group $G$. In particular, we determine the threshold $p_c \approx \sqrt{\log n / n}$ above which, with high probability as $|G| \to \infty$, each such subset is contained in a maximum-size sum-free subset of $G$, whenever $q$ divides $|G|$ for some (fixed) prime $q$ with $q \equiv 2 \pmod 3$. Moreover, in the special case $G = \ZZ_{2n}$, we determine a sharp threshold for the above property. The proof uses recent 'transference' theorems of Conlon and Gowers, together with stability theorems for sum-free subsets of Abelian groups.
Let r be an integer, f(n) a function, and H a graph. Introduced by Erdős, Hajnal, Sós, and Szemerédi, the r-Ramsey-Turán number of H, RT_r(n, H, f(n)), is defined to be the maximum number of edges in an n-vertex, H-free graph G with α_r(G) <= f(n) where α_r(G) denotes the K_r-independence number of G. In this note, using isoperimetric properties of the high dimensional unit sphere, we construct graphs providing lower bounds for RT_r(n,K_{r+s},o(n)) for every 2 <= s <= r. These constructions are sharp for an infinite family of pairs of r and s. The only previous sharp construction was by Bollobás and Erd\Hos for r = s = 2.
In this paper we modify slightly Razborov's flag algebra machinery to be suitable for the hypercube. We use this modified method to show that the maximum number of edges of a 4-cycle-free subgraph of the n-dimensional hypercube is at most 0.6068 times the number of its edges. We also improve the upper bound on the number of edges for 6-cycle-free subgraphs of the n-dimensional hypercube from the square root of 2 - 1 to 0.3755 times the number of its edges. Additionally, we show that if the n-dimensional hypercube is considered as a poset, then the maximum vertex density of three middle layers in an induced subgraph without 4-cycles is at most 2.15121 times n choose n/2.
In this paper we extend a classical theorem of Corrádi and Hajnal into the setting of sparse random graphs. We show that if $p(n) \gg (\log n / n)^{1/2}$, then asymptotically almost surely every subgraph of $G(n,p)$ with minimum degree at least $(2/3 + o(1))np$ contains a triangle packing that covers all but at most $O(p^{-2})$ vertices. Moreover, the assumption on $p$ is optimal up to the $(\log n)^{1/2}$ factor and the presence of the set of $O(p^{-2})$ uncovered vertices is indispensable. The main ingredient in the proof, which might be of independent interest, is an embedding theorem which says that if one imposes certain natural regularity conditions on all three pairs in a balanced 3-partite graph, then this graph contains a perfect triangle packing.
Let t be an integer, f(n) a function, and H a graph. Define the t-Ramsey-Turán number of H, RT_t(n, H, f(n)), to be the maximum number of edges in an n-vertex, H-free graph G where f(n) is larger than the maximum number of vertices in a $K_t$-free induced subgraph of G. Erdős, Hajnal, Simonovits, Sós, and Szemerédi posed several open questions about RT_t(n,K_s,o(n)), among them finding the minimum s such that $RT_t(n,K_{t+s},o(n)) = Ω(n^2)$, where it is easy to see that $RT_t(n,K_{t+1},o(n)) = o(n^2)$. In this paper, we answer this question by proving that $RT_t(n,K_{t+2},o(n)) = Ω(n^2)$; our constructions also imply several results on the Ramsey-Turán numbers of hypergraphs.
In r-neighbour bootstrap percolation on a graph G, a (typically random) set A of initially 'infected' vertices spreads by infecting (at each time step) vertices with at least r already-infected neighbours. This process may be viewed as a monotone version of the Glauber dynamics of the Ising model, and has been extensively studied on the d-dimensional grid $[n]^d$. The elements of the set A are usually chosen independently, with some density p, and the main question is to determine $p_c([n]^d,r)$, the density at which percolation (infection of the entire vertex set) becomes likely. In this paper we prove, for every pair $d \ge r \ge 2$, that there is a constant L(d,r) such that $p_c([n]^d,r) = [(L(d,r) + o(1)) / log_(r-1) (n)]^{d-r+1}$ as $n \to \infty$, where $log_r$ denotes an r-times iterated logarithm. We thus prove the existence of a sharp threshold for percolation in any (fixed) number of dimensions. Moreover, we determine L(d,r) for every pair (d,r).