Stabilized neural differential equations enforce constraints on dynamical systems.
problem Ensuring dynamical systems preserve known constraints like conservation laws.
method SNDEs with a stabilization term to enforce manifold constraints.
result SNDEs outperform existing methods and broaden constraint types.
New framework limits testing algorithmic stability under computational constraints.
problem Testing algorithmic stability is computationally hard.
method Unified framework for quantifying stability hardness.
result Exhaustive search is the only universally valid mechanism for certifying stability.
The paper studies stability of discrete planar curves using variational methods.
problem Stability of discrete planar curves under area constraints.
method Unified interpretation of discrete curvatures, determination of equilibrium curves, stability analysis.
result Equilibrium curves for the length functional under area-constraint conditions are determined and their stability is studied.
The paper trains neural networks with robustness guarantees using semidefinite constraints.
problem Training neural networks with robustness and stability guarantees.
method Exploiting the banded structure of semidefinite constraints, an efficient and scalable training scheme based on interior point methods is set up.
result The method allows for enforcing Lipschitz constraints in large-scale deep neural networks, as demonstrated in numerical examples.
PNDEs project neural dynamics onto constraint manifolds, improving accuracy and stability.
problem Learning dynamics from data without violating known constraints.
method Projecting the learned vector field onto the tangent space of the constraint manifold.
result PNDEs outperform existing methods in learning constrained dynamical systems.
Unified treatment of stability problems in geometry and analysis.
problem Spherical closeness of hypersurfaces under geometric constraints.
method Estimate relating distance to geodesic spheres with norms of traceless Hessian operator.
result Unified treatment of stability problems in geometry and analysis.
Stability of black holes proven in full subextremal range with positive cosmological constant.
problem Stability of Kerr-de Sitter black holes in the full subextremal range.
method Similar to previous proof in slowly rotating case, with implementation of constraint damping and verification of subprincipal symbol condition.
result Stability of Kerr-de Sitter black holes proven in the full subextremal range.
KCRL learns stable policies for nonlinear systems with formal guarantees.
problem Lack of stabilization guarantees in RL methods for safety-critical systems.
method KCRL uses Krasovskii's Lyapunov functions as a stability constraint and a primal-dual approach to learn stabilizing policies.
result KCRL guarantees learning a stabilizing policy in a finite number of interactions.
Constraints improve deep neural network training by stabilizing and enhancing robustness.
problem Vanishing/exploding gradients and poor weight magnitudes in deep neural networks.
method Weight-constrained stochastic dynamics using Langevin dynamics framework.
result Enhanced exploration of the loss landscape and improved generalization.
Investigates convexity of minimizers under mass constraint using nonlocal perimeter and potential.
problem Convexity of minimizers under mass constraint.
method Nonlocal free energy with nonlocal perimeter and convex potential.
result Quantitative stability theorem for nonlocal free energy assuming symmetry on the potential.
SnareNet adds repair layers to neural networks to ensure outputs meet physical constraints.
problem Unconstrained neural network predictions violate physical or safety requirements.
method SnareNet appends a differentiable repair layer that navigates constraints to produce feasible outputs.
result SnareNet consistently improves objective quality while satisfying constraints more reliably.
Enhanced neural network framework improves constraint satisfaction with topological conditioning.
problem Maintaining semantic coherence while satisfying physical and logical constraints in neuro-symbolic reasoning.
method Integrates topological conditioning with gradient stabilization mechanisms using Forman-Ricci curvature, Deep Delta Learning, and Covariance Matrix Adaptation Evolution Strategy.
result Achieves mean energy reduction to 1.15 compared to baseline values of 11.68, with 95 percent success rate.
Proposes methods to add constraints to neural networks to improve stability and generalization.
problem Improving stability and generalization of neural networks.
method Constraint-based regularization using stochastic gradient Langevin dynamics.
result Constraints help stabilize and improve the robustness of deep neural networks.
This work explores the trade-offs between stability and accuracy in statistical estimation.
problem Understanding the statistical cost of algorithmic stability.
method Statistical decision-theoretic perspective, focusing on worst-case and average-case stability.
result Optimal stable estimators for mean estimation and regression settings are developed, revealing trade-offs between stability and accuracy.
The paper develops a convex parameterization for robust RNNs ensuring stability and robustness.
problem Lack of stability and robustness guarantees in RNNs for sequence-to-sequence mapping applications.
method Formulated convex sets of RNNs with stability and robustness guarantees using incremental quadratic constraints.
result The proposed model structure ensures global exponential stability and bounds on incremental ℓ2 gain. Improved stability analysis of neural network systems using Zames-Falb multipliers.
problem Analyzing stability of linear systems with neural network nonlinearities.
method Using integral quadratic constraints, sector-bounded and slope-restricted structure, and acausal Zames-Falb multipliers.
result Flexible and versatile framework for stability analysis with improved computational efficiency.
The paper provides a theoretical justification for using stable SSM blocks in deep sequential models.
problem Developing generalization bounds for deep sequential models with varying sequence lengths.
method Using Rademacher contraction and stability constraints, the paper derives a PAC bound that is independent of sequence length.
result The derived PAC bound decreases as the stability of SSM blocks increases, providing theoretical justification for their use.
The paper optimizes policies constrained to Schur stabilizing controllers using a Newton-type algorithm.
problem Optimizing policies under linear constraints in control systems.
method Newton-type algorithm on a manifold of Schur stabilizing controllers with a Riemannian metric.
result Local convergence guarantees for the Newton-type algorithm without relying on exponential mapping or retractions.
The jet bundle description of time-dependent mechanics is revisited. The constraint algorithm for singular Lagrangians is discussed and an exhaustive description of the constraint functions is given. By means of auxiliary connections we give a basis of constraint functions in the Lagrangian and Hamiltonian sides. An ad…
Geometric theory explains substitutability in market outcomes based on production constraints.
problem Understanding substitutability in markets with structured feasible products.
method Modeling the set of feasible products as a compact Riemannian manifold to study intrinsic geometry and its effects on substitutability.
result Intrinsic geometry of the feasible set governs substitutability and market outcomes, with curvature controlling technological substitution elasticity.
We reformulate data-dependent constraints to ensure they are always met with high probability.
problem Ensuring fairness and stability in machine learning models with data-dependent constraints.
method Calibrated reformulation of constraints to guarantee satisfaction with a specified probability.
result Our method guarantees that fairness constraints are met at test time with high probability.
Under the assumption of asymptotic relative Chow-stability for polarized algebraic manifolds (M,L), a series of weighted balanced metrics ωm, m≫1, called polybalanced metrics, are obtained from complete linear systems ∣Lm∣ on M. Then the asymptotic behavior of the weights as m→∞ will be stud…
Sparse connectivity improves generalization in neural networks below the Edge of Stability.
problem Generalization guarantees for fully-connected networks fail at the Edge of Stability.
method Analyzed sparse connectivity's impact on generalization in two-layer ReLU networks.
result Sparse connectivity changes the effective constraint, leading to non-vacuous generalization bounds.
On a constraint manifold we give an explicit formula for the Hessian matrix of a cost function that involves the Hessian matrix of a prolonged function and the Hessian matrices of the constraint functions. We give an explicit formula for the case of the orthogonal group O(n) by using only Euclidean coordinates …
Study variational properties of curves in half-plane with area constraints.
problem Characterize critical points of inverse mean curvature.
method Variational analysis of curves with boundary constraints.
result Existence and stability of critical points with prescribed area.
We study the stability of partitions involving two or more phases in convex domains under the assumption of at most two-phase contact, thus excluding in particular triple junctions. We present a detailed derivation of the second variation formula with particular attention to the boundary terms, and then study the sign …
Generative AI connects to Schrödinger bridge problems with soft constraints for stability.
problem Stability issues in generative AI due to hard terminal constraints.
method Soft-constrained Schrödinger bridge formulation and convergence analysis.
result Existence and convergence of optimal solutions as penalty grows.
The paper compares various portfolio construction methods and their impacts on allocation, performance, and stability.
problem Investment portfolio optimization and allocation under different constraints and models.
method Comparison of mean-variance optimization, constrained optimization, Fama French five factor regression, Monte Carlo simulation, and Black-Litterman model.
result Black-Litterman model produces more stable and economically intuitive allocations compared to standard mean-variance optimization.
The paper studies K-stability of spherical varieties and their degenerations.
problem Understanding K-stability and degenerations of polarized spherical varieties.
method Reduction to a variational problem on the moment polytope, convexity constraint, and solving the HMA equation.
result Determines strict semistability and polystable degenerations for Fano spherical varieties of rank two.
New stability framework relaxes boundedness assumptions for generalization bounds.
problem Overly restrictive assumptions for modern learning settings with heavy-tailed or unbounded losses.
method Develops a stability-based framework requiring only finite Lp moment conditions. result Sharp generalization bounds derived for various learning paradigms.
The paper proves stability of manifolds with boundary under volume and distance constraints.
problem Stability of manifolds with boundary under volume and distance constraints.
method Volume preserving intrinsic flat convergence of metrics with boundary constraints.
result The stability of manifolds with boundary under volume and distance constraints is proven.
This work improves GAN stability with theoretical conditions.
problem GANs exhibit unstable behavior during training.
method Developed a theoretical framework and conditions for GAN stability.
result Constructs a GAN that fulfills stability conditions.
Stability of branched immersions with energy constraints.
problem Stability of branched Willmore immersions with bounded energy.
method Refined analysis of fourth-order differential operators with regular singularities.
result Sum of Morse index and nullity is lower semi-continuous.
Adapts Stein's method for geometric inequalities, addressing boundary terms.
problem Geometric inequalities and their stability under constraints.
method Uses elliptic PDE with oblique boundary condition to handle boundary terms.
result Stability results for various geometric inequalities with respect to a new distance.
The paper examines stable CMC hypersurfaces with boundaries on parallel hyperplanes.
problem Stability of CMC hypersurfaces with free boundaries.
method Analysis and numerical computations.
result Equilibrium hypersurfaces are stable without self-intersection in all dimensions.
We review the geometric formulation of the second Noether's theorem in time-dependent mechanics. The commutation relations between the dynamics on the final constraint manifold and the infinitesimal generator of a symmetry are studied. We show an algorithm for determining a gauge symmetry which is closely related to th…
ARO overfits by making constraints dependent on uncertainty, leading to brittleness.
problem ARO's adaptive policies become brittle when realizations fall outside the uncertainty set.
method Assigning constraint-specific uncertainty set sizes with probabilistic guarantees.
result Regularization through specific uncertainty set sizes ensures stability and flexibility.
New proof of past stability for Kasner solutions in (3+1)-dimensional Einstein vacuum spacetime.
problem Stability of Kasner singularities in (3+1)-dimensional Einstein vacuum spacetime. method Developed (2+1) orthonormal-frame decomposition and symmetrization argument, applying Fuchsian techniques. result Perturbed solutions are asymptotically pointwise Kasner, geodesically incomplete, and crushing at the Big Bang singularity.
TCRI improves domain generalization by enforcing conditional independence constraints.
problem Limitations of existing domain generalization methods due to incomplete constraints.
method TCRI implements regularizers motivated by conditional independence constraints.
result TCRI achieves cross-domain stability and outperforms baselines in worst-domain accuracy.
We present a multi-objective Bayesian optimisation algorithm that allows the user to express preference-order constraints on the objectives of the type "objective A is more important than objective B". These preferences are defined based on the stability of the obtained solutions with respect to preferred objective fun…
This article studies the sensitivity of the power utility maximization problem with respect to the investor's relative risk aversion, the statistical probability measure, the investment constraints and the market price of risk. We extend previous descriptions of the dual domain then exploit the link between the constra…
Proposes a stability evaluation criterion for learning models using distributional perturbations.
problem Ensuring reliable deployment of learning models in out-of-sample environments.
method Uses optimal transport discrepancy with moment constraints to quantify minimal perturbation required for model deterioration.
result Validates the practical utility of the stability evaluation criterion across various real-world applications.
Paper studies constrained control games with a novel approximation method.
problem Games with constrained control directions.
method Approximation procedure based on L1-stability estimates and almost sure convergence. result Existence of game's value and optimal strategy for the stopper.
DiffSlack learns neural networks with nonlinear constraints via learnable slack variables.
problem Enforcing nonlinear inequality constraints in neural networks.
method DiffSlack reformulates inequalities as equalities with learnable slack variables, predicting them as part of the network output.
result DiffSlack achieves higher planning success rates and stronger geometric constraint satisfaction compared to existing methods.
Risk-controlled post-processing optimizes decision policies under risk constraints.
problem Optimizing decision policies with risk constraints for better outcomes.
method Developed a post-processing algorithm that selects a threshold based on fitted fallback policy and score, leveraging tools from algorithmic stability and stochastic processes.
result The post-processed policy achieves precise expected risk control under exchangeability and meets or nearly meets risk budgets while preserving more agreement with the baseline.
ARBITER learns SPX-VIX term structures without arbitrage constraints.
problem Arbitrage-free modeling of SPX-VIX term structures.
method Risk-neutral neural operator mapping market states to operator outputs enforcing static arbitrage constraints.
result ARBITER outperforms other models in derivatives term structure evaluation metrics.
Second paper applies Morse index to constrained optimization problems.
problem Optimization problems with constraints on capillary surfaces.
method Abstract Morse index formulation applied to capillary surfaces.
result Precise determination of indices with constraints for various examples.
Reservoir Computing (RC) provides an efficient way for designing dynamical recurrent neural models. While training is restricted to a simple output component, the recurrent connections are left untrained after initialization, subject to stability constraints specified by the Echo State Property (ESP). Literature condit…