This paper is a study of Glasner's definition of quasi-factors in the setting of infinite-measure preserving system. The existence of a system with zero Krengel entropy and a quasi-factor with positive entropy is obtained. On the other hand, relative zero-entropy for conservative systems implies relative zero-entropy of any quasi-factor with respect to its natural projection onto the factor. This extends (and is based upon) results of Glasner, Thouvenot and Weiss. Following and extending Glasner and Weiss, we also prove that any conservative measure preserving system with positive entropy in the sense of Danilenko and Rudolph admits any probability preserving system with positive entropy as a factor. Some applications and connections with Poisson-suspensions are presented.
We define "slow" entropy invariants for Z^2 actions on infinite measure spaces, which measures growth of itineraries at subexponential scales. We use this to construct infinite-measure preserving Z^2 actions which cannot be realized as a group of diffeomorphisms of a compact manifold preserving a Borel measure, contrary to the situation for Z-actions, where every infinite-measure preserving action can be realized in this way.
We prove that multiple-recurrence and polynomial-recurrence of invertible infinite measure preserving transformations are both properties which pass to extensions.
The concept of a uniform set is introduced for an ergodic, measure-preserving transformation on a non-atomic, infinite Lebesgue space. The uniform sets exist as much as they generate the underlying $σ$-algebra. This leads to the result that any ergodic, measure-preserving transformation on a non-atomic, infinite Lebesgue space is isomorphic to a minimal homeomorphism on a locally compact metric space which admits a unique, up to scaling, invariant Radon measure.
We introduce concepts of Radon MSJ and Radon disjointness for infinite Radon measure preserving homeomorphisms of the locally compact Cantor space. We construct an uncountable family of pairwise Radon disjoint infinite Chacon like transformations. Every such transformation is Radon strictly ergodic, totally ergodic, asymmetric (not isomorphic to its inverse), has Radon MSJ and possesses Radon joinings whose ergodic components are not joinings.
The purpose of this paper is to establish mixing rates for infinite measure preserving almost Anosov diffeomorphisms on the two-dimensional torus. The main task is to establish regular variation of the tails of the first return time to the complement of a neighbourhood of the neutral fixed point.
We discuss multiple versions of rational ergodicity and rational weak mixing for "nice" transformations, including Markov shifts, certain interval maps and hyperbolic geodesic flows. These properties entail multiple recurrence.
We solve the question of the existence of a Poisson-Pinsker factor for conservative ergodic infinite measure preserving action of a countable amenable group by proving the following dichotomy: either it has totally positive Poisson entropy (and is of zero type), or it possesses a Poisson-Pinsker factor. If G is abelian and the entropy positive, the spectrum is absolutely continuous (Lebesgue countable if G=\mathbb{Z}) on the whole L^{2}-space in the first case and in the orthocomplement of the L^{2}-space of the Poisson-Pinsker factor in the second.
Given $k>0$ and an Abelian countable discrete group $G$ with elements of infinite order, we construct $(i)$ rigid funny rank-one infinite measure preserving (i.m.p.) $G$-actions of ergodic index $k$, $(ii)$ 0-type funny rank-one i.m.p. $G$-actions of ergodic index $k$, $(iii)$ funny rank-one i.m.p. $G$-actions $T$ of ergodic index 2 such that the product $T\times T^{-1}$ is not ergodic. It is shown that $T\times T^{-1}$ is conservative for each funny rank-one $G$-action $T$.
We introduce high staircase infinite measure preserving transformations and prove that they are mixing under a restricted growth condition. This is used to (i) realize each subset $E\subset\Bbb N\cup\{\infty\}$ as the set of essential values of the multiplicity function for the Koopman operator of a mixing ergodic infinite measure preserving transformation, (ii) construct mixing power weakly mixing infinite measure preserving transformations, (iii) construct mixing Poissonian automorphisms with a simple spectrum, etc.
We define directional recurrence for infinite measure preserving Z^d actions both intrinsically and via the unit suspension flow and prove that the two definitions are equivalent. We study the structure of the set of recurrent directions and show it is always a G_delta set. We construct an example of a recurrent action with no recurrent directions, answering a question posed in a 2007 paper of Daniel J. Rudolph. We also show by example that it is possible for a recurrent action to not be recurrent in an irrational direction even if all its sub-actions are recurrent.
Each subset $E\subset\Bbb N$ is realized as the set of essential values of the multiplicity function for the Koopman operator of an ergodic conservative infinite measure preserving transformation.
We investigate ergodic theory of Poisson suspensions. In the process, we establish close connections between finite and infinite measure preserving ergodic theory. Poisson suspensions thus provide a new approach to infinite measure preserving ergodic theory. Fields investigated here are mixing properties, spectral theory, joinings. We also compare Poisson suspensions to the apparently similar looking Gaussian dynamical systems.
In this paper, we consider chaotic dynamics and variational structures of area-preserving maps. There is a lot of study on dynamics of their maps and the works of Poincare and Birkhoff are well-known. To consider variational structures of area-preserving maps, we define a special class of area-preserving maps called monotone twist maps. Variational structures determined from twist maps can be used for constructing characteristic trajectories of twist maps. Our goal is to define the variational structure such as giving infinite transition orbits through minimizing methods.
It is shown that a locally compact second countable group $G$ has the Haagerup property if and only if there exists a sharply weak mixing 0-type measure preserving free $G$-action $T=(T_g)_{g\in G}$ on an infinite $σ$-finite standard measure space $(X,μ)$ admitting an exhausting $T$-Følner sequence (i.e. a sequence $(A_n)_{n=1}^\infty$ of measured subsets of finite measure such that $A_1\subset A_2\subset\cdots$, $\bigcup_{n=1}^\infty A_n=X$ and $\lim_{n\to\infty}\sup_{g\in K}\frac{μ(T_gA_n\triangle A_n)}{μ(A_n)}= 0$ for each compact $K\subset G$). It is also shown that a pair of groups $H\sub…
Let $Γ$ be a lattice in a simply connected nilpotent Lie group $G$. Given an infinite measure preserving action $T$ of $Γ$ and a "direction" in $G$ (i.e. an element $θ$ of the projective space $P(\goth g)$ of the Lie algebra $\goth g$ of $G$), some notions of recurrence and rigidity for $T$ along $θ$ are introduced. It is shown that the set of recurrent directions $\Cal R(T)$ and the set of rigid directions for $T$ are both $G_δ$. In the case where $G=\Bbb R^d$ and $Γ=\Bbb Z^d$, we prove that (a) for each $G_δ$-subset $Δ$ of $P(\goth g)$ and a countable subset $D\subsetΔ$, there is a rank-one …
We study the rich behavior of ergodicity and conservativity of Cartesian products of infinite measure preserving transformations. A class of transformations is constructed such that for any subset $R\subset \mathbb Q\cap (0,1)$ there exists $T$ in this class such that $T^p\times T^q$ is ergodic if and only if $\frac{p}{q} \in R$. This contrasts with the finite measure preserving case where $T^p\times T^q$ is ergodic for all nonzero $p$ and $q$ if and only if $T\times T$ is ergodic. We also show that our class is rich in the behavior of conservative products. For each positive integer $k$, a fa…
We consider conservative ergodic measure preserving transformations on infinite measure spaces and investigate the asymptotic behaviour of distorted return time processes with respect to sets satisfying a type of Darling-Kac condition. We identify two critical cases for which we prove uniform distribution laws. For this we introduce the notion of uniformly returning sets and discuss some of their properties.
Recently Gambaudo and Ghys proved that there exist infinitely many quasi-morphisms on the group ${\rm Diff}_Ω^\infty (D^2, \partial D^2)$ of area-preserving diffeomorphisms of the 2-disk $D^2$. For the proof, they constructed a homomorphism from the space of quasi-morphisms on the braid group to the space of quasi-morphisms on ${\rm Diff}_Ω^\infty (D^2, \partial D^2)$. In this paper, we study the homomorphism and prove its injectivity.
We study convergence of return- and hitting-time distributions of small sets $E_{k}$ with $μ(E_{k})\rightarrow0$ in recurrent ergodic dynamical systems preserving an infinite measure $μ$. Some properties which are easy in finite measure situations break down in this null-recurrent setup. However, in the presence of a uniform set $Y$ with wandering rate regularly varying of index $1-α$ with $α\in(0,1]$, there is a scaling function suitable for all subsets of $Y$. In this case, we show that return distributions for the $E_{k}$ converge iff the corresponding hitting time distributions do, and we …
In the scope of the statistical description of dynamical systems, one of the defining features of chaos is the tendency of a system to lose memory of its initial conditions (more precisely, of the distribution of its initial conditions). For a dynamical system preserving a probability measure, this property is named `mixing' and is equivalent to the decay of correlations for observables in phase space. For the class of dynamical systems preserving infinite measures, this probabilistic connection is lost and no completely satisfactory definition has yet been found which expresses the idea of lo…
We construct a class of rank-one infinite measure-preserving transformations such that for each transformation $T$ in the class, the cartesian product $T\times T$ of the transformation with itself is ergodic, but the product $T\times T^{-1}$ of the transformation with its inverse is not ergodic. We also prove that the product of any rank-one transformation with its inverse is conservative, while there are infinite measure-preserving conservative ergodic Markov shifts whose product with their inverse is not conservative.
We investigate the scaling of the escape rate from piecewise-linear dynamical systems displaying intermittency due to the presence of an indifferent fixed-point. Strong intermittent behaviour in the dynamics can result in the system preserving an infinite measure. We define a neighbourhood of the indifferent fixed point to be a hole through which points escape and investigate the scaling of the rate of this escape as the length of the hole decreases, both in the finite measure preserving case and infinite measure preserving case. In the infinite measure preserving systems we observe logarithmi…
A rank-one infinite measure preserving flow $T=(T_t)_{t\in\Bbb R}$ is constructed such that for each $t\ne 0$, the Cartesian powers of the transformation $T_t$ are all ergodic.
In this paper, new results concerning the phenomenon of adiabatic trapping into resonance for a class of quasi-integrable maps with a time-dependent exciter are presented and discussed in detail. The applicability of the results about trapping efficiency for Hamiltonian systems to the maps considered is proven by using perturbation theory. This allows determining explicit scaling laws for the trapping properties. These findings represent a generalization of previous results obtained for the case of quasi-integrable maps with parametric modulation as well as an extension of the work by Neishtad…
An infinite word x is said to be quasiperiodic if there exists a finite word q such that x is covered by occurrences of q (such a q is called a quasiperiod of x). Using the notion of derivation, we show that this definition is not sufficient to imply any symmetry in an infinite word. Therefore we introduce multi-scale quasiperiodic words, i.e. quasiperiodic words that admit an infinite number of quasiperiods. Such words are uniformly recurrent, this allows us to study the subshift they generate. We prove that multi-scale quasiperiodic subshifts are uniquely ergodic and have zero topological en…
We show that a certain type of quasi finite, conservative, ergodic, measure preserving transformation always has a maximal zero entropy factor, generated by predictable sets. We also construct a conservative, ergodic, measure preserving transformation which is not quasi finite; and consider distribution asymptotics of information showing that e.g. for Boole's transformation, information is asymptotically mod-normal with square root normalization. Lastly we see that certain ergodic, probability preserving transformations with zero entropy have analogous properties and consequently entropy dimen…
We consider volume-preserving flows $(Φ^f_t)_{t\in\mathbb{R}}$ on $S\times \mathbb{R}$, where $S$ is a closed connected surface of genus $g\geq 2$ and $(Φ^f_t)_{t\in\mathbb{R}}$ has the form $Φ^f_t(x,y)=(ϕ_tx,y+\int_0^t f(ϕ_sx)ds)$, where $(ϕ_t)_{t\in\mathbb{R}}$ is a locally Hamiltonian flow of hyperbolic periodic type on $S$ and $f$ is a smooth real valued function on $S$. We investigate ergodic properties of these infinite measure-preserving flows and prove that if $f$ belongs to a space of finite codimension in $\mathscr{C}^{2+ε}(S)$, then the following dynamical dichotomy holds: if there …
Let $M$ be a closed manifold. Polterovich constructed a linear map from the vector space of quasi-morphisms on the fundamental group $π_{1}(M)$ of $M$ to the space of quasi-morphisms on the identity component ${\rm Diff}_Ω^{\infty} (M)_{0}$ of the group of volume-preserving diffeomorphisms of $M$. In this paper, the restriction $H^{1}(π_{1}(M); {\mathbb R})\to H^{1}({\rm Diff}_Ω^{\infty} (M)_{0} ; {\mathbb R})$ of the linear map is studied and its relationship with the flux homomorphism is described.
We consider a conservative ergodic measure-preserving transformation $T$ of a $σ$-finite measure space $(X,\mathcal{B},μ)$ with $μ(X)=\infty$. Given an observable $f:X\to \mathbb{R}$ we study the almost sure asymptotic behaviour of the Birkhoff sums $S_Nf(x) := \sum_{j=1}^N\, (f\circ T^{j-1})(x)$. In infinite ergodic theory it is well known that the asymptotic behaviour of $S_Nf(x)$ strongly depends on the point $x\in X$, and if $f\in L^1(X,μ)$, then there exists no real valued sequence $(b(N))$ such that $\lim_{N\to\infty} S_Nf(x)/b(N)=1$ almost surely. In this paper we show that for dynamica…
