In this paper, we study the effective resistance, the Kirchhoff index, and the number of spanning trees of the connected graph $K_n-F$, which is obtained from the complete graph by deleting a set $F$ of $p$ edges. Let $B$ be the incidence matrix of the deleted edges. We call the matrix $Q=B^TB$ the edge-defect matrix. This is a $p\times p$ matrix which records, with signs, the way in which the deleted edges share their end vertices. First, we derive a formula for the effective resistance between any two distinct vertices in terms of the resolvent of the edge-defect matrix. This reduces the usual computation using the $n\times n$ Laplacian matrix to a computation using a $p\times p$ matrix corresponding to the number of deleted edges. Moreover, by using the eigenvalues of the same matrix, we give unified formulas for the Kirchhoff index and the number of spanning trees. Next, we derive a stability identity which exactly describes the excess from the Xu, Das, and Zhang type lower bound. As a consequence, we show that, in the range where a matching deletion can be realized, the Kirchhoff index is minimized when the deleted edge set is a matching. Furthermore, by using majorization, we prove that, for $p\ge 2$ and $n\ge \max\{4,2p-1\}$, among all non-matching deleted edge sets, the minimum is attained only when the deletion graph is isomorphic to $P_3\cup(p-2)K_2$. Finally, we apply the obtained formulas to several deletion graphs, such as matchings, stars, cliques, paths, and cycles.
The Watts-Strogatz random graph model on $n$ vertices with parameters $K$ (a positive even integer) and $p \in [0, 1]$ is constructed in two steps. First, one starts with a ring lattice on $n$ vertices, where each vertex is connected to its $K/2$ nearest neighbors on each side. Each edge in turn is then independently rewired with probability $p$ by replacing one endpoint with a uniformly chosen vertex not already adjacent to it. We study the empirical eigenvalue distribution of the adjacency matrix for this model, whose entries are highly dependent due to the rewiring construction. In the regime where both $K$ and $pK$ grow to infinity with the vertex size $n$, we show that, after appropriate scaling, the empirical eigenvalue distribution converges to the semicircle law. The proof is based on a novel coupling argument that approximates the adjacency matrix by a sum of two independent random matrices, one a sparse Wigner matrix and the other a random band matrix. In the case where $K$ and $p$ remain fixed, we propose conjectural formulas for the first five moments of the limiting eigenvalue distribution. These conjectures are supported by a convergence result relating the Watts-Strogatz model to another random graph model, together with numerical simulations.
A threshold graph is generated from a single node by repeatedly adding either a node $i$ connected to all existing nodes with a common link weight $w_i >0 $ or a node $i$ connected to none. Let $ G_w $ be a weighted threshold graph encoded by the weight vector $ w = (w_1, w_2, \ldots, w_N) $ with $w_i \geq 0$. A closed-form expression for the pseudoinverse of its Laplacian matrix $Q_w$ is derived via spectral decomposition, which yields an explicit formula for the effective resistance matrix $ \Omega_w $. We present a detailed structural characterization of the matrix $\Omega_w$ and determine a subset of the spectrum of the matrix $ \Omega_w $ in terms of the weights $w_i$. As an application, we show that when the missing links of a threshold graph are sequentially added in nondecreasing order of effective resistance, the threshold property of the graph is preserved at each step until the complete graph of the same size is obtained.
Yingyue Ke, P. van Mieghem· The Electronic Journal of Li...· 0 citations
For a graph $G$, let $s^+(G)$ and $s^-(G)$ denote the sums of the squares of its positive and negative adjacency eigenvalues. We determine all equality cases in the conjecture of Elphick, Farber, Goldberg, and Wocjan that every connected graph $G$ on $n$ vertices satisfies \[ \min \{s^+(G),s^-(G)\}\ge n-1. \] Namely, equality for $s^+$ holds exactly for trees, whereas equality for $s^-$ holds exactly for trees and complete graphs. The proof combines the $P_3$-removal lemma in the no-cut-vertex case with a detailed equality analysis of the underlying doubly nonnegative matrix inequality. Every block is forced to be complete, and a minimal-counterexample argument gives an exact rank-one decomposition of the folded matrix $M^c$. The resulting non-edge vanishings, together with $AX=XA$, rule out an interface between a bridge and a nontrivial block.
A finite connected graph is rarely a Cayley graph. We measure how far it is from being one: given $G$ with $n$ vertices and $m$ edges, how few edges must be added, or added and deleted, before the result is a Cayley graph of an abelian group of order $n$ on the same vertex set? This defines two invariants, the completion number $\gamma^{+}$ (additions only) and the Cayley edit distance $\gamma_{\triangle}$ (both), each normalized by $m$. We show that deciding the edit version is NP-complete already for a fixed cyclic host, by a reduction from Hamiltonian Cycle in which the edit cost of a labeling is $n+m-2k$ when it realizes a longest path with $k$ edges; the optimal cost is $m-n+2pp(G)$, bounded in polynomial time by the matching number. We prove that irregularity alone forces $\gamma^{+}(G)\ge n\Delta^{*}/(2m)-1$, where $\Delta^{*}$ is the least $d\ge\Delta$ with $nd$ even, computable in linear time from the degree sequence; we characterize equality exactly. It is attained on the star, where $\gamma^{+}(K_{1,q})=(q-1)/2$ and the star maximizes $\gamma^{+}$, while $\gamma_{\triangle}$ stays bounded by an absolute constant. We determine paths and grids exactly, $\gamma^{+}(P_n)=\gamma^{+}(P_n\,\square\,P_n)=1/(n-1)$, and show $\gamma_{\triangle}(K_{1,q})\to 2$, not the $3/2$ suggested by the additive case. We report an exhaustive certified census of all $995$ connected graphs on at most seven vertices. The degree bound is attained on $89.4\%$ and the two invariants separate strictly on $84.7\%$, though both rates vary sharply with order: attainment $100\%,100\%,84.8\%,89.7\%$ and separation $0\%,61.9\%,73.2\%,87.7\%$ for $n=4,5,6,7$, dominated by the $853$ graphs on seven vertices. The star uniquely maximizes both. Edit count and the bi-Lipschitz distortion of the completed host are independent, moving oppositely on stars and paths.Data and certificates at doi:10.5281/zenodo.21852006.
Let $\Gamma=(G,\sigma)$ be a signed graph, where $G$ is the underlying graph with vertex set $V(G)$ and edge set $E(G)$ such that $\sigma: E(G)\to \{-1,1\}$ is the sign function. For $U\subset V(G)$, the operation that changes the sign of all edges between $U$ and $V(G)\setminus U$ is called switching. Two signed graphs with the same underlying graph are switching equivalent if one is obtainable from the other one by switching a subset. Two signed graphs are switching isomorphic if one is isomorphic to a switching equivalent signed graph of the other one. A signed cycle is called negative if it contains an odd number of negative edges. A signed graph is balanced if none of its cycles is negative; otherwise it is unbalanced. The adjacency matrix $A(\Gamma)$ of $\Gamma$ is obtained from the standard $(0,1)$-adjacency matrix of $G$ by reversing the sign of all $1$s which correspond to negative edges. The index of $\Gamma$ is the largest eigenvalue of $A(\Gamma)$ and the spectral radius of $\Gamma$ is the largest absolute value of the eigenvalue of $A(\Gamma)$. The least eigenvalue of $\Gamma$ is the least eigenvalue of $A(\Gamma)$. We study the extremal problems of the index and the spectral radius among unbalanced signed multipartite graphs. More precisely, we determine the unbalanced signed $t$-partite graphs with fixed $t\ge 2$ and partite sizes (order, respectively) that maximizes the index and the spectral radius respectively, up to switching isomorphism. To determine the unbalanced signed multipartite graphs with fixed partite sizes (order, respectively) with maximum spectral radius, we also determine those with minimum least eigenvalue.
Shelburne and van Willigenburg (arXiv:2604.26158) characterize the Schur-positive complete multipartite graphs and leave open whether the graphs~$G=K_{(3,\,2^\beta)}$ are $e$-positive. We resolve this question and, together with their classification, characterize all $e$-positive complete multipartite graphs. Our main result is an explicit, manifestly nonnegative $e$-expansion of~$X_G$ whose coefficients are expressed in terms of the restricted-injection numbers. Our main idea is to derive a marker-variable coefficient-extraction formula for the $e$-coefficients of arbitrary complete multipartite graphs from the elementary--monomial Cauchy identity. For the particular graph~$G$, this formula reduces the proof to three coefficient families, which we evaluate using Dickson polynomials and recurrences for these numbers.
Ariel Y. Sun, David G. L. Wang, Watson Z. Y. Wang· 0 citations
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.
