arXiv++ Combinatorics

Let G be a graph. The Laplacian ratio of G is the permanent of the Laplacian matrix of G divided by the product of degrees of all vertices. The computational complexity of Laplacian ratio is #P-complete. Brualdi and Goldwasser studied systematicly the properties of Laplacian ratios of graphs. And they proposed an open problem: what is the minimum value of the Laplacian ratios of trees with n vertices having diameter at least k ? In this paper, we give a solution to the problem.

Let $G$ be a simple graph with adjacency matrix $A(G)$, signless Laplacian matrix $Q(G)$, degree diagonal matrix $D(G)$ and let $l(G)$ be the line graph of $G$. In 2017, Nikiforov defined the $A_α$-matrix of $G$, $A_α(G)$, as a linear convex combination of $A(G)$ and $D(G)$, the following way, $A_α(G):=αA(G)+(1-α)D(G),$ where $α\in[0,1]$. In this paper, we present some bounds for the eigenvalues of $A_α(G)$ and for the largest and smallest eigenvalues of $A_α(l(G))$. Extremal graphs attaining some of these bounds are characterized.

In this paper, we study dual quaternion and dual complex unit gain graphs and their spectral properties in a unified frame of dual unit gain graphs. Unit dual quaternions represent rigid movements in the 3D space, and have wide applications in robotics and computer graphics. Dual complex numbers found application in brain science recently. We establish the interlacing theorem for dual unit gain graphs, and show that the spectral radius of a dual unit gain graph is always not greater than the spectral radius of the underlying graph, and these two radii are equal if and only if the dual gain graph is balanced. By using the dual cosine functions, we establish the closed form of eigenvalues of adjacency and Laplacian matrices of dual complex and quaternion unit gain cycles. We then show the coefficient theorem holds for dual unit gain graphs. Similar results hold for the spectral radius of the Laplacian matrix of the dual unit gain graph too.

Given a finite, simple, connected graph $G=(V,E)$ with $|V|=n$, we consider the associated graph Laplacian matrix $L = D - A$ with eigenvalues $0 = λ_1 < λ_2 \leq \dots \leq λ_n$. One can also consider the same graph equipped with positive edge weights $w:E \rightarrow \mathbb{R}_{> 0}$ normalized to $\sum_{e \in E} w_e = |E|$ and the associated weighted Laplacian matrix $L_w$. We say that $G$ is conformally rigid if constant edge-weights maximize the second eigenvalue $λ_2(w)$ of $L_w$ over all $w$, and minimize $λ_n(w')$ of $L_{w'}$ over all $w'$, i.e., for all $w,w'$, $$ λ_2(w) \leq λ_2(1) \leq λ_n(1) \leq λ_n(w').$$ Conformal rigidity requires an extraordinary amount of symmetry in $G$. Every edge-transitive graph is conformally rigid. We prove that every distance-regular graph, and hence every strongly-regular graph, is conformally rigid. Certain special graph embeddings can be used to characterize conformal rigidity. Cayley graphs can be conformally rigid but need not be, we prove a sufficient criterion. We also find a small set of conformally rigid graphs that do not belong into any of the above categories; these include the Hoffman graph, the crossing number graph 6B and others. Conformal rigidity can be certified via semidefinite programming, we provide explicit examples.

Let $G$ be a simple connected graph of order $n$ and $\partial(G)$ is the spectral radius of the distance matrix $D(G)$ of $G$. The transmission $D_i$ of vertex $i$ is the $i$-th row sum of $D(G)$. Denote by $D_{\max}(G)$ the maximum of transmissions over all vertices of $G$, and $\partial^Q(G)$ is the spectral radius of the distance signless Laplacian matrix $D(G)+\mbox{diag}(D_1,D_2,\ldots,D_n)$. In this paper, we present a sharp lower bound of $2D_{\max}(G)-\partial^Q(G)$ among all $n$-vertex connected graphs, and characterize the extremal graphs. Furthermore, we give the minimum values of respective $D_{\max}(G)-\partial(G)$ and $2D_{\max}(G)-\partial^Q(G)$ on trees and characterize the extremal trees.

In this paper, we present two new matrices, namely the resistance Laplacian and resistance signless Laplacian matrix of a connected graph. We provide a generalized form of these matrices for different classes of graphs, including the complete graph, complete bipartite graph, and cycle. We investigate the spectral properties of these matrices, analyzing their eigenvalues and eigenvectors. Moreover, we introduce a concept similar to graph energy and define it as the resistance Laplacian energy of a graph and further discuss some bounds for this energy.

A graph G is said to be M-integral (resp. A-integral, D-integral, DL-integral or DQ-integral) if all eigenvalues of its matrix M (resp. adjacency matrix A(G), distance matrix D(G), distance Laplacian matrix DL(G) or distance signless Laplacian matrix DQ(G)) are integers. Lu et al. [Discrete Math, 346 (2023)] defined the generalized wheel graph GW(a, m, n) as the join of two regular graphs aKm and Cn, and obtained all D-integral generalized wheel graphs. Based on the above research, in this paper, we determine all DL-integral and DQ-integral generalized wheel graphs respectively. As byproducts, we give a sufficient and necessary condition for the join of two regular graphs G1 and G2 to be DL-integral, from which we can get infinitely many new classes of DL-integral graphs according to the large number of research results about the A-integral graphs.

We characterize when the spectral variation of the signed Laplacian matrices is integral after a new edge is added to a signed graph. As an application, for every fixed signed complete graph, we fully characterize the class of signed graphs to which one can recursively add new edges keeping spectral integral variation to make the signed complete graph.

In 2010, Butler introduced the unfolding operation on a bipartite graph to produce two bipartite graphs, which are cospectral for the adjacency and the normalized Laplacian matrices. In this article, we describe how the idea of unfolding a bipartite graph with respect to another bipartite graph can be extended to nonbipartite graphs. In particular, we describe how unfoldings involving reflexive bipartite, semi-reflexive bipartite, and multipartite graphs are used to obtain cospectral nonisomorphic graphs for the adjacency matrix.

For unsigned graphs G and H, the characteristic polynomial of different graph matrices for edge corona, subdivision vertex neighbourhood corona and subdivision edge neighbourhood corona has already been studied using the concept of coronal. However, till date no work regarding the spectrum of these products has been studied for signed graphs. In our work, we have filled this gap and defined these variants of coronae by introducing the concept of reverse orientation (r-orientation). We analyzed the structural properties of these product. Also, the characteristic polynomial of adjacency matrix, Laplacian matrices (signed and signless) and normalized Laplacian matrix of these variants of corona product of regular signed graphs under $r$-orientation is obtained using the concept of signed coronal. These results help us to construct infinitely many families of pairs of cospectral signed graphs.

A quaternion unit gain graph is a graph where each orientation of an edge is given a quaternion unit, and the opposite orientation is assigned the inverse of this quaternion unit. In this paper, we provide a combinatorial description of the determinant of the Laplacian matrix of a quaternion unit gain graph by using row-column noncommutative determinants recently introduced by one of the authors. A numerical example is presented for illustrating our results.

The join $X\vee Y$ of two graphs $X$ and $Y$ is the graph obtained by joining each vertex of $X$ to each vertex of $Y$. We explore the behaviour of a continuous quantum walk on a weighted join graph having the adjacency matrix or Laplacian matrix as its associated Hamiltonian. We characterize strong cospectrality, periodicity and perfect state transfer (PST) in a join graph. We also determine conditions in which strong cospectrality, periodicity and PST are preserved in the join. Under certain conditions, we show that there are graphs with no PST that exhibits PST when joined by another graph. This suggests that the join operation is promising in producing new graphs with PST. Moreover, for a periodic vertex in $X$ and $X\vee Y$, we give an expression that relates its minimum periods in $X$ and $X\vee Y$. While the join operation need not preserve periodicity and PST, we show that $\big| |U_M(X\vee Y,t)_{u,v}|-|U_M(X,t)_{u,v}| \big|\leq \frac{2}{|V(X)|}$ for all vertices $u$ and $v$ of $X$, where $U_M(X\vee Y,t)$ and $U_M(X,t)$ denote the transition matrices of $X\vee Y$ and $X$ respectively relative to either the adjacency or Laplacian matrix. We demonstrate that the bound $\frac{2}{|V(X)|}$ is tight for infinite families of graphs.

The Laplacian matrix $L$ of a signed graph $G$ may or may not be invertible. We present a combinatorial formula of the Moore-Penrose inverse of $L$. This is achieved by finding a combinatorial formula for the Moore-Penrose inverse of an incidence matrix of $G$. This work generalizes related known results on incidence and Laplacian matrices of an unsigned graph. Several examples are provided to show the usefulness of these combinatorial formulas.

This paper delves into three research directions, leveraging the Lovász $\vartheta$-function of a graph. First, it focuses on the Shannon capacity of graphs, providing new results that determine the capacity for two infinite subclasses of strongly regular graphs, and extending prior results. The second part explores cospectral and nonisomorphic graphs, drawing on a work by Berman and Hamud (2024), and it derives related properties of two types of joins of graphs. For every even integer such that $n \geq 14$, it is constructively proven that there exist connected, irregular, cospectral, and nonisomorphic graphs on $n$ vertices, being jointly cospectral with respect to their adjacency, Laplacian, signless Laplacian, and normalized Laplacian matrices, while also sharing identical independence, clique, and chromatic numbers, but being distinguished by their Lovász $\vartheta$-functions. The third part focuses on establishing bounds on graph invariants, particularly emphasizing strongly regular graphs and triangle-free graphs, and compares the tightness of these bounds to existing ones. The paper derives spectral upper and lower bounds on the vector and strict vector chromatic numbers of regular graphs, providing sufficient conditions for the attainability of these bounds. Exact closed-form expressions for the vector and strict vector chromatic numbers are derived for all strongly regular graphs and for all graphs that are vertex- and edge-transitive, demonstrating that these two types of chromatic numbers coincide for every such graph. This work resolves a query regarding the variant of the $\vartheta$-function by Schrijver and the identical function by McEliece et al. It shows, by a counterexample, that the $\vartheta$-function variant by Schrijver does not possess the property of the Lovász $\vartheta$-function of forming an upper bound on the Shannon capacity of a graph.

Let $Γ= (G, σ)$ be a signed graph, where $G = (V(G),E(G))$ is an (unsigned) graph, called the underlying graph. The net Laplacian matrix of $Γ$ is defined as $L^{\pm}(Γ) = D^{\pm}(Γ) - A(Γ)$, where $D^{\pm}(Γ)$ and $A(Γ)$ are the diagonal matrix of net-degrees and the adjacency matrix of $Γ$, respectively. The nullity of $L^{\pm}(Γ)$, written as $ η(L^{\pm} (Γ))$, is the multiplicity of 0 as an eigenvalue of $L^{\pm}(Γ)$. In this paper, we focus our attention on the nullity of the net Laplacian matrix of a connected signed graph $Γ$ and prove that $1 \leq η(L^{\pm} (Γ)) \leq min\{ β(Γ) + 1, |V(Γ)| - 1 \}$, where $β(Γ) = |E(Γ)| - |V(Γ)| + 1$ is the cyclomatic number of $Γ$. The connected signed graphs with nullity $|V(Γ)| - 1$ are completely determined. Moreover, we characterize the signed cactus graphs with nullity $1$ or $β(Γ) + 1$

Let $R$ be a commutative ring with unity. The essential ideal graph $\mathcal{E}_R$ of $R$ is a graph in which the vertex set comprises of set of all nonzero proper ideals of $R$ and two vertices $I$ and $K$ are adjacent if and only if $I+K$ is an essential ideal. In this paper, we discuss the structure of an induced subgraph of the essential ideal graph of the ring $\mathbb{Z}_{n}$ as a $\mathscr{G}$-generalized join graph and thereby completely determine the structure of $\mathcal{E}_{\mathbb{Z}_{n}}$. Also, we prove a characterization of $\mathcal{E}_{\mathbb{Z}_{n}}$ to be Laplacian integral in terms of the vertex-weighted Laplacian matrix of annihilating ideal graph of $\mathbb{Z}_{n}$ for $n= \prod_{i=1}^k p_i$. Further, we discuss the eigenvalues of various matrices like adjacency matrix, Laplacian matrix, signless Laplacian matrix, and normalized Laplacian matrix of the induced subgraph of the essential ideal graph of $\mathbb{Z}_{n}$. Finally, we obtain the upper bounds of spectral radius and algebraic connectivity of $\mathcal{E}_{\mathbb{Z}_{n}}$ and compute the values of $n$ for which these bounds are attained.

Let $N(X)$ be the Laplacian matrix of a directed graph obtained from the edge adjacency matrix of a graph $X.$ In this work, we study the bipartiteness property of the graph with the help of $N(X).$ We computed the spectrum of the edge Laplacian matrix for the regular graphs, the complete bipartite graphs, and the trees. Further, it is proved that given a graph $X,$ the characteristic polynomial of $N(X)$ divides the characteristic polynomial of $N(X^{\prime\prime}),$ where $X^{\prime\prime}$ denote the Kronecker double cover of $X.$

We consider two distinct $q$-analogues of the bipartite distance matrix, namely the $q$-bipartite distance matrix and the exponential distance matrix. We provide formulae of the inverse for these matrices, which extend the existing results for the bipartite distance matrix. These investigations lead us to introduce a $q$-analogue version of the bipartite Laplacian matrix.

Let $G$ be an $n$-vertex graph and $Q(G)$ be its signless Laplacian matrix. The $Q$-walk matrix of $G$, denoted by $W_Q(G)$, is $[e,Q(G)e,\ldots,Q^{n-1}(G)e]$, where $e$ is the all-one vector. Let $G\circ P_m$ be the graph obtained from $G$ and $n$ copies of the path $P_m$ by identifying the $i$-th vertex of $G$ with an endvertex of the $i$-th copy of $P_m$ for each $i$. We prove that, $$\det W_Q(G\circ P_m)=\pm (\det Q(G))^{m-1}(\det W_Q(G))^m$$ holds for any $m\ge 2$. This gives a signless Laplacian counterpart of the following recently established identity [17]: $$\det W_A(G\circ P_m)=\pm (\det A(G))^{\lfloor\frac{m}{2}\rfloor}(\det W_A(G))^m,$$ where $A(G)$ is the adjacency matrix of $G$ and $W_A(G)=[e,A(G)e,\ldots,A^{n-1}(G)e]$. We also propose a conjecture to unify the above two equalities.

A graph is called "Laplacian integral" if the eigenvalues of its Laplacian matrix are all integers. We investigate the subset of these graphs whose Laplacian is furthermore diagonalized by a matrix with entries coming from a fixed set, in particular, the sets $\{-1,0,1\}$ or $\{-1,1\}$. Such graphs include as special cases the recently-investigated families of "Hadamard-diagonalizable" and "weakly Hadamard-diagonalizable" graphs. As a combinatorial tool to aid in our investigation, we introduce a family of vectors that we call "balanced", which generalizes totally balanced partitions, regular sequences, and complete partitions. We show that balanced vectors completely characterize which graph complements and complete multipartite graphs are $\{-1,0,1\}$-diagonalizable, and we furthermore prove results on diagonalizability of the Cartesian product, disjoint union, and join of graphs. Particular attention is paid to the $\{-1,0,1\}$- and $\{-1,1\}$-diagonalizability of the complete graphs and complete multipartite graphs. Finally, we provide a complete list of all simple, connected graphs on nine or fewer vertices that are $\{-1,0,1\}$- or $\{-1,1\}$-diagonalizable.