We study the exact Hausdorff and packing dimensions of the prime Cantor set, $\Lambda _P$, which comprises the irrationals whose continued fraction entries are prime numbers. We prove that the Hausdorff measure of the prime Cantor set cannot be finite and positive with respect to any sufficiently regular dimension function, thus negatively answering a question of Mauldin and Urbański (1999) and Mauldin (2013) for this class of dimension functions. By contrast, under a reasonable number-theoretic conjecture we prove that the packing measure of the conformal measure on the prime Cantor set is in fact positive and finite with respect to the dimension function $\psi (r) = r^\delta \log ^{-2\delta }\log (1/r)$, where $\delta $ is the dimension (conformal, Hausdorff, and packing) of the prime Cantor set.

Let $f,g$ be $C^2$ expanding maps on the circle which are topologically conjugate. We assume that the derivatives of f and g at corresponding periodic points coincide for some large period N. We show that f and g are ‘approximately smoothly conjugate.’ Namely, we construct a $C^2$ conjugacy $h_N$ such that $h_N$ is exponentially close to h in the $C^0$ topology, and $f_N:=h_N^{-1}gh_N$ is exponentially close to f in the $C^1$ topology. Our main tool is a uniform effective version of Bowen’s equidistribution of weighted periodic orbits to the equilibrium state.

Let $f(z)=z^2+c$ be an infinitely renormalizable quadratic polynomial and $J_\infty $ be the intersection of forward orbits of ‘small’ Julia sets of its simple renormalizations. We prove that if f admits an infinite sequence of satellite renormalizations, then every invariant measure of $f: J_\infty \to J_\infty $ is supported on the postcritical set and has zero Lyapunov exponent. Coupled with [13], this implies that the Lyapunov exponent of such f at c is equal to zero, which partly answers a question posed by Weixiao Shen.

This paper establishes an extreme $C^k$ reducibility theorem of quasi-periodic $SL(2, \mathbb {R})$ cocycles in the local perturbative region, revealing both the essence of Eliasson [Floquet solutions for the 1-dimensional quasi-periodic Schrödinger equation. Comm. Math. Phys. 146 (1992), 447–482], and Hou and You [Almost reducibility and non-perturbative reducibility of quasi-periodic linear systems. Invent. Math. 190 (2012), 209–260] in respectively the non-resonant and resonant cases. By paralleling further the reducibility process with the almost reducibility, we are able to acquire the least initial regularity as well as the least loss of regularity for the whole Kolmogorov–Arnold–Moser (KAM) iterations. This, in return, makes various spectral applications of quasi-periodic Schrödinger operators wide open.

For given $\epsilon>0$ and $b\in \mathbb {R}^m$, we say that a real $m\times n$ matrix A is $\epsilon $-badly approximable for the target b if

$$ \begin{align*}\liminf_{q\in\mathbb{Z}^n, \|q\|\to\infty} \|q\|^n \langle Aq-b\rangle^m \geq \epsilon,\end{align*} $$

$\langle \cdot \rangle $

$\epsilon $

$\epsilon $

$\epsilon $

For $E \subset \mathbb {N}$, a subset $R \subset \mathbb {N}$ is E-intersective if for every $A \subset E$ having positive relative density, $R \cap (A - A) \neq \varnothing $. We say that R is chromatically E-intersective if for every finite partition $E=\bigcup _{i=1}^k E_i$, there exists i such that $R\cap (E_i-E_i)\neq \varnothing $. When $E=\mathbb {N}$, we recover the usual notions of intersectivity and chromatic intersectivity. We investigate to what extent the known intersectivity results hold in the relative setting when $E = \mathbb {P}$, the set of primes, or other sparse subsets of $\mathbb {N}$. Among other things, we prove the following: (1) the set of shifted Chen primes $\mathbb {P}_{\mathrm {Chen}} + 1$ is both intersective and $\mathbb {P}$-intersective; (2) there exists an intersective set that is not $\mathbb {P}$-intersective; (3) every $\mathbb {P}$-intersective set is intersective; (4) there exists a chromatically $\mathbb {P}$-intersective set which is not intersective (and therefore not $\mathbb {P}$-intersective).

We study piecewise injective, but not necessarily globally injective, contracting maps on a compact subset of ${\mathbb R}^d$. We prove that, generically, the attractor and the set of discontinuities of such a map are disjoint, and hence the attractor consists of periodic orbits. In addition, we prove that piecewise injective contractions are generically topologically stable.

We define balanced self-similar quasi-round carpets and compare the carpet moduli of some path families relating to such a carpet. Then, using some known results on quasiconformal geometry of carpets, we prove that the group of quasisymmetric self-homeomorphisms of every balanced self-similar quasi-round carpet is finite. Furthermore, we prove that some balanced self-similar carpets in the unit square with strong geometric symmetry are quasisymmetrically rigid by using the quasisymmetry of weak tangents of carpets.

For a class of volume-preserving partially hyperbolic diffeomorphisms (or non-uniformly Anosov) $f\colon {\mathbb {T}}^d\rightarrow {\mathbb {T}}^d$ homotopic to linear Anosov automorphism, we show that the sum of the positive (negative) Lyapunov exponents of f is bounded above (respectively below) by the sum of the positive (respectively negative) Lyapunov exponents of its linearization. We show this for some classes of derived from Anosov (DA) and non-uniformly hyperbolic systems with dominated splitting, in particular for examples described by Bonatti and Viana [SRB measures for partially hyperbolic systems whose central direction is mostly contracting. Israel J. Math. 115(1) (2000), 157–193]. The results in this paper address a flexibility program by Bochi, Katok and Rodriguez Hertz [Flexibility of Lyapunov exponents. Ergod. Th. & Dynam. Sys. 42(2) (2022), 554–591].

Using tools from computable analysis, we develop a notion of effectiveness for general dynamical systems as those group actions on arbitrary spaces that contain a computable representative in their topological conjugacy class. Most natural systems one can think of are effective in this sense, including some group rotations, affine actions on the torus and finitely presented algebraic actions. We show that for finitely generated and recursively presented groups, every effective dynamical system is the topological factor of a computable action on an effectively closed subset of the Cantor space. We then apply this result to extend the simulation results available in the literature beyond zero-dimensional spaces. In particular, we show that for a large class of groups, many of these natural actions are topological factors of subshifts of finite type.

In this paper, we study a connection between disintegration of measures and geometric properties of probability spaces. We prove a disintegration theorem, addressing disintegration from the perspective of an optimal transport problem. We look at the disintegration of transport plans, which are used to define and study disintegration maps. Using these objects, we study the regularity and absolute continuity of disintegration of measures. In particular, we exhibit conditions for which the disintegration map is weakly continuous and one can obtain a path of measures given by this map. We show a rigidity condition for the disintegration of measures to be given into absolutely continuous measures.