Hostname: page-component-54dcc4c588-m259h Total loading time: 0 Render date: 2025-10-04T16:58:32.499Z Has data issue: false hasContentIssue false

On absolute continuity and maximal Garsia entropy for self-similar measures with algebraic contraction ratio

Published online by Cambridge University Press:  24 September 2025

LAURITZ STRECK*
Affiliation:
School of Mathematics, University of Edinburgh, James Clerk Maxwell Building, Peter Guthrie Tait Road, Edinburgh, EH9 3FD e-mail: lstreck@ed.ac.uk

Abstract

We consider the self-similar measure $\nu_\lambda=\text{law}\left(\sum_{j \geq 0} \xi_j \lambda^j\right)$ on $\mathbb{R}$, where $|\lambda| \lt 1$ and the $\xi_j \sim \nu$ are independent, identically distributed with respect to a measure $\nu$ finitely supported on $\mathbb{Z}$. One example of such a measure is a Bernoulli convolution. It is known that for certain combinations of algebraic $\lambda$ and $\nu$ uniform on an interval, $\nu_\lambda$ is absolutely continuous and its Fourier transform has power decay; in the proof, it is exploited that for these combinations, a quantity called the Garsia entropy $h_{\lambda}(\nu)$ is maximal.

In this paper, we show that the phenomenon of $h_{\lambda}(\nu)$ being maximal is equivalent to absolute continuity of a self-affine measure $\mu_\lambda$, which is naturally associated to $\lambda$ and projects onto $\nu_\lambda$. We also classify all combinations for which this phenomenon occurs: we find that if an algebraic $\lambda$ without a Galois conjugate of modulus exactly one has a $\nu$ such that $h_{\lambda}(\nu)$ is maximal, then all Galois conjugates of $\lambda$ must be smaller in modulus than one and $\nu$ must satisfy a certain finite set of linear equations in terms of $\lambda$. Lastly, we show that in this case, the measure $\mu_\lambda$ is not only absolutely continuous but also has power Fourier decay, which implies the same for $\nu_\lambda$.

Information

Type
Research Article
Copyright
© The Author(s), 2025. Published by Cambridge University Press on behalf of Cambridge Philosophical Society

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

Article purchase

Temporarily unavailable

References

Wojowu (https://mathoverflow.net/users/30186/wojowu). Rationality of field embeddings. MathOverflow. URL: https://mathoverflow.net/q/421880 (version: 2022-05-05).Google Scholar
S. Akiyama, D.-J. Feng, Kempton, T. and Persson, T.. On the Hausdorff dimension of Bernoulli convolutions. Internat. Math. Res. Notices IMRN 19 (2020), 6569–6595.10.1093/imrn/rny209CrossRefGoogle Scholar
Brémont, J.. Self-similar measures and the Rajchman property. Annales Henri Lebesgue 4 (2021), 973–1004.10.5802/ahl.94CrossRefGoogle Scholar
Breuillard, E. and Varjú, P. P.. Entropy of bernoulli convolutions and uniform exponential growth for linear groups. J. Anal. Math. 140(2) (2020), 443–481.CrossRefGoogle Scholar
Breuillard, E. and Varjú, P. P.. On the dimension of Bernoulli convolutions. Ann. Probab. 47(4) (2019), 2582–2617.10.1214/18-AOP1324CrossRefGoogle Scholar
Brunault, F. and Zudilin, W.. Many variations of Mahler measures a lasting symphony. Aust. Math. Soc. Lect. Ser. vol. 28. (Cambridge University Press, Cambridge, 2020).CrossRefGoogle Scholar
Cassels, J. W. S. and Fröhlich, A., eds. Algebraic Number Theory. Papers from the conference held at the University of Sussex, Brighton (September 1–17, 1965), including a list of errata (London Mathematical Society, London, 2010).Google Scholar
Xin-Rong, D., De-Jun, F. and Yang, W.. Refinable functions with non-integer dilations. J. Funct. Anal. 250(1) (2007), 1–20.CrossRefGoogle Scholar
Erdős, P.. On a family of symmetric Bernoulli convolutions. Amer. J. Math. 61(4) (1939), 974–976.Google Scholar
Erdős, P.. On the smoothness properties of a family of Bernoulli convolutions. Amer. J. Math. 62(1/4) (1940), 180–186.10.2307/2371446CrossRefGoogle Scholar
Garsia, A.. Arithmetic properties of Bernoulli convolutions. Trans. Amer. Math. Soc. 102(3) (1962), 409–432.Google Scholar
Garsia, A.. Entropy and singularity of infinite convolutions. Pacific J. Math. 13(4) (1963), 1159–1169.CrossRefGoogle Scholar
Hochman, M.. Dimension theory of self-similar sets and measures. Proceedings of the International Congress of Mathematicians (Rio de Janeiro, 2018) Vol. III. Invited lectures (World Scientific Publ., Hackensack, NJ, 2018), 1949–1972.10.1142/9789813272880_0125CrossRefGoogle Scholar
Hochman, M.. On self-similar sets with overlaps and inverse theorems for entropy. Ann. of Math. 180(2) (2014), 773–822.10.4007/annals.2014.180.2.7CrossRefGoogle Scholar
Jessen, B. and Wintner, A.. Distribution functions and the Riemann zeta function. Trans. Amer. Math. Soc. 38(1) (1935), 48–88.10.1090/S0002-9947-1935-1501802-5CrossRefGoogle Scholar
Kittle, S.. Absolute continuity of self similar measures. Preprint: ArXiv https://arxiv.org/abs/2103.12684 (2021).Google Scholar
Peres, Y., Schlag, W. and Solomyak, B.. Sixty years of Bernoulli convolutions. Fractal geometry and stochastics, II(Greifswald/Koserow, 1998). Progr. Probab. vol. 46 (Birkhäuser, Basel 2000) 39–65.10.1007/978-3-0348-8380-1_2CrossRefGoogle Scholar
Peters, J.. Entropy on discrete abelian groups. Adv. Math. 33(1) (1979), 1–13.10.1016/S0001-8708(79)80007-9CrossRefGoogle Scholar
Ramakrishnan, D. and Valenza, R. J.. Fourier analysis on number fields. Graduate Texts in Math. vol. 186 (Springer-Verlag, New York, 1999).CrossRefGoogle Scholar
Rapaport, A. and Varjú, P. P.. Self-similar measures associated to a homogeneous system of three maps. Duke Math. J. 173(3) (2024), 513–602.Google Scholar
Cassels John, W S. An Introduction to the Geometry of Number. (Springer, 1997).Google Scholar
Shmerkin, P.. On the exceptional set for absolute continuity of Bernoulli convolutions. Geom. Funct. Anal. 24(3) (2014), 946–958.Google Scholar
Smyth, C.. The Mahler measure of algebraic numbers: a survey. Number Theory and Polynomials. McKee, J. and Smyth, C. (eds.). London Math. Soc. Lect. Not. Ser. (Cambridge University Press, 2008), 322–349.10.1017/CBO9780511721274.021CrossRefGoogle Scholar
Solomyak, B.. On the random series $\sum \pm \lambda^{n}$ (an Erdős problem). Ann. of Math. 142(3) (1995), 611–625.Google Scholar
Tate, J. T.. Fourier analysis in number fields, and Hecke’s zeta-functions. Algebraic Number Theory (Proceedings of an instructional conference, University of Sussex, Brighton, 1965). (Thompson, Washington, D.C., 1967), 305347.Google Scholar
Varjß, P.. On the dimension of Bernoulli convolutions for all transcendental parameters. Ann. of Math. 189(3) (2019).Google Scholar
Varjú, P. P.. Self-similar sets and measures on the line. (2021). URL: https://arxiv.org/abs/2109.10629.Google Scholar
Weil, A.. Basic Number Theory. Classics in Mathematics. (Springer-Verlag, Berlin, 1995).Google Scholar