A spectral Erdős-Faudree-Rousseau theorem

Yongtao Li,Lihua Feng,Yuejian Peng

2024-06-19

Abstract:A well-known theorem of Mantel states that every $n$-vertex graph with more than $\lfloor n^2/4\rfloor $ edges contains a triangle. An interesting problem in extremal graph theory studies the minimum number of edges contained in triangles among graphs with a prescribed number of vertices and edges. Erdős, Faudree and Rousseau (1992) showed that a graph on $n$ vertices with more than $\lfloor n^2/4\rfloor $ edges contains at least $2\lfloor n/2\rfloor +1$ edges in triangles. Such edges are called triangular edges. In this paper, we present a spectral version of the result of Erdős, Faudree and Rousseau. Using the supersaturation-stability and the spectral technique, we prove that every $n$-vertex graph $G$ with $\lambda (G) \ge \sqrt{\lfloor n^2/4\rfloor}$ contains at least $2 \lfloor {n}/{2} \rfloor -1$ triangular edges, unless $G$ is a balanced complete bipartite graph. The method in our paper has some interesting applications. Firstly, the supersaturation-stability can be used to revisit a conjecture of Erdős concerning with the booksize of a graph, which was initially proved by Edwards (unpublished), and independently by Khadžiivanov and Nikiforov (1979). Secondly, our method can improve the bound on the order $n$ of a graph by dropping the condition on $n$ being sufficiently large, which is obtained from the triangle removal lemma. Thirdly, the supersaturation-stability can be applied to deal with the spectral extremal graph problems on counting triangles, which was recently studied by Ning and Zhai (2023).

Combinatorics

What problem does this paper attempt to address?

The problem that this paper attempts to solve is a classical problem in graph theory - minimizing the number of triangle edges in a graph given the number of vertices and edges. Specifically, the authors study the problem of how many triangle edges a graph contains at least when the spectral radius of the graph exceeds a certain value. This is a spectral - version study of the result proposed by Erdős, Faudree and Rousseau in 1992.

### Specific problem description:

1. **Background**:
- **Mantel's theorem**: Every \(n\)-vertex graph must contain a triangle if the number of edges exceeds \(\left\lfloor\frac{n^{2}}{4}\right\rfloor\).
- **Result of Erdős, Faudree and Rousseau**: For an \(n\)-vertex graph \(G\), if its number of edges \(e(G)>\left\lfloor\frac{n^{2}}{4}\right\rfloor\), then \(G\) contains at least \(2\left\lfloor\frac{n}{2}\right\rfloor + 1\) triangle edges.

2. **Objective of the paper**:
- **Spectral version**: The authors attempt to prove a similar conclusion, but the condition is based on the spectral radius of the graph. Specifically, they hope to prove that: if the spectral radius \(\lambda(G)\geq\sqrt{\left\lfloor\frac{n^{2}}{4}\right\rfloor}\) for an \(n\)-vertex graph \(G\), then \(G\) contains at least \(2\left\lfloor\frac{n}{2}\right\rfloor - 1\) triangle edges, unless \(G\) is a balanced complete bipartite graph.

### Main results:

- **Theorem 2.1**: For an \(n\)-vertex graph \(G\) with \(n\geq5432\), if \(\lambda(G)\geq\lambda(T_{n, 2})\), then \(G\) contains at least \(2\left\lfloor\frac{n}{2}\right\rfloor - 1\) triangle edges, unless \(G\) is \(T_{n,2}\).
- **Theorem 2.2**: For an \(n\)-vertex graph \(G\) with \(n\geq5432\), if \(\lambda(G)\geq\lambda(K^{+}_{\lceil\frac{n}{2}\rceil,\lfloor\frac{n}{2}\rfloor})\), then \(G\) contains at least \(2\left\lfloor\frac{n}{2}\right\rfloor + 1\) triangle edges, and the equality holds if and only if \(G = K^{+}_{\lceil\frac{n}{2}\rceil,\lfloor\frac{n}{2}\rfloor}\).

### Methods and techniques:

- **Spectral techniques**: Use the eigenvalues (i.e., spectral radius) of the adjacency matrix of the graph to derive the structural properties of the graph.
- **Supersaturation - stability results**: If a graph is far from a bipartite graph, then it contains a large number of triangles. This result plays a crucial role in proving the main theorems.
- **Kruskal - Katona theorem**: Used to estimate the number of triangles in a graph.

### Applications:

- **A short proof of Erdős' conjecture**: Every \(n\)-vertex graph contains more than \(\frac{n}{6}\) triples sharing a common edge if the number of edges exceeds \(\frac{n^{2}}{4}\).