Math: Convex analysis

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

✗ Mechanism failed 2026

Chernoff-Tied Neural Evolution

Replace a conventional deep neural operator with repeated applications of one learned one-step operator whose parameters are shared across time. Train the block at a small step size and require its short-horizon compositions to match observed finite-time evolution, making depth correspond to physical or algorithmic time rather than an arbitrary number of layers.

Useful8/10
Difficulty5/10
Novelty6/10
Paper: Neural operators approximate strongly continuous convex monotone semigroups arXiv:2609.02727
✗ Mechanism failed 2026

Dissipative Neural State-Space Identification

Attach a learned nonnegative storage function to a neural state-space model and penalize violations of a strict dissipativity inequality during rollout training. The resulting telescoping inequality limits cumulative output deviation and provides a monitor for whether long-horizon simulations are entering a stable turnpike regime.

Useful8/10
Difficulty6/10
Novelty6/10
Paper: Turnpike properties in nonlinear system identification arXiv:2609.02071
△ Mechanism confirmed, baseline not beaten 2026

IQC-Certified Training Dynamics

Represent a learned optimizer or recurrent training controller as a discrete-time feedback system and certify its sensitivity to one-sample dataset replacement using an IQC dissipativity inequality. Penalize the smallest certified disturbance-to-state gain during meta-training or use it as a post-training acceptance test, favoring update dynamics that do not amplify microscopic data perturbations over many iterations.

Useful8/10
Difficulty6/10
Novelty8/10
Paper: Generalization as a robust performance property of learning-enabled dynamical systems arXiv:2608.30431
✗ Failed on benchmark 2026

Detailed-Balance Graph Transport Layer

Replace an unconstrained graph residual update with a reversible master-equation update on a nonnegative latent mass vector. Each edge transfers mass in two directions with rates tied by detailed balance, so the layer preserves total mass, preserves nonnegativity under an appropriate discretization, and relaxes toward a learnable equilibrium while dissipating a specified free energy. This is suitable for iterative graph inference, diffusion-like architectures, and probability-valued hidden…

Useful8/10
Difficulty5/10
Novelty7/10
Paper: Structure-Preserving Detailed-Balance Master-Equation Discretizations for Fokker--Planck Equations arXiv:2608.30121
✗ Mechanism failed 2026

Adaptive SOS Lyapunov Certificate Ladder

Represent a small neural state-update map or optimizer update by polynomial constraints and certify decrease of a polynomial Lyapunov function on the nonnegative activation or state region using successive Parrilo SOS levels. Use the monotone shift-threshold construction to distinguish genuine instability from failure of a weak certificate, and raise the SOS level only when necessary.

Useful8/10
Difficulty7/10
Novelty7/10
Paper: Explicit Separators for Consecutive Levels of Parrilo's Sum-of-Squares Hierarchy over the Copositive Cone arXiv:2608.27743
△ Mechanism confirmed, baseline not beaten 2026

Farkas-Certified Neural Safety Shield

Insert a constraint-reduction layer between a policy network and its executed action. The policy proposes an action, while the layer retains only geometrically extreme collision and obstacle constraints and verifies that every discarded halfspace is implied by the retained ones through nonnegative conic multipliers. The reduced projection or quadratic program is therefore equivalent to the full tightened safety filter whenever certification succeeds, but uses substantially fewer constraints.

Useful8/10
Difficulty5/10
Novelty7/10
Paper: Scalable Tube-Tightened Multi-Agent Safety via Certified Constraint Reduction arXiv:2608.25323
✗ Mechanism failed 2026

Cubic-budget accelerated Newton

Replace a first-order optimizer update by an extrapolation point followed by one damped Newton or Newton-CG solve, while selecting the acceleration weight from an explicit cubic Hessian-Lipschitz budget. Use a displacement-based safeguard in place of the unavailable distance to the optimum, turning the proof condition into a practical trust-region-like rule that limits unstable momentum.

Useful8/10
Difficulty6/10
Novelty6/10
Paper: Primal Acceleration of Newton's Method arXiv:2608.21359
✓✓ Beats tuned baseline 2026

Certified overrelaxed Hopfield attention

Replace the standard unit-step modern Hopfield retrieval update with a relaxed step using theta greater than 1, while restricting theta to the theoretically safe interval (0,2). The relaxed map has the same fixed points as ordinary attention and provably decreases the Hopfield energy, so it can move farther toward an attractor per iteration without changing the retrieval objective.

Useful8/10
Difficulty3/10
Novelty6/10
Paper: Basin-Preserving Discretizations of Modern Hopfield Retrieval Dynamics: Energy Cells, Dissipation, and the Attention Limit arXiv:2608.21304
✗ Mechanism failed 2026

Reference-Preserving Martingale Layer

Replace an unconstrained stochastic transition between categorical or discretized latent distributions by a transition matrix that preserves a prescribed reference distribution while mapping relative populations through a martingale. This prevents the layer from inventing arbitrarily sharp deviations from the reference and imposes a convex-order monotonicity condition on uncertainty across layers or diffusion time steps.

Useful8/10
Difficulty6/10
Novelty7/10
Paper: State convertibility and fluctuation theorems from a dynamical reference: majorization meets martingales arXiv:2608.19391
△ Mechanism confirmed, baseline not beaten 2026

Critical-Region LP Policy Layer

Replace black-box differentiation through an embedded LP decision with an analytic Jacobian computed from the LP’s active basis. A neural policy emits LP coefficients or right-hand sides; the LP returns the decision, while the backward pass uses the basis inverse and dual sensitivity, avoiding solver unrolling and finite-difference noise.

Useful8/10
Difficulty5/10
Novelty5/10
Paper: Simulation-Optimization of Systems of Optimizers: Exploiting the Inner Optimization's Geometry arXiv:2608.18129
✗ Failed on benchmark 2026

KL Mirror-Prox for coupled routing

Replace a standard softmax-gradient update for a probability vector with a two-stage KL Mirror-Prox update. The predictor evaluates the population-dependent cost at the current distribution, and the corrector evaluates it at the predicted distribution, reducing oscillation when routing or attention costs are coupled across tokens or samples.

Useful8/10
Difficulty5/10
Novelty5/10
Paper: Kullback-Leibler Mirror-Prox for Measure-Valued Variational Inequalities and Mean-Field Equilibria arXiv:2608.10293
△ Mechanism confirmed, baseline not beaten 2026

LP-Embedded Input-Convex MLP

Replace a standard ReLU surrogate with an input convex neural network whose hidden-to-hidden weights are constrained to be nonnegative. The network remains piecewise linear and expressive, but its convexity allows downstream minimization to use continuous ReLU epigraph constraints instead of binary activation variables, potentially eliminating the integrality bottleneck of neural optimization.

Useful8/10
Difficulty5/10
Novelty5/10
Paper: Input convex neural networks as surrogates in mathematical optimisation arXiv:2608.09707
✗ Failed on benchmark 2026

Bounded predictive-gain optimizer

Replace a fixed learning rate for each layer or parameter block with a bounded gain selected by the one-step-ahead predictive loss. The sign of the product between the current gradient and the next gradient estimates whether the previous update moved downhill: aligned gradients increase the gain, while sign reversals decrease it. A mirror-descent update on a bounded interval prevents the runaway step sizes that can occur with exponential or unconstrained learning-rate parameterizations.

Useful8/10
Difficulty5/10
Novelty6/10
Paper: Online Learning of Scale Parameters in Score-Driven Filters arXiv:2608.09218
△ Mechanism confirmed, baseline not beaten 2026

Vanishing-Perturbation SAM

Replace constant-radius SAM by a clipped radius that equals the usual radius when the gradient is large but shrinks quickly enough near stationary points. This preserves SAM's sharpness-aware behavior during most training while removing the nonzero stationarity floor caused by a fixed perturbation.

Useful8/10
Difficulty4/10
Novelty5/10
Paper: Stationarity Floors and Vanishing Perturbations in Sharpness-Aware Minimization arXiv:2608.06692
✓✓ Beats tuned baseline 2026

Jacobian-Free Short-Trace Backpropagation

Use a full primal-dual optimization solve in the forward pass, but backpropagate only through the last r iterations starting from a detached warm-start iterate. This avoids storing the full solver trajectory while preserving the forward solution, and provides a tunable bias-versus-memory tradeoff: r=0 is a cheap surrogate gradient, while increasing r should converge toward the implicit equilibrium gradient.

Useful8/10
Difficulty4/10
Novelty6/10
Paper: Truncated Differentiation Through Primal-Dual Solvers for Inverse Potential Mean-Field Games arXiv:2608.00217
△ Mechanism confirmed, baseline not beaten 2026

Gradient-Side Error-Feedback SignMuon

Compress the matrix gradient or momentum before applying Muon's polar LMO, and maintain an error residual in the uncompressed gradient space. The residual prevents systematic sign quantization bias from accumulating, unlike error feedback applied after the nonlinear polar/sign operation. This is suitable for distributed training because workers communicate one sign bit per matrix entry while the server still applies a matrix-aware Muon step.

Useful8/10
Difficulty5/10
Novelty6/10
Paper: Sign compression for Muon: SignMuon, MuonSign, and the Limits of Error Feedback arXiv:2607.29674
✓✓ Beats tuned baseline 2026

Trajectory-Certified Contractive RNN

Represent a recurrent or residual network as a linear state update driven by a memoryless activation or feedback nonlinearity, then solve a data-driven quadratic Lyapunov SDP using excitation trajectories. Accept an update or parameter checkpoint only when the certificate proves contraction and bounds the disturbance-to-output gain. This should prevent exploding hidden states and give a measurable transition between stable and unstable recurrent dynamics.

Useful8/10
Difficulty6/10
Novelty7/10
Paper: Data-Driven Stability and Performance Analysis of Lurye Systems arXiv:2607.26277
△ Mechanism confirmed, baseline not beaten 2026

Legendre Feasibility Layer

Replace an unconstrained neural decision head followed by clipping, projection, or penalty losses with a Legendre-regularized optimizer layer that always returns a feasible decision. The layer maps network-produced latent scores smoothly into the relative interior of a convex feasible region and can be differentiated using the inverse Hessian of the regularizer.

Useful8/10
Difficulty5/10
Novelty6/10
Paper: Smooth Learning with Hard Constraints via Legendre-Regularized Policies arXiv:2607.24007
✗ Mechanism failed 2026

Matrix-Free Differentiable CBF Safety Layer

Attach a hard control-barrier-function quadratic-program safety filter to a neural policy, but solve the filter with operator splitting and differentiate through its fixed-point map using projection Jacobian-vector products. The network learns the nominal action and task objective end to end, while the deployed action remains the feasible filtered action rather than an unconstrained penalty-based approximation.

Useful8/10
Difficulty6/10
Novelty6/10
Paper: End-to-End Learning of Safe Optimal Feedback Control in High Dimensions with Control Barrier Function Layers arXiv:2607.20674
✗ Mechanism failed 2026

Multi-source conditional OT adversarial training

Replace ordinary empirical-risk minimization on pooled heterogeneous data with worst-case conditional risk over joint distributions that remain close to every source under an optimal-transport budget. The adversary transports source context-label pairs toward high-loss, target-event-like examples, while source-specific radii prevent arbitrary shifts. This should improve performance on rare target contexts and unseen domains without requiring abundant target labels.

Useful8/10
Difficulty6/10
Novelty5/10
Paper: Harnessing Heterogeneous Data for Conditional Optimization via Optimal Transport arXiv:2607.19761
✗ Failed on benchmark 2026

Forward-Invariant STL Hidden-State Tubes

Augment a neural state-space model or neural ODE with a low-dimensional control residual that keeps its hidden state inside a sequence of time-varying convex sets encoding temporal requirements. At each integration step, solve a small quadratic program that minimally changes the network dynamics while enforcing an inward-pointing condition on every active convex-set face, producing robustly constrained long-horizon rollouts.

Useful8/10
Difficulty6/10
Novelty7/10
Paper: STL-GCS: A Planner-Controller Framework for Signal Temporal Logic via Graphs of Time-varying Convex Sets arXiv:2607.19196
△ Mechanism confirmed, baseline not beaten 2026

Contraction-Gauge Quantization

Before quantizing a matrix product, reparameterize its factors as A'=AT and B'=T^{-1}B, preserving the exact full-precision product while changing the quantization difficulty of each factor. Choose a positive diagonal T=diag(t_1,...,t_K) that minimizes predicted post-quantization product error, rather than using output-channel scaling or a fixed heuristic grid. The gauge can be shared across several products when transformed-copy cost matters.

Useful8/10
Difficulty5/10
Novelty6/10
Paper: Contraction-Gauge Preconditioning for Quantized Matrix Multiplication arXiv:2607.18745
△ Mechanism confirmed, baseline not beaten 2026

Regret-trained diagonal preconditioner

Replace a fixed optimizer preconditioner with a diagonal matrix selected by an online convex optimizer. A gradient predictor supplies the direction, while a linear-loss regret update learns coordinate-wise gains that favor transformations aligned with the realized stochastic gradient. The method retains the identity preconditioner as an explicit comparator, so it can be tested for negative regret and improvement over ordinary SGD.

Useful8/10
Difficulty4/10
Novelty6/10
Paper: Optimizing the Preconditioner: A Black-box Online-to-Nonconvex Conversion with Static Regret Minimization Oracles arXiv:2607.17607
✗ Failed on benchmark 2026

Rank-One PSD KATA Attention

Replace the usual random or elementwise-positive linear-attention feature map with a rank-one positive-semidefinite feature map derived from query and key vectors. For normalized inputs, the resulting kernel is the squared inner product, which is nonnegative and gives a geometrically structured interference pattern that is better suited to associative recall than an arbitrary low-rank feature map.

Useful8/10
Difficulty6/10
Novelty7/10
Paper: Kernelized Linear Attention: Breaking the Capacity Wall with Symmetric Cones arXiv:2607.17419