arXiv++ Combinatorics

Let $G$ be a connected graph with vertex set $V(G)=\{v_1,v_2,\ldots,v_n\}$, and let $ω:V(G)\to \mathbb R^+$ be a positive vertex-weight function satisfying $ω(v_i)=x_i$ for each $v_i \in V(G)$. The weighted Kirchhoff index of $G$ is defined by $K(G;x_1,x_2,\ldots,x_n)=\sum_{1\le i<j\le n}x_i x_j r_G(v_i,v_j)$, where $r_G(v_i,v_j)$ denotes the resistance distance between $v_i$ and $v_j$. In this paper, we give a combinatorial interpretation of the weighted Kirchhoff index of an arbitrary connected graph. More precisely, we express $K(G;x_1,x_2,\ldots,x_n)$ in terms of the sums of weights of matchings in an appropriately weighted subdivision graph of $G$, and in the subgraphs obtained from this weighted subdivision graph by deleting the subdivision graphs corresponding to \(2\)-regular subgraphs of $G$. This gives an affirmative answer to a question posed by Li, Li and Yan [Discrete Math. 345 (2022) 113109] concerning a combinatorial explanation of the weighted Kirchhoff index of a general graph by using matchings in weighted subdivision graphs and their subgraphs. As special cases, our formula recovers the known formulas for the weighted Kirchhoff index of trees and unicyclic graphs, as well as the known formula for the ordinary Kirchhoff index of an arbitrary connected graph.

Resistance curvature, introduced by Devriendt and Lambiotte, is a novel discrete curvature notion defined through effective resistance. A graph is called resistance nonnegative if there exists a choice of positive edge weights for which the resistance curvature is nonnegative at every vertex. This property has a notable combinatorial interpretation in terms of random spanning trees: a graph is resistance nonnegative if and only if it admits a distribution on its spanning trees under which every vertex has expected degree at most two. The resistance nonnegativity can also be characterized by the tree double matching polytope. These characterizations reveal strong connections among resistance curvature, effective resistance, spanning tree distributions, matching theory, and polyhedral combinatorics. Based on the sign of the curvature, Devriendt introduced the classes of resistance nonnegative (RN), resistance positive (RP), and strictly resistance nonnegative (SRN) graphs, and posed several questions concerning their recognition, polyhedral structure, and structural properties. In this paper, we first answer Devriendt's question on the computational complexity of recognizing RN, RP, and SRN graphs by proving that all three classes can be recognized in polynomial time. We then address his question concerning the tree double matching polytope $Θ(G)$. Further, we characterize the vertices of $Θ(G)$ in terms of full-rank systems of tight constraints. Whenever $Θ(G)\neq\emptyset$, we also determine the least positive integer $k_G$ such that $k_GΘ(G)$ is a lattice polytope. Finally, for every finite Cartesian product of paths, we explicitly construct an average point satisfying the condition for resistance nonnegativity, thereby obtaining that such graphs are RN. We further characterize the classes of such Cartesian product graphs that are RP or SRN.

We study the Ricci curvature introduced by Lin, Lu, and Yau. A graph is called Ricci-flat if every edge has curvature zero. Lei and Bai classified $5$-regular symmetric Ricci-flat graphs by proving that every such graph is isomorphic to a particular $72$-vertex graph $\RF$, and conjectured that every $5$-regular Ricci-flat graph is either isomorphic to $\RF$ or admits a nontrivial Cartesian product decomposition. In this paper, we disprove this conjecture by constructing an infinite family of connected $5$-regular Ricci-flat graphs, none of which is isomorphic to $\RF$ or admits a nontrivial Cartesian product decomposition. This shows that the conjectured extension of the classification from the symmetric setting to general $5$-regular Ricci-flat graphs fails and that the class of such graphs is substantially richer than previously conjectured. To establish these results, we use an optimal-assignment formulation of Lin--Lu--Yau curvature to verify the Ricci-flatness of the constructed graphs.

Let $G$ be a connected graph of order $n$ and diameter two. For any two distinct vertices $u,v\in V(G)$, we prove that $$ r_G(u,v)\leq (3+\sqrt{5})\left(\frac{1}{d_G(u)}+\frac{1}{d_G(v)}\right), $$ where $r_G(u,v)$ denotes the effective resistance between $u$ and $v$, and $d_G(u)$ denotes the degree of $u$ in $G$. Using this resistance estimate, we further prove that the Kemeny's constant of $G$, denoted by $\mathcal{K}(G)$, satisfies $$ \mathcal{K}(G)\leq (3+\sqrt{5})(n-1). $$ This confirms a conjecture of Kim et al. (2026) asserting that $\mathcal{K}(G)=O(n)$ for every connected graph of diameter two. We further establish the Nordhaus-Gaddum bound $\mathcal{K}(G)\mathcal{K}(\overline{G})=O(n^4)$ whenever both $G$ and $\overline{G}$ are connected, thereby confirming another conjecture of Kim et al. (2026), which states that $\mathcal{K}(G)\mathcal{K}(\overline{G})=O(n^4)$ whenever both graphs are connected.

Let $k\geq2$. Then the $k$-th order Fibonacci cube $Γ^{(k)}_{n}$ is the subgraph of the hypercube $Q_{n}$ induced by vertices without $k$ consecutive $1$s. The case $k=2$ corresponds to the classic Fibonacci cube $Γ_{n}$. There are three kinds of calculation formulas of the size of $Γ_{n}$: the iteration form $|E(Γ_{n})|=|E(Γ_{n-1})|+|E(Γ_{n-2})|+F_{n}$ (Hsu, 1993), %iteration form the convolution form $|E(Γ_{n})|=\mathop{\sum}\limits_{i=1}^{n}F_{i}F_{n-i+1}$ (Klavžar, 2005) %convolution form and the linear form $|E(Γ_{n})|=\frac{nF_{n+1}+2(n+1)F_{n}}{5}$ (Munarini et al., 2001). %linear form Belbachir and Ould-Mohamed (2020) studied the iteration and convolution formulas of the size of $Γ^{(3)}_{n}$. Very recently, Mollard (2025) deduced the iteration formula of the size of $Γ^{(k)}_{n}$ for $k\geq2$. In this paper, we give the the formulas of convolution and linear forms of $|E(Γ^{(k)}_{n})|$ for all $k\geq2$. Specifically, we obtain the formula of $|E(Γ^{(k)}_{n})|$ in terms of convolved $k$-th order Fibonacci numbers and the formula of $|E(Γ^{(k)}_{n})|$ of linear expression of $k$ consecutive $k$-th order Fibonacci numbers.

A graph $G$ is called equiarboreal if the number of spanning trees containing a given edge in $G$ is independent of the choice of edge. In [Combinatorica 1(2) (1981) 163--167], Godsil proved that any graph which is a colour class in an association scheme is equiarboreal, and further conjectured that the edge-connectivity of a connected graph which is a colour class in an association scheme equals its vertex degree. In this paper, we confirm this long-standing conjecture. More generally, we prove an even stronger result that the edge-connectivity of a connected regular equiarboreal graph equals its degree by combinatorial and electrical network approaches. As a consequence, we show that every connected regular equiarboreal graph on an even number of vertices has a perfect matching.

A paraglider, house, 4-wheel, is the graph that consists of a cycle $C_4$ plus an additional vertex adjacent to three vertices, two adjacent vertices, all the vertices of the $C_4$, respectively. For a graph $G$, let $χ(G)$, $ω(G)$ denote the chromatic number, the clique number of $G$, respectively. Gerards and Seymour from 1995 conjectured that every graph $G$ has an odd $K_{χ(G)}$ minor. In this paper, based on the description of graph structure, it is shown that every graph $G$ with independence number two satisfies the conjecture if one of the following is true: $χ(G) \leq 2ω(G)$ when $n $ is even, $χ(G) \leq 9ω(G)/5$ when $n$ is odd, $G$ is a quasi-line graph, $G$ is $H$-free for some induced subgraph $H$ of paraglider, house or $W_4$. Moreover, we derive an optimal linear $χ$-binding function for {3$K_1$, paraglider}-free graph $G$ that $χ(G)\leq \max\{ω(G)+3, 2ω(G)-2\}$, which improves the previous result, $χ(G)\leq 2ω(G)$, due to Choudum, Karthick and Shalu in 2008.

Let $G$ be a connected graph with $n$ vertices. The resistance distance $Ω_{G}(i,j)$ between any two vertices $i$ and $j$ of $G$ is defined as the effective resistance between them in the electrical network constructed from $G$ by replacing each edge with a unit resistor. The resistance matrix of $G$, denoted by $R_G$, is an $n \times n$ matrix whose $(i,j)$-entry is equal to $Ω_{G}(i,j)$. The resistance curvature $κ_i$ in the vertex $i$ is defined as the $i$-th component of the vector $(R_G)^{-1}\mathbf{1}$, where $\mathbf{1}$ denotes the all-one vector. If all the curvatures in the vertices of $G$ are equal, then we say that $G$ has constant resistance curvature. Recently, Devriendt, Ottolini and Steinerberger \cite{kde} conjectured that the cycle $C_n$ is extremal in the sense that its curvature is minimum among graphs with constant resistance curvature. In this paper, we confirm the conjecture. As a byproduct, we also solve an open problem proposed by Xu, Liu, Yang and Das \cite{kxu} in 2016. Our proof mainly relies on the characterization of maximum value of the sum of resistance distances from a given vertex to all the other vertices in 2-connected graphs.

In this paper, a new sub-family of Hypercubes called the \textit{associated Mersenne graphs} $\mathcal{M}_{n}$ are introduced. The definition of associated Mersenne graphs is motivated from the Fibonacci-run graphs ({Ö}. Eǧecioǧlu, V. Iršič, 2021) by extending run-constrained strings to circularly-run-constrained strings. The name of this new family of graphs is identified with the interesting fact that $|V(\mathcal{M}_{n})|$ is equal to the $n$-th associated Mersenne number. Various interesting structural and enumerative properties of associated Mersenne graphs are investigated, including the analogue of the fundamental recursion, number of vertices and edges, radius, diameter, center, periphery and medianicity. Some future research directions and open problems concerning associated Mersenne graphs are also proposed.

Let $G$ be a connected graph. The resistance distance between two vertices $u$ and $v$ of $G$, denoted by $R_{G}[u,v]$, is defined as the net effective resistance between them in the electric network constructed from $G$ by replacing each edge with a unit resistor. The resistance diameter of $G$, denoted by $D_{r}(G)$, is defined as the maximum resistance distance among all pairs of vertices of $G$. Let $P_n=a_1a_2\ldots a_n$ be the $n$-vertex path graph and $C_{4}=b_{1}b_2b_3b_4b_{1}$ be the 4-cycle. Then the $n$-th block tower graph $G_n$ is defined as the the Cartesian product of $P_n$ and $C_4$, that is, $G_n=P_{n}\square C_4$. Clearly, the vertex set of $G_n$ is $\{(a_i,b_j)|i=1,\ldots,n;j=1,\ldots,4\}$. In [Discrete Appl. Math. 320 (2022) 387--407], Evans and Francis proposed the following conjecture on resistance distances of $G_n$ and $G_{n+1}$: \begin{equation*} \lim_{n \rightarrow \infty}\left(R_{G_{n+1}}[(a_{1},b_1),(a_{n+1},b_3)]-R_{G_{n}}[(a_{1},b_1),(a_{n},b_3)]\right)=\frac{1}{4}. \end{equation*} In this paper, combining algebraic methods and electrical network approaches, we confirm and further generalize this conjecture. In addition, we determine all the resistance diametrical pairs in $G_n$, which enables us to give an equivalent explanation of the conjecture.

In 2021, {Ö}. Eǧecioǧlu, V. Iršič introduced the concept of Fibonacci-run graph $\mathcal{R}_{n}$ as an induced subgraph of Hypercube. They conjectured that the diameter of $\mathcal{R}_{n}$ is given by $n-\lfloor(1+\frac{n}{2})^{\frac{1}{2}}-\frac{3}{4}\rfloor$. In this paper, we introduce the novel concept of distance-barriers between vertices in $\mathcal{R}_{n}$ and provide an elegant method to give lower bound for the diameter of $\mathcal{R}_{n}$ via distance-barriers. By constructing different types of distance-barriers, we show that the conjecture does not hold for all $n\geq 230$ and some of $n$ between $91$ and $229$. Furthermore, lower bounds for the diameter of some Fibonacci-run graphs are obtained, which turn out to be better than the result given in the conjecture.

Let $τ(G)$ and $τ_G(e)$ be the number of spanning trees of a connected graph $G$ and the number of spanning trees of $G$ containing edge $e$. The ratio $d_{G}(e)=τ_{G}(e)/τ(G)$ is called the spanning tree edge density of $e$, or simply density of $e$. The maximum density $\mbox{dep}(G)=\max\limits_{e\in E(G)}d_{G}(e)$ is called the spanning tree edge dependence of $G$, or simply dependence of $G$. Given a rational number $p/q\in (0,1)$, if there exists a graph $G$ and an edge $e\in E(G)$ such that $d_{G}(e)=p/q$, then we say the density $p/q$ is constructible. More specially, if there exists a graph $G$ such that $\mbox{dep}(G)=p/q$, then we say the dependence $p/q$ is constructible. In 2002, Ferrara, Gould, and Suffel raised the open problem of which rational densities and dependences are constructible. In 2016, Kahl provided constructions that show all rational densities and dependences are constructible. Moreover, He showed that all rational densities are constructible even if $G$ is restricted to bipartite graphs or planar graphs. He thus conjectured that all rational dependences are also constructible even if $G$ is restricted to bipartite graphs (Conjecture 1), or planar graphs (Conjecture 2). In this paper, by combinatorial and electric network approach, firstly, we show that all rational dependences are constructible via bipartite graphs, which confirms the first conjecture of Kahl. Secondly, we show that all rational dependences are constructible for planar multigraphs, which confirms Kahl's second conjecture for planar multigraphs. However, for (simple) planar graphs, we disprove the second conjecture of Kahl by showing that the dependence of any planar graph is larger than $\frac{1}{3}$. On the other hand, we construct a family of planar graphs that show all rational dependences $p/q>\frac{1}{2}$ are constructible via planar graphs.

In this paper, first it is shown that the "FSibonacci $(p,r)$-cube"(denoted as $IΓ_{n}^{(p,r)}$) studied in many papers, such as \cite{OZY}, \cite{K1}, \cite{OZ}, \cite{KR} and \cite{JZ}, is a new topological structure different from the original one (denoted as $OΓ_{n}^{(p,r)}$) presented by Egiazarian and Astola $\cite{EA}$. Then some topological properties of $IΓ_{n}^{(p,r)}$ and $OΓ_{n}^{(p,r)}$ are studied, including the recursive structure of them, the cubes $OΓ_{n}^{(p,r)}$ which are partial cubes and median graphs, some distance invariants of $IΓ_{n}^{(p,r)}$ and $OΓ_{n}^{(p,r)}$, and the maximum and minimum degree of these two types of cubes. Finally, several problems and conjectures on $IΓ_{n}^{(p,r)}$ and $OΓ_{n}^{(p,r)}$ are listed

Let $G$ be a bipartite graph and its adjacency matrix $\mathbb A$. If $G$ has a unique perfect matching, then $\mathbb A$ has an inverse $\mathbb A^{-1}$ which is a symmetric integral matrix, and hence the adjacency matrix of a multigraph. The inverses of bipartite graphs with unique perfect matchings have a strong connection to Möbius functions of posets. In this note, we characterize all bipartite graphs with a unique perfect matching whose adjacency matrices have inverses diagonally similar to non-negative matrices, which settles an open problem of Godsil on inverses of bipartite graphs in [Godsil, Inverses of Trees, Combinatorica 5 (1985) 33-39].

Let $(G,w)$ be a weighted graph with a weight-function $w: E(G)\to \mathbb R\backslash\{0\}$. A weighted graph $(G,w)$ is invertible to a new weighted graph if its adjacency matrix is invertible. A graph inverse has combinatorial interest and can be applied to bound median eigenvalues of a graph such as have physical meanings in Quatumn Chemistry. In this paper, we characterize the inverse of a weighted graph based on its Sachs subgraphs that are spanning subgraphs with only $K_2$ or cycles (or loops) as components. The characterization can be used to find the inverse of a weighted graph based on its structures instead of its adjacency matrix. If a graph has its spectra split about the origin, i.e., half of eigenvalues are positive and half of them are negative, then its median eigenvalues can be bounded by estimating the largest and smallest eigenvalues of its inverse. We characterize graphs with a unique Sachs subgraph and prove that these graphs has their spectra split about the origin if they have a perfect matching. As applications, we show that the median eigenvalues of stellated graphs of trees and corona graphs belong to different halves of the interval $[-1,1]$.

We study three resistance distance-based graph invariants: the Kirchhoff index, and two modifications, namely, the multiplicative degree-Kirchhoff index and the additive degree-Kirchhoff index. In work in press, one of the present authors (2014) and Sun et al. (2014) independently obtained (different) formulas for the Kirchhoff index of subdivisions of graphs. Huang et al. (2014) obtained a formula for the Kirchhoff index of triangulations of graphs. In our paper, first we derive formulae for the additive degree-Kirchhoff index and the multiplicative degree-Kirchhoff index of subdivisions and triangulations, as well as a new formula for the Kirchhoff index of triangulations, in terms of invariants of $G$. Then comparisons are made between each of our Kirchhoffian graph invariants for subdivision and triangulation. Finally, formulae for these graph invariants of iterated subdivisions and triangulations of graphs are obtained.

Being motivated in terms of mathematical concepts from the theory of electrical networks, Klein & Ivanciuc introduced and studied a new graph-theoretic cyclicity index--the global cyclicity index (Graph cyclicity, excess conductance, and resistance deficit, J. Math. Chem. 30 (2001) 271--287). In this paper, by utilizing techniques from graph theory, electrical network theory and real analysis, we obtain some further results on this new cyclicity measure, including the strictly monotone increasing property, some lower and upper bounds, and some Nordhuas-Gaddum-type results. In particular, we establish a relationship between the global cyclicity index $C(G)$ and the cyclomatic number $μ(G)$ of a connected graph $G$ with $n$ vertices and $m$ edges: $$\frac{m}{n-1}μ(G)\leq C(G)\leq \frac{n}{2}μ(G).$$