arXiv++ Combinatorics

For a graph $G=(V,E)$, assigning each edge $e\in E$ a weight of a dual number $w(e)=1+\widehat{a}_{e}\varepsilon$, the weighted graph $G^{w}=(V,E,w)$ is called a dual number weighted graph, where $-\widehat{a}_{e}$ can be regarded as the perturbation of the unit resistor on edge $e$ of $G$. For a connected dual number weighted graph $G^{w}$, we give some expressions and block representations of generalized inverses of the Laplacian matrix of $G^{w}$. And using these results, we derive the explicit formulas of the resistance distance and Kirchhoff index of $G^{w}$. We give the perturbation bounds for the resistance distance and Kirchhoff index of $G$. In particular, when only the edge $e=\{i,j\}$ of $G$ is perturbed, we give the perturbation bounds for the Kirchhoff index and resistance distance between vertices $i$ and $j$ of $G$, respectively.

Let $M=(m_{ij})$ be an $n\times n$ matrix. The second immanant of matrix $M$ is defined by \begin{eqnarray*} d_{2}(M)=\sum_{σ\in S_{n}}χ_{2}(σ)\prod_{s=1}^{n}m_{sσ(s)}, \end{eqnarray*} where $χ_{2}$ is the irreducible character of $S_{n}$ corresponding to the partition $(2^{1},1^{n-2})$. The polynomial $d_{2}(xI-M)$ is called the second immanantal polynomial of matrix $M$. Denote by $D(G)$ (resp. $D(\overrightarrow{G})$) and $A(G)$ (resp. $A(\overrightarrow{G})$) the diagonal matrix of vertex degrees and the adjacency matrix of undirected graph $G$ (resp. digraph $\overrightarrow{G}$), respectively. In this article, we prove that $d_{2}(xI-A(G))$ (resp. $d_{2}(xI-A(\overrightarrow{G}))$) can be reconstructed from the second immanantal polynomials of the adjacency matrix of all subgraphs in $\{G-uv,G-u-v|uv\in E(G)\}$ (resp. $\{\overrightarrow{G}-e|e\in E(\overrightarrow{G})\}$). Furthermore, the polynomial $d_{2}(xI-D(\overrightarrow{G})\pm A(\overrightarrow{G}))$ can also be reconstructed by the second immanantal polynomials of the (signless) Laplacian matrixs of all subgraphs in $\{\overrightarrow{G}-e|e\in E(\overrightarrow{G})\}$, respectively.

Pure states correspond to one-dimensional subspaces of $\mathbb{C}^n$ represented by unit vectors. In this paper, we develop the theory of perfect state transfer (PST) between real pure states with emphasis on the adjacency and Laplacian matrices as Hamiltonians of a graph representing a quantum spin network. We characterize PST between real pure states based on the spectral information of a graph and prove three fundamental results: (i) every periodic real pure state $\mathbf{x}$ admits perfect state transfer with another real pure state $\mathbf{y}$, (ii) every connected graph admits perfect state transfer between real pure states, and (iii) for any pair of real pure states $\mathbf{x}$ and $\mathbf{y}$ and for any time $τ$, there exists a real symmetric matrix $M$ such that $\mathbf{x}$ and $\mathbf{y}$ admits perfect state transfer relative to $M$ at time $τ$. We also determine all real pure states that admit PST in complete graphs, complete bipartite graphs, paths, and cycles. This leads to a complete characterization of pair and plus state transfer in paths and complete bipartite graphs. We give constructions of graphs that admit PST between real pure states. Finally, using results on the spread of graphs, we prove that amongst all $n$-vertex simple unweighted graphs, the least minimum PST time between real pure states relative to the Laplacian is attained by any join graph, while the it is attained by the join of an empty graph and a complete graph of appropriate sizes relative to the adjacency matrix.

Let $D(G)$ denote the distance matrix of a connected graph $G$ with $n$ vertices. The distance spectral gap of a graph $G$ is defined as $δ_{D^G} = ρ_1 - ρ_2$, where $ρ_1$ and $ρ_2$ represent the largest and second largest eigenvalues of $D(G)$, respectively. For a $k$-transmission regular graph $G$, the second smallest eigenvalue of the distance Laplacian matrix equals the distance spectral gap of $G$. In this article, we obtain some upper and lower bounds for the distance spectral gap of a graph in terms of the sum of squares of its distance eigenvalues. Additionally, we provide some bounds for the distance eigenvalues and distance energy of graphs. Furthermore, we construct new families of non $D$-cospectral $D$-equienergetic graphs with diameters of $3$ and $4$.

Matrix extension of a scalar function of a single variable is well-studied in literature. Of particular interest is the trace of such functions. It is known that for diagonalizable matrices, $M$, the function $g(M) = \text{Tr}(f(M)) = \sum_{j=1}^n f(μ_j)$ (where $\{μ_j\}_{j=1,2,\cdots,n}$ are the eigenvalues of $M$) inherits the monotonocity and convexity properties of $f$ (i.e., for $g$ to be convex, $f$ need not be operator convex -- convexity is sufficient). In this paper we formalize the idea of matrix extension of a function of multiple variables, study the monotonicity and convexity properties of the trace, and thus show that a function of form $g(M) = \sum_{j_1=1}^n \sum_{j_2=1}^n \cdots \sum_{j_m=1}^n f(μ_{j_1}, μ_{j_2},\cdots, μ_{j_m})$ also inherits the monotonocity and convexity properties of the multi-variable function, $f$. We apply these results to functions of the spectrum of the weighted Laplacian matrix of undirected, simple graphs.

Let $G$ be a group. A group is said to be $k$-generated if it can be generated by its $k$ elements. A generating set of $G$ is called a minimal generating set if no proper subset of it generates $G.$ A minimal generating set of a group can have different sizes. The generating graph $Γ(G)$ of a group $G$ is defined as a graph with the vertex set $G$, where two distinct vertices are adjacent if they together generate $G.$ This graph is particularly useful when studying 2-generated groups. In this context, consider the group $G = \mathbb{Z}_n$, the integers modulo $n.$ In this paper, we explore various graph-theoretic properties of the generating graph $Γ(\mathbb{Z}_n)$ and investigate the spectra of its adjacency and Laplacian matrices. Additionally, we explicitly determine the set of all possible minimal generating sets of $\mathbb{Z}_n$ of size $k.$

In 2017, Nikiforov introduced the concept of the $A_α$-matrix, as a linear convex combination of the adjacency matrix and the degree diagonal matrix of a graph. This matrix has attracted increasing attention in recent years, as it serves as a unifying structure that combines the adjacency matrix and the signless Laplacian matrix. In this paper, we present some bounds for the largest and smallest eigenvalue of $A_α$-matrix involving invariants associated to graphs.

Given a graph $G$, the Laplacian matrix of $G$, $L(G)$ is the difference of the adjacency matrix $A(G)$ and $\text{Deg}(G)$, where $\text{Deg}(G)$ is the diagonal matrix of vertex degrees. The distance Laplacian matrix $D^L({G})$ is the difference of the transmission matrix of $G$ and the distance matrix of $G$. In the given paper, we first obtain the Laplacian and distance Laplacian spectrum of generalized fan graphs. We then introduce a new graph class which is denoted by $\mathcal{NC}(F_{m,n})$. Finally, we determine the Laplacian spectrum and the distance Laplacian spectrum of $\mathcal{NC}(F_{m,n})$.

Let $Q(G)=D(G)+A(G)$ be the signless Laplacian matrix of a simple graph $G$, where $D(G)$ and $A(G)$ are the degree diagonal matrix and the adjacency matrix of $G$, respectively. The largest eigenvalue of $Q(G)$, denoted by $q(G)$, is called the signless Laplacian spectral radius of $G$. Let $θ(l_{1},l_{2},l_{3})$ denote the theta graph which consists of two vertices connected by three internally disjoint paths with length $l_{1}$, $l_{2}$ and $l_{3}$. Let $F_{n}$ be the friendship graph consisting of $\frac{n-1}{2}$ triangles which intersect in exactly one common vertex for odd $n\geq3$ and obtained by hanging an edge to the center of $F_{n-1}$ for even $n\geq4$. Let $S_{n,k}$ denote the graph obtained by joining each vertex of $K_{k}$ to $n-k$ isolated vertices. Let $S_{n,k}^{+}$ denote the graph obtained by adding an edge to the two isolated vertices of $S_{n,k}$. In this paper, firstly, we show that if $G$ is $θ(1,2,2)$-free, then $q(G)\leq q(F_{n})$, unless $G\cong F_{n}$. Secondly, we show that if $G$ is $θ(1,2,3)$-free, then $q(G)\leq q(S_{n,2})$, unless $G\cong S_{n,2}$. Finally, we show that if $G$ is $\{θ(1,2,2),F_{5}\}$-free, then $q(G)\leq q(S_{n,1}^{+})$, unless $G\cong S_{n,1}^{+}$.

Let $G$ be a graph and $T$ be a spanning tree of $G$. We use $Q(G)=D(G)+A(G)$ to denote the signless Laplacian matrix of $G$, where $D(G)$ is the diagonal degree matrix of $G$ and $A(G)$ is the adjacency matrix of $G$. The signless Laplacian spectral radius of $G$ is denoted by $q(G)$. A necessary and sufficient condition for a connected bipartite graph $G$ with bipartition $(A,B)$ to have a spanning tree $T$ with $d_T(v)\geq k$ for any $v\in A$ was independently obtained by Frank and Gyárfás (A. Frank, E. Gyárfás, How to orient the edges of a graph?, Colloq. Math. Soc. Janos Bolyai 18 (1976) 353--364), Kaneko and Yoshimoto (A. Kaneko, K. Yoshimoto, On spanning trees with restricted degrees, Inform. Process. Lett. 73 (2000) 163--165). Based on the above result, we establish a lower bound on the signless Laplacian spectral radius $q(G)$ of a connected bipartite graph $G$ with bipartition $(A,B)$, in which the bound guarantees that $G$ has a spanning tree $T$ with $d_T(v)\geq k$ for any $v\in A$.

The $Q$-index of graph $G$ is the largest eigenvalue of the signless Laplacian matrix of $G$. Wang [Discrete Appl. Math. 356(2024)] proved the sharp upper bounds on the $Q$-index of leaf-free graphs with given size and characterized the corresponding extremal graphs. A graph is $2$ leaves-free if it has no two pendent vertices. In this paper, we give sharp upper bounds on the $Q$-index of 2 leaves-free graphs with given size and characterize the corresponding extremal graphs.

The properties of a hypergraph explored through the spectrum of its unified matrix was made by the authors in [26]. In this paper, we introduce three different hypergraph matrices: unified Laplacian matrix, unified signless Laplacian matrix, and unified normalized Laplacian matrix, all defined using the unified matrix. We show that these three matrices of a hypergraph are respectively identical to the Laplacian matrix, signless Laplacian matrix, and normalized Laplacian matrix of the associated graph. This allows us to use the spectra of these hypergraph matrices as a means to connect the structural properties of the hypergraph with those of the associated graph. Additionally, we introduce certain hypergraph structures and invariants during this process, and relate them to the eigenvalues of these three matrices.

For a given graph $G$, we aim to determine the possible realizable spectra for a generalized (or sometimes referred to as a weighted) Laplacian matrix associated with $G$. This new specialized inverse eigenvalue problem is considered for certain families of graphs and graphs on a small number of vertices. Related considerations include studying the possible ordered multiplicity lists associated with stars and complete graphs and graphs with a few vertices. Finally, we present a novel investigation, both theoretically and numerically, the minimum variance over a family of generalized Laplacian matrices with a size-normalized weighting.

As a bridge connecting the matching polynomial and the Laplacian matching polynomial of graphs, the subdivision method is expected to be useful for investigating the Laplacian matching polynomial. In this paper, we study applications of the method from three aspects. We prove that the zero sequence of the Laplacian matching polynomial of a graph majorizes its degree sequence, establishing a dual relation between the Laplacian matching polynomial and the characteristic polynomial of the signless Laplacian matrix of graphs. In addition, from different viewpoints, we give a new combinatorial interpretations for the coefficients of the Laplacian matching polynomial.

The spectrum of Laplacian and signless Laplacian matrix for a graph product is obtained, where both underlying graphs are regular. As an application of this, we have been able to generate the Kirchhoff Index and Wiener Index and determine the number of spanning trees. Additionally, we derived the conditions necessary for obtaining a Laplacian and signless Laplacian integral product graph.

Given a graph and one of its weighted Laplacian matrix, a Fiedler vector is an eigenvector with respect to the second smallest eigenvalue. The Fiedler vectors have been used widely for graph partitioning, graph drawing, spectral clustering, and finding the characteristic set. This paper studies how the graph structure can control the possible Fiedler vectors for different weighted Laplacian matrices. For a given tree, we characterize all possible Fiedler vectors among its weighted Laplacian matrix. As an application, the characteristic set can be anywhere on a tree, except for the set containing a single leaf. For a given cycle, we characterize all possible eigenvectors corresponding to the second or the third smallest eigenvalue.

Let $G=(V,E)$ be a graph on $n$ vertices, and let $λ_1(L(G))\ge \cdots\ge λ_{n-1}(L(G))\ge λ_n(L(G))=0$ be the eigenvalues of its Laplacian matrix $L(G)$. Brouwer conjectured that for every $1\le k\le n$, $\sum_{i=1}^k λ_i(L(G)) \le |E|+\binom{k+1}{2}$. Here, we prove the following weak version of Brouwer's conjecture: For every $1\leq k \leq n$, \[ \sum_{i=1}^k λ_i(L(G)) \leq |E|+k^2+15k\log{k}+65k. \] For a graph $G=(V,E)$, we define its partition density $\tildeρ(G)$ as the maximum, over all subgraphs $H$ of $G$, of the ratio between the number of edges of $H$ and the number of vertices in the largest connected component of $H$. Our argument relies on the study of the structure of the graphs $G$ satisfying $\tildeρ(G)< k$. In particular, using a result of Alon, McDiarmid and Reed, we show that every such graph can be decomposed into at most $k+ 15\log{k}+65$ edge-disjoint star forests (that is, forests whose connected components are all isomorphic to stars). In addition, we show that for every graph $G=(V,E)$ and every $1\le k\le |V|$, \[ \sum_{i=1}^k λ_i(L(G)) \leq |E|+k\cdot ν(G) + \left\lfloor\frac{k}{2}\right\rfloor, \] where $ν(G)$ is the maximum size of a matching in $G$.

We study adjacency and Laplacian matrices of Erdős-Rényi $r$-uniform hypergraphs on $n$ vertices with hyperedge inclusion probability $p$, in the setting where $r$ can vary with $n$ such that $r / n \to c \in [0, 1)$. Adjacency matrices of hypergraphs are contractions of adjacency tensors and their entries exhibit long range correlations. We show that under the Erdős-Rényi model, the expected empirical spectral distribution of an appropriately normalised hypergraph adjacency matrix converges weakly to the semi-circle law with variance $(1 - c)^2$ as long as $\frac{d_{\avg}}{r^7} \to \infty$, where $d_{\avg} = \binom{n-1}{r-1} p$. In contrast with the Erdős-Rényi random graph ($r = 2$), two eigenvalues stick out of the bulk of the spectrum. When $r$ is fixed and $d_{\avg} \gg n^{r - 2} \log^4 n$, we uncover an interesting Baik-Ben Arous-Péché (BBP) phase transition at the value $r = 3$. For $r \in \{2, 3\}$, an appropriately scaled largest (resp. smallest) eigenvalue converges in probability to $2$ (resp. $-2$), the right (resp. left) end point of the support of the standard semi-circle law, and when $r \ge 4$, it converges to $\sqrt{r - 2} + \frac{1}{\sqrt{r - 2}}$ (resp. $-\sqrt{r - 2} - \frac{1}{\sqrt{r - 2}}$). Further, in a Gaussian version of the model we show that an appropriately scaled largest (resp. smallest) eigenvalue converges in distribution to $\frac{c}{2} ζ+ \big[\frac{c^2}{4}ζ^2 + c(1 - c)\big]^{1/2}$ (resp. $\frac{c}{2} ζ- \big[\frac{c^2}{4}ζ^2 + c(1 - c)\big]^{1/2}$), where $ζ$ is a standard Gaussian. We also establish analogous results for the bulk and edge eigenvalues of the associated Laplacian matrices.

Understanding efficient modifications to improve network functionality is a fundamental problem of scientific and industrial interest. We study the response of network dynamics against link modifications on a weakly connected directed graph consisting of two strongly connected components: an undirected star and an undirected cycle. We assume that there are directed edges starting from the cycle and ending at the star (master-slave formalism). We modify the graph by adding directed edges of arbitrarily large weights starting from the star and ending at the cycle (opposite direction of the cutset). We provide criteria (based on the sizes of the star and cycle, the coupling structure, and the weights of cutset and modification edges) that determine how the modification affects the spectral gap of the Laplacian matrix. We apply our approach to understand the modifications that either enhance or hinder synchronization in networks of chaotic Lorenz systems as well as Rössler. Our results show that the hindrance of collective dynamics due to link additions is not atypical as previously anticipated by modification analysis and thus allows for better control of collective properties.

In this paper, we propose a network whose nodes are labeled by the composite numbers and two nodes are connected by an undirected link if they are relatively prime to each other. As the size of the network increases, the network will be connected whenever the largest possible node index $n\geq 49$. To investigate how the nodes are connected, we analytically describe that the link density saturates to $6/π^2$, whereas the average degree increases linearly with slope $6/π^2$ with the size of the network. To investigate how the neighbors of the nodes are connected to each other, we find the shortest path length will be at most 3 for $49\leq n\leq 288$ and it is at most 2 for $n\geq 289$. We also derive an analytic expression for the local clustering coefficients of the nodes, which quantifies how close the neighbors of a node to form a triangle. We also provide an expression for the number of $r$-length labeled cycles, which indicates the existence of a cycle of length at most $O(\log n)$. Finally, we show that this graph sequence is actually a sequence of weakly pseudo-random graphs. We numerically verify our observed analytical results. As a possible application, we have observed less synchronizability (the ratio of the largest and smallest positive eigenvalue of the Laplacian matrix is high) as compared to Erdős-Rényi random network and Barabási-Albert network. This unusual observation is consistent with the prolonged transient behaviors of ecological and predator-prey networks which can easily avoid the global synchronization.