Searcharxiv⌕ Search

arXiv subjects

Omri Sarig

Publications and source records attributed to Omri Sarig.

14 recordsLinked to original sources
arXiv2026

Complete regularity of linear cocycles and the Baire category of the set of Lyapunov-Perron regular points

Given a continuous linear cocycle A over a homeomorphism f of a compact metric space X, we investigate its set R of Lyapunov-Perron regular points, that is, the collection of trajectories of f that obey the conclusions of the Multiplicative Ergodic Theorem. We obtain results roughly saying that the set R is of first Baire category (i.e., meager) in X, unless some rigid structure is present. In some settings, this rigid structure forces the Lyapunov exponents to be defined everywhere and to be independent of the point; that is what we call complete regularity.

math.DS↗
arXiv2025

Strong positive recurrence and exponential mixing for diffeomorphisms

We introduce the strong positive recurrence (SPR) property for diffeomorphisms on closed manifolds with arbitrary dimension, and show that it has many consequences and holds in many cases. SPR diffeomorphisms can be coded by countable state Markov shifts whose transition matrices act with a spectral gap on a large Banach space, and this implies exponential decay of correlations, almost sure invariance principle, large deviations, among other properties of the ergodic measures of maximal entropy. Any $C^\infty$ smooth surface diffeomorphism with positive entropy is SPR, and there are many other examples with lesser regularity, or in higher dimension.

math.DS↗
arXiv2021

Effective intrinsic ergodicity for countable state Markov shifts

For strongly positively recurrent countable state Markov shifts, we bound the distance between an invariant measure and the measure of maximal entropy in terms of the difference of their entropies. This extends an earlier result for subshifts of finite type, due to Kadyrov. We provide a similar bound for equilibrium measures of strongly positively recurrent potentials, in terms of the pressure difference. For measures with nearly maximal entropy, we have new, and sharp, bounds. The strong positive recurrence condition is necessary.

math.DS↗
arXiv2021

Local limit theorems for inhomogeneous Markov chains

We prove the Local Limit Theorems for bounded additive functionals of uniformly elliptic inhomogeneous Markov arrays. As an application we obtain the precise asymptotics in the large deviation regime for bounded additive functionals of uniformly elliptic Markov chains. The proofs rely on new reduction theorems for Markov arrays.

math.PR↗
arXiv2021

Continuity properties of Lyapunov exponents for surface diffeomorphisms

We study the entropy and Lyapunov exponents of invariant measures $μ$ for smooth surface diffeomorphisms $f$, as functions of $(f,μ)$. The main result is an inequality relating the discontinuities of these functions. One consequence is that for a $C^\infty$ surface diffeomorphisms, on any set of ergodic measures with entropy bounded away from zero, continuity of the entropy implies continuity of the exponents. Another consequence is the upper semi-continuity of the Hausdorff dimension on the set of ergodic invariant measures with entropy bounded away from zero. We also obtain a new criterion for the existence of SRB measures with positive entropy.

math.DS↗
arXiv2019

Measures of maximal entropy for surface diffeomorphisms

We show that $C^\infty$ surface diffeomorphisms with positive topological entropy have at most finitely many ergodic measures of maximal entropy in general, and at most one in the topologically transitive case. This answers a question of Newhouse, who proved that such measures always exist. To do this we generalize Smale's spectral decomposition theorem to non-uniformly hyperbolic surface diffeomorphisms, we introduce homoclinic classes of measures, and we study their properties using codings by irreducible countable state Markov shifts.

math.DS↗
arXiv2018

No temporal distributional limit theorem for a.e. irrational translation

Bromberg and Ulcigrai constructed piecewise smooth functions f on the torus such that the set of angles alpha for which the Birkhoff sums of f with respect to the irrational translation by alpha satisfies a temporal distributional limit theorem along the orbit of a.e. x has Hausdorff dimension one. We show that the Lebesgue measure of this set of angles is equal to zero.

math.DS↗
arXiv2016

Symbolic dynamics for three dimensional flows with positive topological entropy

We construct symbolic dynamics on sets of full measure (w.r.t. an ergodic measure of positive entropy) for $C^{1+ε}$ flows on compact smooth three-dimensional manifolds. One consequence is that the geodesic flow on the unit tangent bundle of a compact $C^\infty$ surface has at least const $\times(e^{hT}/T)$ simple closed orbits of period less than $T$, whenever the topological entropy $h$ is positive -- and without further assumptions on the curvature.

math.DS↗
arXiv2015

Ergodic properties of equilibrium measures for smooth three dimensional flows

Let $\{T^t\}$ be a smooth flow with positive speed and positive topological entropy on a compact smooth three dimensional manifold, and let $μ$ be an ergodic measure of maximal entropy. We show that either $\{T^t\}$ is Bernoulli, or $\{T^t\}$ is isomorphic to the product of a Bernoulli flow and a rotational flow. Applications are given to Reeb flows.

math.DS↗
arXiv2011

Symbolic dynamics for surface diffeomorphisms with positive topological entropy

Suppose f is a C^{1+ε} surface diffeomorphism with positive topological entropy. For every positive δstrictly smaller than the topological entropy of f we construct an invariant Borel set E such that (a) f|E has a countable Markov partition; and (b) E has full measure with respect to any ergodic invariant probability measure with entropy larger than δ. This allows us to prove the following conjecture of A. Katok: if f is C^\infty with topological entropy h>0, and if P_n(f)=#{x:f^n(x)=x}, then limsup P_n(f)/exp(nh)>0.

math.DS↗
arXiv2011

Bernoulli equilibrium states for surface diffeomorphisms

Suppose f is a $C^{1+α}$ surface diffeomorphism, and m is an equilibrium measure of a Holder continuous potential. We show that if m has positive metric entropy, then f is measure theoretically isomorphic to the product of a Bernoulli scheme and a finite rotation.

math.DS↗
arXiv2008

The generic points for the horocycle flow on a class of hyperbolic surfaces with infinite genus

A point is called generic for a flow preserving an infinite ergodic invariant Radon measure, if its orbit satisfies the conclusion of the ratio ergodic theorem for every pair of continuous functions with compact support and non-zero integrals. The generic points for horocycle flows on hyperbolic surfaces of finite genus are understood, but there are no results in infinite genus. We give such a result, by characterizing the generic points for $\Z^d$--covers.

math.DS↗