On the dimension of Furstenberg measure for \({SL}_{2}(\mathbb {R})\) random matrix products (Q1689499)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On the dimension of Furstenberg measure for \({SL}_{2}(\mathbb {R})\) random matrix products |
scientific article |
Statements
On the dimension of Furstenberg measure for \({SL}_{2}(\mathbb {R})\) random matrix products (English)
0 references
12 January 2018
0 references
Given a reasonably chosen probability measure \(\mu\) on \(G\)=SL\(_2(\mathbb{R})\) there is always a unique \(\mu\)-stationary measure \(\nu\) for the action of \(G\) on a projective space. This stationary measure is called the Furstenberg measure of \(\mu\). The article at hand considers the (exact) dimension of the Furstenberg measure \(\nu\), where \(\nu\) has dimension \(\alpha\) if \(\nu(B_r(x))= r^{\alpha+o(1)}\) as \(r\to 0\) for \(\nu\) a.e. \(x\). Let \(G_\mu\) be the subgroup of \(G\) generated by supp\((\mu)\). Fixing a left-invariant Riemannian metric \(d\) on \(G\), a set \({\mathcal A}\subseteq G\) is called Diophantine if there is \(c> 0\) such that for every pair of sequences \(A_1,\dots, A_n\), and \(B_1,\dots, B_n\) from \({\mathcal A}\) with \(\prod_i A_i\neq \prod_i B_i\), it is the case that \(d(\prod_i A_i,\prod_i B_i)> c^n\). The authors establish the following claim. Let \(\mu\) be a finitely supported measure on \(G\) with \(G_\mu\), unbounded and totally irreducible. Then the unique \(\mu\)-stationary measure \(\nu\) is exact dimensional, and if supp\((\mu)\) is Diophantine, then \[ \dim\nu= \min\Biggl\{1,{h_{RW}(\mu)\over 2\chi(\mu)}\Biggr\}, \] where \(h_{RW}\) is the random walk entropy and \(\chi\) is the Lyapunov exponent. If, in addition, supp\((\mu)\) generates a free semigroup, then \[ \dim\nu= \min\Biggl\{1,{H(\mu)\over 2\chi(\mu)}\Biggr\}, \] where \(H\) is the Shannon entropy. The authors identify a sufficient condition to ensure that \(\dim\,\nu=1\).
0 references
special linear group
0 references
stationary measure
0 references
Furstenberg measure
0 references
0 references
0 references
0 references