Every idea extracted from recent arXiv mathematics papers — verified and unverified. Click an idea to open its full card; badges show the empirical verdict.
Replace penalty-based equality-constrained training with a two-timescale optimizer. A fast variable tracks the normal correction that drives constraint residuals toward zero, while the slow parameter update follows the task gradient projected onto the local constraint tangent space. This should reduce sensitivity to very large penalty weights and preserve feasibility more accurately during training.
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.
Replace a deterministic latent transition with a set-valued relation consisting of all next states within a learned tolerance of the predicted transition, and train the model so noisy or approximate latent rollouts are shadowed by valid exact trajectories. Use forward and inverse-limit consistency losses to make the same robustness property visible in finite sequence windows.
Treat the learned latent transition F_theta as a homeomorphism-like operator and monitor the range of its temporal-difference operator D_theta u = u composed with F_theta minus u. If the smallest nontrivial singular values of the sampled operator collapse toward zero as trajectory length or basis size grows, the latent dynamics are entering an ill-conditioned coboundary regime. Use this signal to reduce the recurrent step size, impose contraction, or replace the transition by a periodicized…
Add a spectral regularizer to a linear state-space or recurrent layer that controls the overlap between its controllable and observable state directions. The regularizer uses the paper's identity to monitor eigenvalues of (I+PQ)^{-1}, equivalently the squared canonical correlations between reachable and observable subspaces, and penalizes degenerate or overly concentrated spectra.