arXiv++ Combinatorics

For admissible integers $n,α,k$, let $f(n,α,k)$ be the minimum number of edges in a $k$-connected graph of order $n$ and independence number $α$. A conjecture of Bougard and Joret predicts that $f(n,α,k)=\lceil nk/2\rceil$ when $n\leq kα$, under the assumptions $n\geq2α$, $n\geqα+k$, $α\geq2$, and $k\geq3$. We disprove this prediction, determine $f(n,α,k)$ throughout the boundary $n=α+k$, and characterize every extremal graph on that boundary. In particular, for every $k\geq4$, \[ f(2k-1,k-1,k)=k^2-1, \] whereas the conjectured value is $k^2-\lfloor k/2\rfloor$. The extremal graphs in this family are precisely $\overline K_{k-1}\join T$, where $T$ is an arbitrary tree of order $k$. The smallest-order failure has parameters $(n,α,k)=(7,3,4)$, and no admissible counterexample has smaller order.

Let $B_{n,k}$ be the graph obtained from the balanced complete bipartite graph on $n$ vertices by deleting a matching of size $k$. If $G$ is an $n$-vertex triangle-free graph with $κ(\comp G)\geq k$, we prove that $\rhoA(G)\leq\rhoA(B_{n,k})$ for $n\geq4k+2$, with equality precisely when $G\cong B_{n,k}$, and we compute $\rhoA(B_{n,k})$ explicitly. We also solve the bipartite problem for every $n\geq2k+1$, determine the boundary value $\operatorname{spex}_κ(2k,K_3;k)=k-1$, and settle the full problem for $k=2$. In particular, $B_{n,2}$ is uniquely extremal exactly from order $6$ onward. For $k=1$, equivalently when the complement is connected, $B_{n,1}=K_{\ceil{n/2},\floor{n/2}}-e$ is uniquely extremal for every $n\geq3$.

For a fixed integer $k\ge2$, we establish a sharp adjacency-spectral upper bound for sufficiently large $m$-edge $kK_3$-free graphs. We prove \[ λ(G)\le (k-1)+\sqrt{m-k(k-1)}. \] Moreover, equality holds precisely when $(2k-1)\mid m$ and, up to isolated vertices, $G$ is the join of $K_{2k-1}$ with an independent set of $m/(2k-1)-(k-1)$ vertices. The case $k=2$ was previously known; our argument establishes every fixed $k\ge3$. The proof requires information beyond first-order spectral stability. We derive an exact nonnegative defect identity at a maximum Perron vertex, use it to bound the entire outer layer by a constant, and reduce the remaining graph to a bounded core with finitely many independent twin classes. A Perron-vector concentration identity and the Erdős--Gallai matching theorem then force the unique extremal core. A nearly extremal family lies only $Θ(m^{-1/2})$ below the target, showing why an exact second-order analysis is necessary.

Let $Γ_n(q)$ be the graph whose vertices are the invertible matrices in $\Mat_n(\F_q)$, with two distinct matrices adjacent whenever their sum is singular. A dissociation set is a vertex set inducing a graph of maximum degree at most one. We study the dissociation number of $Γ_n(q)$ by embedding it as an induced subgraph of the total graph $T_n(q)$ on all of $\Mat_n(\F_q)$. A general Laplacian inequality for $k$-independent sets, together with an explicit character computation for the additive group of the matrix ring, gives parity-sensitive upper bounds. For fixed $n$, the resulting bound is of order at most $q^{n^2-n+1}$ for odd $q$ and at most $q^{n^2-2n+2}$ for even $q$. In particular, \[ \diss(Γ_n(q))\le q^{n^2-n+1}-1. \] In the other direction, the regular representation of the extension field $\F_{q^n}$ gives $\diss(Γ_n(q))\ge q^n-1$. We give complete proofs, including a self-contained derivation of the required matrix character sum, and determine the smallest case: $\diss(Γ_2(2))=3$.

A matching $M$ in a graph $G = (V, E)$ is a set of edges such that no two edges in $M$ share a common vertex. A matching with maximum cardinality is called a maximum matching and its cardinality is the matching number $γ(G)$. The spectral radius of $G$ is the maximum absolute eigenvalue of its adjacency matrix. This article addresses the Brualdi-Solheid problem--the determination of extremal spectral radii within specific graph classes--for the class $\mathcal{U}_{n,γ}$ of simple connected unicyclic graphs on $n$ vertices with matching number $γ$. We specifically characterize all graphs that achieve the minimum spectral radius in $\mathcal{U}_{n,γ}$ for matching numbers $γ\in \left\{ 1, 2, 3, \lfloor \frac{n}{2} \rfloor \right\}$.

Let $G$ be a connected graph with vertex set $\{v_1, v_2, \ldots, v_\mathbf{n}\}$. As a variant of the classical distance matrix, the \emph{exponential distance matrix} was introduced independently by Yan and Yeh, and by Bapat et al. For a nonzero indeterminate $q$, the exponential distance matrix $\mathscr{F} = (\mathscr{F}_{ij})_{\mathbf{n} \times \mathbf{n}}$ of $G$ is defined by $\mathscr{F}_{ij} = q^{d_{ij}},$ where $d_{ij}$ denotes the distance between vertices $v_i$ and $v_j$ in $G$. A connected graph is said to be a \emph{bi-block graph} if each of its blocks is a complete bipartite graph, possibly of varying bipartition sizes. In this paper, we obtain explicit expressions for the determinant, inverse, and cofactor sum of the exponential distance matrix of bi-block graphs. As a consequence, some known results concerning the exponential distance matrix and the $q$-Laplacian matrix are generalized.

A $q$-analogue of the distance matrix, referred to as the \emph{$q$-distance matrix}, is obtained from the distance matrix by replacing each nonzero entry $α$ with the sum $1+q+\cdots+q^{α-1}$. This notion was introduced independently by Bapat, Lal, and Pati~\cite{Ba-Lal-Pati}, and by Yan and Yeh~\cite{Yan}. A connected graph is called a \emph{bi-block graph} if each of its blocks is a complete bipartite graph. In this paper, we derive explicit formulas for the determinant and the inverse of the $q$-distance matrix of bi-block graphs. These results both generalize the corresponding formulas for the distance matrix of bi-block graphs obtained in~\cite{Hou3} and extend the results for block graphs in~\cite{Xing} to the class of bi-block graphs.

Let $D(G)$ be the distance matrix of a simple connected graph $G$. The Hadamard product $D(G)~\circ~ D(G)$ is called the squared distance matrix of $G$, and is denoted by $Δ(G)$. A simple connected graph is called a starlike block graph if it has a central cut vertex, and each of its blocks is a complete graph. Let $ \mathcal{S}(n_1, n_2, \ldots, n_b)$ be the starlike block graph with blocks $K_{n_1+1}, K_{n_2+1}, \ldots, K_{n_b+1} $ on $n=1 + \sum_{i=1}^b n_i$ vertices. In this article, we compute the determinant of $Δ( \mathcal{S}(n_1, n_2, \ldots, n_b))$ and find its inverse as a rank-one perturbation of a positive semidefinite Laplacian-like matrix $\mathcal{L}$ with rank $n-1$. We also investigate the inertia of $Δ( \mathcal{S}(n_1, n_2, \ldots, n_b))$. Furthermore, for a fixed value of $ n $ and $ b $, we determine the extremal graphs that uniquely attain the maximum and minimum spectral radius of the squared distance matrix for starlike block graphs on $ n $ vertices and $ b $ blocks.

For a connected graph $G$, let $A(G)$ be the adjacency matrix of $G$ and $D(G)$ be the diagonal matrix of the degrees of the vertices in $G$. The $A_α$-matrix of $G$ is defined as \begin{align*} A_α(G) = αD(G) + (1-α) A(G) \quad \text{for any $α\in [0,1]$}. \end{align*} The largest eigenvalue of $A_α(G)$ is called the $A_α$-spectral radius of $G$. In this article, we characterize the graphs with maximum $A_α$-spectral radius among the class of unicyclic and bicyclic graphs of order $n$ with fixed girth $g$. Also, we identify the unique graphs with maximum $A_α$-spectral radius among the class of unicyclic and bicyclic graphs of order $n$ with $k$ pendant vertices.

Let $G$ be a connected graph on $n$ vertices and $d_{ij}$ be the length of the shortest path between vertices $i$ and $j$ in $G$. We set $d_{ii}=0$ for every vertex $i$ in $G$. The squared distance matrix $Δ(G)$ of $G$ is the $n\times n$ matrix with $(i,j)^{th}$ entry equal to $0$ if $i = j$ and equal to $d_{ij}^2$ if $i \neq j$. For a given complete $t$-partite graph $K_{n_1,n_2,\cdots,n_t}$ on $n=\sum_{i=1}^t n_i$ vertices, under some condition we find the inverse $Δ(K_{n_1,n_2,\cdots,n_t})^{-1}$ as a rank-one perturbation of a symmetric Laplacian-like matrix $\mathcal{L}$ with $\textup{rank} (\mathcal{L})=n-1$. We also investigate the inertia of $\mathcal{L}$.

Let $G(n,k)$ be the class of clique trees on $n$ vertices and zero forcing number $k$, where $\left \lfloor \frac{n}{2} \right \rfloor + 1 \le k \le n-1$ and each block is a clique of size at least $3$. In this article, we proved the existence and uniqueness of a clique tree in $G(n,k)$ that attains maximal spectral radius among all graphs in $G(n,k)$. We also provide an upper bound for the spectral radius of the extremal graph.

A connected graph is called a block graph if each of its blocks is a complete graph. Let $\mathbf{Bl}(\textbf{k}, \varphi)$ be the class of block graphs on $\textbf{k}$ vertices with given dissociation number $\varphi$. In this article, we have shown the existence and uniqueness of a block graph $\mathbb{B}_{\textbf{k},\varphi}$ in $\mathbf{Bl}(\textbf{k}, \varphi)$ that maximizes the spectral radius $ρ(G)$ among all graphs $G$ in $\mathbf{Bl}(\textbf{k}, \varphi)$. Furthermore, we also provide bounds on $ρ(\mathbb{B}_{\textbf{k},\varphi})$.

The Sombor index is a topological index in graph theory defined by Gutman in 2021. In this article, we find the maximum Sombor index of trees of order $\mathbf{n}$ with a given dissociation number $\varphi$, where $\ceil*{\frac{2\mathbf{n}}{3}} \leq \varphi(G) \leq \mathbf{n}-1$. We also provide the unique graph among the chosen class where the maximum Sombor index is attained.

The Sombor index is a topological index in graph theory defined by Gutman in 2021. In this article we find the maximum Sombor index of unicyclic graphs with a fixed number of pendant vertices. We also provide the unique graph among the chosen class where the maximum Sombor index is attained.

For a connected graph $G$, the Wiener index, denoted by $W(G)$, is the sum of the distance of all pairs of distinct vertices and the eccentricity, denoted by $\varepsilon(G)$, is the sum of the eccentricity of individual vertices. In \cite{Kc}, the authors posed a conjecture which states that given a graph $G$ with at least three vertices, the difference between $W(G)$ and $\varepsilon(G)$ decreases when an edge is contracted and proved that the conjecture is true when $e$ is a bridge. In this manuscript, we confirm that the conjecture is true for any connected graph $G$ with at least three vertices irrespective of the nature of the edge chosen.

Let $G = K_{n_1,n_2,\cdots,n_t}$ be a complete $t$-partite graph on $n=\sum_{i=1}^t n_i$ vertices. The distance between vertices $i$ and $j$ in $G$, denoted by $d_{ij}$ is defined to be the length of the shortest path between $i$ and $j$. The squared distance matrix $Δ(G)$ of $G$ is the $n\times n$ matrix with $(i,j)^{th}$ entry equal to $0$ if $i = j$ and equal to $d_{ij}^2$ if $i \neq j$. We define the squared distance energy $E_Δ(G)$ of $G$ to be the sum of the absolute values of its eigenvalues. We determine the inertia of $Δ(G)$ and compute the squared distance energy $E_Δ(G)$. More precisely, we prove that if $n_i \geq 2$ for $1\leq i \leq t$, then $ E_Δ(G)=8(n-t)$ and if $ h= |\{i : n_i=1\}|\geq 1$, then $$ 8(n-t)+2(h-1) \leq E_Δ(G) < 8(n-t)+2h.$$ Furthermore, we show that for a fixed value of $n$ and $t$, both the spectral radius of the squared distance matrix and the squared distance energy of complete $t$-partite graphs on $n$ vertices are maximal for complete split graph $S_{n,t}$ and minimal for Tur{á}n graph $T_{n,t}$.

A connected graph is called a bi-block graph if each of its blocks is a complete bipartite graph. Let $\mathcal{B}(\mathbf{k}, α)$ be the class of bi-block graph on $\mathbf{k}$ vertices with given independence number $α$. It is easy to see that every bi-block graph is a bipartite graph. For a bipartite graph $G$ on $\mathbf{k}$ vertices, the independence number $α(G)$ satisfies $\ceil*{\frac{\mathbf{k}}{2}} \leq α(G) \leq \mathbf{k}-1$. In this article, we prove that the maximum spectral radius $ρ(G)$ among all graphs $G$ in $\mathcal{B}(\mathbf{k}, α)$, is uniquely attained for the complete bipartite graph $K_{α, \mathbf{k}-α}$.

A strongly connected digraph is called a cactoid-type if each of its blocks is a digraph consisting of finitely many oriented cycles sharing a common directed path. In this article, we find the formula for the determinant of the distance matrix for weighted cactoid-type digraphs and find its inverse, whenever it exists. We also compute the determinant of the distance matrix for a class of unweighted and undirected graphs consisting of finitely many cycles, sharing a common path.

A connected graph is called a multi-block graph if each of its blocks is a complete multi-partite graph. Building on the work of \cite{Bp3,Hou3}, we compute the determinant and inverse of the distance matrix for a class of multi-block graphs.

A real symmetric matrix $A$ is said to be completely positive if it can be written as $BB^t$ for some (not necessarily square) nonnegative matrix $B$. A simple graph $G$ is called a completely positive graph if every doubly nonnegative matrix realization of $G$ is a completely positive matrix. Our aim in this manuscript is to compute the determinant and inverse (when it exists) of the distance matrix of a class of completely positive graphs. Similar to trees, we obtain a relation for the inverse of the distance matrix of a class of completely positive graphs involving the Laplacian matrix, a rank one matrix and a matrix $\mathcal{R}$. We also determine the eigenvalues of some principal submatrices of matrix $\mathcal{R}$.