Table of Contents
Fetching ...

The maximum spectral radius of $θ_{2,2,3}$-free graphs with given size

Jing Gao, Xueliang Li

TL;DR

This work resolves the maximum spectral radius problem for $\theta_{2,2,3}$-free graphs with a fixed number of edges by establishing a sharp upper bound $\lambda(G) \le \frac{1+\sqrt{4m-3}}{2}$ for $m\ge57$ and identifying the unique extremal graph achieving equality as $G \cong K_2 \vee \frac{m-1}{2}K_1$. Leveraging Perron-Frobenius theory, a careful vertex partition around a Perron vertex, and a sequence of structural lemmas, the authors rule out undesirable subgraph configurations and demonstrate that the extremal graph must be the join of $K_2$ with an independent set of size $\frac{m-1}{2}$. The result extends the spectral extremal theory for theta-free graphs and provides a complete characterization for the $\theta_{2,2,3}$-free case, contributing to a deeper understanding of how forbidding theta subgraphs constrains spectral radius and extremal structures.

Abstract

A theta graph $θ_{r,p,q}$ is the graph obtained by connecting two distinct vertices with three internally disjoint paths of length $r,p,q$, where $q\geq p\geq r\geq1$ and $p\geq2$. A graph is $θ_{r,p,q}$-free if it does not contain $θ_{r,p,q}$ as a subgraph. The maximum spectral radius of $θ_{1,p,q}$-free graphs with given size has been determined for any $q\geq p\geq2$. Zhai, Lin and Shu [Spectral extrema of graphs with fixed size: cycles and complete bipartite graphs, European J. Combin. 95 (2021) 103322] characterized the extremal graph with the maximum spectral radius of $θ_{2,2,2}$-free graphs having $m$ edges. In this paper, we consider the maximum spectral radius of $θ_{2,2,3}$-free graphs with size $m$ and characterize the extremal graph.

The maximum spectral radius of $θ_{2,2,3}$-free graphs with given size

TL;DR

This work resolves the maximum spectral radius problem for -free graphs with a fixed number of edges by establishing a sharp upper bound for and identifying the unique extremal graph achieving equality as . Leveraging Perron-Frobenius theory, a careful vertex partition around a Perron vertex, and a sequence of structural lemmas, the authors rule out undesirable subgraph configurations and demonstrate that the extremal graph must be the join of with an independent set of size . The result extends the spectral extremal theory for theta-free graphs and provides a complete characterization for the -free case, contributing to a deeper understanding of how forbidding theta subgraphs constrains spectral radius and extremal structures.

Abstract

A theta graph is the graph obtained by connecting two distinct vertices with three internally disjoint paths of length , where and . A graph is -free if it does not contain as a subgraph. The maximum spectral radius of -free graphs with given size has been determined for any . Zhai, Lin and Shu [Spectral extrema of graphs with fixed size: cycles and complete bipartite graphs, European J. Combin. 95 (2021) 103322] characterized the extremal graph with the maximum spectral radius of -free graphs having edges. In this paper, we consider the maximum spectral radius of -free graphs with size and characterize the extremal graph.

Paper Structure

This paper contains 3 sections, 11 theorems, 49 equations.

Key Result

Theorem 1.2

Zhai-Lin-2021 If $G\in\mathcal{G}(m,K_{2,r+1})$ with $r\geq2$ and $m\geq16r^2$, then $\lambda(G)\leq\sqrt{m}$, and equality holds if and only if $G$ is a star.

Theorems & Definitions (11)

  • Theorem 1.2
  • Theorem 1.3
  • Lemma 2.1: Perron-Frobenius Theorem
  • Lemma 2.2
  • Lemma 2.3
  • Lemma 3.1
  • Lemma 3.2
  • Lemma 3.3
  • Lemma 3.4
  • Lemma 3.5
  • ...and 1 more