arXiv++ Combinatorics

We prove several new structural and classification results about $d$-regular graphs with positive Lin--Lu--Yau (LLY) curvature. We show that any positively curved $d$-regular graph has diameter at most $2d-2$, which improves the previously best known diameter bound obtained from the Bonnet-Myers-type theorem for positively curved graphs. We further show that every positively curved $d$-regular graph with $d\ge 3$ is $3$-connected. We classify all positively curved $3$-regular graphs, as well as all positively curved regular planar graphs.

For a graph $G$, let $ λ_1(G)\ge λ_2(G)\ge \cdots \ge λ_n(G)$ denote the adjacency eigenvalues of $G$. We investigate the asymptotic maximum of \[ λ_i(G)+λ_j(\overline G) \] for fixed $i$ and $j$. We prove general bounds on $λ_i(G) + λ_{j}(\overline{G})$ for all pairs $(i, j)$ and also give general bounds on the related problem of minimizing $λ_{n-i+1}(G) + λ_{n-j+1}(\overline{G})$ for fixed $i$ and $j$. We prove that for all looped graphs $G$ on $n$ vertices, \[λ_1(G) + λ_2(\overline{G}) \le \frac87 n. \] Our method also gives a new short proof of the Nordhaus-Gaddum result for the spectral radius proved by Terpai that $λ_1(G) + λ_1(\overline{G}) \le \frac43n - 1$. We also show the close relation of these Nordhaus-Gaddum type problems to recent work on the maximum spectral gaps of graphs by Brooks, Linz and Lu.

Let $n$ and $r$ be integers with $n-2\ge r\ge 3$. We prove that any $r$-uniform hypergraph $\mathcal{H}$ on $n$ vertices with spectral radius $λ(\mathcal{H}) > \binom{n-2}{r-1}$ must contain a Hamiltonian Berge cycle unless $\mathcal{H}$ is the complete graph $K_{n-1}^r$ with one additional edge. This generalizes a result proved by Fiedler and Nikiforov for graphs. As part of our proof, we show that if $|\mathcal{H}| > \binom{n-1}{r}$, then $\mathcal{H}$ contains a Hamiltonian Berge cycle unless $\mathcal{H}$ is the complete graph $K_{n-1}^r$ with one additional edge, generalizing a classical theorem for graphs.

The spread of a graph $G$ is the difference $λ_1 - λ_n$ between the largest and smallest eigenvalues of its adjacency matrix. Breen, Riasanovsky, Tait and Urschel recently determined the graph on $n$ vertices with maximum spread for sufficiently large $n$. In this paper, we study a related question of maximizing the difference $λ_{i+1} - λ_{n-j}$ for a given pair $(i, j)$ over all graphs on $n$ vertices. We give upper bounds for all pairs $(i, j)$, exhibit an infinite family of pairs where the bound is tight, and show that for the pair $(1, 0)$ the extremal example is unique. These results contribute to a line of inquiry pioneered by Nikiforov aiming to maximize different linear combinations of eigenvalues over all graphs on $n$ vertices.

In this paper, we show that all simple outerplanar graphs $G$ with minimum degree at least $2$ and positive Lin-Lu-Yau Ricci curvature on every edge have maximum degree at most $9$. Furthermore, if $G$ is maximally outerplanar, then $G$ has at most $10$ vertices. Both upper bounds are sharp.

For a $k$-uniform hypergraph $\mathcal{H}$, the \emph{codegree squared sum} $\text{co}_2(\mathcal{H})$ is the square of the $\ell_2$-norm of the codegree vector of $\mathcal{H}$, and for a family $\mathscr{F}$ of $k$-uniform hypergraphs, the codegree squared extremal number $\text{exco}_2(n, \mathscr{F})$ is the maximum codegree squared sum of a hypergraph on $n$ vertices which does not contain any hypergraph in $\mathscr{F}$. Balogh, Clemen and Lidický recently introduced the codegree squared extremal number and determined it for a number of $3$-uniform hypergraphs, including the complete graphs $K_4^3$ and $K_5^3$. In this paper, we give a number of exact or asymptotic results for hypergraph Turán problems in the $\ell_2$-norm, including the first exact results for arbitrary $k$. Namely, we prove a version of the classical Erdős-Ko-Rado theorem for the codegree squared extremal number: if $\mathcal{F} \subset \binom{[n]}{k}$ is intersecting and $n\ge 2k$, then \[\text{co}_2(\mathcal{F}) \le \binom{n-1}{k-1}(1+(n-k+1)(k-1)),\] with equality only for the star for $n > 2k$. Our main tool is an inequality of Bey, which also gives a general upper bound on $\text{exco}_2(n, \mathscr{F})$. We also prove versions of the Erdős Matching Conjecture and the $t$-intersecting Erdős-Ko-Rado theorem for the codegree squared extremal number for large $n$, determine the exact codegree squared extremal number of minimal and linear $3$-paths and $3$-cycles, and determine asymptotically the codegree squared extremal number of minimal and linear $s$-paths and $s$-cycles for $s\ge 4$. Lastly, we derive a number of exact or asymptotic results for graph Turán-type problems in the $\ell_2$-norm from spectral extremal results for certain fobridden subgraph problems and the well-known Hofmeister's inequality.

For a fixed positive integer $k$ and a graph $G$, let $λ_k(G)$ denote the $k$-th largest eigenvalue of the adjacency matrix of $G$. In 2017, Tait and Tobin proved that the maximum $λ_1(G)$ among all outerplanar graphs on $n$ vertices is achieved by the fan graph $K_1\vee P_{n-1}$. In this paper, we consider a similar problem of determining the maximum $λ_2$ among all connected outerplanar graphs on $n$ vertices. For $n$ even and sufficiently large, we prove that the maximum $λ_2$ is uniquely achieved by the graph $(K_1\vee P_{n/2-1})\!\!-\!\!(K_1\vee P_{n/2-1})$, which is obtained by connecting two disjoint copies of $(K_1\vee P_{n/2-1})$ through a new edge joining their smallest degree vertices. When $n$ is odd and sufficiently large, the extremal graphs are not unique. The extremal graphs are those graphs $G$ that contain a cut vertex $u$ such that $G\setminus \{u\}$ is isomorphic to $2(K_1\vee P_{n/2-1})$. We also determine the maximum $λ_2$ among all 2-connected outerplanar graphs and asymptotically determine the maximum of $λ_k(G)$ among all connected outerplanar graphs for any fixed $k$.