In this article, we continue the structural study of factor maps betweeen symbolic dynamical systems and the relative thermodynamic formalism. Here, one is studying a factor map from a shift of finite type $X$ (equipped with a potential function) to a sofic shift $Z$, equipped with a shift-invariant measure $ν$. We study relative equilibrium states, that is shift-invariant measures on $X$ that push forward under the factor map to $ν$ which maximize the relative pressure: the relative entropy plus the integral of $ϕ$.
In the non-relative case (where $Z$ is the one point shift and the factor map is trivial), these measures have a very broad range of application: in hyperbolic dynamics, information theory, geometry, Teichmüller theory and elsewhere). Relative equilibrium states have also been shown to arise naturally in some contexts in geometric measure theory as a description of measures achieving the Hausdorff dimension in ambient spaces. Previous articles have identified relative versions of well-known notions of degree appearing in one-dimensional symbolic settings, and established bounds in terms of these on the number of ergodic relative equilibrium states.
In this paper, we establish a new connection to multiplicative ergodic theory by relating these factor triples to a cocycle of Ruelle Perron-Frobenius operators, and showing that the principal Lyapunov exponent of this cocycle is the relative pressure; and the dimension of the leading Oseledets space is equal to the number of measures of relative maximal entropy, counted with a previously-identified concept of multiplicity.
A result for subadditive ergodic cocycles is proved that provides more delicate information than Kingman's subadditive ergodic theorem. As an application we deduce a multiplicative ergodic theorem generalizing an earlier result of Karlsson-Ledrappier, showing that the growth of a random product of semi-contractions is always directed by some horofunction. We discuss applications of this result to ergodic cocycles of bounded linear operators, holomorphic maps and topical operators, as well as a random mean ergodic theorem.
A volume growth-based proof of the Multiplicative Ergodic Theorem for Banach spaces is presented, following the approach of Ruelle for cocycles acting on a Hilbert space. As a consequence, we obtain a volume growth interpretation for the Lyapunov exponents of a Banach space cocycle.
For linear random dynamical systems in a separable Banach space $X$, we derived a series of Krein-Rutman type Theorems with respect to co-invariant cone family with rank-$k$, which present a (quasi)-equivalence relation between the measurably co-invariant cone family and the measurably dominated splitting of $X$. Moreover, such (quasi)-equivalence relation turns out to be an equivalence relation whenever (i) $k=1$; or (ii) in the frame of the Multiplicative Ergodic Theorem with certain Lyapunov exponent being greater than the negative infinity. For the second case, we thoroughly investigated t…
The Oseledets Multiplicative Ergodic theorem is a basic result with numerous applications throughout dynamical systems. These notes provide an introduction to this theorem, as well as subsequent generalizations. They are based on lectures at summer schools in Brazil, France, and Russia.
The classical Multiplicative Ergodic Theorem (MET) of Oseledets is generalized here to cocycles taking values in a semi-finite von Neumann algebra. This allows for a continuous Lyapunov distribution.
We show that singular stochastic delay differential equations (SDDEs) induce cocycle maps on a field of Banach spaces. A general Multiplicative Ergodic Theorem on fields of Banach spaces is proved and applied to linear SDDEs. In Part II of this article, we use our results to prove a stable manifold theorem for non-linear singular SDDEs.
We establish a "diagonal" ergodic theorem involving the additive and multiplicative groups of a countable field $K$ and, with the help of a new variant of Furstenberg's correspondence principle, prove that any "large" set in $K$ contains many configurations of the form $\{x+y,xy\}$. We also show that for any finite coloring of $K$ there are many $x,y\in K$ such that $x,x+y$ and $xy$ have the same color. Finally, by utilizing a finitistic version of our main ergodic theorem, we obtain combinatorial results pertaining to finite fields. In particular we obtain an alternative proof for a result ob…
We show that the cubic nonconventional ergodic averages of any order with a bounded multiplicative function weight converge almost surely to zero provided that the multiplicative function satisfies a strong Daboussi-Delange condition. We further obtain that the Cesàro mean of the self-correlations and some moving average of the self-correlations of such multiplicative functions converge to zero. Our proof gives, for any $N \geq 2$, $$\frac1{N}\sum_{m=1}^{N}\Big|\frac1{N}\sum_{n=1}^{N} \bnu(n) \bnu(n+m)\Big| \leq \frac{C}{\log(N)^ε},$$ and $$\frac1{N^2}\sum_{n,p=1}^{N}\Big|\frac1{N}\sum_{m=1}^{…
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 define the Lyapunov exponents of such a cocycle with respect to a harmonic probability measure directed by the lamination. We also prove an Oseledec multiplicative ergodic theorem in this context. This theorem implies the existence of an Oseledec decomposition almost everywhere w…
We study the asymptotic properties of the trajectories of a discrete-time random dynamical system in an infinite-dimensional Hilbert space. Under some natural assumptions on the model, we establish a multiplica-tive ergodic theorem with an exponential rate of convergence. The assumptions are satisfied for a large class of parabolic PDEs, including the 2D Navier--Stokes and complex Ginzburg--Landau equations perturbed by a non-degenerate bounded random kick force. As a consequence of this er-godic theorem, we derive some new results on the statistical properties of the trajectories of the under…
We study correlations of multiplicative functions taken along deterministic sequences and sequences that satisfy certain linear independence assumptions. The results obtained extend recent results of Tao and Teräväinen and results of the author. Our approach is to use tools from ergodic theory in order to effectively exploit feedback from analytic number theory. The results on deterministic sequences crucially use structural properties of measure preserving systems associated with bounded multiplicative functions that were recently obtained by the author and Host. The results on independent se…
Motivated from the study of multiple ergodic average, the investigation of multiplicative shift spaces has drawn much of interest among researchers. This paper focuses on the relation of topologically mixing properties between multiplicative shift spaces and traditional shift spaces. Suppose that $\mathsf{X}_Ω^{(l)}$ is the multiplicative subshift derived from the shift space $Ω$ with given $l > 1$. We show that $\mathsf{X}_Ω^{(l)}$ is (topologically) transitive/mixing if and only if $Ω$ is extensible/mixing. After introducing $l$-directional mixing property, we derive the equivalence between …
We establish results with an arithmetic flavor that generalize the polynomial multidimensional Szemeredi theorem and related multiple recurrence and convergence results in ergodic theory. For instance, we show that in all these statements we can restrict the implicit parameter to those integers that have an even number of distinct prime factors, or satisfy any other congruence condition. In order to obtain these refinements we study the limiting behavior of some closely related multiple ergodic averages with weights given by appropriately chosen multiplicative functions. These averages are the…
We prove a structural result for measure preserving systems naturally associated with any finite collection of multiplicative functions that take values on the complex unit disc. We show that these systems have no irrational spectrum and their building blocks are Bernoulli systems and infinite-step nilsystems. One consequence of our structural result is that strongly aperiodic multiplicative functions satisfy the logarithmically averaged variant of the disjointness conjecture of Sarnak for a wide class of zero entropy topological dynamical systems, which includes all uniquely ergodic ones. We …
It is shown that the cubic nonconventional ergodic averages of any order with a bounded aperiodic multiplicative function or von Mangoldt weights converge almost surely.
It follows from Oseledec Multiplicative Ergodic Theorem (or Kingmans Subadditional Ergodic Theorem) that the Lyapunov-irregular set of points for which the Oseledec averages of a given continuous cocycle diverge has zero measure with respect to any invariant probability measure. In strong contrast, for any dynamical system f with exponential specification property and a Holder continuous matrix cocycle A, we show here that if there exist ergodic measures with different Lyapunov spectrum, then the Lyapunov-irregular set of A displays distributional chaos of type 1.
It follows from Oseledec Multiplicative Ergodic Theorem (or Kingman's Sub-additional Ergodic Theorem) that the set of `non-typical' points for which the Oseledec averages of a given continuous cocycle diverge has zero measure with respect to any invariant probability measure. In strong contrast, for any H$\ddot{o}$der continuous cocycles over hyperbolic systems, in this article we show that either all ergodic measures have same Maximal Lyapunov exponents or the set of Lyapunov `non-typical' points have full topological entropy and packing topological entropy. Moreover, we give an estimate of B…
This paper first studies the measure theoretic pressure of measures that are not necessarily ergodic. We define the measure theoretic pressure of an invariant measure (not necessarily ergodic) via the Carathéodory-Pesin structure described in \cite{Pes97}, and show that this quantity is equal to the essential supremum of the free energy of the measures in an ergodic decomposition. To the best of our knowledge, this formula is new even for entropy. Meanwhile, we define the measure theoretic pressure in another way by using separated sets, it is showed that this quantity is exactly the free ener…
We generalize a result of Matomäki, Radziwiłł, and Tao, by proving an averaged version of a conjecture of Chowla and a conjecture of Elliott regarding correlations of the Liouville function, or more general bounded multiplicative functions, with shifts given by independent polynomials in several variables. A new feature is that we recast the problem in ergodic terms and use a multiple ergodic theorem to prove it; its hypothesis is verified using recent results by Matomäki and Radziwiłł on mean values of multiplicative functions on typical short intervals. We deduce several consequences about p…
It follows from Oseledec Multiplicative Ergodic Theorem that the Lyapunov-irregular set of points for which the Oseledec averages of a given continuous cocycle diverge has zero measure with respect to any invariant probability measure. In strong contrast, for any dynamical system $f:X\rightarrow X$ with exponential specification property and a H$\ddot{\text{o}}$lder continuous matrix cocycle $A:X\rightarrow G (m,\mathbb{R})$, we show here that if there exist ergodic measures with different Lyapunov spectrum, then the Lyapunov-irregular set of $A$ is residual (i.e., containing a dense $G_δ$ set…
Upper semi-continuity of random attractors and existence of invariant measures for nonlocal stochastic Swift-Hohenberg equation with multiplicative noise
We study two properties of nonsingular and infinite measure-preserving ergodic systems: weak double ergodicity, and ergodicity with isometric coefficients. We show that there exist infinite measure-preserving transformations that are ergodic with isometric coefficients but are not weakly doubly ergodic. We also give type $\text{III}_λ$ examples of such systems, $0<λ\leq 1$. We prove that under certain hypotheses, systems that are weakly mixing are ergodic with isometric coefficients and along the way we give an example of a uniformly rigid topological dynamical system along the sequence $(n_i)…
We develop a model-theoretic framework for the study of distal factors of strongly ergodic, measure-preserving dynamical systems of countable groups. Our main result is that all such factors are contained in the (existential) algebraic closure of the empty set. This allows us to recover some rigidity results of Ioana and Tucker-Drob as well as prove some new ones: for example, that strongly ergodic, distal systems are coalescent and that every two such systems that are weakly equivalent are isomorphic. We also prove the existence of a universal distal, ergodic system that contains any other di…
By establishing Multiplicative Ergodic Theorem for commutative transformations on a separable infinite dimensional Hilbert space, in this paper, we investigate Pesin's entropy formula and SRB measures of a finitely generated random transformations on such space via its commuting generators. Moreover, as an application, we give a formula of Friedland's entropy for certain $C^{2}$ $\mathbb{N}^2$-actions.
This short survey is aimed at sketching the ergodic-theoretic aspects of the author's recent studies on Weyl's eigenvalue asymptotics for a \emph{"geometrically canonical" Laplacian} defined by the author on some self-conformal circle packing fractals including the classical \emph{Apollonian gasket}. The main result being surveyed is obtained by applying Kesten's renewal theorem [\emph{Ann.\ Probab.}\ \textbf{2} (1974), 355--386, Theorem 2] for functionals of Markov chains on general state spaces and provides an alternative probabilistic proof of the result by Oh and Shah [\emph{Invent.\ Math.…
We study properties of arithmetic sets coming from multiplicative number theory and obtain applications in the theory of uniform distribution and ergodic theory. Our main theorem is a generalization of Kátai's orthogonality criterion. Here is a special case of this theorem: Let $a\colon\mathbb{N}\to\mathbb{C}$ be a bounded sequence satisfying $$ \sum_{n\leq x} a(pn)\overline{a(qn)} = {\rm o}(x),~\text{for all distinct primes $p$ and $q$.} $$ Then for any multiplicative function $f$ and any $z\in\mathbb{C}$ the indicator function of the level set $E=\{n\in\mathbb{N}:f(n)=z\}$ satisfies $$ \sum_…
We extend the theory of ergodic optimization and maximizing measures to the non-commutative field of C*-dynamical systems. We then employ this ergodic optimization machinery to provide an alternate characterization of unique erogdicity of C*-dynamical systems when the resident group action satisfies certain Choquet-theoretic assumptions.
The ergodic decomposition theorem is a cornerstone result of dynamical systems and ergodic theory. It states that every invariant measure on a dynamical system is a mixture of ergodic ones. Here we formulate and prove the theorem in terms of string diagrams, using the formalism of Markov categories. We recover the usual measure-theoretic statement by instantiating our result in the category of stochastic kernels. Along the way we give a conceptual treatment of several concepts in the theory of deterministic and stochastic dynamical systems. In particular, - ergodic measures appear very natural…
