http://arxiv.org/api/QPM3nJC1lUqXCrkbNnXdTzqAcO4 2025-05-16T00:00:00-04:00 39377 300 15 http://arxiv.org/abs/2504.17153v1 2025-04-24T00:18:51Z 2025-04-24T00:18:51Z

Let $(M, g)$ be a closed oriented Riemannian surface, and let $SM$ be its unit tangent bundle. We show that the interior in the $\mathcal{C}^2$ topology of the set of smooth functions $\lambda:SM\to \mathbb{R}$ for which the thermostat $(M, g, \lambda)$ has no conjugate points is a subset of those functions for which the thermostat is projectively Anosov. Moreover, we prove that if a reversible thermostat is projectively Anosov, then its non-wandering set contains no conjugate points.

Javier Echevarría Cuesta James Marshall Reber http://arxiv.org/abs/2504.17105v1 2025-04-23T21:34:10Z 2025-04-23T21:34:10Z

Bifurcation is one of the major topics in the theory of dynamical systems. It characterizes the nature of qualitative changes in parametrized dynamical systems. In this work, we study combinatorial bifurcations within the framework of combinatorial multivector field theory--a young but already well-established theory providing a combinatorial model for continuous-time dynamical systems (or simply, flows). We introduce Conley-Morse persistence barcode, a compact algebraic descriptor of combinatorial bifurcations. The barcode captures structural changes in a dynamical system at the level of Morse decompositions and provides a characterization of the nature of observed transitions in terms of the Conley index. The construction of Conley-Morse persistence barcode builds upon ideas from topological data analysis (TDA). Specifically, we consider a persistence module obtained from a zigzag filtration of topological pairs (formed by index pairs defining the Conley index) over a poset. Using gentle algebras, we prove that this module decomposes into simple intervals (bars) and compute them with algorithms from TDA known for processing zigzag filtrations.

Tamal K. Dey Michał Lipiński Manuel Soriano-Trigueros http://arxiv.org/abs/2501.12944v2 2025-04-23T19:30:57Z 2025-01-22T15:16:42Z

In this paper we investigate stability of travelling wave solutions to a class of reaction-diffusion equations perturbed by infinite-dimensional additive noise with H\"older continuous paths, covering in particular fractional Brownian motion with general Hurst index. We obtain long- and short time asymptotic error bounds on the maximal distance from the solution of the stochastic reaction-diffusion equation to the orbit of travelling wave fronts. These bounds, in terms of Hurst index and H\"older exponent, apply to a large class of infinite-dimensional self-similar drivers with H\"older continuous paths, such as linear fractional stable motion. We find that for short times, higher Hurst indices imply higher stability, while for large times, the difference of Hurst index to H\"older exponent influences the size of scaling exponents of the noise amplitude that are sufficient to ensure stability.

Amjad Saef Wilhelm Stannat 42 Pages http://arxiv.org/abs/2504.17063v1 2025-04-23T19:16:30Z 2025-04-23T19:16:30Z

We employ a port-Hamiltonian approach to model nonlinear rigid multibody systems subject to both position and velocity constraints. Our formulation accommodates Cartesian and redundant coordinates, respectively, and captures kinematic as well as gyroscopic effects. The resulting equations take the form of nonlinear differential-algebraic equations that inherently preserve an energy balance. We show that the proposed class is closed under interconnection, and we provide several examples to illustrate the theory.

Thomas Berger René Hochdahl Timo Reis Robert Seifried http://arxiv.org/abs/2504.17026v1 2025-04-23T18:12:32Z 2025-04-23T18:12:32Z

A convergent power series solution is obtained for the SIR model, using an asymptotically motivated gauge function. For certain choices of model parameter values, the series converges over the full physical domain (i.e., for all positive time). Furthermore, the radius of convergence as a function of nondimensionalized initial susceptible and infected populations is obtained via a numerical root test.

Daniel P Hobbs 72 Pages, 21 figures; Will be presented at "SIAM Conference on Applications of Dynamical Systems (DS25)" http://arxiv.org/abs/2410.17211v2 2025-04-23T17:08:05Z 2024-10-22T17:36:15Z

Reducibility methods, aiming to simplify systems by conjugating them to those with constant coefficients, are crucial for studying the existence of quasiperiodic solutions. In KAM theory for PDEs, these methods help address the invertibility of linearized operators that arise in a Nash-Moser/KAM type scheme. The goal of this paper is to prove paradifferential reducibility results, enabling the reduction of nonlinear equations themselves, rather than just their linearizations, to constant coefficient form, modulo smoothing terms. As an initial application, we demonstrate the existence of quasiperiodic solutions for certain hyperbolic systems. Despite the small denominator problem, our proof does not rely on traditional Nash-Moser/KAM-type schemes, but instead on the Banach fixed point theorem. To achieve this, we develop two key toolsets. The first focuses on the calculus of paracomposition operators introduced by Alinhac, interpreted as the flow map of a paraproduct vector field. We refine this approach to establish new estimates that precisely capture the dependence on the diffeomorphism in question. The second toolset addresses two classical reducibility problems, one for matrix differential operators and the other for nearly parallel vector fields on torus. We resolve these problems by paralinearizing the conjugacy equation and exploiting, at the paradifferential level, the specific algebraic structure of conjugacy problems, akin to Zehnder's approximate Nash-Moser approach.

Thomas Alazard Chengyang Shao Proof of Proposition 3.4 corrected. Presentation of part 2 significantly improved. With the extension Lemma 5.1, equations are transformed into Banach fixed point form depending on parameter $\omega$, equivalent to the original ones if $\omega$ is in a certain Diophantine set. Proof of Theorem 1.1 in Section 7 simplified in this vein, especially in the last subsection http://arxiv.org/abs/2504.16860v1 2025-04-23T16:28:43Z 2025-04-23T16:28:43Z

For a continuously differentiable Kolmogorov map defined from the nonnegative orthant to itself, a type-K competitive system is defined. Under the assumptions that the system is dissipative and the origin is a repeller, the global dynamics of such systems is investigated. A (weakly) type-K retrotone map is defined on a bounded set, which is backward monotone in some order. Under certain conditions, the dynamics of a type-K competitive system is the dynamics of a type-K retrotone map. Under these conditions, there exists a compact invariant set A that is the global attractor of the system on the nonnegative orthant exluding the origin. Some basic properties of A are established and remaining problems are listed for further investigation for general N-dimensional systems. These problems are completely solved for planar type-K competitive systems: every forward orbit is eventually monotone and converges to a fixed point; the global attractor A consists of two monotone curves each of which is a one-dimensional compact invariant manifold. A concrete example is provided to demonstrate the results for planar systems.

Zhanyuan Hou 22 pages, 4 figures, first draft of the paper, final version accepted by a journal http://arxiv.org/abs/2412.16330v2 2025-04-23T11:27:15Z 2024-12-20T20:38:22Z

We prove a semisimplicity result for the boundary, in the corresponding Deligne-Mumford compactification, of a totally geodesic subvariety of a moduli space of Riemann surfaces. At the level of Teichm\"uller space, this semisimplicity theorem gives that each component of the boundary is a product of simple factors, each of which behaves metrically like a diagonal embedding. Building on this result, we also show that the associated totally geodesic submanifolds of Teichm\"uller space and orbifold fundamental groups are hierarchically hyperbolic. The proof intertwines in a novel way results and perspectives originating in dynamics, algebraic geometry, geometric group theory, and both classical and modern Teichm\"uller theory. It establishes both new rigidity and new flexibility for totally geodesic submanifolds and their associated varieties and orbifold fundamental groups and provides a rich set of new tools for the study of these objects.

Francisco Arana-Herrera Alex Wright 54 pages; comments welcome; v2 is a significant update and will be the version submitted for publication http://arxiv.org/abs/2504.16549v1 2025-04-23T09:25:49Z 2025-04-23T09:25:49Z

We consider a finite number of orientation preserving $C^2$ interval diffeomorphisms and apply them randomly in such a way that the expected Lyapunov exponents at the boundary points are positive. We prove the exponential mixing, with respect to the unique stationary measure supported on the interior of the interval. The key step is to show the exponential synchronization in average.

Klaudiusz Czudek 11 pages, no figures http://arxiv.org/abs/2504.16532v1 2025-04-23T08:57:40Z 2025-04-23T08:57:40Z

It is well known that an Anosov diffeomorphism $T$ enjoys linear response of its SRB measure with respect to infinitesimal perturbations $T_2$. For a fixed observation function $c$, we develop a theory to optimise the response of the SRB-expectation of $c$. Our approach is based on the response of the transfer operator on the anisotropic Banach spaces of Gou\"ezel-Liverani. For any non-constant $c$ we prove that the optimising perturbation $T_2$ exists and is unique, and we provide explicit expressions for the Fourier coefficients of $T_2$. We develop an efficient Fourier-based numerical scheme to approximate the optimal vector field $T_2$, along with a proof of convergence. The utility of our approach is illustrated in two numerical examples, by localising SRB measures with small, optimally selected, perturbations.

Gary Froyland Maxence Phalempin http://arxiv.org/abs/2504.16496v1 2025-04-23T08:19:52Z 2025-04-23T08:19:52Z

In this paper, we study the local connectivity and Hausdorff dimension for the boundaries of the bounded hyperbolic components in the space $\mathcal P_d$ of polynomials of degree $d\geq 3$. It is shown that for any non disjoint-type bounded hyperbolic component $\mathcal H\subset \mathcal P_d$, the locally connected part of $\partial\mathcal H$, along each regular boundary strata, has full Hausdorff dimension $2d-2$. An essential innovation in our argument involves analyzing how the canonical parameterization of the hyperbolic component--realized via Blaschke products over a mapping scheme--extends to the boundary. This framework allows us to study three key aspects of $\partial \mathcal H$: the local connectivity structure, the perturbation behavior, and the local Hausdorff dimensions.

Yan Gao Xiaoguang Wang Yueyang Wang 100 pages, 31 figures http://arxiv.org/abs/2504.16962v1 2025-04-23T08:02:06Z 2025-04-23T08:02:06Z

Banyaga and Hurtubise defined the Morse-Bott-Smale chain complex as a quotient of a large chain complex by introducing five degeneracy relations. In this paper, we unify the five conditions into only one degeneracy condition. This allows for a simpler definition of Morse-Bott homology and more computable examples. Moreover, we show that our chain complex for a Morse-Smale function is quasi-isomorphic to the Morse-Smale-Witten chain complex. As a result, we obtain another proof of the Morse Homology Theorem.

Ryuma Orita Kanon Yashiro 29 pages, 9 figures http://arxiv.org/abs/2401.05762v4 2025-04-23T07:24:36Z 2024-01-11T09:12:53Z

We study the problem of unlikely intersections for automorphisms of Markov surfaces of positive entropy. We show for certain parameters that two automorphisms with positive entropy share a Zariski dense set of periodic points if and only if they share a common iterate. Our proof uses arithmetic equidistribution for adelic line bundles over quasiprojective varieties, the theory of laminar currents and quasi-Fuchsian representation theory.

Marc Abboud UNINE http://arxiv.org/abs/2504.16456v1 2025-04-23T06:50:53Z 2025-04-23T06:50:53Z

The expansion exponent (or expansion constant) for maps was introduced by Schreiber in \cite{s}. In this paper, we introduce the analogous exponent for measures. We shall prove the following results: The expansion exponent of a measurable maps is equal to the minimum of the expansion exponent taken over the Borel probability measures. In particular, a map expands small distances (in the sense of Reddy \cite{r}) if and only if every Borel probability has positive expansion exponent. Any nonatomic invariant measure with positive expansion exponent is positively expansive in the sense of \cite{m}. For ergodic invariant measures, the Kolmogorov-Sinai entropy is bounded below by the product of the expansion exponent and the measure upper capacity. As a consequence, any ergodic invariant measure with both positive upper capacity and positive expansion exponent must have positive entropy.

C. A. Morales 10 pages http://arxiv.org/abs/2412.19319v2 2025-04-23T04:43:22Z 2024-12-26T18:42:11Z

A universal algorithm to derive a macroscopic dynamics from the microscopic dynamical system via the averaging process and symplecto-contact reduction was introduced by Jin-wook Lim and the second-named author in [LO23]. They apply the algorithm to derive non-equilibrium thermodynamics from the statistical mechanics utilizing the relative information entropy as a generating function of the associated thermodynamic equilibrium. In the present paper, we apply this algorithm to the contact Hamiltonian dynamical systems. We describe a procedure of obtaining a discrete set of dynamical invariants of the given contact Hamiltonian system, or more generally of a contact multi-Hamiltonian system in a canonical way by deriving a (finite-dimensional non-equilibrium) thermodynamic system. We call this reduction the thermodynamic reduction of contact dynamics.

Hyun-Seok Do Yong-Geun Oh 35 pages, v2) 41 pages, one more appendix added, references updated, subsection 9.2 rewritten