Abstract
In this paper we study the Blackwell and Furstenberg measures, which play an important role in information theory and the study of Lyapunov exponents. For the Blackwell measure we determine parameter domains of singularity and give upper bounds for the Hausdorff dimension. For the Furstenberg measure, we establish absolute continuity for some parameter values. Our method is to analyze linear fractional iterated function schemes which are contracting on average, have no separation properties (that is, we do not assume that the open set condition holds, see Hutchinson in Indiana Univ. Math. J. 30:713–747, 1981) and, in the case of the Blackwell measure, have place dependent probabilities. In such a general setting, even an effective upper bound on the dimension of the measure is difficult to achieve.
Similar content being viewed by others
References
Blackwell, D.: The entropy of functions of finite-state Markov chains. In: Trans. First Prague Conf. Information Theory, Statistical Decision Functions, Random Processes, pp. 13–20 (1957)
Bowen, R.: Equilibrium States and the Ergodic Theory of Anosov Diffeomorphisms. Springer, Berlin (1975)
Cover, T., Thomas, J.: Elements if Information Theory. Wiley, New York (1991). 2nd edn. (2006)
Cvitanovic, P.: Chaos—classical and quantum. http://chaosbook.org/index.html
Falconer, K.J.: Techniques in Fractal Geometry. Wiley, New York (1997)
Furstenberg, H.: Non-commuting random products. Trans. Am. Math. Soc. 108, 377–428 (1963)
Han, G., Marcus, B.: Analyticity of entropy rate of hidden Markov chains. IEEE Trans. Inf. Theory 52(12), 5251–5266 (2006)
Han, G., Marcus, B.: Derivatives of entropy rate in special families of hidden Markov chains. IEEE Trans. Inf. Theory 53, 2642–2652 (2007)
http://reference.wolfram.com/mathematica/tutorial/ConstrainedOptimizationGlobalNumerical.html
Hutchinson, J.E.: Fractals and self-similarity. Indiana Univ. Math. J. 30, 713–747 (1981)
Jaroszewska, J., Rams, M.: On the hausdorff dimension of invariant measures of weakly contracting on average measurable IFS. J. Stat. Phys. 132(5), 907–919 (2008)
Kaimanovich, V., Le Prince, V.: Matrix random products with singular harmonic measure. Geom. Dedic. 150, 257–279 (2011)
Marklof, J., Tourigny, Y., Wolowski, L.: Explicit invariant measures for products of random matrices. Trans. Am. Math. Soc. 360, 3391–3427 (2008)
Mauldin, R.D., Urbański, M.: Graph Directed Markov Systems: Geometry and Dynamics of Limit Sets. Cambridge University Press, Cambridge (2003)
Ngai, Sz.M., Wang, Y.: Self-similar measures associated with ifs with non-uniform contraction ratios. Asian J. Math. 9, 227–244 (2005)
Ordentlich, E., Weissman, T.: On the optimality of symbol by symbol filtering and denoising. IEEE Trans. Inf. Theory 52, 19–40 (2006)
Peres, Y.: Domain of analytic continuation for the top Lyapunov exponent. Ann. Inst. Henri Poincaré Probab. Stat. 28(1), 131–148 (1992)
Seneta, E.: Non-negative Matrices and Markov Chains. Springer, Berlin (1981)
Simon, K., Solomyak, B., Urbanski, M.: Hausdorff dimension of limit sets for parabolic IFS with overlaps. Pac. J. Math. 201(2), 441–478 (2001)
Simon, K., Solomyak, B., Urbanski, M.: Invariant measures for parabolic IFS with overlaps and random continued fractions. Trans. Am. Math. Soc. 353(12), 5145–5164 (2001)
Acknowledgements
Research of Bárány was supported by the EU FP6 Research Training Network CODY. Both Bárány and Simon were supported by grant OTKA # K71693.
Author information
Authors and Affiliations
Corresponding author
Appendix
Appendix
Here we briefly summarize the results of the papers [19] and [20] used in this note. We are given the family \(\varPhi^{\mathbf{t}}= \{\phi_{1}^{\mathbf {t}},\dots,\phi_{m}^{\mathbf{t}} \}_{\mathbf{t}\in U}\) of hyperbolic IFS on a compact interval X⊂ℝ. (Hyperbolic means that there exist 0<c 1<c 2<1 such that for the \(\mathcal{C}^{2}\) maps \(\phi_{k}^{\mathbf{t}}\) we have \(c_{1}<|(\phi_{k}^{\mathbf{t}})'(x)|<c_{2}\) for all k,t,x.) We assume that the parameter domain U⊂ℝd is a bounded open set with smooth boundary. As usual we denote the natural projection from Σ:={1,…,m}ℕ to X by
where x∈X is arbitrary. In this section we assume that we are given a σ-invariant ergodic measure μ on Σ and we always write
for its push down measure. The next theorem shows how the dimension and absolute continuity of the measure ν t depends on the ratio of the entropy h(μ) of μ and the Lyapunov exponent λ t of the measure ν t defined as
Below we often use the notation
We recall for the reader how the following theorem is proved in [19] and [20]:
Theorem 29
(Simon, Solomyak and Urbanski)
We assume that
- (H):
-
$$\forall(\mathbf{i},\mathbf{j})\in\varSigma_2, \ \forall\mathbf{t}\in \overline{U}\colon \quad \bigl\|\nabla f_{\mathbf{i},\mathbf{j}} (\mathbf{t})\bigr\|>0.$$
Then
-
(1)
For Leb d almost all t∈U, \(\dim_{\mathrm{H}}\nu_{\mathbf{t}}=\min \{\frac{h(\mu)}{-\lambda_{\mathbf{t}}},1 \}\);
-
(2)
ν t ≪Leb for Leb d almost all t∈{t∈U:−h(μ)/λ t >1}.
We start with a lemma from [19]. For a set F⊂ℝd let N r (F) be the minimal number of balls needed to cover the set F.
Lemma 30
(See [19, Lemma 7.3].)
Let U⊂ℝd be as above. Suppose that f is a \(\mathcal {C}^{1}\) real-valued function defined in a neighborhood of the closure of U such that for some i∈{1,…,d} there exists an η>0 satisfying
Then there exists C=C(η) such that
For every (i,j)∈Σ 2 we may apply this lemma for f=f i,j (t) since (H) implies that (30) holds. Write η i,j and C i,j for the corresponding constants. For compactness \(\underline{\eta}:=\min_{(\mathbf{i},\mathbf{j})\in\varSigma_{2}} \eta_{\mathbf{i},\mathbf{j}}>0\) and \(\overline{C}:=\max_{(\mathbf{i},\mathbf{j})\in\varSigma_{2}} C_{(\mathbf{i},\mathbf{j})}<\infty\). So,
The last statement is called the strong transversality condition (cf. [19, p. 454]) which clearly implies that the transversality condition holds: There exists a \(\widetilde{c}>0\) such that
Then we can apply [20, Theorem 7.2] which immediately yields the assertion of our theorem.
Rights and permissions
About this article
Cite this article
Bárány, B., Pollicott, M. & Simon, K. Stationary Measures for Projective Transformations: The Blackwell and Furstenberg Measures. J Stat Phys 148, 393–421 (2012). https://doi.org/10.1007/s10955-012-0541-7
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10955-012-0541-7