arXiv research

Paper proves convergence of SA algorithm via martingale and converse Lyapunov methods.

This paper introduces a novel framework to construct the region of attraction (ROA) of a power system centered around a stable equilibrium by using stable state trajectories of system dynamics. Most existing works on estimating ROA rely on analytical Lyapunov functions, which are subject to two limitations: the analyti…

The paper analyzes how disturbances affect the convergence of algorithms in complex systems.

Lyapunov's second theorem is an essential tool for stability analysis of differential equations. The paper provides an analog theorem for incremental stability analysis by lifting the Lyapunov function to the tangent bundle. The Lyapunov function endows the state-space with a Finsler structure. Incremental stability is…

New method stabilizes deep neural networks by setting Lyapunov exponent to zero.

We study the relationship between the Lyapunov exponents of the geodesic flow of a closed negatively curved manifold and the geometry of the manifold. We show that if each periodic orbit of the geodesic flow has exactly one Lyapunov exponent on the unstable bundle then the manifold has constant negative curvature. We a…

Uniformizes Hodge structures, proving Lyapunov exponents and log-Anosov monodromy.

Recent results on ergodic theory for Riemann surface laminations and foliations.

We compute the sum of the positive Lyapunov exponents of the Hodge bundle with respect to the Teichmuller geodesic flow. The computation is based on the analytic Riemann-Roch Theorem and uses a comparison of determinants of flat and hyperbolic Laplacians when the underlying Riemann surface degenerates.

Inspired by Katz-Mazur theorem on crystalline cohomology and by Eskin-Kontsevich-Zorich's numerical experiments, we conjecture that the polygon of Lyapunov spectrum lies above (or on) the Harder-Narasimhan polygon of the Hodge bundle over any Teichmüller curve. We also discuss the connections between the two polygons a…

Fiedler and Mallet-Paret prove a version of the classical Poincaré-Bendixson Theorem for scalar parabolic equations. We prove that a similar result holds for bounded solutions of the non-linear Cauchy-Riemann equations. The latter is an application of an abstract theorem for flows with a(n) (unbounded) discrete Lyapuno…

The paper provides a converse to linking theorems for graphs in 3-space and higher dimensions.

Theorem converse to Jordan's curve theorem says that {\it if a compact set $K$ has two complementary domains in $R^{2}$, from each of which it is at every point accessible, it is a simple closed curve}. We show that the requirement of this theorem that {\it all} points of $K$ were accessible from {\it both} complementa…

Study the topology of stable vector fields and Lyapunov functions on R^n.

Chevalley's theorem and it's converse, the Sheppard-Todd theorem, assert that finite reflection groups are distinguished by the fact that the ring of invariant polynomials is freely generated. We show that in the Euclidean case, a weaker condition suffices to characterize finite reflection groups, namely that a freely-…

Given a n-dimensional lamination endowed with a Riemannian metric, we introduce the notion of a multiplicative cocycle of rank d, where n and d are arbitrary positive integers. The holonomy cocycle of a foliation and its exterior powers as well as its tensor powers provide examples of multiplicative cocycles. Next, we …

Lyapunov 1-forms on orbifolds help understand flows on compact spaces.

In this paper, following J. Franks' work on Lyapunov graphs of nonsingular Smale flows on $S^3$, we study Lyapunov graphs of nonsingular Smale flows on $S^1 \times S^2$. More precisely, we determine necessary and sufficient conditions on an abstract Lyapunov graph to be associated with a nonsingular Smale flow on $S^1 …

New analysis improves SGD for robust and quantile regression with sub-quadratic convergence.

Investigates optimal consumption and investment strategies with constraints in incomplete markets.

A family of replicator-like dynamics, called the escort replicator equation, is constructed using information-geometric concepts and generalized information entropies and diverenges from statistical thermodynamics. Lyapunov functions and escort generalizations of basic concepts and constructions in evolutionary game th…

The classical Sturm-Hurwitz-Kellogg theorem asserts that a function, orthogonal to an n-dimensional Chebyshev system on a circle, has at least n+1 sign changes. We prove the converse: given an n-dimensional Chebyshev system on a circle and a function with at least n+1 sign changes, there exists an orientation preservin…

The paper recovers contact forms from boundary data using vector fields and Lyapunov functions.

Let $X$ be a smooth projective manifold with $\dim_\mathbb{C} X=n$. We show that if a line bundle $L$ is $(n-1)$-ample, then it is $(n-1)$-positive. This is a partial converse to the Andreotti-Grauert theorem. As an application, we show that a projective manifold $X$ is uniruled if and only if there exists a Hermitian …

Neuro-symbolic system tackles conversational AI's need for natural, broad-ranging dialogue.

AROS uses Lyapunov-stabilized embeddings to improve out-of-distribution detection robustness against adversarial attacks.

We study the asymptotic behavior of the Lyapunov exponent in a meromorphic family of random products of matrices in SL(2, C), as the parameter converges to a pole. We show that the blow-up of the Lyapunov exponent is governed by a quantity which can be interpreted as the non-Archimedean Lyapunov exponent of the family.…

Lyapunov analysis improves RNN performance prediction.

From minimal surfaces such as Simons' cone and catenoids, using refined Lyapunov-Schmidt reduction method, we construct new solutions for a free boundary problem whose free boundary has two components. In dimension $8$, using variational arguments, we also obtain solutions which are global minimizers of the correspondi…

In this paper we study symmetries, Newtonoid vector fields, conservation laws, Noether's Theorem and its converse, in the framework of the $k$-symplectic formalism, using the Frölicher-Nijenhuis formalism on the space of $k^1$-velocities of the configuration manifold. For the case $k=1$, it is well known that Cartan sy…

Study approximates top Lyapunov exponents for surface mapping classes.

Let $h:X \to Y$ be a homeomorphism between hyperbolic surfaces with finite topology. If $h$ is homotopic to a holomorphic map, then every closed geodesic in $X$ is at least as long as the corresponding geodesic in $Y$, by the Schwarz Lemma. The converse holds trivially when $X$ and $Y$ are disks or annuli, and it holds…

In previous work, the author fully classified orbit closures in genus three with maximally many (four) zero Lyapunov exponents of the Kontsevich-Zorich cocycle. In this paper, we prove that there are no higher dimensional orbit closures in genus three with any zero Lyapunov exponents. Furthermore, if a Teichmüller curv…

We prove a combination theorem for trees of (strongly) relatively hyperbolic spaces and finite graphs of (strongly) relatively hyperbolic groups. This gives a geometric extension of Bestvina and Feighn's Combination Theorem for hyperbolic groups and answers a question of Swarup. We also prove a converse to the main Com…

New neural methods for stable control with provable guarantees.

Combines Lyapunov functions with controller synthesis for safe control policies.

We determine the Lyapunov spectrum of ball quotients arising from cyclic coverings. The computations are performed by rewriting the sum of Lyapunov exponents as ratios of intersection numbers and by the analysis of the period map near boundary divisors. As a corollary, we complete the classification of commensurability…

The paper proves conditions for non-uniform expansion in partially hyperbolic systems.

We consider actions of Z^k, k \ge 2, by Anosov diffeomorphisms which are uniformly quasiconformal on each coarse Lyapunov distribution. These actions generalize Cartan actions for which coarse Lyapunov distributions are one-dimensional. We show that, under certain non-resonance assumptions on the Lyapunov exponents, a …

Banach's fixed point theorem for contraction maps has been widely used to analyze the convergence of iterative methods in non-convex problems. It is a common experience, however, that iterative maps fail to be globally contracting under the natural metric in their domain, making the applicability of Banach's theorem li…

Classifies GL(2,R)-invariant subvarieties with zero Lyapunov exponents.

Lyapunov exponents help understand RNN stability.

Study on convergence of SDEs using entropy methods.

We show that for many strata of Abelian differentials in low genus the sum of Lyapunov exponents for the Teichmueller geodesic flow is the same for all Teichmueller curves in that stratum, hence equal to the sum of Lyapunov exponents for the whole stratum. This behavior is due to the disjointness property of Teichmuell…

New theorem links symmetries to first integrals in plasma physics.

Proves simplicity of Lyapunov exponents for specific Anosov flows.

Study of deep neural networks using finite-time Lyapunov exponents.

We show that for compact orientable hyperbolic orbisurfaces, the Laplace spectrum determines the length spectrum as well as the number of singular points of a given order. The converse also holds, giving a full generalization of Huber's theorem to the setting of compact orientable hyperbolic orbisurfaces.