SlideShare a Scribd company logo
1 of 53
Presentation of the
Paper Rank Monotonicity
in Centrality Measures
Paolo Boldi Alessandro Luongo Sebastiano Vigna
Presentation prepared by Mahdi Cherif for the Course Graph Mining.
Lectured by Andrea Marino
UniFI 2018-2019
17th of July, 2019
Synopsis of the Paper
 The authors present three axioms, i.e., the Score-Monotonicity Axiom, the
Rank-Monotonicity Axiom as well as the Strict Rank-Monotonicity Axiom.
 Eleven β€˜Centrality’ measures for graphs are presented and explored in terms
of the three properties defined by the said axioms.
The Paper (Methodology and type)
 The paper adopts a deductive methodology as well as a case-study method,
i.e., counter-examples method for negating the properties for any of the
measures for general graphs or strongly connected graphs
 The paper builds on an axiomatic approach
 The paper can be entitled for classification in three categories, i.e, survey,
reprise and progress scientific work.
Significance of the Paper
 Strict rank monotonicity is proved for PageRank and Katz’s index. We
understand that this is the main contribution of the paper
 Additionally, , a set of results related to non-Markovian measures as well as
various insightful counter-examples are included for both Markovian and non-
Markovian measures.
 The Paper and the results are interesting for two reasons:
β€’ The web and its community are constantly seeking better user-tailored results
and the Strict Rank-Monotonicity Axiom could be perceived as a quality
theoretical guarantee of a search engine measure model.
β€’ Better understanding of search engines reaction to changes occurring in the
structure of the web.
Context of the Paper
 Continuous quest for better results of search engines responding to users
search queries
 Search engines tend to use Heuristics in order to score the very large volume
of data collections available in the Web
 The scoring is inherently subjective given that importance of a web document
is a matter of Personal taste and perspective
 Nonetheless there have been multiple attempts to formalize such scores and
make them Deterministic
Context of the Paper (The Dilemma)
 Legal framework is increasingly restrictive, e.g., the right to be forgotten,
data protection by design, data privacy, user’s ownership of his data,
indiscriminate profiling
 Size of the Web increased out of proportions
 Dark scores, e.g., Google’s Sauce !
Authors Answer (The Axioms)
 The authors capitalize on previous work of themselves and other researchers
and present three Axioms (Definitions) for a given measure wherein a score
model is characterized as compliant with the property (Axiom) or not
 The Score-Monotonicity Axiom
 The Rank-Monotonicity Axiom
 The Strict Rank-Monotonicity Axiom
The Axioms (The Pledge)
 Offering a formal guarantee of the quality of a scoring measure
 A cross-scores guarantee, i.e., allows indiscriminate factual judgement of any
centrality measure
 Aim to identify the properties of a graph G after the addition of one arc xοƒ y
 The authors had to address each measure twice, i.e, for each measure a
separate proof or counter-example for General Graphs and a proof or
counter-example for Strongly connected Graphs
Definition 1 (Score-Monotonicity Axiom)
 A centrality measure satisfies the score-monotonicity axiom if for every graph
G and every pair of nodes x,y such that x-/->y, when we add xy to G the
centrality of y increases.
Note that previous work by other researchers has focused on the notion of Score-
Monotonicity which they proved for PageRank
Definition 2 (Rank-Monotonicity Axiom)
 A centrality measure satisfies the rank-monotonicity axiom if for every graph
G and every pair of nodes x,y such that x-/->y, when we add xy to G the
following happens:
β€’ If the score of z was strictly smaller than the score of y, this fact remains true
after adding xy;
β€’ If the score of z was smaller than or equal to the score of y, this remains true
after adding xy.
Note that another formulation of the above definition is as follows:
β€’ If the score of z was strictly smaller than the score of y, this remains true
after adding xy;
β€’ If the score of z was equal to the score of y, it remains equal or becomes
smaller after adding x->y.
Definition 3 (Strict Rank-Monotonicity
Axiom)
 A centrality measure satisfies the strict rank-monotonicity axiom if for every
graph G and every pair of nodes x,y such that x-/->y, when we add xy to G
the following happens:
‒ If the score of z≠y was smaller than or equal to the score of y, after adding
xy the score of z becomes smaller than the score of y.
Note that the only difference between the last two definitions is the behavior on
ties (nodes with the same score as y): if a measure is strictly rank monotone,
adding an arc xy will break all ties with other nodes in favor of y.
The Measures (Centrality Measures
Survey)
 The authors identify in section 3.1 eleven measures labeled as β€˜Centrality
Measures’
 A sub-category is recognized for Markovian measures, such measures are
called in this paper β€˜Spectral measures’
 Non-spectral measures are:
β€’ Indegree
β€’ Closeness
β€’ Lin’s index
β€’ Harmonic centrality
The Measures (Centrality Measures
Survey)
 Spectral Measures are:
β€’ The dominant left eigenvector
β€’ Seeley’s index
β€’ Katz’s index
β€’ PageRank
β€’ HITS
β€’ SALSA
The Results
Centrality SMN
(General G)
RMN
(General G)
SMN (SC G) RMN (SC G)
Harmonic yes yes* yes yes*
Degree yes yes* yes yes*
Katz yes yes* yes yes*
PageRank yes yes* yes yes*
Dominant no no yes yes*
Seeley no no yes yes
Lin no no yes yes
Closeness no no yes yes
HITS no no no no
SALSA no no no no
Betweenness no no no no
Yes*: Strict rank Monotonicity is satisfied
Overview of the Results
 Strict rank monotonicity is proved for PageRank and Katz’s index. A result
with clear value for the Web mining scientific and industrial communities.
 Other proofs and counter-examples for other spectral measures, besides
PageRank and Katz’s index.
 a set of results related to non-Markovian measures as well as various
insightful counter-examples are included for both Markovian and non-
Markovian measures.
Strict Rank Monotonicity for PageRank
and Katz’s index
 Theorem 3 Let M and M’ be two nonnegative matrices, such that M’-M=π›˜ π‘₯
𝑇
𝛿
(i.e, the matrices differ only on the x-th row and 𝛿 is the corresponding row
difference). Let also πœ— be a nonnegative preference vector and 0 ≀ Ξ± ≀ min
(1/ρ(M),1/ρ(M’)); let r and r’ be the damped spectral rakings associated with
M and M’ respectively. Assume further that:
1. There is exactly one y such that 𝜹 𝑦>0;
2. π‘Ÿπ‘¦ β‰  0
3. π‘Ÿπ‘¦ ≀ π‘Ÿβ€² 𝑦
Then, if π‘Ÿπ‘§ ≀ π‘Ÿπ‘¦ we have π‘Ÿβ€² 𝑧-π‘Ÿπ‘§ ≀ π‘Ÿβ€² 𝑦-π‘Ÿπ‘¦. As a consequence, π‘Ÿπ‘§ ≀ π‘Ÿπ‘¦ implies π‘Ÿβ€² 𝑧 ≀
π‘Ÿβ€² 𝑦, whereas π‘Ÿπ‘§ < π‘Ÿπ‘¦ implies π‘Ÿβ€² 𝑧 < π‘Ÿβ€² 𝑦.
Strict Rank Monotonicity for PageRank
and Katz’s index (A note about r)
 This paper defines a generic damped spectral ranking given by
r=πœ— 𝑛β‰₯0(𝛼𝑀) 𝑛=πœ—(1 βˆ’ 𝛼𝑀)βˆ’1
With,
M: Transition Matrix
𝛼: Damping factor
πœ—: Preference vector
Strict Rank Monotonicity for PageRank
and Katz’s index (A note about r)
 PageRank Formalization (From the litterature)
R=cAR+(1-c)πœ—
 R is the right dominant eigenvector of A
 The authors of PageRank suggest computing R by repeatedly applying A
 PageRank Formalization (PageRank authors)
Let E(𝑒) be some vector over the Web pages that corresponds to a source of rank. Then, the
PageRank of a set of Web pages is an assignment, R’, to the Web pages which satisfies
Rβ€²
𝑒 = 𝑐
π‘£βˆˆπ΅ 𝑒
𝑅′
𝑣
𝑁𝑣
+ cE(u)
Such that c is maximized and | 𝑅′ |1=1 (| 𝑅′ |1denotes the 𝐿1 norm of R’).
Let u be a web page. Let 𝐹𝑒 be the set of pages u point to and 𝐡𝑒 be the set of pages that point
to u. Let 𝑁 𝑒=| 𝐹𝑒| be the number of links from u.
We have R’=c(AR’+E). Since | 𝑅′ |1, we can rewrite this as R’=c(A+E*1)R’ where 1 is the vector
consisting of all ones. So, R’ is an eigenvector of (A+E*1).
Other Results for Spectral Measures
 Theorem 4 Condition (3) of Theorem 3 can be substituted by the following
two hypotheses (that imply it)
1. 1 βˆ’ 𝛼𝑀 is (strictly) diagonally dominant
2. 𝑧 𝛿 𝑧 β‰₯ 0.
Note that this give specific terms for the realization of Condition 3 which can be
very useful, i.e., undertaking the verification prior to the computation of the
new r’.
Other Results for Spectral Measures
 Theorem 5 is a strict version of Theorem 3 for proving Strict Rank-
Monotonicity
 Corollary 1 PageRank satisfies the strict rank-monotonicity axiom, for any
graph, damping factor and preference vector, provided all scores are nonzero.
The latter condition is always true if the preference vector is everywhere
nonzero or if the graph is strongly connected.
 Corollary 2 Katz’s index satisfies the strict rank-monotonicity axiom, for any
graph, attenuation factor and preference vector, provided all scores are
nonzero. The latter condition is always true if the preference vector is
everywhere nonzero or if the graph is strongly connected.
Other Results for Spectral Measures
 Through quick proofs and counter examples, authors demonstrate that
β€’ Seeley’s index is not rank monotone on general graphs
β€’ Seeley’s index is not score monotone
β€’ Seeley’s index is score monotone and rank monotone for strongly connected
graphs but not strict rank monotone
β€’ SALSA is not score monotone and rank monotone
β€’ Another counter example (fig.10) shows that the dominant left eigenvector is
not rank monotone on general graphs.
β€’ HITS is not rank monotone for strongly connected graphs
β€’ HITS is not score monotone on strongly connected graphs
Other Results for Spectral Measures
β€’ Dominant left eigenvector is strict rank monotone
β€’ Dominant left eigenvector is score monotone for strongly connected graphs
Results for non-spectral Measures
β€’ Harmonic centrality is score monotone on all graphs
β€’ Harmonic centrality is strict rank monotone on all graphs
β€’ Closeness does not satisfy score monotonicity and rank monotonicity in
general graphs
β€’ Closeness is score monotone on strongly connected graphs
β€’ Lin’s index does not satisfy score monotonicity and rank monotonicity in
general graphs
β€’ Lin’s index is equivalent to closeness in strongly connected graphs so it
satisfies both score monotonicity and rank monotonicity but not strict rank
monotonicity
β€’ Betweenness does not satisfy all the axioms even in strongly connected graphs
The Proofs
 The proofs are quite elegant
 For the damped spectral measure proofs the authors used several
fundamental theorems and properties of Linear Algebra in order to achieve all
the steps of the proofs.
 They also used an innovative paradigm, i.e., β€˜the update vector’ for the said
proofs.
 For other proofs, they relied on fundamental mathematics as well as counter-
examples through insightful graphs
Proofs for non-spectral Measures
Proofs for non-spectral Measures
 Harmonic centrality. The reciprocal of a denormalized harmonic mean.
𝑦≠π‘₯
1
𝑑(𝑦,π‘₯)
Lemma 1 Let G be a graph with distance function d, and let d’ be the distance
function of G with an additional arc xοƒ y. Then, for every node 𝑀 β‰  𝑦 π‘Žπ‘›π‘‘ 𝑧 β‰  𝑀
we have
1
𝑑′(𝑀, 𝑧)
βˆ’
1
𝑑 𝑀, 𝑧
≀
1
𝑑′ 𝑀, 𝑦
βˆ’
1
𝑑(𝑀, 𝑦)
Moreover, if 𝑑′ 𝑀, 𝑧 < 𝑑(𝑀, 𝑧)
1
𝑑′(𝑀, 𝑧)
βˆ’
1
𝑑 𝑀, 𝑧
<
1
𝑑′ 𝑀, 𝑦
βˆ’
1
𝑑(𝑀, 𝑦)
Proofs for non-spectral Measures
 Proof. The first part is obvious if 𝑑′
𝑀, 𝑧 = 𝑑(𝑀, 𝑧)
 Otherwise, with the notation of Figure 1, the hypothesis 𝑑′ 𝑀, 𝑧 < 𝑑(𝑀, 𝑧)
yields 𝑠 > 𝑝 + 1 + π‘Ÿ (which implies 𝑝, π‘Ÿ < ∞). Note that in this case 𝑑 > 𝑝 + 1, as
otherwise 𝑠 > 𝑝 + 1 + π‘Ÿ β‰₯ 𝑑 + π‘Ÿ, contradicting the triangular inequality 𝑠 ≀ 𝑑 + π‘Ÿ.
We conclude that
1
𝑑′(𝑀,𝑧)
βˆ’
1
𝑑 𝑀,𝑧
=
1
𝑝+1+π‘Ÿ
βˆ’
1
𝑠
<
1
𝑝+1
βˆ’
1
𝑑
=
1
β…†β€² 𝑀,𝑦
βˆ’
1
β…† w,𝑦
,
Since 𝑠, 𝑑 < ∞
1
𝑝+1+π‘Ÿ
βˆ’
1
𝑠
-(
1
𝑝+1
βˆ’
1
𝑑
) =
𝑝+1βˆ’π‘βˆ’1βˆ’π‘Ÿ
𝑝+1+π‘Ÿ 𝑝+1
+
π‘ βˆ’π‘‘
𝑠𝑑
< βˆ’
π‘Ÿ
𝑠𝑑
+
π‘Ÿ
𝑠𝑑
= 0
If s or t are infinite the result holds.
Proofs for non-spectral Measures
 Theorem 1. Harmonic centrality satisfies strict rank monotonicity on all
graphs.
 Proof. With the notation of Lemma 1, we assume that for a node 𝑧 β‰  𝑦
𝑀≠𝑧
1
𝑑(𝑀,𝑧)
≀ 𝑀≠𝑦
1
𝑑(𝑀,𝑦)
.
Adding the latter inequality to that of Lemma 1, for every 𝑀 β‰  𝑦, 𝑧, we obtain
𝑀≠𝑧,𝑦
1
𝑑′(𝑀, 𝑧)
+
1
𝑑(𝑦, 𝑧)
≀
𝑀≠𝑧,𝑦
1
𝑑′(𝑀, 𝑦)
+
1
𝑑(𝑧, 𝑦)
Given that 𝑑′ 𝑦, 𝑧 = 𝑑 𝑦, 𝑧 π‘Žπ‘›π‘‘ 𝑑′ 𝑧, 𝑦 ≀ 𝑑 𝑧, 𝑦 . But then either 𝑧 β‰  π‘₯, in which
case at least for 𝑀 = π‘₯ we are adding a strict inequality, or 𝑧 =
π‘₯, 𝑖𝑛 π‘€β„Žπ‘–π‘β„Ž π‘π‘Žπ‘ π‘’ 𝑑′ 𝑧, 𝑦 < 𝑑(𝑧, 𝑦).
Proofs for non-spectral Measures
 Closeness. Bavelas introduced closeness in 1948, the closeness of x is defined
by
1
𝑦 𝑑(𝑦, π‘₯)
The graph must be strongly connected or some of the summands will be ∞.
To correct this, closeness is often patched by eliminating infinite summands at
the denominator, this version of closeness is the one used in this paper.
Nonetheless, the authors illustrate a counter-example for closeness on general
graphs.
Proofs for non-spectral Measures
Proofs for non-spectral Measures
 Lemma 2 Let G a graph with distance function d, and let d’ be the distance
function of G with an additional new arc xy. Then, for every node w and z
𝑑 𝑀, 𝑧 βˆ’ 𝑑′ 𝑀, 𝑧 ≀ 𝑑 𝑀, 𝑦 βˆ’ 𝑑′ 𝑀, 𝑦 .
Proof. If 𝑑 𝑀, 𝑧 = 𝑑′(𝑀, 𝑧) the result holds. Otherwise, looking at Figure 1, we
have 𝑠 ≀ 𝑑 + π‘Ÿ by the triangular inequality. Thus,
𝑑 𝑀, 𝑧 βˆ’ 𝑑′ 𝑀, 𝑧 ≀ 𝑠 βˆ’ 𝑝 βˆ’ 1 βˆ’ π‘Ÿ ≀ 𝑑 βˆ’ 𝑝 βˆ’ 1 ≀ 𝑑 𝑀, 𝑦 βˆ’ 𝑑′ 𝑀, 𝑦 .
Proofs for non-spectral Measures
 Theorem 2 Closeness satisfies rank monotonicity on strongly connected
graphs.
 Proof. With the notation of Lemma 2, we assume that for a node z
1
𝑀 𝑑(𝑀,𝑧)
≀
1
𝑀 𝑑(𝑀,𝑦)
.
Equivalently,
𝑀 𝑑(𝑀, 𝑦) ≀ 𝑀 𝑑(𝑀, 𝑧),
And adding for all w the inequalities of Lemma 2
𝑀 𝑑′(𝑀, 𝑦) ≀ 𝑀 𝑑′(𝑀, 𝑧).
The same deduction is true if we start from a strict inequality. An inversion of
the sums completes the proof.
Proofs for non-spectral Measures
Proofs for non-spectral Measures
 Lin’s index. A repaired definition of closeness for graphs with infinite
distances. The Lin’s index for a node x is
| 𝑦 𝑑 𝑦, π‘₯ < ∞ |Β²
𝑦≠π‘₯ 𝑑(𝑦,π‘₯)
.
β€’ For strongly connected graphs the measure is equivalent to closeness.
β€’ For general graphs the following graph is represented and serves as a counter-
example
Proofs for non-spectral Measures
The Lin centrality of y and z is (k+1)Β²/k.
After adding the arc, the centrality of y becomes (k+5)Β²/(k+9) which is smaller
for k>3
Proofs for Centrality Measures
Betweenness. Let 𝜎 𝑦𝑧 is the number of shortest paths going from
y to z. Let 𝜎 𝑦𝑧 x is the number of such paths passing through x,
we define the betweenness of x as
𝑦,𝑧≠π‘₯,𝜎 𝑦𝑧≠0
𝜎 𝑦𝑧(π‘₯)
𝜎 𝑦𝑧
.
In G, the score of x and y is
zero. But when adding xy, a
new shortest path arises
through x, raising its score to
1/3 while the score of y
remains zero
Proofs for spectral Measures
 Lemma 3 Let M be a nonnegative matrix, 0 ≀ 𝛼 ≀ 1/𝜌 𝑀 is a damping factor,
and πœ— a nonnegative preference vector. Let
r=πœ— 𝑛β‰₯0(𝛼𝑀) 𝑛
be the associated damped spectral ranking and let 𝐢 = (1 βˆ’ 𝛼𝑀)βˆ’1. Then, given y
and z such that 𝑐 𝑦𝑧 > 0 and letting π‘ž = 𝑐 𝑦𝑦/𝑐 𝑦𝑧, we have 𝑐 𝑀𝑦 ≀ π‘ž. 𝑐 𝑀𝑧 for all w. In
particular, if π‘Ÿπ‘¦ β‰  0
β€’ If π‘Ÿπ‘§ ≀ π‘Ÿπ‘¦, then 𝑐 𝑦𝑧 ≀ 𝑐 𝑦𝑦;
β€’ If π‘Ÿπ‘§ < π‘Ÿπ‘¦, then 𝑐 𝑦𝑧 < 𝑐 𝑦𝑦.
Note: The authors suggest that both PageRank and Katz’s index are special
instances of the damped spectral ranking
Proofs for spectral Measures
 Proof. The first claim is a statement of the property (Willoughby, 1977) that
for all y, z and w
𝑐 𝑦𝑧β‰₯
𝑐 𝑀𝑦 𝑐 𝑦𝑧
𝑐 𝑦𝑦
,
So π‘ž. 𝑐 𝑀𝑧 β‰₯ 𝑐 𝑀𝑦.
Note now that if 𝑐 𝑦𝑦 < 𝑐 𝑦𝑧, then π‘ž < 1, and
π‘Ÿπ‘¦= 𝑀 𝑣 𝑀 𝑐 𝑀𝑦 < 𝑀 𝑣 𝑀 𝑐 𝑀𝑧 = π‘Ÿπ‘§,
Which proves the first item (the strict inequality due to the assumption π‘Ÿπ‘¦ β‰  0).
If 𝑐 𝑦𝑦 ≀ 𝑐 𝑦𝑧, then π‘ž ≀ 1, and the second item follows similarly.
Proofs for spectral Measures
 Proof of Theorem 3 (The main theorem). In this proof, as in the Lemma 𝐢 =
(1 βˆ’ 𝛼𝑀)βˆ’1. First, given the hypotheses 1 βˆ’ 𝛼𝑀 and 1 βˆ’ 𝛼𝑀′ are M-matrices,
so they both have positive determinants. Since M’ is obtained from M by a
rank-one correction M’=M+π›˜ π‘₯
𝑇
𝛿, applying the matrix determinant lemma we
have
det 1 βˆ’ 𝛼𝑀′
= det(1 βˆ’ 𝛼𝑀 βˆ’ π›Όπ›˜ π‘₯
𝑇
𝛿)=(1 βˆ’ 𝛼𝛿(1 βˆ’ 𝛼𝑀)βˆ’1
π›˜ π‘₯
𝑇
)det(1 βˆ’ 𝛼𝑀).
Therefore,
1 βˆ’ 𝛼𝛿(1 βˆ’ 𝛼𝑀)βˆ’1 π›˜ π‘₯
𝑇 > 0
Proofs for spectral Measures
 Proof of Theorem 3 (Bis)
Given the Sherman-Morrison formula the inverse of 1 βˆ’ 𝛼𝑀′
is written as a
function of 1 βˆ’ 𝛼𝑀.
(1 βˆ’ 𝛼𝑀′
)βˆ’1
=(1 βˆ’ 𝛼(M+π›˜ π‘₯
𝑇
𝛿))βˆ’1
= (1 βˆ’ 𝛼𝑀 βˆ’ π›Όπ›˜ π‘₯
𝑇
𝛿)βˆ’1
= (1 βˆ’ 𝛼𝑀)βˆ’1
+
(1βˆ’π›Όπ‘€)βˆ’1 π›Όπ›˜ π‘₯
𝑇 𝛿(1βˆ’π›Όπ‘€)βˆ’1
1βˆ’π›Όπ›Ώ(1βˆ’π›Όπ‘€)βˆ’1 π›˜ π‘₯
𝑇
Then after a multiplication by the preference vector πœ—, the explicit spectral-
rank correction is obtained
π‘Ÿβ€² = πœ—(1 βˆ’ 𝛼𝑀′)βˆ’1
Thus, π‘Ÿβ€²
βˆ’ π‘Ÿ = 𝐾𝛿(1 βˆ’ 𝛼𝑀)βˆ’1
, with 𝐾 a positive constant
Proofs for spectral Measures
Note that if [𝛿(1 βˆ’ 𝛼𝑀)βˆ’1
] 𝑧 ≀ 0
The thesis is verified by the hypothesis π‘Ÿπ‘¦ ≀ π‘Ÿβ€² 𝑦. This holds true, in particular, if 𝑐 𝑦𝑧=
0, as in that case
if [𝛿(1 βˆ’ 𝛼𝑀)βˆ’1
] 𝑧 = βˆ’ 𝑀≠𝑦 |𝛿 𝑀| 𝑐 𝑀𝑧 ≀ 0.
If 𝑐 𝑦𝑧>0, since π‘Ÿπ‘¦ β‰  0 we know from Lemma 3 that π‘ž =
𝑐 𝑦𝑦
𝑐 𝑦𝑧
β‰₯ 1, and for all w we have
π‘ž. 𝑐 𝑀𝑧 β‰₯ 𝑐 𝑀𝑦. It follows that,
[𝛿(1 βˆ’ 𝛼𝑀)βˆ’1
] 𝑦 = 𝛿 𝑦 𝑐 𝑦𝑦- 𝑀≠𝑦 |𝛿 𝑀| 𝑐 𝑀𝑦 β‰₯ 𝛿 𝑦 π‘žπ‘ 𝑦𝑧 βˆ’ 𝑀≠𝑦 π‘ž|𝛿 𝑀|𝑐 𝑀𝑧
=π‘ž(𝛿 𝑦 𝑐 𝑦𝑧- 𝑀≠𝑦 | 𝛿 𝑀|𝑐 𝑀𝑧)=π‘ž[𝛿(1 βˆ’ 𝛼𝑀)βˆ’1
] 𝑧 β‰₯ [𝛿(1 βˆ’ 𝛼𝑀)βˆ’1
] 𝑧 .
This concludes the proof.
Proofs for other spectral Measures
 SALSA. The dominant left eigenvector of 𝐴 𝑇 𝐴.
The following illustration refutes score monotonicity and rank monotonicity on a
strong connected graph for SALSA
Before adding xy, all
scores where equal to
1/8, after the
addition, the score of
y decreases to 3/28
and the score of z
increases to 3/14
Proofs for other spectral Measures
 HITS. This rank is the dominant left eigenvector of 𝐴 𝑇
𝐴
The authors present two counter-examples for HITS, the first negates that the
measure is rank monotone on strongly connected graphs and the second
demonstrates that HIT is not score monotone on strongly connected graphs.
Before adding xy, there
is a unique dominant left
eigenvector that is zero
on all nodes except for
the 3-clique. After
addition of the arc, z has
a rank greater than y
Proofs for other
spectral Measures
 This counter-example depicts
that HITS is not score
monotone on strongly
connected graphs: The score
of y remains zero after the
addition of xy
Recommendations
 Establish, for damped spectral rankings, a result or a theoretical framework
for non-strictly positive preference vectors.
 The achievement of experimental results as part of a future work.
Implementation of PageRank and
Preference vectors (The TSPR concept)
It is important to handle the case of zero entries in the preference vector: The Perron-Frobenius
guarantees convergence of the eigenvector only for strongly connected graphs. Therefore, they
will be discarded from the calculation. The graph will lose its expressiveness
Simulation results (Implementation)
 Somme des probabilitΓ©s (TopicPageRankEntertainment) pour tous les nΕ“uds Γ  l'itΓ©ration : 30 est Γ©gale Γ  :0.9923696
 TopicPageRank Entertainment de 1 is 0.0
 TopicPageRank Entertainment de 2 is 0.0
 TopicPageRank Entertainment de 6 is 0.06743502
 TopicPageRank Entertainment de 8 is 0.028438566
 TopicPageRank Entertainment de 9 is 0.044316955
 TopicPageRank Entertainment de 10 is 0.063785814
 TopicPageRank Entertainment de 11 is 0.007656495
 TopicPageRank Entertainment de 12 is 0.008038292
 TopicPageRank Entertainment de 15 is 0.019652635
 TopicPageRank Entertainment de 16 is 0.040836316
 TopicPageRank Entertainment de 17 is 0.009657976
 TopicPageRank Entertainment de 42 is 7.545876E-4
 TopicPageRank Entertainment de 43 is 0.0075678686
 TopicPageRank Entertainment de 60 ²is 0.0
Recommendations for the proofs
 The consideration of a proposal of new versions of the rejected models that
could be Axioms-valid.
Criticism
 The results:
We clearly think that experimental results could have increased to multiple
factors the impact of the results.
 The proofs:
The hypothesis of the theorems and lemmas are very strong and it is not very
uncommon to meet a case of zero-valued entries of a preference vector or non-
zero sum of the entries of update vector, multiple strictly positive entries in the
update vector: the application cases mentioned at the end of the proof for
Theorem 3 and Corollary 1 of section 5.5.2 in the article where the entry of
exactly one node has exactly one positive value in the update vector while all
others have negative or zero values and wherein the sum of all entries of the
update vector is equal to zero has not been explained in-depth.
Criticism
 the authors define Spectral measure as the dominant left eigenvector of some
matrix derived from the adjacency matrix A of the graph. Given, that
PageRank is the right eigenvector and not the left eigenvector this assertion
in the paper lacks further argumentation.
Presentation of the Proofs
 The proofs are too succinct. We also encountered some ambiguity related to
presentation of vectors, identity vectors and matrices.
Possible improvements
 The Proofs: Exploration of a generalization proof for the Theorem 3 for
multiple p-successive applications of the update vector, i.e., 𝛿1, … , 𝛿 𝑝.
 Presentation of the Proofs:
β€’ We suggest clear presentation of vectors and matrices in a clear and easily
distinguishable manner, i.e., not merely emboldened police, this is especially
true for identity vectors.
β€’ The explanatory examples for proof of Theorem 3 and Corollary 1 of section
5.5.2, wherein the update vector entries sum to zero, deserves further
detailing.
Conclusion
 Valuable paper with very instructive insights
 Important contribution but has to be tested against the Web

More Related Content

What's hot

Cluster analysis
Cluster analysisCluster analysis
Cluster analysisJewel Refran
Β 
Community detection using citation relations and textual similarities in a la...
Community detection using citation relations and textual similarities in a la...Community detection using citation relations and textual similarities in a la...
Community detection using citation relations and textual similarities in a la...Nees Jan van Eck
Β 
Cluster Analysis Assignment 2013-2014(2)
Cluster Analysis Assignment 2013-2014(2)Cluster Analysis Assignment 2013-2014(2)
Cluster Analysis Assignment 2013-2014(2)TIEZHENG YUAN
Β 
Descriptive statistics
Descriptive statisticsDescriptive statistics
Descriptive statisticsAileen Balbido
Β 
Chapter36b
Chapter36bChapter36b
Chapter36bYing Liu
Β 
Intermediate Strategies for Metabolomic Data Analysis
Intermediate Strategies for Metabolomic Data AnalysisIntermediate Strategies for Metabolomic Data Analysis
Intermediate Strategies for Metabolomic Data AnalysisDmitry Grapov
Β 
Lecture slides stats1.13.l21.air
Lecture slides stats1.13.l21.airLecture slides stats1.13.l21.air
Lecture slides stats1.13.l21.airatutor_te
Β 
what is Correlations
what is Correlationswhat is Correlations
what is Correlationsderiliumboy
Β 
parameter Estimation and effect size
parameter Estimation and effect size parameter Estimation and effect size
parameter Estimation and effect size hannantahir30
Β 
Graphs (Biostatistics)
Graphs (Biostatistics)Graphs (Biostatistics)
Graphs (Biostatistics)Prashant Jatkar
Β 

What's hot (12)

Cluster analysis
Cluster analysisCluster analysis
Cluster analysis
Β 
Community detection using citation relations and textual similarities in a la...
Community detection using citation relations and textual similarities in a la...Community detection using citation relations and textual similarities in a la...
Community detection using citation relations and textual similarities in a la...
Β 
Cluster Analysis Assignment 2013-2014(2)
Cluster Analysis Assignment 2013-2014(2)Cluster Analysis Assignment 2013-2014(2)
Cluster Analysis Assignment 2013-2014(2)
Β 
Descriptive statistics
Descriptive statisticsDescriptive statistics
Descriptive statistics
Β 
Review on module 9
Review on module 9Review on module 9
Review on module 9
Β 
Chapter36b
Chapter36bChapter36b
Chapter36b
Β 
Intermediate Strategies for Metabolomic Data Analysis
Intermediate Strategies for Metabolomic Data AnalysisIntermediate Strategies for Metabolomic Data Analysis
Intermediate Strategies for Metabolomic Data Analysis
Β 
Lecture slides stats1.13.l21.air
Lecture slides stats1.13.l21.airLecture slides stats1.13.l21.air
Lecture slides stats1.13.l21.air
Β 
what is Correlations
what is Correlationswhat is Correlations
what is Correlations
Β 
parameter Estimation and effect size
parameter Estimation and effect size parameter Estimation and effect size
parameter Estimation and effect size
Β 
Correlational Research
Correlational ResearchCorrelational Research
Correlational Research
Β 
Graphs (Biostatistics)
Graphs (Biostatistics)Graphs (Biostatistics)
Graphs (Biostatistics)
Β 

Similar to Rank Monotonicity in Centrality Measures (A report about Quality guarantees for Search engines search Results)

Recommender system
Recommender systemRecommender system
Recommender systemBhumi Patel
Β 
Correlation Research Design
Correlation Research DesignCorrelation Research Design
Correlation Research DesignSu Qee
Β 
Read first few slides cluster analysis
Read first few slides cluster analysisRead first few slides cluster analysis
Read first few slides cluster analysisKritika Jain
Β 
Clusteranalysis 121206234137-phpapp01
Clusteranalysis 121206234137-phpapp01Clusteranalysis 121206234137-phpapp01
Clusteranalysis 121206234137-phpapp01deepti gupta
Β 
Clusteranalysis
Clusteranalysis Clusteranalysis
Clusteranalysis deepti gupta
Β 
cannonicalpresentation-110505114327-phpapp01.pdf
cannonicalpresentation-110505114327-phpapp01.pdfcannonicalpresentation-110505114327-phpapp01.pdf
cannonicalpresentation-110505114327-phpapp01.pdfJermaeDizon2
Β 
Cluster analysis
Cluster analysisCluster analysis
Cluster analysisAvijit Famous
Β 
Cannonical Correlation
Cannonical CorrelationCannonical Correlation
Cannonical Correlationdomsr
Β 
Cannonical correlation
Cannonical correlationCannonical correlation
Cannonical correlationdomsr
Β 
Introduction to correlation and regression analysis
Introduction to correlation and regression analysisIntroduction to correlation and regression analysis
Introduction to correlation and regression analysisFarzad Javidanrad
Β 
Unit-III Correlation and Regression.pptx
Unit-III Correlation and Regression.pptxUnit-III Correlation and Regression.pptx
Unit-III Correlation and Regression.pptxAnusuya123
Β 
Research method ch09 statistical methods 3 estimation np
Research method ch09 statistical methods 3 estimation npResearch method ch09 statistical methods 3 estimation np
Research method ch09 statistical methods 3 estimation npnaranbatn
Β 
Cluster Analysis
Cluster Analysis Cluster Analysis
Cluster Analysis Baivab Nag
Β 
03 Data Mining Techniques
03 Data Mining Techniques03 Data Mining Techniques
03 Data Mining TechniquesValerii Klymchuk
Β 
Spsshelp 100608163328-phpapp01
Spsshelp 100608163328-phpapp01Spsshelp 100608163328-phpapp01
Spsshelp 100608163328-phpapp01Henock Beyene
Β 

Similar to Rank Monotonicity in Centrality Measures (A report about Quality guarantees for Search engines search Results) (20)

Covariance.pdf
Covariance.pdfCovariance.pdf
Covariance.pdf
Β 
Recommender system
Recommender systemRecommender system
Recommender system
Β 
Correlation Research Design
Correlation Research DesignCorrelation Research Design
Correlation Research Design
Β 
Read first few slides cluster analysis
Read first few slides cluster analysisRead first few slides cluster analysis
Read first few slides cluster analysis
Β 
Clusteranalysis 121206234137-phpapp01
Clusteranalysis 121206234137-phpapp01Clusteranalysis 121206234137-phpapp01
Clusteranalysis 121206234137-phpapp01
Β 
Clusteranalysis
Clusteranalysis Clusteranalysis
Clusteranalysis
Β 
cannonicalpresentation-110505114327-phpapp01.pdf
cannonicalpresentation-110505114327-phpapp01.pdfcannonicalpresentation-110505114327-phpapp01.pdf
cannonicalpresentation-110505114327-phpapp01.pdf
Β 
Cluster analysis
Cluster analysisCluster analysis
Cluster analysis
Β 
Cannonical Correlation
Cannonical CorrelationCannonical Correlation
Cannonical Correlation
Β 
Cannonical correlation
Cannonical correlationCannonical correlation
Cannonical correlation
Β 
Introduction to correlation and regression analysis
Introduction to correlation and regression analysisIntroduction to correlation and regression analysis
Introduction to correlation and regression analysis
Β 
Unit-III Correlation and Regression.pptx
Unit-III Correlation and Regression.pptxUnit-III Correlation and Regression.pptx
Unit-III Correlation and Regression.pptx
Β 
Data Science Using Python
Data Science Using PythonData Science Using Python
Data Science Using Python
Β 
Research method ch09 statistical methods 3 estimation np
Research method ch09 statistical methods 3 estimation npResearch method ch09 statistical methods 3 estimation np
Research method ch09 statistical methods 3 estimation np
Β 
Building the Professional of 2020: An Approach to Business Change Process Int...
Building the Professional of 2020: An Approach to Business Change Process Int...Building the Professional of 2020: An Approach to Business Change Process Int...
Building the Professional of 2020: An Approach to Business Change Process Int...
Β 
Cluster Analysis
Cluster Analysis Cluster Analysis
Cluster Analysis
Β 
03 Data Mining Techniques
03 Data Mining Techniques03 Data Mining Techniques
03 Data Mining Techniques
Β 
Spsshelp 100608163328-phpapp01
Spsshelp 100608163328-phpapp01Spsshelp 100608163328-phpapp01
Spsshelp 100608163328-phpapp01
Β 
call for papers, research paper publishing, where to publish research paper, ...
call for papers, research paper publishing, where to publish research paper, ...call for papers, research paper publishing, where to publish research paper, ...
call for papers, research paper publishing, where to publish research paper, ...
Β 
Hybrid Distatis
Hybrid DistatisHybrid Distatis
Hybrid Distatis
Β 

Recently uploaded

GOING AOT WITH GRAALVM – DEVOXX GREECE.pdf
GOING AOT WITH GRAALVM – DEVOXX GREECE.pdfGOING AOT WITH GRAALVM – DEVOXX GREECE.pdf
GOING AOT WITH GRAALVM – DEVOXX GREECE.pdfAlina Yurenko
Β 
React Server Component in Next.js by Hanief Utama
React Server Component in Next.js by Hanief UtamaReact Server Component in Next.js by Hanief Utama
React Server Component in Next.js by Hanief UtamaHanief Utama
Β 
Maximizing Efficiency and Profitability with OnePlan’s Professional Service A...
Maximizing Efficiency and Profitability with OnePlan’s Professional Service A...Maximizing Efficiency and Profitability with OnePlan’s Professional Service A...
Maximizing Efficiency and Profitability with OnePlan’s Professional Service A...OnePlan Solutions
Β 
Salesforce Certified Field Service Consultant
Salesforce Certified Field Service ConsultantSalesforce Certified Field Service Consultant
Salesforce Certified Field Service ConsultantAxelRicardoTrocheRiq
Β 
The Evolution of Karaoke From Analog to App.pdf
The Evolution of Karaoke From Analog to App.pdfThe Evolution of Karaoke From Analog to App.pdf
The Evolution of Karaoke From Analog to App.pdfPower Karaoke
Β 
Cloud Management Software Platforms: OpenStack
Cloud Management Software Platforms: OpenStackCloud Management Software Platforms: OpenStack
Cloud Management Software Platforms: OpenStackVICTOR MAESTRE RAMIREZ
Β 
EY_Graph Database Powered Sustainability
EY_Graph Database Powered SustainabilityEY_Graph Database Powered Sustainability
EY_Graph Database Powered SustainabilityNeo4j
Β 
chapter--4-software-project-planning.ppt
chapter--4-software-project-planning.pptchapter--4-software-project-planning.ppt
chapter--4-software-project-planning.pptkotipi9215
Β 
Software Project Health Check: Best Practices and Techniques for Your Product...
Software Project Health Check: Best Practices and Techniques for Your Product...Software Project Health Check: Best Practices and Techniques for Your Product...
Software Project Health Check: Best Practices and Techniques for Your Product...Velvetech LLC
Β 
Asset Management Software - Infographic
Asset Management Software - InfographicAsset Management Software - Infographic
Asset Management Software - InfographicHr365.us smith
Β 
Advancing Engineering with AI through the Next Generation of Strategic Projec...
Advancing Engineering with AI through the Next Generation of Strategic Projec...Advancing Engineering with AI through the Next Generation of Strategic Projec...
Advancing Engineering with AI through the Next Generation of Strategic Projec...OnePlan Solutions
Β 
BATTLEFIELD ORM: TIPS, TACTICS AND STRATEGIES FOR CONQUERING YOUR DATABASE
BATTLEFIELD ORM: TIPS, TACTICS AND STRATEGIES FOR CONQUERING YOUR DATABASEBATTLEFIELD ORM: TIPS, TACTICS AND STRATEGIES FOR CONQUERING YOUR DATABASE
BATTLEFIELD ORM: TIPS, TACTICS AND STRATEGIES FOR CONQUERING YOUR DATABASEOrtus Solutions, Corp
Β 
(Genuine) Escort Service Lucknow | Starting β‚Ή,5K To @25k with A/C πŸ§‘πŸ½β€β€οΈβ€πŸ§‘πŸ» 89...
(Genuine) Escort Service Lucknow | Starting β‚Ή,5K To @25k with A/C πŸ§‘πŸ½β€β€οΈβ€πŸ§‘πŸ» 89...(Genuine) Escort Service Lucknow | Starting β‚Ή,5K To @25k with A/C πŸ§‘πŸ½β€β€οΈβ€πŸ§‘πŸ» 89...
(Genuine) Escort Service Lucknow | Starting β‚Ή,5K To @25k with A/C πŸ§‘πŸ½β€β€οΈβ€πŸ§‘πŸ» 89...gurkirankumar98700
Β 
Dealing with Cultural Dispersion β€” Stefano Lambiase β€” ICSE-SEIS 2024
Dealing with Cultural Dispersion β€” Stefano Lambiase β€” ICSE-SEIS 2024Dealing with Cultural Dispersion β€” Stefano Lambiase β€” ICSE-SEIS 2024
Dealing with Cultural Dispersion β€” Stefano Lambiase β€” ICSE-SEIS 2024StefanoLambiase
Β 
Adobe Marketo Engage Deep Dives: Using Webhooks to Transfer Data
Adobe Marketo Engage Deep Dives: Using Webhooks to Transfer DataAdobe Marketo Engage Deep Dives: Using Webhooks to Transfer Data
Adobe Marketo Engage Deep Dives: Using Webhooks to Transfer DataBradBedford3
Β 
Alluxio Monthly Webinar | Cloud-Native Model Training on Distributed Data
Alluxio Monthly Webinar | Cloud-Native Model Training on Distributed DataAlluxio Monthly Webinar | Cloud-Native Model Training on Distributed Data
Alluxio Monthly Webinar | Cloud-Native Model Training on Distributed DataAlluxio, Inc.
Β 
KnowAPIs-UnknownPerf-jaxMainz-2024 (1).pptx
KnowAPIs-UnknownPerf-jaxMainz-2024 (1).pptxKnowAPIs-UnknownPerf-jaxMainz-2024 (1).pptx
KnowAPIs-UnknownPerf-jaxMainz-2024 (1).pptxTier1 app
Β 
What is Fashion PLM and Why Do You Need It
What is Fashion PLM and Why Do You Need ItWhat is Fashion PLM and Why Do You Need It
What is Fashion PLM and Why Do You Need ItWave PLM
Β 
Call UsπŸ”>ΰΌ’+91-9711147426⇛Call In girls karol bagh (Delhi)
Call UsπŸ”>ΰΌ’+91-9711147426⇛Call In girls karol bagh (Delhi)Call UsπŸ”>ΰΌ’+91-9711147426⇛Call In girls karol bagh (Delhi)
Call UsπŸ”>ΰΌ’+91-9711147426⇛Call In girls karol bagh (Delhi)jennyeacort
Β 
MYjobs Presentation Django-based project
MYjobs Presentation Django-based projectMYjobs Presentation Django-based project
MYjobs Presentation Django-based projectAnoyGreter
Β 

Recently uploaded (20)

GOING AOT WITH GRAALVM – DEVOXX GREECE.pdf
GOING AOT WITH GRAALVM – DEVOXX GREECE.pdfGOING AOT WITH GRAALVM – DEVOXX GREECE.pdf
GOING AOT WITH GRAALVM – DEVOXX GREECE.pdf
Β 
React Server Component in Next.js by Hanief Utama
React Server Component in Next.js by Hanief UtamaReact Server Component in Next.js by Hanief Utama
React Server Component in Next.js by Hanief Utama
Β 
Maximizing Efficiency and Profitability with OnePlan’s Professional Service A...
Maximizing Efficiency and Profitability with OnePlan’s Professional Service A...Maximizing Efficiency and Profitability with OnePlan’s Professional Service A...
Maximizing Efficiency and Profitability with OnePlan’s Professional Service A...
Β 
Salesforce Certified Field Service Consultant
Salesforce Certified Field Service ConsultantSalesforce Certified Field Service Consultant
Salesforce Certified Field Service Consultant
Β 
The Evolution of Karaoke From Analog to App.pdf
The Evolution of Karaoke From Analog to App.pdfThe Evolution of Karaoke From Analog to App.pdf
The Evolution of Karaoke From Analog to App.pdf
Β 
Cloud Management Software Platforms: OpenStack
Cloud Management Software Platforms: OpenStackCloud Management Software Platforms: OpenStack
Cloud Management Software Platforms: OpenStack
Β 
EY_Graph Database Powered Sustainability
EY_Graph Database Powered SustainabilityEY_Graph Database Powered Sustainability
EY_Graph Database Powered Sustainability
Β 
chapter--4-software-project-planning.ppt
chapter--4-software-project-planning.pptchapter--4-software-project-planning.ppt
chapter--4-software-project-planning.ppt
Β 
Software Project Health Check: Best Practices and Techniques for Your Product...
Software Project Health Check: Best Practices and Techniques for Your Product...Software Project Health Check: Best Practices and Techniques for Your Product...
Software Project Health Check: Best Practices and Techniques for Your Product...
Β 
Asset Management Software - Infographic
Asset Management Software - InfographicAsset Management Software - Infographic
Asset Management Software - Infographic
Β 
Advancing Engineering with AI through the Next Generation of Strategic Projec...
Advancing Engineering with AI through the Next Generation of Strategic Projec...Advancing Engineering with AI through the Next Generation of Strategic Projec...
Advancing Engineering with AI through the Next Generation of Strategic Projec...
Β 
BATTLEFIELD ORM: TIPS, TACTICS AND STRATEGIES FOR CONQUERING YOUR DATABASE
BATTLEFIELD ORM: TIPS, TACTICS AND STRATEGIES FOR CONQUERING YOUR DATABASEBATTLEFIELD ORM: TIPS, TACTICS AND STRATEGIES FOR CONQUERING YOUR DATABASE
BATTLEFIELD ORM: TIPS, TACTICS AND STRATEGIES FOR CONQUERING YOUR DATABASE
Β 
(Genuine) Escort Service Lucknow | Starting β‚Ή,5K To @25k with A/C πŸ§‘πŸ½β€β€οΈβ€πŸ§‘πŸ» 89...
(Genuine) Escort Service Lucknow | Starting β‚Ή,5K To @25k with A/C πŸ§‘πŸ½β€β€οΈβ€πŸ§‘πŸ» 89...(Genuine) Escort Service Lucknow | Starting β‚Ή,5K To @25k with A/C πŸ§‘πŸ½β€β€οΈβ€πŸ§‘πŸ» 89...
(Genuine) Escort Service Lucknow | Starting β‚Ή,5K To @25k with A/C πŸ§‘πŸ½β€β€οΈβ€πŸ§‘πŸ» 89...
Β 
Dealing with Cultural Dispersion β€” Stefano Lambiase β€” ICSE-SEIS 2024
Dealing with Cultural Dispersion β€” Stefano Lambiase β€” ICSE-SEIS 2024Dealing with Cultural Dispersion β€” Stefano Lambiase β€” ICSE-SEIS 2024
Dealing with Cultural Dispersion β€” Stefano Lambiase β€” ICSE-SEIS 2024
Β 
Adobe Marketo Engage Deep Dives: Using Webhooks to Transfer Data
Adobe Marketo Engage Deep Dives: Using Webhooks to Transfer DataAdobe Marketo Engage Deep Dives: Using Webhooks to Transfer Data
Adobe Marketo Engage Deep Dives: Using Webhooks to Transfer Data
Β 
Alluxio Monthly Webinar | Cloud-Native Model Training on Distributed Data
Alluxio Monthly Webinar | Cloud-Native Model Training on Distributed DataAlluxio Monthly Webinar | Cloud-Native Model Training on Distributed Data
Alluxio Monthly Webinar | Cloud-Native Model Training on Distributed Data
Β 
KnowAPIs-UnknownPerf-jaxMainz-2024 (1).pptx
KnowAPIs-UnknownPerf-jaxMainz-2024 (1).pptxKnowAPIs-UnknownPerf-jaxMainz-2024 (1).pptx
KnowAPIs-UnknownPerf-jaxMainz-2024 (1).pptx
Β 
What is Fashion PLM and Why Do You Need It
What is Fashion PLM and Why Do You Need ItWhat is Fashion PLM and Why Do You Need It
What is Fashion PLM and Why Do You Need It
Β 
Call UsπŸ”>ΰΌ’+91-9711147426⇛Call In girls karol bagh (Delhi)
Call UsπŸ”>ΰΌ’+91-9711147426⇛Call In girls karol bagh (Delhi)Call UsπŸ”>ΰΌ’+91-9711147426⇛Call In girls karol bagh (Delhi)
Call UsπŸ”>ΰΌ’+91-9711147426⇛Call In girls karol bagh (Delhi)
Β 
MYjobs Presentation Django-based project
MYjobs Presentation Django-based projectMYjobs Presentation Django-based project
MYjobs Presentation Django-based project
Β 

Rank Monotonicity in Centrality Measures (A report about Quality guarantees for Search engines search Results)

  • 1. Presentation of the Paper Rank Monotonicity in Centrality Measures Paolo Boldi Alessandro Luongo Sebastiano Vigna Presentation prepared by Mahdi Cherif for the Course Graph Mining. Lectured by Andrea Marino UniFI 2018-2019 17th of July, 2019
  • 2. Synopsis of the Paper  The authors present three axioms, i.e., the Score-Monotonicity Axiom, the Rank-Monotonicity Axiom as well as the Strict Rank-Monotonicity Axiom.  Eleven β€˜Centrality’ measures for graphs are presented and explored in terms of the three properties defined by the said axioms.
  • 3. The Paper (Methodology and type)  The paper adopts a deductive methodology as well as a case-study method, i.e., counter-examples method for negating the properties for any of the measures for general graphs or strongly connected graphs  The paper builds on an axiomatic approach  The paper can be entitled for classification in three categories, i.e, survey, reprise and progress scientific work.
  • 4. Significance of the Paper  Strict rank monotonicity is proved for PageRank and Katz’s index. We understand that this is the main contribution of the paper  Additionally, , a set of results related to non-Markovian measures as well as various insightful counter-examples are included for both Markovian and non- Markovian measures.  The Paper and the results are interesting for two reasons: β€’ The web and its community are constantly seeking better user-tailored results and the Strict Rank-Monotonicity Axiom could be perceived as a quality theoretical guarantee of a search engine measure model. β€’ Better understanding of search engines reaction to changes occurring in the structure of the web.
  • 5. Context of the Paper  Continuous quest for better results of search engines responding to users search queries  Search engines tend to use Heuristics in order to score the very large volume of data collections available in the Web  The scoring is inherently subjective given that importance of a web document is a matter of Personal taste and perspective  Nonetheless there have been multiple attempts to formalize such scores and make them Deterministic
  • 6. Context of the Paper (The Dilemma)  Legal framework is increasingly restrictive, e.g., the right to be forgotten, data protection by design, data privacy, user’s ownership of his data, indiscriminate profiling  Size of the Web increased out of proportions  Dark scores, e.g., Google’s Sauce !
  • 7. Authors Answer (The Axioms)  The authors capitalize on previous work of themselves and other researchers and present three Axioms (Definitions) for a given measure wherein a score model is characterized as compliant with the property (Axiom) or not  The Score-Monotonicity Axiom  The Rank-Monotonicity Axiom  The Strict Rank-Monotonicity Axiom
  • 8. The Axioms (The Pledge)  Offering a formal guarantee of the quality of a scoring measure  A cross-scores guarantee, i.e., allows indiscriminate factual judgement of any centrality measure  Aim to identify the properties of a graph G after the addition of one arc xοƒ y  The authors had to address each measure twice, i.e, for each measure a separate proof or counter-example for General Graphs and a proof or counter-example for Strongly connected Graphs
  • 9. Definition 1 (Score-Monotonicity Axiom)  A centrality measure satisfies the score-monotonicity axiom if for every graph G and every pair of nodes x,y such that x-/->y, when we add xοƒ y to G the centrality of y increases. Note that previous work by other researchers has focused on the notion of Score- Monotonicity which they proved for PageRank
  • 10. Definition 2 (Rank-Monotonicity Axiom)  A centrality measure satisfies the rank-monotonicity axiom if for every graph G and every pair of nodes x,y such that x-/->y, when we add xοƒ y to G the following happens: β€’ If the score of z was strictly smaller than the score of y, this fact remains true after adding xοƒ y; β€’ If the score of z was smaller than or equal to the score of y, this remains true after adding xοƒ y. Note that another formulation of the above definition is as follows: β€’ If the score of z was strictly smaller than the score of y, this remains true after adding xοƒ y; β€’ If the score of z was equal to the score of y, it remains equal or becomes smaller after adding x->y.
  • 11. Definition 3 (Strict Rank-Monotonicity Axiom)  A centrality measure satisfies the strict rank-monotonicity axiom if for every graph G and every pair of nodes x,y such that x-/->y, when we add xοƒ y to G the following happens: β€’ If the score of zβ‰ y was smaller than or equal to the score of y, after adding xοƒ y the score of z becomes smaller than the score of y. Note that the only difference between the last two definitions is the behavior on ties (nodes with the same score as y): if a measure is strictly rank monotone, adding an arc xοƒ y will break all ties with other nodes in favor of y.
  • 12. The Measures (Centrality Measures Survey)  The authors identify in section 3.1 eleven measures labeled as β€˜Centrality Measures’  A sub-category is recognized for Markovian measures, such measures are called in this paper β€˜Spectral measures’  Non-spectral measures are: β€’ Indegree β€’ Closeness β€’ Lin’s index β€’ Harmonic centrality
  • 13. The Measures (Centrality Measures Survey)  Spectral Measures are: β€’ The dominant left eigenvector β€’ Seeley’s index β€’ Katz’s index β€’ PageRank β€’ HITS β€’ SALSA
  • 14. The Results Centrality SMN (General G) RMN (General G) SMN (SC G) RMN (SC G) Harmonic yes yes* yes yes* Degree yes yes* yes yes* Katz yes yes* yes yes* PageRank yes yes* yes yes* Dominant no no yes yes* Seeley no no yes yes Lin no no yes yes Closeness no no yes yes HITS no no no no SALSA no no no no Betweenness no no no no Yes*: Strict rank Monotonicity is satisfied
  • 15. Overview of the Results  Strict rank monotonicity is proved for PageRank and Katz’s index. A result with clear value for the Web mining scientific and industrial communities.  Other proofs and counter-examples for other spectral measures, besides PageRank and Katz’s index.  a set of results related to non-Markovian measures as well as various insightful counter-examples are included for both Markovian and non- Markovian measures.
  • 16. Strict Rank Monotonicity for PageRank and Katz’s index  Theorem 3 Let M and M’ be two nonnegative matrices, such that M’-M=π›˜ π‘₯ 𝑇 𝛿 (i.e, the matrices differ only on the x-th row and 𝛿 is the corresponding row difference). Let also πœ— be a nonnegative preference vector and 0 ≀ Ξ± ≀ min (1/ρ(M),1/ρ(M’)); let r and r’ be the damped spectral rakings associated with M and M’ respectively. Assume further that: 1. There is exactly one y such that 𝜹 𝑦>0; 2. π‘Ÿπ‘¦ β‰  0 3. π‘Ÿπ‘¦ ≀ π‘Ÿβ€² 𝑦 Then, if π‘Ÿπ‘§ ≀ π‘Ÿπ‘¦ we have π‘Ÿβ€² 𝑧-π‘Ÿπ‘§ ≀ π‘Ÿβ€² 𝑦-π‘Ÿπ‘¦. As a consequence, π‘Ÿπ‘§ ≀ π‘Ÿπ‘¦ implies π‘Ÿβ€² 𝑧 ≀ π‘Ÿβ€² 𝑦, whereas π‘Ÿπ‘§ < π‘Ÿπ‘¦ implies π‘Ÿβ€² 𝑧 < π‘Ÿβ€² 𝑦.
  • 17. Strict Rank Monotonicity for PageRank and Katz’s index (A note about r)  This paper defines a generic damped spectral ranking given by r=πœ— 𝑛β‰₯0(𝛼𝑀) 𝑛=πœ—(1 βˆ’ 𝛼𝑀)βˆ’1 With, M: Transition Matrix 𝛼: Damping factor πœ—: Preference vector
  • 18. Strict Rank Monotonicity for PageRank and Katz’s index (A note about r)  PageRank Formalization (From the litterature) R=cAR+(1-c)πœ—  R is the right dominant eigenvector of A  The authors of PageRank suggest computing R by repeatedly applying A  PageRank Formalization (PageRank authors) Let E(𝑒) be some vector over the Web pages that corresponds to a source of rank. Then, the PageRank of a set of Web pages is an assignment, R’, to the Web pages which satisfies Rβ€² 𝑒 = 𝑐 π‘£βˆˆπ΅ 𝑒 𝑅′ 𝑣 𝑁𝑣 + cE(u) Such that c is maximized and | 𝑅′ |1=1 (| 𝑅′ |1denotes the 𝐿1 norm of R’). Let u be a web page. Let 𝐹𝑒 be the set of pages u point to and 𝐡𝑒 be the set of pages that point to u. Let 𝑁 𝑒=| 𝐹𝑒| be the number of links from u. We have R’=c(AR’+E). Since | 𝑅′ |1, we can rewrite this as R’=c(A+E*1)R’ where 1 is the vector consisting of all ones. So, R’ is an eigenvector of (A+E*1).
  • 19. Other Results for Spectral Measures  Theorem 4 Condition (3) of Theorem 3 can be substituted by the following two hypotheses (that imply it) 1. 1 βˆ’ 𝛼𝑀 is (strictly) diagonally dominant 2. 𝑧 𝛿 𝑧 β‰₯ 0. Note that this give specific terms for the realization of Condition 3 which can be very useful, i.e., undertaking the verification prior to the computation of the new r’.
  • 20. Other Results for Spectral Measures  Theorem 5 is a strict version of Theorem 3 for proving Strict Rank- Monotonicity  Corollary 1 PageRank satisfies the strict rank-monotonicity axiom, for any graph, damping factor and preference vector, provided all scores are nonzero. The latter condition is always true if the preference vector is everywhere nonzero or if the graph is strongly connected.  Corollary 2 Katz’s index satisfies the strict rank-monotonicity axiom, for any graph, attenuation factor and preference vector, provided all scores are nonzero. The latter condition is always true if the preference vector is everywhere nonzero or if the graph is strongly connected.
  • 21. Other Results for Spectral Measures  Through quick proofs and counter examples, authors demonstrate that β€’ Seeley’s index is not rank monotone on general graphs β€’ Seeley’s index is not score monotone β€’ Seeley’s index is score monotone and rank monotone for strongly connected graphs but not strict rank monotone β€’ SALSA is not score monotone and rank monotone β€’ Another counter example (fig.10) shows that the dominant left eigenvector is not rank monotone on general graphs. β€’ HITS is not rank monotone for strongly connected graphs β€’ HITS is not score monotone on strongly connected graphs
  • 22. Other Results for Spectral Measures β€’ Dominant left eigenvector is strict rank monotone β€’ Dominant left eigenvector is score monotone for strongly connected graphs
  • 23. Results for non-spectral Measures β€’ Harmonic centrality is score monotone on all graphs β€’ Harmonic centrality is strict rank monotone on all graphs β€’ Closeness does not satisfy score monotonicity and rank monotonicity in general graphs β€’ Closeness is score monotone on strongly connected graphs β€’ Lin’s index does not satisfy score monotonicity and rank monotonicity in general graphs β€’ Lin’s index is equivalent to closeness in strongly connected graphs so it satisfies both score monotonicity and rank monotonicity but not strict rank monotonicity β€’ Betweenness does not satisfy all the axioms even in strongly connected graphs
  • 24. The Proofs  The proofs are quite elegant  For the damped spectral measure proofs the authors used several fundamental theorems and properties of Linear Algebra in order to achieve all the steps of the proofs.  They also used an innovative paradigm, i.e., β€˜the update vector’ for the said proofs.  For other proofs, they relied on fundamental mathematics as well as counter- examples through insightful graphs
  • 26. Proofs for non-spectral Measures  Harmonic centrality. The reciprocal of a denormalized harmonic mean. 𝑦≠π‘₯ 1 𝑑(𝑦,π‘₯) Lemma 1 Let G be a graph with distance function d, and let d’ be the distance function of G with an additional arc xοƒ y. Then, for every node 𝑀 β‰  𝑦 π‘Žπ‘›π‘‘ 𝑧 β‰  𝑀 we have 1 𝑑′(𝑀, 𝑧) βˆ’ 1 𝑑 𝑀, 𝑧 ≀ 1 𝑑′ 𝑀, 𝑦 βˆ’ 1 𝑑(𝑀, 𝑦) Moreover, if 𝑑′ 𝑀, 𝑧 < 𝑑(𝑀, 𝑧) 1 𝑑′(𝑀, 𝑧) βˆ’ 1 𝑑 𝑀, 𝑧 < 1 𝑑′ 𝑀, 𝑦 βˆ’ 1 𝑑(𝑀, 𝑦)
  • 27. Proofs for non-spectral Measures  Proof. The first part is obvious if 𝑑′ 𝑀, 𝑧 = 𝑑(𝑀, 𝑧)  Otherwise, with the notation of Figure 1, the hypothesis 𝑑′ 𝑀, 𝑧 < 𝑑(𝑀, 𝑧) yields 𝑠 > 𝑝 + 1 + π‘Ÿ (which implies 𝑝, π‘Ÿ < ∞). Note that in this case 𝑑 > 𝑝 + 1, as otherwise 𝑠 > 𝑝 + 1 + π‘Ÿ β‰₯ 𝑑 + π‘Ÿ, contradicting the triangular inequality 𝑠 ≀ 𝑑 + π‘Ÿ. We conclude that 1 𝑑′(𝑀,𝑧) βˆ’ 1 𝑑 𝑀,𝑧 = 1 𝑝+1+π‘Ÿ βˆ’ 1 𝑠 < 1 𝑝+1 βˆ’ 1 𝑑 = 1 β…†β€² 𝑀,𝑦 βˆ’ 1 β…† w,𝑦 , Since 𝑠, 𝑑 < ∞ 1 𝑝+1+π‘Ÿ βˆ’ 1 𝑠 -( 1 𝑝+1 βˆ’ 1 𝑑 ) = 𝑝+1βˆ’π‘βˆ’1βˆ’π‘Ÿ 𝑝+1+π‘Ÿ 𝑝+1 + π‘ βˆ’π‘‘ 𝑠𝑑 < βˆ’ π‘Ÿ 𝑠𝑑 + π‘Ÿ 𝑠𝑑 = 0 If s or t are infinite the result holds.
  • 28. Proofs for non-spectral Measures  Theorem 1. Harmonic centrality satisfies strict rank monotonicity on all graphs.  Proof. With the notation of Lemma 1, we assume that for a node 𝑧 β‰  𝑦 𝑀≠𝑧 1 𝑑(𝑀,𝑧) ≀ 𝑀≠𝑦 1 𝑑(𝑀,𝑦) . Adding the latter inequality to that of Lemma 1, for every 𝑀 β‰  𝑦, 𝑧, we obtain 𝑀≠𝑧,𝑦 1 𝑑′(𝑀, 𝑧) + 1 𝑑(𝑦, 𝑧) ≀ 𝑀≠𝑧,𝑦 1 𝑑′(𝑀, 𝑦) + 1 𝑑(𝑧, 𝑦) Given that 𝑑′ 𝑦, 𝑧 = 𝑑 𝑦, 𝑧 π‘Žπ‘›π‘‘ 𝑑′ 𝑧, 𝑦 ≀ 𝑑 𝑧, 𝑦 . But then either 𝑧 β‰  π‘₯, in which case at least for 𝑀 = π‘₯ we are adding a strict inequality, or 𝑧 = π‘₯, 𝑖𝑛 π‘€β„Žπ‘–π‘β„Ž π‘π‘Žπ‘ π‘’ 𝑑′ 𝑧, 𝑦 < 𝑑(𝑧, 𝑦).
  • 29. Proofs for non-spectral Measures  Closeness. Bavelas introduced closeness in 1948, the closeness of x is defined by 1 𝑦 𝑑(𝑦, π‘₯) The graph must be strongly connected or some of the summands will be ∞. To correct this, closeness is often patched by eliminating infinite summands at the denominator, this version of closeness is the one used in this paper. Nonetheless, the authors illustrate a counter-example for closeness on general graphs.
  • 31. Proofs for non-spectral Measures  Lemma 2 Let G a graph with distance function d, and let d’ be the distance function of G with an additional new arc xοƒ y. Then, for every node w and z 𝑑 𝑀, 𝑧 βˆ’ 𝑑′ 𝑀, 𝑧 ≀ 𝑑 𝑀, 𝑦 βˆ’ 𝑑′ 𝑀, 𝑦 . Proof. If 𝑑 𝑀, 𝑧 = 𝑑′(𝑀, 𝑧) the result holds. Otherwise, looking at Figure 1, we have 𝑠 ≀ 𝑑 + π‘Ÿ by the triangular inequality. Thus, 𝑑 𝑀, 𝑧 βˆ’ 𝑑′ 𝑀, 𝑧 ≀ 𝑠 βˆ’ 𝑝 βˆ’ 1 βˆ’ π‘Ÿ ≀ 𝑑 βˆ’ 𝑝 βˆ’ 1 ≀ 𝑑 𝑀, 𝑦 βˆ’ 𝑑′ 𝑀, 𝑦 .
  • 32. Proofs for non-spectral Measures  Theorem 2 Closeness satisfies rank monotonicity on strongly connected graphs.  Proof. With the notation of Lemma 2, we assume that for a node z 1 𝑀 𝑑(𝑀,𝑧) ≀ 1 𝑀 𝑑(𝑀,𝑦) . Equivalently, 𝑀 𝑑(𝑀, 𝑦) ≀ 𝑀 𝑑(𝑀, 𝑧), And adding for all w the inequalities of Lemma 2 𝑀 𝑑′(𝑀, 𝑦) ≀ 𝑀 𝑑′(𝑀, 𝑧). The same deduction is true if we start from a strict inequality. An inversion of the sums completes the proof.
  • 34. Proofs for non-spectral Measures  Lin’s index. A repaired definition of closeness for graphs with infinite distances. The Lin’s index for a node x is | 𝑦 𝑑 𝑦, π‘₯ < ∞ |Β² 𝑦≠π‘₯ 𝑑(𝑦,π‘₯) . β€’ For strongly connected graphs the measure is equivalent to closeness. β€’ For general graphs the following graph is represented and serves as a counter- example
  • 35. Proofs for non-spectral Measures The Lin centrality of y and z is (k+1)Β²/k. After adding the arc, the centrality of y becomes (k+5)Β²/(k+9) which is smaller for k>3
  • 36. Proofs for Centrality Measures Betweenness. Let 𝜎 𝑦𝑧 is the number of shortest paths going from y to z. Let 𝜎 𝑦𝑧 x is the number of such paths passing through x, we define the betweenness of x as 𝑦,𝑧≠π‘₯,𝜎 𝑦𝑧≠0 𝜎 𝑦𝑧(π‘₯) 𝜎 𝑦𝑧 . In G, the score of x and y is zero. But when adding xοƒ y, a new shortest path arises through x, raising its score to 1/3 while the score of y remains zero
  • 37. Proofs for spectral Measures  Lemma 3 Let M be a nonnegative matrix, 0 ≀ 𝛼 ≀ 1/𝜌 𝑀 is a damping factor, and πœ— a nonnegative preference vector. Let r=πœ— 𝑛β‰₯0(𝛼𝑀) 𝑛 be the associated damped spectral ranking and let 𝐢 = (1 βˆ’ 𝛼𝑀)βˆ’1. Then, given y and z such that 𝑐 𝑦𝑧 > 0 and letting π‘ž = 𝑐 𝑦𝑦/𝑐 𝑦𝑧, we have 𝑐 𝑀𝑦 ≀ π‘ž. 𝑐 𝑀𝑧 for all w. In particular, if π‘Ÿπ‘¦ β‰  0 β€’ If π‘Ÿπ‘§ ≀ π‘Ÿπ‘¦, then 𝑐 𝑦𝑧 ≀ 𝑐 𝑦𝑦; β€’ If π‘Ÿπ‘§ < π‘Ÿπ‘¦, then 𝑐 𝑦𝑧 < 𝑐 𝑦𝑦. Note: The authors suggest that both PageRank and Katz’s index are special instances of the damped spectral ranking
  • 38. Proofs for spectral Measures  Proof. The first claim is a statement of the property (Willoughby, 1977) that for all y, z and w 𝑐 𝑦𝑧β‰₯ 𝑐 𝑀𝑦 𝑐 𝑦𝑧 𝑐 𝑦𝑦 , So π‘ž. 𝑐 𝑀𝑧 β‰₯ 𝑐 𝑀𝑦. Note now that if 𝑐 𝑦𝑦 < 𝑐 𝑦𝑧, then π‘ž < 1, and π‘Ÿπ‘¦= 𝑀 𝑣 𝑀 𝑐 𝑀𝑦 < 𝑀 𝑣 𝑀 𝑐 𝑀𝑧 = π‘Ÿπ‘§, Which proves the first item (the strict inequality due to the assumption π‘Ÿπ‘¦ β‰  0). If 𝑐 𝑦𝑦 ≀ 𝑐 𝑦𝑧, then π‘ž ≀ 1, and the second item follows similarly.
  • 39. Proofs for spectral Measures  Proof of Theorem 3 (The main theorem). In this proof, as in the Lemma 𝐢 = (1 βˆ’ 𝛼𝑀)βˆ’1. First, given the hypotheses 1 βˆ’ 𝛼𝑀 and 1 βˆ’ 𝛼𝑀′ are M-matrices, so they both have positive determinants. Since M’ is obtained from M by a rank-one correction M’=M+π›˜ π‘₯ 𝑇 𝛿, applying the matrix determinant lemma we have det 1 βˆ’ 𝛼𝑀′ = det(1 βˆ’ 𝛼𝑀 βˆ’ π›Όπ›˜ π‘₯ 𝑇 𝛿)=(1 βˆ’ 𝛼𝛿(1 βˆ’ 𝛼𝑀)βˆ’1 π›˜ π‘₯ 𝑇 )det(1 βˆ’ 𝛼𝑀). Therefore, 1 βˆ’ 𝛼𝛿(1 βˆ’ 𝛼𝑀)βˆ’1 π›˜ π‘₯ 𝑇 > 0
  • 40. Proofs for spectral Measures  Proof of Theorem 3 (Bis) Given the Sherman-Morrison formula the inverse of 1 βˆ’ 𝛼𝑀′ is written as a function of 1 βˆ’ 𝛼𝑀. (1 βˆ’ 𝛼𝑀′ )βˆ’1 =(1 βˆ’ 𝛼(M+π›˜ π‘₯ 𝑇 𝛿))βˆ’1 = (1 βˆ’ 𝛼𝑀 βˆ’ π›Όπ›˜ π‘₯ 𝑇 𝛿)βˆ’1 = (1 βˆ’ 𝛼𝑀)βˆ’1 + (1βˆ’π›Όπ‘€)βˆ’1 π›Όπ›˜ π‘₯ 𝑇 𝛿(1βˆ’π›Όπ‘€)βˆ’1 1βˆ’π›Όπ›Ώ(1βˆ’π›Όπ‘€)βˆ’1 π›˜ π‘₯ 𝑇 Then after a multiplication by the preference vector πœ—, the explicit spectral- rank correction is obtained π‘Ÿβ€² = πœ—(1 βˆ’ 𝛼𝑀′)βˆ’1 Thus, π‘Ÿβ€² βˆ’ π‘Ÿ = 𝐾𝛿(1 βˆ’ 𝛼𝑀)βˆ’1 , with 𝐾 a positive constant
  • 41. Proofs for spectral Measures Note that if [𝛿(1 βˆ’ 𝛼𝑀)βˆ’1 ] 𝑧 ≀ 0 The thesis is verified by the hypothesis π‘Ÿπ‘¦ ≀ π‘Ÿβ€² 𝑦. This holds true, in particular, if 𝑐 𝑦𝑧= 0, as in that case if [𝛿(1 βˆ’ 𝛼𝑀)βˆ’1 ] 𝑧 = βˆ’ 𝑀≠𝑦 |𝛿 𝑀| 𝑐 𝑀𝑧 ≀ 0. If 𝑐 𝑦𝑧>0, since π‘Ÿπ‘¦ β‰  0 we know from Lemma 3 that π‘ž = 𝑐 𝑦𝑦 𝑐 𝑦𝑧 β‰₯ 1, and for all w we have π‘ž. 𝑐 𝑀𝑧 β‰₯ 𝑐 𝑀𝑦. It follows that, [𝛿(1 βˆ’ 𝛼𝑀)βˆ’1 ] 𝑦 = 𝛿 𝑦 𝑐 𝑦𝑦- 𝑀≠𝑦 |𝛿 𝑀| 𝑐 𝑀𝑦 β‰₯ 𝛿 𝑦 π‘žπ‘ 𝑦𝑧 βˆ’ 𝑀≠𝑦 π‘ž|𝛿 𝑀|𝑐 𝑀𝑧 =π‘ž(𝛿 𝑦 𝑐 𝑦𝑧- 𝑀≠𝑦 | 𝛿 𝑀|𝑐 𝑀𝑧)=π‘ž[𝛿(1 βˆ’ 𝛼𝑀)βˆ’1 ] 𝑧 β‰₯ [𝛿(1 βˆ’ 𝛼𝑀)βˆ’1 ] 𝑧 . This concludes the proof.
  • 42. Proofs for other spectral Measures  SALSA. The dominant left eigenvector of 𝐴 𝑇 𝐴. The following illustration refutes score monotonicity and rank monotonicity on a strong connected graph for SALSA Before adding xοƒ y, all scores where equal to 1/8, after the addition, the score of y decreases to 3/28 and the score of z increases to 3/14
  • 43. Proofs for other spectral Measures  HITS. This rank is the dominant left eigenvector of 𝐴 𝑇 𝐴 The authors present two counter-examples for HITS, the first negates that the measure is rank monotone on strongly connected graphs and the second demonstrates that HIT is not score monotone on strongly connected graphs. Before adding xοƒ y, there is a unique dominant left eigenvector that is zero on all nodes except for the 3-clique. After addition of the arc, z has a rank greater than y
  • 44. Proofs for other spectral Measures  This counter-example depicts that HITS is not score monotone on strongly connected graphs: The score of y remains zero after the addition of xοƒ y
  • 45. Recommendations  Establish, for damped spectral rankings, a result or a theoretical framework for non-strictly positive preference vectors.  The achievement of experimental results as part of a future work.
  • 46. Implementation of PageRank and Preference vectors (The TSPR concept) It is important to handle the case of zero entries in the preference vector: The Perron-Frobenius guarantees convergence of the eigenvector only for strongly connected graphs. Therefore, they will be discarded from the calculation. The graph will lose its expressiveness
  • 47. Simulation results (Implementation)  Somme des probabilitΓ©s (TopicPageRankEntertainment) pour tous les nΕ“uds Γ  l'itΓ©ration : 30 est Γ©gale Γ  :0.9923696  TopicPageRank Entertainment de 1 is 0.0  TopicPageRank Entertainment de 2 is 0.0  TopicPageRank Entertainment de 6 is 0.06743502  TopicPageRank Entertainment de 8 is 0.028438566  TopicPageRank Entertainment de 9 is 0.044316955  TopicPageRank Entertainment de 10 is 0.063785814  TopicPageRank Entertainment de 11 is 0.007656495  TopicPageRank Entertainment de 12 is 0.008038292  TopicPageRank Entertainment de 15 is 0.019652635  TopicPageRank Entertainment de 16 is 0.040836316  TopicPageRank Entertainment de 17 is 0.009657976  TopicPageRank Entertainment de 42 is 7.545876E-4  TopicPageRank Entertainment de 43 is 0.0075678686  TopicPageRank Entertainment de 60 Β²is 0.0
  • 48. Recommendations for the proofs  The consideration of a proposal of new versions of the rejected models that could be Axioms-valid.
  • 49. Criticism  The results: We clearly think that experimental results could have increased to multiple factors the impact of the results.  The proofs: The hypothesis of the theorems and lemmas are very strong and it is not very uncommon to meet a case of zero-valued entries of a preference vector or non- zero sum of the entries of update vector, multiple strictly positive entries in the update vector: the application cases mentioned at the end of the proof for Theorem 3 and Corollary 1 of section 5.5.2 in the article where the entry of exactly one node has exactly one positive value in the update vector while all others have negative or zero values and wherein the sum of all entries of the update vector is equal to zero has not been explained in-depth.
  • 50. Criticism  the authors define Spectral measure as the dominant left eigenvector of some matrix derived from the adjacency matrix A of the graph. Given, that PageRank is the right eigenvector and not the left eigenvector this assertion in the paper lacks further argumentation.
  • 51. Presentation of the Proofs  The proofs are too succinct. We also encountered some ambiguity related to presentation of vectors, identity vectors and matrices.
  • 52. Possible improvements  The Proofs: Exploration of a generalization proof for the Theorem 3 for multiple p-successive applications of the update vector, i.e., 𝛿1, … , 𝛿 𝑝.  Presentation of the Proofs: β€’ We suggest clear presentation of vectors and matrices in a clear and easily distinguishable manner, i.e., not merely emboldened police, this is especially true for identity vectors. β€’ The explanatory examples for proof of Theorem 3 and Corollary 1 of section 5.5.2, wherein the update vector entries sum to zero, deserves further detailing.
  • 53. Conclusion  Valuable paper with very instructive insights  Important contribution but has to be tested against the Web