Incidence-Mixed Simplicial Diffusion
Implementation & benchmark of arXiv:2608.17229 — Incidence-based random walks on simplicial complexes
Source paper: Incidence-based random walks on simplicial complexes arXiv:2608.17229 ⓘ · analyzed Sep 1, 2026
AI-generated research hypothesis, automatically tested. Not peer-reviewed.
Idea description
Represent edge or pair-token features and propagate them with a convex mixture of two normalized channels: transitions through shared vertices and transitions through shared triangles. This preserves higher-order connectivity that an ordinary graph convolution loses, while the mixing coefficient q controls whether information follows pairwise support or genuine triangular structure.
Formulas
Mathematical statement
Let B1 be the binary vertex-edge incidence matrix and B2 the binary edge-triangle incidence matrix. The vertex degree is dV(v) = sum over e of B1[v,e], and the triangle degree is dT(e) = sum over f of B2[e,f]. Form the vertex channel PV by multiplying B1 transpose, the inverse vertex-degree matrix DV inverse, and B1, followed by row normalization. Form the triangle channel PT from B2 times B2 transpose, followed by row normalization. The mixed walk is P(q) = q PV + (1 minus q) PT, with q between zero and one. For edge features H, use H next = (1 minus alpha) H plus alpha P(q) H Theta, where alpha is a diffusion step size and Theta is a trainable feature map. The second-largest eigenvalue modulus mu2 controls relaxation, tau = minus one divided by log of the absolute value of mu2 is the relaxation time, and IPR = sum over e of pi[e] squared measures stationary localization.
Implementation notes
Integrate the mechanism as an edge-level message-passing block before pooling edge features to nodes or to a graph representation. For every input graph, construct sparse B1 and B2. Compute the vertex channel by multiplying B1 transpose, the inverse diagonal vertex-degree matrix, and B1, then row-normalize the resulting sparse matrix. Compute the triangle channel from B2 times B2 transpose and row-normalize it. Add self-loops before normalization so edges with no retained triangles remain numerically valid. Set P = q PV + (1 minus q) PT and return H next = (1 minus alpha) H + alpha P H Theta. Begin with q = 0.5, alpha = 0.5, and a shared Theta; later test a learned q using q = sigmoid(a), or a graph-dependent q predicted from pooled features. The incidence matrices, degrees, and sparse propagation are computed exactly. Estimate mu2 with 10 to 20 Lanczos iterations and estimate the stationary distribution pi by repeatedly applying P to a probability vector. The first cheap experiment should generate 100-vertex complexes with candidate triangles independently retained at densities p from 0.05 to 0.95. Assign edge labels using a latent triangle-dependent rule and compare an ordinary edge GCN with this layer at matched parameter count. Measure validation accuracy, mu2, tau, IPR, and feature autocorrelation decay. The predicted signature is an interior maximum of mu2, tau, and IPR at intermediate p, while empirical diffusion decay should match absolute value of mu2 to the power t within approximately 20 percent.
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.