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.

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

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

Concave-Spectral Residual Aggregation

Replace ordinary summation of several matrix-valued residual branches by a concave spectral aggregation: form the branch sum, take its absolute value, and apply a nonnegative concave function to singular values. The paper's transfer theorem predicts that the sharp Schatten-norm amplification constant is no worse than the corresponding linear Lee-type constant, while square-root, logarithmic, and capped maps suppress dominant singular directions.

Useful5/10
Difficulty6/10
Novelty8/10
Paper: Sharp Concave-Function Transfer for Lee-Type Schatten Norm Inequalities arXiv:2608.25989
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

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

Pick-Spectral Boundedness Loss

For a complex-valued neural predictor, penalize violations of positive semidefiniteness of the Nevanlinna-Pick matrix on minibatch inputs. Unlike pointwise output clipping, this couples all examples and directly enforces compatibility with a bounded analytic interpolant of prescribed norm $M$.

Useful5/10
Difficulty4/10
Novelty7/10
Paper: Dynamic Nevanlinna-Pick Theory, Covariance Dilations, and Non-commutative Varieties arXiv:2608.23359
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

Mean-Polynomial Positivity Head

Parameterize a nonnegative neural penalty or energy function as a sum of weighted power-mean differences applied to polynomial features of the network representation. Each atom is globally nonnegative by the power-mean inequality, so the learned penalty cannot become negative or destabilize constrained training, while the cone can represent polynomials outside SOS-plus-nonnegative-circuit certificates.

Useful5/10
Difficulty5/10
Novelty8/10
Paper: The Cone Generated by Positive Semidefinite Mean Polynomials arXiv:2608.22739
Unverified 2026

Commutator-Polynomial Residual Adapter

Replace an unconstrained linear residual adapter by an operator \(T\) satisfying a polynomial relation in the commutator operator \(\Delta_A(X)=AX-XA\). Choose the polynomial roots in a stable half-plane so that repeated commutators become nilpotent, making repeated adapter application terminate algebraically and permitting a finite-polynomial inverse of \(I+T\).

Useful4/10
Difficulty6/10
Novelty9/10
Paper: Spectral Rigidity of Commutators: Dynamics, Resonance, and Nilpotency arXiv:2608.29574
Unverified 2026

Polynomial Jacobian Non-Collapse

Add a two-output anti-collapse regularizer based on the determinant of the Jacobian Gram matrix, together with a penalty against proportional highest-degree coefficient tensors. The paper's inequality predicts that preserving coefficient non-proportionality prevents the output distribution from concentrating on thin curves or tiny regions, potentially improving coverage of a two-dimensional latent or generative output.

Useful4/10
Difficulty5/10
Novelty6/10
Paper: Absolute continuity of two-dimensional polynomial random vectors arXiv:2608.03922
Unverified 2026

Multiplicity-free Schur channel tying

Tie neural parameters across feature channels according to the Schur multiplicity pattern of the fermionic coinvariant representation. In the two-fermion case, use one learned parameter block for each Schur degree instead of independently parameterizing every ordered pair of fermionic channels, eliminating redundant copies while preserving the relevant GL2 channel symmetry.

Useful4/10
Difficulty5/10
Novelty7/10
Paper: Type $B$ fermionic coinvariant rings arXiv:2608.02881
Unverified 2026

Narayana-stable polynomial layer

Replace a monomial polynomial feature block by a fixed Narayana basis transformation. If the input polynomial has nonnegative coefficients and only real roots, the transformed polynomial is guaranteed to have only real roots as well, giving a certified stability-preserving coordinate change for polynomial neural networks.

Useful4/10
Difficulty5/10
Novelty9/10
Paper: The Narayana transformation arXiv:2607.01572
Unverified 2026

Reaction-Closed Sparse Routing

Represent the active experts or channels of a sparse layer by a presence set and impose a reaction-style dependency graph on possible support changes. During a growth phase, activate only the least support set closed under enabled dependencies; during later pruning, allow trajectory-dependent removals but never add structurally unreachable experts. This should reduce routing churn and dead experts while preserving adaptive sparsity.

Useful4/10
Difficulty5/10
Novelty7/10
Paper: A Structural Theory of Admissible Transitions in Biological Reaction Networks arXiv:2608.27201
Unverified 2026

Polynomial-expander feature mixer

Insert a fixed polynomial mixer before an MLP or retrieval index for tuples of discrete features. The mixer maps n+2 bounded scalar feature codes to one or several expanded scalar codes, and the paper's theorem guarantees that its image cannot collapse below order |A|^n when all coordinates come from a finite alphabet A. Use multiple independent permutations or coefficient choices to obtain a vector representation while retaining the deterministic algebraic structure.

Useful4/10
Difficulty4/10
Novelty7/10
Paper: On polynomial expanders with many variables arXiv:2608.26349