arXiv++ Combinatorics

We introduce and study equivariant analytic spectral invariants associated with the Açıkmeşe lift of a graph with self-loops $G_S$. The canonical $\mathbb{Z}_2$-action yields an orthogonal isotypic decomposition of the lifted Laplacian into the anti-symmetric part $\mathcal{L}(G_S)$ and the symmetric part $M_{sym}$, from which we prove that the spectrum of $\mathcal{L}(G_S)$ is exactly the even-indexed spectrum of the lifted Laplacian. We express twisted moments of these blocks as traces of the generalised twisted moment operator against the corresponding $\mathbb{Z}_2$-projections, and obtain a tight upper bound under certain restriction with a characterization of the equality case. We introduce the equivariant heat character and establish a trace-norm stability estimate. For the matrix element of the resolvent $(pI+\mathcal{L}(G_S))^{-1}$ associated with the loop vector, we derive a Laplace-transform identity for the equivariant heat character, a determinant formula, a spectral representation, and a Laurent expansion. We further characterize the case where $S$ is a union of connected components through resolvent and equivariant heat-character identities, and obtain explicit equivariant heat characters for joins of full-loop graphs and the line graph of a full-loop connected regular graph. Finally, we introduce the regularized equivariant heat integral and derive spectral and trace formulas for it.

Steinerberger curvature encodes the global distance geometry of a graph through an equilibrium measure. In this paper, we derive explicit curvature formulas for undirected Cayley graphs of dihedral groups $D_n$ and generalized quaternion groups $Q_{4m}$. We then extend Steinerberger curvature to strongly connected simple digraphs by introducing in-curvature and out-curvature, reflecting the asymmetry of directed distances. For these directed curvatures, we establish structural properties, including negativity criteria and a permutation relation between in- and out-curvature. Our main results are directed analogues of the Bonnet--Myers, Cheng and Lichnerowicz theorems, together with reverse Bonnet--Myers inequalities for directed diameter and out-radius, and an upper bound for in-radius in terms of total curvature.

In this paper, we study the Lin--Lu--Yau Ricci curvature of strongly connected locally finite digraphs through an explicit optimal-coupling construction. For an arc of a digraph, we derive a computable curvature formula by constructing a coupling between the probability measures at its tail and head, and by proving its optimality using a suitable $1$-Lipschitz function. The formula is not only effective for direct computation, but also unifies several known results: in particular, it recovers the Lin--Lu--Yau Ricci curvature formula for Cayley graphs of Right-Angled Artin--Coxeter Hybrid groups as a special case and gives shorter proofs of curvature results arising from matching-type conditions. We then characterize arcs with zero Ricci curvature through perfect distance matching and perfect distance partitions. We further prove that, under suitable assumptions, such arc curvature in directed Cayley graphs increases when an inverse generator or a new generator is added to the generating set. As applications, we compute the curvature of directed Cayley graphs of dihedral groups and generalized quaternion groups, including $Γ(D_n,\{a,b\})$, $Γ(Q_{4m},\{a,b\})$, $Γ(Q_{4m},\{a,a^{-1},b\})$ and $Γ(Q_{4m},\{a,b,b^{-1}\})$. Finally, we provide an algorithm for computing the Lin--Lu--Yau Ricci curvature of Cayley graphs of finitely generated groups with prescribed generating sets, together with complete curvature tables for several important families of finite groups.

Let $G_S$ be a self-loop graph as the graph obtained by attaching a self-loop at every vertex in $S \subseteq V(G)$ of a simple graph $G.$ If $G=C_n$ is the cycle graphs of order $n$ and $S \neq \emptyset,$ we show that there are no rank 3 self-loop graphs $(C_n)_S$ for $n\geq 5.$ As a consequence, we determine and construct all possible rank 3 triangle-free self-loop cyclic graph of order at least 4 from $(C_4)_S$ via graph join operations. This provides a partial solution to the characterization problem of rank 3 self-loop graphs.

Let $G_S$ be a graph with loops attached at each vertex in $S \subseteq V(G).$ In this article, we develop exact formulae for the number of closed $3$- and $4$-walks on $G_S$ in terms of vertex degrees and certain elementary subgraphs of $G_S.$ We then derive the specific closed walks formulae for several graph families such as complete bipartite self-loop graphs, complete graphs, cycle graphs, etc. We demonstrate that such invariants are non-trivial in $G_S,$ which otherwise may be trivial in the loopless case. Moreover, we study a moment-like quantity $\mathcal{M}_q(G_S)=\sum^n_{i=1} |λ_i(G_S) - \fracσ{n}|^q,$ twisted by the spectral moment $\mathsf{M}_1(G_S)$ for $G_S,$ and show a positivity result. We also establish that the following ratio inequality holds: \[ \frac{\mathcal{M}_{1}}{\mathcal{M}_{0}} \leq \frac{\mathcal{M}_{2}}{\mathcal{M}_{1}} \leq \frac{\mathcal{M}_{3}}{\mathcal{M}_{2}} \leq \frac{\mathcal{M}_{4}}{\mathcal{M}_{3}} \leq \cdots \leq \frac{\mathcal{M}_{n}}{\mathcal{M}_{n-1}} \leq \cdots. \] As a consequence, we obtain lower bounds for the self-loop graph energy $\mathcal{E}(G_S)$ in terms of $\mathcal{M}_i,$ extending some classical bounds.

A digraph with self-loops $D_S$ with vertex set $\mathcal{V}$ is a simple digraph with a self-loop attached at every vertex in $S \subset \mathcal{V}.$ In this paper, we study the energy $E(D_S)$ of $D_S$ and its properties, which extend several classical results on simple directed graphs. If $D_1,...,D_k$ are the strong components of $D_S,$ we establish a necessary and sufficient conditions for $E(D_S) \leq \sum^k_{i=1} E(D_i),$ for which the strict inequality exists for $S\neq \emptyset.$ We also provide several bounds and characterizations for the energy and spectral radius of $D_S,$ including the McClelland type bound. Lastly, we propose a notion of the complement of $D_S$ and establish some formulae describing the relationship between the energy and spectrum of regular digraphs with their complement.

Let $G_S$ be the graph obtained by attaching a self-loop at every vertex in $S \subseteq V(G)$ of a simple graph $G$ of order $n.$ In this paper, we explore several new results related to the line graph $L(G_S)$ of $G_S.$ Particularly, we show that every eigenvalue of $L(G_S)$ must be at least $-2,$ and relate the characteristic polynomial of the line graph $L(G)$ of $G$ with the characteristic polynomial of the line graph $L(\widehat{G})$ of a self-loop graph $\widehat{G}$, which is obtained by attaching a self-loop at each vertex of $G$. Then, we provide some new bounds for the eigenvalues and energy of $G_S.$ As one of the consequences, we obtain that the energy of a connected regular complete multipartite graph is not greater than the energy of the corresponding self-loop graph. Lastly, we establish a lower bound of the spectral radius in terms of the first Zagreb index $M_1(G)$ and the minimum degree $δ(G),$ as well as proving two Nordhaus-Gaddum-type bounds for the spectral radius and the energy of $G_S,$ respectively.

Let $G_S$ be a graph with loops obtained from a graph $G$ of order $n$ and loops at $S \subseteq V(G)$. In this paper, we establish a neccesary and sufficient condition on the bipartititeness of a connected graph $G$ and the spectrum Spec($G_S$) and Spec($G_{V(G)\backslash S}$). We also prove that for every $S \subseteq V(G)$, $E(G_S) \geq E(G)$ when $G$ is bipartite. Moreover, we provide an identification of the spectrum of complete graphs $K_n$ and complete bipartite graphs $K_{m,n}$ with loops. We characterize any graphs with loops of order n whose eigenvalues are all positive or non-negative, and also any graphs with a few distinct eigenvalues. Finally, we provide some bounds related to $G_S$.