Math: Functional analysis

Machine-learning ideas tagged Functional analysis in the Math taxonomy of the Math2NN corpus.

✓✓ Beats tuned baseline 2026

Equivariant Variational Field Network

Represent a scalar energy or free-energy functional of a three-dimensional neural field using translation- and rotation-equivariant convolutions, and produce the field prediction by minimizing the total functional rather than by a direct decoder. The same functional can then generate equilibrium states, forces, and response observables under new external fields, resolutions, and system sizes.

Useful8/10
Difficulty7/10
Novelty6/10
Paper: Equivariant learning of a transferable three-dimensional classical density functional arXiv:2608.13506
△ Mechanism confirmed, baseline not beaten 2026

Zubov Invariant Head for Stable Latent Dynamics

Attach a scalar Zubov head to a neural ODE, state-space model, or recurrent world model and train it to be invariant under a discounted Koopman action. The head should be near one for trajectories attracted to the target equilibrium and near zero for states with large accumulated deviation, providing a long-horizon stability signal and an off-distribution failure detector.

Useful8/10
Difficulty6/10
Novelty7/10
Paper: Data-Driven Domain of Attraction Estimation via Convergent Koopman-Zubov Approximation arXiv:2608.01018
✗ Failed on benchmark 2026

Weak Koopman Latent Dynamics

Replace noisy pointwise derivative matching in a neural state-space model with a weak-form Koopman-generator residual. An encoder maps observations to latent observables, while a learned matrix generator propagates those observables. Integration by parts removes the need to differentiate noisy trajectories and provides a controllable noise-averaging mechanism.

Useful8/10
Difficulty5/10
Novelty7/10
Paper: Weak-form Extended Dynamic Mode Decomposition arXiv:2607.25950
✗ Failed on benchmark 2026

Average-contracting invariant fibre

Replace pointwise spectral-norm contraction in a recurrent or state-space model with an average logarithmic contraction certificate for an input-conditioned fibre update. Let a base state carry expressive, possibly noncontractive dynamics, while an auxiliary latent fibre contracts on average. This should preserve useful variability in the base while preventing long-horizon fibre explosion and making the fibre converge to an input-dependent invariant section.

Useful8/10
Difficulty5/10
Novelty7/10
Paper: Decay of Correlations for Partially Hyperbolic Skew-Products arXiv:2607.21516
△ Mechanism confirmed, baseline not beaten 2026

Multiplicity-balanced symmetric interaction layer

Replace a dense degree-m tensor interaction layer by a symmetric orbit-parameterized layer with one parameter per exponent vector and explicit multinomial scaling. This preserves the contribution of all ordered tensor entries represented by one orbit, while reducing parameter count and avoiding the amplitude distortion of unweighted monomial compression.

Useful7/10
Difficulty4/10
Novelty7/10
Paper: Orbit compression and asymptotic contractivity for symmetric Bohnenblust--Hille inequalities arXiv:2608.13753
✗ Failed on benchmark 2026

Response-from-Hessian Regularizer

Use the learned variational functional's second functional derivative as a consistency mechanism: equilibrium susceptibility, forces, and phase stability must all be computed from the same Hessian rather than from independently trained predictors. Penalize negative or excessively ill-conditioned Hessian modes during training, while retaining soft negative modes as a detectable phase-transition signal.

Useful7/10
Difficulty6/10
Novelty7/10
Paper: Equivariant learning of a transferable three-dimensional classical density functional arXiv:2608.13506
△ Mechanism confirmed, baseline not beaten 2026

Osgood-Budgeted Neural ODE

Replace a global Lipschitz or spectral-norm penalty in a neural ODE or deep residual stack with a trajectory-wise Osgood regularizer. The network is allowed to have large local Jacobians on a small subset of states, provided the accumulated local distortion remains below an explicit Osgood distance budget.

Useful7/10
Difficulty5/10
Novelty6/10
Paper: Quantitative Osgood regularity for DiPerna--Lions flows arXiv:2608.08337
△ Mechanism confirmed, baseline not beaten 2026

David-coordinate invertible warp

Parameterize the local anisotropic deformation of a 2D neural warp by an unconstrained field ν rather than directly predicting a Beltrami coefficient μ. Map it through μ=F(ν)=ν/(2+|ν|), which guarantees |μ|<1 at every pixel while retaining a simple distortion measure K=1+|ν|. This allows an invertible image-coordinate or spatial-transformer layer to represent highly distorted regions without sigmoid saturation near |μ|=1.

Useful7/10
Difficulty6/10
Novelty7/10
Paper: An Orlicz variational formula for David-type Beltrami equations arXiv:2608.05618
✗ Failed on benchmark 2026

Capacity-Preserving Transient Message Passing

Replace ordinary graph convolution with a Markov diffusion whose edge transition probability is proportional to a geometric distance weight d(v,u)^(n−2), following the paper's Delaunay discretization theorem. Use graph Dirichlet capacity on expanding node shells to detect whether information escapes through the graph or repeatedly returns to local neighborhoods, and use this signal to select propagation depth or add a regularizer.

Useful7/10
Difficulty6/10
Novelty7/10
Paper: Topology and dynamics of unimodular random hyperbolic manifolds arXiv:2607.25065
✗ Mechanism failed 2026

Dyadic Resolvent Filter Layer

Replace a single polynomial graph filter or dense inverse with a multiscale layer that applies unitary propagations at dyadic times and combines them according to the dyadic resolvent identity. For a symmetric graph operator, this implements a stable rational spectral filter that can selectively retain or suppress frequency bands while exposing logarithmic multiscale structure.

Useful7/10
Difficulty6/10
Novelty6/10
Paper: Dyadic Resolvent Representations of Self-Adjoint Operators: Propagator Expansions, Spectral Measures, and Zeta Functions arXiv:2607.21278
✗ Failed on benchmark 2026

Coulomb transport loss for anti-collapse generation

Train a generator with a Coulomb discrepancy rather than, or in addition to, a local adversarial or reconstruction loss. The induced force attracts generated mass toward the target while repelling excess source mass, giving a geometry-aware anti-collapse regularizer.

Useful7/10
Difficulty5/10
Novelty6/10
Paper: Wasserstein gradient flows for Coulomb discrepancies arXiv:2607.12579
✗ Failed on benchmark 2026

Implicit Monotone-Damping State Block

Replace an unconstrained second-order residual or state-space block with a position-velocity system whose damping is the gradient or subgradient of a convex function. Compute the next state implicitly, so the damping cannot inject energy and the resulting layer is robust to large learned damping nonlinearities, nonsmooth activations, and long rollouts.

Useful7/10
Difficulty5/10
Novelty5/10
Paper: Second order systems on Hilbert spaces with nonlinear damping arXiv:2607.08506
△ Mechanism confirmed, baseline not beaten 2026

Adjoint Pointwise PINN Certificates

Attach a query-specific error certificate to a mesh-based PINN by applying the discrete PDE operator to the network's compatible finite-element reconstruction. For each query point, solve one adjoint system whose sensitivity-weighted residual gives the exact signed error relative to the discrete target, while norm bounds and a discretization estimator produce an interval when exact correction is unavailable. The same sensitivity scores can be fed back into collocation-point selection.

Useful7/10
Difficulty5/10
Novelty8/10
Paper: Pointwise Error Estimates for Numerical Physics-Informed Neural Networks arXiv:2607.03431
✗ Failed on benchmark 2026

Fold-Avoiding Endogenous Feedback Layer

Build a recurrent or state-space layer whose transition matrix depends on a scalar pooled from the current hidden state. Estimate the local derivative of the scalar closure and penalize feedback gains that approach the fold threshold, preventing abrupt branch changes and excessive sensitivity.

Useful7/10
Difficulty5/10
Novelty7/10
Paper: Endogenous Feedback in Size-Structured Transport Equations arXiv:2607.02877
✗ Failed on benchmark 2026

Spectral-cusp-factored neural wavefunction

Represent the physical wavefunction as a fixed cusp factor multiplied by a neural residual, rather than forcing the network to learn Coulomb singularities from data. Use cutoff distance features so the factor is nontrivial only near coalescences and remains numerically bounded at long range. The residual should have substantially lighter Fourier tails and therefore require less network capacity to attain a given energy or local-energy accuracy.

Useful7/10
Difficulty4/10
Novelty6/10
Paper: Cut-off Jastrow Factors and Spectral Barron Regularity of Coulombic Electronic Wave Functions arXiv:2607.02492
✓✓ Beats tuned baseline 2026

Weak Cartan curvature loss

Replace a pointwise Gauss-equation penalty involving the determinant of a neural surface Hessian with a weak Cartan residual built from an orthonormal coframe and its connection 1-form. The residual is evaluated after integration against compactly supported test functions, making curvature supervision less sensitive to noisy second derivatives and compatible with rough neural surfaces.

Useful7/10
Difficulty5/10
Novelty7/10
Paper: Cartan's and Gauss's equations and rigidity theorems for isometric embeddings in low Sobolev regularity arXiv:2607.02412
✗ Failed on benchmark 2026

Fractional Cube Spectral Penalty

Add a fractional Laplacian penalty to neural functions over binary inputs so that high-order coordinate interactions are damped according to \(|S|^\alpha\), rather than treating all Fourier degrees equally. The penalty is estimated with random continuous-time bit-flip perturbations, requiring only extra forward passes and no explicit Fourier transform. It is especially suited to models that overfit through high-order Boolean interactions while retaining useful low-order structure.

Useful7/10
Difficulty4/10
Novelty8/10
Paper: A Beckmann boundary form of Talagrand's conjecture on the discrete cube arXiv:2606.31961
✓✓ Beats tuned baseline 2026

Learnable anisotropic Jacobian smoothing

Replace isotropic input-Jacobian regularization with a positive semidefinite, input-dependent metric learned jointly with the network. The metric uses diagonal scaling to suppress sensitivity in nuisance directions and a structured orthogonal rotation to discover combinations of input coordinates in which smoothness is task-useful.

Useful7/10
Difficulty6/10
Novelty6/10
Paper: PIEFS: Physics-Informed Eigenfunction Features with Learnable Scaling arXiv:2607.03692
Unverified 2026

Weighted Tree Dirichlet-to-Neumann Layer

Replace dense long-range token interactions with sparse message passing on a balanced hierarchical tree. Boundary token features are extended to internal tree nodes by weighted harmonic relaxation, and the resulting weighted normal derivative is used as a learned multiscale interaction or regularization signal.

Useful6/10
Difficulty5/10
Novelty6/10
Paper: Extension Problems for the Vladimirov--Taibleson Operator and the Hierarchical Laplacian arXiv:2609.03647
Unverified 2026

Curvature-Calibrated Reparameterization Consistency

Add a consistency loss for a neural model processing irregularly sampled functions or sequences, comparing its latent covariance representation before and after a time-coordinate warp. The target discrepancy should be near zero for affine transformations but should grow with the normalized curvature, bandwidth, and local sparsity of a nonlinear warp.

Useful6/10
Difficulty5/10
Novelty6/10
Paper: Equivariance, Curvature and Symmetry in Functional Covariance Estimation arXiv:2609.03042
Unverified 2026

Besov spectral regularization for shallow ReLU

Add a multiscale Besov penalty to the output of a shallow ReLU^k network, targeting the smoothness threshold that the paper proves is sufficient for finite ridge-variation representation. This suppresses pathological high-frequency output while preserving low-frequency approximation, providing a principled alternative to ordinary parameter weight decay.

Useful6/10
Difficulty4/10
Novelty6/10
Paper: Sharp embeddings between quasi-Banach Besov spaces and shallow ReLU variation spaces arXiv:2609.00680
Unverified 2026

Almost-Commuting State Dynamics

Use two bounded self-adjoint transition operators in a recurrent or state-space block and penalize their normalized Hilbert--Schmidt commutator. When the penalty is small, the paper guarantees that the pair is close to exactly commuting operators, suggesting a controlled path to a shared eigenbasis and cheaper coordinate-wise dynamics. Add an optional numerical repair step that projects the learned pair toward a simultaneously diagonalizable pair.

Useful6/10
Difficulty5/10
Novelty7/10
Paper: On almost commuting matrices with respect to the normalized Hilbert--Schmidt norm arXiv:2608.31000
Unverified 2026

Critical Small-Ball Embedding Regularizer

Regularize a neural representation so that no small metric ball contains substantially more probability mass than allowed by a power-exponential critical measure. The loss directly penalizes local embedding collapse across several radii, while its exponent is estimated from the observed covering-number growth rather than chosen arbitrarily.

Useful6/10
Difficulty5/10
Novelty6/10
Paper: Maximally Spread Out Measures and Implications for Phase Transitions in Approximation Theory arXiv:2608.30549
Unverified 2026

Entropy-dissipating Stein-Langevin particle optimizer

Train multiple neural-network parameter particles with a deterministic Stein interaction plus Langevin noise instead of using independent SGD or SGLD chains. The Stein term repels nearby particles while moving the ensemble toward high target probability, and the Langevin term supplies diffusion that improves exploration and prevents particle collapse.

Useful6/10
Difficulty6/10
Novelty5/10
Paper: Quantitative Target Convergence and Uniform-in-Time Propagation of Chaos for Langevin-Regularized SVGD arXiv:2608.28827