Graph operations and a unified method for kinds of Turán-type problems on paths, cycles and matchings

Jiangdong Ai,Hui Lei,Bo Ning,Yongtang Shi
2024-01-30
Abstract:Let $G$ be a connected graph and $\mathcal{P}(G)$ a graph parameter. We say that $\mathcal{P}(G)$ is feasible if $\mathcal{P}(G)$ satisfies the following properties: (I) $\mathcal{P}(G)\leq \mathcal{P}(G_{uv})$, if $G_{uv}=G[u\to v]$ for any $u,v$, where $G_{uv}$ is the graph obtained by applying Kelmans operation from $u$ to $v$; (II) $\mathcal{P}(G) <\mathcal{P}(G+e)$ for any edge $e\notin E(G)$. Let $P_k$ be a path of order $k$, $\mathcal{C}_{\geq k}$ the set of all cycles of length at least $k$ and $M_{k+1}$ a matching containing $k+1$ independent edges. In this paper, we mainly prove the following three results: (i) Let $n\geq k\geq 5$ and let $t=\left\lfloor\frac{k-1}{2}\right\rfloor$. Let $G$ be a $2$-connected $n$-vertex $\mathcal{C}_{\geq k}$-free graph with the maximum $\mathcal{P}(G)$ where $\mathcal{P}(G)$ is feasible. Then, $G\in \mathcal{G}^1_{n,k}=\{W_{n,k,s}=K_{s}\vee ((n-k+s)K_1\cup K_{k-2s}): 2\leq s\leq t\}$. (ii) Let $n\geq k\geq 4$ and let $t=\left\lfloor\frac{k}{2}\right\rfloor-1$. Let $G$ be a connected $n$-vertex $P_{k}$-free graph with the maximum $\mathcal{P}(G)$ where $\mathcal{P}(G)$ is feasible. Then, $G\in \mathcal{G}^2_{n,k}=\{W_{n,k-1,s}=K_{s}\vee ((n-k+s+1)K_1\cup K_{k-2s-1}): 1\leq s\leq t\}.$ (iii) Let $G$ be a connected $n$-vertex $M_{k+1}$-free graph with the maximum $\mathcal{P}(G)$ where $\mathcal{P}(G)$ is feasible. Then, $G\cong K_n$ when $n=2k+1$ and $G\in \mathcal{G}^3_{n,k}=\{K_s\vee ((n-2k+s-1)K_1\cup K_{2k-2s+1}):1\leq s\leq k\}$ when $n\geq 2k+2$. Directly derived from these three main results, we obtain a series of applications in Turán-type problems, generalized Turán-type problems, powers of graph degrees in extremal graph theory, and problems related to spectral radius, and signless Laplacian spectral radius in spectral graph theory.
Combinatorics
What problem does this paper attempt to address?
### What problems does this paper attempt to solve? The main objective of this paper is to develop a unified method to solve several types of Turán - type problems related to paths, cycles and matchings in graph theory and their generalized forms. Specifically, the paper aims to: 1. **Introduce the concept of feasible graph parameters**: Define and study a new type of graph parameter - "feasible" graph parameters, which are monotonic under certain specific operations. 2. **Prove three main theorems regarding paths, cycles and matchings**: - For 2 - connected graphs without cycles of length at least \( k \), determine the graph structure that maximizes a certain feasible graph parameter. - For connected graphs without \( P_k \) paths, determine the graph structure that maximizes a certain feasible graph parameter. - For connected graphs without \( M_{k + 1} \) matchings, determine the graph structure that maximizes a certain feasible graph parameter. 3. **Apply to classical Turán - type problems and other extremal graph theory problems**: Through these results, the paper solves multiple classical Turán - type problems and generalizes them to broader scenarios, such as generalized Turán - type problems, degree - power sums, spectral radius and signless Laplacian spectral radius problems. 4. **Solve an open problem proposed by Nikiforov**: Provide a complete solution to the maximum spectral radius of graphs without a given - length path. 5. **Improve existing results**: Improve Nikiforov's results on path spectral extrema, improving the order of the graph from \( n\geq24k \) to \( n\geq3k \). ### Formula summary Some of the key formulas involved in the paper are as follows: - **Definition of feasible graph parameters**: \[ P(G)\leq P(Guv),\quad \text{if}\ Guv = G[u\rightarrow v]\ \text{for any vertices}\ u, v \] \[ P(G)< P(G + e),\quad \text{for any edge}\ e\ \text{not in}\ E(G) \] - **Calculation of maximum degree - power**: \[ \sum_{v\in V(G)}d^{p}(v) \] - **Comparison of spectral radius**: \[ \lambda(G)\geq\lambda(W_{n,k - 1,t})\quad \text{where}\ t=\left\lfloor\frac{k}{2}\right\rfloor - 1 \] Through these methods and results, the paper provides a systematic and unified framework for solving extremal graph theory problems related to paths, cycles and matchings.