REVIEW 3 major objections 6 minor 1 cited by
Changing the ranking in eigenvector centrality of a weighted graph by small perturbations
T0 review · 3 major / 6 minor · reviewed 2026-08-10 · deepseek-v4-flash
Pith's one-line read This paper shows that the robustness of eigenvector-centrality rankings can be quantified by the smallest weight perturbation, preserving the graph's edge structure, that makes the top m centrality scores exactly equal, and proposes a…
desk verdict A useful local-minimum algorithm for a new eigenvector-centrality nearness problem, but the abstract's global optimality claim is not supported and the gradient theory has a fixed-index gap. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The argument is carried by the dispersion functional $F_\varepsilon(E)=\frac{1}{2}\sum_{k=1}^m (v_{i_k}(A+\varepsilon E)-\langle v\rangle_m)^2$, which is zero exactly when the m largest entries of the Perron eigenvector are equal. The paper computes its structured gradient $G_\varepsilon(E)$ by projecting the free gradient, built from the group inverse $(A+\varepsilon E-\lambda I)^\#$ and rank-one outer products of the Perron eigenvector with the relevant coordinate vectors, onto the graph's edge pattern; this formula comes from first-order eigenvector perturbation theory. The inner iteration integrates the constrained gradient flow under the unit-Frobenius-norm and sparsity constraints, and the outer iteration uses the identity $f'(\varepsilon)=-\|G_\varepsilon(E(\varepsilon))\|$ to run a Newton-bisection root find. At stationary points the perturbation is proportional to the projected gradient, which is a projection of a rank-one matrix in the directed case and of a rank-two symmetric matrix in the undirected case, and the paper exploits this low-rank structure computationally.
What would settle it
Track which nodes occupy the top m positions during the inner gradient flow on a graph where the top set changes, as in the paper's own Example 1 with m=4, where node 109 enters the top set. If the dispersion functional $F_\varepsilon$ ever increases along the numerically integrated flow at the moment the index set changes, the gradient formula no longer describes the true functional and the monotone-descent theorem fails; alternatively, run a global search over admissible unit-norm perturbations $E$ for the smallest $\varepsilon$ with $F_\varepsilon(E)=0$ and compare with the reported value, since any smaller $\varepsilon$ found would disprove the claimed optimality.
Extended reading notes
Core claim
The paper's central claim is that the robustness of an eigenvector-centrality ranking can be quantified by a structured matrix nearness problem: find the smallest Frobenius-norm change to the weighted adjacency matrix, keeping zero entries fixed and keeping the matrix nonnegative, such that the m largest entries of the Perron eigenvector coalesce. The proposed solution is a nested iteration: an inner constrained gradient system minimizes the dispersion functional $F_\varepsilon(E)$ at fixed perturbation size $\varepsilon$, and an outer Newton-bisection iteration finds the smallest $\varepsilon$ for which that functional vanishes. The authors state that the algorithm produces the optimal perturbation, with the smallest Frobenius norm causing the coalescence, while also noting in Section 3.3 that the gradient-flow approach converges to local optima, so the computed value is in general an upper bound on the robustness radius $\varrho_m(G)$. Numerical experiments on realistic sparse graphs report coalescence achieved by perturbations of about one percent or less of the normalized adjacency matrix, with the gradient flow far outperforming a standard constrained-optimization solver.
Load-bearing premise
The load-bearing assumption is that the identities of the top m nodes do not change while the perturbation moves; if a new node enters the top m, the gradient formula no longer describes the true dispersion functional and the guaranteed descent can break.
Editorial extensions
If this is right
- For any weighted graph, the method yields a concrete robustness radius: a perturbation smaller than the computed value cannot make the top m eigenvector centralities tie, so a small radius signals that the ranking is fragile under weight noise.
- The perturbing matrix found at the optimum reveals which edges have the strongest influence on the top of the ranking, since its largest entries are the weights whose adjustment most shrinks the gap.
- Because the formulation only needs a nonnegative matrix, the same radius and closest-ambiguous-matrix construction apply to any dominant-eigenvector ranking, including those arising in population models, consensus dynamics, and economic input-output analysis.
- For undirected graphs, the stationary perturbations are projections of rank-two symmetric matrices, which keeps the per-step cost dominated by one Perron eigenvector computation plus m solves of a bordered linear system, so large sparse graphs are tractable.
- On the tested sparse graphs, the two-level gradient-flow method reached the coalescing perturbation in seconds to minutes, whereas a generic constrained-optimization solver required orders of magnitude more time and many more function evaluations.
Reading between the lines
- The same gradient-flow machinery could be applied to PageRank and Katz centrality by replacing the Perron eigenvector with the corresponding resolvent-based centrality vector; the paper notes the kinship of these measures but does not derive the analogous gradient or robustness radius.
- One testable refinement is to make the inner iteration detect index switches, for example by checking whether the top m set has changed and restarting the flow with the updated set, since the paper's own Example 1 shows such switches do occur.
- The robustness radius could be used as a ranking-confidence diagnostic: compare the radius to the estimated uncertainty in the edge weights, and if the radius is smaller, the top m order is not statistically distinguishable from ambiguous, a decision rule the paper does not spell out.
- A randomized or rank-restricted variant of the gradient flow could extend the method to very large networks, since the extremizers are known to be projections of low-rank matrices.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies the robustness of eigenvector centrality rankings with respect to weighted perturbations that preserve the graph's sparsity pattern. It defines a robustness radius ϱ_m(G) as the minimal Frobenius-norm perturbation that makes the m largest entries of the Perron eigenvector coalesce, proposes a two-level algorithm (an inner constrained gradient flow that minimizes a dispersion functional for a fixed perturbation norm, and an outer Newton-bisection that seeks the minimal such norm), derives an explicit structured gradient formula via first-order eigenvector perturbation theory, shows that stationary points have a low-rank structure, and reports numerical experiments on a water-network graph and on a large sparse graph. The abstract claims global optimality of the resulting perturbation, while Section 3.3 concedes that only local optima are guaranteed and that the computed matrix provides an upper bound to the problem.
Significance. The problem is well motivated and the paper contains several useful contributions: a clean formulation of the nearness problem, a closed-form gradient that avoids numerical differentiation, a characterization of stationary points as projections of low-rank matrices, a practical inner-outer algorithm that compares favorably with generic constrained optimization in the reported examples, and reproducible-looking experiments on realistic graphs. If the global-optimality gap were closed, or the claims appropriately weakened, the robustness radius would be a valuable addition to the network-sensitivity literature. The derivation of the gradient and the low-rank reduction are the strongest parts of the manuscript.
major comments (3)
- [Abstract and Section 3.3] The Abstract states that the algorithm produces 'the optimal perturbation (i.e., the one with smallest Frobenius norm)' causing coalescence, but Section 3.3 ('Existence of local minima') explicitly says that 'in general we cannot be sure to compute global optima, but only to globally converge to local optima, which means that the final computed matrix provides an upper bound to the solution of (8).' These two statements are inconsistent. Since (8) defines the robustness radius as the infimum over all admissible E, a locally minimizing branch can make the returned ε* strictly larger than ϱ_m(G). No global optimality certificate, convexity argument, or uniqueness proof is supplied. The Abstract and the discussion in Sections 3.3 and 8 should be revised to present the computed quantity as an upper bound, or the claimed global optimality must be proved.
- [Lemma 5.1, Eqs. (16)-(17)] Lemma 5.1 derives the derivative d/dt F_ε(E(t)) under the convention that i1,...,im are the indices of the m largest entries of v(t) at each t. In the proof, the identities (17) differentiate v_{i_k}(t) while treating i_k as constant. If the set of top-m indices changes along the path E(t), F_ε is continuous but not differentiable at the switching point, and formula (16) is not the gradient of the actual top-m dispersion functional. The paper's own Example 1 (Section 7.1, m=4) exhibits such a change: node 109 enters the top set and node 29 leaves it. No mechanism for detecting or handling these index switches is described. Consequently, Theorem 5.1's monotonicity statement is not established for the full flow, and the 'gradient descent' interpretation of (25) is not rigorous in general. The authors should either restrict the flow to intervals where the index set is constant and add a switch-detection/reinitialization strategy, or prove that the formula remains valid in a suitable weaker sense.
- [Lemma 6.1, Eqs. (37)-(38)] Lemma 6.1 concludes f'(ε) = -||G_ε(E(ε))||. The proof shows f' = ⟨G,E⟩ and then invokes 'property no. 3' of Theorem 5.1, which says E ∝ G. Since ||E|| = 1, this only gives ⟨G,E⟩ = ±||G||; the sign is not determined. The negative sign would follow if f(ε) were the value of a global minimum that is non-increasing in ε, but neither global optimality nor monotonicity of f has been established. If the sign is wrong, the Newton step (39) in the outer iteration points in the wrong direction. This is load-bearing for the outer iteration's correctness and for the claim that the computed root is the minimal ε. The authors should provide a correct proof of the sign, or use a derivative-free outer iteration.
minor comments (6)
- [Equation (8)] The display 'eεm − →arg min ε>0 F_ε(E(ε)) = 0' is not standard mathematical notation; please rewrite it as a precise optimization or root-finding statement.
- [Table 1] The column 'fc(εk)' is not defined in the caption; it appears to denote F^c_ε(E_k), but this should be spelled out.
- [Section 5.6] The statement that 'we can prove' a one-to-one correspondence of stationary points and local convergence of the rank-1 ODE, followed by 'we omit a full derivation', is not sufficient for a journal paper unless the omitted result is readily available in [18]; please either include the proof or mark the statement explicitly as a conjecture with numerical support.
- [Section 7.2] The percentages quoted for the perturbation norms appear to be off by several orders of magnitude: for a matrix with ||A||_F = 1, ε2 = 0.00383633 is about 0.38%, not 0.00008%, and ε5 = 0.0161 is about 1.6%, not 0.00016%. Please correct these values or clarify what they are relative to.
- [Section 7.1, Example 1] The sentence 'It is interesting to note the the node 109 was not at the highest rank but replaced the node 29 after the perturbation' contains a typographical error ('the the') and also demonstrates the index-switching issue discussed above; please correct the typo and comment on the implications for the fixed-index assumption in Lemma 5.1.
- [Section 3.2] The set Ω in (4) is defined using the indices i1,...,im of the m largest entries of u, but it would be clearer to specify how ties are handled, especially because the numerical examples intentionally create ties at coalescence.
Circularity Check
Central derivation is self-contained; the only self-citation (Section 5.6, rank-1 ODE to [18]) is not load-bearing, and the abstract's global-optimality claim is weakened by the paper's own Section 3.3 local-minimum caveat, an overclaim rather than a circular reduction.
full rationale
The derivation chain is self-contained at its core. Lemma 5.1 obtains the structured gradient Gε(E) by differentiating Fε via Theorem 4.3 (Meyer–Stewart) and the group inverse, rather than importing the target result; Theorem 5.1 monotonicity follows algebraically from the gradient system (25) and Cauchy–Schwarz; Lemma 6.1 derives the outer derivative f′(ε) = −‖Gε(E(ε))‖ from Theorem 5.1's characterization of minimizers. The robustness radii in Section 7 (ε* ≈ 0.0093, 0.0038, etc.) are outputs of the outer root-finding loop, not fitted constants later relabelled as predictions. The one reliance on the authors' prior work is Section 5.6, where the rank-1 ODE reduction for H is asserted and referred to [18] with the proof omitted; however, the numerical integration in Section 6.2 solves the gradient system (25) directly, and the reported experiments never invoke the rank-1 ODE, so the central claim does not reduce to that self-citation. Two non-circular weaknesses remain: (a) Section 3.3 explicitly concedes that the two-level method only globally converges to local optima and that the computed matrix 'provides an upper bound to the solution of (8)', which contradicts the abstract's unqualified 'optimal perturbation' statement; this is an unsupported global-optimality claim, not a circular one. (b) Lemma 5.1 differentiates v_{i_k}(t) while treating i_k as fixed, although i_1,...,i_m are defined as the current top-m indices; Example 1 (m=4) shows node 109 entering the top set, so the fixed-index gradient can fail at index switches. These are correctness limitations to weigh separately from circularity.
Assumptions & free parameters
free parameters (3)
- delta (positivity tolerance) =
not specified (stated 1 >> delta > 0)
- coalescence tolerance tol =
1e-5 to 1e-10 depending on example
- step-size and Armijo parameters h, theta =
not specified
assumptions (6)
- standard math Perron-Frobenius theorem for nonnegative irreducible matrices
- domain assumption Strong connectivity (irreducibility) of the graph
- standard math First-order perturbation formulas for simple eigenvalues and eigenvectors
- domain assumption Smoothness of the minimizer path E(epsilon)
- domain assumption Fixed set of top-m indices during inner iterations
- domain assumption Existence of a perturbation causing coalescence
Cite this review
Pith. "Pith review of Changing the ranking in eigenvector centrality of a weighted graph by small perturbations." pith.science (2026). https://pith.science/paper/66VWL4EZ
@misc{pith2026250110745,
author = {Pith},
title = {Pith review of: Changing the ranking in eigenvector centrality of a weighted graph by small perturbations},
year = {2026},
howpublished = {\url{https://pith.science/paper/66VWL4EZ}},
note = {Machine review of arXiv:2501.10745}
}
read the original abstract
In this article, we consider eigenvector centrality for the nodes of a graph and study the robustness (and stability) of this popular centrality measure. For a given weighted graph {\mathcal G} (both directed and undirected), we consider the associated weighted adjacency matrix A, which by definition is a non-negative matrix. The eigenvector centralities of the nodes of {\mathcal G} are the entries of the Perron eigenvector of A, which is the (positive) eigenvector associated with the eigenvalue with largest modulus. They provide a ranking of the nodes according to the corresponding centralities. An indicator of the robustness of eigenvector centrality consists in looking for a nearby perturbed graph \widetilde{\mathcal G}, with the same structure as {\mathcal G} (i.e., with the same vertices and edges), but with a weighted adjacency matrix \widetilde A such that the highest m entries (m \ge 2) of the Perron eigenvector of \widetilde A coalesce, making the ranking at the highest level ambiguous. To compute a solution to this matrix nearness problem, a nested iterative algorithm is proposed that makes use of a constrained gradient system of matrix differential equations in the inner iteration and a one-dimensional optimization of the perturbation size in the outer iteration. The proposed algorithm produces the {\em optimal} perturbation (i.e., the one with smallest Frobenius norm) of the A which causes the looked-for coalescence, which is a measure of the sensitivity of the graph. Our numerical experiments indicate that the proposed strategy outperforms more standard approaches based on algorithms for constrained optimization. The methodology is formulated in terms of graphs but applies to any nonnegative matrix, with potential applications in fields like population models, consensus dynamics, economics, etc.
Figures
Figures from the paper (4 more)
Forward citations
Cited by 1 Pith paper
-
The Derivative of Kemeny's Constant as a Centrality Measure in Undirected Graphs
The rate of change of a graph's Kemeny constant when an edge weakens gives an always-positive, cut-edge-safe edge centrality, and its unweighted version also scores non-edges for link prediction.
Reference graph
Works this paper leans on
-
[1]
E. Andreotti, D. Edelmann, N. Guglielmi and C. Lubich, Constrained graph partitioning via matrix differential equations , SIAM J. Matrix Anal. Appl., 40(1):1–22, 2019
work page 2019
-
[2]
P. Benner and M. Voigt, A structured pseudospectral method for H∞-norm computation of large-scale descriptor systems , Math. Control Signals Systems, 26(2):303–338, 2014. CHANGING RANKING IN A GRAPH 29
work page 2014
-
[3]
Benzi, A direct projection method for Markov chains , Linear Algebra Appl., 386:27–49, 2004
M. Benzi, A direct projection method for Markov chains , Linear Algebra Appl., 386:27–49, 2004
work page 2004
-
[4]
M. Benzi and P. Boito, Matrix functions in network analysis , GAMM-Mitt., 43(3):e202000012, 2020
work page 2020
- [5]
-
[6]
M. Benzi and C. Klymko, On the limiting behavior of parameter-dependent network centrality measures, SIAM J. Matrix Anal. Appl., 36(2):686–706, 2015
work page 2015
-
[7]
S. Brin and L. Page, The anatomy of a large-scale hypertextual Web search engine, Computer Networks and ISDN Systems, 33:107–117, 1998
work page 1998
-
[8]
Enforcing Katz and PageRank Centrality Measures in Complex Networks
S. Cipolla, F. Durastante, and B. Meini, Enforcing Katz and PageRank Centrality Measures in Complex Networks , arXiv:2409.02524v1, 2024
work page Pith review arXiv 2024
Show all 32 references
-
[9]
Faccio, M
C. Faccio, M. Benzi, L. Zanetti-Polzi and I. Daidone, Low- and high-density forms of liquid water revealed by a new medium-range order descriptor , J. Mol. Liquids, 355:118922, 2022
2022
-
[10]
Fletcher, Practical Methods of Optimization , John Wiley & Sons, 2013
R. Fletcher, Practical Methods of Optimization , John Wiley & Sons, 2013
2013
-
[11]
Geiger and C
C. Geiger and C. Kanzow, On the resolution of monotone complementarity problems , Com- put. Optim. Appl., 5(2):155–173, 1996
1996
-
[12]
Gillis and P
N. Gillis and P. Van Dooren, Assigning Stationary Distributions to Sparse Stochastic Matri- ces, SIAM J. Matrix. Anal. Appl., 45(4):2184–2210, 2024
2024
-
[13]
G. H. Golub and C. F. Van Loan, Matrix Computations. Fourth Edition , Johns Hopkins University Press, Baltimore and London, 2013
2013
-
[14]
Greenbaum, R.-C
A. Greenbaum, R.-C. Li, and M. L. Overton, First-order perturbation theory for eigenvalues and eigenvectors, SIAM Rev., 62(2):463–482, 2020
2020
-
[15]
Guglielmi, D
N. Guglielmi, D. Kressner, and C. Lubich, Low rank differential equations for Hamiltonian matrix nearness problems , Numer. Math., 129:279–319, 2015
2015
-
[16]
Guglielmi and C
N. Guglielmi and C. Lubich, Matrix Nearness Problems and Eigenvalue Optimization , arXiv:2503.14750, 240 pages, 2025
2025 arXiv
-
[17]
Guglielmi, C
N. Guglielmi, C. Lubich, and V. Mehrmann, On the nearest singular matrix pencil , SIAM J. Matrix Anal. Appl., 38(3):776–806, 2017
2017
-
[18]
Guglielmi, C
N. Guglielmi, C. Lubich, and S. Sicilia, Rank-1 matrix differential equations for structured eigenvalue optimization , SIAM J. Numer. Anal., 61(4):1737–1762, 2023
2023
-
[19]
Guglielmi, M
N. Guglielmi, M. Overton, and G. W. Stewart, An efficient algorithm for computing the generalized null space decomposition, SIAM J. Matrix Anal. Appl., 36(1):38–54, 2015
2015
-
[20]
Guglielmi and S
N. Guglielmi and S. Sicilia, A low-rank ODE for spectral clustering stabilit , Linear Algebra Appl., 721(1):250–276, 2025
2025
-
[21]
N. J. Higham, Computing a nearest symmetric positive semidefinite matrix , Linear Algebra Appl., 103:103–118, 1988
1988
-
[22]
N. J. Higham, Computing the nearest correlation matrix—a problem from finance , IMA J. Numer. Anal., 22(3):329–343, 2002
2002
-
[23]
Hinrichsen and A
D. Hinrichsen and A. J. Pritchard, Stability radius for structured perturbations and the alge- braic Riccati equation, Systems Control Lett., 8(2):105–113, 1986
1986
-
[24]
R. A. Horn and C. R. Johnson, Topics in Matrix Analysis , Cambridge University Press, Cambridge, 1991
1991
-
[25]
Kato, Perturbation Theory for Linear Operators , Springer Verlag, New York, N.Y., 1995
T. Kato, Perturbation Theory for Linear Operators , Springer Verlag, New York, N.Y., 1995
1995
-
[26]
Kressner and M
D. Kressner and M. Voigt, Distance problems for linear dynamical systems , in P. Benner et al. (Eds.). Numerical Algebra, Matrix Theory, Differential-Algebraic Equations and Control Theory, pages 559–583, Springer, Cham, 2015
2015
-
[27]
Landau, Zur relativen Wertbemessung der Turnierresultate , Deutsches Wochenschach, 11:366–369, 1895
E. Landau, Zur relativen Wertbemessung der Turnierresultate , Deutsches Wochenschach, 11:366–369, 1895
-
[28]
A. N. Langville and C. D. Meyer, Google’s PageRank and Beyond: The Science of Search Engine Rankings, Princeton University Press, Princeton, NJ, 2006
2006
-
[29]
C. D. Meyer and G. W. Stewart, Derivatives and perturbations of eigenvectors , SIAM J. Nu- mer. Anal., 25(3):679–691, 1988
1988
-
[30]
M. E. J. Newman, Networks: an Introduction , Oxford University Press, Oxford, 2010
2010
-
[31]
Nicosia, R
V. Nicosia, R. Criado, M. Romance, G. Russo, and V. Latora, Controlling centrality in complex networks, Sci. Rep., 2(1), Art. No. 218, 2012
2012
-
[32]
C. C. Paige and M. A. Saunders, Solutions of sparse indefinite systems of linear equations , SIAM J. Numer. Anal., 12(4):617–629, 1975. 30 MICHELE BENZI AND NICOLA GUGLIELMI Scuola Normale Superiore, Piazza dei Cavalieri 7, Pisa, Italy. Email address : michele.benzi@sns.it Gra...
1975
Reviewed August 10, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.