arXiv++ Combinatorics

The reciprocal distance Laplacian matrix of a connected graph $G$ is defined as $RD^L(G)=RT(G)-RD(G)$, where $RT(G)$ is the diagonal matrix of reciprocal distance degrees and $RD(G)$ is the Harary matrix. Since $RD^L(G)$ is a real symmetric matrix, we denote its eigenvalues as $λ_1(RD^L(G))\geq λ_2(RD^L(G))\geq \dots \geq λ_n(RD^L(G))$. The largest eigenvalue $λ_1(RD^L(G))$ of $RD^L(G)$ is called the reciprocal distance Laplacian spectral radius. In this article, we prove that the multiplicity of $n$ as a reciprocal distance Laplacian eigenvalue of $RD^L(G)$ is exactly one less than the number of components in the complement graph $\bar{G}$ of $G$. We show that the class of the complete bipartite graphs maximize the reciprocal distance Laplacian spectral radius among all the bipartite graphs with $n$ vertices. Also, we show that the star graph $S_n$ is the unique graph having the maximum reciprocal distance Laplacian spectral radius in the class of trees with $n$ vertices. We determine the reciprocal distance Laplacian spectrum of several well known graphs. We prove that the complete graph $K_n$, $K_n-e$, the star $S_n$, the complete balanced bipartite graph $K_{\frac{n}{2},\frac{n}{2}}$ and the complete split graph $CS(n,α)$ are all determined from the $RD^L$-spectrum.

Inspired by the notion of action convergence in graph limit theory, we introduce a measure-theoretic representation of matrices, and we use it to define a new notion of pseudo-metric on the space of matrices. Moreover, we show that such pseudo-metric is a metric on the subspace of adjacency or Laplacian matrices for graphs. Hence, in particular, we obtain a metric for isomorphism classes of graphs. Additionally, we study how some properties of graphs translate in this measure representation, and we show how our analysis contributes to a simpler understanding of action convergence of graphops.

In this article, we discussed the zero-divisor graph of a commutative ring with identity $\mathbb{F}_p+u\mathbb{F}_p+u^2 \mathbb{F}_p$ where $u^3=0$ and $p$ is an odd prime. We find the clique number, chromatic number, vertex connectivity, edge connectivity, diameter and girth of a zero-divisor graph associated with the ring. We find some of topological indices and the main parameters of the code derived from the incidence matrix of the zero-divisor graph $Γ(R).$ Also, we find the eigenvalues, energy and spectral radius of both adjacency and Laplacian matrices of $Γ(R).$

We show that all off-diagonal entries in the Moore-Penrose inverse of the distance Laplacian matrix of a tree are non-positive.

A mixed graph $M_{G}$ is the graph obtained from an unoriented simple graph $G$ by giving directions to some edges of $G$, where $G$ is often called the underlying graph of $M_{G}$. In this paper, we introduce two classes of incidence matrices of the second kind of $M_{G}$, and discuss the determinants of these two matrices for rootless mixed trees and unicyclic mixed graphs. Applying these results, we characterize the explicit expressions of various minors for Hermitian (quasi-)Laplacian matrix of the second kind of $M_{G}$. Moreover, we give two sufficient conditions that the absolute values of all the cofactors of Hermitian (quasi-)Laplacian matrix of the second kind are equal to the number of spanning trees of the underlying graph $G$.

The generalized reciprocal distance matrix $RD_α(G)$ was defined as $RD_α(G)=αRT(G)+(1-α)RD(G),\quad 0\leq α\leq 1.$ Let $λ_{1}(RD_α(G))\geq λ_{2}(RD_α(G))\geq \cdots \geq λ_{n}(RD_α(G))$ be the eigenvalues of $RD_α$ matrix of graphs $G$. Then the $RD_α$-spread of graph $G$ can be defined as $S_{RD_α}(G)=λ_{1}(RD_α(G))-λ_{n}(RD_α(G))$. In this paper, we first obtain some sharp lower and upper bounds for the $RD_α$-spread of graphs. Then we determine the lower bounds for the $RD_α$-spread of bipartite graphs and graphs with given clique number. At last, we give the $RD_α$-spread of double star graphs. Our results generalize the related results of the reciprocal distance matrix and reciprocal distance signless Laplacian matrix.

The quantum walk dynamics obey the laws of quantum mechanics with an extra locality constraint, which demands that the evolution operator is local in the sense that the walker must visit the neighboring locations before endeavoring to distant places. Usually, the Hamiltonian is obtained from either the adjacency or the laplacian matrix of the graph and the walker hops from vertices to neighboring vertices. In this work, we define a version of the continuous-time quantum walk that allows the walker to hop from vertices to edges and vice versa. As an application, we analyze the spatial search algorithm on the complete bipartite graph by modifying the new version of the Hamiltonian with an extra term that depends on the location of the marked vertex or marked edge, similar to what is done in the standard continuous-time quantum walk model. We show that the optimal running time to find either a vertex or an edge is $O(\sqrt{N_e})$ with success probability $1-o(1)$, where $N_e$ is the number of edges of the complete bipartite graph.

We provide a new decomposition of the Laplacian matrix (for labeled directed graphs with strongly connected components), involving an invertible $\textit{core matrix}$, the vector of tree constants, and the incidence matrix of an auxiliary graph, representing an order on the vertices. Depending on the particular order, the core matrix has additional properties. Our results are graph-theoretic/algebraic in nature. As a first application, we further clarify the binomial structure of (weakly reversible) mass-action systems, arising from chemical reaction networks. Second, we extend a classical result by Horn and Jackson on the asymptotic stability of special steady states (complex-balanced equilibria). Here, the new decomposition of the graph Laplacian allows us to consider regions in the positive orthant with given $\textit{monomial evaluation orders}$ (and corresponding polyhedral cones in logarithmic coordinates). As it turns out, all dynamical systems are asymptotically stable that can be embedded in certain $\textit{binomial differential inclusions}$. In particular, this holds for complex-balanced mass-action systems, and hence we also obtain a polyhedral-geometry proof of the classical result.

Given an arbitrary connected $G$, the $n$-polygon graph $τ_n(G)$ is obtained by adding a path with length $n$ $(n\geq 2)$ to each edge of graph $G$, and the iterated $n$-polygon graphs $τ_n^g(G)$ ($g\geq 0$), is obtained from the iteration $τ_n^g(G)=τ_n(τ_n^{g-1}(G))$, with initial condition $τ_n^0(G)=G$. In this paper, a method for calculating the eigenvalues of normalized Laplacian matrix for graph $τ_n(G)$ is presented if the eigenvalues of normalized Laplacian matrix for graph $G$ is given firstly. Then, the normalized Laplacian spectrums for the graph $τ_n(G)$ and the graphs $τ_n^g(G)$ ($g\geq 0$) can also be derived. Finally, as applications, we calculate the multiplicative degree-Kirchhoff index, Kemeny's constant and the number of spanning trees for the graph $τ_n(G)$ and the graphs $τ_n^g(G)$ by exploring their connections with the normalized Laplacian spectrum, exact results for these quantities are obtained.

Let $G$ be a simple graph with order $n$ and size $m$. The quantity $M_1(G)=\displaystyle\sum_{i=1}^{n}d^2_{v_i}$ is called the first Zagreb index of $G$, where $d_{v_i}$ is the degree of vertex $v_i$, for all $i=1,2,\dots,n$. The signless Laplacian matrix of a graph $G$ is $Q(G)=D(G)+A(G)$, where $A(G)$ and $D(G)$ denote, respectively, the adjacency and the diagonal matrix of the vertex degrees of $G$. Let $q_1\geq q_2\geq \dots\geq q_n\geq 0$ be the signless Laplacian eigenvalues of $G$. The largest signless Laplacian eigenvalue $q_1$ is called the signless Laplacian spectral radius or $Q$-index of $G$ and is denoted by $q(G)$. Let $S^+_k(G)=\displaystyle\sum_{i=1}^{k}q_i$ and $L_k(G)=\displaystyle\sum_{i=0}^{k-1}q_{n-i}$, where $1\leq k\leq n$, respectively denote the sum of $k$ largest and smallest signless Laplacian eigenvalues of $G$. The signless Laplacian energy of $G$ is defined as $QE(G)=\displaystyle\sum_{i=1}^{n}|q_i-\overline{d}|$, where $\overline{d}=\frac{2m}{n}$ is the average vertex degree of $G$. In this article, we obtain upper bounds for the first Zagreb index $M_1(G)$ and show that each bound is best possible. Using these bounds, we obtain several upper bounds for the graph invariant $S^+_k(G)$ and characterize the extremal cases. As a consequence, we find upper bounds for the $Q$-index and lower bounds for the graph invariant $L_k(G)$ in terms of various graph parameters and determine the extremal cases. As an application, we obtain upper bounds for the signless Laplacian energy of a graph and characterize the extremal cases.

The graphs with all equal negative or positive eigenvalues are special kind in the spectral graph theory. In this article, several iterated line graphs $\mathcal{L}^k(G)$ with all equal negative eigenvalues $-2$ are characterized for $k\ge 1$ and their energy consequences are presented. Also, the spectra and the energy of complement of these graphs are obtained, interestingly they have exactly two positive eigenvalues with different multiplicities. Moreover, we characterize a large class of equienergetic graphs which generalize some of the existing results. There are two different quotient matrices defined for an equitable partition of $H$-join (generalized composition) of regular graphs to find the spectrum (partial) of adjacency matrix, Laplacian matrix and signless Laplacian matrix, it has been proved that these two quotient matrices give the same respective spectrum of graphs.

In this paper we provide the group inverse of the combinatorial Laplacian matrix of distance-biregular graphs using the so-called equilibrium measures for sets obtained by deleting a vertex. We also show that the two equilibrium arrays characterizing a distance-biregular graph can be expressed in terms of the mentioned equilibrium measures. As a consequence of the minimum principle, we show a characterization of when the group inverse of the combinatorial Laplacian matrix of a distance-biregular graph is an $M$-matrix.

Let $G$ be a graph with $n$ vertices, and let $L(G)$ and $Q(G)$ be the Laplacian matrix and signless Laplacian matrix of $G$, respectively. The polynomial $π(L(G);x)={\rm per}(xI-L(G))$ (resp. $π(Q(G);x)={\rm per}(xI-Q(G))$) is called {\em Laplacian permanental polynomial} (resp. {\em signless Laplacian permanental polynomial}) of $G$. In this paper, we show that two classes of bicyclic graphs are determined by their (signless) Laplacian permanental polynomials.

Let $G$ be a simple undirected connected graph with the Harary matrix $RD(G)$, which is also called the reciprocal distance matrix of $G$. The reciprocal distance signless Laplacian matrix of $G$ is $RQ(G)=RT(G)+RD(G)$, where $RT(G)$ denotes the diagonal matrix of the vertex reciprocal transmissions of graph $G$. This paper intends to introduce a new matrix $RD_α(G)=αRT(G)+(1-α)RD(G)$, $α\in [0,1]$, to track the gradual change from $RD(G)$ to $RQ(G)$. First, we describe completely the eigenvalues of $RD_α(G)$ of some special graphs. Then we obtain serval basic properties of $RD_α(G)$ including inequalities that involve the spectral radii of the reciprocal distance matrix, reciprocal distance signless Laplacian matrix and $RD_α$-matrix of $G$. We also provide some lower and upper bounds of the spectral radius of $RD_α$-matrix. Finally, we depict the extremal graphs with maximal spectral radius of the $RD_α$-matrix among all connected graphs of fixed order and precise vertex connectivity, edge connectivity, chromatic number and independence number, respectively.

The classical Cheeger's inequality relates the edge conductance $φ$ of a graph and the second smallest eigenvalue $λ_2$ of the Laplacian matrix. Recently, Olesker-Taylor and Zanetti discovered a Cheeger-type inequality $ψ^2 / \log |V| \lesssim λ_2^* \lesssim ψ$ connecting the vertex expansion $ψ$ of a graph $G=(V,E)$ and the maximum reweighted second smallest eigenvalue $λ_2^*$ of the Laplacian matrix. In this work, we first improve their result to $ψ^2 / \log d \lesssim λ_2^* \lesssim ψ$ where $d$ is the maximum degree in $G$, which is optimal assuming the small-set expansion conjecture. Also, the improved result holds for weighted vertex expansion, answering an open question by Olesker-Taylor and Zanetti. Building on this connection, we then develop a new spectral theory for vertex expansion. We discover that several interesting generalizations of Cheeger inequalities relating edge conductances and eigenvalues have a close analog in relating vertex expansions and reweighted eigenvalues. These include an analog of Trevisan's result on bipartiteness, an analog of higher order Cheeger's inequality, and an analog of improved Cheeger's inequality. Finally, inspired by this connection, we present negative evidence to the $0/1$-polytope edge expansion conjecture by Mihail and Vazirani. We construct $0/1$-polytopes whose graphs have very poor vertex expansion. This implies that the fastest mixing time to the uniform distribution on the vertices of these $0/1$-polytopes is almost linear in the graph size. This does not provide a counterexample to the conjecture, but this is in contrast with known positive results which proved poly-logarithmic mixing time to the uniform distribution on the vertices of subclasses of $0/1$-polytopes.

We investigate the spectral properties of rooted trees with the intention of improving the currently existing results that deal with this matter. The concept of an assigned rational function is recursively defined for each vertex of a rooted tree. Afterwards, two mathematical formulas are given which show how the characteristic polynomials of the adjacency and Laplacian matrix can be represented as products of the aforementioned rational functions. In order to demonstrate their general use case scenario, the obtained formulas are subsequently implemented on balanced trees, with a special focus on the Bethe trees. In the end, some of the previously derived results are used in order to construct a tree merging procedure which preserves the spectra of all of the starting trees.

Let $G$ be a connected simple graph with $n$ vertices. The distance Laplacian matrix $D^{L}(G)$ is defined as $D^L(G)=Diag(Tr)-D(G)$, where $Diag(Tr)$ is the diagonal matrix of vertex transmissions and $D(G)$ is the distance matrix of $G$. The eigenvalues of $D^{L}(G)$ are the distance Laplacian eigenvalues of $G$ and are denoted by $\partial_{1}^{L}(G)\geq \partial_{2}^{L}(G)\geq \dots \geq \partial_{n}^{L}(G)$. The largest eigenvalue $\partial_{1}^{L}(G)$ is called the distance Laplacian spectral radius. Lu et al. (2017), Fernandes et al. (2018) and Ma et al. (2018) completely characterized the graphs having some distance Laplacian eigenvalue of multiplicity $n-3$. In this paper, we characterize the graphs having distance Laplacian spectral radius of multiplicity $n-4$ together with one of the distance Laplacian eigenvalue as $n$ of multiplicity either 3 or 2. Further, we completely determine the graphs for which the distance Laplacian eigenvalue $n$ is of multiplicity $n-4$.

For a connected graph $G$ of order $n$, let $Diag(Tr)$ be the diagonal matrix of vertex transmissions and $D(G)$ be the distance matrix of $G$. The distance Laplacian matrix of $G$ is defined as $D^L(G)=Diag(Tr)-D(G)$ and the eigenvalues of $D^{L}(G)$ are called the distance Laplacian eigenvalues of $G$. Let $\partial_{1}^{L}(G)\geq \partial_{2}^{L}(G)\geq \dots \geq \partial_{n}^{L}(G)$ be the distance Laplacian eigenvalues of $G$. Given an interval $I$, let $m_{D^{L} (G)} I$ (or simply $m_{D^{L} } I$) be the number of distance Laplacian eigenvalues of $G$ which lie in the interval $I$. For a prescribed interval $I$, we determine $m_{D^{L} }I$ in terms of independence number $α(G)$, chromatic number $χ$, number of pendant vertices and diameter $d$ of the graph $G$. In particular, we prove that $m_{D^{L}(G) }[n,n+2)\leq χ-1$, ~$m_{D^{L}(G) }[n,n+α(G))\leq n-α(G)$ and we show that the inequalities are sharp. We also show that $m_{D^{L} (G )}\bigg( n,n+\left\lceil\frac{n}χ\right\rceil\bigg)\leq n- \left\lceil\frac{n}χ\right\rceil-C_{\overline{G}}+1 $, where $C_{\overline{G}}$ is the number of components in $\overline{G}$, and discuss some cases where the bound is best possible. In addition, we prove that $m_{D^{L} (G )}[n,n+p)\leq n-p$, where $p\geq 1$ is the number of pendant vertices. Also, we characterize graphs of diameter $d\leq 2$ which satisfy $m_{D^{L}(G) } (2n-1,2n )= α(G)-1=\frac{n}{2}-1$. At the end, we propose some problems of interest.

Adinkras are signed graphs used to study supersymmetry in physics. We provide an introduction to these objects, and study the properties of their signed adjacency and signed Laplacian matrices. These matrices each have exactly two distinct eigenvalues (of equal multiplicity), making Adinkras closely related to the notions of strongly regular graphs. We also study the critical groups of Adinkras, and in particular determine their odd components. A novel technique of independent interest is used which considers critical groups over polynomial rings.

Let $D = (V, E)$ be a strongly connected and balanced digraph with vertex set $V$ and arc set $E.$ The classical distance $d_{ij}^D$ from $i$ to $j$ in $D$ is the length of a shortest directed path from $i$ to $j$ in $D.$ Let $L$ be the Laplacian matrix of $D$ and $ L^{\dagger} = ( l_{ij}^{\dagger} )$ be the Moore-Penrose inverse of $L.$ The resistance distance from $i$ to $j$ is then defined by $r_{ij}^D := l_{ii}^{\dagger } + l_{jj}^{\dagger } - 2 l_{ij}^{\dagger }.$ Let $\{ D_1, D_2, ...., D_k \}$ be a sequence of strongly connected balanced digraphs with $D_i \cap D_j$ having at most one vertex in common for all $i \neq j$ and with $r_{ij}^{D_t} \leq d_{ij}^{D_t} \ \forall \ t = 1 \ \mathrm{to} \ k.$ Let $\mathcal{C}$ be a collection of connected, balanced digraphs, each member of which is a finite union of the form $D_1 \cup D_2 \cup ....\cup D_k$ where each $D_i$ is a connected and balanced digraph with $D_{i} \cap ( D_1 \cup D_2 \cup ....\cup D_{i-1} )$ being a single vertex, for all $i,$ $1 < i \leq k.$ In this paper, we show that for any digraph $D$ in $\mathcal{C}$, $r_{ij}^D \leq d_{ij}^D \ (*)$. This is established by partitioning the Laplacian matrix of $D$. This generalizes the main result in [3]. As a corollary, we deduce a simpler proof of the result in [3], namely, that for any directed cactus $D$, the inequality (*) holds. Our results provide an affirmative answer to a well known interesting conjecture ( cf : Conjecture 1.3 ).