-
On the set of asymptotic homologies of orbits on invariant Lagrangian graphs
Authors:
Rafael Oswaldo Ruggiero,
Alfonso Sorrentino
Abstract:
Given a smooth Tonelli Hamiltonian on the torus $\mathbb{T}^{n}$ and a $C^{2}$ Lagrangian graph $W \subset T^{*}\mathbb{T}^{n}$ that is invariant under the Hamiltonian flow and contained within a Mañé supercritical energy level, we demonstrate the existence of a proper cone in the first real homology group $H_1(\mathbb{T}^n,\mathbb{R})$ that contains the asymptotic homologies of the canonical proj…
▽ More
Given a smooth Tonelli Hamiltonian on the torus $\mathbb{T}^{n}$ and a $C^{2}$ Lagrangian graph $W \subset T^{*}\mathbb{T}^{n}$ that is invariant under the Hamiltonian flow and contained within a Mañé supercritical energy level, we demonstrate the existence of a proper cone in the first real homology group $H_1(\mathbb{T}^n,\mathbb{R})$ that contains the asymptotic homologies of the canonical projections of recurrent orbits in $W$. Additionally, for invariant Lagrangian graphs on $\mathbb{T}^{3}$, drawing on Franks' theory of the rotation set of homeomorphisms of $\mathbb{T}^{2}$ homotopic to the identity, we show that under certain assumptions for an invariant Lagrangian graph on $\mathbb{T}^{3}$, if there exists a rational vector in homology contained in the set of asymptotic homologies of orbits on the Lagrangian graph, then the graph contains a Mather measure supported on a periodic orbit. This result generalizes a well-known fact for Lagrangian graphs on $\mathbb{T}^{2}$. Finally, we exploit these results for three dimensional tori to give a partial answer to a conjecture by Carneiro-Ruggiero about the non-existence of Hedlund Lagrangian tori at supercritical energy levels.
△ Less
Submitted 24 September, 2024;
originally announced September 2024.
-
Density of expansivity for geodesic flows of compact higher genus surfaces without conjugate points
Authors:
Edhin F. Mamani,
Rafael Ruggiero
Abstract:
Let $(M,g)$ be a compact connected $C^{\infty}$ surface without conjugate points of genus greater than one. We show that set of geodesics without strips forms a dense set of orbits in the unit tangent bundle. This fact was known assuming no focal points as a consequence of a result of Coudène and Shapira. They showed that flat strips are periodic and hence form a set of zero measure in the unit ta…
▽ More
Let $(M,g)$ be a compact connected $C^{\infty}$ surface without conjugate points of genus greater than one. We show that set of geodesics without strips forms a dense set of orbits in the unit tangent bundle. This fact was known assuming no focal points as a consequence of a result of Coudène and Shapira. They showed that flat strips are periodic and hence form a set of zero measure in the unit tangent bundle.
△ Less
Submitted 24 September, 2024;
originally announced September 2024.
-
The stability conjecture for geodesic flows of compact manifolds without conjugate points and quasi-convex universal covering
Authors:
Rafael Potrie,
Rafael O. Ruggiero
Abstract:
Let $(M,g)$ be a $C^{\infty}$ compact, boudaryless connected manifold without conjugate points with quasi-convex universal covering and divergent geodesic rays. We show that the geodesic flow of $(M,g)$ is $C^{2}$-structurally stable from Mañé's viewpoint if and only if it is an Anosov flow, proving the so-called $C^{1}$-stability conjecture.
Let $(M,g)$ be a $C^{\infty}$ compact, boudaryless connected manifold without conjugate points with quasi-convex universal covering and divergent geodesic rays. We show that the geodesic flow of $(M,g)$ is $C^{2}$-structurally stable from Mañé's viewpoint if and only if it is an Anosov flow, proving the so-called $C^{1}$-stability conjecture.
△ Less
Submitted 21 November, 2023;
originally announced November 2023.
-
Expansive factors for geodesic flows of compact manifolds without conjugate points and with visibility universal covering
Authors:
Edhin F. Mamani,
Rafael Ruggiero
Abstract:
Let $(M,g)$ be a compact manifold without conjugate points and with visibility universal covering. We show that its geodesic flow has a time-preserving expansive factor which is topologically mixing and has a local product structure. As an application, assuming further the so-called entropy-gap we prove the uniqueness of the measure of maximal entropy for the geodesic flow. For the other results w…
▽ More
Let $(M,g)$ be a compact manifold without conjugate points and with visibility universal covering. We show that its geodesic flow has a time-preserving expansive factor which is topologically mixing and has a local product structure. As an application, assuming further the so-called entropy-gap we prove the uniqueness of the measure of maximal entropy for the geodesic flow. For the other results we restrict our setting assuming furthermore the continuity of Green bundles and the existence of a hyperbolic closed geodesic. In this new context, we deduce that Green bundles are uniquely integrable and are tangent to the smooth leaves of the horospherical foliations. Moreover, we prove the above expansive factor acts on a compact topological manifold and its geodesic flow has a unique measure of maximal entropy which has full support.
△ Less
Submitted 5 November, 2023;
originally announced November 2023.
-
Noncommutativity in the analysis of piecewise discrete-time dynamical systems
Authors:
Benjamin T. Hendel,
Rafael Ruggiero
Abstract:
In this paper, we present a new method for the analysis of piecewise dynamical systems that are similar to the Collatz conjecture in regard to certain properties of the commutator of their sub-functions. We use the fact that the commutator of polynomials $E(n)=n/2$ and $O(n)=(3n+1)/2$ is constant to study rearrangements of compositions of $E(n)$ and $O(n)$. Our main result is that for any positive…
▽ More
In this paper, we present a new method for the analysis of piecewise dynamical systems that are similar to the Collatz conjecture in regard to certain properties of the commutator of their sub-functions. We use the fact that the commutator of polynomials $E(n)=n/2$ and $O(n)=(3n+1)/2$ is constant to study rearrangements of compositions of $E(n)$ and $O(n)$. Our main result is that for any positive rational number $n$, if $(E^{e_1} \circ O^{o_1} \circ E^{e_2} \circ \dotsb \circ O^{o_l} \circ E^{e_{l+1}})(n)=1$, then $(E^{e_1} \circ O^{o_1} \circ E^{e_2} \circ \dotsb \circ O^{o_l} \circ E^{e_{l+1}})(n) = \lceil(E^{e_1 + \dotsb + e_{l+1}} \circ O^{o_1 + \dotsb + o_{l}})(n)\rceil$, where exponentiation is used to denote repeated composition and $e_i$ and $o_i$ are positive integers. Composition sequences of this form have significance in the context of the Collatz conjecture. The techniques used to derive this result can be used to produce similar results for a wide variety of repeatedly composed piecewise functions.
△ Less
Submitted 10 May, 2023;
originally announced June 2023.
-
Geodesics and dynamical information projections on the manifold of Hölder equilibrium probabilities
Authors:
Artur O. Lopes,
Rafael O. Ruggiero
Abstract:
We consider here the discrete time dynamics described by a transformation $T:M \to M$, where $T$ is either the action of shift $T=σ$ on the symbolic space $M=\{1,2,...,d\}^\mathbb{N}$, or, $T$ describes the action of a $d$ to $1$ expanding transformation $T:S^1 \to S^1$ of class $C^{1+α}$ (\,for example $x \to T(x) =d\, x $ (mod $1) $\,), where $M=S^1$ is the unit circle. It is known that the infi…
▽ More
We consider here the discrete time dynamics described by a transformation $T:M \to M$, where $T$ is either the action of shift $T=σ$ on the symbolic space $M=\{1,2,...,d\}^\mathbb{N}$, or, $T$ describes the action of a $d$ to $1$ expanding transformation $T:S^1 \to S^1$ of class $C^{1+α}$ (\,for example $x \to T(x) =d\, x $ (mod $1) $\,), where $M=S^1$ is the unit circle. It is known that the infinite-dimensional manifold $\mathcal{N}$ of equilibrium probabilities for Hölder potentials $A:M \to \mathbb{R}$ is an analytical manifold and carries a natural Riemannian metric associated with the asymptotic variance. We show here that under the assumption of the existence of a Fourier-like Hilbert basis for the kernel of the Ruelle operator there exists geodesics paths. When $T=σ$ and $M=\{0,1\}^\mathbb{N}$ such basis exists.
In a different direction, we also consider the KL-divergence $D_{KL}(μ_1,μ_2)$ for a pair of equilibrium probabilities. If $D_{KL}(μ_1,μ_2)=0$, then $μ_1=μ_2$. Although $D_{KL}$ is not a metric in $\mathcal{N}$, it describes the proximity between $μ_1$ and $μ_2$. A natural problem is: for a fixed probability $μ_1\in \mathcal{N}$ consider the probability $μ_2$ in a convex set of probabilities in $\mathcal{N}$ which minimizes $D_{KL}(μ_1,μ_2)$. This minimization problem is a dynamical version of the main issues considered in information projections. We consider this problem in $\mathcal{N}$, a case where all probabilities are dynamically invariant, getting explicit equations for the solution sought. Triangle and Pythagorean inequalities will be investigated.
△ Less
Submitted 21 November, 2024; v1 submitted 17 March, 2022;
originally announced March 2022.
-
Nonequilibrium in Thermodynamic Formalism: the Second Law, gases and Information Geometry
Authors:
Artur O. Lopes,
R. Ruggiero
Abstract:
In Nonequilibrium Thermodynamics and Information Theory, the relative entropy (or, KL divergence) plays a very important role. Consider a Hölder Jacobian $J$ and the Ruelle (transfer) operator $\mathcal{L}_{\log J}.$ Two equilibrium probabilities $μ_1$ and $μ_2$, can interact via a discrete-time {\it Thermodynamic Operation} described by the action {\it of the dual of the Ruelle operator}…
▽ More
In Nonequilibrium Thermodynamics and Information Theory, the relative entropy (or, KL divergence) plays a very important role. Consider a Hölder Jacobian $J$ and the Ruelle (transfer) operator $\mathcal{L}_{\log J}.$ Two equilibrium probabilities $μ_1$ and $μ_2$, can interact via a discrete-time {\it Thermodynamic Operation} described by the action {\it of the dual of the Ruelle operator} $ \mathcal{L}_{\log J}^*$. We argue that the law $μ\to \mathcal{L}_{\log J}^*(μ)$, producing nonequilibrium, can be seen as a Thermodynamic Operation after showing that it's a manifestation of the Second Law of Thermodynamics. We also show that the change of relative entropy satisfies $$ D_{K L} (μ_1,μ_2) - D_{K L} (\mathcal{L}_{\log J}^*(μ_1),\mathcal{L}_{\log J}^*(μ_2))= 0.$$ Furthermore, we describe sufficient conditions on $J,μ_1$ for getting $h(\mathcal{L}_{\log J}^*(μ_1))\geq h(μ_1)$, where $h$ is entropy. Recalling a natural Riemannian metric in the Banach manifold of Hölder equilibrium probabilities we exhibit the second-order Taylor formula for an infinitesimal tangent change of KL divergence; a crucial estimate in Information Geometry. We introduce concepts like heat, work, volume, pressure, and internal energy, which play here the role of the analogous ones in Thermodynamics of gases. We briefly describe the MaxEnt method.
△ Less
Submitted 23 November, 2021; v1 submitted 15 March, 2021;
originally announced March 2021.
-
Geodesic flows modeled by expansive flows: Compact surfaces without conjugate points and continuous Green bundles
Authors:
Rafael O. Ruggiero,
Katrin Gelfert
Abstract:
We study the geodesic flow of a compact surface without conjugate points and genus greater than one and continuous Green bundles. Identifying each strip of bi-asymptotic geodesics induces an equivalence relation on the unit tangent bundle. Its quotient space is shown to carry the structure of a 3-dimensional compact manifold. This manifold carries a canonically defined continuous flow which is exp…
▽ More
We study the geodesic flow of a compact surface without conjugate points and genus greater than one and continuous Green bundles. Identifying each strip of bi-asymptotic geodesics induces an equivalence relation on the unit tangent bundle. Its quotient space is shown to carry the structure of a 3-dimensional compact manifold. This manifold carries a canonically defined continuous flow which is expansive, time-preserving semi-conjugate to the geodesic flow, and has a local product structure. An essential step towards the proof of these properties is to study regularity properties of the horospherical foliations and to show that they are indeed tangent to the Green subbundles. As an application it is shown that the geodesic flow has a unique measure of maximal entropy.
△ Less
Submitted 23 September, 2020;
originally announced September 2020.
-
The relationship between stopping time and number of odd terms in Collatz sequences
Authors:
Rafael Ruggiero
Abstract:
The Collatz sequence for a given natural number $N$ is generated by repeatedly applying the map $N$ $\rightarrow$ $3N+1$ if $N$ is odd and $N$ $\rightarrow$ $N/2$ if $N$ is even. One elusive open problem in Mathematics is whether all such sequences end in 1 (Collatz conjecture), the alternative being the possibility of cycles or of unbounded sequences. In this paper, we present a formula relating…
▽ More
The Collatz sequence for a given natural number $N$ is generated by repeatedly applying the map $N$ $\rightarrow$ $3N+1$ if $N$ is odd and $N$ $\rightarrow$ $N/2$ if $N$ is even. One elusive open problem in Mathematics is whether all such sequences end in 1 (Collatz conjecture), the alternative being the possibility of cycles or of unbounded sequences. In this paper, we present a formula relating the stopping time and the number of odd terms in a Collatz sequence, obtained numerically and tested for all numbers up to $10^7$ and for random numbers up to $2^{128.000}$. This result is presented as a conjecture, and with the hope that it could be useful for constructing a proof of the Collatz conjecture.
△ Less
Submitted 6 November, 2019; v1 submitted 1 November, 2019;
originally announced November 2019.
-
The sectional curvature of the infinite dimensional manifold of Hölder equilibrium prababilities
Authors:
Artur O. Lopes,
Rafael O. Ruggiero
Abstract:
Here we consider the discrete time dynamics described by a transformation $T:M \to M$, where $T$ is the shift and $M=\{1,2,...,d\}^\mathbb{N}$. It is known that the infinite-dimensional manifold $\mathcal{N}$ of Hölder equilibrium probabilities is an analytical manifold and carries a natural Riemannian metric. Given a normalized Hölder potential $A$ denote by $μ_A \in \mathcal{N}$ the associated e…
▽ More
Here we consider the discrete time dynamics described by a transformation $T:M \to M$, where $T$ is the shift and $M=\{1,2,...,d\}^\mathbb{N}$. It is known that the infinite-dimensional manifold $\mathcal{N}$ of Hölder equilibrium probabilities is an analytical manifold and carries a natural Riemannian metric. Given a normalized Hölder potential $A$ denote by $μ_A \in \mathcal{N}$ the associated equilibrium probability. The set of tangent vectors $X$ to the manifold $\mathcal{N}$ at the point $μ_A$ coincides with the kernel of the Ruelle operator for $A$. The Riemannian norm $|X|=|X|_A$ of the vector $X$, which is tangent to $\mathcal{N}$ at the point $μ_A$, is described via the asymptotic variance, that is, satisfies
$|X|^2\,\,= \langle X, X \rangle =\lim_{n \to \infty} \frac{1}{n} \int (\sum_{i=0}^{n-1} X\circ T^i )^2 \,d μ_A$.
Consider an orthonormal basis $X_i$, $i \in \mathbb{N}$, for the tangent space at $μ_A$. Given two unit tangent vectors $X$ and $Y$ the curvature $K(X,Y)$ satisfies
$\,\,\,\,K(X,Y) = \frac{1}{4}[\, \sum_{i=1}^\infty ( \int X \,Y\, X_i \,d μ_A)^2 - \sum_{i=1}^\infty \int X^2 X_i \,d μ_A\, \,\int Y^2 X_i \,d μ_A \,].$
When the equilibrium probabilities $μ_A$ is the set of invariant Markov probabilities on $\{0,1\}^\mathbb{N}\subset \mathcal{N}$, introducing an orthonormal basis $\hat{a}_y$, indexed by finite words $y$, we show explicit expressions for $K(\hat{a}_x,\hat{a}_z)$, which is a finite sum. These values can be positive or negative depending on $A$ and the words $x$ and $z$. Words $x,z$ with large length can eventually produce large negative curvature $K(\hat{a}_x,\hat{a}_z)$. If $x, z$ do not begin with the same letter, then $K(\hat{a}_x,\hat{a}_z)=0$.
△ Less
Submitted 1 September, 2023; v1 submitted 19 November, 2018;
originally announced November 2018.
-
Geodesic flows modeled by expansive flows
Authors:
Katrin Gelfert,
Rafael O. Ruggiero
Abstract:
Given a smooth compact surface without focal points and of higher genus, it is shown that its geodesic flow is semi-conjugate to a continuous expansive flow with a local product structure such that the semi-conjugation preserves time-parametrization. It is concluded that the geodesic flow has a unique measure of maximal entropy.
Given a smooth compact surface without focal points and of higher genus, it is shown that its geodesic flow is semi-conjugate to a continuous expansive flow with a local product structure such that the semi-conjugation preserves time-parametrization. It is concluded that the geodesic flow has a unique measure of maximal entropy.
△ Less
Submitted 19 July, 2017; v1 submitted 21 March, 2017;
originally announced March 2017.
-
Franks' Lemma for C^2-Mané Perturbations of Riemannian Metrics and Applications to Persistence
Authors:
Ayadi Lazrag,
Ludovic Rifford,
Rafael Ruggiero
Abstract:
Given a compact Riemannian manifold, we prove a uniform Franks' lemma at second order for geodesic flows and apply the result in persistence theory.
Given a compact Riemannian manifold, we prove a uniform Franks' lemma at second order for geodesic flows and apply the result in persistence theory.
△ Less
Submitted 4 February, 2015;
originally announced February 2015.
-
Large deviations and Aubry-Mather measures supported in nonhyperbolic closed geodesics
Authors:
Artur O. Lopes,
Rafael O. Ruggiero
Abstract:
We obtain a large deviation function for the stationary measures of twisted Brownian motions associated to the Lagrangians $L_λ(p,v)=\frac{1}{2}g_{p}(v,v)- λω_{p}(v)$, where $g$ is a $C^{\infty}$ Riemannian metric in a compact surface $(M,g)$ with nonpositive curvature, $ω$ is a closed 1-form such that the Aubry-Mather measure of the Lagrangian $L(p,v)=\frac{1}{2}g_{p}(v,v)-ω_{p}(v)$ has support i…
▽ More
We obtain a large deviation function for the stationary measures of twisted Brownian motions associated to the Lagrangians $L_λ(p,v)=\frac{1}{2}g_{p}(v,v)- λω_{p}(v)$, where $g$ is a $C^{\infty}$ Riemannian metric in a compact surface $(M,g)$ with nonpositive curvature, $ω$ is a closed 1-form such that the Aubry-Mather measure of the Lagrangian $L(p,v)=\frac{1}{2}g_{p}(v,v)-ω_{p}(v)$ has support in a unique closed geodesic $γ$; and the curvature is negative at every point of $M$ but at the points of $γ$ where it is zero. We also assume that the Aubry set is equal to the Mather set. The large deviation function is of polynomial type, the power of the polynomial function depends on the way the curvature goes to zero in a neighborhood of $γ$. This results has interesting counterparts in one-dimensional dynamics with indifferent fixed points and convex billiards with flat points in the boundary of the billiard. A previous estimate by N. Anantharaman of the large deviation function in terms of the Peierl's barrier of the Aubry-Mather measure is crucial for our result.
△ Less
Submitted 5 May, 2010;
originally announced May 2010.
