Every idea extracted from recent arXiv mathematics papers — verified and unverified. Click an idea to open its full card; badges show the empirical verdict.
Use deadline objectives to train or control a router that explicitly trades off completion probability against completed work by a fixed horizon. Begin with fair allocation for robust exploration, then anneal toward a feedback-greedy rule once per-item difficulty estimates have sufficient evidence.
Replace generic projected-gradient iterations for equality-plus-bilateral constraints with an active-set semismooth Newton layer. Each iteration fixes currently active lower and upper bounds and solves one structured saddle-point system, potentially converging in a few iterations when only a small subset of constraints is active.
Replace a fixed learning-rate schedule with a BB curvature step projected onto an adaptively estimated stable interval. Use the enlarged gradient-descent stability range, approximately below 2/L for an L-smooth objective, but verify every aggressive proposal with a sufficient-decrease test and fall back to a smaller step when the local curvature estimate is unreliable.
Train a square orthogonal neural mixer while maximizing its entrywise fourth-power concentration. When optimization reaches a non-permutation stationary configuration, explicitly test rank-two row or column rotations and take a rotation with positive exact second variation, using the paper's constructive saddle-escape mechanism.
Use the feedbacked control-to-state norm as a conditioning diagnostic to adapt the optimizer step applied to recurrent residual outputs. When the estimated horizon amplification is large, reduce or precondition the residual-control update; when feedback makes it small, permit larger updates.
Replace a wide activation vector or spatial feature field by a small set of weighted coordinates that preserves the p-norm of every activation in a learned low-dimensional subspace. Unlike ordinary pruning, the selection objective is uniform over the whole coefficient sphere, so the compressed representation is designed to preserve unseen linear combinations and not merely the training examples.
Encode observations into a latent state in which each discrete action applies a separate linear Koopman transition matrix. Train the encoder and matrices from replay data, then use repeated matrix multiplication for multi-step prediction instead of recursively evaluating a nonlinear dynamics network. This is especially suitable for discrete-action model-based RL, where action-conditioned linear operators provide cheap rollouts and expose unstable action/state combinations.
Use multilevel sensitivity of the global interaction margin to identify which neural block, connection, or parameter group is responsible for instability. This provides a targeted alternative to uniformly shrinking the learning rate or regularizing every layer.
Replace the raw gradient update for spatially organized parameter tensors with a two-level correction. The gradient is split into a coarse, low-frequency component handled on a downsampled grid and a fine detail component handled directly, allowing the optimizer to use a larger or better-conditioned step on smooth directions without amplifying pixel-scale noise.
Replace a fixed-cubic-regularized Newton step with an adaptive cubic model whose coefficient is increased when the observed loss violates the local Taylor model. The regularizer becomes stronger automatically in regions with large gradients, reflecting the paper's generalized smoothness law, while shrinking near stationary points so that Newton curvature is used more aggressively.
Use the paper's cycle-gain criterion to repair an approximate bipartite matching produced by greedy matching, truncated Sinkhorn, or a neural router. A directed edge from matched red item i to red item j represents replacing i's current blue partner with j's partner; any positive-gain directed cycle is a guaranteed improving, feasibility-preserving reassignment.
Add an online low-rank reconstruction layer before a recommender or ranking MLP. It estimates a latent action-feature subspace from masked candidate vectors, freezes that subspace for an epoch, reconstructs each partially observed candidate in the latent coordinates, and feeds only those coordinates to the predictor. The method is most promising when the ambient candidate dimension d is large but the effective rank m is small and missingness is not too severe.
Replace a standard proximal-gradient or Adam-style update for a composite neural-network objective with a golden-ratio primal-dual iteration. The optimizer separates a nonsmooth regularizer from a locally smooth loss, estimates local curvature from successive gradients, and uses dual variables for explicit constraints instead of forcing all structure into penalty coefficients. The experiment is falsifiable: at equal gradient evaluations, the method should tolerate larger initial steps and show…
Replace a noisy or expensive per-layer spectral-norm estimate with a sharp upper bound obtained by maximizing the largest squared singular value subject to several layer spectral moments. The bound uses the paper's few-distinct-values structure, so the optimization scales with the number of moments rather than the width of the layer.
Separate a neural network into nonlinear hidden parameters and a linear output layer. Solve the output layer exactly by least squares, then update hidden parameters with a truncated-pseudoinverse Gauss-Newton step that discards numerically singular directions.
Replace explicit RK integration in a stiff neural ODE or continuous-depth residual network with the paper's stiffly accurate SDIRK4 discretization. Instead of performing a dense Newton solve for each implicit stage, solve the diagonal stage equation using a Chebyshev-accelerated residual iteration whose polynomial damps the negative, high-magnitude Jacobian modes responsible for stiffness.
Replace an unpreconditioned conjugate-gradient solve for a damped Gauss–Newton step with a two-level algebraic preconditioner derived from local Jacobian-row supports. Use overlapping local parameter blocks as Schwarz subdomains and a coarse basis containing low-energy local modes, so the optimizer can correct both localized and globally coupled parameter errors.
Replace abrupt optimizer preconditioner changes with a metric trajectory that moves the smallest affine-invariant distance needed to reach a target generalized Hessian condition number. During training, optimize a short horizon of log-diagonal or block-SPD metrics using a terminal curvature penalty and an intrinsic kinetic regularizer, then execute only the first metric in a receding-horizon controller. The method should reduce oscillations caused by rapidly changing second-moment estimates…
Use the paper's negative-semidefinite interaction curvature to detect and compensate for destructive coupling among layerwise learning-rate, momentum, or preconditioner mechanisms. Instead of independently tuning mechanism amplitudes, estimate their reduced curvature after hidden optimizer states relax, then apply a low-rank trust-region step or freeze mechanisms whose interaction curvature is too negative.
Replace a fixed or hand-tuned learning-rate schedule with a slowly exponentially increasing schedule, and restart the schedule whenever the update norm grows at least as fast as the schedule itself. The restart preserves the current parameters but resets the learning-rate multiplier, allowing the optimizer to repeatedly approach the largest locally stable step size without requiring a Hessian spectrum or a reliable initial learning-rate guess.
Insert an active-set reduction step into a binary energy layer or Hopfield-style discrete optimizer. Coordinates whose signs are stable and whose local fields have a rigorous margin are frozen, while their interactions are folded into an induced bias and only the unresolved tail is updated. This preserves the exact conditional quadratic objective and can reduce dense interaction cost substantially when the state becomes polarized.
Apply the paper's orthogonal-sketch idea to a trainable low-rank weight update or low-rank optimizer state. After every optimizer step, use a row sketch and Cholesky QR to recondition the factor basis, then compute the update with the standard tangent-space projector rather than an oblique sketched projector.
Reduce the SDP dimension by removing ReLU neurons that are provably inactive, always active, or incapable of changing the current worst-case margin. The verifier keeps exact affine substitutions for fixed-sign neurons and retains only genuinely unstable neurons whose activation can cross zero under the perturbation set. A stronger optional rule removes an unstable neuron when its certified maximum possible contribution is below a user-controlled tolerance, with an exact mode that prunes only…
Replace standard heavy-ball momentum with an update derived from a discrete kinetic-minus-loss action and a discrete viscous force. The force discretization produces a rational damping factor that remains controlled over a specified range of step sizes, potentially reducing oscillations and instability without Adam-style second-moment state.