Multicolor Turán numbers II -- a generalization of the Ruzsa-Szemerédi theorem and new results on cliques and odd cycles

Benedek Kovács,Zoltán Lóránt Nagy

2024-03-30

Abstract:In this paper we continue the study of a natural generalization of Turán's forbidden subgraph problem and the Ruzsa-Szemerédi problem. Let $ex_F(n,G)$ denote the maximum number of edge-disjoint copies of a fixed simple graph $F$ that can be placed on an $n$-vertex ground set without forming a subgraph $G$ whose edges are from different $F$-copies. The case when both $F$ and $G$ are triangles essentially gives back the theorem of Ruzsa and Szemerédi. We extend their results to the case when $F$ and $G$ are arbitrary cliques by applying a number theoretic result due to Erdős, Frankl and Rödl. This extension in turn decides the order of magnitude for a large family of graph pairs, which will be subquadratic, but almost quadratic. Since the linear $r$-uniform hypergraph Turán problems to determine $ex_r^{lin}(n,G)$ form a class of the multicolor Turán problem, following the identity $ex_r^{lin}(n,G)=ex_{K_r}(n,G)$, our results determine the linear hypergraph Turán numbers of every graph of girth $3$ and for every $r$ up to a subpolynomial factor. Furthermore, when $G$ is a triangle, we settle the case $F=C_5$ and give bounds for the cases $F=C_{2k+1}$, $k\ge 3$ as well.

Mathematics

What problem does this paper attempt to address?

The problem that this paper attempts to solve is the generalization problem regarding multicolor Turán numbers, especially the extension of the Ruzsa - Szemerédi theorem. Specifically, the paper studies the maximum number of edge - disjoint copies of a fixed simple graph \(F\) that can be placed on a set of \(n\) vertices without forming a specific subgraph \(G\). Denote it as \(\text{ex}_F(n, G)\), which represents the maximum number of \(F\)-copies on \(n\) vertices without forming a multicolor \(G\).

### Main research contents:
1. **Generalizing the Ruzsa - Szemerédi theorem**:
- When both \(F\) and \(G\) are triangles, this problem corresponds to the well - known Ruzsa - Szemerédi theorem.
- The paper extends the results of Ruzsa - Szemerédi, considering the cases where \(F\) and \(G\) are arbitrary cliques, and applies a number - theoretic result of Erdős, Frankl and Rödl.

2. **Linear hypergraph Turán numbers**:
- The linear \(r\)-uniform hypergraph Turán number \(\text{ex}_{\text{lin}}^r(n, G)\) is a special case of the multicolor Turán problem, satisfying \(\text{ex}_{\text{lin}}^r(n, G)=\text{ex}_{K_r}(n, G)\).
- The paper determines the linear hypergraph Turán numbers for each graph with girth 3, and determines a sub - polynomial factor for each \(r\).

3. **Multicolor Turán numbers of special graphs**:
- When \(G\) is a triangle, the paper solves the case where \(F = C_5\), and gives bounds for \(F = C_{2k + 1}\) (\(k\geq3\)).

### Main contributions:
1. **Generalization results**:
- For any fixed \(t\geq3\), it is proved that an almost quadratic number of \(K_t\) copies can be packed into a set of \(n\) vertices without forming a multicolor \(K_3\).
- The specific result is: \[n^2 e^{-O(\sqrt{\log n})}\leq\text{ex}_{K_t}(n, K_3)=o(n^2)\]

2. **Multicolor Turán numbers of odd cycles**:
- Solves the case where \(F = C_5\) and \(G = K_3\), and proves that: \[\text{ex}_{C_5}(n, K_3)=\left(1 + o(1)\right)\frac{n^2}{25}\]
- Gives the lower and upper bounds for longer odd cycles \(C_{2k+1}\), and when \(k\rightarrow\infty\), the result is: \[\lim_{k\rightarrow\infty}\text{ex}_{C_{2k+1}}(n, K_3)\cdot|E(C_{2k+1})|=\left(1 + o(1)\right)\frac{n^2}{4}\]

### Conclusion:
By extending the Ruzsa - Szemerédi theorem, the paper studies the properties of multicolor Turán numbers under different graph structures, especially the study of cliques and odd cycles, and provides new results and bounds. These results not only enrich the theory of extremal graph theory, but also lay the foundation for further research in related fields.