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.

365 ideas found

Unverified 2026

Annealed Infinity-Harmonic Dual Head

Add a two-channel geometric head producing scalar fields u(x) and v(x) on a two-dimensional input or latent coordinate domain. Train it initially with a moderate p-harmonic duality constraint, then anneal p upward so u approaches an infinity-harmonic field while v remains its rotated-gradient dual; this penalizes isolated steep gradient spikes and promotes smooth, coherent level sets.

Useful5/10
Difficulty5/10
Novelty6/10
Paper: Infinity-harmonic functions and inverse mean curvature flow clusters arXiv:2607.06698
Unverified 2026

Stable Magnitude Bottleneck

Insert a magnitude-only bottleneck whose output is the absolute value of a random independent-feature expansion of the latent vector. Train a decoder to reconstruct the latent representation or input modulo one global sign, while explicitly rejecting feature distributions whose normalized L1 mass is too small. The module provides a controlled way to obtain sign-invariant representations without allowing arbitrary coordinate-wise sign loss.

Useful5/10
Difficulty4/10
Novelty7/10
Paper: Stable Phase Retrieval for Spans of Independent Random Variables arXiv:2607.06693
Unverified 2026

Persistent-rank token budget

Add a topology-aware lower bound to point-cloud or graph token pruning: at each geometric scale, retain at least as many latent representatives as the persistent-homology rank between that scale and a larger scale. The method prevents the pruning module from collapsing independent connected components or cycles that remain persistent, while still allowing compression in topologically redundant regions.

Useful5/10
Difficulty5/10
Novelty7/10
Paper: Lower Bounds for Approximating the Vietoris-Rips Filtration arXiv:2607.06524
Unverified 2026

Rigidity-Calibrated Set Attention

Augment pairwise attention on a set of n tokens with a rigidity operator derived from normalized pairwise directions. The operator couples infinitesimal node displacements through changes in pairwise distances, while the complete-graph theorem provides a geometry-independent eigenvalue target n/2 after spherical centering and normalization.

Useful5/10
Difficulty6/10
Novelty7/10
Paper: The Second Largest Eigenvalue of Stiffness Matrices of Normalized Complete Frameworks arXiv:2607.05472
Unverified 2026

Microscopic Boundary Pooling

Replace uniform set or point-cloud pooling with a microscopic weighting computed from pairwise feature-space distances. The resulting signed pooling vector should retain boundary and geometrically isolated points that ordinary mean pooling suppresses, potentially improving recognition when class information is concentrated on shape extremities or rare local configurations.

Useful5/10
Difficulty5/10
Novelty7/10
Paper: The microscopic weighting on a metric space arXiv:2607.05349
Unverified 2026

Centralizer-Constrained Hyperbolic Dynamics

For data with known hyperbolic or Möbius symmetries, constrain learned infinitesimal transformations to commute with the symmetry group generators. This produces a neural ODE, recurrent update, or hyperbolic embedding layer whose dynamics cannot arbitrarily break quotient-space symmetries, potentially improving extrapolation across symmetry-related examples.

Useful5/10
Difficulty5/10
Novelty5/10
Paper: Rigidity on compact surfaces through hyperbolic symmetries arXiv:2607.05023
Unverified 2026

Noncommutative path-word pooling

Replace ordinary bag-of-events pooling for an ordered trajectory, graph walk, or token event stream with a reduced-word representation in a free group. Each event contributes a signed group word, and the model aggregates signed differences (w-1), preserving order-sensitive information while making explicitly paired local events cancel.

Useful5/10
Difficulty6/10
Novelty8/10
Paper: Homotopy index polynomials for knotoids arXiv:2607.04737
Unverified 2026

Relative-Difference Homotopy Consistency

Replace all pairwise consistency comparisons between m augmented views by a single group-valued relative-difference vector with m−1 components. Add a learned contractible-chart penalty so that the relative-difference map remains locally simple rather than merely numerically small. The construction is invariant to simultaneous left multiplication of every view, providing a useful gauge-invariant consistency signal.

Useful5/10
Difficulty5/10
Novelty7/10
Paper: Homotopic distances and group-like spaces arXiv:2607.03484
Unverified 2026

Invariant Möbius latent mixer

Insert a piecewise Möbius transformation as a deterministic latent mixing layer, using the paper's exact branch structure rather than a generic unconstrained MLP. The transformation repeatedly moves points between branches while preserving a known reference density, creating a cheap chaotic mixer with analytically computable Jacobian factors. Use a truncated, normalized version in practice so that the sigma-finite invariant measure becomes a valid finite training distribution.

Useful5/10
Difficulty5/10
Novelty7/10
Paper: Dynamics of integer zeroes of homogeneous quadratic equations over $\mathbb{R}^3$ arXiv:2607.03354
Unverified 2026

Floating-Body Robust Embedding Core

Construct a robust central region of each class or domain embedding cloud by intersecting halfspaces whose discarded cap mass is at most a prescribed fraction. Use this floating-body region to define prototypes or consistency targets, suppressing one-sided outliers without assuming Gaussian covariance structure. The centerpoint level 1/(d+1) provides a principled default depth parameter.

Useful5/10
Difficulty5/10
Novelty6/10
Paper: From Ham-Sandwich to Centerpoints: Semialgebraic Algorithms for Cutting Polytopal Measures arXiv:2607.02400
Unverified 2026

Tree-Cone Distribution Head

Represent a neural network's categorical output over a rooted tree using cumulative probability mass on each rooted subtree. Train pairs of examples with a stochastic-dominance loss that compares these subtree masses, avoiding enumeration of all upper sets and making hierarchical monotonicity explicit. This is suitable for taxonomies, severity levels, hierarchical intents, and structured world-model states.

Useful5/10
Difficulty3/10
Novelty4/10
Paper: Characterizing finite posets whose probabilistic powerdomain are RB-domains arXiv:2607.02231
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

Separability-Ambiguity Regularizer

Estimate how often a representation lies on a separating hyperplane for alternative separable dichotomies, and use this quantity as a boundary-concentration penalty. Unlike a single classifier margin, the score measures whether many admissible separators consider the point ambiguous.

Useful5/10
Difficulty5/10
Novelty7/10
Paper: Function-Counting Theory for Low-Dimensional Data Structures arXiv:2607.01010
Unverified 2026

Multiscale Cross-Branch Co-Dimension Regularizer

Measure the local geometric compatibility of q latent distributions produced by different views, augmentations, environments, or trajectory models using the paper's co-dimension. Penalize excessive cross-branch co-dimension over a range of radii while preserving per-branch variance and covariance rank to prevent representation collapse.

Useful5/10
Difficulty5/10
Novelty6/10
Paper: Distributional results for the shortest distance between trajectories of different dynamics arXiv:2606.30998
Unverified 2026

Faithful Hypergraph Orthogonal Prototypes

Represent entities, tokens, or graph nodes by learnable rays subject to orthogonality constraints on prescribed hypergraph contexts. In addition to enforcing orthogonality within each context, penalize distinct vertices that become collinear, because contextual orthogonality alone can permit or force geometric collapse. This creates a structured embedding layer for graph neural networks or context-aware attention.

Useful5/10
Difficulty5/10
Novelty6/10
Paper: Chromatic Completeness and the Independence of Geometric Obstruction arXiv:2607.04289
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

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

Schrodinger spectral-gap regularizer for learned metrics

Equip a learned embedding with a pullback Riemannian metric and regularize the bottom eigenvalue of the operator -Δ_g+γ scal_g. The regularizer searches for localized functions with low Dirichlet energy plus curvature potential, thereby penalizing unstable regions that ordinary Jacobian-norm penalties may miss.

Useful5/10
Difficulty8/10
Novelty8/10
Paper: Spectral Geroch conjecture and noncompact area enlargeable summands arXiv:2608.24853
Unverified 2026

Möbius-compressed circular latent states

Represent a population of N circular latent states using a three-parameter Möbius transformation applied to fixed uniform reference phases, rather than learning N unrelated angles. The resulting states remain on the circle by construction and can model concentrated or nearly uniform phase populations through a single concentration parameter.

Useful5/10
Difficulty4/10
Novelty7/10
Paper: Unstable Manifolds for the Kuramoto Model: Convergence to the Ott-Antonsen Manifold arXiv:2608.24453
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

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

S3-Holonomy Message Passing

Build a graph neural network on the dual graph of a triangulated surface whose messages are transported by \(\mathfrak{S}_3\) permutation matrices associated with adjacent-face color transports. This removes dependence on arbitrary local color-label choices and gives the network an explicit representation of noncontractible topology through holonomy around cycles.

Useful5/10
Difficulty5/10
Novelty6/10
Paper: Congruence classes of monodromies of even triangulations arXiv:2608.22814
Unverified 2026

Critical Interface State-Space Pooling

Add a fixed or weakly learned interface-localized branch to a sequence model. Set the critical mass term to zero and make the transport coefficient change sign across a learnable interface, producing a localized mode that pools information near a detected transition rather than averaging uniformly over the sequence.

Useful4/10
Difficulty5/10
Novelty8/10
Paper: Critical Topological Photonics in Synthetic Dimensions arXiv:2608.21791
Unverified 2026

m-Binomial Global Mixer

Insert a fixed or lightly gated lower-triangular binomial-transform layer into a sequence model to create global interactions across positions without forming attention logits. For a sequence of length N, mix each output position with all earlier positions using coefficients determined by an integer m; initialize the layer fixed and optionally learn a diagonal channel gate or a small mixture over m values.

Useful4/10
Difficulty5/10
Novelty8/10
Paper: $m$-Bell and $m$-Stirling numbers: Iterated binomial transforms, hyper-Bessel functions, and moments of the Conway--Maxwell--Poisson distribution arXiv:2608.12011