Curvature-Controlled Transport Consensus Layer
Implementation & benchmark of arXiv:2607.26748 — Geometric Control of Moving Parallel Transport in Riemannian Cucker--Smale Dynamics with Bonding Forces
Source paper: Geometric Control of Moving Parallel Transport in Riemannian Cucker--Smale Dynamics with Bonding Forces arXiv:2607.26748 ⓘ · analyzed Aug 31, 2026
AI-generated research hypothesis, automatically tested. Not peer-reviewed.
Idea description
Represent graph-node or token states as points and tangent velocities on a Riemannian latent manifold, and couple neighboring states using parallel-transported velocity discrepancies rather than subtracting coordinates in a chart. Add a bonding barrier that keeps connected states inside a prescribed radius below the injectivity radius, making the transport map unique and preventing chart or geodesic branch failures.
Formulas
Mathematical statement
Let $x_i(t)\in\mathcal M$ be latent states, $v_i(t)\in T_{x_i(t)}\mathcal M$ their velocities, $d_{ij}=d(x_i,x_j)$ the geodesic distance, and $P_{ij}:T_{x_j}\mathcal M\to T_{x_i}\mathcal M$ parallel transport along the unique minimizing geodesic. Use $\dot x_i=v_i$ and $\nabla_t v_i=\sum_j a_{ij}(P_{ij}v_j-v_i)-\nabla_{x_i}U$, where $a_{ij}\geq0$ is a graph coupling and $U=\sum_{i<j}B(d_{ij})$ is a bonding barrier. For kinetic-plus-bonding energy $E=\frac12\sum_i\|v_i\|^2+U$, the consensus term dissipates $-\frac12\sum_{i,j}a_{ij}\|P_{ij}v_j-v_i\|^2$. If sectional curvature satisfies $|K|\leq K_0$ and $d_{ij}\leq R<\operatorname{inj}(\mathcal M)$, moving parallel transport obeys a Jacobi-field bound $\|\nabla_tP_{ij}w-P_{ij}\nabla_tw\|\leq C_J(K_0,R)(\|v_i\|+\|v_j\|)\|w\|$. The barrier enforces the injectivity-radius condition, and this bound supplies uniform continuity of the transported discrepancy. Therefore finite dissipation implies asymptotic alignment by the Barbalat principle.
Implementation notes
1. Integration point: insert this as a residual dynamical layer after a graph message-passing block, or use it as the inner integrator of a manifold-valued optimizer. Start with sphere-valued embeddings, where exponential maps and parallel transport are available in closed form. Store each node state $x_i$ and tangent velocity $v_i$, compute geodesic distances, and define edge weights $a_{ij}$ from normalized attention or fixed graph adjacency. Use a barrier $B(r)=\mu r^2/(R^2-r^2)$ for $r<R$, with $R$ below the known injectivity radius. 2. Pseudocode: compute $d_{ij}$ and $P_{ij}v_j$; form $g_i=\sum_j a_{ij}(P_{ij}v_j-v_i)-\operatorname{grad}_{x_i}U$; update $v_i\leftarrow v_i+h g_i$; update $x_i\leftarrow\operatorname{Exp}_{x_i}(h v_i)$; transport the updated velocity to the new tangent space if required. Add the task loss after the dynamical block and backpropagate through a small number of integration steps. 3. Compute geodesics and transport exactly for the selected manifold; estimate $K_0$, $C_J$, and the injectivity margin from known geometry or local curvature probes. Log total energy $E$, maximum pairwise distance, and $D(t)=\max_{(i,j)}\|P_{ij}v_j-v_i\|$. 4. First cheap experiment: train a small sphere-valued graph neural network on Cora or synthetic clustered graphs, comparing Euclidean residual, chart-based Riemannian, and barrier-controlled transport layers. Sweep step size $h$ and coupling $a$. The predicted signature is a stability boundary when $C_J(K_0,R)Vh$ becomes order one, with $V$ the observed velocity bound; below it, energy should decrease up to discretization error and $D(t)$ should decay, while above it distance excursions and discrepancy spikes should occur. Test whether the measured boundary agrees with the estimated one within 20%.
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.