arXiv++ Combinatorics

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 ).

Twin vertices in simple unweighted graphs are vertices that have the same neighbours and, in the case of weighted graphs with possible loops, the corresponding incident edges have equal weights. In this paper, we explore the role of twin vertices in quantum state transfer. In particular, we provide characterizations of periodicity, perfect state transfer, and pretty good state transfer between twin vertices in a weighted graph with respect to its adjacency, Laplacian and signless Laplacian matrices. As an application, we provide characterizations of all simple unweighted double cones on regular graphs that exhibit periodicity, perfect state transfer, and pretty good state transfer.

It has been an open problem to find the Moore-Penrose inverses of the incidence, Laplacian, and signless Laplacian matrices of families of graphs except trees and unicyclic graphs. Since the inverse formulas for an odd unicyclic graph and an even unicyclic graph are quite different, we consider wheel graphs as they are formed from odd or even cycles. In this article solve the open problem for wheel graphs. This work has an interesting connection to inverses of circulant matrices.

Spectral clustering is discussed from many perspectives, by extending it to rectangular arrays and discrepancy minimization too. Near optimal clusters are obtained with singular value decomposition and with the weighted $k$-means algorithm. In case of rectangular arrays, this means enhancing the method of correspondence analysis with clustering, and in case of edge-weighted graphs, a normalized Laplacian based clustering. In the latter case it is proved that a spectral gap between the $(k-1)$th and $k$th smallest positive eigenvalues of the normalized Laplacian matrix gives rise to a sudden decrease of the inner cluster variances when the number of clusters of the vertex representatives is $2^{k-1}$, but only the first $k-1$ eigenvectors, constituting the so-called Fiedler-carpet, are used in the representation. Application to directed migration graphs is also discussed.

Let $G$ be a connected graph with $V(G)=\{1,\dotsc,n\}$. Then the resistance distance between any two vertices $i$ and $j$ is given by $r_{ij}:=l_{ii}^† + l_{jj}^†-2 l_{ij}^†$, where $l_{ij}^†$ is the $(i,j)^{\rm th}$ entry of the Moore-Penrose inverse of the Laplacian matrix of $G$. For the resistance matrix $R:=[r_{ij}]$, there is an elegant formula to compute the inverse of $R$. This says that \[R^{-1}=-\frac{1}{2}L + \frac{1}{τ' R τ} ττ', \] where \[τ:=(τ_1,\dotsc,τ_n)'~~\mbox{and}~~ τ_{i}:=2- \sum_{\{j \in V(G):(i,j) \in E(G)\}} r_{ij}~~~i=1,\dotsc,n. \] A far reaching generalization of this result that gives an inverse formula for a generalized resistance matrix of a strongly connected and matrix weighted balanced directed graph is obtained in this paper. When the weights are scalars, it is shown that the generalized resistance is a non-negative real number. We also obtain a perturbation result involving resistance matrices of connected graphs and Laplacians of digraphs.

For a simple graph $G$, the generalized adjacency matrix $A_α(G)$ is defined as $A_α(G)=αD(G)+(1-α)A(G), α\in [0,1]$, where $A(G)$ is the adjacency matrix and $D(G)$ is the diagonal matrix of vertex degrees of $G$. This matrix generalises the spectral theories of the adjacency matrix and the signless Laplacian matrix of $G$. In this paper, we find $ A_α $-spectrum of the joined union of graphs in terms of spectrum of adjacency matrices of its components and the zeros of the characteristic polynomials of an auxiliary matrix determined by the joined union. We determine the $ A_α$-spectrum of join of two regular graphs, the join of a regular graph with the union of two regular graphs of distinct degrees. As an applications, we investigate the $ A_α $-spectrum of certain power graphs of finite groups.

Let $G$ be a simple connected graph with the vertex set $V(G)$ and $d_{B}^2(u,v)$ be the biharmonic distance between two vertices $u$ and $v$ in $G$. The biharmonic index $BH(G)$ of $G$ is defined as $$BH(G)=\frac{1}{2}\sum\limits_{u\in V(G)}\sum\limits_{v\in V(G)}d_{B}^2(u,v)=n\sum\limits_{i=2}^{n}\frac{1}{λ_i^2(G)},$$ where $λ_i(G)$ is the $i$-th smallest eigenvalue of the Laplacian matrix of $G$ with $n$ vertices. In this paper, we provide the mathematical relationships between the biharmonic index and some classic topological indices: the first Zagreb index, the forgotten topological index and the Kirchhoff index. In addition, the extremal value on the biharmonic index for trees and firefly graphs of fixed order are given. Finally, some graph operations on the biharmonic index are presented.

In this article, we construct bipartite graphs which are cospectral for both the adjacency and normalized Laplacian matrices using partitioned tensor product. This extends the construction of Ji, Gong, and Wang \cite{ji-gong-wang}. Our proof of the cospectrality of adjacency matrices simplifies the proof of the bipartite case of Godsil and McKay's construction \cite{godsil-mckay-1976}, and shows that the corresponding normalized Laplacian matrices are also cospectral. We partially characterize the isomorphism in Godsil and McKay's construction, and generalize Ji et al.'s characterization of the isomorphism to biregular bipartite graphs. The essential idea in characterizing the isomorphism uses Hammack's cancellation law as opposed to Hall's marriage theorem used by Ji et al.

We consider quantum state transfer relative to the Laplacian matrix of a graph. Let $N(u)$ denote the set of all neighbors of a vertex $u$ in a graph $G$. A pair of vertices $u$ and $v$ are called twin vertices of $G$ provided $N(u)\setminus\{v \}=N(v)\setminus\{u \}$. We investigate the existence of quantum state transfer between a pair of twin vertices in a graph when the edge between the vertices is perturbed. We find that removal of any set of pairwise non-adjacent edges from a complete graph with a number of vertices divisible by $4$ results Laplacian perfect state transfer (or LPST) at $\fracπ{2}$ between the end vertices of every edge removed. Further, we show that all Laplacian integral graphs with a pair of twin vertices exhibit LPST when the edge between the vertices is perturbed. In contrast, we conclude that LPST can be achieved in every complete graph between the end vertices of any number of suitably perturbed non-adjacent edges. The results are further generalized to obtain a family of edge perturbed circulant graphs exhibiting Laplacian pretty good state transfer (or LPGST) between twin vertices. A subfamily of which is also identified to admit LPST at $\fracπ{2}$.

We give an elementary, case-free, Coxeter-theoretic derivation of the formula $h^nn!/|W|$ for the number of maximal chains in the noncrossing partition lattice $NC(W)$ of a real reflection group $W$. Our proof proceeds by comparing the Deligne-Reading recursion with a parabolic recursion for the characteristic polynomial of the $W$-Laplacian matrix considered in our previous work. We further discuss the consequences of this formula for the geometric group theory of spherical and affine Artin groups.

We study a new invariant of circular planar electrical networks, well known to phylogeneticists: the circular split system. We use our invariant to answer some open questions about levels of complexity of networks and their related Kalmanson metrics. The key to our analysis is the realization that certain matrices arising from weighted split systems are studied in another guise: the Kron reductions of Laplacian matrices of planar electrical networks. Specifically we show that a response matrix of a circular planar electrical network corresponds to a unique resistance metric obeying the Kalmanson condition, and thus a unique weighted circular split system. Our results allow interchange of methods: phylogenetic reconstruction using theorems about electrical networks, and circuit reconstruction using phylogenetic techniques.

The work in this thesis concerns the investigation of eigenvalues of the Laplacian matrix, normalized Laplacian matrix, signless Laplacian matrix and distance signless Laplacian matrix of graphs. In Chapter 1, we present a brief introduction of spectral graph theory with some definitions. Chapter $2$ deals with the sum of $ k $ largest Laplacian eigenvalues $ S_{k}(G) $ of graph $ G $ and Brouwer's conjecture. We obtain the upper bounds for $ S_{k}(G) $ for some classes of graphs and use them to verify Brouwer's conjecture for these classes of graphs. Also, we prove Brouwer's conjecture for more general classes of graphs. In Chapter $3$, we investigate the Laplacian eigenvalues of graphs and the Laplacian energy conjecture for trees. We prove the Laplacian energy conjecture completely for trees of diameter $ 4 $. Further, we prove this conjecture for all trees having at most $ \frac{9n}{25}-2 $ non-pendent vertices. Also, we obtain the sufficient conditions for the truth of conjecture for trees of order $ n $. In Chapter $4$, we determine the normalized Laplacian spectrum of the joined union of regular graphs and obtain the spectrum of some well known graphs. As consequences of joined union, we obtain the normalized Laplacian spectrum of power graphs associated to finite cyclic groups. In Chapter $5$, we find the distance signless Laplacian spectrum of regular graphs and zero-divisor graphs associated to finite commutative ring. Also, we find the bounds for spectral radius of generalized distance matrix. Further, we obtain the generalized distance energy for bipartite graphs and trees. We prove that the complete bipartite graph has minimum generalized distance energy among all connected bipartite graphs. Besides, for $ α\in \big(0, \frac{2n}{3n-2}\big) $, we show that the star graph has minimum generalized distance energy among all trees.

Discrete Morse theory, a cell complex-analog to smooth Morse theory, has been developed over the past few decades since its original formulation by Robin Forman in 1998. In particular, discrete gradient vector fields on simplicial complexes capture important features of discrete Morse functions. We prove that the characteristic polynomials of the Laplacian matrices of a simplicial complex are generating functions for discrete gradient vector fields of discrete Morse functions when the complex is either a graph or a triangulation of an orientable manifold. Furthermore, we provide a full characterization of the correspondence between rooted forests in higher dimensions and discrete gradient vector fields.

The distance matrix $\mathcal{D}$ of a connected graph $G$ is the matrix indexed by the vertices of $G$ which entry $\mathcal{D}_{i,j}$ equals the distance between the vertices $v_i$ and $v_j$. The distance signless Laplacian matrix $\mathcal{Q}(G)$ of graph $G$ is defined as $\mathcal{Q}(G)=Diag(Tr)+\mathcal{D}(G)$, where $Diag(Tr)$ is the diagonal matrix of the vertex transmissions in $G$. The largest eigenvalue of $\mathcal{Q}(G)$ is called the distance signless Laplacian spectral radius of $G$, written as $η_1(G)$. And a perfect matching in a graph is a set of disadjacent edges covering every vertex of $G$. In this paper, we present two suffcient conditions in terms of the distance signless Laplacian sepectral radius for the exsitence of perfect matchings in graphs and bipatite graphs.