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.

✓✓ Beats tuned baseline 2026

Minkowski-Additive Convex Latents

Store a convex object as a direction-indexed vertex tuple and implement composition of objects through componentwise Minkowski addition and nonnegative scaling. This creates a structured residual or compositional layer where convexification is nonexpansive, making perturbation amplification controllable and avoiding repeated generic geometric optimization.

Useful6/10
Difficulty4/10
Novelty8/10
Paper: Galerkin approximations to the space of convex bodies by polytopes in nondegenerate V-representation arXiv:2608.26615
Unverified 2026

Cohomology-safe adaptive residual refinement

Use the paper's quotient-space and Euler-characteristic logic as a runtime invariant for adaptive neural discretizations. A refinement controller should add capacity only when the residual warrants it and should reject refinements that create new nullspace modes, disconnected constant modes, or closed non-exact feature modes.

Useful5/10
Difficulty5/10
Novelty8/10
Paper: Adaptively-refinable polar-spline discrete differential forms: hierarchical construction, exactness, and applications arXiv:2609.03461
Unverified 2026

Transverse Fourier Collision Control

Construct a Fourier layer whose active frequencies lie on several nonparallel polygonal patches or thin annular sectors, and cap repeated difference vectors generated by pairs of patches. The bounded-multiplicity geometry limits how many input frequency pairs can contribute to the same output frequency, potentially reducing spectral aliasing and gradient variance in nonlinear Fourier mixing.

Useful5/10
Difficulty6/10
Novelty7/10
Paper: Quantitative Uniqueness and Rough Damping on $\mathbb T^2$ arXiv:2608.27544
Unverified 2026

Scalene anticommuting three-token mixer

Replace an unconstrained three-token interaction block by three distinct pair maps constructed from anticommuting channel generators. For every token triple, enforce equality of the two composition paths A12 B13 C23 and C23 B13 A12, while retaining different parameters for the three edges. This creates a globally consistent three-way interaction without collapsing to a single shared pair operator.

Useful5/10
Difficulty6/10
Novelty9/10
Paper: Multiparameter Quantum Affine Spaces and the Scalene Yang--Baxter Equation arXiv:2608.20714
Unverified 2026

Spectral-safe edge dropout

Calibrate random edge dropout in a GNN or sparse-attention layer using the spectral radius of the underlying communication graph. Retain edges with probability p chosen so that p lambda(A) is at least 1 plus a safety margin, preventing the random computation graph from entering a subcritical fragmented regime while retaining high sparsity.

Useful5/10
Difficulty4/10
Novelty7/10
Paper: The critical probability for percolation on finite graphs arXiv:2608.19145
Unverified 2026

Samuels Chance-Budget Regularizer

Use Samuels' exact lower bound as a differentiable certificate for the probability that a random neural-network cost remains below a hard budget, under independent nonnegative component costs and known means. This can regularize stochastic MoE loads, activation memory, dynamic depth, or per-example loss decompositions without assuming variances or bounded support.

Useful5/10
Difficulty4/10
Novelty8/10
Paper: On Samuels' Conjecture arXiv:2608.18392
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

Schur-Complement Barrier Message Passing

Add a small number of latent region-offset variables to a graph or token-mixing layer, interpreting selected edges as low-permeability barriers that suppress cross-region information flow. Eliminate the latent variables analytically, yielding a visible-node update with a structured low-rank correction rather than adding persistent hidden node states. The module is intended to preserve within-cluster propagation while preventing oversmoothing or contamination across learned boundaries.

Useful5/10
Difficulty6/10
Novelty6/10
Paper: An unfitted finite element discrete fracture model for low-permeability barriers via local stiffness matrix modification arXiv:2608.04431
Unverified 2026

Bohnenblust–Hille coefficient regularization

Replace ordinary coefficient decay in a degree-d polynomial neural layer with the Bohnenblust–Hille coefficient quasi-norm, whose exponent p=2d/(d+1) is dimension-independent and strictly below 2 for d>1. Combine this penalty with a sampled torus supremum penalty so the layer is constrained both in its realized function amplitude and in the coefficient geometry predicted by the inequality.

Useful5/10
Difficulty5/10
Novelty7/10
Paper: Tightness of and counterexamples to several quantum estimates arXiv:2608.04411
Unverified 2026

Jumbled Router Certificate

Regularize a hard MoE router so that assignments remain block-jumbled: every group of token positions sends approximately the expected number of tokens to every group of experts or capacity slots. The condition detects localized routing collapse that ordinary global load balancing can miss, while requiring only a small block-count matrix rather than expensive pairwise or pattern statistics.

Useful5/10
Difficulty4/10
Novelty5/10
Paper: Quality Control Algorithms for Pattern Counting arXiv:2608.03439
Unverified 2026

Upper-shadow mask augmentation

Represent an input perturbation, feature mask, or expert route as a subset of a ground set of size n. Collect a useful family F of k-subsets, then generate larger l-subsets only by adding l-k elements to members of F; these are the upper-shadow augmentations. The paper's explicit profile predicts a guaranteed fraction of distinct l-masks covered by this procedure, allowing an augmentation system to replace inefficient random mask sampling with targeted combinatorial expansion.

Useful5/10
Difficulty4/10
Novelty9/10
Paper: Upper-shadow comparisons on the slice and the Frankl--Tokushige product conjectures arXiv:2607.21589
Unverified 2026

Reach-Calibrated Topology Tokens

Add a finite-resolution geometric code to a 3D neural encoder: quantized lattice occupancy, local barycenters, and tangent directions are converted into structural tokens alongside ordinary point or mesh features. Choose lattice spacing from estimated local reach so that small perturbations do not change the code, and train the continuous encoder to agree with this discrete structural representation.

Useful5/10
Difficulty5/10
Novelty7/10
Paper: A Geometric Finiteness Theory for Essential Surfaces in Knot Exteriors arXiv:2607.20844
Unverified 2026

Degree-Capacity Regularizer for Sparse Routing

Use the paper's degree-sensitive crown inequality to penalize or constrain router assignments that create medium- or high-degree tokens or experts. The resulting router favors a controlled population of low-degree, medium-degree, and high-degree nodes rather than allowing a few hubs to absorb most interactions, which can stabilize sparse attention or mixture-of-experts load balancing.

Useful5/10
Difficulty5/10
Novelty5/10
Paper: Linear Turán Numbers of Uniform Hypertrees arXiv:2607.16854
Unverified 2026

Fourier-support-aware Weyl normalization

For a learned phase-space layer, estimate its symplectic Fourier bandwidth R and divide its output gain by the theorem's support-dependent factor R raised to an exponent determined by the Schatten index p. This creates a resolution-aware normalization: layers with larger phase-space bandwidth are automatically damped when p is not equal to 2, while the Hilbert-Schmidt case p = 2 remains unscaled.

Useful5/10
Difficulty5/10
Novelty6/10
Paper: Quantitative Fourier Restriction Estimates for Weyl Operators: Fourier-Support Dependence and Lower Bounds arXiv:2607.13697
Unverified 2026

Monadic Bar Refinement Network

Construct a shared latent transformation as a neural monad-like operator Γ=Ω∘Σ, and expose its iterates Γ^{q+1}Y as a refinement trajectory rather than stacking unrelated layers. Aggregate the resulting representations with a learned or fixed realization weighting, while training an algebra-action map θ:ΓY→Y to make one-step refinement compatible with the original representation. This creates a shallow-parameter, arbitrarily deep computation path with explicit compositional…

Useful5/10
Difficulty6/10
Novelty6/10
Paper: The homotopical monadicity theorem arXiv:2607.12124
Unverified 2026

Takagi-Regularized Hierarchical Routing

Represent MoE experts as leaves of a balanced ternary tree and regularize the hierarchical boundary of each expert's assignment mask. At fixed routing mass x, the ternary martingale isoperimetric theorem supplies the explicit minimum one-variation T_3(x), so the router can be penalized according to an occupancy-dependent profile rather than a uniform parent-child disagreement cost. This should favor coherent, stable routing regions while preventing small expert supports from obtaining…

Useful5/10
Difficulty5/10
Novelty7/10
Paper: Sharp Ternary Martingale Isoperimetry and $n$-adic Takagi-Type Lower Bounds arXiv:2607.11069
Unverified 2026

Spherical Height-Routed Multiscale Network

Replace an unconstrained deep routing tree by a q-ary descendant hierarchy with an explicit even height h=0,2,4,... labeling feature scale or computation depth. Train the router so that empirical occupancy of heights follows the exact even-sector law from the Nagao quotient, preventing concentration at shallow layers or unstable overuse of very deep paths.

Useful5/10
Difficulty5/10
Novelty6/10
Paper: $K$-spherical horospherical averages on the Nagao quotient: tree combinatorics and exact discrepancy arXiv:2607.08704
Unverified 2026

Matroid-circuit equivariant message passing

Represent each matroid circuit as a structured hyperedge and perform message passing from circuit embeddings back to their constituent elements. Tie all circuit-update parameters that lie in the same automorphism orbit, so relabelings preserving the matroid produce exactly relabeled hidden states rather than requiring the network to learn this symmetry from data.

Useful5/10
Difficulty5/10
Novelty6/10
Paper: Encoding matroids into quantum states arXiv:2607.02736
Unverified 2026

Sharp Sumset Support Regularizer

Apply the paper's sharp sumset lower bound to the active discrete supports of multiple additive branches in a sparse neural layer. Penalize cases where the support of the combined output is smaller than the mathematically guaranteed minimum implied by the branch supports, discouraging destructive overlap and representational collapse.

Useful5/10
Difficulty6/10
Novelty8/10
Paper: Sharp Lower Bounds for Sumsets in Hypercubes arXiv:2607.01458
Unverified 2026

Poisson–Kingman expert-capacity prior

Replace the usual uniform expert-load target in sparse MoE training with a random, heavy-tailed capacity allocation generated by a conditioned Poisson point process. The constant profile reproduces a Poisson–Dirichlet-like allocation, while a profile such as \(\phi_\gamma(x)=1+e^{-\beta\gamma x}\) deliberately changes the frequency of large versus small expert allocations.

Useful5/10
Difficulty5/10
Novelty7/10
Paper: Macroscopic Feynman Cycles and Poisson--Kingman Universality in Bose Condensation arXiv:2607.04264
Unverified 2026

Branching-Pressure Router

Replace a generic MoE router entropy bonus with a branching-pressure objective that values routes according to both their stochastic entropy and their number of valid fine-grained continuations. The module can be implemented as a hierarchical router: a coarse state chooses a base transition, while a validity mask determines how many valid expert or latent branches lift that transition.

Useful5/10
Difficulty5/10
Novelty6/10
Paper: The entropy of Gromov-Thurston manifolds and branched coverings arXiv:2608.24220
Unverified 2026

Curvature-certified cycle suppression

Add a curvature-aware structural regularizer to a graph neural network or learned graph-rewiring module. The regularizer raises low-curvature edges toward the sharp 1/2 threshold, which is predicted to suppress first-dimensional cycle-space structure and reduce redundant or conflicting message-passing routes without explicitly computing graph homology.

Useful5/10
Difficulty6/10
Novelty6/10
Paper: A Sharp Curvature Threshold for GLMY Path Homology arXiv:2608.23187
Unverified 2026

Higher-Order Coactivation Envelope

Convert an attention or MoE routing affinity matrix into a soft graph and constrain its K_r-density relative to its observed K_s-density. The regularizer penalizes pathological affinity patterns in which moderate s-way coactivation is accompanied by an implausibly low or unstable r-way coactivation.

Useful4/10
Difficulty5/10
Novelty7/10
Paper: A Higher-Order Clique Density Theorem arXiv:2607.06545