Unverified 2026

Randomized Block-Krylov Graph Filter

Implementation & benchmark of arXiv:2608.13714 — Approximating matrix functions by block Krylov methods with randomized vectors

Usefulness6/10
Difficulty5/10
Novelty7/10

Source paper: Approximating matrix functions by block Krylov methods with randomized vectors arXiv:2608.13714 ⓘ · analyzed Sep 1, 2026

AI-generated research hypothesis, automatically tested. Not peer-reviewed.

Idea description

Replace a long sequence of graph propagation steps used to approximate a spectral graph filter with one block Krylov projection. Construct a basis from the input node features together with a small number of Gaussian probe vectors, evaluate the desired matrix function only on the resulting small projected matrix, and retain the output columns corresponding to the original features.

Formulas

$$f(A)\boldsymbol{b},\qquad A\in\mathbb{R}^{n\times n},\ \boldsymbol{b}\in\mathbb{R}^{n}.$$
$$\mathcal{K}_m(A,B)=\operatorname{span}\{B,AB,A^2B,\ldots,A^{m-1}B\},\qquad B=[X\;\Omega],\quad \Omega_{ij}\sim\mathcal{N}(0,1).$$
$$H=Q^{\mathsf T}AQ,\qquad f(A)B\approx Qf(H)Q^{\mathsf T}B,\qquad Y=\bigl[Qf(H)Q^{\mathsf T}B\bigr]_{:,1:d}.$$
$$\widehat{e}_m=\frac{\|A\widehat{Y}-QHf(H)Q^{\mathsf T}X\|_F}{\max(1,\|\widehat{Y}\|_F)},\qquad \widehat{Y}=Qf(H)Q^{\mathsf T}X.$$

Mathematical statement

The paper targets the matrix-function-vector expression $f(A)\boldsymbol{b}$, where $A\in\mathbb{R}^{n\times n}$ is a large operator, $\boldsymbol{b}\in\mathbb{R}^n$ is an input vector, and $f(A)$ is defined through matrix functional calculus. For a neural layer with $d$ feature channels, replace the single vector by a block $X\in\mathbb{R}^{n\times d}$ and draw $r$ independent probe vectors $\Omega\in\mathbb{R}^{n\times r}$ with entries $\Omega_{ij}\sim\mathcal{N}(0,1)$. Form the block Krylov space $\mathcal{K}_m(A,B)=\operatorname{span}\{B,AB,A^2B,\ldots,A^{m-1}B\}$ for $B=[X\;\Omega]\in\mathbb{R}^{n\times(d+r)}$. Let $Q\in\mathbb{R}^{n\times q}$ have orthonormal columns spanning this space, with $q\le m(d+r)$, and let $H=Q^{\mathsf T}AQ$ be the small projected operator. The approximation is $f(A)B\approx Qf(H)Q^{\mathsf T}B$, and the desired graph-layer output is the first $d$ columns, $Y\approx Qf(H)Q^{\mathsf T}X$. The random probes enrich directions that may be weakly represented in $X$; the extracted text does not provide a specific error theorem or explicit error constant, so the residual must be used for adaptive validation.

Implementation notes

Integrate this at a graph-filter or graph-diffusion layer, before the usual feature-mixing MLP. Let $A$ be a fixed sparse graph operator such as normalized adjacency, a random-walk matrix, or a graph Laplacian; choose a matrix function such as $f(A)=\exp(-\tau A)$ or $f(A)=(I+\tau A)^{-1}$. Given node features $X\in\mathbb{R}^{n\times d}$, sample $r$ Gaussian probe columns $\Omega\in\mathbb{R}^{n\times r}$ and set $B=[X,\Omega]$. Initialize an empty orthonormal basis $Q$. For each of $m$ block steps, compute the sparse product $Z=AB_j$ for the current block, orthogonalize $Z$ against every existing block of $Q$ using modified Gram-Schmidt with reorthogonalization, discard columns whose norm is below a numerical threshold, normalize the remaining columns, and append them to $Q$. Form $H=Q^TAQ$ and evaluate the small dense matrix function $F=f(H)$ with a Schur or Pade routine. Return $Y=QFQ^TX$, discarding the probe output columns. Use stop-gradient on $\Omega$; gradients only need to pass through $X$, $A$ if learnable, and the small matrix-function computation. Estimate the adaptive residual with $\|AY-QHFQ^TX\|_F/\max(1,\|Y\|_F)$ and increase $m$ when it exceeds a tolerance. The paper supplies the block-Krylov projection; residual thresholds, probe count, and stopping rules are engineering choices. First test on Cora or ogbn-arxiv with a GCN whose baseline approximates heat diffusion using 8, 16, or 32 sequential sparse propagation steps. Sweep $r\in\{0,2,4,8\}$ and $m\in\{2,4,6,8\}$. Success means lower error to a high-step diffusion reference at equal sparse matrix multiplications, faster inference at matched validation accuracy, or faster training at equal FLOPs. Record basis memory because storing $Q$ can eliminate the benefit when $m(d+r)$ is large.

Verification

This idea has not been verified yet.

Verification happens in two stages: Stage 1 — a mechanism check on a toy system confirms the claimed mathematical phenomenon reproduces; Stage 2 — a benchmark implements the idea on a real (small) neural network task and compares it against a tuned baseline over 8 paired seeds with a permutation test.

Artifacts

Artifacts unavailable.