1: \begin{abstract}

2: Let\blfootnote{M.H. supported by ERC grant 306494, B.S. supported by the Israel Science Foundation (grant 396/15)}\blfootnote{AMS 2010 subject classification 37F35} $\mu$ be a measure on $SL_{2}(\mathbb{R})$ generating a non-compact and totally irreducible subgroup, and let $\nu$ be the associated stationary (Furstenberg) measure for the action on the projective line. We prove

3: that if $\mu$ is supported on finitely many matrices with algebraic

4: entries, then 

5: \[

6: \dim\nu=\min\{1,\frac{h_{\RW}(\mu)}{2\chi(\mu)}\}

7: \]

8: where $h_{\RW}(\mu)$ is the random walk entropy of $\mu$, $\chi(\mu)$ is the Lyapunov exponent for the random matrix product associated with $\mu$, and $\dim$

9: denotes pointwise dimension. In particular, for every $\delta>0$,

10: there is a neighborhood $U$ of the identity in $SL_{2}(\mathbb{R})$

11: such that if a measure $\mu\in\mathcal{P}(U)$ is supported on algebraic matrices with all atoms of size at least $\delta$, and generates a group which is non-compact and totally irreducible, then its stationary measure $\nu$ satisfies  $\dim\nu=1$. 

12: \end{abstract}

13: