ML: Kv cache

Machine-learning ideas tagged Kv cache in the ML taxonomy of the Math2NN corpus.

△ Mechanism confirmed, baseline not beaten 2026

Entropy-constrained unbiased block quantization

Replace fixed-grid stochastic quantization of each tensor block with an adaptive ordered codebook selected under both an entropy budget and a maximum number of codepoints. Within every interval between adjacent codepoints, use unbiased stochastic interpolation, so the quantized block remains unbiased while the emitted symbol distribution becomes easier for arithmetic or Huffman coding to compress. The representation should reduce actual compressed bytes at fixed MSE, or reduce MSE at fixed…

Useful8/10
Difficulty6/10
Novelty6/10
Paper: Entropy-Constrained Adaptive Stochastic Quantization arXiv:2608.18147
✗ Failed on benchmark 2026

Equal-Volume KV Vector Quantization

Replace consecutive or randomly assigned transformed KV coefficients with groups whose variance-volume is approximately equal. Train one equal-size vector-quantizer codebook per group, so a fixed-width cache does not waste its low-rate budget by forcing high-variance and low-variance coordinates into badly mismatched groups. This is a drop-in quantization-layout change that can be applied to keys, values, or both.

Useful8/10
Difficulty5/10
Novelty7/10
Paper: Spend Bits Where Queries Look: KV Cache Vector Quantization with Attention-Preserving Transforms arXiv:2608.04074
△ Mechanism confirmed, baseline not beaten 2026

Residual-Pivoted Kernel Attention

Replace full PSD self-attention with a pivoted Cholesky/Nyström approximation whose landmarks are sampled from the unexplained diagonal mass. Tokens with large residual self-similarity are more likely to become landmarks, so the rank budget is spent on difficult regions rather than uniformly selected tokens.

Useful7/10
Difficulty5/10
Novelty5/10
Paper: A new analysis of the randomly pivoted Cholesky algorithm arXiv:2608.20633
△ Mechanism confirmed, baseline not beaten 2026

Spectral Message Basis

Replace full agent-to-agent state transmission with coefficients in a learned dominant Koopman mode basis. Agents communicate only the leading spectral coordinates that explain slowly decaying collective behavior, while retaining a certificate based on the spectral gap and subdominant eigenvalue to decide whether the compressed representation is safe.

Useful7/10
Difficulty6/10
Novelty6/10
Paper: Certifying Collective Reasoning in Multi-Agent Systems via Koopman Spectral Analysis arXiv:2608.05956
✗ Failed on benchmark 2026

Fairness-Budgeted Short-Job Insertion

Replace unrestricted continuous batching with a fairness-constrained scheduler that only inserts a waiting request when its predicted decode footprint remains within a normalized distance of the longest request already in the batch. The fairness budget should be tuned away from the mathematically worst midpoint and validated against real arrival distributions, with the goal of reducing wasted max-driven decode work without falling back to inefficient one-request-at-a-time serving.

Useful7/10
Difficulty4/10
Novelty6/10
Paper: Efficiency and Cost Alignment in Batched LLM Serving via Resource-Fair Scheduling arXiv:2608.02244
△ Mechanism confirmed, baseline not beaten 2026

Dyadic Hankel Boundary Attention

Replace dense attention between tokens on opposite sides of a one-dimensional boundary or segment split with a dyadic low-rank approximation of a Cauchy/Hankel distance kernel. Each distance-scale block uses O(log(1/\varepsilon)) features, and the number of active scales grows only logarithmically with context length after discarding a narrow boundary layer. This is especially suitable for a relative-position attention branch or state-space-like long-range branch, rather than arbitrary…

Useful7/10
Difficulty5/10
Novelty6/10
Paper: An independent proof of the plunge-region conjecture for time-frequency localization operators in dimension one arXiv:2607.23016
✗ Failed on benchmark 2026

Balanced design attention

Construct overlapping attention windows from a block design instead of using one dense sequence-by-sequence attention matrix. Every token appears in exactly $r$ windows and every token pair co-occurs in exactly $\lambda$ windows, giving uniform coverage and avoiding the uneven connectivity of arbitrary sparse masks.

Useful7/10
Difficulty5/10
Novelty6/10
Paper: Block designs and systems of pairs arXiv:2607.18499
✗ Failed on benchmark 2026

Rank-Revealing Representative Tokens

Compress a transformer KV cache by selecting actual past tokens whose key or hidden-state columns form a stable basis for all cached tokens. Instead of retaining tokens with the largest attention scores or leverage scores independently, compute rank-revealing pivoting of the leading right-singular-vector matrix and retain its pivot columns, then evaluate attention using the representatives plus an optional low-cost residual correction.

Useful7/10
Difficulty5/10
Novelty6/10
Paper: Computing Strong Rank-Revealing Factorizations for Matrices with Orthonormal Rows arXiv:2607.13532
△ Mechanism confirmed, baseline not beaten 2026

Residual-energy cross attention

Replace dense query-key attention with an adaptive cross approximation constructed from selected query and key pivot tokens. At each rank, choose the pivot pair that removes large estimated residual energy, update the residual by a rank-1 cross correction, and stop when the residual estimate reaches a target tolerance. The resulting factorization computes approximate attention using a small number of landmark interactions while adapting to the actual token distribution.

Useful7/10
Difficulty6/10
Novelty5/10
Paper: Continuous Cross Approximation of Matrices Arising Out of Kernel Functions arXiv:2607.12540
✗ Mechanism failed 2026

Subcritical Ancestral Attention

Construct a sparse attention layer by sampling backward token histories as a continuous-time branching process rather than allowing every query to attend to every key. Each active ancestor either dies or branches into a bounded number of candidate ancestors, with branching probability controlled by a small parameter. The branch-out penalty predicts exponentially small probability of long, highly branching histories, providing a direct knob for receptive-field size and attention FLOPs.

Useful7/10
Difficulty5/10
Novelty7/10
Paper: Cutoff with an $O(1)$ window for Potts Glauber Dynamics on lattice at High Temperature arXiv:2608.26259
Unverified 2026

Local-Tail Adaptive Attention

Replace a global attention truncation rule with a per-query local-tail budget. For each query token, retain nearby or high-priority keys until the estimated discarded interaction strength is below a target epsilon; this uses the paper's central distinction between local tail mass and the extensive norm of the discarded operator. The resulting attention pattern can allocate long-range computation only to tokens whose local tail is large.

Useful6/10
Difficulty5/10
Novelty5/10
Paper: Local observable errors from truncating interaction tails in gapped quantum lattice systems arXiv:2608.15576
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

Prony-Compressed Temporal Memory

Approximate a long hidden-state or key/value trajectory by a small sum of exponential modes, storing only the mode nodes and vector weights instead of every timestep. Recover the modes from a Hankel matrix through an annihilating polynomial, then reconstruct the trajectory or a compact recurrent state during inference.

Useful6/10
Difficulty6/10
Novelty5/10
Paper: Contour Hankel dynamics and indicator fields for the Riemann $Ξ$-function arXiv:2608.11520
Unverified 2026

Residual-pivoted landmark attention

Replace uniform or random landmark selection in low-rank attention with approximate greedy pivoted QR selection on the attention matrix. At each step, select the key whose residual attention column has the largest norm, orthogonalize it against previously selected columns, and stop when the residual energy falls below a target tolerance. Use the selected columns as an adaptive attention basis and reconstruct the full attention output through a small coefficient matrix.

Useful6/10
Difficulty6/10
Novelty5/10
Paper: Convergence rates for pivoted QR and LU arXiv:2607.26863
✗ Failed on benchmark 2026

Neighborhood-separator attention

Construct a sparse token-interaction graph from attention affinities and recursively split it by removing the closed neighborhoods of a small set of separator tokens. Separator tokens retain global communication, while the resulting anti-adjacent components perform local attention independently, reducing quadratic attention and KV-cache costs. The induced Erdos-Pósa theorem supplies a structural diagnostic: graphs with few anti-adjacent long-cycle or theta packings should admit small…

Useful6/10
Difficulty7/10
Novelty8/10
Paper: Induced Erdős--Pósa property for long holes, long thetas, and beyond arXiv:2607.07697
✗ Mechanism failed 2026

Support-Scenario Attention Pruning

Turn attention weights into a Boolean support scenario and prune edges using local-surjectivity constraints rather than independently thresholding each row. Preserve at least one compatible continuation for every local window, then favor a strongly connected support graph so pruning removes redundant mixtures while maintaining a globally coherent sparse attention pattern.

Useful6/10
Difficulty5/10
Novelty7/10
Paper: Possibilistic collapse and extremality of simplicial distributions arXiv:2607.02754
Audited (legacy) 2026

Entropy-Budgeted Contiguous KV Pooling

Use the attention probability distribution over an ordered context to choose contiguous token groups whose pooled attention masses have entropy as close as possible to a prescribed upper budget R. Replace the corresponding key/value vectors by one weighted representative per group, preserving token order and reducing the KV-cache length from n to m. Unlike unconstrained token merging, the entropy constraint gives a direct control knob over how concentrated or diffuse the retained attention…

Useful6/10
Difficulty5/10
Novelty7/10
Paper: Constrained Maximum Entropy Contiguous Aggregations arXiv:2608.25533
△ Mechanism confirmed, baseline not beaten 2026

Biclique-free hierarchical attention

Replace dense token-to-token attention by a learned binary relation generated from a small number of hierarchical predicates, while rejecting masks that contain a fixed K_{t,t} biclique. The paper's incidence bound predicts near-linear active edges for these structured relations, giving sparse attention with a measurable worst-case complexity target rather than relying only on average sparsity.

Useful6/10
Difficulty6/10
Novelty6/10
Paper: Almost-linear Zarankiewicz bounds in $1$-semi-equational theories arXiv:2608.25464
Unverified 2026

VC-pattern attention compression

Convert attention scores into binary incidence set systems at one or several score thresholds, then group queries that induce the same sampled-key pattern. Compute the expensive key-value aggregation once per pattern and reuse it for all queries in the group. The method is exact for the thresholded routing component and approximates dense attention when queries have a small number of stable high-weight neighborhoods.

Useful5/10
Difficulty6/10
Novelty7/10
Paper: Isomorphism of tournaments with bounded VC dimension arXiv:2608.14486
Unverified 2026

Global-Shift Randomized Batching

Sample one batching aggressiveness parameter once per serving epoch and use it for all busy periods, instead of independently randomizing every batch. This globally coupled randomness preserves nested batching behavior while preventing a fixed traffic pattern from repeatedly aligning with a deterministic timeout.

Useful5/10
Difficulty3/10
Novelty7/10
Paper: Online Multi-Level Aggregation with Per-Batch Maximum Delay arXiv:2608.06796
Unverified 2026

Incremental Gray-code counter state

Use the one-edit Hamiltonian walk as an explicit state machine for counters in autoregressive models or world models. Instead of regenerating and re-embedding an entire numeric string after every increment, update only the digit that changes, or append the single leading digit at a block transition.

Useful5/10
Difficulty6/10
Novelty9/10
Paper: Variable-length Gray codes for the Natural Numbers arXiv:2607.16088