Spectral extremal results on edge blow-up of graphs

TL;DR

This paper determines the exact and asymptotic spectral extremal values of edge blow-ups of various graphs, extending known results and providing new insights into spectral graph theory for large graphs.

Contribution

It provides the first exact spectral extremal values for edge blow-ups of all non-bipartite graphs and asymptotic results for bipartite graphs, generalizing previous work.

Findings

Exact spectral extremal values for non-bipartite edge blow-ups.

Asymptotic spectral extremal values for bipartite edge blow-ups.

Generalization of previous results for matchings, stars, paths, cycles, and complete graphs.

Abstract

Let ${\rm ex}(n,F)$ and ${\rm spex}(n,F)$ be the maximum size and maximum spectral radius of an $F$-free graph of order $n$, respectively. The value ${\rm spex}(n,F)$ is called the spectral extremal value of $F$. Nikiforov [J. Graph Theory 62 (2009) 362--368] gave the spectral Stability Lemma, which implies that for every $\varepsilon>0$, sufficiently large $n$ and a non-bipartite graph $H$ with chromatic number $\chi(H)$, the extremal graph for ${\rm spex}(n,H)$ can be obtained from the Tur\'{a}n graph $T_{\chi(H)-1}(n)$ by adding and deleting at most $\varepsilon n^2$ edges. It is still a challenging problem to determine the exact spectral extremal values of many non-bipartite graphs. Given a graph $F$ and an integer $p\geq 2$, the edge blow-up of $F$, denoted by $F^{p+1}$, is the graph obtained from replacing each edge in $F$ by a $K_{p+1}$ where the new vertices of $K_{p+1}$ are all distinct. In this paper, we determine the exact spectral extremal values of the edge blow-up of all non-bipartite graphs and provide the asymptotic spectral extremal values of the edge blow-up of all bipartite graphs for sufficiently large $n$, which can be seen as a spectral version of the theorem on ${\rm ex}(n,F^{p+1})$ given by Yuan [J. Combin. Theory Ser. B 152 (2022) 379--398]. As applications, on the one hand, we generalize several previous results on ${\rm spex}(n,F^{p+1})$ for $F$ being a matching and a star for $p\geq 3$. On the other hand, we obtain the exact values of ${\rm spex}(n,F^{p+1})$ for $F$ being a path, a cycle and a complete graph.