Math: Functional analysis

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

✓✓ Beats tuned baseline 2026

Dissipative Completely-Monotone Memory Layer

Replace an unconstrained recurrent or state-space transition with a finite quadrature of completely monotone memory modes. Couple the visible state and memory states as adjoint operators, so their cross terms cancel in the energy derivative and the layer is contractive even when visible-state damping is zero.

Useful7/10
Difficulty5/10
Novelty5/10
Paper: Graph-space well-posedness for diffusion equations with degenerate instantaneous diffusion arXiv:2607.12871
✗ 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

Feedback-preconditioned recurrent dynamics

Reparameterize a recurrent or state-space layer so that its hidden-state update contains an explicit stabilizing feedback controller, while the neural network learns only a residual control in the feedback coordinates. Choose K to reduce finite-horizon state-propagation amplification, suppressing exploding hidden states and gradients on long sequences.

Useful7/10
Difficulty5/10
Novelty5/10
Paper: Stabilize-then-optimize: Feedback transformations as preconditioners in optimal control arXiv:2607.11835
△ Mechanism confirmed, baseline not beaten 2026

m-Accretive Implicit Graph Diffusion

Build a graph neural layer as the resolvent of a nonlinear porous-medium graph operator rather than as an explicit message-passing update. A monotone pointwise feature map is applied before graph differencing, and the layer solves one implicit diffusion step, giving a principled route to stable deep graph dynamics and larger diffusion step sizes.

Useful7/10
Difficulty6/10
Novelty6/10
Paper: On the accretivity and m-accretivity of Laplacians and porous medium-type operators on graphs arXiv:2607.09625
✗ 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
✗ Failed on benchmark 2026

Two-Scale Parabolic Filter Block

Construct a spatiotemporal neural block from localized functions of a learned parabolic operator instead of unrestricted attention or convolution. Use one filter for fine-scale diffusion and another for coarse-scale temporal aggregation, with the scale ratio controlling information propagation. The block should suppress distant interactions while still permitting long-range mixing through coarse filters.

Useful7/10
Difficulty6/10
Novelty6/10
Paper: $\mathrm{L}^p$ bounds for parabolic Riesz transforms with rough coefficients: The case $1<p \leq 2$ arXiv:2607.05181
△ 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

Cross-domain amortized inverse operator

Use separate measurement-domain and target-domain token sets so a network can infer a field on one spatial domain from sparse observations on another in one forward pass. The same decoder can answer arbitrary target query points, avoiding an optimization loop for each inverse instance.

Useful7/10
Difficulty5/10
Novelty6/10
Paper: GAIA: Geometry-Adaptive Operator Learning for Forward and Inverse Problems arXiv:2607.01128
✗ 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

Small-gain-certified surrogate controller

Train a neural controller as a uniformly accurate surrogate of a trusted but expensive controller, and use a measured small-gain condition to decide whether the surrogate is safe for closed-loop deployment. The approximation tolerance becomes an interpretable residual-state budget instead of an opaque validation metric.

Useful7/10
Difficulty5/10
Novelty7/10
Paper: Approximate Feedback Linearization for a Nonlinear Hyperbolic PDE Class -- Part II: Neural Operator arXiv:2607.04362
✓✓ 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
△ Mechanism confirmed, baseline not beaten 2026

Dirichlet Spectral Projection Layers

Replace soft boundary penalties in neural operators with a hard projection onto a finite-dimensional span of homogeneous Dirichlet Laplacian eigenfunctions. Every projected hidden field is identically zero on the boundary, while increasing the number of retained eigenfunctions recovers the expressive capacity needed for operator approximation.

Useful7/10
Difficulty5/10
Novelty7/10
Paper: Enforcing Dirichlet Boundary Conditions in Operator Learning arXiv:2608.27256
✗ Mechanism failed 2026

Samplet-compressed kernel interaction layer

Replace a dense coordinate-kernel interaction among N points by an orthogonal samplet transform with a sparse detail-detail matrix and a small polynomial branch. Detail basis vectors have vanishing moments, so smooth low-frequency behavior is represented by a few polynomial coefficients while localized residual interactions become sparse in the transformed domain.

Useful7/10
Difficulty6/10
Novelty7/10
Paper: Samplet compression for conditionally positive definite kernels and universal Kriging arXiv:2608.24283
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

Resolution-Invariant Hilbert-Space CNF Prior

Replace a finite-dimensional latent prior for fields or trajectories with a continuous flow acting on function coefficients in a separable Hilbert space. A Gaussian reference with an explicit covariance spectrum is transformed by a learned vector field, so the model can represent smooth, non-isotropic function distributions while sharing parameters across discretization resolutions.

Useful6/10
Difficulty6/10
Novelty6/10
Paper: Learning Informative Prior with Infinite-Dimensional Continuous Normalizing Flow for Bayesian Inverse Problem arXiv:2609.03343
Unverified 2026

Fading-Memory Contractive Recurrent Block

Replace an unrestricted recurrent state with a current input-driven state coupled to a fading average of its own history. The memory coupling provides a distributed dissipative channel, while the recurrent Jacobian is constrained below a measurable contraction boundary. This creates a recurrent or state-space block whose long-horizon sensitivity can be tested against explicit characteristic roots.

Useful6/10
Difficulty5/10
Novelty7/10
Paper: Exponential Consensus and Flocking in Multi-Agent Systems with Infinite Fading Memory arXiv:2609.02454
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

Sparse Legendre Shape Hypernetwork

Use a sparse multivariate Legendre expansion as the geometry-to-network-weights map, rather than an unconstrained MLP that consumes all shape parameters. The hypernetwork predicts only coefficients for a selected set of polynomial multi-indices, allowing high-dimensional or countably parameterized shape uncertainty to be handled with a number of learned terms determined by coefficient decay rather than ambient dimension.

Useful6/10
Difficulty5/10
Novelty6/10
Paper: Shape Holomorphy and Sparse Approximation of the Maxwell Electric Field Integral Operator arXiv:2609.00466
Unverified 2026

Exact Tensorized Distribution Loss

When a neural model defines a product distribution over coordinates, compute the discrepancy to a target product distribution from per-coordinate divergences using the exact tensorization rule instead of sampling full vectors and estimating a joint divergence. Implement KL, chi-squared, and squared-Hellinger variants as drop-in losses, with an optional learned choice among these mathematically tensorizable families.

Useful6/10
Difficulty3/10
Novelty6/10
Paper: A Complete Characterization of Tensorizable $f$-divergences arXiv:2608.28556
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