




























The triangle removal states that if $G$ contains $\varepsilon n^2$ edge-disjoint triangles, then $G$ contains $δ(\varepsilon)n^3$ triangles. Unfortunately, there are no sensible bounds on the order of growth of $δ(\varepsilon)$, and at any rate, it is known that $δ(\varepsilon)$ is not polynomial in $\varepsilon$. Csaba recently obtained an asymmetric variant of the triangle removal, stating that if $G$ contains $\varepsilon n^2$ edge-disjoint triangles, then $G$ contains $2^{-\mathrm{poly}(1/\varepsilon)}\cdot n^5$ copies of $C_5$. To this end, he devised a new variant of Szemerédi's regularity lemma. We obtain the following results: - We first give a regularity-free proof of Csaba's theorem, which improves the number of copies of $C_5$ to the optimal number $\mathrm{poly}(\varepsilon)\cdot n^5$. - We say that $H$ is $K_3$-abundant if every graph containing $\varepsilon n^2$ edge-disjoint triangles has $\mathrm{poly}(\varepsilon)\cdot n^{|V(H)|}$ copies of $H$. It is easy to see that a $K_3$-abundant graph must be triangle-free and tripartite. Given our first result, it is natural to ask if all triangle-free tripartite graphs are $K_3$-abundant. Our second result is that assuming a well-known conjecture of Ruzsa in additive number theory, the answer to this question is negative. Our proofs use a mix of combinatorial, number-theoretic, probabilistic, and Ramsey-type arguments.
此内容由惯性聚合(RSS阅读器)自动聚合整理,仅供阅读参考。 原文来自 — 版权归原作者所有。