arXiv++ Combinatorics

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.

Motivated by the appearance of embeddings in the theory of chip firing and the critical group of a graph, we introduce a version of the critical group (or sandpile group) for combinatorial maps, that is, for graphs embedded in orientable surfaces. We provide several definitions of our critical group, by approaching it through analogues of the cycle-cocycle matrix, the Laplacian matrix, and as the group of critical states of a chip firing game (or sandpile model) on the edges of a map. Our group can be regarded as a perturbation of the classical critical group of its underlying graph by topological information, and it agrees with the classical critical group in the plane case. Its cardinality is equal to the number of spanning quasi-trees in a connected map, just as the cardinality of the classical critical group is equal to the number of spanning trees of a connected graph. Our approach exploits the properties of principally unimodular matrices and the methods of delta-matroid theory.

We show that for threshold graphs, the eigenvalues of the signless Laplacian matrix interlace with the degrees of the vertices. As an application, we show that the signless Brouwer conjecture holds for threshold graphs, i.e., for threshold graphs the sum of the k largest eigenvalues is bounded by the number of edges plus k + 1 choose 2.

The second largest eigenvalue of a graph is an important algebraic parameter which is related with the expansion, connectivity and randomness properties of a graph. Expanders are highly connected sparse graphs. In coding theory, Expander codes are Error Correcting codes made up of bipartite expander graphs. In this paper, first we prove the interlacing of the eigenvalues of the adjacency matrix of the bipartite graph with the eigenvalues of the bipartite quotient matrices of the corresponding graph matrices. Then we obtain bounds for the second largest and second smallest eigenvalues. Since the graph is bipartite, the results for Laplacian will also hold for Signless Laplacian matrix. We then introduce a new method called vertex-split of a bipartite graph to construct asymptotically good expander codes with expansion factor $\frac{D}{2}<α< D$ and $ε<\frac{1}{2}$ and prove a condition for the vertex-split of a bipartite graph to be $k-$connected with respect to $λ_{2}.$ Further, we prove that the vertex-split of $G$ is a bipartite expander. Finally, we construct an asymptotically good expander code whose factor graph is a graph obtained by the vertex-split of a bipartite graph.

We present parity conditions under which a toy rail network is one-way, i.e., whether a direction can be assigned across the network so that all train journeys are completely consistent with it or completely consistent with its opposite. We show that this problem is equivalent to determining the balance of a signed graph obtained from the network, whose edges are assigned positive or negative signs. Using signed-graph theory, we derive two equivalent parity conditions for one-wayness: (i) every cycle must contain an even number of edges that join the same sides of switches, and (ii) every cycle must contain an even number of angles at switches. Signed-graph theory also offers an analytical criterion: A connected network is one-way if and only if the smallest eigenvalue of its signed Laplacian matrix is zero, suggesting a computational tool for evaluating one-wayness.

The $A_α$-matrix of a graph $G$ is the convex linear combination of the adjacency matrix $A(G)$ and the diagonal matrix of vertex degrees $D(G)$, i.e., $A_α(G) = αD(G) + (1 - α)A(G)$, where $0\leqα\leq1$. The $α$-index of $G$ is the largest eigenvalue of $A_α(G)$. Particularly, the matrix $A_0(G)$ (resp. $2A_{\frac{1}{2}}(G)$) is exactly the adjacency matrix (resp. signless Laplacian matrix) of $G$. He, Li and Feng [arXiv:2301.06008 (2023)] determined the extremal graphs with maximum adjacency spectral radius among all graphs of sufficiently large order without intersecting triangles and quadrangles as a minor, respectively. Motivated by the above results of He, Li and Feng, in this paper we characterize the extremal graphs with maximum $α$-index among all graphs of sufficiently large order without intersecting triangles and quadrangles as a minor for any $0<α<1$, respectively. As by-products, we determine the extremal graphs with maximum signless Laplacian radius among all graphs of sufficiently large order without intersecting triangles and quadrangles as a minor, respectively.

Let $G$ be a bipartite graph on $n$ vertices with the Laplacian matrix $L_G$. When $G$ is a tree, inequalities involving coefficients of immanantal polynomials of $L_G$ are known as we go up $GTS_n$ poset of unlabelled trees with $n$ vertices. We extend $GTS$ operation on a tree to an arbitrary graph, we call it generalized graph shift (hencefourth $GGS$) operation. Using $GGS$ operation, we generalize these known inequalities associated with trees to bipartite graphs. Using vertex orientations of $G$, we give a combinatorial interpretation for each coefficient of the Laplacian immanantal polynomial of $G$ which is used to prove counter parts of Schur theorem and Lieb's conjecture for these coefficients. We define $GGS_n$ poset on $Ω_{C_k}^v(n)$, the set of unlabelled unicyclic graphs with $n$ vertices where each vertex of the cycle $C_k$ has degree $2$ except one vertex $v$. Using $GGS_n$ poset on $Ω_{C_{2k}}^v(n)$, we solves an extreme value problem of finding the max-min pair in $Ω_{C_{2k}}^v(n)$ for each coefficient of the generalized Laplacian polynomials. At the end of this paper, we also discuss the monotonicity of the spectral radius and the Wiener index of an unicyclic graph when we go up along $GGS_n$ poset of $Ω_{C_k}^v(n)$.

Given a graph $G$ on $n$ vertices, its adjacency matrix and degree diagonal matrix are represented by $A(G)$ and $D(G)$, respectively. The $Q$-spectrum of $G$ consists of all the eigenvalues of its signless Laplacian matrix $Q(G)=A(G)+D(G)$ (including the multiplicities). A graph $G$ is known as being determined by its generalized $Q$-spectrum ($DGQS$ for short) if, for any graph $H$, $H$ and $G$ have the same $Q$-spectrum and so do their complements, then $H$ is isomorphic to $G$. In this paper, we present a method to construct $DGQS$ graphs. More specifically, let the matrix $W_{Q}(G)=\left [e,Qe,\dots ,Q^{n-1}e \right ]$ ($e$ denotes the all-one column vector ) be the $Q$-walk matrix of $G$. It is shown that $G\circ P_{k}$ ($k=2,3$) is $DGQS$ if and only if $G$ is $DGQS$ for some specific graphs. This also provides a way to construct $DGQS$ graphs with more vertices by using $DGQS$ graphs with fewer vertices. At the same time, we also prove that $G\circ P_{2}$ is still $DGQS$ under specific circumstances. In particular, on the basis of the above results, we obtain an infinite sequences of $DGQS$ graphs $G\circ P_{k}^{t}$ ($k=2,3;t\ge 1$) for some specific $DGQS$ graph $G$.