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.

682 ideas found

△ Mechanism confirmed, baseline not beaten 2026

Assignment Tree Attention

Construct a sparse attention support by solving multiple small perturbed assignment problems between query and key embeddings and taking the union of the selected optimal matchings. Use the resulting spanning tree as the only set of cross-token edges, with edge biases determined by empirical assignment frequency.

Useful6/10
Difficulty7/10
Novelty7/10
Paper: Spanning trees in the Assignment Problem: two theorems and two conjectures arXiv:2608.22308
Unverified 2026

M-convex interaction pruning

Prune higher-order tensor or polynomial interactions while preserving an exchange-closed support instead of independently retaining the largest weights. The resulting sparse interaction pattern avoids arbitrary holes and retains structured substitutions between coordinates, potentially improving parameter efficiency and robustness after pruning.

Useful5/10
Difficulty5/10
Novelty9/10
Paper: Canonical-row Chern flow on Bott--Samelson towers: realizable-volume models for Schubert, Grothendieck, and Lascoux polynomials arXiv:2609.02850
Unverified 2026

Robin-Boundary Diffusion Sampler

Train a score-based diffusion model on a domain with partially reactive constraints, replacing hard rejection or large boundary penalties by a Robin boundary condition. Samples approaching the constraint boundary acquire a hazard proportional to accumulated boundary local time, giving a continuous interpolation between reflection and absorption.

Useful5/10
Difficulty6/10
Novelty8/10
Paper: Survival in a partially reactive wedge arXiv:2609.02665
Unverified 2026

Spherical-Design Prototype Initialization

Initialize directional prototypes, cosine-classifier weights, or angular attention directions with a spherical t-design rather than iid random vectors. Exact matching of spherical moments through degree t should provide uniform angular coverage and reduce initialization anisotropy, especially when the number of prototypes is small.

Useful5/10
Difficulty4/10
Novelty5/10
Paper: Dual Geometry of Spherical Designs: Polarity, Self-Polar Rigidity, and Quadrature Structure arXiv:2609.02439
Unverified 2026

Spherical covering initialization

Replace independently random unit-normalized prototypes in a spherical classifier, vector-quantizer, or prototype contrastive head with prototypes selected to cover the sphere evenly. The method directly targets the paper's finding that weak-signal spherical K-means preserves initialization-induced Voronoi structure, reducing redundant prototypes and making early assignments less dependent on random seed.

Useful5/10
Difficulty4/10
Novelty5/10
Paper: A Geometric Analysis of Initialization Bias in Spherical $K$-means in the Weak Signal Regime arXiv:2609.02205
Unverified 2026

Overlap-Field Coverage Regularizer

Represent augmentation centers or training examples in a low-dimensional torus and accumulate the geometric overlap of their augmentation neighborhoods. Add a finite-horizon penalty that detects latent locations with insufficient accumulated coverage, while constraining center uniformity so that coverage optimization does not collapse all samples to one location.

Useful5/10
Difficulty5/10
Novelty7/10
Paper: The higher-dimensional Shepp problem: an exact criterion for random ball coverings of tori arXiv:2609.02156
Unverified 2026

Lp Spectral-Gap Invariance Regularizer

Apply a regularizer that penalizes feature disagreement under a finite set of known transformations. The paper's spectral-gap inequality gives a quantitative reason that this local consistency penalty controls distance from the subspace invariant under the transformation group, while the task loss prevents undesirable collapse.

Useful5/10
Difficulty5/10
Novelty5/10
Paper: Kazhdan's Property $(T)$ for Subspaces and Quotients of $L_p$-Spaces arXiv:2609.01447
Unverified 2026

Christoffel-Balanced Sparse Attention

Replace a dense or ad hoc sparse attention pattern with a circulant mask generated by the paper's carry word c(m,k). Every query attends to exactly m of k relative positions, and the selected positions are prefix-balanced, avoiding the large gaps and collisions produced by random sparsification. Use several Farey-related slopes across heads or layers to combine local, medium-range, and long-range coverage.

Useful5/10
Difficulty5/10
Novelty7/10
Paper: Farey Structure in Modulo Krinkle Tilings: Mediant Splicing and Generation of Prototiles from a Single Edge arXiv:2609.01270
Unverified 2026

ABP Tangential-Curvature Regularizer

Regularize a scalar network output so that its superlevel sets are approximately quasiconcave in input or latent space. Instead of penalizing the full Hessian, penalize positive curvature only in directions orthogonal to the output gradient, matching the paper's projected-Hessian and weighted 1-Laplacian structure.

Useful5/10
Difficulty6/10
Novelty6/10
Paper: On the Aleksandrov--Bakelman--Pucci estimates for the weighted $1$-Laplacian arXiv:2609.00719
Unverified 2026

Pairwise anisotropic minimality regularizer

Train an implicit neural field with a regularizer that evaluates its level-set minimality operator after several nonuniform diagonal coordinate dilations. Instead of penalizing only the aggregate operator at the original coordinates, invert the resulting Vandermonde system and penalize every coordinate-pair coefficient separately. This suppresses hidden curvature cancellations and should produce level sets that remain geometrically simple under anisotropic rescaling.

Useful5/10
Difficulty6/10
Novelty8/10
Paper: Rigidity of Euclidean Minimal Hypersurfaces under Nonuniform Diagonal Dilations arXiv:2609.00668
Unverified 2026

Universal Beta Angular Calibration Loss

Use the reciprocal arrangement as a probe of whether a learned representation has the intended angular response, and penalize deviations from the paper's universal beta distribution. This converts the theorem into a distribution-level regularizer rather than assuming that the reciprocal layer itself improves task loss.

Useful5/10
Difficulty4/10
Novelty7/10
Paper: Universal Beta Incidence Angles: Cauchy Rigidity and Infinite Arrangements arXiv:2609.00603
Unverified 2026

Finite-domain survival-time MoE router

Replace a static top-k MoE capacity rule with a router whose expert allocation evolves through a finite-domain coverage process. Experts with larger current occupancy can either receive more future capacity, intentionally amplifying specialization, or receive less capacity by reversing the size dependence, allowing a controlled test of the paper's asymmetry-amplification mechanism.

Useful5/10
Difficulty6/10
Novelty6/10
Paper: Size-Dependent Growth Rates Amplify Infinitesimal Asymmetry in Nanocrystals arXiv:2609.00145
Unverified 2026

Anisotropic mass-force regularizer for neural surfaces

Add a Michael-Simon-inspired penalty to a neural implicit surface, neural renderer, or differentiable mesh generator. The penalty suppresses large-area sheets whose anisotropic first variation is small, which should reduce spurious folds, floating components, and geometrically unstable solutions while preserving surfaces required by the task loss.

Useful5/10
Difficulty6/10
Novelty8/10
Paper: The anisotropic Michael-Simon inequality arXiv:2608.31164
Unverified 2026

Saturating low-rank coupled optimizer

Train two parameter replicas with common low-rank stochastic forcing and an adaptive finite-dimensional Cameron–Martin correction that contracts their discrepancy in a weak parameter metric. Transporting the forcing directions through the loss Hessian is intended to make a rank-k perturbation influence more than k raw parameter directions, while damped momentum suppresses high-energy divergence.

Useful5/10
Difficulty7/10
Novelty7/10
Paper: Spectral gap for the three-dimensional damped cubic wave equation with degenerate noise arXiv:2608.28459
Unverified 2026

Principal-bundle gauge-fixed Hamiltonian network

Represent a time-dependent Hamiltonian system on the reduced state $(q,t,p_q)$ rather than on the redundant extended state $(q,t,p_q,p_t)$. A neural Hamiltonian section predicts one canonical representative of each affine cotangent fiber, while an optional symmetry loss enforces consistency under transformations that translate time.

Useful5/10
Difficulty5/10
Novelty8/10
Paper: Reduction of symmetric time-dependent Hamiltonian systems I: presymplectic principal $\mathbb{R}$-bundles arXiv:2608.28278
Unverified 2026

Weak-Bounded Riesz Attention

Replace one local spatial aggregation in a CNN or vision transformer with a discretized Riesz potential whose kernel is proportional to $\|x-y\|^{-(n-s)}$. Normalize the layer using the paper's sharp weak-type constant and penalize empirical violations of the resulting tail bound, encouraging nonlocal context without allowing a small set of pixels or tokens to generate arbitrarily large responses.

Useful5/10
Difficulty5/10
Novelty7/10
Paper: Sharp constants for weak estimates of Riesz Potentials when $0<s<\min\{n,2\}$ arXiv:2608.31043
Unverified 2026

Certified Rank-Aware QP Layer

Use a Goldfarb–Idnani-style active-set solver as a neural constrained layer or optimizer substep, but never trust a guessed active set solely because its linear system solved. Remove duplicate or dependent constraints, solve the reduced KKT system, and accept the result only after checking primal feasibility, dual sign conditions, and stationarity. This gives exact enforcement of linear inequalities and a diagnostic certificate when the constraint set is infeasible.

Useful5/10
Difficulty6/10
Novelty5/10
Paper: Goldfarb-Idnani Revisited:Invariants, Certificates, and the Limits of Guessing arXiv:2608.30933
Unverified 2026

Minkowski-Symmetry Activation Ellipsoid

Replace ordinary per-coordinate activation normalization or covariance whitening with a learned or frozen affine map based on a minimum-volume ellipsoid calibrated to the activation convex hull. Estimate the hull's Minkowski symmetry and use the bound \(\rho=\sqrt{d/\alpha}\) to set a principled clipping radius, where \(d\) is feature dimension and \(\alpha\) is the measured symmetry. This should reduce worst-case clipping of asymmetric activation distributions without requiring a much larger…

Useful5/10
Difficulty6/10
Novelty4/10
Paper: Symmetry-dependence in Rounding of a Convex Body arXiv:2608.30876
Unverified 2026

Flux-Frequency Homogeneity Regularizer

Add a differentiable penalty that encourages a neural implicit field to have a controlled local homogeneity degree across concentric spatial scales. The penalty compares the flux-normalized frequency at adjacent radii, optionally targeting a desired degree k, so the network is discouraged from producing scale-inconsistent or oscillatory local geometry.

Useful5/10
Difficulty5/10
Novelty7/10
Paper: An Almgren-type formula for planar $p$-harmonic functions arXiv:2608.30847
Unverified 2026

Positive-Definite Quadratic Feature Pair

Replace two unconstrained scalar quadratic feature heads with a pair whose quadratic forms admit a positive-definite linear combination. This prevents the two heads from simultaneously vanishing on any nonzero hidden vector, which can reduce representation collapse and improve the conditioning of downstream gates or auxiliary objectives. The constraint can be implemented softly with a spectral-margin penalty, or exactly by parameterizing one learned pencil as positive definite.

Useful5/10
Difficulty4/10
Novelty8/10
Paper: Last two pieces of the puzzle for unsolvability of a system of two quadratic (in)equalities arXiv:2608.30571
Unverified 2026

Indefinite Grassmann Adapter

Replace an unconstrained low-rank adapter or similarity projection with a learned subspace carrying a prescribed signed metric. The module learns an orthonormal basis U for a k=p+q dimensional subspace, forces the compressed form U^*I_{m,n}U to have p positive and q negative eigenvalues, and uses the resulting pseudo-inner product for signed attention or retrieval scores.

Useful5/10
Difficulty5/10
Novelty8/10
Paper: The Grassmannian of indefinite subspaces arXiv:2608.30249
Unverified 2026

Heisenberg Bracket Positional Encoding

Replace or augment standard sinusoidal or RoPE position features with bracket-quadratic phases $e(-\theta n\lfloor\beta n\rfloor)$ generated by a Heisenberg nilmanifold orbit. Multiple irrational coefficients and output frequencies produce a cheap deterministic encoding whose empirical cross-position correlations should exhibit cancellation instead of the periodic aliasing of rational or finite-frequency encodings.

Useful5/10
Difficulty3/10
Novelty7/10
Paper: Sets whose differences avoid a bracket quadratic arXiv:2608.30078
Unverified 2026

Singularity-Aware Groupoid Transport Layer

Replace a globally shared latent transformation group by a source-dependent collection of valid transformation paths. A feature at latent point z is transported only along paths whose transformed coordinate never reaches the singular locus, while homotopic paths are identified and composable paths are concatenated. This should let an equivariant model represent branched or incomplete symmetries that ordinary group-equivariant layers must discard.

Useful5/10
Difficulty6/10
Novelty8/10
Paper: Lie groupoid integration of singular isometries of the Poincaré disk arXiv:2608.30077
Unverified 2026

Convex-hull difficulty curriculum

Interpret the Cramér energy of an embedding as the logarithm of the number of random in-distribution samples required to reach it through a convex hull. Use this quantity to stratify training data into geometric difficulty levels and schedule exposure from low-energy central points toward high-energy boundary points, or preferentially replay high-energy points after the model has learned the core distribution.

Useful5/10
Difficulty5/10
Novelty7/10
Paper: Cramér transform, half-space depth and threshold phenomena for convex bodies arXiv:2608.29972