Monomial mappings, $x\mapsto x^n$, are topologically transitive and ergodic with respect to Haar measure on the unit circle in the complex plane. In this paper we obtain an anologous result for monomial dynamical systems over $p-$adic numbers. The process is, however, not straightforward. The result will depend on the natural number $n$. Moreover, in the $p-$adic case we never have ergodicity on the unit circle, but on the circles around the point 1.
We define a random walk adic transformation associated to an aperiodic random walk on $G=\mathbb{Z}^{k}\times\mathbb{R}^{D-k}$ driven by a $β$-transformation and study its ergodic properties. In particular, this transformation is conservative, ergodic, infinite measure preserving and we prove that it is asymptotically distributionally stable and bounded rationally ergodic. Related earlier work appears in [AS] and [ANSS] for random walk adic transformations associated to an aperiodic random walk driven by a subshift of finite type.
We consider a family of $(2,1)$-rational functions given on the set of $p$-adic field $Q_p$. Each such function has a unique fixed point. We study ergodicity properties of the dynamical systems generated by $(2,1)$-rational functions. For each such function we describe all possible invariant spheres. We characterize ergodicity of each $p$-adic dynamical system with respect to Haar measure reduced on each invariant sphere. In particular, we found an invariant spheres on which the dynamical system is ergodic and on all other invariant spheres the dynamical systems are not ergodic.
There is only one fully supported ergodic invariant probability measure for the adic transformation on the space of infinite paths in the graph that underlies the Eulerian numbers. This result may partially justify a frequent assumption about the equidistribution of random permutations.
We consider $(1,2)$-rational functions given on the field of $p$-adic numbers $\mathbb Q_p$. In general, such a function has four parameters. We study the case when such a function has two fixed points and show that when there are two fixed points then $(1,2)$-rational function is conjugate to a two-parametric $(1,2)$-rational function. Depending on these two parameters we determine the type of the fixed points, find Siegel disks and the basin of attraction of the fixed points. Moreover, we classify invariant sets and study the ergodicity properties of the function on each invariant set. We de…
The Euler graph has vertices labelled (n,k) for n=0,1,2,... and k=0,1,...,n, with k+1 edges from (n,k) to (n+1,k) and n-k+1 edges from (n,k) to (n+1,k+1). The number of paths from (0,0) to (n,k) is the Eulerian number A(n,k), the number of permutations of 1,2,...,n+1 with exactly n-k falls and k rises. We prove that the adic (Bratteli-Vershik) transformation on the space of infinite paths in this graph is ergodic with respect to the symmetric measure.
We introduce a family of adic transformations on diagrams that are nonstationary and nonsimple. This family includes some previously studied adic transformations. We relate the dimension group of each these diagrams to the dynamical system determined by the adic transformation on the infinite edge paths, and we explicitly compute the dimension group for a subfamily. We also determine the ergodic adic invariant probability measures for this subfamily, and show that each system of the subfamily is loosely Bernoulli. We also give examples of particular adic transformations with roots of unity as …
We prove the existence and describe limiting curves resulting from deviations in partial sums in the ergodic theorem for cylindrical functions and polynomial (self-similar) adic systems. For a general ergodic measure-preserving transformation and a summable function we give a necessary condition for a limiting curve to exist. Our work generalizes results by É. Janvresse, T. de la Rue and Y. Velenik and answers several questions from their work.
This paper is devoted to the problem of ergodicity of $p$-adic dynamical systems. Our aim is to present criteria of ergodicity in terms of coordinate functions corresponding to digits in the canonical expansion of $p$-adic numbers. The coordinate representation can be useful, e.g., for applications to cryptography. Moreover, by using this representation we can consider non-smooth $p$-adic transformations. The basic technical toolsare van der Put series and usage of algebraic structure (permutations) induced by coordinate functions with partially frozen variables. We illustrate the basic theore…
For any 1-lipschitz ergodic map $F:\; \mathbb{Z}^{k}_{p} \mapsto \mathbb{Z}^{k}_{p},\;k>1\in\mathbb{N},$ there are 1-lipschitz ergodic map $G:\; \mathbb{Z}_{p} \mapsto \mathbb{Z}_{p}$ and two bijection $H_k$, $T_{k,\;P}$ that $$G = H_{k} \circ T_{k,\;P}\circ F\circ H^{-1}_{k} \text{ and } F = H^{-1}_{k} \circ T_{k,\;P^{-1}}\circ G\circ H_{k}.$$
We describe the set of all $(3,1)$-rational functions given on the set of complex $p$-adic field $\mathbb C_p$ and having a unique fixed point. We study $p$-adic dynamical systems generated by such $(3,1)$-rational functions and show that the fixed point is indifferent and therefore the convergence of the trajectories is not the typical case for the dynamical systems. We obtain Siegel disks of these dynamical systems. Moreover an upper bound for the set of limit points of each trajectory is given. For each $(3,1)$-rational function on $\mathbb C_p$ there is a point $\hat x=\hat x(f)\in \mathbb…
Let $\mathcal L_1$ be the set of all mappings $f\colon\Z_p\Z_p$ of the space of all $p$-adic integers $\Z_p$ into itself that satisfy Lipschitz condition with a constant 1. We prove that the mapping $f\in\mathcal L_1$ is ergodic with respect to the normalized Haar measure on $\Z_p$ if and only if $f$ induces a single cycle permutation on each residue ring $\Z/p^k\Z$ modulo $p^k$, for all $k=1,2,3,...$. The multivariate case, as well as measure-preserving mappings, are considered also. Results of the paper in a combination with earlier results of the author give explicit description of ergodic …
We introduce an adic (Bratteli-Vershik) dynamical system based on a diagram whose path counts from the root are the Delannoy numbers. We identify the ergodic invariant measures, prove total ergodicity for each of them, and initiate the study of the dimension group and other dynamical properties.
The automaton transformation of infinite words over alphabet $\mathbb F_p=\{0,1,\ldots,p-1\}$, where $p$ is a prime number, coincide with the continuous transformation (with respect to the $p$-adic metric) of a ring $\mathbb Z_p$ of $p$-adic integers. The objects of the study are non-Archimedean dynamical systems generated by automata mappings on the space $\mathbb Z_p$. Measure-preservation (with the respect to the Haar measure) and ergodicity of such dynamical systems plays an important role in cryptography (e.g. for pseudorandom generators and stream cyphers design). The possibility to use …
We interpret the Pascal-adic transformation as a generalized induced automorphism (over odometer) and formulate the $σ$-finite analog of odometer which is also known as "Hajian-Kakutani transformation" (former "Ohio state example"). We shortly suggest a sketch of the theory of random walks on the groups on the base of $σ$-finite ergodic theory.
We consider a family of $(2,2)$-rational functions given on the set of complex $p$-adic field $\mathbb{C}_p$. Each such function has a unique fixed point. We study $p$-adic dynamical systems generated by the $(2,2)$-rational functions. We show that the fixed point is indifferent and therefore the convergence of the trajectories is not the typical case for the dynamical systems. Siegel disks of these dynamical systems are found. We obtain an upper bound for the set of limit points of each trajectory, i.e., we determine a sufficiently small set containing the set of limit points. For each $(2,2)…
We study the dynamics of a transformation that acts on infinite paths in the graph associated with Pascal's triangle. For each ergodic invariant measure the asymptotic law of the return time to cylinders is given by a step function. We construct a representation of the system by a subshift on a two-symbol alphabet and then prove that the complexity function of this subshift is asymptotic to a cubic, the frequencies of occurrence of blocks behave in a regular manner, and the subshift is topologically weak mixing.
In this paper we study $p$-adic dynamical systems generated by the function $f(x)={a\over x^2}$ in the set of complex $p$-adic numbers. We find an explicit formula for the $n$-fold composition of $f$ for any $n\geq 1$. Using this formula we give fixed points, periodic points, basin of attraction and Siegel disk of each fixed (periodic) point depending on parameters $p$ and $a$.
In this paper we consider dynamical systems generated by $(3,2)$-rational functions on the field of $p$-adic complex numbers. Each such function has three fixed points. We show that Siegel disks of the dynamical system may either coincide or be disjoint for different fixed points. Also, we find the basin of each attractor of the dynamical system. We show that, for some values of the parameters, there are trajectories which go arbitrary far from the fixed points.
In this paper, we construct a digraph structure on $p$-adic dynamical systems defined by rational functions. We study the conditions under which the functions are measure-preserving, invertible and isometric, ergodic, and minimal on invariant subsets, by means of graph theoretic properties.
In this paper the group structure of the $p$-adic ball and sphere are studied. The dynamical system of isometry defined on invariant sphere is investigated. We define the binary operations $\oplus$ and $\odot$ on a ball and sphere respectively, and prove that this sets are compact topological abelian group with respect to the operations. Then we show that any two balls (spheres) with positive radius are isomorphic as groups. We prove that the Haar measure introduced in $\mathbb Z_p$ is also a Haar measure on an arbitrary balls and spheres. We study the dynamical system generated by the isometr…
In this paper we investigate the behavior of trajectories of one class of rational $p$-adic dynamical systems in complex $p$-adic field $\C_p$. We studied Siegel disks and attractors of such dynamical systems. We found the basin of the attractor of the system. It is proved that such dynamical systems are not ergodic on a unit sphere with respect to the Haar measure.
We show that any $(1,2)$-rational function with a unique fixed point is topologically conjugate to a $(2,2)$-rational function or to the function $f(x)={ax\over x^2+a}$. The case $(2,2)$ was studied in our previous paper, here we study the dynamical systems generated by the function $f$ on the set of complex $p$-adic field $\mathbb C_p$. We show that the unique fixed point is indifferent and therefore the convergence of the trajectories is not the typical case for the dynamical systems. We construct the corresponding Siegel disk of these dynamical systems. We determine a sufficiently small set…
In this paper, we study the multiple ergodic averages of a locally constant real-valued function in linear Cookie-Cutter dynamical systems. The multifractal spectrum of these multiple ergodic averages is completely determined.
A homographic map in the field of $p$-adic numbers $\mathbb{Q}_p}$ is studied as a dynamical system on $\mathbb{P}^{1}(\mathbb{Q}_p)$, the projective line over $\mathbb{Q}_p$. If such a system admits one or two fixed points in $\mathbb{Q}_p$, then it is conjugate to an affine dynamics whose dynamical structure has been investigated by Fan and Fares. In this paper, we shall mainly solve the remaining case that the system admits no fixed point. We shall prove that this system can be decomposed into a finite number of minimal subsystems which are topologically conjugate to each other. All the min…
We consider stationary stochastic dynamical systems evolving on a compact metric space, by perturbing a deterministic dynamics with a random noise, added according to an arbitrary probabilistic distribution. We prove the maximal and pointwise ergodic theorems for the transfer operators associated to such systems. The results are extensions to noisy systems of some of the fundamental ergodic theorems for deterministic systems.
An S-adic expansion of an infinite word is a way of writing it as the limit of an infinite product of substitutions (i.e., morphisms of a free monoid). Such a description is related to continued fraction expansions of numbers and vectors. A fundamental example of this relation is between Sturmian sequences and regular continued fractions. We study S-adic words from different perspectives, namely word combinatorics, ergodic theory, and Diophantine approximation, by stressing the parallel with continued fraction expansions.
In the paper we investigate the behavior of trajectory of rational $p$-adic dynamical system in complex $p$-adic filed $\C_p$. It is studied Siegel disks and attractors of such dynamical systems. We show that Siegel disks may either coincide or disjoin for different fixed points of the dynamical system. Besides, we find the basin of the attractor of the system. It is proved that such kind of dynamical system is not ergodic on a unit sphere with respect to the Haar measure.
For a dynamical system satisfying the approximate product property and asymptotically entropy expansiveness, we characterize a delicate structrue of the space of invariant measures: The ergodic measures of intermediate entropies and intermediate pressures are generic in certain subspaces. This proves a conjecture of Katok for a broad class of systems and extends a sequence of known results.
We give sufficient conditions for intervals $(a,b)$ such that the associated open dynamical system for the doubling map is intrinsically ergodic. We also show that the set of parameters $(a,b) \in (\frac{1}{4}, \frac{1}{2}) \times (\frac{1}{2},\frac{3}{4})$ such that the attractor $(Λ_{(a,b)}, f_{(a,b)})$ is intrinsically ergodic has full Lebesgue measure and we construct a set of points where intrinsic ergodicity does not hold.
We consider a family of $(2,2)$-rational functions given on the set of complex $p$-adic field $\mathcal{C}_p$. Each such function $f$ has the two distinct fixed points $x_1=x_1(f)$, $x_2=x_2(f)$. We study $p$-adic dynamical systems generated by the $(2,2)$-rational functions. We prove that $x_1$ is always indifferent fixed point for $f$, i.e., $x_1$ is a center of some Siegel disk $SI(x_1)$. Depending on the parameters of the function $f$, the type of the fixed point $x_2$ may be any possibility: indifferent, attractor, repeller. We find Siegel disk or basin of attraction of the fixed point $x…
In the paper we describe basin of attraction and the Siegel discs of the $p$-adic dynamical system $f(x)=x^{2n+1}+ax^{n+1}$ over complex $p$-adic field.
An (asynchronous) automaton transformation of one-sided infinite words over p-letter alphabet Fp = Z/pZ, where p is a prime, is a continuous transformation (w.r.t. the p-adic metric) of the ring of p-adic integers Zp. Moreover, an automaton mapping generates a non-Archimedean dynamical system on Zp. Measure-preservation and ergodicity (w.r.t. the Haar measure) of such dynamical systems play an important role in cryptography (e.g., in stream cyphers). The aim of this paper is to present a novel way of realizing a complex shift in p-adics. In particular, we introduce conditions on the Mahler exp…
We investigate the behavior of trajectories of a $(3,2)$-rational $p$-adic dynamical system in the complex $p$-adic filed ${\mathbb C}_p$, when there exists a unique fixed point $x_0$. We study this $p$-adic dynamical system by dynamics of real radiuses of balls (with the center at the fixed point $x_0$). We show that there exists a radius $r$ depending on parameters of the rational function such that: when $x_0$ is an attracting point then the trajectory of an inner point from the ball $U_r(x_0)$ goes to $x_0$ and each sphere with a radius $>r$ (with the center at $x_0$) is invariant; When $x…
In this paper we study measurable dynamics for the widest reasonable class of smooth one dimensional maps. Three principle decompositions are described in this class : decomposition of the global measure-theoretical attractor into primitive ones, ergodic decomposition and Hopf decomposition. For maps with negative Schwarzian derivative this was done in the series of papers [BL1-BL5], but the approach to the general smooth case must be different.
For a continuous semicascade on a metrizable compact set $Ω$, we consider the weak$^{*}$ convergence of generalized operator ergodic means in ${\rm End}\, \, C^{*} (Ω)$. We discuss conditions on the dynamical system under which (a) every ergodic net contains a convergent subsequence; (b) all ergodic nets converge; (c) all ergodic sequences converge. We study the relationships between the convergence of ergodic means and the properties of transitivity of the proximality relation on $Ω$, minimality of supports of ergodic measures, and uniqueness of minimal sets in the closure of trajectories of …
We study the problem on the weak-star decomposability of a topological $\mathbb{N}_{0}$-dynamical system $(Ω,φ)$, where $φ$ is an endomorphism of a metric compact set $Ω$, into ergodic components in terms of the associated enveloping semigroups. In the tame case (where the Ellis semigroup $E(Ω,φ)$ consists of $B_{1}$-transformations $Ω\rightarrow Ω$), we show that (i) the desired decomposition exists for an appropriate choice of the generalized sequential averaging method; (ii) every sequence of weighted ergodic means for the shift operator $x\rightarrow x\circφ$, $x\in C(Ω)$, contains a point…
In this paper, we show that for several interesting systems beyond uniform hyperbolicity, any generic continuous function has a unique maximizing measure with zero entropy. In some cases, we also know that the maximizing measure has full support. These interesting systems including singular hyperbolic attractors, $C^\infty$ surface diffeomorphisms and diffeomorphisms away from homoclinic tangencies.
The Krieger generator theorem says that every invertible ergodic measure-preserving system with finite measure-theoretic entropy can be embedded into a full shift with strictly greater topological entropy. We extend Krieger's theorem to include toral automorphisms, and more generally, any topological dynamical system on a compact metric space that satisfies almost weak specification, asymptotic entropy expansiveness, and the small boundary property. As a corollary, one obtains a complete solution to a natural generalization of an open problem in Halmos's 1956 book regarding an isomorphism inva…
Ergodic optimization is the study of problems relating to maximizing orbits, maximizing invariant measures and maximum ergodic averages. An orbit of a dynamical system is called f-maximizing if the time average of the real-valued function f along the orbit is larger than along all other orbits, and an invariant probability measure is called f-maximizing if it gives f a larger space average than does any other invariant probability measure. In this survey we consider the main strands of ergodic optimization, beginning with an influential model problem, and the interpretation of ergodic optimiza…
In the paper we describe basin of attraction $p$-adic dynamical system $G(x)=(ax)^2(x+1)$. Moreover, we also describe the Siegel discs of the system, since the structure of the orbits of the system is related to the geometry of the $p$-adic Siegel discs.
A polynomial of degree $\ge 2$ with coefficients in the ring of $p$-adic numbers $\mathbb{Z}_p$ is studied as a dynamical system on $\mathbb{Z}_p$. It is proved that the dynamical behavior of such a system is totally described by its minimal subsystems. For an arbitrary quadratic polynomial on $\mathbb{Z}_2$, we exhibit all its minimal subsystems.
We consider arbitrary orderings of the edges entering each vertex of the (downward directed) Pascal graph. Each ordering determines an adic (Bratteli-Vershik) system, with a transformation that is defined on most of the space of infinite paths that begin at the root. We prove that for every ordering the coding of orbits according to the partition of the path space determined by the first three edges is essentially faithful, meaning that it is one-to-one on a set of paths that has full measure for every fully supported invariant probability measure. We also show that for every $k$ the subshift …
In the paper we describe basin of attraction of the $p$-adic dynamical system $f(x)=x^3+ax^2$. Moreover, we also describe the Siegel discs of the system, since the structure of the orbits of the system is related to the geometry of the $p$-adic Siegel discs.
The article presents a new perspective on the isomorphism problem for non-ergodic measure-preserving dynamical systems with discrete spectrum which is based on the connection between ergodic theory and topological dynamics constituted by topological models. By first solving the isomorphism problem for a certain class of topological dynamical systems, it is shown that the measure-preserving case can in fact be deduced from the topological one via the construction of topological models. As a byproduct, a new characterization of mean ergodicity for topological dynamical systems is obtained.
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…
We give a formula for generalized Eulerian numbers, prove monotonicity of sequences of certain ratios of the Eulerian numbers, and apply these results to obtain a new proof that the natural symmetric measure for the Bratteli-Vershik dynamical system based on the Euler graph is the unique fully supported invariant ergodic Borel probability measure. Key ingredients of the proof are a two-dimensional induction argument and a one-to-one correspondence between most paths from two vertices at the same level to another vertex.
We generalize the proof of Karamata's Theorem by the method of approximation by polynomials to the operator case. As a consequence, we offer a simple proof of \emph{uniform dual ergodicity} for a very large class of dynamical systems with infinite measure, and we obtain bounds on the convergence rate. In many cases of interest, including the Pomeau-Manneville family of intermittency maps, the estimates obtained through real Tauberian remainder theory are very weak. Building on the techniques of complex Tauberian remainder theory, we develop a method that provides \emph{second (and higher) orde…
Using $p$-adic numbers, we partially categorize the cycles of a sizable class of polynomial dynamical systems. In turn, we prove a few results related to the non-trivial cycles of the $\textit{Collatz map}$ $\text{Col} : \mathbb{Z}_+ \to \mathbb{Z}_+$ defined by $$\text{Col}(n) = \begin{cases} 3n + 1, & n \text{ is odd;} \\ n/2, & \text{otherwise.}\end{cases}$$ Proving the non-existence of non-trivial Collatz cycles would reduce the Collatz conjecture to whether the Collatz map can diverge to infinity.
To a dynamical system is attached a non-negative real number called entropy. In 1990, Lind, Schmidt and Ward proved that the entropy for the dynamical system induced by the Laurent polynomial algebra over the ring of the rational integers is described by the Mahler measure. In 2009, Deninger introduced the $p$-adic entropy and obtained a $p$-adic analogue of Lind-Schmidt-Ward's theorem by using the $p$-adic Mahler measures. In this paper, we prove the existence and the explicit formula about $p$-adic entropies for two dynamical systems; one is induced by the Laurent polynomial algebra over the…
We consider a direct product of a suspension flow over a substitution dynamical system and an arbitrary ergodic flow and give quantitative estimates for the speed of convergence for ergodic integrals of such systems. Our argument relies on new uniform estimates of the spectral measure for suspension flows over substitution dynamical systems. The paper answers a question by Jon Chaika.
