You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Copy file name to clipboardExpand all lines: _bibliography/papers.bib
+20-4Lines changed: 20 additions & 4 deletions
Original file line number
Diff line number
Diff line change
@@ -7,7 +7,15 @@ @inproceedings{kwok2026solving
7
7
booktitle = {Proceedings of the 17th Innovations in Theoretical Computer Science Conference, to appear},
8
8
year = {2026},
9
9
abbr = {ITCS 2026},
10
-
arxiv = {2509.13891}
10
+
arxiv = {2509.13891},
11
+
tldr = {We initiate a study of solving row/column diagonally dominant (RDD/CDD) linear systems in sublinear time, which includes estimating (Personalized) PageRank and effective resistance on graphs as special cases. We characterize the problem's mathematical structure via a novel quantity called the maximum \(p\)-norm gap, and develop a collection of algorithmic results by adapting techniques from local graph algorithms.},
12
+
abstract =
13
+
{
14
+
We initiate a study of solving a row/column diagonally dominant (RDD/CDD) linear system \(\mathbf{M}\boldsymbol{x} = \boldsymbol{b}\) in sublinear time, with the goal of estimating \(\boldsymbol{t}^{\top}\boldsymbol{x}^{\ast}\) for a given vector \(\boldsymbol{t} \in \mathbb{R}^n\) and a specific solution \(\boldsymbol{x}^{\ast}\). This setting naturally generalizes the study of sublinear-time solvers for symmetric diagonally dominant (SDD) systems [Andoni-Krauthgamer-Pogrow, ITCS 2019] to the asymmetric case, which has remained underexplored despite extensive work on nearly-linear-time solvers for RDD/CDD systems.<br>
15
+
Our first contributions are characterizations of the problem's mathematical structure. We express a solution \(\boldsymbol{x}^{\ast}\) via a Neumann series, prove its convergence, and upper bound the truncation error on this series through a novel quantity of \(\mathbf{M}\), termed the maximum \(p\)-norm gap. This quantity generalizes the spectral gap of symmetric matrices and captures how the structure of \(\mathbf{M}\) governs the problem's computational difficulty.<br>
16
+
For systems with bounded maximum \(p\)-norm gap, we develop a collection of algorithmic results for locally approximating \(\boldsymbol{t}^{\top}\boldsymbol{x}^{\ast}\) under various scenarios and error measures. We derive these results by adapting the techniques of random-walk sampling, local push, and their bidirectional combination, which have proved powerful for special cases of solving RDD/CDD systems, particularly estimating PageRank and effective resistance on graphs. Our general framework yields deeper insights, extended results, and improved complexity bounds for these problems. Notably, our perspective provides a unified understanding of Forward Push and Backward Push, two fundamental approaches for estimating random-walk probabilities on graphs.<br>
17
+
Our framework also inherits the hardness results for sublinear-time SDD solvers and local PageRank computation, establishing lower bounds on the maximum \(p\)-norm gap or the accuracy parameter. We hope that our work opens the door for further study into sublinear solvers, local graph algorithms, and directed spectral graph theory.
tldr = {For estimating single-node PageRank on directed graphs, if we parameterize the complexity by the maximum in-degree \(\Delta_{\mathrm{in}}\) of the graph, the results in our STOC 2024 paper are optimal only when \(\Delta_{\mathrm{in}} = \Omega\left(n^{\Omega(1)}\right)\). In this paper, we improve the upper bound to match the lower bound (up to polylog factors) for all regimes of \(\Delta_{\mathrm{in}}\). Our key technique is a bidirectional algorithm that employs a novel randomized local exploration method.}
32
+
tldr = {For estimating single-node PageRank on directed graphs, if we parameterize the complexity by the maximum in-degree \(\Delta_{\mathrm{in}}\) of the graph, the upper bound in our STOC 2024 paper is optimal only when \(\Delta_{\mathrm{in}} = \Omega\left(n^{\Omega(1)}\right)\). In this paper, we improve the upper bound to match the lower bound (up to polylog factors) for all regimes of \(\Delta_{\mathrm{in}}\). Our key technique is a bidirectional algorithm that employs a novel randomized local exploration method.},
33
+
abstract =
34
+
{
35
+
We study the computational complexity of locally estimating a node's PageRank centrality in a directed graph \(G\). For any node \(t\), its PageRank centrality \(\pi(t)\) is defined as the probability that a random walk in \(G\), starting from a uniformly chosen node, terminates at \(t\), where each step terminates with a constant probability \(\alpha \in (0,1)\).<br>
36
+
To obtain a multiplicative \(\big(1 \pm O(1)\big)\)-approximation of \(\pi(t)\) with probability \(\Omega(1)\), the previously best upper bound is \(O\left(n^{1/2}\min\left\{ \Delta_{\mathrm{in}}^{1/2},\ \Delta_{\mathrm{out}}^{1/2},\ m^{1/4} \right\}\right)\) from [Wang, Wei, Wen, Yang, STOC '24], where \(n\) and \(m\) denote the number of nodes and edges in \(G\), and \(\Delta_{\mathrm{in}}\) and \(\Delta_{\mathrm{out}}\) upper bound the in-degrees and out-degrees of \(G\), respectively. Using a refinement of the proof in the same paper, we establish a lower bound of \(\Omega\left(n^{1/2}\min\left\{ \Delta_{\mathrm{in}}^{1/2} \big/ n^{\gamma},\Delta_{\mathrm{out}}^{1/2} \big/ n^{\gamma},m^{1/4}\right\}\right)\), where \(\gamma = \frac{1}{2} \left(2\max\left\{\log_{1/(1-\alpha)}\Delta_{\mathrm{in}},1\right\}-1\right)^{-1}\). As \(\gamma\) only depends on \(\Delta_\mathrm{in}\) and \(n^{\gamma} = O(1)\) for \(\Delta_{\mathrm{in}} = \Omega\left(n^{\Omega(1)}\right)\), the known upper bound is tight if we only parameterize the complexity by \(n\), \(m\), and \(\Delta_{\mathrm{out}}\). However, there remains a gap of \(\Omega\left(n^{\gamma}\right)\) when considering the maximum in-degree \(\Delta_{\mathrm{in}}\), and this gap is large when \(\Delta_{\mathrm{in}}\) is small. In the extreme case where \(\Delta_{\mathrm{in}} \le 1/(1 - \alpha)\), we have \(\gamma = 1/2\), leading to a gap of \(\Omega\left(n^{1/2}\right)\) between the bounds \(O\left(n^{1/2}\right)\) and \(\Omega(1)\).<br>
37
+
In this paper, we present a new algorithm that achieves the above lower bound (up to logarithmic factors). The algorithm assumes that \(n\) and the bounds \(\Delta_{\mathrm{in}}\) and \(\Delta_{\mathrm{out}}\) are known in advance. Our key technique is a novel randomized backwards propagation process that only propagates selectively based on Monte Carlo estimated PageRank scores.
video = {https://www.youtube.com/watch?v=ipWgICjGfRU},
96
+
slides = {pre_STOC2024_Hanzhi.pptx},
97
+
slides_text = {Slides by Hanzhi},
82
98
tldr = {We establish nearly-tight complexity upper and lower bounds on estimating PageRank contributions and single-node PageRank on directed graphs. Our techniques and analyses are surprisingly simple, where the upper bounds are derived by revisiting classic algorithms.},
<p><strong>Authors are ordered alphabetically with equal contributions by default.</strong> For papers marked with "†", authors are ordered by contribution.</p>
2
+
<p><strong>Authors are ordered alphabetically with equal contributions by default.</strong></p>
3
+
{% comment %} For papers marked with "†", authors are ordered by contribution. {% endcomment %}
Copy file name to clipboardExpand all lines: _pages/about.md
+3-3Lines changed: 3 additions & 3 deletions
Display the source diff
Display the rich diff
Original file line number
Diff line number
Diff line change
@@ -25,7 +25,7 @@ Before my graduate studies, I received my B.E. degree in Computer Science and Te
25
25
26
26
During the spring of 2025, I was visiting the [Institute for Theoretical Computer Science](https://itcs.sufe.edu.cn/main.htm), [Shanghai University of Finance and Economics](https://english.sufe.edu.cn/), working under the supervision of [Prof. Tsz Chiu Kwok](https://itcs.sufe.edu.cn/54/20/c10495a152608/page.htm).
27
27
28
-
I am broadly interested in theoretical computer science, with a current focus on **spectral graph algorithms** and **sublinear graph algorithms**.
29
-
My published works concentrate on efficient approximation of **PageRank** and **Personalized PageRank** values, which are celebrated node centrality and proximity measures on graphs.
30
-
I am expanding my research to the [Laplacian Paradigm](https://link.springer.com/chapter/10.1007/978-3-642-13562-0_2)[(2.0)](https://sachdevasushant.github.io/laplacian2.0/), property testing, streaming algorithms, and approximate counting & sampling.
28
+
I am broadly interested in theoretical computer science, with a focus on **sublinear graph algorithms** and **spectral graph theory**.
29
+
My current work centers on efficient algorithms for estimating (Personalized) PageRank and their connections to solving linear systems and local graph clustering.
30
+
I am also expanding my research to the [Laplacian Paradigm](https://link.springer.com/chapter/10.1007/978-3-642-13562-0_2)[(2.0)](https://sachdevasushant.github.io/laplacian2.0/), streaming algorithms, and property testing.
31
31
My [Erdős number](https://en.wikipedia.org/wiki/Erd%C5%91s_number) is 3.
0 commit comments