Revisiting Local Computation of PageRank: Simple and Optimal

View PDF HTML (experimental)

We revisit the classic local graph exploration algorithm ApproxContributions proposed by Andersen, Borgs, Chayes, Hopcroft, Mirrokni, and Teng (WAW '07, Internet Math. '08) for computing an ϵ-approximation of the PageRank contribution vector for a target node t on a graph with n nodes and m edges. We give a worst-case complexity bound of ApproxContributions as O(nπ(t)/ϵ⋅min(Δin,Δout,m−−√)), where π(t) is the PageRank score of t, and Δin and Δout are the maximum in-degree and out-degree of the graph, resp. We also give a lower bound of Ω(min(Δin/δ,Δout/δ,m−−√/δ,m)) for detecting the δ-contributing set of t, showing that the simple ApproxContributions algorithm is already optimal.
We also investigate the computational complexity of locally estimating a node's PageRank centrality. We improve the best-known upper bound of O˜(n2/3⋅min(Δ1/3out,m1/6)) given by Bressan, Peserico, and Pretto (SICOMP '23) to O(n1/2⋅min(Δ1/2in,Δ1/2out,m1/4)) by simply combining ApproxContributions with the Monte Carlo simulation method. We also improve their lower bound of Ω(min(n1/2Δ1/2out,n1/3m1/3)) to Ω(n1/2⋅min(Δ1/2in,Δ1/2out,m1/4)) if min(Δin,Δout)=Ω(n1/3), and to Ω(n1/2−γ(min(Δin,Δout))1/2+γ) if min(Δin,Δout)=o(n1/3), where γ>0 is an arbitrarily small constant. Our matching upper and lower bounds resolve the open problem of whether one can tighten the bounds given by Bressan, Peserico, and Pretto (FOCS '18, SICOMP '23). Remarkably, the techniques and analyses for proving all our results are surprisingly simple.