{"id":"arxiv/2610.15485","url":"https://arxiv.org/abs/2610.15485","tags":["math.DS"],"score":0,"title":"Dimension of affine iterated function systems on $\\mathbb{R}^d$","domain":"math.DS","source":"arxiv","authors":["Jialun Li","Wenyu Pan","Zhiyuan Zhang"],"reviews":0,"subject":"math.DS","summary":"Let $\\{f_i(x)=M_ix+a_i\\}_{i\\in I}$ be an affine iterated function system on $\\mathbb{R}^d$ with attractor $Λ$, and let $μ$ be an associated self-affine measure. Assume that the $M_i$ generate a Zariski dense subgroup of $\\mathrm{GL}_d(\\mathbb{R})$. Under the strong open set condition, we show that $\\dim_{\\mathrm{H}}Λ$ equals the affinity dimension and that $\\dim_{\\mathrm{H}}μ$ equals the Lyapunov dimension. The above results are consequences of the following projection theorem, which requires no separation condition. For every $1\\leq n\\leq d$ and for Furstenberg measure a.e.…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-11","reactions":{}}