Local entropy averages and projections of fractal measures (Q431635): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(5 intermediate revisions by 4 users not shown) | |||
Property / review text | |||
For a probability measure \(\mu\) on a metric space, the lower Hausdorff dimension \(\dim_{\ast} \mu\) of \(\mu\) is defined as \(\dim_{\ast} \mu = \inf \{\dim(A): \mu(A) > 0\}\). The present paper establishes the semi-continuity of the map \(\pi \mapsto \dim_{\ast} \pi\mu\) for \(\pi\in\Pi_{d,k}\), the space of orthogonal projections from \({\mathbb R}^d\) to its \(k\)-dimensional subspaces, when \(\mu\) is a measure on \({\mathbb R}^k\) displaying a certain ``local dynamics'', which roughly means that for \(x\in \text{supp}\,\mu\), one can form a sequence of cubes \(B_n\) descending to \(x\) and a sequence of restricted rescaling measures \(\mu^{x, n}\) which display stationary dynamics. The paper presents several significant applications. First of all, the conjecture of \textit{H. Furstenberg} is resolved in its full generality (the conjecture is not in print, but its related conjecture appears in [Probl. Analysis, Sympos. in Honor of Salomon Bochner, Princeton Univ. 1969, 41--59 (1970; Zbl 0208.32203)]). The following stronger form is proved: Let \(\mu\), \(\nu\) be Borel probability measures on \([0,1]\) which are invariant under \(T_m\), \(T_n\), where \(m\) and \(n\) are not powers of the same integer. Then, for every \(\pi\in\Pi_{2,1}\setminus \{\pi_x, \pi_y\}\), \(\dim_{\ast} \pi(\mu\times\nu) = \min \{1, \dim_{\ast}(\mu \times \nu)\}\). Here \(T_m\) is the \(m\)-fold map of \([0, 1]\): \(T_m(x) = mx\mod 1\), and \(\pi_x\) and \(\pi_y\) are the coordinate projections. This result leads to a short proof of Rudolph-Johnson theorem [\textit{D. J. Rudolph}, Ergodic Theory Dyn. Syst. 10, No. 2, 395--406 (1990; Zbl 0709.28013); \textit{A. S. A. Johnson}, Isr. J. Math. 77, No. 1--2, 211--240 (1992; Zbl 0790.28012)], which reads: If \(m\), \(n\) are not powers of the same integer, \(\mu\) is a probability measure on \([0, 1]\) invariant under \(T_m\) and \(T_n\), and all ergodic components have positive entropy for one of the maps, then \(\mu\) is the Lebesgue measure. The main result is applied to establish a generalization of the results by \textit{C. G. T. de A. Moreira} [Period. Math. Hung. 37, No. 1--3, 55--63 (1998; Zbl 0980.54025)], \textit{Y. Peres} and \textit{P. Shmerkin} [Ergodic Theory Dyn. Syst. 29, No. 1, 201--221 (2009; Zbl 1159.37005)] and \textit{F. Nazarov, Y. Peres} and \textit{P. Shmerkin} [Isr. J. Math. 187, 93--116 (2012)], concerning the Hausdorff dimension of the projections of products of self-similar measures on regular Cantor sets. They are also applied to problems concerning the Hausdorff dimension of the images of self-similar measures under \(C^1\) maps and the lower Hausdorff dimension of Bernoulli convolutions. | |||
Property / review text: For a probability measure \(\mu\) on a metric space, the lower Hausdorff dimension \(\dim_{\ast} \mu\) of \(\mu\) is defined as \(\dim_{\ast} \mu = \inf \{\dim(A): \mu(A) > 0\}\). The present paper establishes the semi-continuity of the map \(\pi \mapsto \dim_{\ast} \pi\mu\) for \(\pi\in\Pi_{d,k}\), the space of orthogonal projections from \({\mathbb R}^d\) to its \(k\)-dimensional subspaces, when \(\mu\) is a measure on \({\mathbb R}^k\) displaying a certain ``local dynamics'', which roughly means that for \(x\in \text{supp}\,\mu\), one can form a sequence of cubes \(B_n\) descending to \(x\) and a sequence of restricted rescaling measures \(\mu^{x, n}\) which display stationary dynamics. The paper presents several significant applications. First of all, the conjecture of \textit{H. Furstenberg} is resolved in its full generality (the conjecture is not in print, but its related conjecture appears in [Probl. Analysis, Sympos. in Honor of Salomon Bochner, Princeton Univ. 1969, 41--59 (1970; Zbl 0208.32203)]). The following stronger form is proved: Let \(\mu\), \(\nu\) be Borel probability measures on \([0,1]\) which are invariant under \(T_m\), \(T_n\), where \(m\) and \(n\) are not powers of the same integer. Then, for every \(\pi\in\Pi_{2,1}\setminus \{\pi_x, \pi_y\}\), \(\dim_{\ast} \pi(\mu\times\nu) = \min \{1, \dim_{\ast}(\mu \times \nu)\}\). Here \(T_m\) is the \(m\)-fold map of \([0, 1]\): \(T_m(x) = mx\mod 1\), and \(\pi_x\) and \(\pi_y\) are the coordinate projections. This result leads to a short proof of Rudolph-Johnson theorem [\textit{D. J. Rudolph}, Ergodic Theory Dyn. Syst. 10, No. 2, 395--406 (1990; Zbl 0709.28013); \textit{A. S. A. Johnson}, Isr. J. Math. 77, No. 1--2, 211--240 (1992; Zbl 0790.28012)], which reads: If \(m\), \(n\) are not powers of the same integer, \(\mu\) is a probability measure on \([0, 1]\) invariant under \(T_m\) and \(T_n\), and all ergodic components have positive entropy for one of the maps, then \(\mu\) is the Lebesgue measure. The main result is applied to establish a generalization of the results by \textit{C. G. T. de A. Moreira} [Period. Math. Hung. 37, No. 1--3, 55--63 (1998; Zbl 0980.54025)], \textit{Y. Peres} and \textit{P. Shmerkin} [Ergodic Theory Dyn. Syst. 29, No. 1, 201--221 (2009; Zbl 1159.37005)] and \textit{F. Nazarov, Y. Peres} and \textit{P. Shmerkin} [Isr. J. Math. 187, 93--116 (2012)], concerning the Hausdorff dimension of the projections of products of self-similar measures on regular Cantor sets. They are also applied to problems concerning the Hausdorff dimension of the images of self-similar measures under \(C^1\) maps and the lower Hausdorff dimension of Bernoulli convolutions. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Takahisa Miyata / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 28A80 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 28A78 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6051266 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Cantor sets | |||
Property / zbMATH Keywords: Cantor sets / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
CP process | |||
Property / zbMATH Keywords: CP process / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Hausdorff dimension | |||
Property / zbMATH Keywords: Hausdorff dimension / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Marstrand's theorem | |||
Property / zbMATH Keywords: Marstrand's theorem / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
scenery flow | |||
Property / zbMATH Keywords: scenery flow / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
self-similar set | |||
Property / zbMATH Keywords: self-similar set / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
sumset | |||
Property / zbMATH Keywords: sumset / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W3105879936 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 0910.1956 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the magnification of Cantor sets and their limit models / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Ratio geometry, rigidity and the scenery process for hyperbolic Cantor sets / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: THE SCENERY FLOW FOR HYPERBOLIC JULIA SETS / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Elements of Information Theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3995301 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2785424 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Relationships between different dimensions of a measure / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5624436 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Dimension theory of iterated function systems / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Hausdorff dimension of the projections of self-affine carpets / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Disjointness in ergodic theory, minimal sets, and a problem in diophantine approximation / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5610469 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Ergodic fractal measures and dimension conservation / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Measures with uniform scaling scenery / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Regularity properties of measures, entropy and the Law of the Iterated Logarithm / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On Bandt's tangential distribution for self-similar measures / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the automorphism groups of multidimensional shifts of finite type / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: How projections affect the dimension spectrum of fractal measures / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Measures on the circle invariant under multiplication by a nonlacunary subsemigroup of the integers / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Projecting the one-dimensional Sierpiński gasket / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Tangent measure distributions of hyperbolic Cantor sets / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Entropy of convolutions on the circle / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4328334 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Sums of regular Cantor sets, dynamics and applications to number theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Stable intersections of regular Cantor sets with large Hausdorff dimensions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Symmetry properties of average densities and tangent measure distributions of measures on the line / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Tangent measure distributions of fractal measures / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Convolutions of Cantor measures without resonance / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4945264 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Resonance between Cantor sets / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Existence of L^q dimensions and entropy dimension for self-conformal measures / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4376269 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: ×2 and ×3 invariant measures and entropy / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3816752 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3931654 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 10:35, 5 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Local entropy averages and projections of fractal measures |
scientific article |
Statements
Local entropy averages and projections of fractal measures (English)
0 references
29 June 2012
0 references
For a probability measure \(\mu\) on a metric space, the lower Hausdorff dimension \(\dim_{\ast} \mu\) of \(\mu\) is defined as \(\dim_{\ast} \mu = \inf \{\dim(A): \mu(A) > 0\}\). The present paper establishes the semi-continuity of the map \(\pi \mapsto \dim_{\ast} \pi\mu\) for \(\pi\in\Pi_{d,k}\), the space of orthogonal projections from \({\mathbb R}^d\) to its \(k\)-dimensional subspaces, when \(\mu\) is a measure on \({\mathbb R}^k\) displaying a certain ``local dynamics'', which roughly means that for \(x\in \text{supp}\,\mu\), one can form a sequence of cubes \(B_n\) descending to \(x\) and a sequence of restricted rescaling measures \(\mu^{x, n}\) which display stationary dynamics. The paper presents several significant applications. First of all, the conjecture of \textit{H. Furstenberg} is resolved in its full generality (the conjecture is not in print, but its related conjecture appears in [Probl. Analysis, Sympos. in Honor of Salomon Bochner, Princeton Univ. 1969, 41--59 (1970; Zbl 0208.32203)]). The following stronger form is proved: Let \(\mu\), \(\nu\) be Borel probability measures on \([0,1]\) which are invariant under \(T_m\), \(T_n\), where \(m\) and \(n\) are not powers of the same integer. Then, for every \(\pi\in\Pi_{2,1}\setminus \{\pi_x, \pi_y\}\), \(\dim_{\ast} \pi(\mu\times\nu) = \min \{1, \dim_{\ast}(\mu \times \nu)\}\). Here \(T_m\) is the \(m\)-fold map of \([0, 1]\): \(T_m(x) = mx\mod 1\), and \(\pi_x\) and \(\pi_y\) are the coordinate projections. This result leads to a short proof of Rudolph-Johnson theorem [\textit{D. J. Rudolph}, Ergodic Theory Dyn. Syst. 10, No. 2, 395--406 (1990; Zbl 0709.28013); \textit{A. S. A. Johnson}, Isr. J. Math. 77, No. 1--2, 211--240 (1992; Zbl 0790.28012)], which reads: If \(m\), \(n\) are not powers of the same integer, \(\mu\) is a probability measure on \([0, 1]\) invariant under \(T_m\) and \(T_n\), and all ergodic components have positive entropy for one of the maps, then \(\mu\) is the Lebesgue measure. The main result is applied to establish a generalization of the results by \textit{C. G. T. de A. Moreira} [Period. Math. Hung. 37, No. 1--3, 55--63 (1998; Zbl 0980.54025)], \textit{Y. Peres} and \textit{P. Shmerkin} [Ergodic Theory Dyn. Syst. 29, No. 1, 201--221 (2009; Zbl 1159.37005)] and \textit{F. Nazarov, Y. Peres} and \textit{P. Shmerkin} [Isr. J. Math. 187, 93--116 (2012)], concerning the Hausdorff dimension of the projections of products of self-similar measures on regular Cantor sets. They are also applied to problems concerning the Hausdorff dimension of the images of self-similar measures under \(C^1\) maps and the lower Hausdorff dimension of Bernoulli convolutions.
0 references
Cantor sets
0 references
CP process
0 references
Hausdorff dimension
0 references
Marstrand's theorem
0 references
scenery flow
0 references
self-similar set
0 references
sumset
0 references
0 references
0 references
0 references