Papers by Chengye Zhao
4 paper(s) by this author
· All BibTeX
Theoretical Analysis of DomiRank Centrality: Automorphism, Entropy, and Graph Transformations
DomiRank is a node-importance algorithm for unweighted networks, defined by a dynamical-system model whose steady state is governed by a competition-strength parameter, a dominance threshold, and a natural decay rate. We study its intrinsic relations with graph automorphism: vertices mapped to each other by an automorphism share the same DomiRank value, and a graph whose DomiRank values are pairwise distinct must be asymmetric; we derive DomiRank properties of regular and vertex-transitive graphs and bound the number of orbits by that of distinct DomiRank values. For DomiRank entropy, the maximum over connected graphs is attained only by regular graphs, and under sufficient conditions (rigorously in the low-competition regime) the entropy decreases monotonically with the competition parameter, a behavior observed on all tested networks and conjectured to hold generally; tuning sigma shifts the identification from important to dominant key nodes. We also study how graph transformations (vertex similarity, vertex partitions, edge swaps, m-products) affect the DomiRank vector, and characterize analytically the sensitivity and limiting behavior of sigma: the normalized DomiRank distribution is sigma-invariant iff the degree vector is an eigenvector of the adjacency matrix, and sigma interpolates continuously between degree and least-eigenvector centrality; experiments on four real networks confirm these results. These results position DomiRank as a tunable complement to principal-eigenvector centrality, with distinctive behavior under strong competition and new tools for node-importance evaluation. Because the parameterization by sigma is a structural property of the measure, not a guarantee of advantage on a downstream task, we also relate these results to the companion null-model study of how much of DomiRank's task-level edge over a degree baseline survives an explicit degree correction.
On the Roots of Connected Domination Polynomials
We determine the closure of the connected domination roots. The main tool is a substitution formula for the lexicographic product with a complete graph, $D_c(G[K_n],x)=D_c(G,(x+1)^n-1)$, proved in Theorem~\ref{thm:cd}. Combined with two explicit families of seed roots---the real roots of the cycles $C_n$ and the real roots of the joins $C_m\vee C_n$ lying in $(-1,0)$---this formula gives the two main results: the closure of the real connected domination roots is $(-\infty,0]$, and the closure of all connected domination roots is the whole complex plane. These are the connected domination analogues of the root-density theorems of Brown and Tufts and of Brown and Beaton for the ordinary domination polynomial.
Counting Weight-$k$ Italian Dominating Sets on Trees and Cycles
We study the problem of counting \emph{Italian dominating functions} (IDFs) of each possible weight on paths, trees, and cycles. An Italian dominating function on a graph $G=(V,E)$ is a function $f\colon V\to\{0,1,2\}$ such that every vertex $v$ with $f(v)=0$ satisfies $\sum_{u\in N(v)}f(u)\ge 2$; the \emph{Italian domination polynomial} $D_I(G,x)=\sum_k d_I(G,k)\,x^k$ records the number $d_I(G,k)$ of such functions of weight~$k$. This polynomial is the Italian analogue of the well-studied domination and Roman domination polynomials, and computing its coefficients on a fixed graph class is, in essence, a \emph{constrained integer composition} problem: passing to the deficit variables $y(v)=2-f(v)$, each coefficient $d_I(G,2n-j)$ counts the number of compositions of $j$ into $n$ parts, each at most~$2$, that additionally satisfy a local adjacency capacity constraint. We make this connection explicit and use it to derive closed-form expressions for $d_I(C_n,2n-j)$, $j=0,\ldots,5$, as trinomial coefficients minus explicitly enumerated forbidden configurations. On the algorithmic side, we give dynamic programming algorithms that compute \emph{all} coefficients of $D_I$ on path graphs ($O(n^2)$ time, $O(n)$ space), on general trees ($O(n^2)$ time, $O(n)$ space, via a post-order merge with a deficit parameter), and on cycle graphs ($O(n^2)$ time, $O(n)$ space, via boundary conditioning), together with formal correctness proofs and complexity analyses. The known values $γ_I(P_n)=\lfloor n/2\rfloor+1$ and $γ_I(C_n)=\lceil n/2\rceil$ are recalled with references rather than reproved. All numerical results are verified against brute-force enumeration, and complete tables are provided.
Linear algorithms on Steiner domination of trees
A set of vertices $W$ in a connected graph $G$ is called a Steiner dominating set if $W$ is both Steiner and dominating set. The Steiner domination number $γ_{st}(G)$ is the minimum cardinality of a Steiner dominating set of $G$. A linear algorithm is proposed in this paper for finding a minimum Steiner dominating set for a tree $T$.