Pith. sign in

REVIEW 3 major objections 5 minor 57 references

Dimension of diagonal self-affine measures with exponentially separated projections

T0 review · 3 major / 5 minor · reviewed 2026-08-10 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read The paper proves that a diagonal self-affine measure has dimension equal to the smaller of $d$ and its Lyapunov dimension whenever its Lyapunov exponents are distinct and each coordinate IFS is exponentially separated.

desk verdict Strong resolution of Rapaport's conjecture with a real but localized gap: several load-bearing lemmas are deferred to 'almost identical' arguments from the 1-dimensional-subgroup setting. read the letter →

arxiv 2501.17378 v2 pith:PR6D236F submitted 2025-01-29 math.DS

Zhou Feng This is my paper · ORCID
classification math.DS MSC 28A8037C45
keywords self-affinemeasuresHausdorffdimensionLyapunovexponentialseparationdiagonaliteratedfunctionsystemsentropyincreasemeasuredisintegrationexactdimensionality
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The paper proves a dimension formula for a wide class of diagonal self-affine measures: if the Lyapunov exponents are pairwise distinct and each one-dimensional coordinate system is exponentially separated, then the Hausdorff dimension of the measure equals the smaller of the ambient dimension $d$ and the Lyapunov dimension built from the contraction rates and the entropy of the weight vector. This settles a conjecture from [46], where the same conclusion was known only under an extra assumption that all linear parts lie in a one-parameter subgroup. A sympathetic reader should care because the dimension of self-affine measures with overlaps is generally open, and this gives an explicit, checkable answer for an entire class of overlapping diagonal systems. The proof works by disintegrating the measure into random measures with a convolution structure, proving they are exact dimensional, and establishing an entropy-increase estimate for repeated self-convolutions.

What carries the argument

The central mechanism is a disintegration of the Bernoulli coding measure $\beta$ according to diagonal linear parts at scale $N$: two sequences share a $\Gamma$-atom when $A_{\phi_{x|N}}=A_{\phi_{y|N}}$, and the tail $\sigma$-algebra is $\mathcal{A}=\bigvee_{n\ge0}T^{-n}\Gamma$. This produces random measures $\mu_\omega=\Pi\beta_\omega$ on $\mathbb{R}^d$ satisfying $\mu_\omega=\nu_\omega^n*A_{\omega|n}\mu_{T^n\omega}$, a dynamical self-affinity that gives each $\mu_\omega$ a convolution structure at every scale. The paper proves an entropy-dimension formula asserting that the projections $\pi_J\mu_\omega$ are exact dimensional, and an entropy-increase theorem: convolving any measure with positive $E_\omega^n$-entropy against $\mu_\omega$ raises entropy by at least $N\kappa_{\mathcal{A}}+\delta$ along the nonconformal partitions $E_\omega^n=A_{\omega|n}D_0$ (images of the unit dyadic grid under the current linear part). Together these imply the intermediate formula $\dim\mathcal{A}=\min\{d,f_\Phi(h_{RW}(\Phi,\mathcal{A}))\}$, and letting $N\to\infty$ yields the main theorem.

What would settle it

Take the explicit two-map example from Example 1.7 with distinct prime ratios $a=q_1/q_2$, $b=q_2/q_3$ and weight $p_1\in(0,1/2)$; the theorem predicts $\dim\mu=\min\{2,\dim_L(\Phi,p)\}$, so a rigorous numerical or analytic computation giving a strictly smaller local dimension on a positive-measure set would falsify Theorem 1.3.

Watch

Extended reading notes

Core claim

On the paper's own terms, the central claim is Theorem 1.3. Let $\Phi$ be a finite diagonal affine IFS on $\mathbb{R}^d$, with maps $\phi_i(x)=\mathrm{diag}(r_{i,1},\dots,r_{i,d})x+t_i$, let $p$ be a probability vector, and let $\chi_j=\sum_i -p_i\log|r_{i,j}|$ be the $j$-th Lyapunov exponent. If $\chi_1<\dots<\chi_d$ and each one-dimensional coordinate IFS $\Phi_j$ is exponentially separated, then $\dim\mu=\min\{d,\dim_L(\Phi,p)\}$, where $\dim_L$ is the Lyapunov dimension defined by the piecewise-linear function $f_\Phi$ in (1.4)--(1.5). Exponential separation means the minimal gap between distinct length-$n$ compositions of each coordinate system decays no faster than $c^n$ for some $c>0$. Earlier work in [46] proved the formula only when the diagonal linear parts lie in a one-dimensional multiplicative subgroup; the paper removes that restriction by replacing cut-set constructions with a disintegration of the Bernoulli coding measure into random measures $\mu_\omega$ that are dynamically self-affine, exact dimensional, and satisfy an entropy-dimension formula and an entropy-increase theorem. The main theorem is obtained by letting the block length tend to infinity.

Load-bearing premise

The main theorem rests on the stated assumptions of distinct Lyapunov exponents and exponential separation of each coordinate IFS, and additionally on the combinatorial bound that only polynomially many distinct diagonal linear parts occur among words of length $N$, i.e. $|\Gamma|\le O(N^{2|\Lambda|})$; this unstated bound is what lets the block length tend to infinity and recover the Lyapunov dimension.

Editorial extensions

If this is right

  • For every diagonal self-affine measure satisfying the two hypotheses, the Hausdorff dimension is now explicitly computable from the contraction rates and weights, even when the pieces overlap.
  • If the coordinate systems are given by algebraic parameters and have no exact overlaps, Corollary 1.6 yields the same dimension formula without further case checks.
  • For Lebesgue-typical parameter choices, Corollary 1.8 shows the dimension equals $\min\{d,\dim_L(\Phi,p)\}$ outside a small exceptional set, so the formula is not confined to specially constructed examples.
  • In the planar case, Corollary 1.9 characterizes ergodic measures of full dimension on certain overlapping diagonal self-affine sets as exactly the Bernoulli measures with singular-value weights, and Corollary 1.10 gives the dimensions of their orthogonal projections in non-axis directions.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The success of the random-measure disintegration suggests that the one-parameter subgroup restriction in [46] was not a genuine barrier; block-diagonal or simultaneously triangulable affine systems may be approachable by the same route, though the entropy-increase estimates would need to be rebuilt.
  • The paper notes but does not pursue the possibility that its typical dimension result, combined with known Fourier decay estimates, could imply typical absolute continuity of diagonal self-affine measures; that implication remains unproved.
  • Because Remark 1.4 exhibits an example with equal Lyapunov exponents where the dimension formula fails, any extension to non-distinct exponents must introduce a saturation mechanism rather than merely weakening the separation assumptions.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 5 minor

Summary. The paper proves Rapaport's conjecture that a diagonal self-affine measure on R^d has dimension equal to min{d, dim_L(Φ,p)} whenever the Lyapunov exponents are distinct and each one-dimensional coordinate IFS is exponentially separated. The proof strategy disintegrates the Bernoulli measure β according to the linear parts of the IFS, obtaining random measures μ_ω with a convolution structure, establishes exact dimensionality and a Ledrappier-Young type formula for these disintegrations (Theorem 3.2), and then proves a central entropy increase result (Theorem 7.1) for the random measures via non-conformal partitions. This entropy increase is the engine behind Theorem 8.2 and the main Theorem 1.12, from which Theorem 1.3 is derived by a limiting argument. The paper also derives several applications, including a typical dimension result and a characterization of full-dimension measures on certain diagonal self-affine carpets.

Significance. If the proof is fully valid, the result is a substantial advance: it removes the 1-dimensional subgroup assumption that was essential in Rapaport's original argument, thereby confirming a conjecture and extending the dimension theory of diagonal self-affine measures to a natural general setting. The introduction of random measures with convolution structure and the adaptation of Hochman–Rapaport entropy techniques to this setting are likely to be influential. The paper also contains useful applications, such as Corollary 1.6 for algebraic parameters and Corollary 1.9 on measures of full dimension. However, the significance is presently qualified by the fact that several load-bearing lemmas in the entropy increase argument are stated without proof; the central claim is credible but not yet fully verified as written.

major comments (3)
  1. [Section 5 and Section 7, Lemma 5.3, Lemma 5.4, Lemma 7.2] The proof of Theorem 7.1, which is the core entropy increase result, depends on Lemmas 5.3, 5.4, and 7.2, whose proofs are omitted with justifications such as 'the proof is almost identical to [26, Lemma 4.4]' or 'is therefore omitted.' Since the paper's main contribution is precisely the removal of the 1-dimensional subgroup assumption used in [46], these adaptations must be shown in detail. In particular, the author should verify explicitly that the proofs of Lemmas 5.3 and 5.4 do not secretly rely on the existence of cut-sets satisfying (1.19) or on the subgroup condition. If any of these lemmas do require that condition, then Theorem 7.1 and consequently Theorem 1.3 would lack support in the full diagonal case. I request full proofs or a detailed appendix spelling out the modifications needed in the random-measure setting.
  2. [Section 4, Lemma 4.2] Lemma 4.2 is used in the proof of Theorem 7.1 at equation (7.2), where it provides the asymptotic relation between n^{-1}H(θ∗k_j∗μ_ω, E^ω_n) and an average of conditional entropies over scales. The lemma is an adaptation of [26, Lemma 3.4] to the non-conformal partitions E^ω_n, but no proof is supplied. Since the partition family depends on ω and the convolution structure of the random measures is essential, the adaptation is not purely mechanical; the author should provide a complete proof or at least a detailed indication of how the original proof transfers to this setting.
  3. [Section 1.3, Reduction of Theorem 1.3] The estimate H(β, ∨_{i=0}^{n-1} T^{-i}Γ) ≤ n log|Γ| ≤ 2n|Λ| log N is used to show that h_RW(Φ,A) → H(p) as N→∞. The second inequality relies on the fact that |Γ| = O(N^{|Λ|-1}), which holds because the diagonal matrices {A_i} commute and Aφ_{x|N} depends only on the count vector of the symbols in x|N. This elementary bound is not stated or proved, and it is load-bearing for the reduction. I recommend adding a short explicit derivation of the polynomial bound on |Γ|.
minor comments (5)
  1. [Abstract and Section 1.1] The phrase 'the j-th the Lyapunov exponent' contains an extra 'the'; this typo appears in the abstract and in the introduction.
  2. [Theorem 1.12] The statement reads 'Φj is Diophantine and for 1 ≤ j ≤ d'; the word 'for' appears twice and the intended statement is 'Φj is Diophantine for 1 ≤ j ≤ d'.
  3. [Lemma 6.5, proof] In the proof of Lemma 6.5, the displayed integral uses π_{[d-1]}μ_{T^nω}, but the lemma is stated for an arbitrary J ⊂ [d]. The integrand should be π_Jμ_{T^nω}; this appears to be a typographical error, since the surrounding text uses π_J.
  4. [References] In reference [5], the author name is corrupted as 'Micha/suppress l Rams'; this should be corrected.
  5. [Section 1.3, equation (1.19)] The relation 'Aϕ_u ≈ Aϕ_v' is described as 'entrywise comparable', but the exact meaning of ≈ (with implicit constants) is not made precise; please define it.

Circularity Check

0 steps flagged · score 2.0 of 10

No significant circularity: the main theorem is derived from external results and the paper's own random-measure machinery; the only self-citation is a footnote-level conjecture and is not load-bearing.

full rationale

The paper's central derivation chain is not circular. Theorem 1.3 is reduced to Theorem 1.12 in Section 1.3, and the reduction uses the bound H(β, ∨_{i=0}^{n-1} T^{-i}Γ) ≤ n log|Γ| ≤ 2n|Λ| log N. The second inequality is not proved in the text, but it is an elementary counting fact: since the diagonal matrices A_i commute, A_{x|N} depends only on the count vector of symbols in x|N, so |Γ| is at most binomial(N+|Λ|-1, |Λ|-1), which is polynomial in N. Thus the flagged bound is valid and h_RW(Φ,A) → H(p) follows; no fitted input is renamed as a prediction. The entropy-increase engine, Theorem 7.1, is adapted from Rapaport's external work [46], and the omitted proofs of Lemmas 5.3, 5.4, and 7.2 are explicitly described as 'almost identical' to results in [46]. This is a proof-completeness concern, not circularity: the cited lemmas are external and the paper does not invoke them as prior results of its own. The only self-citation, [18], appears in a footnote on page 4 as a belief about extending [49] from rational to algebraic translations; it is conjectural and does not support Theorem 1.3. No equation reduces the conclusion to its own input by construction, and the result is not obtained by renaming a known empirical pattern. Accordingly, the circularity score is low.

Assumptions & free parameters 0 free parameters · 6 assumptions · 0 invented entities

The proof rests on standard ergodic theory and on external theorems (Hochman, Rapaport, Feng, Jordan-Pollicott-Simon). The theorem-specific hypotheses (distinct Lyapunov exponents, exponential separation) are explicit assumptions. No free parameters are fitted; the dimension formula contains no adjustable constants. One unproved combinatorial growth fact about |Γ| is load-bearing and is flagged.

assumptions (6)
  • domain assumption The ambient IFS Φ is diagonal with contraction factors 0<|ri,j|<1 (Eq. 1.3).
    This is the setting of the theorem; the diagonal form is used throughout, e.g., in the commutation of linear parts and in the nonconformal partitions E_ω_n.
  • domain assumption Lyapunov exponents are distinct, χ1 < ... < χd.
    Assumed in Theorem 1.3 and used crucially in the entropy increase result (e.g., choice of coordinate j in Proposition 5.1) and in the variance estimates of Lemma 5.2.
  • domain assumption Each coordinate IFS Φ_j is exponentially separated.
    Key separation hypothesis (Definition 1.1); used to guarantee S_n(Φ) decays at most exponentially (Section 8) and to verify the no-overlap assumption of Theorem 1.12.
  • standard math Standard results of ergodic theory and conditional measures (Rokhlin disintegration, Birkhoff and Maker ergodic theorems, entropy identities Lemma 2.1) hold.
    These are cited to [12, 38, 43, 50, 56] and used throughout Sections 2-3.
  • standard math Prior theorems of Hochman [26,27], Rapaport [46], Feng [17,19], Jordan-Pollicott-Simon [32], Fraser [23], and Pyörälä [45] are valid.
    These are established external theorems used as tools; the paper adapts arguments from [46] and [26].
  • ad hoc to paper The number of distinct diagonal matrices Aφ_{x|N} over words x ∈ Λ^N grows at most polynomially in N, so log|Γ| = O(log N).
    Used without proof in the reduction of Theorem 1.3 from Theorem 1.12 (Section 1.3, line 'H(...) ≤ n log|Γ| ≤ 2n|Λ| log N'). It is true for commuting diagonal matrices but is not stated as a lemma or cited.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Dimension of diagonal self-affine measures with exponentially separated projections." pith.science (2026). https://pith.science/paper/PR6D236F

@misc{pith2026250117378,
  author       = {Pith},
  title        = {Pith review of: Dimension of diagonal self-affine measures with exponentially separated projections},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/PR6D236F}},
  note         = {Machine review of arXiv:2501.17378}
}
abstract

Let $ \mu $ be a self-affine measure associated with a diagonal affine iterated function system (IFS) $ \Phi = \{ (x_{1}, \ldots, x_{d}) \mapsto ( r_{i, 1}x_{1} + t_{i,1}, \ldots, r_{i,d}x_{d} + t_{i,d}) \}_{i\in\Lambda} $ on $ \mathbb{R}^{d} $ and a probability vector $ p = (p_{i})_{i\in\Lambda}$. For $ 1 \leq j \leq d $, denote the $ j $-th the Lyapunov exponent by $ \chi_{j} := \sum_{i\in\Lambda} - p_{i} \log | r_{i,j} |$, and define the IFS induced by $ \Phi $ on the $j$-th coordinate as $ \Phi_{j} := \{ x \mapsto r_{i,j}x + t_{i,j}\}_{i\in\Lambda}$. We prove that if $ \chi_{j_{1}} \neq \chi_{j_{2}} $ for $ 1 \leq j_{1} < j_{2} \leq d $, and $ \Phi_{j}$ is exponentially separated for $ 1 \leq j \leq d $, then the dimension of $ \mu $ is the minimum of $ d $ and its Lyapunov dimension. This confirms a conjecture of Rapaport by removing the additional assumption that the linear parts of the maps in $ \Phi $ are contained in a 1-dimensional subgroup. One of the main ingredients of the proof involves disintegrating $ \mu $ into random measures with convolution structure. In the course of the proof, we establish new results on dimension and entropy increase for these random measures.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

57 extracted references · 54 canonical work pages

  1. [26]

    On self-similar sets with overlaps an d inverse theorems for entropy

    Michael Hochman. On self-similar sets with overlaps an d inverse theorems for entropy. Ann. of Math. (2) , 180(2):773–822, 2014

    work page 2014

  2. [46]

    Dimension of diagonal self-affine sets a nd measures via non-conformal partitions

    Ariel Rapaport. Dimension of diagonal self-affine sets a nd measures via non-conformal partitions. arXiv preprint arXiv:2309.03985 , 2023

    arXiv 2023

  3. [18]

    Dimension of homogeneous iterated function systems with algebraic translations

    De-Jun Feng and Zhou Feng. Dimension of homogeneous ite rated function systems with algebraic translations. arXiv preprint arXiv:2405.03124 , 2024

    work page Pith review arXiv 2024

  4. [1]

    On normal nu mbers and self-similar measures

    Amir Algom, Simon Baker, and Pablo Shmerkin. On normal nu mbers and self-similar measures. Adv. Math., 399:Paper No. 108276, 17, 2022

    work page 2022

  5. [2]

    Polynomial Fourier decay for fractal measures and their pushforwards

    Simon Baker and Amlan Banaji. Polynomial Fourier decay f or fractal measures and their pushforwards. arXiv preprint arXiv:2401.01241 , 2024. To appear in Math. Ann

    work page Pith review arXiv 2024

  6. [3]

    Hausdorff dimension of the limit se ts of some planar geometric con- structions

    Krzysztof Bara´ nski. Hausdorff dimension of the limit se ts of some planar geometric con- structions. Adv. Math., 210(1):215–245, 2007

    work page 2007

  7. [4]

    Ledrappier-Young formula and exact dimensionality of self-affine measures

    Bal´ azs B´ ar´ any and Antti K¨ aenm¨ aki. Ledrappier-Young formula and exact dimensionality of self-affine measures. Adv. Math., 318:88–129, 2017

    work page 2017

  8. [5]

    On the dimension of self-affine sets and measures with overlaps

    Bal´ azs B´ ar´ any, Micha/suppress l Rams, and K´ aroly Simon. On the dimension of self-affine sets and measures with overlaps. Proc. Amer. Math. Soc. , 144(10):4427–4440, 2016

    work page 2016

Show all 57 references
  1. [6]

    Bal´ azs B´ ar´ any, Michael Hochman, and Ariel Rapaport.Hausdorff dimension of planar self-affine sets and measures. Invent. Math. , 216(3):601–659, 2019

    2019

  2. [7]

    American Mathematical Society, Providence, RI, 2023

    Bal´ azs B´ ar´ any, K´ aroly Simon, and Boris Solomyak.Self-similar and self-affine sets and measures, volume 276 of Mathematical Surveys and Monographs . American Mathematical Society, Providence, RI, 2023

    2023

  3. [8]

    Non-uniqueness of ergodi c measures with full Hausdorff dimensions on a Gatzouras-Lalley carpet

    Julien Barral and De-Jun Feng. Non-uniqueness of ergodi c measures with full Hausdorff dimensions on a Gatzouras-Lalley carpet. Nonlinearity, 24(9):2563–2567, 2011

    2011

  4. [9]

    Crinkly curves, markov partitions and dime nsion

    Tim Bedford. Crinkly curves, markov partitions and dime nsion. University of Warwick , 1984

    1984

  5. [10]

    Scaling limits of self- conformal measures

    Bal´ azs B´ ar´ any, Antti K¨ aenm¨ aki, Aleksi Py¨ or¨ al¨a, and Meng Wu. Scaling limits of self- conformal measures. arXiv preprint arXiv:2308.11399 , 2023

    2023 arXiv

  6. [11]

    The Hausdorff and dynamica l dimensions of self-affine sponges: a dimension gap result

    Tushar Das and David Simmons. The Hausdorff and dynamica l dimensions of self-affine sponges: a dimension gap result. Invent. Math. , 210(1):85–134, 2017

    2017

  7. [12]

    Ergodic theory with a view towards number theory , volume 259 of Graduate Texts in Mathematics

    Manfred Einsiedler and Thomas Ward. Ergodic theory with a view towards number theory , volume 259 of Graduate Texts in Mathematics . Springer-Verlag London, Ltd., London, 2011

    2011

  8. [13]

    Falconer

    Kenneth J. Falconer. The Hausdorff dimension of self-affine fractals. Math. Proc. Cambridge Philos. Soc., 103(2):339–350, 1988

    1988

  9. [14]

    Falconer

    Kenneth J. Falconer. Fractal geometry: Mathematical foundations and applicati ons. John Wiley & Sons, Inc., Hoboken, NJ, second edition, 2003. Mathe matical foundations and applications

    2003

  10. [15]

    Falconer and Xiong Jin

    Kenneth J. Falconer and Xiong Jin. Exact dimensionalit y and projections of random self- similar measures and sets. J. Lond. Math. Soc. (2) , 90(2):388–412, 2014. 44

    2014

  11. [16]

    Falconer and Tom Kempton

    Kenneth J. Falconer and Tom Kempton. The dimension of pr ojections of self-affine sets and measures. Ann. Acad. Sci. Fenn. Math. , 42(1):473–486, 2017

    2017

  12. [17]

    Dimension of invariant measures for affine i terated function systems

    De-Jun Feng. Dimension of invariant measures for affine i terated function systems. Duke Math. J. , 172(4):701–774, 2023

    2023

  13. [19]

    Dimension theory of iterated fu nction systems

    De-Jun Feng and Huyi Hu. Dimension theory of iterated fu nction systems. Comm. Pure Appl. Math. , 62(11):1435–1500, 2009

    2009

  14. [20]

    A class of self-affine sets and s elf-affine measures

    De-Jun Feng and Yang Wang. A class of self-affine sets and s elf-affine measures. J. Fourier Anal. Appl., 11(1):107–124, 2005

    2005

  15. [21]

    Fraser, and Tuomas Sahlsten

    Andrew Ferguson, Jonathan M. Fraser, and Tuomas Sahlsten. Scaling scenery of (×m, ×n) invariant measures. Adv. Math., 268:564–602, 2015

    2015

  16. [22]

    Jonathan M. Fraser. On the packing dimension of box-lik e self-affine sets in the plane. Nonlinearity, 25(7):2075–2092, 2012

    2012

  17. [23]

    Jonathan M. Fraser. Remarks on the analyticity of subad ditive pressure for products of triangular matrices. Monatsh. Math. , 177(1):53–65, 2015

    2015

  18. [24]

    Lq dimensions and projections of random measures

    Daniel Galicer, Santiago Saglietti, Pablo Shmerkin, a nd Alexia Yavicoli. Lq dimensions and projections of random measures. Nonlinearity, 29(9):2609–2640, 2016

    2016

  19. [25]

    The variational p rinciple for Hausdorff dimension: a survey

    Dimitrios Gatzouras and Yuval Peres. The variational p rinciple for Hausdorff dimension: a survey. In Ergodic theory of Zd actions (Warwick, 1993–1994) , volume 228 of London Math. Soc. Lecture Note Ser. , pages 113–125. Cambridge Univ. Press, Cambridge, 1996

    1993

  20. [27]

    On self-similar sets with overlaps an d inverse theorems for entropy in Rd

    Michael Hochman. On self-similar sets with overlaps an d inverse theorems for entropy in Rd. arXiv preprint arXiv:1503.09043 , 2017. To appear in Mem. Amer. Math. Soc

    2017 arXiv

  21. [28]

    Dimension theory of self-similar set s and measures

    Michael Hochman. Dimension theory of self-similar set s and measures. In Proceedings of the International Congress of Mathematicians—Rio de Janei ro 2018. Vol. III. Invited lectures, pages 1949–1972. World Sci. Publ., Hackensack, NJ, 2018

    2018

  22. [29]

    Hausdorff dimensio n of planar self-affine sets and measures with overlaps

    Michael Hochman and Ariel Rapaport. Hausdorff dimensio n of planar self-affine sets and measures with overlaps. J. Eur. Math. Soc. (JEMS) , 24(7):2361–2441, 2022

    2022

  23. [30]

    Local entropy aver ages and projections of fractal measures

    Michael Hochman and Pablo Shmerkin. Local entropy aver ages and projections of fractal measures. Ann. of Math. (2) , 175(3):1001–1059, 2012

    2012

  24. [31]

    Hutchinson

    John E. Hutchinson. Fractals and self-similarity. Indiana Univ. Math. J. , 30(5):713–747, 1981

    1981

  25. [32]

    Haus dorff dimension for randomly perturbed self affine attractors

    Thomas Jordan, Mark Pollicott, and K´ aroly Simon. Haus dorff dimension for randomly perturbed self affine attractors. Comm. Math. Phys. , 270(2):519–544, 2007

    2007

  26. [33]

    On natural invariant measures on generalised iterated function systems

    Antti K¨ aenm¨ aki. On natural invariant measures on generalised iterated function systems. Ann. Acad. Sci. Fenn. Math. , 29(2):419–458, 2004

    2004

  27. [34]

    Absolute continuity in families of parametrised non-homogeneous self-similar measures

    Antti K¨ aenm¨ aki and Tuomas Orponen. Absolute continuity in families of parametrised non-homogeneous self-similar measures. J. Fractal Geom., 10(1-2):169–207, 2023

    2023

  28. [35]

    Measures of full dimens ion on affine-invariant sets

    Richard Kenyon and Yuval Peres. Measures of full dimens ion on affine-invariant sets. Ergodic Theory Dynam. Systems , 16(2):307–323, 1996. 45

    1996

  29. [36]

    Lalley and Dimitrios Gatzouras

    Steven P. Lalley and Dimitrios Gatzouras. Hausdorff and box dimensions of certain self- affine fractals. Indiana Univ. Math. J. , 41(2):533–568, 1992

    1992

  30. [37]

    The metric entropy of diffeomorphisms

    Fran¸ cois Ledrappier and Lai-Sang Young. The metric entropy of diffeomorphisms. I. Char- acterization of measures satisfying Pesin’s entropy formu la. II. Relations between entropy, exponents and dimension. Ann. of Math. (2) , 122(3):509–574, 1985

    1985

  31. [38]

    Philip T. Maker. The ergodic theorem for a sequence of fu nctions. Duke Math. J. , 6:27–30, 1940

    1940

  32. [39]

    The Hausdorff dimension of general Sierp i´ nski carpets.Nagoya Math

    Curt McMullen. The Hausdorff dimension of general Sierp i´ nski carpets.Nagoya Math. J. , 96:1–9, 1984

    1984

  33. [40]

    Morris and C ¸ a˘ grı Sert

    Ian D. Morris and C ¸ a˘ grı Sert. A converse statement to hutchinson’s theorem and a dimen- sion gap for self-affine measures. J. Eur. Math. Soc. (JEMS) , 2022

    2022

  34. [41]

    Morris and C ¸ a˘ grı Sert

    Ian D. Morris and C ¸ a˘ grı Sert. A variational principlerelating self-affine measures to self- affine sets. arXiv preprint arXiv:2303.03437 , 2023

    2023 arXiv

  35. [42]

    Morris and Pablo Shmerkin

    Ian D. Morris and Pablo Shmerkin. On equality of Hausdor ff and affinity dimensions, via self-affine measures on positive subsystems. Trans. Amer. Math. Soc. , 371(3):1547–1582, 2019

    2019

  36. [43]

    Topics in ergodic theory , volume 75 of Cambridge Tracts in Mathematics

    William Parry. Topics in ergodic theory , volume 75 of Cambridge Tracts in Mathematics . Cambridge University Press, Cambridge-New York, 1981

    1981

  37. [44]

    Resonance between Cantor sets

    Yuval Peres and Pablo Shmerkin. Resonance between Cantor sets. Ergodic Theory Dynam. Systems, 29(1):201–221, 2009

    2009

  38. [45]

    The dimension of projections of planar diagonal self-affine measures

    Aleksi Py¨ or¨ al¨ a. The dimension of projections of planar diagonal self-affine measures. Ann. Fenn. Math., 50(1):59–78, 2025

    2025

  39. [47]

    On self-affine measures associated to st rongly irreducible and proximal systems

    Ariel Rapaport. On self-affine measures associated to st rongly irreducible and proximal systems. Adv. Math., 449:Paper No. 109734, 116, 2024

    2024

  40. [48]

    Dimension of self-conformal measures associated to an exponentially sep- arated analytic IFS on R

    Ariel Rapaport. Dimension of self-conformal measures associated to an exponentially sep- arated analytic IFS on R. arXiv preprint arXiv:2412.16753 , 2024

    2024 arXiv

  41. [49]

    Dimension of bernoulli c onvolutions in Rd

    Ariel Rapaport and Haojie Ren. Dimension of bernoulli c onvolutions in Rd. arXiv preprint arXiv:2406.05495, 2024

    2024 arXiv

  42. [50]

    Vladimir A. Rohlin. On the fundamental ideas of measure theory. Amer. Math. Soc. Translation, 1952(71):55, 1952

    1952

  43. [51]

    Absolute continuity of non- homogeneous self-similar measures

    Santiago Saglietti, Pablo Shmerkin, and Boris Solomya k. Absolute continuity of non- homogeneous self-similar measures. Adv. Math., 335:60–110, 2018

    2018

  44. [52]

    Measure and dimension for some fractal families

    Boris Solomyak. Measure and dimension for some fractal families. Math. Proc. Cambridge Philos. Soc., 124(3):531–546, 1998

    1998

  45. [53]

    Fourier decay for homogeneous self-affi ne measures

    Boris Solomyak. Fourier decay for homogeneous self-affi ne measures. J. Fractal Geom. , 9 (1-2):193–206, 2022

    2022

  46. [54]

    Absolute continuity of self-similar measures on t he plane

    Boris Solomyak and Adam ´Spiewak. Absolute continuity of self-similar measures on t he plane. arXiv preprint arXiv:2301.10620 , 2023. To appear in Indiana Univ. Math. J

    2023 arXiv

  47. [55]

    P´ eter P. Varj´ u. Self-similar sets and measures on theline. In ICM—International Congress of Mathematicians. Vol. V. Sections 9–11 , pages 3610–3634. EMS Press, Berlin, 2023. 46

    2023

  48. [56]

    An introduction to ergodic theory , volume 79 of Graduate Texts in Mathe- matics

    Peter Walters. An introduction to ergodic theory , volume 79 of Graduate Texts in Mathe- matics. Springer-Verlag, New York-Berlin, 1982

    1982

  49. [57]

    Dimension, entropy and Lyapunov expone nts

    Lai Sang Young. Dimension, entropy and Lyapunov expone nts. Ergodic Theory Dynam. Systems, 2(1):109–124, 1982. F aculty of Mathematics, Technion - Israel Institute of Tech nonlogy, Haifa, Israel Email address : zfeng@campus.technion.ac.il 47

    1982

Pith tools

Reviewed August 10, 2026 · model on record in the stance chip above.