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

Entropy-calibrated hyperbolic curvature

Use farthest-triplet entropy as a low-bandwidth observable of whether a hyperbolic embedding is angular- or radial-dominated, then adapt the hyperbolic curvature rather than fixing it arbitrarily. In the isotropic shell regime, invert the entropy-to-signal curve to estimate the effective radial/angular parameter and select curvature that reaches a chosen geometric operating point.

Useful7/10
Difficulty6/10
Novelty7/10
Paper: Farthest-cell triplet entropy: high-dimensional shell limits and hyperbolic curvature amplification arXiv:2609.02362
✗ Mechanism failed 2026

Pointwise complexity-gated inference

Use a local chaining complexity computed from an empirical input metric to predict stochastic output error for each individual input. Easy, locally concentrated inputs can use fewer dropout, ensemble, or diffusion samples, while high-complexity inputs receive additional computation; unlike a global confidence threshold, the allocation varies with the input.

Useful7/10
Difficulty5/10
Novelty6/10
Paper: Pointwise Majorization for sub-Weibull and Mixed Tail Processes with Applications in Quadratic Chaos and Ergodic Diffusions arXiv:2609.01576
△ 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 failed 2026

Recurrence-to-Latent Cycling Regularizer

Use the distance-matrix filtration of a sequence embedding as a cheap proxy for state-space persistent homology, and map its persistent recurrence cycles into explicit latent-space loops. Train a recurrent, state-space, or Transformer encoder so that important recurrence cycles have geometrically coherent trajectory paths rather than being artifacts of isolated pairwise returns. This avoids building a Vietoris-Rips complex over every latent window while retaining a mathematically controlled…

Useful7/10
Difficulty5/10
Novelty7/10
Paper: Distance Matrices of Ordered Point Clouds and Their Persistent Homology arXiv:2608.12620
△ 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
✗ Failed on benchmark 2026

Differentiable Persistence Landscape Layer

Convert each persistence diagram produced from an input, intermediate feature map, or graph filtration into a discretized persistence landscape and feed it to an MLP or concatenate it with ordinary neural features. Unlike a variable-size list of birth-death pairs, the landscape has a fixed tensor shape and is provably nonexpansive with respect to the diagram Wasserstein distance.

Useful7/10
Difficulty4/10
Novelty5/10
Paper: A Hilbert space embedding of persistence diagrams and barcodes arXiv:2608.08858
△ Mechanism confirmed, baseline not beaten 2026

Tropical Multisymmetric Pooling

Replace ordinary sum or mean pooling in a permutation-invariant set network by the complete family of basic tropical multisymmetric values. For an input set of n points in R^r, each feature computes the maximum total coordinate score obtainable by assigning disjoint rows to prescribed coordinate channels. The resulting representation is invariant to row permutations, separates all multisets, and inherits a bi-Lipschitz relation to optimal row matching, so nearby sets cannot be arbitrarily…

Useful7/10
Difficulty5/10
Novelty8/10
Paper: The basic tropical polynomials generate the semifield of $r$-symmetric tropical rational functions arXiv:2608.06857
✓✓ 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 failed 2026

Unconstrained Proper-Velocity Hyperbolic Layers

Replace Lorentz-hyperboloid tensors with proper-velocity tensors whose spatial coordinates can be transformed by standard Euclidean affine layers and activations. Reconstruct the Lorentz time coordinate only at manifold boundaries, preserving the hyperbolic representation while avoiding repeated projection, normalization, or fragile exponential-map calculations.

Useful7/10
Difficulty4/10
Novelty6/10
Paper: Riemannian Deep Learning: Modules, Networks, and Geometries arXiv:2607.19305
△ Mechanism confirmed, baseline not beaten 2026

Directional Vertex Polytope Decoder

Represent a predicted convex object by one point per prescribed unit direction and decode it as the convex hull of those points. Enforce direction-wise maximizer inequalities so every point is a genuine vertex, then use the covering-radius bound to choose the number and placement of directions according to the desired geometric accuracy.

Useful7/10
Difficulty5/10
Novelty7/10
Paper: Galerkin approximations to the space of convex bodies by polytopes in nondegenerate V-representation arXiv:2608.26615
✗ Mechanism failed 2026

Nonexpansive Latent Q-Head

Represent Q-values using latent coefficients and a convex reconstruction operator rather than an unconstrained linear head. Enforce that reconstruction and compression are sup-norm nonexpansive, so the approximate Bellman operator remains a gamma-contraction and cannot exhibit the usual linear-function-approximation divergence.

Useful7/10
Difficulty5/10
Novelty7/10
Paper: Q-Learning with Stable Infinite-Dimensional Linear Function Approximation arXiv:2608.22636
✓ 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

Farthest-cell balance regularizer

Add a regularizer that rewards balanced farthest-prototype cells in an embedding space. For each query and random triple of prototypes, compute which prototype is farthest, estimate the three label probabilities over queries, and maximize their Shannon entropy to discourage prototype domination and representation collapse toward a radial direction.

Useful6/10
Difficulty4/10
Novelty6/10
Paper: Farthest-cell triplet entropy: high-dimensional shell limits and hyperbolic curvature amplification arXiv:2609.02362
Unverified 2026

Local-complexity adaptive gradient clipping

Replace one global gradient-clipping threshold with an example- or parameter-block-specific threshold derived from the local metric complexity of its stochastic gradient process. High-complexity examples receive stronger clipping or downweighting, while locally simple examples retain more of their useful gradient signal.

Useful6/10
Difficulty6/10
Novelty5/10
Paper: Pointwise Majorization for sub-Weibull and Mixed Tail Processes with Applications in Quadratic Chaos and Ergodic Diffusions arXiv:2609.01576
Unverified 2026

Critical Small-Ball Embedding Regularizer

Regularize a neural representation so that no small metric ball contains substantially more probability mass than allowed by a power-exponential critical measure. The loss directly penalizes local embedding collapse across several radii, while its exponent is estimated from the observed covering-number growth rather than chosen arbitrarily.

Useful6/10
Difficulty5/10
Novelty6/10
Paper: Maximally Spread Out Measures and Implications for Phase Transitions in Approximation Theory arXiv:2608.30549
Unverified 2026

Stable Hyperplane Feature Layer

Replace a dense directional feature map with a finite stable-zonotope layer: a small set of large random vectors creates a hyperplane arrangement over the input sphere, while a cheaper small-jump residual gives continuous features inside each cell. The layer exposes an explicit compute-versus-resolution knob through the jump cutoff and can be used either as an embedding before an MLP or as a lightweight router for mixture-of-experts blocks.

Useful6/10
Difficulty5/10
Novelty7/10
Paper: Hausdorff Dimension of the Set of Extreme Points of a Random Countable Stable Zonotope arXiv:2608.28004
Unverified 2026

Leaf-Relocation Tree Router

Learn a branching hierarchy for tokens, examples, or experts by greedily relocating leaves to reduce T-Robinson violations. The resulting tree supplies hierarchical candidate sets for retrieval or MoE routing, allowing the model to search a small subtree instead of all items while adapting the hierarchy to learned representations.

Useful6/10
Difficulty6/10
Novelty7/10
Paper: T-Robinson Spaces: Structure, Recognition, and Applications to Real Data arXiv:2608.21248
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

Lipschitz Disagreement Coverage

Use the localization theorem to turn a detected pointwise simulator error into a guaranteed region that must contain similarly large error, then place verification samples inside that region instead of sampling uniformly. The same bound can guide a training regularizer: errors with large amplitude and large local Lipschitz constants are penalized because they create planner-exploitable disagreement regions.

Useful6/10
Difficulty5/10
Novelty6/10
Paper: An Omitted Mode Is a Rare Rule: The Sampling-Verification Danger Law in Continuous Code World Models arXiv:2608.17956