arXiv++ Combinatorics

Let $G$ be a simple nonempty graph with size $m$, chromatic number $χ$, and least eigenvalue $λ$. We prove that \[ χ(χ-1) \le (m+1-λ^2)+\sqrt{(m+1-λ^2)^2-4(λ^2-1)(λ^2-m)} \] with equality if and only if $G$ is either a complete graph or a complete bipartite graph, with possibly isolated vertices. The inequality was conjectured recently by Tang and Elphick in [Electron. J. Combin. 33 (2026), \#P2.65].

A classical theorem of Sheehan in 1977 states that every hamiltonian graph $G$ of order $n$ satisfying $e(G)>\left\lfloor \frac{n^2}{4}\right\rfloor+1$ contains at least two cycles of every length $\ell$, $3\le \ell\le n$. In the same paper, Sheehan recorded a conjecture of Hilton, which strengthens this conclusion by asserting that such a graph contains at least $n-\ell+2$ cycles of length $\ell$ for each $3\le \ell\le n$. We prove Hilton's conjecture for all hamiltonian graphs of order at least $440$.

An edge of a graph of order $n$ is pancyclic if it lies in a cycle of every length $3,\ldots,n$. A graph of order $n$ is vertex-pancyclic if every vertex lies in a cycle of every length $3,\ldots,n$. Recently, Li and Zhan proved that every $2$-connected $[4,2]$-graph of order at least seven contains a pancyclic edge. Zhan asked whether there exists a positive integer $k$ such that every $k$-connected vertex-pancyclic graph contains a pancyclic edge. We answer this question by showing that for every positive integer $k$, there is a $k$-connected vertex-pancyclic graph containing no pancyclic edge.

Outerplanar Turán problem has received considerable attention recently. We study the spectral version via $Q$-index. We determine the unique graph that maximizes the $Q$-index among all $n$-vertex connected outerplanar graphs which are respectively forbidden to contain: (i) a fixed cycle; and (ii) the disjoint union of paths of a given order.

The matching polynomial of a graph encodes rich combinatorial information through its roots. We determine the maximum multiplicity of a non-zero matching polynomial root and characterize all graphs attaining the bound. We also generalize the result to any fixed $θ$, where the graphs attaining the bound are related to $θ$-critical graphs. Inspired by these graphs, we give a constructive answer to Godsil's question. Finally, we show the existence of $1$-critical tree of order $n$ for all $n\ge 9$ and $1$-critical graph of order $n$ for all $n\ge 5$, and describe a method to construct $1$-critical graphs from existing ones.

The transposition graph $Cay(S_n,T_n)$ is the Cayley graph on the symmetric group $S_n$ generated by the set $T_n$ of all transpositions. In this paper, we show that each integer in the interval $\left[-{\lfloor(2n+1)/3 \rfloor\choose 2}, {\lfloor(2n+1)/3 \rfloor\choose 2}\right]$ is an eigenvalue of $Cay(S_n,T_n)$. This proves a recent conjecture by Kravchuk \cite{Kravchuk}.

Let $G$ be a connected graph of order $n$ with girth $g$. For $k=1,\dots,\min\{g-1, n-g\}$, let $n(G,k)$ be the number of Laplacian eigenvalues (counting multiplicities) of $G$ that fall inside the interval $[n-g-k+4,n]$. We prove that if $g\ge 4$, then \[ n(G,k)\le n-g. \] Those graphs achieving the bound for $k=1,2$ are determined. We also determine the graphs $G$ with $g=3$ such that $n(G,k)=n-1, n-2, n-3$.

B. Bollobás and G. Brightwell and independently R. Shi proved the existence of a cycle through all vertices whose degrees at least $\frac{n}{2}$ in any $2$-connected graph of order $n$. Motivated by this result, we prove the existence of a cycle through all vertices whose degrees at least $n-ω$ in any $2$-connected graph $G$ of order $n$ with clique number $ω$ unless $G$ is a specific graph. Moreover, we show that for any pair of vertices whose degrees are at least $n-ω+1$ in a graph $G$ of order $n$ with clique number $ω$, there exists a path joining them which contains all vertices of degree at least $n-ω+1$ unless $G$ belongs to certain graph classes. In doing so, we prove the existence of a $(u,v)$-path through all vertices whose degrees at least $\frac{n+1}{2}$ in any graph of order $n$, where $u,v$ are two distinct vertices of degree at least $\frac{n+1}{2}$.

What spectral conditions imply a graph contains a chorded cycle? This question was asked by R.J. Gould in 2022. We answer two modified versions of Gould's question by giving tight spectral conditions that imply the existence of doubly chorded cycle, and a doubly chorded cycle with two chords incident to a vertex, respectively.

A chorded cycle is a cycle with at least one chord. Gould asked in [Graphs Comb. 38 (2022) 189] the question: What spectral conditions imply a graph contains a chorded cycle? For a graph with fixed size, extremal spectral conditions are given to ensure that a graph contains a chorded cycle and a $(2k-3)$-chorded $(2k+1)$-cycle for $k\ge 2$, respectively, via spectral radius.

Let $G$ be a simple graph of order $n$. It is known that any Laplacian eigenvalue of $G$ belongs to the interval $[0,n]$. For an interval $I\subseteq [0, n]$, denote by $m_GI$ the number of Laplacian eigenvalues of $G$ in $I$, counted with multiplicity. When $G$ is connected, known results on the Laplacian eigenvalue distribution related to the diameter $d$ of $G$ include: $m_G[n-d+2,n]\le n-d$ if $2\le d\le n-3$ and $m_G[n-d+1,n]\le n-d+1$ if $1\le d\le n-3$. In this paper, we show that $m_G[n-d,n]\le n-d+2$ if $2\le d\le n-4$, and $m_G[n-2d+4,n]\le n-2$ if $2\le d\le \lfloor\frac{n}{2} \rfloor$.

Answers are offered to the Gould's question to find spectral sufficient conditions for a graph to have a chorded cycle via signless Laplacian spectral radius. The conditions are tight.

For a simple graph on $n$ vertices, any of its signless Laplacian eigenvalues is in the interval $[0, 2n-2]$. In this paper, we give relationships between the number of signless Laplacian eigenvalues in specific intervals in $[0, 2n-2]$ and graph invariants including matching number and diameter.

A graph is $t$-tough if the deletion of any set of, say, $m$ vertices from the graph leaves a graph with at most $\frac{m}{t}$ components. In 1973, Chvátal suggested the problem of relating toughness to factors in graphs. In 1985, Enomoto et al. showed that each $2$-tough graph with at least three vertices has a $2$-factor, but for any $ε>0$, there exists a $(2-ε)$-tough graph on at least $3$ vertices having no $2$-factor. In recent years, the study of sufficient conditions for graphs with toughness less than $2$ having a $2$-factor has received a paramount interest. In this paper, we give new tight sufficient conditions for a $t$-tough graph having a $2$-factor when $1\le t<2$ by involving independence number, minimum degree, connectivity and forbidden forests.

The well known Wagner's theorem states that a graph is a planar graph if and only if it is $K_5$-minor-free and $K_{3,3}$-minor-free. Denote by $AT(G)$ the Alon-Tarsi number of a graph $G$. We show that for any $K_{3,3}$-minor-free graph $G$, $AT(G)\le 5$, there exists a matching $M$ and a forest $F$ such that $AT(G-M)\le 4$ and $AT(G-E(F))\le 3$, extending the result on the Alon-Tarsi number of $K_5$-minor-free graphs due to Abe, Kim and Ozeki.

Let $G$ be a connected graph on $n$ vertices with diameter $d$. It is known that if $2\le d\le n-2$, there are at most $n-d$ Laplacian eigenvalues in the interval $[n-d+2, n]$. In this paper, we show that if $1\le d\le n-3$, there are at most $n-d+1$ Laplacian eigenvalues in the interval $[n-d+1, n]$. Moreover, we try to identify the connected graphs on $n$ vertices with diameter $d$, where $2\le d\le n-3$, such that there are at most $n-d$ Laplacian eigenvalues in the interval $[n-d+1, n]$.

For $S\subseteq V(G)$ with $|S|\ge 2$, let $κ_G (S)$ denote the maximum number of internally disjoint trees connecting $S$ in $G$. For $2\le k\le n$, the generalized $k$-connectivity $κ_k(G)$ of an $n$-vertex connected graph $G$ is defined to be $κ_k(G)=\min \{κ_G(S): S\in V(G) \mbox{ and } |S|=k\}$. The generalized $k$-connectivity can serve for measuring the fault tolerance of an interconnection network. The bubble-sort graph $B_n$ for $n\ge 2$ is a Cayley graph over the symmetric group of permutations on $[n]$ generated by transpositions from the set $\{[1,2],[2,3],\dots, [n-1,n]\}$. In this paper, we show that for the bubble-sort graphs $B_n$ with $n\ge 3$, $κ_4(B_n)=n-2$.

In this paper, we give tight bounds for the normalized Laplacian eigenvalues of hypergraphs that are not necessarily uniform, and provide an edge version interlacing theorem, a Cheeger inequality, and a discrepancy inequality that are related to the normalized Laplacian eigenvalues for uniform hypergraphs.

Ahanjideh, Akbari, Fakharan and Trevisan proposed a conjecture in [Linear Algebra Appl. 632 (2022) 1--14] on the distribution of the Laplacian eigenvalues of graphs: for any connected graph of order $n$ with diameter $d\ge 2$ that is not a path, the number of Laplacian eigenvalues in the interval $[n-d+2,n]$ is at most $n-d$. We show that the conjecture is true, and give a complete characterization of graphs for which the conjectured bound is attained. This establishes an interesting relation between the spectral and classical parameters.

Given a graph $H$, a graph $G$ is $H$-free if $G$ does not contain $H$ as an induced subgraph. For a positive real number $t$, a non-complete graph $G$ is said to be $t$-tough if for every vertex cut $S$ of $G$, the ratio of $|S|$ to the number of components of $G-S$ is at least $t$. A complete graph is said to be $t$-tough for any $t>0$. Chvátal's toughness conjecture, stating that there exists a constant $t_0$ such that every $t_0$-tough graph with at least three vertices is Hamiltonian, is still open in general. Chvátal and Erdös \cite{CE} proved that, for any integer $k\ge 1$, every $\max\{2,k\}$-connected $(k+1)P_1$-free graph on at least three vertices is Hamiltonian. Along the Chvátal-Erdös theorem, Shi and Shan \cite{SS} proved that, for any integer $k\ge 4$, every $4$-tough $2k$-connected $(P_2\cup kP_1)$-free graph with at least three vertices is Hamiltonian, and furthermore, they proposed a conjecture that for any integer $k\ge 1$, any $1$-tough $2k$-connected $(P_2\cup kP_1)$-free graph is Hamiltonian. In this paper, we confirm the conjecture, and furthermore, we show that if $k\ge 3$, then the condition `$2k$-connected' may be weakened to be `$2(k-1)$-connected'. As an immediate consequence, for any integer $k\ge 3$, every $(k-1)$-tough $(P_2\cup kP_1)$-free graph is Hamiltonian. This improves the result of Hatfield and Grimm \cite{HG}, stating that every $3$-tough $(P_2\cup 3P_1)$-free graph is Hamiltonian.