REVIEW 2 major objections 6 minor 41 references
Recent progress on pointwise normality of self-similar measures
T0 review · 2 major / 6 minor · reviewed 2026-08-16 · deepseek-v4-flash
Pith's one-line read A self-similar measure whose Fourier transform vanishes at infinity is pointwise absolutely normal, with no rate of decay needed.
desk verdict A readable, honest survey with a self-contained proof of a known theorem; the proof is sound in substance but the opening reduction to [0,1] is not justified as written. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The load-bearing mechanism is the orbit-comparison theorem stated as Theorem 2.1: for a compact space, a continuous map $T$, and a refining sequence of Borel partitions $A_k$ satisfying uniform diameter decay (2.2), the empirical orbit averages $\frac1N\sum_{n=1}^N \delta_{T^n x}$ and the averages of pushed conditional measures $\frac1N\sum_{n=1}^N T^n \nu_{A_n(x)}$ have the same weak-* limit for $\nu$-almost every $x$. The proof of Theorem 1.2 applies this on the space $\mathcal{A}^{\mathbb{N}}\times\mathbb{T}$, where the partitions are cut by stopping times $\tau_n(\omega)$ chosen so that the derivative of the cylinder map is roughly $b^{-n}$; condition (2.2) is verified through the uniform lower bound $\tau_n(\omega)\ge c n$ together with the uniform boundedness of the contraction ratios. This reduction turns base-$b$ normality into a Fourier statement: along the pushed measures, every nonzero integer frequency is multiplied by a factor bounded below by $c|E|$, so the Rajchman property forces the relevant Fourier coefficients to zero.
What would settle it
Construct (or find) a non-atomic self-similar measure $\nu$ with $F_\xi(\nu)\to 0$ as $|\xi|\to\infty$ but with a positive-$\nu$ set of points that fail to be $b$-normal in some integer base $b\ge2$. The theorem predicts no such measure exists, so a concrete example, or an explicit numerical computation of orbit statistics for a candidate measure showing non-equidistribution on a set of positive measure, would settle the claim.
Extended reading notes
Core claim
The central claim is Theorem 1.2: every non-atomic self-similar measure $\nu$ on $\mathbb{R}$ with the Rajchman property — $\widehat{\nu}(\xi)=\int e^{2\pi i \xi x}\,d\nu(x)\to 0$ as $|\xi|\to\infty$ — is pointwise absolutely normal, meaning $\nu$-almost every $x$ is normal to every integer base $b\ge 2$. The proof given here does not require any rate of decay, which is precisely the improvement over the 1964 criterion. The argument fixes a base $b$, applies the orbit-comparison theorem to the graph of the coding map over $\mathcal{A}^{\mathbb{N}}\times\mathbb{T}$, and reduces $b$-normality to vanishing of Fourier coefficients of pushed conditional measures; the Rajchman property supplies that vanishing uniformly because the pushed frequencies are bounded below by $c|E|$. From this the paper derives a structural classification: if a self-similar measure is not pointwise absolutely normal, then after an affine conjugation its IFS has contraction ratios whose logarithms are rational multiples of $\log b$ and translations of the form $k/b^q$ for some integer $b>1$, so the failure is caused by digit-like restrictions.
Load-bearing premise
The load-bearing premise is the uniform shrinking condition (2.2): the diameters of the stopping-time partition cells must tend to zero uniformly after $B$ iterates of the base-$b$ map, which the proof obtains from the uniform lower bound $\tau_n(\omega)\ge c n$ and from the contraction ratios of the IFS being bounded away from 1. If an IFS had contraction ratios accumulating at 1, this uniform estimate would break and the transfer argument would no longer go through.
Editorial extensions
If this is right
- Every Rajchman self-similar measure is pointwise absolutely normal; no decay rate is needed.
- If a self-similar measure is not pointwise absolutely normal, its IFS must admit an affine conjugation under which the logarithms of the contraction ratios are rational multiples of $\log b$ and the translations are of the form $k/b^q$ — digit restrictions are essentially the only obstruction.
- If even one contraction ratio has logarithm not rationally commensurate with $\log b$, then almost every point of the attractor is $b$-normal.
- The theorem gives a route to absolutely normal numbers inside singular fractal sets with Fourier decay, including many self-similar sets with overlaps.
- Effective versions of the equidistribution remain open: the martingale argument is qualitative, so rates of convergence are not supplied.
Reading between the lines
- The proof relies on affine structure to shift Fourier frequencies by a factor bounded below; a natural extension would test whether vanishing Fourier decay still forces normality for non-conformal IFSs, where the same frequency-shift argument needs a nonlinear analogue.
- A concrete numerical test would sample points from a Rajchman self-similar measure with overlaps and estimate base-2 digit frequencies over long blocks; the theorem predicts convergence with no exceptional digits, and the observed rate would measure how far the qualitative theorem is from an effective one.
- The contrapositive suggests a sharper, unproved link: inside a self-similar measure, positive measure failure of absolute normality should force the Fourier transform to have a nonzero accumulation point at infinity, and one could investigate whether the size of the exceptional set is governed by the rate of Fourier growth.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper is an expository article on recent progress toward proving pointwise normality of typical points in the support of self-similar measures on the real line. Its main technical contribution is an essentially self-contained proof of Theorem 1.2: every non-atomic self-similar measure whose Fourier transform vanishes at infinity (a Rajchman measure) is pointwise absolutely normal. The proof combines Hochman's equidistribution theorem (Theorem 2.1) with a stopping-time transfer argument that reduces the problem to the Rajchman property at rescaled frequencies. The paper also explains how Theorem 1.2, together with a normality criterion from Algom--Baker--Shmerkin and Barany--Kaenmaki--Pyorala--Wu, and the recent classification of Rajchman self-similar measures by Li--Sahlsten and Bremont, yields a structural description of self-similar measures that fail to be pointwise absolutely normal (Theorem 1.1). Several open problems are discussed, concerning effective equidistribution, non-integer bases, and higher-order correlations.
Significance. If the proof is correct after the gaps noted below are fixed, Theorem 1.2 is a substantial improvement over the classical Davenport--Erdos--LeVeque criterion for self-similar measures, because it requires no quantitative decay rate on the Fourier transform. The paper gives a valuable, largely self-contained exposition of Hochman's method and makes explicit how the Rajchman property alone forces absolute normality for this class. The discussion of open problems, especially the non-integer base case and higher-order correlations, is thoughtful and well connected to recent literature. The paper also includes a complete proof of Theorem 2.1, which is a useful pedagogical contribution. These strengths make the paper potentially valuable to researchers in metric number theory and fractal geometry.
major comments (2)
- [Section 3, opening paragraph] The reduction "Without the loss of generality we may assume that Φ preserves the interval I=[0,1]" is not justified by an arbitrary affine conjugacy, because pointwise absolute normality is not invariant under general real affine maps. The subsequent proof is coordinate-free and works for any invariant compact interval; please either carry a general interval I through the proof or explicitly state that the proof is written for I=[0,1] only for notational convenience and that no transfer of normality under a change of variables is being used. As written, the proof of Theorem 1.2 covers only measures with an invariant interval [0,1].
- [Section 3.3, Eq. (3.7)] The sufficient condition (3.7) bounds only the single term |F_E(T_b^B ∘ φ_{ω|τ_B(ω)}_* ν)|, but Lemma 3.2 involves the Cesàro average (1/N)Σ_{n=0}^{N-1} T_b^n ∘ φ_{ω|τ_B(ω)}_* ν. To conclude the desired limsup bound, one must additionally argue that for n≥B the frequencies E b^n φ'_{ω|τ_B(ω)}(0) have magnitude at least |E|c0 so the same Rajchman estimate applies, and that the finitely many n<B terms contribute negligibly to the Cesàro average. This argument is missing. Relatedly, the statement of Lemma 3.2 should quantify B explicitly ("for every B∈N").
minor comments (6)
- [Section 3.3, first sentence] The sentence "We are now in position to prove Theorem 1.3" should read "Theorem 1.2".
- [Section 3.3, after Eq. (3.7)] The phrase "if R=R·c0" appears to be a typo; it should be "if R=R'/c0".
- [Lemma 3.2, statement] The lemma statement uses τ_B(ω) but does not quantify B; add "for every B∈N" to the statement.
- [Lemma 3.2, proof] The text says "the diameter of the projection of T^B A to the first coordinate" twice; the second occurrence should refer to the second coordinate.
- [Section 1, paragraph after Theorem 1.2] The phrase "We note, however, the such bounds are usually hard to obtain" contains a grammatical error; "the such" should be "such".
- [Abstract] There is a typographical spacing issue in "The orem" in the abstract; this should be corrected.
Circularity Check
No circularity: Theorem 1.2 is derived from the exogenous Rajchman hypothesis and Hochman's equidistribution theorem; self-citations are provenance only.
full rationale
I checked the derivation chain leading to Theorem 1.2, which is the paper's main proof. Section 3.1 reduces pointwise b-normality to Fourier-smallness of empirical orbit measures (Lemma 3.1); this is a standard Weyl-criterion reformulation and does not build normality into the input. Section 3.2 applies Hochman's Theorem 2.1 to the graph measure on A^N x T; the only nontrivial verification is the diameter condition (2.2), which follows from the uniform stopping-time bound tau_B(omega) >= cB in (3.6) and the bounded contraction ratios. Section 3.3 then uses the Rajchman hypothesis exactly: after unwinding T_b^B composed with phi_{omega|tau_B} via (3.8), the Fourier coefficient of the pushed self-similar measure equals F_{xi * b^B * phi'_{omega|tau_B}(0)}(nu), and the lower bound |b^B phi'(0)| >= c0 turns the assumed decay F_xi(nu) -> 0 into the desired uniform decay (3.7). No parameter is fitted from data that includes normality, no definition of the stopping time or graph partition invokes the conclusion, and the theorem is not imported only from [8]: a full proof is supplied in the paper. The self-citations to [8] and [4] are to provenance and to the independently proved Theorem 1.3, neither of which is load-bearing for Theorem 1.2. The WLOG normalization to [0,1] would need an argument if read as an affine conjugacy, since arbitrary affine maps do not preserve absolute normality, but that is a rigor gap in coordinate choice, not a circular input: the subsequent estimates are stated for the given IFS and do not redefine normality in terms of the normalized interval. I therefore find no circular step.
Assumptions & free parameters
assumptions (5)
- standard math The ergodic theorem for martingale differences (Theorem 2.2) holds for uniformly bounded sequences adapted to an increasing filtration with a fixed lag.
- standard math A finite IFS of contracting similarities has a unique nonempty compact attractor E and, for any positive probability vector p, a unique self-similar measure nu satisfying nu = sum_i p_i * phi_i#nu.
- standard math For the Bernoulli measure P on the shift space, the conditional distribution on a cylinder of length m has tail independent of the prefix, so the projected conditional measure is pi composed with f_{omega|m} nu.
- domain assumption The Rajchman classification of self-similar measures by Li-Sahlsten and Bremont: a self-similar measure fails to be Rajchman only if its IFS is affinely conjugate to a system with Pisot-type contraction ratios and algebraic translations.
- domain assumption Theorem 1.3: if some contraction ratio a_i satisfies log|a_i|/log b not in Q, then every non-atomic self-similar measure is pointwise b-normal.
Cite this review
Pith. "Pith review of Recent progress on pointwise normality of self-similar measures." pith.science (2026). https://pith.science/paper/MZUHNEFJ
@misc{pith2026250418192,
author = {Pith},
title = {Pith review of: Recent progress on pointwise normality of self-similar measures},
year = {2026},
howpublished = {\url{https://pith.science/paper/MZUHNEFJ}},
note = {Machine review of arXiv:2504.18192}
}
read the original abstract
This article is an exposition of recent results and methods on the prevalence of normal numbers in the support of self-similar measures on the line. We also provide an essentially self-contained proof of a recent Theorem that the Rajchman property (decay of the Fourier transform) implies that typical elements in the support of the measure are normal to all bases; as no decay rate is required, this improves the classical criterion of Davenport, Erdos, and LeVeque (1964). Open problems regarding effective equidistribution, non-integer bases, and higher order correlations, are discussed.
Reference graph
Works this paper leans on
-
[8]
Po intwise normality and Fourier decay for self-conformal measures
Amir Algom, Federico Rodriguez Hertz, and Zhiren Wang. Po intwise normality and Fourier decay for self-conformal measures. Adv. Math., 393:Paper No. 108096, 72, 2021
work page 2021
-
[1]
On the pair correl ations of powers of real numbers
Christoph Aistleitner and Simon Baker. On the pair correl ations of powers of real numbers. Israel J. Math., 242(1):243–268, 2021
work page 2021
-
[2]
Gap statistics and higher correlations for geometric progressions modulo one
Christoph Aistleitner, Simon Baker, Niclas Technau, and Nadav Y esha. Gap statistics and higher correlations for geometric progressions modulo one . Math. Ann., 385(1-2):845–861, 2023
work page 2023
-
[3]
Pair correlations and equidis- tribution
Christoph Aistleitner, Thomas Lachmann, and Florian Pau singer. Pair correlations and equidis- tribution. J. Number Theory, 182:206–220, 2018
work page 2018
-
[4]
On normal num bers and self-similar mea- sures
Amir Algom, Simon Baker, and Pablo Shmerkin. On normal num bers and self-similar mea- sures. Adv. Math., 399:Paper No. 108276, 17, 2022
work page 2022
-
[5]
Van der Corput and metric theorems for geometric progressions for self-similar measures
Amir Algom, Yuanyang Chang, Meng Wu, and Yu-Liang Wu. Van d er corput and metric the- orems for geometric progressions for self-similar measures. arXiv preprint arXiv:2401.01120, 2024
work page Pith review arXiv 2024
-
[6]
Lo garithmic Fourier decay for self conformal measures
Amir Algom, Federico Rodriguez Hertz, and Zhiren Wang. Lo garithmic Fourier decay for self conformal measures. J. Lond. Math. Soc. (2) , 106(2):1628–1661, 2022
work page 2022
-
[7]
Po lynomial Fourier decay and a cocycle version of dolgopyat’s method for self conform al measures
Amir Algom, Federico Rodriguez Hertz, and Zhiren Wang. Po lynomial Fourier decay and a cocycle version of dolgopyat’s method for self conform al measures. arXiv preprint arXiv:2306.01275, 2023
arXiv 2023
Show all 41 references
-
[9]
Equidistribution results for self-similar measures
Simon Baker. Equidistribution results for self-similar measures. To appear in International Mathematics Research Notices, 2021
2021
-
[10]
Spectral gaps and fouri er dimension for self-conformal sets with overlaps
Simon Baker and T uomas Sahlsten. Spectral gaps and fouri er dimension for self-conformal sets with overlaps. arXiv preprint arXiv:2306.01389, 2023
2023 arXiv
-
[11]
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. 18 Amir Algom
2023 arXiv
-
[12]
Some effective results for ×/u1D44E× /u1D44F
Jean Bourgain, Elon Lindenstrauss, Philippe Michel, an d Akshay Venkatesh. Some effective results for ×/u1D44E× /u1D44F. Ergodic Theory Dynam. Systems, 29(6):1705–1722, 2009
2009
-
[13]
Self-similar measures and the Rajchman property
Julien Br ´emont. Self-similar measures and the Rajchman property. Ann. H. Lebesgue, 4:973– 1004, 2021
2021
-
[14]
Distribution modulo one and Diophantine approximation , volume 193 of Cambridge Tracts in Mathematics
Y ann Bugeaud. Distribution modulo one and Diophantine approximation , volume 193 of Cambridge Tracts in Mathematics. Cambridge University Press, Cambridge, 2012
2012
-
[15]
J. W. S. Cassels. On a problem of Steinhaus about normal nu mbers. Colloq. Math., 7:95–101, 1959
1959
-
[16]
Refinable funct ions with non-integer dilations
Xin-Rong Dai, De-Jun Feng, and Y ang Wang. Refinable funct ions with non-integer dilations. J. Funct. Anal., 250(1):1–20, 2007
2007
-
[17]
Davenport, P
H. Davenport, P . Erd ˝os, and W. J. LeVeque. On Weyl’s criterion for uniform distri bution. Michigan Math. J., 10:311–314, 1963
1963
-
[18]
Random w alks on tori and normal numbers in self similar sets
Yiftach Dayan, Arijit Ganguly, and Barak Weiss. Random w alks on tori and normal numbers in self similar sets. arXiv preprint arXiv:2002.00455, 2020
2002 arXiv
-
[19]
Feldman and M
J. Feldman and M. Smorodinsky. Normal numbers from indep endent processes. Ergodic Theory Dynam. Systems, 12(4):707–712, 1992
1992
-
[20]
An introduction to probability theory and its applications, Volume 2, volume 81
William Feller. An introduction to probability theory and its applications, Volume 2, volume 81. John Wiley & Sons, 1991
1991
-
[21]
Some measure rigidity and equidistribut ion results for /u1D6FD-maps
Nevo Fishbein. Some measure rigidity and equidistribut ion results for /u1D6FD-maps. Ergodic Theory Dynam. Systems, 44(9):2581–2598, 2024
2024
-
[22]
On pair correlatio n and discrepancy
Sigrid Grepstad and Gerhard Larcher. On pair correlatio n and discrepancy. Arch. Math. (Basel), 109(2):143–149, 2017
2017
-
[23]
A short proof of Host’s equidistributi on theorem
Michael Hochman. A short proof of Host’s equidistributi on theorem. Israel J. Math. , 251(2):527–539, 2022
2022
-
[24]
Equidistribution f rom fractal measures
Michael Hochman and Pablo Shmerkin. Equidistribution f rom fractal measures. Inventiones mathematicae, 202(1):427–479, 2015
2015
-
[25]
Nombres normaux, entropie, translations
Bernard Host. Nombres normaux, entropie, translations . Israel J. Math. , 91(1-3):419–428, 1995
1995
-
[26]
The coincidence of r´enyi-parry measures for/u1D6FD-transformation
Y an Huang and Zhiqiang Wang. The coincidence of r´enyi-parry measures for/u1D6FD-transformation. arXiv preprint arXiv:2501.08116, 2025
2025 arXiv
-
[27]
J.-P . Kahane. Distribution modulo 1 and sets of uniquene ss. Bull. Amer. Math. Soc., 70:259– 261
-
[28]
The distribution of spacings between quadratic residues
P ¨ar Kurlberg and Ze ´ev Rudnick. The distribution of spacings between quadratic residues. Duke Math. J., 100(2):211–242, 1999
1999
-
[29]
Trigonometric series and self-similar sets
Jialun Li and T uomas Sahlsten. Trigonometric series and self-similar sets. J. Eur. Math. Soc. (JEMS), 24(1):341–368, 2022
2022
-
[30]
/u1D45D-adic foliation and equidistribution
Elon Lindenstrauss. /u1D45D-adic foliation and equidistribution. Israel J. Math., 122:29–42, 2001
2001
-
[31]
The measure of non-normal sets
Russell Lyons. The measure of non-normal sets. Inventiones mathematicae, 83(3):605–616, 1986
1986
-
[32]
Pair correlation and equidistribution on manifolds
Jens Marklof. Pair correlation and equidistribution on manifolds. Monatsh. Math., 191(2):279– 294, 2020
2020
-
[33]
Entropy and uniform distribution of orbits in T/u1D451
David Meiri. Entropy and uniform distribution of orbits in T/u1D451. Israel J. Math., 105:155–183, 1998
1998
-
[34]
Sixty y ears of Bernoulli convolutions
Yuval Peres, Wilhelm Schlag, and Boris Solomyak. Sixty y ears of Bernoulli convolutions. In Fractal geometry and stochastics, II (Greifswald/Koserow, 1998), volume 46 ofProgr. Probab., pages 39–65. Birkh ¨auser, Basel, 2000
1998
-
[35]
Measures support ed on partly normal numbers
Malabika Pramanik and Junqiang Zhang. Measures support ed on partly normal numbers. arXiv preprint arXiv:2408.03473
-
[36]
On odd-normal num bers
Malabika Pramanik and Junqiang Zhang. On odd-normal num bers. Indian Journal of Pure and Applied Mathematics, 55(3):974–998
-
[37]
The scenery flow of self-similar measures with weak separa tion condition
Aleksi Py ¨or¨al¨a. The scenery flow of self-similar measures with weak separa tion condition. Ergodic Theory Dynam. Systems, 42(10):3167–3190, 2022
2022
-
[38]
Wolfgang M. Schmidt. On normal numbers. Pacific J. Math. , 10:661–672, 1960
1960
-
[39]
Fourier decay for self-similar measures
Boris Solomyak. Fourier decay for self-similar measures. Proc. Amer. Math. Soc., 149(8):3277– 3291, 2021. Recent progress on pointwise normality of self-similar mea sures 19
2021
-
[40]
On absolute continuity and maximal gars ia entropy for self-similar measures with algebraic contraction ratio
Lauritz Streck. On absolute continuity and maximal gars ia entropy for self-similar measures with algebraic contraction ratio. arXiv preprint arXiv:2303.07785, 2023
2023
-
[41]
Varj´ u and Han Yu
P ´eter P . Varj´ u and Han Yu. Fourier decay of self-similar meas ures and self-similar sets of uniqueness. Anal. PDE, 15(3):843–858, 2022
2022
Reviewed August 16, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.