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.

2030 ideas found

Unverified 2026

Simplex-Complexity Depth Diagnostic

Estimate the simplex-based ratio of a target or learned convex piecewise-linear polytope and use the theorem \(\rho_\Delta(P)\le 2^d-1\) to choose a minimum useful ReLU depth. During training, monitor whether the learned polytope is approaching a high-\(\rho\) target; if it is, widen the model without increasing depth only when the diagnostic indicates that depth is the bottleneck.

Useful5/10
Difficulty5/10
Novelty9/10
Paper: A simplex-based measure of symmetry arXiv:2607.03815
Unverified 2026

Pfaffian-horizontal decoder

Build a decoder \(F:\mathbb{R}^m\to\mathbb{R}^N\) whose latent-coordinate derivatives are approximately horizontal, meaning they annihilate a prescribed one-form \(\lambda\). When \(\lambda\wedge d\lambda=0\), use local chart-wise training or Jacobian projection to exploit the paper's Lipschitz extension regime and obtain smoother, geometrically valid interpolations between observed boundary samples.

Useful5/10
Difficulty5/10
Novelty7/10
Paper: Hölder maps under Pfaffian constraints arXiv:2607.03667
Unverified 2026

Leading-Term Strand Router

Build a sparse neural mixing layer from colored directed strands rather than a dense all-to-all matrix. Feature channels are assigned ordered colors, local trivalent junctions conserve every color, and an edge width is the weighted sum of the colors carried by that edge; a differentiable penalty favors monotone, crossing-free routings that define a canonical leading term. This creates a structured routing prior that can be compared directly against dense attention and unconstrained sparse…

Useful5/10
Difficulty6/10
Novelty7/10
Paper: Leading term strandings for webs arXiv:2608.27425
Unverified 2026

Boxicity-guided constraint attention

Replace an unconstrained pairwise attention score with an intersection of coordinate-wise threshold or interval compatibility heads. Each head is a supergraph that permits pairs satisfying one constraint, while the final attention edge exists only when every head permits the pair. This provides an interpretable inductive bias for multi-constraint relations and prevents the model from approximating a conjunction using a single unstable nonlinear score.

Useful5/10
Difficulty5/10
Novelty8/10
Paper: Boxicity and Threshold Dimension of Zero Divisor Graphs arXiv:2608.27381
Unverified 2026

Topology-Calibrated Graph Diffusion

Use the paper's topology-dependent Laplacian spectral bound to set the diffusion horizon of a graph neural network instead of using a fixed number of message-passing steps for every graph. For genus-g graphs, choose the horizon from the conservative slow-mode timescale n/(Delta g), while separately capping the step size to keep high-frequency modes stable.

Useful5/10
Difficulty4/10
Novelty6/10
Paper: On Eigenvalue Bounds for Bounded Genus Graphs and Minor-Free Graphs arXiv:2608.27179
Unverified 2026

Capacitary Boundary Regularizer

Add an inverse-capacitary-distance penalty to coordinate-network outputs near complex forbidden sets, rather than using only Euclidean distance-to-boundary weighting. The penalty is theoretically compatible with the network's spatial Dirichlet energy: it suppresses large values near obstacles while the gradient penalty controls the weighted singularity, even when the obstacle is thin, perforated, or fractal-like.

Useful5/10
Difficulty6/10
Novelty8/10
Paper: Capacitary-Distance Hardy Inequality arXiv:2608.26663
Unverified 2026

Hyperbola-Tangent Quadratic Features

Add a bank of quadratic features encoding tangent contact with the reciprocal manifold x1 x2 = 1, rather than forcing a generic MLP to discover this interaction from arbitrary monomials. For positive bounded feature pairs, each feature is nonnegative and becomes exactly zero at a selected reciprocal operating point. The module can be used either as an input feature expansion or as a regularizer encouraging learned gates and scales to follow a reciprocal geometry.

Useful5/10
Difficulty3/10
Novelty7/10
Paper: Quadratic Convexification of a Square Truncated by a Hyperbola arXiv:2608.26639
Unverified 2026

Fock-Coercive Magnitude Loss for Complex Features

Parameterize a complex neural feature F(z) as a low-degree holomorphic polynomial and train it from magnitude-squared observations using a Gaussian-weighted residual to the best constant intensity baseline. The paper's coercivity inequality makes this more than an observation-space loss: small intensity variation certifiably bounds the error of the phase-invariant squared feature F^2-F(0)^2. Use the bound as a regularizer or as a replacement for an unavailable complex-target loss in…

Useful5/10
Difficulty5/10
Novelty7/10
Paper: A complex-analytic proof of square-restricted stable phase retrieval in Fock space arXiv:2608.26365
Unverified 2026

Joint Bochner-Riesz Bilinear Graph Layer

Replace an unconstrained bilinear feature interaction with a joint spectral filter that only allows pairs of graph or spherical frequencies satisfying a soft radius constraint. The smooth factor attenuates interactions near and beyond the cutoff instead of making the hard low-pass decision used by ordinary spectral truncation, which should reduce high-frequency aliasing and unstable feature products.

Useful5/10
Difficulty6/10
Novelty6/10
Paper: Bilinear Bochner--Riesz Means on the Complex Sphere arXiv:2608.25884
Unverified 2026

Certified partition-function reranking

Replace MAP scoring of discrete latent configurations by comparison of the total energy-model mass assigned to each candidate class. Estimate each class partition function with annealed importance sampling driven by identical random seeds, then return a prediction only when a paired bootstrap confidence interval certifies that its log-partition score exceeds every competitor.

Useful5/10
Difficulty6/10
Novelty6/10
Paper: Certified decoding of quantum LDPC codes arXiv:2608.25545
Unverified 2026

Collision-free ternary attention

Represent a sparse higher-order attention head by a 3-uniform hypergraph whose hyperedge $(v,x,y)$ allows anchor token $v$ to aggregate a pairwise interaction between tokens $x$ and $y$. During mask construction, greedily reject edges that would create a $4$-cycle in the link graph $L(v)$, so the same pair of source tokens cannot reach an anchor through multiple redundant pairings. This produces a diversity-constrained sparse attention pattern with an explicit, measurable collision bound.

Useful5/10
Difficulty6/10
Novelty7/10
Paper: Regularity method for hypergraphs with $4$-cycle-free links arXiv:2608.24740
Unverified 2026

Post-Fixing Orthogonality Regularizer

Add a graph-derived conditional moment penalty to a neural representation or predictor. For each nested Markov constraint represented after fixing variables in R, residualize functions of (X,Z) with respect to Z under the post-fixing distribution and penalize their weighted correlation with functions of (Y,Z). This directly targets the equality constraint and can be more informative than an unconditional decorrelation penalty.

Useful5/10
Difficulty6/10
Novelty5/10
Paper: Toward a Semiparametric Efficiency Theory under Equality Constraints in Nested Markov Models arXiv:2608.24602
Unverified 2026

Polynomial Band-Pass Feature Mixer

Add a norm-controlled feature mixer that applies a polynomial spectral filter to the channel covariance of a transformer or MLP block. A quadratic filter centered at \(\rho\) suppresses covariance eigenmodes far from the target and preserves modes near it, providing a tunable alternative to purely variance-maximizing mixing or standard normalization.

Useful5/10
Difficulty5/10
Novelty6/10
Paper: Spectral Selection in Sphere-Constrained Flows Generated by Polynomials of the Dirichlet Laplacian arXiv:2608.24444
Unverified 2026

Ground-state fractional regularizer

For a coordinate network representing a field near a boundary or interface, factor the prediction as u(x)=h(x)v(x), where h is a known fractional-Hardy ground-state profile, and regularize v with a weighted nonlocal difference energy. Add the corresponding critical Hardy penalty to the loss so that the network spends capacity on the nonsingular residual v instead of relearning the boundary singularity.

Useful5/10
Difficulty5/10
Novelty7/10
Paper: Critical fractional Hardy inequalities arXiv:2608.24389
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

Weak-type pairwise smoothness penalty

Regularize a network using the weak-L^p tail of scale-normalized feature differences between an input and sampled perturbations, instead of averaging all pairwise differences with an ordinary L^p penalty. The weak norm emphasizes persistent high local sensitivities while being less dominated by a single extreme pair than a hard maximum.

Useful5/10
Difficulty4/10
Novelty6/10
Paper: Weak-type characterizations of Sobolev and bounded variation spaces on metric measure spaces arXiv:2608.24106
Unverified 2026

Dimension-aware power-mean fusion

Use the paper's dimension-dependent exponent transformation to fuse nonnegative outputs from several branches. Instead of selecting an arbitrary generalized-mean exponent, choose the output exponent q=Q_d(p) induced by an input exponent p, making the fusion rule explicitly sensitive to the dimension of the barycentric variables.

Useful5/10
Difficulty3/10
Novelty5/10
Paper: Borell--Brascamp--Lieb inequality with finitely many output functions arXiv:2608.23963
Unverified 2026

Porous-Medium Anti-Collapse Embeddings

Regularize learned low-dimensional embeddings or MoE prototypes with an aggregation-diffusion energy. The attractive term encourages compact, semantically coherent groups, while porous-medium diffusion creates density-dependent pressure that prevents points from collapsing into singular clusters.

Useful5/10
Difficulty5/10
Novelty6/10
Paper: Smoothing effect and uniqueness for aggregation diffusion models arXiv:2608.23734
Unverified 2026

Burkholder Hessian regularizer

Regularize the spatial curvature of a scalar-output image network using the paper's Burkholder integrand instead of an isotropic squared-Hessian norm. The energy is nonconvex pointwise but quasiconvex on symmetric Hessians, so compactly supported Hessian perturbations cannot lower the total energy relative to an affine field; this may suppress oscillatory curvature while allowing sharper anisotropic transitions than quadratic smoothing.

Useful5/10
Difficulty4/10
Novelty8/10
Paper: Quasiconvexity of the Burkholder function on symmetric matrices arXiv:2608.23388
Unverified 2026

Symplectic Hessian curvature regularizer

Replace an ordinary input-convex potential with a potential whose Hessian is encouraged to be symmetric positive definite and symplectic. Add a curvature penalty based on the scalar curvature of the Hessian metric, together with a theorem-derived interior target proportional to the inverse squared distance to the domain boundary. This should suppress pathological third-derivative oscillations while preserving nonquadratic structure near boundaries.

Useful5/10
Difficulty7/10
Novelty8/10
Paper: Convex functions with symplectic Hessian arXiv:2608.23236
Unverified 2026

Basin-Entropy Threshold Tuning

Use the hysteresis threshold as a regularizer for attractor diversity. Estimate how many initial states converge to each fixed point and select thresholds that maximize basin entropy or penalize domination by one attractor, reducing attractor collapse in discrete recurrent classifiers and memory modules.

Useful5/10
Difficulty4/10
Novelty8/10
Paper: Basins of Attraction to Multiple Fixed Points in Discrete-time Hysteresis Neural Networks arXiv:2608.23225
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

Reliability-gated Laplacian positional encodings

Construct metric-graph Laplacian positional encodings only at frequencies whose empirical eigenvalues are statistically stable under the paper’s $(n v_\mu(h))^{-1/2}$ law. Use local ball-mass estimates and empirical eigengaps to gate or downweight unreliable eigenvectors, preventing small-sample spectral noise from entering a GNN or graph transformer.

Useful5/10
Difficulty4/10
Novelty5/10
Paper: Spectral stability of empirical metric-measure Laplacians arXiv:2608.23150
Unverified 2026

Fisher-Geometry Expert Menu

Construct a finite menu of experts or LoRA adapters by quantizing the oracle action manifold under a task-aware Fisher-information distortion rather than Euclidean parameter distance. The router can choose an installed expert after observing the input, but only k experts are stored or evaluated. The paper's frontier rate gives a falsifiable accuracy-versus-menu-size prediction.

Useful5/10
Difficulty6/10
Novelty4/10
Paper: Pre-Disclosure Experiment Menus: Oracle-Relative Risk and Joint Sample--Menu Asymptotics arXiv:2608.22905