Reliability-gated Laplacian positional encodings
Implementation & benchmark of arXiv:2608.23150 — Spectral stability of empirical metric-measure Laplacians
Source paper: Spectral stability of empirical metric-measure Laplacians arXiv:2608.23150 ⓘ · analyzed Aug 29, 2026
AI-generated research hypothesis, automatically tested. Not peer-reviewed.
Idea description
Construct metric-graph Laplacian positional encodings only at frequencies whose empirical eigenvalues are statistically stable under the paper’s $(n v_\mu(h))^{-1/2}$ law. Use local ball-mass estimates and empirical eigengaps to gate or downweight unreliable eigenvectors, preventing small-sample spectral noise from entering a GNN or graph transformer.
Formulas
Mathematical statement
For i.i.d. points $X_1,\ldots,X_n\sim\mu$ in a Polish metric space $(\mathscr X,\rho)$, let $\Delta_\mu^h$ be the population weighted Laplacian at bandwidth $h$, and $\Delta_{\mu_n}^h$ its empirical counterpart. Define the smallest local mass $v_\mu(h)=\inf_{x\in\operatorname{supp}(\mu)}\mu(B_\rho(x,h))$, where $B_\rho(x,h)=\{y:\rho(x,y)\le h\}$. The paper states that, under a spectral-gap condition and for eigenvalues with order below the cutoff $h^{-2}$, the relative error obeys $|\lambda_k(\Delta_{\mu_n}^h)-\lambda_k(\Delta_\mu^h)|/|\lambda_k(\Delta_\mu^h)|\lesssim 1/\sqrt{n v_\mu(h)}$. Here $\lambda_k$ is the $k$th nonzero eigenvalue and the hidden constant depends on the relevant population eigengap. We estimate $v_\mu(h)$ by $\widehat v(h)=\min_i n^{-1}\sum_j\mathbf 1\{\rho(X_i,X_j)\le h\}$ and estimate the eigengap by $\widehat\gamma_k=\min(\hat\lambda_k-\hat\lambda_{k-1},\hat\lambda_{k+1}-\hat\lambda_k)$. Use the reliability score $r_k=\min\{1,\tau\widehat\gamma_k\sqrt{n\widehat v(h)}/(\hat\lambda_k+\epsilon)\}$ to gate the $k$th eigenvector; this is an engineering confidence proxy combining the theorem’s variance scale and its required gap condition.
Implementation notes
(1) Integration point: add this module before message passing in a GNN or before graph-token attention in a graph transformer. Given node coordinates or any metric $\rho$, construct the weighted graph at one or several candidate bandwidths $h$; compute the normalized or unnormalized empirical Laplacian, its first $K+1$ nontrivial eigenpairs $(\hat\lambda_k,u_k)$, and concatenate the gated coordinates $z_i$ to node features. Keep the gating differentiability optional: detach $r_k$ initially.
(2) Pseudocode:
for h in candidate_bandwidths:
A[i,j] = kernel(rho(x_i,x_j)/h)
L = degree(A) - A
lam, U = eigsh(L, K+1, smallest_nonzero=True)
vhat = min_i mean_j[rho(x_i,x_j) <= h]
for k in 1..K:
gap = min(lam[k]-lam[k-1], lam[k+1]-lam[k])
r[k] = min(1, tau*gap*sqrt(n*vhat)/(lam[k]+eps))
Z_h = U[:,1:K+1] * r
select h with highest median(r) subject to median(lam[:K]) < c/h**2
feed concat(node_features, Z_h) to the network
(3) The theorem supplies the $1/\sqrt{n v_\mu(h)}$ reliability scale, the low-frequency cutoff $h^{-2}$, and the need for an eigengap. The implementation estimates unknown population quantities using empirical local counts, eigenvalues, and gaps; $\tau$, $c$, and $K$ are validation parameters. Use randomized Lanczos for large graphs and cache the eigenpairs when graph structure is fixed.
(4) First experiment: train a 3-layer GCN and a graph transformer on a small molecule or synthetic geometric-graph node-classification benchmark, comparing ordinary Laplacian positional encodings against gated encodings at equal $K$ and FLOPs. Vary training-set size and add isolated or low-density regions. Success means higher validation accuracy and lower run-to-run variance at small $n$, with the largest gain on nodes where $\widehat v(h)$ is low; also test whether discarding modes with $\hat\lambda_k\gtrsim h^{-2}$ improves accuracy without increasing inference cost.
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.