Math: Metric geometry

Machine-learning ideas tagged Metric geometry in the Math taxonomy of the Math2NN corpus.

△ Mechanism confirmed, baseline not beaten 2026

Equal-Variation KV Cache

Compress a causal sequence by retaining history positions at equal increments of cumulative representation variation instead of at uniform time intervals. Use the resulting N representatives in a decoder that reconstructs piecewise-constant keys and values; the paper's minimax result predicts a worst-case reconstruction error of total variation divided by 2N, independent of where rapid changes occur.

Useful8/10
Difficulty5/10
Novelty6/10
Paper: Optimal history encoding for elastic-plastic hereditary laws: Sharp input and constitutive approximation arXiv:2607.09974
△ Mechanism confirmed, baseline not beaten 2026

DP-Means Distinct-Item Memory

Replace token-by-token KV storage after an SSM or recurrent encoder with an online allocate-on-novelty cache. A new slot is created only when the incoming key is sufficiently dissimilar from every stored key; otherwise the incoming value is merged into its nearest slot, so repeated or redundant content does not grow the cache.

Useful8/10
Difficulty4/10
Novelty6/10
Paper: Remembering Distinct Items, Not Tokens: A Learnable Dirichlet-Process Cache Between State-Space Models and Attention arXiv:2607.09889
△ Mechanism confirmed, baseline not beaten 2026

T-Robinson Hierarchical Attention

Replace flat all-pairs attention with attention neighborhoods induced by a compatible tree over tokens, patches, nodes, or retrieved items. Retain exact or approximate attention inside nearby tree subtrees and add a path-monotonicity regularizer so semantically distant endpoints are not more similar than intervening tree neighbors.

Useful7/10
Difficulty5/10
Novelty6/10
Paper: T-Robinson Spaces: Structure, Recognition, and Applications to Real Data arXiv:2608.21248
✗ Failed on benchmark 2026

Sharp JL Hidden-State Bottleneck

Insert a linear Johnson–Lindenstrauss bottleneck around a set of jointly processed representations, choosing its width from the sharp finite-set dimension bound rather than from the model's nominal hidden size. The projection should preserve pairwise distances between tokens, patches, or retrieved items, allowing a downstream attention or MLP block to operate at lower width while retaining the geometry relevant to similarity computations.

Useful7/10
Difficulty5/10
Novelty5/10
Paper: The Sharp Dimension Bound in the Johnson--Lindenstrauss Lemma arXiv:2608.13782
△ Mechanism confirmed, baseline not beaten 2026

First-Spike Laplacian Attention

Replace multiplicative query-key attention scores with an affinity based on the l1 distance between first-spike latency vectors. For each query token and key token, small latency differences produce large affinity and distant timings decay exponentially, yielding a locality-sensitive attention pattern naturally compatible with leaky spiking neurons.

Useful7/10
Difficulty5/10
Novelty7/10
Paper: Lapis: Laplacian Spiking Attention via First-Spike Timing and Membrane Leakage arXiv:2608.11865
△ Mechanism confirmed, baseline not beaten 2026

Submetry-Lifted Relational Alignment

Represent a graph, set, or attributed network as a measurable Z-valued kernel and train on lifted representatives while explicitly minimizing over node couplings. The quotient objective is invariant to relabeling by construction, while the lifted loss gives a dense correspondence signal that can stabilize graph attention and relational encoders.

Useful7/10
Difficulty5/10
Novelty5/10
Paper: Metric Geometry of Lebesgue, Wasserstein, and Gromov-Wasserstein Spaces: Submetries, Curvature, and Geodesics arXiv:2608.11680
✓✓ Beats tuned baseline 2026

Spiderweb Hierarchical Attention

Replace dense token-to-token attention by a multiscale spiderweb communication pattern. Tokens first aggregate upward through a dyadic hierarchy, communicate horizontally only with a small number of cells at the appropriate height, and then receive information broadcast downward. Hyperbolic distance supplies a principled rule for choosing the height at which two tokens interact: nearby tokens interact at fine scales, while far-apart tokens interact through coarse representatives.

Useful7/10
Difficulty5/10
Novelty6/10
Paper: Poincaré inequalities on hyperbolic-type spaces arXiv:2608.02369
△ Mechanism confirmed, baseline not beaten 2026

Manifold-kernel attention

Replace or augment dot-product attention with a non-increasing radial kernel of pairwise representation distance. The bandwidth is normalized using an estimated local intrinsic dimension and local neighbor scale, creating an explicit locality-controlled attention operator.

Useful7/10
Difficulty5/10
Novelty6/10
Paper: Graphon as a Bridge between Graphs and Manifolds arXiv:2607.20213
✓ Mechanism works 2026

Lorentz-Gram-preserving hyperbolic attention

Replace an unconstrained nonlinearity on hyperbolic pairwise similarities with a function from the paper's exact Lorentz–Gram preserver family. The transformed similarity matrix remains realizable as Lorentz inner products of future-directed unit timelike vectors, allowing a network to sharpen or smooth hyperbolic neighborhoods without introducing geometrically impossible pairwise relations.

Useful7/10
Difficulty5/10
Novelty7/10
Paper: Distance preservers for Lobachevsky space arXiv:2608.22568
Unverified 2026

Stable-charge attention kernel

Attach each token or graph node a learned scalar charge q_i and add a fractional stable kernel K_ij = exp(-tau D |q_i-q_j|^alpha) to the interaction mechanism. Constrain 0 < alpha <= 2, the exact range in which the kernel is positive semidefinite for arbitrary finite real charge sets, and optionally make tau layer-dependent to obtain multiscale interactions. This provides a principled alternative to unconstrained learned distance biases and can be used either as an attention-logit bias or as a…

Useful6/10
Difficulty4/10
Novelty5/10
Paper: The Decoherence Exponent: Stable Phase Noise and Constraints on Objective State Reduction arXiv:2608.18335
Unverified 2026

Sub-Gaussian Reachability Sparse Attention

Constrain a graph or token attention layer to behave like a row-stochastic diffusion with walk dimension \(\beta\), and choose its neighborhood radius from the paper's first-hitting-time tail bound. At propagation time \(t\), interactions with effective distance larger than \(r(t,\varepsilon)\) are removed because their total reachability probability is bounded by a prescribed error budget \(\varepsilon\).

Useful6/10
Difficulty5/10
Novelty7/10
Paper: On hitting time distributions of Markov processes with sub-Gaussian heat kernel bounds arXiv:2608.16170
Unverified 2026

Fisher–Rao geodesic router

Replace Euclidean updates and interpolation of probability vectors in a mixture-of-experts router or attention simplex with updates in square-root coordinates, where the Fisher–Rao geometry is spherical. If the task has a desired neutral or calibrated family of distributions, represent that family as a linear subsphere in square-root space and project router outputs onto it after every update.

Useful6/10
Difficulty4/10
Novelty4/10
Paper: Spectral duality structures and the Fisher--Rao geometry of reset distributions arXiv:2608.15805
Unverified 2026

Token-Count-Aware Attention Projection

Use the number of tokens participating in an attention operation to adapt the projected query/key dimension according to the sharp Johnson–Lindenstrauss bound. Short attention windows receive a dimension limited by n-1, while longer windows use a logarithmic dimension, avoiding a fixed large head dimension when the current attention set contains too few points to require it.

Useful6/10
Difficulty6/10
Novelty6/10
Paper: The Sharp Dimension Bound in the Johnson--Lindenstrauss Lemma arXiv:2608.13782
Unverified 2026

Power-of-Two Latency Attention

Make Laplacian latency attention hardware-friendly by quantizing the exponential decay and row normalization to powers of two. Exponentials and divisions can then be implemented with lookup tables and integer shifts, enabling a low-bit attention kernel for neuromorphic and edge accelerators.

Useful6/10
Difficulty4/10
Novelty7/10
Paper: Lapis: Laplacian Spiking Attention via First-Spike Timing and Membrane Leakage arXiv:2608.11865
Unverified 2026

Excursion-Adaptive Temporal Tokenization

Replace a uniformly sampled trajectory sequence by a binary temporal partition whose intervals are split only when the observed trajectory makes an excursion larger than a threshold. Encode one summary token per retained leaf, optionally including duration and endpoint displacement, so smooth trajectory regions receive fewer tokens while rapidly changing regions retain resolution.

Useful6/10
Difficulty4/10
Novelty6/10
Paper: Sharp Wasserstein Convergence Rates for Empirical Path Laws of Itô Processes arXiv:2608.07879
Unverified 2026

Half-Idleness Curvature Attention

Compute each graph edge's Lin–Lu–Yau curvature exactly from one p=1/2 Wasserstein problem, then use the resulting scalar as an edge bias or multiplicative gate in graph attention. Positive-curvature edges receive stronger message exchange while negatively curved edges are attenuated, giving the network a geometry-derived inductive bias rather than requiring the model to learn all edge importance from scratch.

Useful6/10
Difficulty5/10
Novelty5/10
Paper: Equivalence of Lin--Lu--Yau curvature and 1/2-Ollivier curvature on weighted graphs arXiv:2608.05939
Unverified 2026

Near-isometric simplicial attention

Build a refined Freudenthal-Kuhn simplicial graph over mesh vertices or geometric samples and inject its piecewise-linear metric into attention logits. Refinement is increased until the explicit distortion target is met, making attention scores less sensitive to arbitrary mesh resolution, triangulation, or local curvature.

Useful6/10
Difficulty6/10
Novelty7/10
Paper: Universal topological statistics on triangulated singular spaces arXiv:2607.27535
△ Mechanism confirmed, baseline not beaten 2026

Connectivity-Preserving Wedge Token Pooling

Replace a large graph-token set by a smaller set of connected wedge regions generated through adaptive two-seed shortest-path partitions. Each pooled token is the mean of the node features in its region, while the binary partition tree and region sizes are retained for unpooling or skip connections. This provides a deterministic, graph-aware alternative to arbitrary token merging that can be inserted before graph-transformer message passing.

Useful6/10
Difficulty5/10
Novelty6/10
Paper: Tonnetz-Driven Graph Wedgelet for Harmonic Complexity Reduction in Music Scores arXiv:2607.08806
✗ Failed on benchmark 2026

Lipschitz-Free Metric Pooling

Replace coordinate-wise mean pooling of metric-valued items with a finite representation of their free integral. Each item x in a pointed metric space M is represented through evaluations of learned Lipschitz probes, and the pooled feature is the weighted integral of those probe values. A dual Lipschitz critic estimates the free-space norm of differences between pooled groups, making the representation sensitive to metric geometry while remaining permutation-invariant.

Useful6/10
Difficulty5/10
Novelty7/10
Paper: Analytic integration of metric-valued functions in Lipschitz free spaces arXiv:2607.06049
✗ Mechanism failed 2026

Directed distance-curvature positional encoding

Add global directed-curvature features to every node in a graph neural network or directed graph transformer. The features distinguish how a node functions as a source versus a destination in the graph's asymmetric metric, potentially exposing bottlenecks, hubs, sinks, and structurally central nodes that local message passing cannot identify.

Useful6/10
Difficulty5/10
Novelty8/10
Paper: Steinerberger Curvature On Digraphs -- Discrete Bonnet-Myers and Lichnerowicz Theorems arXiv:2607.04878
Unverified 2026

Budgeted Random Tree Attention

Replace dense attention on tree-structured inputs with stochastic attention neighborhoods formed by metric balls of sampled radii. Use the paper's exact trimming rule to ensure that every sampled cover remains valid while its total radius budget is bounded, then average predictions over several independent covers during training. This creates sparse, globally covering attention masks with an explicit locality-versus-coverage control.

Useful5/10
Difficulty6/10
Novelty8/10
Paper: Exact random covers of metric trees: balanced rounding, duality, and sharp thresholds arXiv:2608.18967
Unverified 2026

Pyramidal one-sided Lipschitz attention

Replace unconstrained directed attention logits by observables that are one-sided 1-Lipschitz under a learned quasi-metric: an observable may increase from node j to node i by at most the directed cost from j to i, while the reverse direction can behave differently. Apply this constraint at several subsampled resolutions and penalize the Hausdorff mismatch between observable families of two augmented views, preserving directed structure while making attention stable under perturbations.

Useful5/10
Difficulty5/10
Novelty7/10
Paper: Pyramidal Compactification of Asymmetric Metric Measure Spaces via Adjoint Transport arXiv:2608.01145
Unverified 2026

Pyramid-Coupled Multiscale Representations

Construct a nested sequence of representations in which each coarser representation is obtained from the previous one by a 1-Lipschitz projection. Train prediction heads at multiple scales so coarse predictions remain stable and approximately recoverable from the finer representation, enabling early exit, token pooling, and controlled multiresolution inference.

Useful5/10
Difficulty6/10
Novelty6/10
Paper: Pyramids and Extended Metric Measure Spaces arXiv:2607.26626
Unverified 2026

Stable directed-path topology features

Construct a filtration from learned directed edge or transition weights, compute persistent path homology, and feed compact persistence features into a graph or sequence neural network. Because the paper proves stability under network-distance perturbations, these features should be less sensitive to small changes in edge scores than raw adjacency statistics, while retaining orientation-sensitive information that ordinary undirected topology loses.

Useful5/10
Difficulty7/10
Novelty6/10
Paper: Stability of persistent path homology of path complexes arXiv:2607.26226