Research ideas

Every idea extracted from recent arXiv mathematics papers — verified and unverified. Click an idea to open its full card; badges show the empirical verdict.

△ Mechanism confirmed, baseline not beaten 2026

Rate-adaptive KV-cache quantizer

Allocate different entropy budgets to different KV-cache blocks instead of assigning every token and head the same nominal bitwidth. Use the ECASQ Lagrangian so high-variance or attention-sensitive blocks receive more codepoints, while predictable blocks collapse to fewer symbols and become highly compressible. Preserve unbiasedness per scalar or block so reconstructed keys and values have zero mean quantization error conditional on the original tensor.

Useful8/10
Difficulty6/10
Novelty7/10
Paper: Entropy-Constrained Adaptive Stochastic Quantization arXiv:2608.18147
△ Mechanism confirmed, baseline not beaten 2026

Log-Depth Chunked Linear-Attention Scan

Implement causal linear attention in chunks and combine chunk summaries with an associative scan instead of carrying the recurrent state through all chunks sequentially. This preserves the exact causal computation while reducing inter-chunk dependency depth from the number of chunks to its logarithm, enabling substantially more GPU parallelism for long-context training and prefill.

Useful8/10
Difficulty6/10
Novelty6/10
Paper: Kernelized Linear Attention: Breaking the Capacity Wall with Symmetric Cones arXiv:2607.17419
△ Mechanism confirmed, baseline not beaten 2026

Joint Tucker-rank and residual-bit KV allocator

Compress each layer's KV tensor with a partial Tucker approximation over token and feature axes, then encode the truncation residual with a rotated uniform quantizer. Select token rank, feature rank, and residual bit-width jointly under a global byte budget, allowing values with flat spectra to receive residual bits while keys may receive more low-rank capacity.

Useful8/10
Difficulty6/10
Novelty6/10
Paper: A JoLT for the KV cache: Near-lossless KV cache compression via joint Lagrangian allocation of Tucker ranks and a rotated residual for llms arXiv:2607.12550
△ 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
✓✓ Beats tuned baseline 2026

Gated Local-Global Graph Attention

Replace dense graph self-attention with two parallel branches: exact softmax attention only over graph neighbors and a global linear-attention branch that summarizes all nodes through feature-space statistics. A learned node-wise gate interpolates between the branches, allowing locally structured nodes to use sparse attention while retaining a global-information path.

Useful7/10
Difficulty4/10
Novelty5/10
Paper: Graph-Native Attention Acceleration for Attack Detection in Cyber-Physical Systems arXiv:2608.23414
△ 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
△ Mechanism confirmed, baseline not beaten 2026

Maximum-Entropy Relational Block Kernel

Parameterize a multi-relational graph kernel as a finite stochastic block model and fit it by maximum entropy subject to differentiable motif-density constraints. Use the resulting block kernel as a graph-neural-network message-passing operator or structured prior for edge prediction, reducing an O(n^2 r) relation tensor to O(m^2 r+n) parameters for m latent blocks and r relations.

Useful7/10
Difficulty6/10
Novelty6/10
Paper: Constrained Multi-Relational Graphons with Maximum Entropy arXiv:2607.22383
Unverified 2026

Asynchronous p-Mean Token Mixer

Replace dense token attention with K asynchronous local nonlinear consensus updates on a sparse token graph. Each selected token is moved to the unique incident p-mean of its neighbors, producing a tunable message-passing operator that is averaging for p=2 and nonlinear for other p.

Useful6/10
Difficulty5/10
Novelty6/10
Paper: Consensus time for asynchronous $\ell^p$ relaxation: graph dependence arXiv:2609.03856
Unverified 2026

High-girth Bethe assignment layer

Replace independent softmax routing or attention normalization with a differentiable approximate distribution over one-to-one assignments, using the Bethe permanent as the partition-function surrogate. Constrain the allowed token-to-expert or query-to-key support graph to have high girth, which gives an explicit bound on the approximation error and reduces short-cycle-induced correlations.

Useful6/10
Difficulty6/10
Novelty6/10
Paper: Optimal girth-dependent bounds for the Bethe approximation of the permanent arXiv:2609.02017
Unverified 2026

Straight-Line Grammar Tokenizer

Replace repeated substrings in long sequences with nonterminal symbols from an acyclic straight-line grammar, then run the transformer on the compressed sequence. Unlike ordinary fixed tokenization, the compression objective explicitly minimizes the number of reusable binary productions, allowing repeated document-specific or corpus-level motifs to become single units. An expansion map lets the model recover token-level outputs for selected positions.

Useful6/10
Difficulty6/10
Novelty6/10
Paper: Assembly Theory and the Smallest Grammar Problem arXiv:2608.19228
Unverified 2026

Refinement-consistent bipartite routing

Represent hierarchical routing decisions by one weighted bipartite graph between parent experts or regions and fine cells or token groups. Select a regularized edge set once, then derive both coarse parent activation and fine-grained routing from it, preventing later refinement from invalidating earlier load balancing.

Useful6/10
Difficulty6/10
Novelty6/10
Paper: Cellular Maximal-Density Factoring and a Conditional Repair of the Streamlined Three-Dimensional Kakeya Reduction arXiv:2608.18870
Unverified 2026

Tree-Hall Collision-Free Router

Replace independent top-k routing by a tree-structured hypergraph assignment layer. Each candidate route is a singleton or pair of resources, and the router selects exactly q_e routes for every tree edge e while ensuring that no resource is consumed twice. This removes capacity collisions before expert computation instead of repairing them with token dropping or load-balancing penalties.

Useful6/10
Difficulty7/10
Novelty7/10
Paper: A Necessary and Sufficient Hall Condition for Hypergraphs arXiv:2608.10193
Unverified 2026

Refine-and-Coarsen Block Router

Turn the paper's graphon refinement operation into an adaptive mixture-of-experts or relational-attention router whose number of blocks is learned rather than fixed. Split a block when its members produce incompatible constraint gradients, and merge blocks when their relation rows are statistically indistinguishable, yielding a compact architecture that grows only where the data require extra structure.

Useful6/10
Difficulty5/10
Novelty7/10
Paper: Constrained Multi-Relational Graphons with Maximum Entropy arXiv:2607.22383
Unverified 2026

L2-Certified DAG Attention Ordering

Add a learned scalar ordering to a directed graph attention layer and retain only forward edges, producing a DAG attention mask without requiring a supplied topological order. Train the ordering with a differentiable surrogate for weighted surplus, and regularize it toward the paper's explicit half-weight-minus-l2 certificate. This supplies a principled alternative to random masking or unconstrained bidirectional graph attention when causal or hierarchical information flow is desirable.

Useful6/10
Difficulty5/10
Novelty8/10
Paper: The optimal constant for minimum weight feedback arc sets in oriented graphs arXiv:2607.20996
Unverified 2026

Submodular Budget Router

Replace independent top-k MoE routing with a submodular polyhedral allocation over experts. A learned set function assigns a marginal gain to each additional expert allocation, so the router exhibits diminishing returns and can enforce global capacity constraints rather than making unrelated per-token choices. The allocation is obtained by sorting marginal gains, giving a fast greedy router with piecewise-linear routing regions.

Useful6/10
Difficulty5/10
Novelty6/10
Paper: Extended generalized permutahedra, and cointeracting bialgebras arXiv:2607.10683
△ Mechanism confirmed, baseline not beaten 2026

Independent-Simplex Hypergraph Router

Use the paper's edge-to-area incidence structure to choose a small set of geometrically independent simplices instead of processing every possible hyperedge. A greedy rank-increasing router retains a triangle only when its Jacobian adds a new direction, reducing higher-order message-passing cost while preserving diverse geometric information.

Useful6/10
Difficulty6/10
Novelty7/10
Paper: On volume vectors determined by hypergraphs in thin subsets of Euclidean space arXiv:2607.00153
✓✓ Beats tuned baseline 2026

Boundary-Compressed Approximate Pruning

Use an approximate decision diagram to select a structured subset of neurons, channels, attention heads, or attention edges when their quadratic interactions are sparse or inverse-sparse. Merge states that agree on a local interaction boundary and accept a tunable epsilon loss in the pruning objective, obtaining a representation whose size is linear in model width for fixed accuracy tolerance.

Useful6/10
Difficulty6/10
Novelty7/10
Paper: Convexification of mixed-integer quadratic optimization via decision diagrams arXiv:2608.22815
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

Matroid-Capacity Router

Replace independent top-k expert decisions by a global fractional routing problem that enforces token-side and expert-side capacities together with an additional diversity constraint represented by a partition or laminar matroid. Use the resulting Hall-type deficiency certificate to identify overloaded token subsets and penalize the actual structural cause of routing failure rather than relying only on an aggregate load-balancing loss.

Useful5/10
Difficulty6/10
Novelty4/10
Paper: Measurable Matroids: Foundations and Min--Max Theorems arXiv:2608.16464
Unverified 2026

Degenerate-Backbone Sparse Attention

Constrain a sparse attention graph to split into a k-degenerate backbone and a residual graph with maximum degree at most k-1. Orient the backbone according to a degeneracy order so that each token receives or emits at most k structured interactions in the relevant direction, while the residual edges form a bounded-degree correction layer. This replaces arbitrary sparse attention with a topology that is easier to schedule and whose worst-case edge and local-degree costs are explicit.

Useful5/10
Difficulty6/10
Novelty8/10
Paper: Arboricity Nearly Bounds Degeneracy arXiv:2608.15701
Unverified 2026

Discrepancy-bounded signed fast memory

Replace an unrestricted additive recurrent or fast-weight memory with a sign-selectable update: for each incoming update vector, choose between adding and subtracting it so that a smooth compact potential of the memory state is minimized. This is appropriate when the memory representation has sign symmetry, such as signed random features or a learned linear sketch; it is not a drop-in replacement for ordinary gradient updates where the sign carries semantic information.

Useful5/10
Difficulty5/10
Novelty9/10
Paper: Online balancing of vectors with small coordinates arXiv:2608.12490
Unverified 2026

Rank-Collapse Quadratic Token Router

Replace independent token scores with a query-conditioned positive-semidefinite low-rank quadratic score over a fixed-size selected subset. Repeatedly convert the quadratic objective into a linear exposure vector and apply a cheap top-k oracle, allowing the selector to model joint token interactions without constructing an n-by-n attention matrix. The margin between the current low-dimensional shadow and alternatives provides a practical confidence or early-stopping signal.

Useful5/10
Difficulty5/10
Novelty6/10
Paper: The Rank-Collapse Principle for Quadratic Optimization arXiv:2608.07828
Unverified 2026

Fuzzy permutation attention

Replace part of an attention matrix with a mixture of fuzzy permutation matrices induced by short permutations. Each basis element represents an order-preserving k-token matching smeared over all embeddings into the sequence, while a balancing constraint makes the aggregate attention receive uniform global coverage. Retain a standard low-rank or local-attention residual so the structured branch does not prevent arbitrary content-dependent interactions.

Useful5/10
Difficulty5/10
Novelty7/10
Paper: Fuzzy latin squares and balanced permutation pattern statistics arXiv:2608.05335
Unverified 2026

Collision-Aware Graph Edge Router

Use the model's non-monotonicity result to make graph connectivity a learned resource rather than assuming that every extra edge helps. An edge router assigns transmission scores but also charges a source-side collision cost for exposing an infected node to many susceptible neighbors. The resulting router can prune edges that increase competition and reduce useful reachability.

Useful5/10
Difficulty5/10
Novelty7/10
Paper: The Zombie Infection Model arXiv:2607.29409