Showing 1–50 of 61 results for author: Rams, M

Self-affine sponges with random contractions

Authors: Balázs Bárány, Antti Käenmäki, Michał Rams

Abstract: We compute the almost sure Hausdorff dimension of random self-affine sponges in $\mathbb{R}^d$ without imposing any separation conditions. In this context, randomness arises from the matrices in the defining semigroup, which are random yet the corresponding affine maps share a fixed point. We compute the almost sure Hausdorff dimension of random self-affine sponges in $\mathbb{R}^d$ without imposing any separation conditions. In this context, randomness arises from the matrices in the defining semigroup, which are random yet the corresponding affine maps share a fixed point. △ Less

Submitted 7 May, 2025; originally announced May 2025.

Comments: 24 pages, 7 figures

MSC Class: Primary 28A80; 37C45; Secondary 60D05

Full flexibility of entropies among ergodic measures for partially hyperbolic diffeomorphisms

Authors: Lorenzo J. Díaz, Katrin Gelfert, Michal Rams, Jinhua Zhang

Abstract: We study nonhyperbolic and transitive partially hyperbolic diffeomorphisms having a one-dimensional center. We prove joint flexibility with respect to entropy and center Lyapunov exponent for a broad class of these systems. Flexibility means that for any given value of the center Lyapunov exponent and any value of entropy less than the supremum of entropies of ergodic measures with that exponent,… ▽ More We study nonhyperbolic and transitive partially hyperbolic diffeomorphisms having a one-dimensional center. We prove joint flexibility with respect to entropy and center Lyapunov exponent for a broad class of these systems. Flexibility means that for any given value of the center Lyapunov exponent and any value of entropy less than the supremum of entropies of ergodic measures with that exponent, there is an ergodic measure with exactly this entropy and exponent. Our hypotheses involve minimal foliations and blender-horseshoes, they formalize the interplay between two regions of the ambient space, one of center expanding and the other of center contracting type. The list of examples our results apply is rather long, a non-exhaustive list includes fibered by circles, flow-type, some Derived from Anosov diffeomorphisms, and some anomalous (non-dynamically coherent) diffeomorphisms. △ Less

Submitted 5 May, 2025; originally announced May 2025.

Comments: 58 pages, 3 figures

MSC Class: 37D25; 37D35; 37D30; 28D20; 28D99

Smoothness of random self-similar measures on the line and the existence of interior points

Authors: Balázs Bárány, Michał Rams

Abstract: In this paper, we study the smoothness of the density function of absolutely continuous measures supported on random self-similar sets on the line. We show that the natural projection of a measure with symbolic local dimension greater than 1 at every point is absolutely continuous with Hölder continuous density almost surely. In particular, if the similarity dimension is greater than 1 then the ra… ▽ More In this paper, we study the smoothness of the density function of absolutely continuous measures supported on random self-similar sets on the line. We show that the natural projection of a measure with symbolic local dimension greater than 1 at every point is absolutely continuous with Hölder continuous density almost surely. In particular, if the similarity dimension is greater than 1 then the random self-similar set on the line contains an interior point almost surely. △ Less

Submitted 18 May, 2025; v1 submitted 8 December, 2024; originally announced December 2024.

MSC Class: 28A80 60G30 60G57

Basic thermodynamical formalism for sandwich subshifts

Authors: Joanna Kułaga-Przymus, Michał D. Lemańczyk, Michał Rams

Abstract: Consider a partial order on $\{0,1\}^{\mathbb Z}: x\leq y$ when $x_i\leq y_i$ for all $i\in\mathbb{Z}$. A subshift $X\subset\{0,1\}^{\mathbb{Z}}$ is hereditary if together with any $x\in \{0,1\}^{\mathbb Z}$ it contains all $y\leq x$. Heuristically speaking, a hereditary subshift contains all the elements between maximal elements (with respect to this partial order) and the element… ▽ More Consider a partial order on $\{0,1\}^{\mathbb Z}: x\leq y$ when $x_i\leq y_i$ for all $i\in\mathbb{Z}$. A subshift $X\subset\{0,1\}^{\mathbb{Z}}$ is hereditary if together with any $x\in \{0,1\}^{\mathbb Z}$ it contains all $y\leq x$. Heuristically speaking, a hereditary subshift contains all the elements between maximal elements (with respect to this partial order) and the element $0^{\mathbb Z}$. In a particular situation when it suffices to take (the orbit closure of) all the elements between a single maximal element $x$ and the element $0^{\mathbb Z}$, we speak of subordinate subshifts. In this paper we investigate measure-theoretic properties of such subshifts, with a special emphasis on thermodynamical formalism. The key notion is a measure-theoretic counterpart of subordinate subshifts, where the role of a single maximal element is replaced with a single (maximal with respect to a certain order) invariant measure on $\{0,1\}^{\mathbb{Z}}$. We also introduce and investigate two-sided analogues of the above classes, we call them {\it sandwich hereditary}, {\it sandwich subordinate} and {\it sandwich measure-theoretically subordinate} subshifts. Sandwich hereditary subshifts can be thought of as sets of elements between some pairs of maximal and minimal elements satisfying certain assumptions. Sandwich subordinate subshifts occur when it suffices to take (the orbit closure of) all the elements between a single pair of sequences $(w,x)$, where $w\leq x$. In sandwich measure-theoretically subordinate subshifts, the role of a pair of sequences is replaced by a pair (precisely speaking: a joining) of two invariant measures on $\{0,1\}^{\mathbb{Z}}$. The notions and results are motivated by those from the theory of so-called $\mathscr{B}$-free systems. △ Less

Submitted 19 February, 2024; originally announced February 2024.

MSC Class: 37B10; 37A35; 37D35; 28D20; 37A05

Loosely Bernoulli zero exponent measures for elliptic matrix cocycles

Authors: L. J. Díaz, K. Gelfert, M. Rams

Abstract: For an open and dense subset of elliptic ${\rm SL}(2,\mathbb R)$ matrix cocycles, we construct a family of loosely Bernoulli ergodic measures with zero top Lyapunov exponent. This provides a counterpart to a classical result by Furstenberg. The construction gives also an $\bar f$-connected set of measures with these properties whose entropies vary continuously from zero to almost the maximal possi… ▽ More For an open and dense subset of elliptic ${\rm SL}(2,\mathbb R)$ matrix cocycles, we construct a family of loosely Bernoulli ergodic measures with zero top Lyapunov exponent. This provides a counterpart to a classical result by Furstenberg. The construction gives also an $\bar f$-connected set of measures with these properties whose entropies vary continuously from zero to almost the maximal possible value. We also obtain an analogous result for an open class of nonhyperbolic step skew products with $\mathbb S^1$ diffeomorphism fiber maps. Our approach combines substitution schemes between finite letter alphabets and differentiable dynamics. △ Less

Submitted 15 November, 2023; originally announced November 2023.

MSC Class: 37A35; 37D25; 15B99

Path-dependent shrinking targets in generic affine iterated function systems

Authors: Henna Koivusalo, Lingmin Liao, Michal Rams

Abstract: We calculate the Hausdorff dimension of path-dependent shrinking target sets in generic affine iterated function systems. Here, by a path-dependent shrinking target set, we mean a set of points whose orbits infinitely often hit small balls with a fixed generic centre and with radius decreasing and dependent on the point itself. It turns out that the Hausdorff dimension of such a set is given by th… ▽ More We calculate the Hausdorff dimension of path-dependent shrinking target sets in generic affine iterated function systems. Here, by a path-dependent shrinking target set, we mean a set of points whose orbits infinitely often hit small balls with a fixed generic centre and with radius decreasing and dependent on the point itself. It turns out that the Hausdorff dimension of such a set is given by the zero point of a certain limsup pressure function. The result generalizes the work of Koivusalo and Ramirez, and Barany and Troscheit, as well as that of Hill and Velani. △ Less

Submitted 11 October, 2022; originally announced October 2022.

Comments: 28 pages

MSC Class: 37B20; 28A80; 37D35

Spectrum of weighted Birkhoff average

Authors: Balázs Bárány, Michał\ Rams, Ruxi Shi

Abstract: Let $\{s_n\}_{n\in\N}$ be a decreasing nonsummable sequence of positive reals. In this paper, we investigate the weighted Birkhoff average $\frac{1}{S_n}\sum_{k=0}^{n-1}s_kφ(T^kx)$ on aperiodic irreducible subshift of finite type $Σ_{\bf A}$ where $φ: Σ_{\bf A}\mapsto \R$ is a continuous potential. Firstly, we show the entropy spectrum of the weighed Birkhoff averages remains the same as that of t… ▽ More Let $\{s_n\}_{n\in\N}$ be a decreasing nonsummable sequence of positive reals. In this paper, we investigate the weighted Birkhoff average $\frac{1}{S_n}\sum_{k=0}^{n-1}s_kφ(T^kx)$ on aperiodic irreducible subshift of finite type $Σ_{\bf A}$ where $φ: Σ_{\bf A}\mapsto \R$ is a continuous potential. Firstly, we show the entropy spectrum of the weighed Birkhoff averages remains the same as that of the Birkhoff averages. Then we calculate the packing spectrum of the weighed Birkhoff averages. It turns out that we can have two cases, either the packing dimension of every level set equals to its Hausdorff dimension or for every nonempty level set it is equal to the packing dimension of the whole space. △ Less

Submitted 7 June, 2022; v1 submitted 8 September, 2021; originally announced September 2021.

Variational principle for nonhyperbolic ergodic measures: Skew products and elliptic cocycles

Authors: Lorenzo J. Díaz, Katrin Gelfert, Michał Rams

Abstract: For a large class of transitive non-hyperbolic systems, we construct nonhyperbolic ergodic measures with entropy arbitrarily close to its maximal possible value. The systems we consider are partially hyperbolic with one-dimension central direction for which there are positive entropy ergodic measures whose central Lyapunov exponent is negative, zero, or positive. We construct ergodic measures with… ▽ More For a large class of transitive non-hyperbolic systems, we construct nonhyperbolic ergodic measures with entropy arbitrarily close to its maximal possible value. The systems we consider are partially hyperbolic with one-dimension central direction for which there are positive entropy ergodic measures whose central Lyapunov exponent is negative, zero, or positive. We construct ergodic measures with zero central Lyapunov exponent whose entropy is positive and arbitrarily close to the topological entropy of the set of points with central Lyapunov exponent zero. This provides a restricted variational principle for nonhyperbolic (zero exponent) ergodic measures. The result is applied to the setting of $\mathrm{SL}(2,\mathbb R)$ matrix cocycles and provides a counterpart to Furstenberg's classical result: for an open and dense subset of elliptic $\mathrm{SL}(2,\mathbb R)$ cocycles we construct ergodic measures with upper Lyapunov exponent zero and with metric entropy arbitrarily close to the topological entropy of the set of infinite matrix products with subexponential growth of the norm. △ Less

Submitted 23 April, 2021; originally announced April 2021.

Comments: 63 pages, 6 figures

MSC Class: 37B10; 37D25; 37D35; 37D30; 28D20; 28D99

On the multifractal spectrum of weighted Birkhoff averages

Authors: Balázs Bárány, Michał Rams, Ruxi Shi

Abstract: In this paper, we study the topological spectrum of weighted Birkhoff averages over aperiodic and irreducible subshifts of finite type. We show that for a uniformly continuous family of potentials, the spectrum is continuous and concave over its domain. In case of typical weights with respect to some ergodic quasi-Bernoulli measure, we determine the spectrum. Moreover, in case of full shift and un… ▽ More In this paper, we study the topological spectrum of weighted Birkhoff averages over aperiodic and irreducible subshifts of finite type. We show that for a uniformly continuous family of potentials, the spectrum is continuous and concave over its domain. In case of typical weights with respect to some ergodic quasi-Bernoulli measure, we determine the spectrum. Moreover, in case of full shift and under the assumption that the potentials depend only on the first coordinate, we show that our result is applicable for regular weights, like Möbius sequence. △ Less

Submitted 14 September, 2021; v1 submitted 11 June, 2020; originally announced June 2020.

MSC Class: Primary 37C45 Secondary 37B10 37B40 37D35

Hausdorff measure and Assouad dimension of generic self-conformal IFS on the line

Authors: Balázs Bárány, István Kolossváry, Michał Rams, Károly Simon

Abstract: This paper considers self-conformal iterated function systems (IFSs) on the real line whose first level cylinders overlap. In the space of self-conformal IFSs, we show that generically (in topological sense) if the attractor of such a system has Hausdorff dimension less than $1$ then it has zero appropriate dimensional Hausdorff measure and its Assouad dimension is equal to $1$. Our main contribut… ▽ More This paper considers self-conformal iterated function systems (IFSs) on the real line whose first level cylinders overlap. In the space of self-conformal IFSs, we show that generically (in topological sense) if the attractor of such a system has Hausdorff dimension less than $1$ then it has zero appropriate dimensional Hausdorff measure and its Assouad dimension is equal to $1$. Our main contribution is in showing that if the cylinders intersect then the IFS generically does not satisfy the weak separation property and hence, we may apply a recent result of Angelevska, Käenmäki and Troscheit [BLMS, 2020]. This phenomenon holds for transversal families (in particular for the translation family) typically, in the self-similar case, in both topological and in measure theoretical sense, and in the more general self-conformal case in the topological sense. △ Less

Submitted 14 November, 2020; v1 submitted 3 June, 2020; originally announced June 2020.

Comments: 27 pages including Appendix; v2: minor updates, accepted version in RSE Proc A

MSC Class: Primary 28A80 Secondary 28A78; 37E05

Mingled hyperbolicities: ergodic properties and bifurcation phenomena (an approach using concavity)

Authors: L. J. Díaz, K. Gelfert, M. Rams

Abstract: We consider skew-products with concave interval fiber maps over a certain subshift obtained as the projection of orbits staying in a given region. It generates a new type of (essentially) coded shift. The fiber maps have expanding and contracting regions which dynamically interact. The dynamics also exhibits pairs of horseshoes of different type of hyperbolicity which, in some cases, are cyclicall… ▽ More We consider skew-products with concave interval fiber maps over a certain subshift obtained as the projection of orbits staying in a given region. It generates a new type of (essentially) coded shift. The fiber maps have expanding and contracting regions which dynamically interact. The dynamics also exhibits pairs of horseshoes of different type of hyperbolicity which, in some cases, are cyclically related. The space of ergodic measures on the base is an entropy-dense Poulsen simplex. Those measures lift canonically to ergodic measures for the skew-product. We explain when and how the spaces of (fiber) contracting and expanding ergodic measures glue along the nonhyperbolic ones. A key step is the approximation (in the weak$\ast$ topology and in entropy) of nonhyperbolic measures by ergodic ones, obtained only by means of concavity. Concavity is not merely a technical artificial hypothesis, but it prevents the presence of additional independent subsystems. The description of homoclinic relations is also a key instrument. These skew-products are embedded in non-decreasing entropy one-parameter family of diffeomorphisms stretching from a heterodimensional cycle to a collision of homoclinic classes. Associated bifurcation phenomena involve a jump of the space of ergodic measures and, in some cases, of entropy. △ Less

Submitted 14 July, 2021; v1 submitted 14 April, 2020; originally announced April 2020.

Comments: 64 pages, 5 figures

MSC Class: 37B10; 37C29; 37D25; 37D35; 37D30; 28D20; 28D99

Hausdorff and packing dimensions and measures for nonlinear transversally non-conformal thin solenoids

Authors: Reza Mohammadpour, Feliks Przytycki, Michal Rams

Abstract: We extend results by B. Hasselblatt, J. Schmeling in \emph{Dimension product structure of hyperbolic sets} (2004), and by the third author and K. Simon in \emph{Hausdorff and packing measures for solenoids} (2003), for $C^{1+\varepsilon}$ hyperbolic, (partially) linear solenoids $Λ$ over the circle embedded in $\mathbb{R}^3$ non-conformally attracting in the stable discs $W^s$ direction, to nonlin… ▽ More We extend results by B. Hasselblatt, J. Schmeling in \emph{Dimension product structure of hyperbolic sets} (2004), and by the third author and K. Simon in \emph{Hausdorff and packing measures for solenoids} (2003), for $C^{1+\varepsilon}$ hyperbolic, (partially) linear solenoids $Λ$ over the circle embedded in $\mathbb{R}^3$ non-conformally attracting in the stable discs $W^s$ direction, to nonlinear ones. Under an assumption of transversality and assumptions on Lyapunov exponents for an appropriate Gibbs measure imposing \emph{thinness}, assuming also there is an invariant $C^{1+\varepsilon}$ strong stable foliation, we prove that Hausdorff dimension ${\rm HD}(Λ\cap W^s)$ is the same quantity $t_0$ for all $W^s$ and else ${\rm HD}(Λ)=t_0+1$. We prove also that for the packing measure $0<Π_{t_0}(Λ\cap W^s)<\infty$ but for Hausdorff measure ${\rm HM}_{t_0}(Λ\cap W^s)=0$ for all $W^s$. Also $0<Π_{1+t_0}(Λ) <\infty$ and ${\rm HM}_{1+t_0}(Λ)=0$. A technical part says that the holonomy along unstable foliation is locally Lipschitz, except for a set of unstable leaves whose intersection with every $W^s$ has measure ${\rm HM}_{t_0}$ equal to 0 and even Hausdorff dimension less than $t_0$. The latter holds due to a large deviations phenomenon. △ Less

Submitted 10 December, 2021; v1 submitted 19 March, 2020; originally announced March 2020.

Comments: Appeared online in Ergodic Theory and Dynamical Systems (2021). In the published version footnotes are included in the main text and Theorems are numbered by numbers, whereas here by letters

MSC Class: Primary: 37D20. Secondary: 28A78; 37D25; 37D35

Big Birkhoff sums in $d$-decaying Gauss like iterated function systems

Authors: Michal Rams, Lingmin Liao, Michal Rams

Abstract: The increasing rate of the Birkhoff sums in the infinite iterated function systems with polynomial decay of the derivative (for example the Gauss map) is studied. For different unbounded potential functions, the Hausdorff dimensions of the sets of points whose Birkhoff sums share the same increasing rate are obtained. The increasing rate of the Birkhoff sums in the infinite iterated function systems with polynomial decay of the derivative (for example the Gauss map) is studied. For different unbounded potential functions, the Hausdorff dimensions of the sets of points whose Birkhoff sums share the same increasing rate are obtained. △ Less

Submitted 19 August, 2021; v1 submitted 7 May, 2019; originally announced May 2019.

Normal numbers with given limits of multiple ergodic averages

Authors: Lingmin Liao, Michał Rams

Abstract: We are interested in the set of normal sequences in the space $\{0,1\}^\mathbb{N}$ with a given frequency of the pattern $11$ in the positions $k, 2k$. The topological entropy of such sets is determined. We are interested in the set of normal sequences in the space $\{0,1\}^\mathbb{N}$ with a given frequency of the pattern $11$ in the positions $k, 2k$. The topological entropy of such sets is determined. △ Less

Submitted 15 July, 2020; v1 submitted 27 April, 2019; originally announced April 2019.

Comments: 20 pages. A section Preliminary is added. More details of the proofs are given

MSC Class: 28A80; 11K16; 37B40

Dimension Theory of some non-Markovian repellers Part II: Dynamically defined function graphs

Authors: Balázs Bárány, Michał\ Rams, Károly Simon

Abstract: This is the second part in a series of two papers. Here, we give an overview on the dimension theory of some dynamically defined function graphs, like Takagi and Weierstrass function, and we study the dimension of Markovian fractal interpolation functions and generalised Takagi functions generated by non-Markovian dynamics. This is the second part in a series of two papers. Here, we give an overview on the dimension theory of some dynamically defined function graphs, like Takagi and Weierstrass function, and we study the dimension of Markovian fractal interpolation functions and generalised Takagi functions generated by non-Markovian dynamics. △ Less

Submitted 13 January, 2019; originally announced January 2019.

MSC Class: Primary 28A80 Secondary 28A78

Dimension Theory of some non-Markovian repellers Part I: A gentle introduction

Authors: Balázs Bárány, Michał\ Rams, Károly Simon

Abstract: Michael Barnsley introduced a family of fractals sets which are repellers of piecewise affine systems. The study of these fractals was motivated by certain problems that arose in fractal image compression but the results we obtained can be applied for the computation of the Hausdorff dimension of the graph of some functions, like generalized Takagi functions and fractal interpolation functions.… ▽ More Michael Barnsley introduced a family of fractals sets which are repellers of piecewise affine systems. The study of these fractals was motivated by certain problems that arose in fractal image compression but the results we obtained can be applied for the computation of the Hausdorff dimension of the graph of some functions, like generalized Takagi functions and fractal interpolation functions. In this paper we introduce this class of fractals and present the tools in the one-dimensional dynamics and nonconformal fractal theory that are needed to investigate them. This is the first part in a series of two papers. In the continuation there will be more proofs and we apply the tools introduced here to study some fractal function graphs. △ Less

Submitted 13 January, 2019; originally announced January 2019.

MSC Class: Primary 28A80 Secondary 28A78

Mass transference principle: from balls to arbitrary shapes

Authors: Henna Koivusalo, Michał Rams

Abstract: The mass transference principle, proved by Beresnevich and Velani in 2006, is a strong result that gives lower bounds for the Hausdorff dimension of limsup sets of balls. We present a version for limsup sets of open sets of arbitrary shape. The mass transference principle, proved by Beresnevich and Velani in 2006, is a strong result that gives lower bounds for the Hausdorff dimension of limsup sets of balls. We present a version for limsup sets of open sets of arbitrary shape. △ Less

Submitted 28 November, 2019; v1 submitted 20 December, 2018; originally announced December 2018.

Comments: 13 pages

Hausdorff dimension in inhomogeneous Diophantine approximation

Authors: Yann Bugeaud, Dong Han Kim, Seonhee Lim, Michał Rams

Abstract: Let $α$ be an irrational real number. We show that the set of $ε$-badly approximable numbers \[ \mathrm{Bad}^\varepsilon (α) := \{x\in [0,1]\, : \, \liminf_{|q| \to \infty} |q| \cdot \| qα-x \| \geq \varepsilon \} \] has full Hausdorff dimension for some positive $ε$ if and only if $α$ is singular on average. The condition is equivalent to the average $\frac{1}{k} \sum_{i=1, \cdots, k} \log a_i$ o… ▽ More Let $α$ be an irrational real number. We show that the set of $ε$-badly approximable numbers \[ \mathrm{Bad}^\varepsilon (α) := \{x\in [0,1]\, : \, \liminf_{|q| \to \infty} |q| \cdot \| qα-x \| \geq \varepsilon \} \] has full Hausdorff dimension for some positive $ε$ if and only if $α$ is singular on average. The condition is equivalent to the average $\frac{1}{k} \sum_{i=1, \cdots, k} \log a_i$ of the logarithms of the partial quotients $a_i$ of $α$ going to infinity with $k$. We also consider one-sided approximation, obtain a stronger result when $a_i$ tends to infinity, and establish a partial result in higher dimensions. △ Less

Submitted 26 May, 2018; originally announced May 2018.

Comments: 16 pages

MSC Class: Primary 11K60; Secondary 28A80; 37E10

Birkhoff and Lyapunov spectra on planar self-affine sets

Authors: Balázs Bárány, Thomas Jordan, Antti Käenmäki, Michał Rams

Abstract: Working on strongly irreducible planar self-affine sets satisfying the strong open set condition, we calculate the Birkhoff spectrum of continuous potentials and the Lyapunov spectrum. Working on strongly irreducible planar self-affine sets satisfying the strong open set condition, we calculate the Birkhoff spectrum of continuous potentials and the Lyapunov spectrum. △ Less

Submitted 6 December, 2019; v1 submitted 21 May, 2018; originally announced May 2018.

Comments: 32 pages, 1 figure

MSC Class: Primary 28A80; Secondary 37L30; 37D35; 28D20

The structure of the space of ergodic measures of transitive partially hyperbolic sets

Authors: Lorenzo J. Díaz, Katrin Gelfert, Tiane Marcarini, Michał Rams

Abstract: We provide examples of transitive partially hyperbolic dynamics (specific but paradigmatic examples of homoclinic classes) which blend different types of hyperbolicity in the one-dimensional center direction. These homoclinic classes have two disjoint parts: an "exposed" piece which is poorly homoclinically related with the rest and a "core" with rich homoclinic relations. There is an associated n… ▽ More We provide examples of transitive partially hyperbolic dynamics (specific but paradigmatic examples of homoclinic classes) which blend different types of hyperbolicity in the one-dimensional center direction. These homoclinic classes have two disjoint parts: an "exposed" piece which is poorly homoclinically related with the rest and a "core" with rich homoclinic relations. There is an associated natural division of the space of ergodic measures which are either supported on the exposed piece or on the core. We describe the topology of these two parts and show that they glue along nonhyperbolic measures. Measures of maximal entropy are discussed in more detail. We present examples where the measure of maximal entropy is nonhyperbolic. We also present examples where the measure of maximal entropy is unique and nonhyperbolic, however in this case the dynamics is nontransitive. △ Less

Submitted 18 May, 2018; originally announced May 2018.

MSC Class: 37D25; 28D20; 28D99; 37D30; 37C29

Dimension of the repeller for a piecewise expanding affine map

Authors: Balázs Bárány, Michał Rams, Károly Simon

Abstract: In this paper, we study the dimension theory of a class of piecewise affine systems in euclidean spaces suggested by Michael Barnsley, with some applications to the fractal image compression. It is a more general version of the class considered in the work of Keane, Simon and Solomyak [The dimension of graph directed attractors with overlaps on the line, with an application to a problem in fractal… ▽ More In this paper, we study the dimension theory of a class of piecewise affine systems in euclidean spaces suggested by Michael Barnsley, with some applications to the fractal image compression. It is a more general version of the class considered in the work of Keane, Simon and Solomyak [The dimension of graph directed attractors with overlaps on the line, with an application to a problem in fractal image recognition. {\it Fund. Math.}, {\bf 180}(3):279-292, 2003] and can be considered as the continuation of the works [On the dimension of self-affine sets and measures with overlaps. {\it Proc. Amer. Math. Soc.}, {\bf 144}(10):4427-4440, 2016], [On the dimension of triangular self-affine sets. {\it Erg. Th. \& Dynam. Sys.}, to appear.] by the authors. We also present some applications of our results for the generalized Takagi functions and fractal interpolation functions. △ Less

Submitted 6 March, 2020; v1 submitted 10 March, 2018; originally announced March 2018.

MSC Class: 28A78; 28A80

Birkhoff spectrum for piecewise monotone interval maps

Authors: Thomas Jordan, Michal Rams

Abstract: For piecewise monotone interval maps we look at Birkhoff spectra for regular potential functions. This means considering the Hausdorff dimension of the set of points for which the Birkhoff average of the potential takes a fixed value. In the uniformly hyperbolic case we obtain complete results, in the case with parabolic behaviour we are able to describe the part of the sets where the lower Lyapun… ▽ More For piecewise monotone interval maps we look at Birkhoff spectra for regular potential functions. This means considering the Hausdorff dimension of the set of points for which the Birkhoff average of the potential takes a fixed value. In the uniformly hyperbolic case we obtain complete results, in the case with parabolic behaviour we are able to describe the part of the sets where the lower Lyapunov exponent is positive. In addition we give some lower bounds on the full spectrum in this case. This is an extension of work of Hofbauer on the entropy and Lyapunov spectra. △ Less

Submitted 11 December, 2017; originally announced December 2017.

Comments: 22 pages

Dimension of generic self-affine sets with holes

Authors: Henna Koivusalo, Michał Rams

Abstract: Let $(Σ, σ)$ be a dynamical system, and let $U\subset Σ$. Consider the survivor set \[ Σ_U=\{x\in Σ\mid σ^n(x)\notin U\textrm{for all}n\} \] of points that never enter the subset $U$. We study the size of this set in the case when $Σ$ is the symbolic space associated to a self-affine set $Λ$, calculating the dimension of the projection of $Σ_U$ as a subset of $Λ$ and finding an asymptotic formula… ▽ More Let $(Σ, σ)$ be a dynamical system, and let $U\subset Σ$. Consider the survivor set \[ Σ_U=\{x\in Σ\mid σ^n(x)\notin U\textrm{for all}n\} \] of points that never enter the subset $U$. We study the size of this set in the case when $Σ$ is the symbolic space associated to a self-affine set $Λ$, calculating the dimension of the projection of $Σ_U$ as a subset of $Λ$ and finding an asymptotic formula for the dimension in terms of the Käenmäki measure of the hole as the hole shrinks to a point. Our results hold when the set $U$ is a cylinder set in two cases: when the matrices defining $Λ$ are diagonal, and when they are such that the pressure is differentiable at its zero point, and the Käenmäki measure is a strong-Gibbs measure. △ Less

Submitted 18 November, 2017; originally announced November 2017.

Comments: 17 pages

Metrical results on the distribution of fractional parts of powers of real numbers

Authors: Yann Bugeaud, Lingmin Liao, Michal Rams

Abstract: Denote by {$\times$} the fractional part. We establish several new metrical results on the distribution properties of the sequence ({x n }) n$\ge$1. Many of them are presented in a more general framework, in which the sequence of functions (x $\rightarrow$ x n) n$\ge$1 is replaced by a sequence (fn) n$\ge$1 , under some growth and regularity conditions on the functions fn. Denote by {$\times$} the fractional part. We establish several new metrical results on the distribution properties of the sequence ({x n }) n$\ge$1. Many of them are presented in a more general framework, in which the sequence of functions (x $\rightarrow$ x n) n$\ge$1 is replaced by a sequence (fn) n$\ge$1 , under some growth and regularity conditions on the functions fn. △ Less

Submitted 10 October, 2017; originally announced October 2017.

Multifractal analysis of the Birkhoff sums of Saint-Petersburg potential

Authors: Dong Han Kim, Lingmin Liao, Michal Rams, Baowei Wang

Abstract: Let $((0,1], T)$ be the doubling map in the unit interval and $\varphi$ be the Saint-Petersburg potential, defined by $\varphi(x)=2^n$ if $x\in (2^{-n-1}, 2^{-n}]$ for all $n\geq 0$. We consider the asymptotic properties of the Birkhoff sum $S\_n(x)=\varphi(x)+\cdots+\varphi(T^{n-1}(x))$. With respect to the Lebesgue measure, the Saint-Petersburg potential is not integrable and it is known that… ▽ More Let $((0,1], T)$ be the doubling map in the unit interval and $\varphi$ be the Saint-Petersburg potential, defined by $\varphi(x)=2^n$ if $x\in (2^{-n-1}, 2^{-n}]$ for all $n\geq 0$. We consider the asymptotic properties of the Birkhoff sum $S\_n(x)=\varphi(x)+\cdots+\varphi(T^{n-1}(x))$. With respect to the Lebesgue measure, the Saint-Petersburg potential is not integrable and it is known that $\frac{1}{n\log n}S\_n(x)$ converges to $\frac{1}{\log 2}$ in probability. We determine the Hausdorff dimension of the level set $\{x: \lim\_{n\to\infty}S\_n(x)/n=α\} \ (α>0)$, as well as that of the set $\{x: \lim\_{n\to\infty}S\_n(x)/Ψ(n)=α\} \ (α>0)$, when $Ψ(n)=n\log n, n^a $ or $2^{n^γ}$ for $a>1$, $γ>0$. The fast increasing Birkhoff sum of the potential function $x\mapsto 1/x$ is also studied. △ Less

Submitted 23 January, 2018; v1 submitted 19 July, 2017; originally announced July 2017.

Comments: 17 pages

Shrinking targets on Bedford-McMullen carpets

Authors: Balázs Bárány, Michał Rams

Abstract: We describe the shrinking target set for the Bedford-McMullen carpets, with targets being either cylinders or geometric balls. We describe the shrinking target set for the Bedford-McMullen carpets, with targets being either cylinders or geometric balls. △ Less

Submitted 24 March, 2017; originally announced March 2017.

MSC Class: 28A80; 37C45

Entropy spectrum of Lyapunov exponents for nonhyperbolic step skew-products and elliptic cocycles

Authors: Lorenzo J. Díaz, Katrin Gelfert, Michał Rams

Abstract: We study the fiber Lyapunov exponents of step skew-product maps over a complete shift of $N$, $N\ge2$, symbols and with $C^1$ diffeomorphisms of the circle as fiber maps. The systems we study are transitive and genuinely nonhyperbolic, exhibiting simultaneously ergodic measures with positive, negative, and zero exponents. Examples of such systems arise from the projective action of $2\times 2$ mat… ▽ More We study the fiber Lyapunov exponents of step skew-product maps over a complete shift of $N$, $N\ge2$, symbols and with $C^1$ diffeomorphisms of the circle as fiber maps. The systems we study are transitive and genuinely nonhyperbolic, exhibiting simultaneously ergodic measures with positive, negative, and zero exponents. Examples of such systems arise from the projective action of $2\times 2$ matrix cocycles and our results apply to an open and dense subset of elliptic $\mathrm{SL}(2,\bR)$ cocycles. We derive a multifractal analysis for the topological entropy of the level sets of Lyapunov exponent. The results are formulated in terms of Legendre-Fenchel transforms of restricted variational pressures, considering hyperbolic ergodic measures only, as well as in terms of restricted variational principles of entropies of ergodic measures with a given exponent. We show that the entropy of the level sets is a continuous function of the Lyapunov exponent. The level set of the zero exponent has positive, but not maximal, topological entropy. Under the additional assumption of proximality, as for example for skew-products arising from certain matrix cocycles, there exist two unique ergodic measures of maximal entropy, one with negative and one with positive fiber Lyapunov exponent. △ Less

Submitted 18 October, 2017; v1 submitted 23 October, 2016; originally announced October 2016.

Comments: 61 pages, 10 figures. This is a thoroughly revised and aumented version of the previous one

MSC Class: 37D25; 37D25; 37D30; 28D20; 28D99

Hausdorff dimension of the set approximated by irrational rotations

Authors: Dong Han Kim, Michał Rams, Baowei Wang

Abstract: Let $θ$ be an irrational number and $\varphi: {\mathbb N} \to {\mathbb R}^{+}$ be a monotone decreasing function tending to zero. Let $$E_\varphi(θ) =\Big\{y \in \mathbb R: \|nθ- y\|<\varphi(n), \ {\text{for infinitely many}}\ n\in {\mathbb N} \Big\}, $$ i.e. the set of points which are approximated by the irrational rotation with respect to the error function $\varphi(n)$. In this article, we giv… ▽ More Let $θ$ be an irrational number and $\varphi: {\mathbb N} \to {\mathbb R}^{+}$ be a monotone decreasing function tending to zero. Let $$E_\varphi(θ) =\Big\{y \in \mathbb R: \|nθ- y\|<\varphi(n), \ {\text{for infinitely many}}\ n\in {\mathbb N} \Big\}, $$ i.e. the set of points which are approximated by the irrational rotation with respect to the error function $\varphi(n)$. In this article, we give a complete description of the Hausdorff dimension of $E_\varphi(θ)$ for any monotone function $\varphi$ and any irrational $θ$. △ Less

Submitted 23 August, 2017; v1 submitted 27 September, 2016; originally announced September 2016.

Comments: 15pages

MSC Class: 11K55; 11J71; 28A80

Journal ref: Mathematika 64 (2018) 267-283

On the dimension of triangular self-affine sets

Authors: Balázs Bárány, Michał Rams, Károly Simon

Abstract: As a continuation of a recent work of the same authors (arXiv:1504.07138), in this note we study the dimension theory of diagonally homogeneous triangular planar self-affine IFS. As a continuation of a recent work of the same authors (arXiv:1504.07138), in this note we study the dimension theory of diagonally homogeneous triangular planar self-affine IFS. △ Less

Submitted 27 October, 2016; v1 submitted 13 September, 2016; originally announced September 2016.

Comments: We weakened the assumptions of one our theorem and modified the formalization. The proofs became simpler. We also added new example

MSC Class: 28A80; 28A78

Nonhyperbolic step skew-products: Ergodic approximation

Authors: L. J. Diaz, K. Gelfert, M. Rams

Abstract: We study transitive step skew-product maps modeled over a complete shift of $k$, $k\ge2$, symbols whose fiber maps are defined on the circle and have intermingled contracting and expanding regions. These dynamics are genuinely nonhyperbolic and exhibit simultaneously ergodic measures with positive, negative, and zero exponents. We introduce a set of axioms for the fiber maps and study the dynami… ▽ More We study transitive step skew-product maps modeled over a complete shift of $k$, $k\ge2$, symbols whose fiber maps are defined on the circle and have intermingled contracting and expanding regions. These dynamics are genuinely nonhyperbolic and exhibit simultaneously ergodic measures with positive, negative, and zero exponents. We introduce a set of axioms for the fiber maps and study the dynamics of the resulting skew-product. These axioms turn out to capture the key mechanisms of the dynamics of nonhyperbolic robustly transitive maps with compact central leaves. Focusing on the nonhyperbolic ergodic measures (with zero fiber exponent) of these systems, we prove that such measures are approximated in the weak$\ast$ topology and in entropy by hyperbolic ones. We also prove that they are in the intersection of the convex hulls of the measures with positive fiber exponent and with negative fiber exponent. Our methods also allow us to perturb hyperbolic measures. We can perturb a measure with negative exponent directly to a measure with positive exponent (and vice-versa), however we lose some amount of entropy in this process. The loss of entropy is determined by the difference between the Lyapunov exponents of the measures. △ Less

Submitted 22 February, 2016; originally announced February 2016.

Comments: 43 pages, 5 figures

MSC Class: 37D25; 37D35; 37D30; 28D20; 28D99

Dimension maximizing measures for self-affine systems

Authors: Balázs Bárány, Michał Rams

Abstract: In this paper we study the dimension theory of planar self-affine sets satisfying dominated splitting in the linear parts and strong separation condition. The main results of this paper is the existence of dimension maximizing Gibbs measures (Käenmäki measures). To prove this phenomena, we show that the Ledrappier-Young formula holds for Gibbs measures and we introduce a transversality type condit… ▽ More In this paper we study the dimension theory of planar self-affine sets satisfying dominated splitting in the linear parts and strong separation condition. The main results of this paper is the existence of dimension maximizing Gibbs measures (Käenmäki measures). To prove this phenomena, we show that the Ledrappier-Young formula holds for Gibbs measures and we introduce a transversality type condition for the strong-stable directions on the projective space. △ Less

Submitted 26 April, 2016; v1 submitted 10 July, 2015; originally announced July 2015.

Comments: The previous version of the paper has been withdrawn by the author due to a crucial error. It was in the previous version in Section 4, Lemma 4.6 equation (4.4). This error annihilated Theorem 1.2

MSC Class: 28A80; 37C45

On the dimension of self-affine sets and measures with overlaps

Authors: Balázs Bárány, Michał Rams, Károly Simon

Abstract: In this paper we consider diagonally affine, planar IFS $Φ=\left\{S_i(x,y)=(α_ix+t_{i,1},β_iy+t_{i,2})\right\}_{i=1}^m$. Combining the techniques of Hochman and Feng, Hu we compute the Hausdorff dimension of the self-affine attractor and measures and we give an upper bound for the dimension of the exceptional set of parameters. In this paper we consider diagonally affine, planar IFS $Φ=\left\{S_i(x,y)=(α_ix+t_{i,1},β_iy+t_{i,2})\right\}_{i=1}^m$. Combining the techniques of Hochman and Feng, Hu we compute the Hausdorff dimension of the self-affine attractor and measures and we give an upper bound for the dimension of the exceptional set of parameters. △ Less

Submitted 23 December, 2015; v1 submitted 27 April, 2015; originally announced April 2015.

MSC Class: 28A80; 28A78

On entropy of dynamical systems with almost specification

Authors: Dominik Kwietniak, Piotr Oprocha, Michał Rams

Abstract: We construct a family of shift spaces with almost specification and multiple measures of maximal entropy. This answers a question from Climenhaga and Thompson [Israel J. Math. 192 (2012), no. 2, 785--817]. Elaborating on our examples we also prove that some sufficient conditions for every subshift factor of a shift space to be intrinsically ergodic given by Climenhaga and Thompson are in some sens… ▽ More We construct a family of shift spaces with almost specification and multiple measures of maximal entropy. This answers a question from Climenhaga and Thompson [Israel J. Math. 192 (2012), no. 2, 785--817]. Elaborating on our examples we also prove that some sufficient conditions for every subshift factor of a shift space to be intrinsically ergodic given by Climenhaga and Thompson are in some sense best possible, moreover, the weak specification property neither implies intrinsic ergodicity, nor follows from almost specification. We also construct a dynamical system with the weak specification property, which does not have the almost specification property. We prove that the minimal points are dense in the support of any invariant measure of a system with the almost specification property. Furthermore, if a system with almost specification has an invariant measure with non-trivial support, then it also has uniform positive entropy over the support of any invariant measure and can not be minimal. △ Less

Submitted 7 November, 2014; originally announced November 2014.

MSC Class: 37B40 (primary); 37A35; 37B05; 37D45 (secondary)

Packing spectra for Bernoulli measures supported on Bedford-McMullen carpets

Authors: Thomas Jordan, Michał Rams

Abstract: In this paper we consider the packing spectra for local dimension of Bernoulli measures supported on Bedford-McMullen carpets. We show that typically the packing dimension of the regular set is smaller than the packing dimension of the attractor. We also consider a specific class of measures for which we are able to calculate the packing spectrum exactly and we show that the packing spectrum is di… ▽ More In this paper we consider the packing spectra for local dimension of Bernoulli measures supported on Bedford-McMullen carpets. We show that typically the packing dimension of the regular set is smaller than the packing dimension of the attractor. We also consider a specific class of measures for which we are able to calculate the packing spectrum exactly and we show that the packing spectrum is discontinuous as a function on the space of Bernoulli measures. △ Less

Submitted 24 July, 2014; originally announced July 2014.

Comments: 26 pages

MSC Class: 28A78 37C45

On Shrinking Targets for Piecewise Expanding Interval Maps

Authors: Tomas Persson, Michał Rams

Abstract: For a map $T \colon [0,1] \to [0,1]$ with an invariant measure $μ$, we study, for a $μ$-typical $x$, the set of points $y$ such that the inequality $|T^n x - y| < r_n$ is satisfied for infinitely many $n$. We give a formula for the Hausdorff dimension of this set, under the assumption that $T$ is piecewise expanding and $μ_φ$ is a Gibbs measure. In some cases we also show that the set has a large… ▽ More For a map $T \colon [0,1] \to [0,1]$ with an invariant measure $μ$, we study, for a $μ$-typical $x$, the set of points $y$ such that the inequality $|T^n x - y| < r_n$ is satisfied for infinitely many $n$. We give a formula for the Hausdorff dimension of this set, under the assumption that $T$ is piecewise expanding and $μ_φ$ is a Gibbs measure. In some cases we also show that the set has a large intersection property. △ Less

Submitted 26 May, 2015; v1 submitted 26 June, 2014; originally announced June 2014.

Comments: 18 pages

MSC Class: 37C45; 28A78; 11K55; 11K60

Lyapunov spectrum for multimodal maps

Authors: Katrin Gelfert, Feliks Przytycki, Michal Rams

Abstract: We study the dimension spectrum of Lyapunov exponents for multimodal maps of the interval and their generalizations. We also present related results for rational maps on the Riemann sphere. We study the dimension spectrum of Lyapunov exponents for multimodal maps of the interval and their generalizations. We also present related results for rational maps on the Riemann sphere. △ Less

Submitted 20 June, 2014; v1 submitted 18 June, 2014; originally announced June 2014.

Comments: 56 pages, minor corrections

MSC Class: 37D25; 37D35; 28A78; 37E05; 37C45; 37F10

Journal ref: Ergod. Th. Dynam. Sys. 36 (2016) 1441-1493

Projections of the natural measure for percolation fractals

Authors: Yuval Peres, Michal Rams

Abstract: We prove that, with probability 1, all orthogonal projections of the natural measure on a percolation fractal are absolutely continuous and (except for the horizontal and vertical projection) have Hölder continuous density. We prove that, with probability 1, all orthogonal projections of the natural measure on a percolation fractal are absolutely continuous and (except for the horizontal and vertical projection) have Hölder continuous density. △ Less

Submitted 14 June, 2014; originally announced June 2014.

Comments: 14 pages

MSC Class: 28A78; 28A80

Upper and lower fast Khintchine spectra in continued fractions

Authors: Lingmin Liao, Michal Rams

Abstract: For an irrational number $x\in [0,1)$, let $x=[a\_1(x), a\_2(x),\cdots]$ be its continued fraction expansion. Let $ψ: \mathbb{N} \rightarrow \mathbb{N}$ be a function with $ψ(n)/n\to \infty$ as $n\to\infty$. The (upper, lower) fast Khintchine spectrum for $ψ$ is defined as the Hausdorff dimension of the set of numbers $x\in (0,1)$ for which the (upper, lower) limit of… ▽ More For an irrational number $x\in [0,1)$, let $x=[a\_1(x), a\_2(x),\cdots]$ be its continued fraction expansion. Let $ψ: \mathbb{N} \rightarrow \mathbb{N}$ be a function with $ψ(n)/n\to \infty$ as $n\to\infty$. The (upper, lower) fast Khintchine spectrum for $ψ$ is defined as the Hausdorff dimension of the set of numbers $x\in (0,1)$ for which the (upper, lower) limit of $\frac{1}{ψ(n)}\sum\_{j=1}^n\log a\_j(x)$ is equal to $1$. The fast Khintchine spectrum was determined by Fan, Liao, Wang, and Wu. We calculate the upper and lower fast Khintchine spectra. These three spectra can be different. △ Less

Submitted 29 October, 2015; v1 submitted 4 June, 2014; originally announced June 2014.

Comments: 13 pages. Motivation and details of proofs are added

Subexponentially increasing sums of partial quotients in continued fraction expansions

Authors: Lingmin Liao, Michal Rams

Abstract: We investigate from a multifractal analysis point of view the increasing rate of the sums of partial quotients $S\_n(x)=\sum\_{j=1}^n a\_j(x)$, where $x=[a\_1(x), a\_2(x), \cdots ]$ is the continued fraction expansion of an irrational $x\in (0,1)$. Precisely, for an increasing function $\varphi: \mathbb{N} \rightarrow \mathbb{N}$, one is interested in the Hausdorff dimension of the sets\[E\_\varp… ▽ More We investigate from a multifractal analysis point of view the increasing rate of the sums of partial quotients $S\_n(x)=\sum\_{j=1}^n a\_j(x)$, where $x=[a\_1(x), a\_2(x), \cdots ]$ is the continued fraction expansion of an irrational $x\in (0,1)$. Precisely, for an increasing function $\varphi: \mathbb{N} \rightarrow \mathbb{N}$, one is interested in the Hausdorff dimension of the sets\[E\_\varphi = \left\{x\in (0,1): \lim\_{n\to\infty} \frac {S\_n(x)} {\varphi(n)} =1\right\}.\]Several cases are solved by Iommi and Jordan, Wu and Xu, and Xu. We attack the remaining subexponential case $\exp(n^γ), \ γ\in [1/2, 1)$. We show that when $γ\in [1/2, 1)$, $E\_\varphi$ has Hausdorff dimension $1/2$. Thus, surprisingly, the dimension has a jump from $1$ to $1/2$ at $\varphi(n)=\exp(n^{1/2})$. In a similar way, the distribution of the largest partial quotient is also studied. △ Less

Submitted 4 November, 2015; v1 submitted 19 May, 2014; originally announced May 2014.

Comments: 12 pages. More details for the proof of Theorem 1.2. are added

Journal ref: Math. Proc. Camb. Phil. Soc. 160 (2016) 401-412

The entropy of Lyapunov-optimizing measures of some matrix cocycles

Authors: Jairo Bochi, Michał Rams

Abstract: We consider one-step cocycles of $2 \times 2$ matrices, and we are interested in their Lyapunov-optimizing measures, i.e., invariant probability measures that maximize or minimize a Lyapunov exponent. If the cocycle is dominated, that is, the two Lyapunov exponents are uniformly separated along all orbits, then Lyapunov-optimizing measures always exist, and are characterized by their support. Unde… ▽ More We consider one-step cocycles of $2 \times 2$ matrices, and we are interested in their Lyapunov-optimizing measures, i.e., invariant probability measures that maximize or minimize a Lyapunov exponent. If the cocycle is dominated, that is, the two Lyapunov exponents are uniformly separated along all orbits, then Lyapunov-optimizing measures always exist, and are characterized by their support. Under an additional hypothesis of nonoverlapping between the cones that characterize domination, we prove that the Lyapunov-optimizing measures have zero entropy. This conclusion certainly fails without the domination assumption, even for typical one-step $\mathrm{SL}(2,\mathbb{R})$-cocycles; indeed we show that in the latter case there are measures of positive entropy with zero Lyapunov exponent. △ Less

Submitted 17 May, 2016; v1 submitted 23 December, 2013; originally announced December 2013.

Comments: Final version, to appear in Journal of Modern Dynamics, Volume 10, 2016

The geometry of fractal percolation

Authors: Michal Rams, Károly Simon

Abstract: A well studied family of random fractals called fractal percolation is discussed. We focus on the projections of fractal percolation on the plane. Our goal is to present stronger versions of the classical Marstrand theorem, valid for almost every realization of fractal percolation. The extensions go in three directions: {itemize} the statements work for all directions, not almost all, the stateme… ▽ More A well studied family of random fractals called fractal percolation is discussed. We focus on the projections of fractal percolation on the plane. Our goal is to present stronger versions of the classical Marstrand theorem, valid for almost every realization of fractal percolation. The extensions go in three directions: {itemize} the statements work for all directions, not almost all, the statements are true for more general projections, for example radial projections onto a circle, in the case $\dim_H >1$, each projection has not only positive Lebesgue measure but also has nonempty interior. {itemize} △ Less

Submitted 17 June, 2013; originally announced June 2013.

Comments: Survey submitted for AFRT2012 conference

Projections of fractal percolations

Authors: Michal Rams, Károly Simon

Abstract: In this paper we study the radial and orthogonal projections and the distance sets of the random Cantor sets $E\subset \mathbb{R}^2 $ which are called Mandelbrot percolation or percolation fractals. We prove that the following assertion holds almost surely: if the Hausdorff dimension of $E$ is greater than 1 then the orthogonal projection to \textbf{every} line, the radial projection with \textbf{… ▽ More In this paper we study the radial and orthogonal projections and the distance sets of the random Cantor sets $E\subset \mathbb{R}^2 $ which are called Mandelbrot percolation or percolation fractals. We prove that the following assertion holds almost surely: if the Hausdorff dimension of $E$ is greater than 1 then the orthogonal projection to \textbf{every} line, the radial projection with \textbf{every} center, and distance set from \textbf{every} point contain intervals. △ Less

Submitted 17 June, 2013; originally announced June 2013.

Comments: to appear in ETDS

The dimension of projections of fractal percolations

Authors: Michal Rams, Károly Simon

Abstract: \emph{Fractal percolation} or \emph{Mandelbrot percolation} is one of the most well studied families of random fractals. In this paper we study some of the geometric measure theoretical properties (dimension of projections and structure of slices) of these random sets. Although random, the geometry of those sets is quite regular. Our results imply that, denoting by $E\subset \mathbb{R}^2$ a typi… ▽ More \emph{Fractal percolation} or \emph{Mandelbrot percolation} is one of the most well studied families of random fractals. In this paper we study some of the geometric measure theoretical properties (dimension of projections and structure of slices) of these random sets. Although random, the geometry of those sets is quite regular. Our results imply that, denoting by $E\subset \mathbb{R}^2$ a typical realization of the fractal percolation on the plane, {itemize} If $\dim_{\rm H}E<1$ then for \textbf{all}lines $\ell$ the orthogonal projection $E_\ell$ of $E$ to $\ell$ has the same Hausdorff dimension as $E$, If $\dim_{\rm H}E>1$ then for any smooth real valued function $f$ which is strictly increasing in both coordinates, the image $f(E)$ contains an interval. {itemize} The second statement is quite interesting considering the fact that $E$ is almost surely a Cantor set (a {\it random dust}) for a large part of the parameter domain, see \cite{Chayes1988}. Finally, we solve a related problem about the existence of an interval in the algebraic sum of $d\geq 2$ one-dimensional fractal percolations. △ Less

Submitted 17 June, 2013; originally announced June 2013.

Comments: Corrected version

Abundant rich phase transitions in step skew products

Authors: L. J. Díaz, K. Gelfert, M. Rams

Abstract: We study phase transitions for the topological pressure of geometric potentials of transitive sets. The sets considered are partially hyperbolic having a step skew product dynamics over a horseshoe with one-dimensional fibers corresponding to the central direction. The sets are genuinely non-hyperbolic containing intermingled horseshoes of different hyperbolic behavior (contracting and expanding c… ▽ More We study phase transitions for the topological pressure of geometric potentials of transitive sets. The sets considered are partially hyperbolic having a step skew product dynamics over a horseshoe with one-dimensional fibers corresponding to the central direction. The sets are genuinely non-hyperbolic containing intermingled horseshoes of different hyperbolic behavior (contracting and expanding center). We prove that for every $k\ge 1$ there is a diffeomorphism $F$ with a transitive set $Λ$ as above such that the pressure map $P(t)=P(t\, \varphi)$ of the potential $\varphi= -\log \,\lVert dF|_{E^c}\rVert$ ($E^c$ the central direction) defined on $Λ$ has $k$ rich phase transitions. This means that there are parameters $t_\ell$, $\ell=1,...,k$, where $P(t)$ is not differentiable and this lack of differentiability is due to the coexistence of two equilibrium states of $t_\ell\,\varphi$ with positive entropy and different Birkhoff averages. Each phase transition is associated to a gap in the central Lyapunov spectrum of $F$ on $Λ$. △ Less

Submitted 3 March, 2013; originally announced March 2013.

Comments: 5 figures

MSC Class: 37D25; 37D35; 28D20; 28D99; 37D30; 37C29

Inhomogeneous Diophantine approximation with general error functions

Authors: Lingmin Liao, Michal Rams

Abstract: Let $\al$ be an irrational and $\varphi: \N \rightarrow \R^+$ be a function decreasing to zero. For any $\al$ with a given Diophantine type, we show some sharp estimations for the Hausdorff dimension of the set [E_{\varphi}(\al):={y\in \R: |n\al -y| < \varphi(n) \text{for infinitely many} n},] where $|\cdot|$ denotes the distance to the nearest integer. Let $\al$ be an irrational and $\varphi: \N \rightarrow \R^+$ be a function decreasing to zero. For any $\al$ with a given Diophantine type, we show some sharp estimations for the Hausdorff dimension of the set [E_{\varphi}(\al):={y\in \R: |n\al -y| < \varphi(n) \text{for infinitely many} n},] where $|\cdot|$ denotes the distance to the nearest integer. △ Less

Submitted 14 September, 2012; v1 submitted 9 August, 2012; originally announced August 2012.

Comments: 11 pages

Dimension of self-affine sets with holes

Authors: Andrew Ferguson, Thomas Jordan, Michał Rams

Abstract: In this paper we compute the dimension of a class of dynamically defined non-conformal sets. Let $X\subseteq\mathbb{T}^2$ denote a Bedford-McMullen set and $T:X\to X$ the natural expanding toral endomorphism which leaves $X$ invariant. For an open set $U\subset X$ we let X_U={x\in X : T^k(x)\not\in U \text{for all}k}. We investigate the box and Hausdorff dimensions of $X_U$ for both a fixed Marko… ▽ More In this paper we compute the dimension of a class of dynamically defined non-conformal sets. Let $X\subseteq\mathbb{T}^2$ denote a Bedford-McMullen set and $T:X\to X$ the natural expanding toral endomorphism which leaves $X$ invariant. For an open set $U\subset X$ we let X_U={x\in X : T^k(x)\not\in U \text{for all}k}. We investigate the box and Hausdorff dimensions of $X_U$ for both a fixed Markov hole and also when $U$ is a shrinking metric ball. We show that the box dimension is controlled by the escape rate of the measure of maximal entropy through $U$, while the Hausdorff dimension depends on the escape rate of the measure of maximal dimension. △ Less

Submitted 11 June, 2012; originally announced June 2012.

Comments: 32 pages

Multifractal analysis of some multiple ergodic averages for the systems with non-constant Lyapunov exponents

Authors: Lingmin Liao, Michal Rams

Abstract: We study certain multiple ergodic averages of an iterated functions system generated by two contractions on the unit interval. By using the dynamical coding ${0,1}^{\mathbb{N}}$ of the attractor, we compute the Hausdorff dimension of the set of points with a given frequency of the pattern 11 in positions $k, 2k$. We study certain multiple ergodic averages of an iterated functions system generated by two contractions on the unit interval. By using the dynamical coding ${0,1}^{\mathbb{N}}$ of the attractor, we compute the Hausdorff dimension of the set of points with a given frequency of the pattern 11 in positions $k, 2k$. △ Less

Submitted 21 June, 2012; v1 submitted 7 June, 2012; originally announced June 2012.

Comments: 13 pages

Multifractal analysis for expanding interval maps with infinitely many branches

Authors: Ai-Hua Fan, Thomas Jordan, Lingmin Liao, Michal Rams

Abstract: In this paper we investigate multifractal decompositions based on values of Birkhoff averages of functions from a class of symbolically continuous functions. This will be done for an expanding interval map with infinitely many branches and is a generalisation of previous work for expanding maps with finitely many branches. We show that there are substantial differences between this case and the se… ▽ More In this paper we investigate multifractal decompositions based on values of Birkhoff averages of functions from a class of symbolically continuous functions. This will be done for an expanding interval map with infinitely many branches and is a generalisation of previous work for expanding maps with finitely many branches. We show that there are substantial differences between this case and the setting where the expanding map has only finitely many branches. △ Less

Submitted 7 February, 2013; v1 submitted 13 October, 2011; originally announced October 2011.

Comments: 24 pages

Rich phase transitions in step skew-products

Authors: Lorenzo J. Díaz, Katrin Gelfert, Michał Rams

Abstract: We present examples of partially hyperbolic and topologically transitive local diffeomorphisms defined as skew products over a horseshoe which exhibit rich phase transitions for the topological pressure. This phase transition follows from a gap in the spectrum of the central Lyapunov exponents. It is associated to the coexistence of two equilibrium states with positive entropy. The diffeomorphisms… ▽ More We present examples of partially hyperbolic and topologically transitive local diffeomorphisms defined as skew products over a horseshoe which exhibit rich phase transitions for the topological pressure. This phase transition follows from a gap in the spectrum of the central Lyapunov exponents. It is associated to the coexistence of two equilibrium states with positive entropy. The diffeomorphisms mix hyperbolic behavior of different types. However, in some sense the expanding behavior is not dominating which is indicated by the existence of a measure of maximal entropy with nonpositive central exponent. △ Less

Submitted 31 May, 2011; originally announced June 2011.

Comments: 24 pages, 4 figures

MSC Class: 37D35; 37D25; 37E05; 37D30; 37C29

Lyapunov spectrum for exceptional rational maps

Authors: Katrin Gelfert, Feliks Przytycki, Michal Rams, Juan Rivera-Letelier

Abstract: We study the dimension spectrum for Lyapunov exponents for rational maps acting on the Riemann sphere and characterize it by means of the Legendre-Fenchel transform of the hidden variational pressure. This pressure is defined by means of the variational principle with respect to non-atomic invariant probability measures and is associated to certain $σ$-finite conformal measures. This allows to ext… ▽ More We study the dimension spectrum for Lyapunov exponents for rational maps acting on the Riemann sphere and characterize it by means of the Legendre-Fenchel transform of the hidden variational pressure. This pressure is defined by means of the variational principle with respect to non-atomic invariant probability measures and is associated to certain $σ$-finite conformal measures. This allows to extend previous results to exceptional rational maps. △ Less

Submitted 12 December, 2010; originally announced December 2010.

MSC Class: 37D25; 37C45; 28D99; 37F10