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 a conditional normalizing flow to replace inner-loop MCMC when sampling states or parameters under progressively tighter neural energy or likelihood constraints. The flow is trained online from recent live sets, and proposals are corrected by importance weighting and resampling, so flow bias does not directly corrupt the nested estimate.
Train or initialize a Lyapunov certificate for a recurrent, state-space, or neural-ODE model on an inner set, then actively discover a larger stable state envelope instead of assuming that the certificate generalizes out of distribution. A Gaussian process models the signed stability margin or binary long-horizon outcome, and new simulations are selected where posterior uncertainty and proximity to the estimated boundary are both high.
Paper: Expanding the Transient Stability Region of Attraction of Networked Grid-Interactive Inverters: A Probabilistic Active Learning FrameworkarXiv:2608.22661
Add a numerical-health monitor that distinguishes genuine contraction or chaos from finite-precision periodicization. It tracks hidden-state recurrence, effective cycle length, and the divergence between single-rollout and independent-restart Lyapunov estimates, then triggers precision escalation, rollout truncation, perturbation, or training early stopping when the diagnostic enters the recurrence-collapse regime.
Train an input-generation policy or differentiable signal parameterization to produce trajectories that cover the joint input-state feature space while remaining informative for every plausible neural world model. Replace single-model experiment design by an expectation over an ensemble of models, and optimize this objective with stochastic model and trajectory samples.
Wrap a stochastic neural predictor with a robust multimodal aggregation procedure: sample the predictor at perturbed inputs, cluster the resulting outputs, trim an alpha-fraction of outliers separately inside every cluster, and return a weighted mixture rather than one global average. This should preserve distinct plausible modes while suppressing adversarial or heavy-tailed samples that would otherwise distort the prediction.
Expose a recurrent model to deliberately designed input pulses or latent-state perturbations instead of training only on passive trajectories. Choose perturbations that maximize the smallest eigenvalue of the accumulated feature Gramian, making otherwise indistinguishable recurrent couplings recoverable and reducing uncertainty in long-horizon predictions.
Equip a neural state-space model with several candidate latent transition modes and a disturbance-aware residual detector. The detector attributes persistent prediction error either to an exogenous disturbance or to a changed transition operator, and switches or blends the model mode only when the evidence exceeds a calibrated threshold.
Use a convergent kernel approximation of the Zubov invariant as a trust-region monitor for a learned dynamics model. The estimated Zubov sublevel sets become an inference-time gate that rejects, shortens, or dampens transitions predicted to leave the learned attraction region.
Use a two-stage residual augmentation loop: first let a residual network explain model mismatch, then project its learned vector field onto a physically constrained candidate library and replace the flexible residual with the accepted sparse terms. This turns an unconstrained neural correction into a low-complexity dynamical law that is easier to roll out over long horizons and can expose unsupported hidden-state explanations.