Entropy of Bernoulli convolutions and uniform exponential growth for linear groups

DOI10.1007/S11854-020-0100-0MaRDI QIDQ2177498zbMATH OpenOpenAlexWikidataFDO

Authors Emmanuel Breuillard, Péter P. Varjú

Publication date 6 May 2020

Published in Journal d'Analyse Mathématique (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1510.04043

zbMATH Keywords

Bernoulli convolutionsLehmer conjecturenon-amenable subgroups

Mathematics Subject Classification ID

Ergodic theory on groups (22D40) Ergodicity, mixing, rates of mixing (37A25) Ergodic theorems, spectral theory, Markov operators (37A30) Relations between ergodic theory and number theory (37A44)

Abstract: The exponential growth rate of non polynomially growing subgroups of $G{L}_d$ is conjectured to admit a uniform lower bound. This is known for non-amenable subgroups, while for amenable subgroups it is known to imply the Lehmer conjecture from number theory. In this note, we show that it is equivalent to the Lehmer conjecture. This is done by establishing a lower bound for the entropy of the random walk on the semigroup generated by the maps $xmapstolambdacdotxpm1$, where $lambda$ is an algebraic number. We give a bound in terms of the Mahler measure of $lambda$. We also derive a bound on the dimension of Bernoulli convolutions.

Review text

This paper shows that the conjectured uniform lower bound on the exponential growth rate of non-polynomially growing subgroups of \(\mathrm{GL}_d\) is equivalent to the Lehmer problem in number theory, which asks whether there is a positive lower bound for the logarithmic Mahler measure of all integral polynomials. The argument involves studying the entropy of the random walk on the semi-group generated by the maps \(x\mapsto\lambda x+1\) and \(x\mapsto\lambda x-1\) for an algebraic number \(\lambda\), and relating it to the Mahler measure of an algebraic number \(\lambda\). In addition, a new connection between the Lehmer problem and dimension properties of the Bernoulli convolution associated to algebraic numbers is found. The analysis also gives new results independent of the Lehmer problem, including a large collection of parameter values for which the corresponding Bernoulli convolution has full dimension.

Recommendations

• Arithmetic groups and the Lehmer conjecture
• On the dimension of Bernoulli convolutions
• Entropic methods for Bernoulli convolutions [after Hochman, Shmerkin, Breuillard, Varjú]
• Binary constant-length substitutions and Mahler measures of Borwein polynomials
• A lower bound for the dimension of Bernoulli convolutions

Cites work

• A height gap theorem for finite subsets of \(\mathrm{GL}_{d}(\overline{\mathbb{Q}})\) and nonamenable subgroups
• A lower bound for Garsia's entropy for certain Bernoulli convolutions
• A remarkable class of algebraic integers. Proof of a conjecture of Vijayaraghavan
• A topological Tits alternative.
• Absolute continuity of Bernoulli convolutions for algebraic parameters
• Absolute continuity of complex Bernoulli convolutions
• Additive combinatorics
• Arithmetic Properties of Bernoulli Convolutions
• Dimension theory of iterated function systems
• Diophantine geometry and uniform growth of finite and infinite groups
• Elements of Information Theory
• Entropy and singularity of infinite convolutions
• Entropy on discrete Abelian groups
• Heights on \(\mathrm{SL}_2\) and free subgroups.
• scientific article; zbMATH DE number 3505104 (Why is no real title available?)
• scientific article; zbMATH DE number 3508744 (Why is no real title available?)
• scientific article; zbMATH DE number 3629081 (Why is no real title available?)
• scientific article; zbMATH DE number 635657 (Why is no real title available?)
• scientific article; zbMATH DE number 1787091 (Why is no real title available?)
• scientific article; zbMATH DE number 1424072 (Why is no real title available?)
• scientific article; zbMATH DE number 3235353 (Why is no real title available?)
• scientific article; zbMATH DE number 3367188 (Why is no real title available?)
• scientific article; zbMATH DE number 3401201 (Why is no real title available?)
• scientific article; zbMATH DE number 3411305 (Why is no real title available?)
• Infinite groups with large balls of torsion elements and small entropy.
• Le problème de Lehmer en dimension supérieure
• Lehmer's problem for polynomials with odd coefficients
• On a question of Lehmer and the number of irreducible factors of a polynomial
• On Jordan's theorem for complex linear groups
• On self-similar sets with overlaps and inverse theorems for entropy
• On the dimension of Bernoulli convolutions
• On the Eigenvalues of a Matrix with Prescribed Singular Values
• On the exceptional set for absolute continuity of Bernoulli convolutions
• On the Mandelbrot set for pairs of linear maps
• On uniform exponential growth for solvable groups.
• Random walks on discrete groups: Boundary and entropy
• Semi-groupes fortement automatiques.
• Soluble groups with every proper quotient polycyclic
• Sumset and Inverse Sumset Inequalities for Differential Entropy and Mutual Information
• Sumset and Inverse Sumset Theory for Shannon Entropy
• The Entropy of a Certain Infinitely Convolved Bernoulli Measure
• Théoremes de finitude en cohomologie galoisienne
• Uniform independence in linear groups.
• 𝛽-expansions with deleted digits for Pisot numbers 𝛽

Cited in

(22)

• Entropy and convergence on compact groups
• On the dimension of Furstenberg measure for \({SL}_{2}(\mathbb {R})\) random matrix products
• On Furstenberg's intersection conjecture, self-similar measures, and the \(L^q\) norms of convolutions
• On multifractal formalism for self-similar measures with overlaps
• Uniform lower bounds on the dimension of Bernoulli convolutions
• Cut-off phenomenon for the ax+b Markov chain over a finite field
• Arithmetic groups and the Lehmer conjecture
• Super-exponential condensation without exact overlaps
• On the dimension of Bernoulli convolutions for all transcendental parameters
• On the dimension of Bernoulli convolutions
• The Entropy Power Inequality and Mrs. Gerber's Lemma for Groups of Order <inline-formula> <tex-math notation="TeX">${2^{n}}$ </tex-math></inline-formula>
• $$L^q$$ Dimensions of Self-similar Measures and Applications: A Survey
• Absolute continuity of Bernoulli convolutions for algebraic parameters
• A lower bound for the dimension of Bernoulli convolutions
• Computing Garsia entropy for Bernoulli convolutions with algebraic parameters
• Bernoulli convolutions with Garsia parameters in \((1,\sqrt{2}]\) have continuous density functions
• Estimates on the dimension of self‐similar measures with overlaps
• Self-similar sets and measures on the line
• Absolutely continuous self-similar measures with exponential separation
• On absolute continuity and maximal Garsia entropy for self-similar measures with algebraic contraction ratio
• Families of infinite parabolic IFS with overlaps: the approximating method
• Sumsets and entropy revisited

This page was built for publication: Entropy of Bernoulli convolutions and uniform exponential growth for linear groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2177498)