Hausdorff dimension of planar self-affine sets and measures (Q2419706)

Let $\{\phi_i\}$ be a finite system of affine contractions of ${\mathbb R}^2$. The authors consider a strongly separated self-affine set $X=\bigcup \phi_i X$ in ${\mathbb R}^2$, or one satisfying the strong open set condition, and prove, under mild non-conformality and irreducibility assumptions on the matrix parts of the $\phi_i$, that dim $X$ is equal to the affinity dimension, and similarly for self-affine measures and the Lyapunov dimension. The proof is obtained by an analysis of the dimension of the orthogonal projections of the measures, and relies on additive combinatorical methods.