Extremal graphs without long paths and a given graph

Yichong Liu,Liying Kang

2023-12-01

Abstract:For a family of graphs $\mathcal{F}$, the Turán number $ex(n,\mathcal{F})$ is the maximum number of edges in an $n$-vertex graph containing no member of $\mathcal{F}$ as a subgraph. The maximum number of edges in an $n$-vertex connected graph containing no member of $\mathcal{F}$ as a subgraph is denoted by $ex_{conn}(n,\mathcal{F})$. Let $P_k$ be the path on $k$ vertices and $H$ be a graph with chromatic number more than $2$. Katona and Xiao [Extremal graphs without long paths and large cliques, European J. Combin., 2023 103807] posed the following conjecture: Suppose that the chromatic number of $H$ is more than $2$. Then $ex\big(n,\{H,P_k\}\big)=n\max\big\{\big\lfloor \frac{k}{2}\big\rfloor-1,\frac{ex(k-1,H)}{k-1}\big\}+O_k(1)$. In this paper, we determine the exact value of $ex_{conn}\big(n,\{P_k,H\}\big)$ for sufficiently large $n$. Moreover, we obtain asymptotical result for $ex\big(n,\{P_k,H\}\big)$, which solves the conjecture proposed by Katona and Xiao.

Combinatorics

What problem does this paper attempt to address?

The problem that this paper attempts to solve is to determine the exact value of the maximum number of edges \(ex_{conn}(n, \{P_k, H\})\) in an \(n\)-vertex connected graph without containing a long path \(P_k\) and a given graph \(H\), as well as the asymptotic result of the maximum number of edges \(ex(n, \{P_k, H\})\) in an \(n\)-vertex graph. Specifically, the paper solves a conjecture proposed by Katona and Xiao:

**Conjecture 1.5**: Suppose the chromatic number of \(H\) is greater than 2, that is, \(\chi(H)> 2\), then:
\[ ex(n, \{H, P_k\})=n\max\left\{\left\lfloor\frac{k}{2}\right\rfloor - 1,\frac{ex(k - 1, H)}{k-1}\right\}+O_k(1) \]

The main contributions of the paper include:
1. Determining the exact value of \(ex_{conn}(n, \{P_k, H\})\) when \(n\) is large enough.
2. Giving the asymptotic result of \(ex(n, \{P_k, H\})\), thus verifying the conjecture of Katona and Xiao.

The specific results are as follows:
- When \(H\) is a graph with chromatic number greater than 2 and \(k\) is even:
\[ ex_{conn}(n, \{P_k, H\})=ex\left(\frac{k}{2}- 1, H\right)+\left(\frac{k}{2}-1\right)\left(n-\frac{k}{2}+ 1\right) \]
The extremal graph is \(T\vee I_{n - k/2 + 1}\), where \(T\in EX\left(\frac{k}{2}-1, H\right)\).

- When \(H\) is a graph with chromatic number greater than 2 and \(k\) is odd:
\[ ex_{conn}(n, \{P_k, H\})=ex\left(\frac{k - 3}{2}, H\right)+\frac{k-3}{2}\left(n-\frac{k - 3}{2}\right)+c \]
where \(c = 0\) or \(1\).

In addition, the paper also provides a sufficient condition to determine the case where \(c = 0\), and shows through specific examples the situation where \(c\) can take 1. These results not only verify the conjecture of Katona and Xiao, but also provide a basis for further research on the exact value of \(ex(n, \{P_k, H\})\).