Related papers: Dimensions of orthogonal projections of typical se…

Let $T_1,\ldots, T_m$ be a family of $d\times d$ invertible real matrices with $\|T_i\|<1/2$ for $1\leq i\leq m$. For ${\bf a}=(a_1,\ldots, a_m)\in \Bbb R^{md}$, let $\pi^{{\bf a}}:\; \Sigma=\{1,\ldots, m\}^{\Bbb N}\to \Bbb R^d$ denote the…

Let $\{S_i\}_{i=1}^\ell$ be an iterated function system (IFS) on $\R^d$ with attractor $K$. Let $(\Sigma,\sigma)$ denote the one-sided full shift over the alphabet $\{1,..., \ell\}$. We define the projection entropy function $h_\pi$ on the…

Let $\Phi:=\left\{ (x_{1},...,x_{d})\rightarrow\left(r_{i,1}x_{1}+a_{i,1},...,r_{i,d}x_{d}+a_{i,d}\right)\right\} _{i\in\Lambda}$ be an affine diagonal IFS on $\mathbb{R}^{d}$. Suppose that for each $1\le j_{1}<j_{2}\le d$ there exists…

Let $\{S_i\}_{i\in \Lambda}$ be a finite contracting affine iterated function system (IFS) on ${\Bbb R}^d$. Let $(\Sigma,\sigma)$ denote the two-sided full shift over the alphabet $\Lambda$, and $\pi:\Sigma\to {\Bbb R}^d$ be the coding map…

We prove a universal projection theorem, giving conditions on a parametrized family of maps $\Pi_\lambda : X \to \mathbb{R}^d$ and a collection M of measures on X under which for almost every $\lambda$ equality $\dim_H \Pi_\lambda \mu =…

Let $\nu$ be a self similar measure on $\mathbb{R}^d$, $d\geq 2$, and let $\pi$ be an orthogonal projection onto a $k$-dimensional subspace. We formulate a criterion on the action of the group generated by the orthogonal parts of the IFS on…

Let E be a plane self-affine set defined by affine transformations with linear parts given by matrices with positive entries. We show that if mu is a Bernoulli measure on E with dim_H mu = dim_L mu, where dim_H and dim_L denote Hausdorff…

Let $\mu$ be a self-affine measure on $\mathbb{R}^{d}$ associated to a self-affine IFS $\{\varphi_{\lambda}(x) = A_{\lambda}x + v_{\lambda}\}_{\lambda\in\Lambda}$ and a probability vector $p=(p_{\lambda})_{\lambda}>0$. Assume the strong…

We consider one-parameter families of smooth uniformly contractive iterated function systems $\{f^\lambda_j\}$ on the real line. Given a family of parameter dependent measures $\{\mu_{\lambda}\}$ on the symbolic space, we study geometric…

We give conditions on a general family $P_{\lambda}:\R^n\to\R^m, \lambda \in \Lambda,$ of orthogonal projections which guarantee that the Hausdorff dimension formula $\dim A\cap P_{\lambda}^{-1}\{u\}=s-m$ holds generically for measurable…

Let $ \mu $ be a self-affine measure associated with a diagonal affine iterated function system (IFS) $ \Phi = \{ (x_{1}, \ldots, x_{d}) \mapsto ( r_{i, 1}x_{1} + t_{i,1}, \ldots, r_{i,d}x_{d} + t_{i,d}) \}_{i\in\Lambda} $ on $…

This paper extends some results of [M5] and [M3], in particular, removing assumptions of positive lower density. We give conditions on a general family $P_{\lambda}:\mathbb{R}^{n}\to\mathbb{R}^{m}, \lambda \in \Lambda,$ of orthogonal…

In a previous work we proved that if a finite Borel measure $\mu$ in a Euclidean space has Hausdorff dimension smaller than a positive integer $k$, then the orthogonal projection onto almost every $k$-dimensional linear subspace is…

Let $\{S_i\}_{i=1}^{l}$ be an iterated function system(IFS) on $\mathbb{R}^d$ with attractor K. Let $\pi$ be the canonical projection. In this paper we define a new concept called "projection pressure" $P_\pi(\phi)$ for $\phi\in…

Let $X=\bigcup\varphi_{i}X$ be a strongly separated self-affine set in $\mathbb{R}^2$ (or one satisfying the strong open set condition). Under mild non-compactness and irreducibility assumptions on the matrix parts of the $\varphi_{i}$, we…

We show that if $\mu$ is a self-affine measure on the plane defined by an iterated function system of contractions with diagonal linear parts, then under an irrationality assumption on the entries of the linear parts, $$ \dim_{\rm H} \mu…

In this paper we establish a Besicovitch-Federer type projection theorem for general measures. Specifically, let $\mu$ be a finite Borel measure on $\mathbb{R}^n$ and let $0 < m < n$ be an integer. We show that, under the sole assumption…

We prove that if $\mu$ is a self-affine measure in the plane whose defining IFS acts totally irreducibly on $\mathbb{RP}^1$ and satisfies an exponential separation condition, then its dimension is equal to its Lyapunov dimension. We also…

In [14], the authors developed a new approach to the computation of the Hausdorff dimension of the invariant set of an iterated function system or IFS. In this paper, we extend this approach to incorporate high order approximation methods.…

Let $\mu$ be a planar self-similar measure with similarity dimension exceeding $1$, satisfying a mild separation condition, and such that the fixed points of the associated similitudes do not share a common line. Then, we prove that the…