Math: Functional analysis

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

Unverified 2026

Frame-safe totally-positive front-end

Replace the first learned one-dimensional convolution or STFT-like feature extractor with a differentiable bank of time-frequency shifts of a totally positive window. Parameterize the temporal spacing \(\alpha\) and frequency spacing \(\beta\) so that \(\alpha\beta<1\) is always satisfied, giving a mathematically certified oversampled representation instead of an arbitrarily subsampled filterbank.

Useful5/10
Difficulty5/10
Novelty5/10
Paper: Gabor Frames of Totally Positive Functions: A Complete Characterization arXiv:2608.04992
Unverified 2026

Circular Morera Regularizer

Add a multiscale circular-integral penalty to a complex-valued neural field f_theta: R^2 -> C. The penalty directly tests the local contour condition that characterizes holomorphic functions, providing a derivative-free alternative to explicitly penalizing the Cauchy-Riemann residual.

Useful5/10
Difficulty3/10
Novelty7/10
Paper: An Infinitesimal Circular Morera Theorem arXiv:2608.04540
Unverified 2026

Bohnenblust–Hille coefficient regularization

Replace ordinary coefficient decay in a degree-d polynomial neural layer with the Bohnenblust–Hille coefficient quasi-norm, whose exponent p=2d/(d+1) is dimension-independent and strictly below 2 for d>1. Combine this penalty with a sampled torus supremum penalty so the layer is constrained both in its realized function amplitude and in the coefficient geometry predicted by the inequality.

Useful5/10
Difficulty5/10
Novelty7/10
Paper: Tightness of and counterexamples to several quantum estimates arXiv:2608.04411
Unverified 2026

Injective Boundary-Aware Disk Pooling

Replace fixed-radius image blur or pooling with disk averages whose radius is proportional to the distance from each pixel to the image boundary. Compute the transform at every spatial location and train a lightweight decoder to reconstruct the pre-transform feature map, using reconstruction error as an anti-collapse regularizer. This creates a scale-adaptive smoothing layer with an injectivity motivation in the continuum while providing larger context in the image interior.

Useful5/10
Difficulty5/10
Novelty7/10
Paper: Variable-Radius Disk Transforms and an Area-Integral Problem of Zalcman arXiv:2608.02546
Unverified 2026

Triangle-weighted support regularizer

Add an exact angle-aware support-function penalty to a network that predicts a convex region around points, trajectories, or latent embeddings. For each triangle orientation, the penalty checks the paper's weighted support inequality rather than sampling many boundary points, encouraging globally valid geometric coverage with only three directional support evaluations.

Useful5/10
Difficulty4/10
Novelty6/10
Paper: Universal Triangle Covering Curve and Polygonal Chain: Escaping Forest and Fitting Worm arXiv:2608.01393
Unverified 2026

Directional H-distribution regularizer

Estimate localized directional Fourier correlations between intermediate activations and their loss residuals, then penalize anisotropic concentration. The method can discourage unstable feature directions and improve robustness without requiring a full microlocal distribution reconstruction.

Useful5/10
Difficulty5/10
Novelty7/10
Paper: Global $L^p$ Second Commutation Lemma arXiv:2608.01216
Unverified 2026

Pyramidal one-sided Lipschitz attention

Replace unconstrained directed attention logits by observables that are one-sided 1-Lipschitz under a learned quasi-metric: an observable may increase from node j to node i by at most the directed cost from j to i, while the reverse direction can behave differently. Apply this constraint at several subsampled resolutions and penalize the Hausdorff mismatch between observable families of two augmented views, preserving directed structure while making attention stable under perturbations.

Useful5/10
Difficulty5/10
Novelty7/10
Paper: Pyramidal Compactification of Asymmetric Metric Measure Spaces via Adjoint Transport arXiv:2608.01145
Unverified 2026

Distributional spectral-preconditioned features

Replace or augment a singular scalar activation \(\sigma\) with a distributionally regularized activation \(g\) whose Fourier transform is multiplied by \((i\rho)^\alpha\). This suppresses the problematic low-frequency singular component and can produce better-conditioned random-feature or first-layer representations, while a residual raw-activation branch prevents loss of standard approximation behavior.

Useful5/10
Difficulty5/10
Novelty8/10
Paper: Radon Measure Representations for Infinite-Width Neural Networks with Singular Activations arXiv:2607.29258
Unverified 2026

Dispersive Analytic Smoothing Block

Insert a short gKdV-inspired spectral flow between neural blocks to regularize rough feature maps without using an isotropic low-pass filter. The module applies a Fourier dispersive phase and derivative-coupled polynomial residual updates, with an optional finite factorial dilation penalty to encourage analytic-looking features.

Useful5/10
Difficulty5/10
Novelty7/10
Paper: Instantaneous analytic smoothing of rough data for the modified and cubic gKdV equations arXiv:2607.27115
Unverified 2026

Weak Tangential-Divergence Curvature Loss

Add a curvature-aware regularizer to a neural scalar field whose level set represents a shape, occupancy boundary, signed distance function, or decision surface. Instead of differentiating a noisy explicit surface or requiring a mesh, evaluate the tangential divergence of ambient test vector fields directly and penalize its deviation from a target weak relation.

Useful5/10
Difficulty4/10
Novelty6/10
Paper: Mean curvature and sharp Willmore inequalities in metric spaces arXiv:2607.27012
Unverified 2026

Pyramid-Coupled Multiscale Representations

Construct a nested sequence of representations in which each coarser representation is obtained from the previous one by a 1-Lipschitz projection. Train prediction heads at multiple scales so coarse predictions remain stable and approximately recoverable from the finer representation, enabling early exit, token pooling, and controlled multiresolution inference.

Useful5/10
Difficulty6/10
Novelty6/10
Paper: Pyramids and Extended Metric Measure Spaces arXiv:2607.26626
Unverified 2026

Complex-stretched resonance layer

Insert a fixed or learnable complex coordinate stretch outside the region where a neural operator models the physical interaction, so outgoing waves are damped and resonant states become ordinary discrete eigenmodes on a finite grid. Train the network with eigenvalue or resolvent losses computed after the stretch, while preserving the physical field in the interior region.

Useful5/10
Difficulty6/10
Novelty7/10
Paper: Dirac resonances as non-self-adjoint eigenvalues arXiv:2607.26166
Unverified 2026

Grazing-aware kinetic boundary loss

For a neural approximation $f_\theta(x,v)$ of a kinetic transport solution, weight boundary-condition errors by the trace measure induced by the transport field rather than sampling or penalizing all phase-boundary points uniformly. Use $\omega_p(a)=\min\{|a|,|a|^p\}$ with $a=v\cdot n(x)$; $p=1$ is the natural flux weight, while larger $p$ suppresses poorly resolved grazing interactions more aggressively and can be selected from the boundary regularity.

Useful5/10
Difficulty3/10
Novelty7/10
Paper: Sharp kinetic trace theory arXiv:2607.24708
Unverified 2026

Sharp Curl-Helicity Regularizer

Add a scale-invariant inequality penalty to a neural vector-potential model on a discretized round 3-sphere. The penalty enforces the theorem's sharp lower bound between the L^{3/2} norm of the predicted magnetic field B=curl A and its helicity H=<B,A>, discouraging pathological high-frequency or spatially concentrated fields that fit observations but have implausible geometry. A divergence-free gauge and Killing-form initialization make the constraint numerically well-conditioned.

Useful5/10
Difficulty5/10
Novelty9/10
Paper: The sharp curl-Sobolev inequality arXiv:2607.23827
Unverified 2026

Autonomous-Limit Quotient for Time-Varying RNNs

Treat each recurrent update or inference block as a time-dependent map F_n and regularize it toward a limiting autonomous map F whose long-horizon dynamics are easier to analyze. In addition to penalizing one-step map differences, impose a quotient-consistency loss so that pairs of hidden states that are asymptotically indistinguishable under F remain indistinguishable under every time-dependent generator F_n.

Useful5/10
Difficulty6/10
Novelty8/10
Paper: Proximal Relations and Maximal Equicontinuous Factors for Non-autonomous Dynamical Systems arXiv:2607.22849
Unverified 2026

Flux-Balanced Local-Nonlocal Neural Layer

Partition a sequence, image, or graph into regions processed by a cheap local operator and a more expressive nonlocal operator, then couple their boundary activations with a shared continuity equation and a conservative interface-flux equation. The interface correction prevents the local and global branches from creating discontinuities or duplicated information, allowing nonlocal computation to be restricted to selected regions while preserving global consistency.

Useful5/10
Difficulty5/10
Novelty7/10
Paper: Coupling of Local and Nonlocal Problems Using Local Boundary Conditions arXiv:2607.22672
Unverified 2026

Quotient-and-Radical Feature Split

When a structured polynomial feature pairing is degenerate, train separately on its nondegenerate quotient and on the explicitly characterized radical instead of allowing both to compete in one singular loss. The quotient branch captures identifiable information, while a transported radical branch preserves information that the ordinary pairing cannot see.

Useful5/10
Difficulty6/10
Novelty9/10
Paper: Exceptional supersphere integration and logarithmic Pizzetti kernels arXiv:2607.21241
Unverified 2026

Log-Finite-Part Polynomial Interaction Kernel

Replace a singular inverse interaction kernel by the finite part of its meromorphic continuation at an exceptional dimension, producing an explicit polynomial-times-logarithm feature interaction. This gives a controlled alternative to adding an arbitrary ridge term when a learned polynomial Gram matrix becomes rank-deficient.

Useful5/10
Difficulty5/10
Novelty8/10
Paper: Exceptional supersphere integration and logarithmic Pizzetti kernels arXiv:2607.21241
Unverified 2026

Sparse-interaction Bohnenblust–Hille regularizer

Add a support-sensitive coefficient regularizer to a high-order polynomial or Volterra layer whose monomials involve at most M input features. The regularizer penalizes the gap between the layer's coefficient ℓ_{2m/(m+1)} norm and its empirical worst-case response on random unit-modulus inputs, exploiting the fact that the theoretical gap constant approaches 1 for fixed M and large degree m.

Useful5/10
Difficulty5/10
Novelty7/10
Paper: Asymptotic contractivity of the Bohnenblust--Hille inequality for polynomials with few interacting variables arXiv:2607.20847
Unverified 2026

Web-Constrained Product Flow

Add an invertible two-dimensional flow block whose Jacobian and coordinate outputs are explicitly regularized to preserve independence of several prescribed product distributions. Instead of estimating independence only from samples, enforce the change-of-variables functional equation for multiple density probes, encouraging the learned map to belong to a low-dimensional family of independence-preserving transformations.

Useful5/10
Difficulty6/10
Novelty6/10
Paper: The Independence-Preserving Property and Planar Web Geometry arXiv:2607.20646
Unverified 2026

Stable Curl-Sobolev Feature Regularization

Add a curl-Sobolev quotient to a 3D neural network whose intermediate features are vector fields or discrete 1-forms. The regularizer rewards features with strong curl-helicity relative to their L^{2n/(n+1)} curl energy, while an explicit Hodge projection removes exact-form components that lie in the curl kernel. In three dimensions this is a differentiable, gauge-aware alternative to simply penalizing feature gradients.

Useful5/10
Difficulty6/10
Novelty7/10
Paper: On the sharp constants in curl-Sobolev inequalities on $\mathbb{S}^n$ arXiv:2607.19091
Unverified 2026

Spherical Geometric-Gain Regularization

Replace or supplement spectral-norm and Frobenius penalties on neural-network weight matrices with the Hardy-type norm given by the geometric mean of their gains over uniformly sampled unit directions. This penalizes typical multiplicative amplification through a logarithmic average, while the paper's theorem guarantees that the resulting quantity is a true norm rather than an ad hoc nonconvex statistic.

Useful5/10
Difficulty3/10
Novelty6/10
Paper: Hardy-type norms of matrices arXiv:2607.17373
Unverified 2026

Capacity-controlled singular-measure regularization

Add a mixed regularizer to a neural field or graph neural network that separates smooth ambient variation from fitting a potentially singular training measure. The training-measure term is weighted by a local reciprocal critical radius, so dense or lower-dimensional regions receive controlled regularization instead of causing unstable gradients or overfitting.

Useful5/10
Difficulty5/10
Novelty7/10
Paper: Mixed Poincaré and Fefferman--Phong inequalities for measure potentials on $2$-PI spaces arXiv:2607.17315
Unverified 2026

Dense-support discrete random features

Build a single-hidden-layer network whose hidden weights and biases are sampled from a non-continuous distribution supported on a dense subset of parameter space, then train only the output coefficients. The result motivates discrete or mixed-precision hidden parameters without requiring a continuous Gaussian initialization; finite-width experiments can test whether this retains accuracy while reducing hidden-layer storage and arithmetic cost.

Useful5/10
Difficulty4/10
Novelty5/10
Paper: On high probability of universal approximation in random basis expansions with non-continuous weight sampling arXiv:2607.16551