Showing 1–27 of 27 results for author: Varjú, P P

Lifting all elements in $\mathrm{SL}_n(\mathbb{Z}/q\mathbb{Z})$

Authors: Amitay Kamber, Péter P. Varjú

Abstract: We show that every element of $\mathrm{SL}_{n}(\mathbb{Z}/q\mathbb{Z})$ can be lifted to an element of $\mathrm{SL}_{n}(\mathbb{Z})$ of norm at most $Cq^2\log q$, while there exists an element such that every lift of it is of norm at least $q^{2+o(1)}$. This should be compared to the recent result that almost every element has a lift of norm bounded by $q^{1+1/n+o(1)}$. The main step in the proo… ▽ More We show that every element of $\mathrm{SL}_{n}(\mathbb{Z}/q\mathbb{Z})$ can be lifted to an element of $\mathrm{SL}_{n}(\mathbb{Z})$ of norm at most $Cq^2\log q$, while there exists an element such that every lift of it is of norm at least $q^{2+o(1)}$. This should be compared to the recent result that almost every element has a lift of norm bounded by $q^{1+1/n+o(1)}$. The main step in the proof is showing that for every $q$, there is a small element in $(\mathbb{Z}/q\mathbb{Z})^\times$ with a large $n$-th root, which is a result of independent interest. △ Less

Submitted 16 October, 2023; originally announced October 2023.

Comments: 26 pages

MSC Class: 11F06 (Primary) 11J25; 20H05 (Secondary)

Exponential multiple mixing for commuting automorphisms of a nilmanifold

Authors: Timothée Bénard, Péter P. Varjú

Abstract: Let $l\in \mathbb{N}_{\geq 1}$ and $α: \mathbb{Z}^l\rightarrow \text{Aut}(\mathscr{N})$ be an action of $\mathbb{Z}^l$ by automorphisms on a compact nilmanifold $\mathscr{N}$. We assume the action of every $α(z)$ is ergodic for $z\in \mathbb{Z}^l\smallsetminus\{0\}$ and show that $α$ satisfies exponential $n$-mixing for any integer $n\geq 2$. This extends results of Gorodnik and Spatzier [Acta Mat… ▽ More Let $l\in \mathbb{N}_{\geq 1}$ and $α: \mathbb{Z}^l\rightarrow \text{Aut}(\mathscr{N})$ be an action of $\mathbb{Z}^l$ by automorphisms on a compact nilmanifold $\mathscr{N}$. We assume the action of every $α(z)$ is ergodic for $z\in \mathbb{Z}^l\smallsetminus\{0\}$ and show that $α$ satisfies exponential $n$-mixing for any integer $n\geq 2$. This extends results of Gorodnik and Spatzier [Acta Math., 215 (2015)]. △ Less

Submitted 13 September, 2023; v1 submitted 7 January, 2022; originally announced January 2022.

Comments: 14 pages, minor corrections of typos based on referee's report. Final accepted version to appear in Ergodic Theory Dynam. Systems

Self-similar sets and measures on the line

Authors: Péter P. Varjú

Abstract: We discuss the problem of determining the dimension of self-similar sets and measures on $\mathbf{R}$. We focus on the developments of the last four years. At the end of the paper, we survey recent results about other aspects of self-similar measures including their Fourier decay and absolute continuity. We discuss the problem of determining the dimension of self-similar sets and measures on $\mathbf{R}$. We focus on the developments of the last four years. At the end of the paper, we survey recent results about other aspects of self-similar measures including their Fourier decay and absolute continuity. △ Less

Submitted 22 September, 2021; originally announced September 2021.

Comments: 28 pages

On the multiplicative group generated by two primes in $\mathbf{Z}/Q\mathbf{Z}$

Authors: Péter P. Varjú

Abstract: We study the action of the multiplicative group generated by two prime numbers in $\mathbf{Z}/Q\mathbf{Z}$. More specifically, we study returns to the set $([-Q^\varepsilon,Q^\varepsilon]\cap \mathbf{Z})/Q\mathbf{Z}$. This is intimately related to the problem of bounding the greatest common divisor of $S$-unit differences, which we revisit. Our main tool is the $S$-adic subspace theorem. We study the action of the multiplicative group generated by two prime numbers in $\mathbf{Z}/Q\mathbf{Z}$. More specifically, we study returns to the set $([-Q^\varepsilon,Q^\varepsilon]\cap \mathbf{Z})/Q\mathbf{Z}$. This is intimately related to the problem of bounding the greatest common divisor of $S$-unit differences, which we revisit. Our main tool is the $S$-adic subspace theorem. △ Less

Submitted 24 August, 2022; v1 submitted 9 April, 2021; originally announced April 2021.

Comments: 14 pages, final accepted version, revision based on referee's comments, new title, improved presentation, to appear in Analysis at Large: Dedicated to the Life and Work of Jean Bourgain

Self-similar measures associated to a homogeneous system of three maps

Authors: Ariel Rapaport, Péter P. Varjú

Abstract: We study the dimension of self-similar measures associated to a homogeneous iterated function system of three contracting similarities on $\bf R$ and other more general IFS's. We extend some of the theory recently developed for Bernoulli convolutions to this setting. In the setting of three maps a new phenomenon occurs, which has been highlighted by recent examples of Baker, and Bárány, Käenmäki.… ▽ More We study the dimension of self-similar measures associated to a homogeneous iterated function system of three contracting similarities on $\bf R$ and other more general IFS's. We extend some of the theory recently developed for Bernoulli convolutions to this setting. In the setting of three maps a new phenomenon occurs, which has been highlighted by recent examples of Baker, and Bárány, Käenmäki. To overcome the difficulties stemming form these, we develop novel techniques, including an extension of Hochman's entropy increase method to a function field setup. △ Less

Submitted 8 March, 2023; v1 submitted 2 October, 2020; originally announced October 2020.

Comments: 85 pages, minor revision based on referee's report, final accepted version to appear in Duke Math. J

Fourier decay of self-similar measures and self-similar sets of uniqueness

Authors: Péter P. Varjú, Han Yu

Abstract: In this paper, we investigate the Fourier transform of self-similar measures on R. We provide quantitative decay rates of Fourier transform of some self-similar measures. Our method is based on random walks on lattices and Diophantine approximation in number fields. We also completely identify all self-similar sets which are sets of uniqueness. This generalizes a classical result of Salem and Zygm… ▽ More In this paper, we investigate the Fourier transform of self-similar measures on R. We provide quantitative decay rates of Fourier transform of some self-similar measures. Our method is based on random walks on lattices and Diophantine approximation in number fields. We also completely identify all self-similar sets which are sets of uniqueness. This generalizes a classical result of Salem and Zygmund. △ Less

Submitted 26 April, 2021; v1 submitted 20 April, 2020; originally announced April 2020.

Comments: 16 pages, this is the final accepted version to appear in Ann. PDE, revision based on referee's comments, added assumption in Corollary 1.6 that r^-1 is an algebraic integer

Journal ref: Anal. PDE 15(3): 843-858 (2022)

Mixing time of the Chung--Diaconis--Graham random process

Authors: Sean Eberhard, Péter P. Varjú

Abstract: Define $(X_n)$ on $\mathbf{Z}/q\mathbf{Z}$ by $X_{n+1} = 2X_n + b_n$, where the steps $b_n$ are chosen independently at random from $-1, 0, +1$. The mixing time of this random walk is known to be at most $1.02 \log_2 q$ for almost all odd $q$ (Chung--Diaconis--Graham, 1987), and at least $1.004 \log_2 q$ (Hildebrand, 2008). We identify a constant $c = 1.01136\dots$ such that the mixing time is… ▽ More Define $(X_n)$ on $\mathbf{Z}/q\mathbf{Z}$ by $X_{n+1} = 2X_n + b_n$, where the steps $b_n$ are chosen independently at random from $-1, 0, +1$. The mixing time of this random walk is known to be at most $1.02 \log_2 q$ for almost all odd $q$ (Chung--Diaconis--Graham, 1987), and at least $1.004 \log_2 q$ (Hildebrand, 2008). We identify a constant $c = 1.01136\dots$ such that the mixing time is $(c+o(1))\log_2 q$ for almost all odd $q$. In general, the mixing time of the Markov chain $X_{n+1} = a X_n + b_n$ modulo $q$, where $a$ is a fixed positive integer and the steps $b_n$ are i.i.d. with some given distribution in $\mathbf{Z}$, is related to the entropy of a corresponding self-similar Cantor-like measure (such as a Bernoulli convolution). We estimate the mixing time up to a $1+o(1)$ factor whenever the entropy exceeds $(\log a)/2$. △ Less

Submitted 29 September, 2020; v1 submitted 18 March, 2020; originally announced March 2020.

Comments: 26 pages, version accepted for publication in Probab. Theory Related Fields; minor corrections based on referee's report; results and proofs are not changed

MSC Class: 60G50

Journal ref: Probab. Theory Relat. Fields 179, 317-344 (2021)

Cut-off phenomenon for the ax+b Markov chain over a finite field

Authors: Emmanuel Breuillard, Péter P. Varjú

Abstract: We study the Markov chain $x_{n+1}=ax_n+b_n$ on a finite field $\mathbb{F}_p$, where $a \in \mathbb{F}_p$ is fixed and $b_n$ are independent and identically distributed random variables in $\mathbb{F}_p$. Conditionally on the Riemann hypothesis for all Dedekind zeta functions, we show that the chain exhibits a cut-off phenomenon for most primes $p$ and most values of $a \in \mathbb{F}_p$. We also… ▽ More We study the Markov chain $x_{n+1}=ax_n+b_n$ on a finite field $\mathbb{F}_p$, where $a \in \mathbb{F}_p$ is fixed and $b_n$ are independent and identically distributed random variables in $\mathbb{F}_p$. Conditionally on the Riemann hypothesis for all Dedekind zeta functions, we show that the chain exhibits a cut-off phenomenon for most primes $p$ and most values of $a \in \mathbb{F}_p$. We also obtain weaker, but unconditional, upper bounds for the mixing time. △ Less

Submitted 24 August, 2022; v1 submitted 19 September, 2019; originally announced September 2019.

Comments: 27 pages, final accepted version, revision based on referee's comments, improved presentation, to appear in Probab. Theory Related Fields

On the Lehmer conjecture and counting in finite fields

Authors: Emmanuel Breuillard, Péter P. Varjú

Abstract: We give a reformulation of the Lehmer conjecture about algebraic integers in terms of a simple counting problem modulo p. We give a reformulation of the Lehmer conjecture about algebraic integers in terms of a simple counting problem modulo p. △ Less

Submitted 20 May, 2019; v1 submitted 31 October, 2018; originally announced October 2018.

Comments: 8 pages, minor corrections

Journal ref: Discrete Anal., 2019:5, 8 pp

Irreducibility of random polynomials of large degree

Authors: Emmanuel Breuillard, Péter P. Varjú

Abstract: We consider random polynomials with independent identically distributed coefficients with a fixed law. Assuming the Riemann hypothesis for Dedekind zeta functions, we prove that such polynomials are irreducible and their Galois groups contain the alternating group with high probability as the degree goes to infinity. This settles a conjecture of Odlyzko and Poonen conditionally on RH for Dedekind… ▽ More We consider random polynomials with independent identically distributed coefficients with a fixed law. Assuming the Riemann hypothesis for Dedekind zeta functions, we prove that such polynomials are irreducible and their Galois groups contain the alternating group with high probability as the degree goes to infinity. This settles a conjecture of Odlyzko and Poonen conditionally on RH for Dedekind zeta functions. △ Less

Submitted 16 October, 2019; v1 submitted 31 October, 2018; originally announced October 2018.

Comments: 50 pages, this is the accepted version for publication in Acta Math., minor changes and corrections based on referees' reports

MSC Class: 11C08 (primary) and 11M41; 60J10 (secondary)

Journal ref: Acta Math. 223(2): 195-249 (December 2019)

Expansion of coset graphs of PSL_2(F_p)

Authors: Péter P. Varjú

Abstract: Let $G$ be a finite group and let $H_1,H_2<G$ be two subgroups. In this paper, we are concerned with the bipartite graph whose vertices are $G/H_1\cup G/H_2$ and a coset $g_1H_1$ is connected with another coset $g_2H_2$ if and only if $g_1H_1\cap g_2 H_2\neq\varnothing$. The main result of the paper establishes the existence of such graphs with large girth and large spectral gap. Lubotzky, Manning… ▽ More Let $G$ be a finite group and let $H_1,H_2<G$ be two subgroups. In this paper, we are concerned with the bipartite graph whose vertices are $G/H_1\cup G/H_2$ and a coset $g_1H_1$ is connected with another coset $g_2H_2$ if and only if $g_1H_1\cap g_2 H_2\neq\varnothing$. The main result of the paper establishes the existence of such graphs with large girth and large spectral gap. Lubotzky, Manning and Wilton use such graphs to construct certain infinite groups of interest in geometric group theory. △ Less

Submitted 1 April, 2019; v1 submitted 23 October, 2018; originally announced October 2018.

Comments: 13 pages; version accepted for publication in Israel J. Math.; minor corrections based on referee's report; results and proofs are unchanged

Journal ref: Isr. J. Math. 233, 335-349 (2019)

On the dimension of Bernoulli convolutions for all transcendental parameters

Authors: Péter P. Varjú

Abstract: The Bernoulli convolution $ν_λ$ with parameter $λ\in(0,1)$ is the probability measure supported on $\mathbf{R}$ that is the law of the random variable $\sum\pmλ^n$, where the $\pm$ are independent fair coin-tosses. We prove that $\dimν_λ=1$ for all transcendental $λ\in(1/2,1)$. The Bernoulli convolution $ν_λ$ with parameter $λ\in(0,1)$ is the probability measure supported on $\mathbf{R}$ that is the law of the random variable $\sum\pmλ^n$, where the $\pm$ are independent fair coin-tosses. We prove that $\dimν_λ=1$ for all transcendental $λ\in(1/2,1)$. △ Less

Submitted 1 April, 2019; v1 submitted 21 October, 2018; originally announced October 2018.

Comments: 11 pages; version accepted for publication in Ann. of Math.; dedicated to the memory of Jean Bourgain; minor corrections based on referee's report; results and proofs are unchanged

Journal ref: Ann. of Math. (2) 189(3): 1001-1011 (May 2019)

On the dimension of Bernoulli convolutions

Authors: Emmanuel Breuillard, Péter P. Varjú

Abstract: The Bernoulli convolution with parameter $λ\in(0,1)$ is the probability measure $μ_λ$ that is the law of the random variable $\sum_{n\ge0}\pmλ^n$, where the signs are independent unbiased coin tosses. We prove that each parameter $λ\in(1/2,1)$ with $\dimμ_λ<1$ can be approximated by algebraic parameters $ξ\in(1/2,1)$ within an error of order $\exp(-deg(ξ)^{A})$ for any number $A$, such that… ▽ More The Bernoulli convolution with parameter $λ\in(0,1)$ is the probability measure $μ_λ$ that is the law of the random variable $\sum_{n\ge0}\pmλ^n$, where the signs are independent unbiased coin tosses. We prove that each parameter $λ\in(1/2,1)$ with $\dimμ_λ<1$ can be approximated by algebraic parameters $ξ\in(1/2,1)$ within an error of order $\exp(-deg(ξ)^{A})$ for any number $A$, such that $\dimμ_ξ<1$. As a corollary, we conclude that $\dimμ_λ=1$ for each of $λ=\ln 2, e^{-1/2}, π/4$. These are the first explicit examples of such transcendental parameters. Moreover, we show that Lehmer's conjecture implies the existence of a constant $a<1$ such that $\dimμ_λ=1$ for all $λ\in(a,1)$. △ Less

Submitted 13 November, 2018; v1 submitted 28 October, 2016; originally announced October 2016.

Comments: 34 pages; version accepted for publication in Ann. Probab.; two typos corrected; results and proofs are unchanged

Journal ref: Ann. Probab. 47(4): 2582-2617 (July 2019)

Recent progress on Bernoulli convolutions

Authors: Péter P. Varjú

Abstract: The Bernoulli convolution with parameter $λ\in(0,1)$ is the measure on $\bf R$ that is the distribution of the random power series $\sum\pmλ^n$, where $\pm$ are independent fair coin-tosses. This paper surveys recent progress on our understanding of the regularity properties of these measures. The Bernoulli convolution with parameter $λ\in(0,1)$ is the measure on $\bf R$ that is the distribution of the random power series $\sum\pmλ^n$, where $\pm$ are independent fair coin-tosses. This paper surveys recent progress on our understanding of the regularity properties of these measures. △ Less

Submitted 15 August, 2016; originally announced August 2016.

Comments: 21 pages, to appear in the Proceedings of the 7th ECM, Berlin

The structure theory of Nilspaces III: Inverse limit representations and topological dynamics

Authors: Yonatan Gutman, Freddie Manners, Péter P. Varjú

Abstract: This paper forms the third part of a series by the authors [GMV1,GMV2] concerning the structure theory of nilspaces. A nilspace is a compact space $X$ together with closed collections of cubes $C^n(X)\subseteq X^{2^n}$, $n=1,2,\ldots$, satisfying some natural axioms. Our goal is to extend the structure theory of nilspaces obtained by Antolín Camarena and Szegedy, and to provide new proofs. Our m… ▽ More This paper forms the third part of a series by the authors [GMV1,GMV2] concerning the structure theory of nilspaces. A nilspace is a compact space $X$ together with closed collections of cubes $C^n(X)\subseteq X^{2^n}$, $n=1,2,\ldots$, satisfying some natural axioms. Our goal is to extend the structure theory of nilspaces obtained by Antolín Camarena and Szegedy, and to provide new proofs. Our main result is that, under the technical assumption that $C^n(X)$ is a connected space for all $n$, then $X$ is isomorphic (in a strong sense) to an inverse limit of nilmanifolds. This is a direct and slight generalization of the main result of Antolín Camarena and Szegedy. We also apply our methods to obtain structure theorems in the setting of topological dynamics. Specifically, if $H$ is a group (subject to very mild topological assumptions) and $(H,X)$ is a minimal dynamical system, then we give a simple characterization of the maximal pronilfactor of $X$. This generalizes the case $H = \mathbb{Z}$, which is a theorem of Host, Kra and Maass, although even in that case we give a significantly different proof. △ Less

Submitted 7 February, 2020; v1 submitted 28 May, 2016; originally announced May 2016.

Comments: 48 pages, final accepted version, to appear in Adv. Math., Theorem 4.1 as stated in the previous version is false, see Section 4 for more details, main results are unchanged

The structure theory of Nilspaces II: Representation as nilmanifolds

Authors: Yonatan Gutman, Freddie Manners, Péter P. Varjú

Abstract: This paper forms the second part of a series by the authors [GMV1,GMV3] concerning the structure theory of nilspaces of Antolín Camarena and Szegedy. A nilspace is a compact space $X$ together with closed collections of cubes $C_n(X)\subseteq X^{2^n}$, $n=1,2,\ldots$ satisfying some natural axioms. From these axioms it follows that a nilspace can be built as a finite tower of extensions where each… ▽ More This paper forms the second part of a series by the authors [GMV1,GMV3] concerning the structure theory of nilspaces of Antolín Camarena and Szegedy. A nilspace is a compact space $X$ together with closed collections of cubes $C_n(X)\subseteq X^{2^n}$, $n=1,2,\ldots$ satisfying some natural axioms. From these axioms it follows that a nilspace can be built as a finite tower of extensions where each of the successive fibers is a compact abelian group. Our main result is a new proof of a result due to Antolín Camarena and Szegedy [CS12], stating that if each of these groups is a torus then $X$ is isomorphic (in a strong sense) to a nilmanifold $G/Γ$. We also extend the theorem to a setting where the nilspace arises from a dynamical system $(X,T)$. These theorems are a key stepping stone towards the general structure theorem in [GMV3] (which again closely resembles the main theorem of [CS12]). The main technical tool, enabling us to deduce algebraic information from topological data, consists of existence and uniqueness results for solutions of certain natural functional equations, again modelled on the theory in [CS12]. △ Less

Submitted 31 December, 2017; v1 submitted 28 May, 2016; originally announced May 2016.

Comments: 46 pages, minor revision based on referee's report, results and proofs have not been changed

The structure theory of Nilspaces I

Authors: Yonatan Gutman, Freddie Manners, Péter P. Varjú

Abstract: This paper forms the first part of a series by the authors [GMV2,GMV3] concerning the structure theory of nilspaces of Antolín Camarena and Szegedy. A nilspace is a compact space $X$ together with closed collections of cubes $C^n(X)\subseteq X^{2^n}$, $n=1,2,\ldots$ satisfying some natural axioms. Antolín Camarena and Szegedy proved that from these axioms it follows that (certain) nilspaces are is… ▽ More This paper forms the first part of a series by the authors [GMV2,GMV3] concerning the structure theory of nilspaces of Antolín Camarena and Szegedy. A nilspace is a compact space $X$ together with closed collections of cubes $C^n(X)\subseteq X^{2^n}$, $n=1,2,\ldots$ satisfying some natural axioms. Antolín Camarena and Szegedy proved that from these axioms it follows that (certain) nilspaces are isomorphic (in a strong sense) to an inverse limit of nilmanifolds. The aim of our project is to provide a new self-contained treatment of this theory and give new applications to topological dynamics. This paper provides an introduction to the project from the point of view of applications to higher order Fourier analysis. We define and explain the basic definitions and constructions related to cubespaces and nilspaces and develop the weak structure theory, which is the first stage of the proof of the main structure theorem for nilspaces. Vaguely speaking, this asserts that a nilspace can be built as a finite tower of extensions where each of the successive fibers is a compact abelian group. We also make some modest innovations and extensions to this theory. In particular, we consider a class of maps that we term fibrations, which are essentially equivalent to what are termed fiber-surjective morphisms by Anatolín Camarena and Szegedy, and we formulate and prove a relative analogue of the weak structure theory alluded to above for these maps. These results find applications elsewhere in the project. △ Less

Submitted 7 May, 2018; v1 submitted 28 May, 2016; originally announced May 2016.

Comments: 64 pages, minor revision based on referee's report, results and proofs have not been changed, this version is accepted for publication in J. Anal. Math

Absolute continuity of Bernoulli convolutions for algebraic parameters

Authors: Péter P. Varjú

Abstract: We prove that Bernoulli convolutions are absolutely continuous provided the parameter lambda is an algebraic number sufficiently close to 1 depending on the Mahler measure of lambda. We prove that Bernoulli convolutions are absolutely continuous provided the parameter lambda is an algebraic number sufficiently close to 1 depending on the Mahler measure of lambda. △ Less

Submitted 13 November, 2018; v1 submitted 31 January, 2016; originally announced February 2016.

Comments: 58 pages; version accepted for publication in J. Amer. Math. Soc.; minor corrections based on referees' reports; results and proofs are not changed

Journal ref: J. Amer. Math. Soc. 32 (2019), 351-397

Entropy of Bernoulli convolutions and uniform exponential growth for linear groups

Authors: Emmanuel Breuillard, Péter P. Varjú

Abstract: The exponential growth rate of non polynomially growing subgroups of $GL_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… ▽ More The exponential growth rate of non polynomially growing subgroups of $GL_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 $x\mapsto λ\cdot x\pm 1$, where $λ$ is an algebraic number. We give a bound in terms of the Mahler measure of $λ$. We also derive a bound on the dimension of Bernoulli convolutions. △ Less

Submitted 23 April, 2021; v1 submitted 14 October, 2015; originally announced October 2015.

Comments: Added the requirement to Remark 6 that lambda is a unit. This is relevant only in the case of generalised Bernoulli convolutions, when the coefficients are not +/-1. Final accepted version. To appear in J. Anal. Math. 33 pages

Journal ref: J. Anal. Math. 140, 443-481 (2020)

Spectral gap in the group of affine transformations over prime fields

Authors: Elon Lindenstrauss, Peter P. Varju

Abstract: We study random walks on the semi-direct product of F_p^d and SL_d(F_p). We estimate the spectral gap in terms of the spectral gap of the projection to the linear part SL_d(F_p). This problem is motivated by an analogue in the isometry group of Euclidean space, which have application to smoothness of self-similar measures. We study random walks on the semi-direct product of F_p^d and SL_d(F_p). We estimate the spectral gap in terms of the spectral gap of the projection to the linear part SL_d(F_p). This problem is motivated by an analogue in the isometry group of Euclidean space, which have application to smoothness of self-similar measures. △ Less

Submitted 6 September, 2016; v1 submitted 11 September, 2014; originally announced September 2014.

Comments: 25 pages, final version, results are unchanged, modified the argument relating L^2 and L^4 estimates using the Riesz-Thorin theorem, rest of the arguments are unchanged

Journal ref: Ann. Fac. Sci. Toulouse Math. (6) 25 no. 5 (2016), p. 969-993

Random walks in the group of Euclidean isometries and self-similar measures

Authors: Elon Lindenstrauss, Péter P. Varjú

Abstract: We study products of random isometries acting on Euclidean space. Building on previous work of the second author, we prove a local limit theorem for balls of shrinking radius with exponential speed under the assumption that a Markov operator associated to the rotation component of the isometries has spectral gap. We also prove that certain self-similar measures are absolutely continuous with smoot… ▽ More We study products of random isometries acting on Euclidean space. Building on previous work of the second author, we prove a local limit theorem for balls of shrinking radius with exponential speed under the assumption that a Markov operator associated to the rotation component of the isometries has spectral gap. We also prove that certain self-similar measures are absolutely continuous with smooth densities. These families of self-similar measures give higher dimensional analogues of Bernoulli convolutions on which absolute continuity can be established for contraction ratios in an open set. △ Less

Submitted 14 August, 2015; v1 submitted 17 May, 2014; originally announced May 2014.

Comments: 62 pages, revision based on referee's comments, results and proofs unchanged

Journal ref: Duke Math. J. 165, no. 6 (2016), 1061-1127

Diophantine property in the group of affine transformations of the line

Authors: Péter Pál Varjú

Abstract: We investigate the Diophantine property of a pair of elements in the group of affine transformations of the line. We say that a pair of elements g_1,g_2 in this group is Diophantine if there is a number A such that a product of length l of elements of the set {g_1,g_2,g_1^{-1},g_2^{-1}} is either the unit element or of distance at least A^{-l} from the unit element. We prove that the set of non-Di… ▽ More We investigate the Diophantine property of a pair of elements in the group of affine transformations of the line. We say that a pair of elements g_1,g_2 in this group is Diophantine if there is a number A such that a product of length l of elements of the set {g_1,g_2,g_1^{-1},g_2^{-1}} is either the unit element or of distance at least A^{-l} from the unit element. We prove that the set of non-Diophantine pairs in a certain one parameter family is of Hausdorff dimension 0. △ Less

Submitted 12 July, 2013; v1 submitted 15 November, 2012; originally announced November 2012.

Comments: 12 pages, no figures, reference to [ABRS] updated

Journal ref: Acta Sci. Math. (Szeged) 80 (2014), no. 3-4, 447--458

Random walks in compact groups

Authors: Péter Pál Varjú

Abstract: Let X_1,X_2,... be independent identically distributed random elements of a compact group G. We discuss the speed of convergence of the law of the product X_l*...*X_1 to the Haar measure. We give poly-log estimates for certain finite groups and for compact semi-simple Lie groups. We improve earlier results of Solovay, Kitaev, Gamburd, Shahshahani and Dinai. Let X_1,X_2,... be independent identically distributed random elements of a compact group G. We discuss the speed of convergence of the law of the product X_l*...*X_1 to the Haar measure. We give poly-log estimates for certain finite groups and for compact semi-simple Lie groups. We improve earlier results of Solovay, Kitaev, Gamburd, Shahshahani and Dinai. △ Less

Submitted 14 August, 2015; v1 submitted 8 September, 2012; originally announced September 2012.

Comments: 35 pages, no figures, revision based on referee's report, results and proofs unchanged

Journal ref: Doc. Math. 18 (2013), 1137--1175

Random walks in Euclidean space

Authors: Péter Pál Varjú

Abstract: Consider a sequence of independent random isometries of Euclidean space with a previously fixed probability law. Apply these isometries successively to the origin and consider the sequence of random points that we obtain this way. We prove a local limit theorem under a suitable moment condition and a necessary non-degeneracy condition. Under stronger hypothesis, we prove a limit theorem on a wide… ▽ More Consider a sequence of independent random isometries of Euclidean space with a previously fixed probability law. Apply these isometries successively to the origin and consider the sequence of random points that we obtain this way. We prove a local limit theorem under a suitable moment condition and a necessary non-degeneracy condition. Under stronger hypothesis, we prove a limit theorem on a wide range of scales: between e^(-cl^(1/4)) and l^(1/2), where l is the number of steps. △ Less

Submitted 14 August, 2015; v1 submitted 15 May, 2012; originally announced May 2012.

Comments: 62 pages, 1 figure, revision based on referee's report, proofs and results unchanged

Journal ref: Ann. of Math. (2) 181 (2015), no. 1, 243--301

Expansion in perfect groups

Authors: Alireza Salehi Golsefidy, Péter P. Varjú

Abstract: Let Ga be a subgroup of GL_d(Q) generated by a finite symmetric set S. For an integer q, denote by Ga_q the subgroup of Ga consisting of the elements that project to the unit element mod q. We prove that the Cayley graphs of Ga/Ga_q with respect to the generating set S form a family of expanders when q ranges over square-free integers with large prime divisors if and only if the connected componen… ▽ More Let Ga be a subgroup of GL_d(Q) generated by a finite symmetric set S. For an integer q, denote by Ga_q the subgroup of Ga consisting of the elements that project to the unit element mod q. We prove that the Cayley graphs of Ga/Ga_q with respect to the generating set S form a family of expanders when q ranges over square-free integers with large prime divisors if and only if the connected component of the Zariski-closure of Ga is perfect. △ Less

Submitted 20 August, 2012; v1 submitted 24 August, 2011; originally announced August 2011.

Comments: 62 pages, no figures, revision based on referee's comments: new ideas are explained in more details in the introduction, typos corrected, results and proofs unchanged

Journal ref: Geom. Funct. Anal., 22(6), 1832-1891 (2012)

Expansion in SL_d(Z/qZ), q arbitrary

Authors: Jean Bourgain, Péter P. Varjú

Abstract: Let S be a fixed finite symmetric subset of SL_d(Z), and assume that it generates a Zariski-dense subgroup G. We show that the Cayley graphs of pi_q(G) with respect to the generating set pi_q(S) form a family of expanders, where pi_q is the projection map Z->Z/qZ. Let S be a fixed finite symmetric subset of SL_d(Z), and assume that it generates a Zariski-dense subgroup G. We show that the Cayley graphs of pi_q(G) with respect to the generating set pi_q(S) form a family of expanders, where pi_q is the projection map Z->Z/qZ. △ Less

Submitted 17 June, 2010; originally announced June 2010.

Journal ref: Invent. math. 188 (2012), no. 1, 151-173

Expansion in $SL_d(O_K/I)$, $I$ square-free

Authors: Péter P. Varjú

Abstract: Let S be a fixed symmetric finite subset of SL_d(O_K) that generates a Zariski dense subgroup of SL_d(O_K) when we consider it as an algebraic group over Q by restriction of scalars. We prove that the Cayley graphs of SL_d(O_K/I) with respect to the projections of S is an expander family if I ranges over square-free ideals of O_K if d=2 and K is an arbitrary numberfield, or if d=3 and K=Q. Let S be a fixed symmetric finite subset of SL_d(O_K) that generates a Zariski dense subgroup of SL_d(O_K) when we consider it as an algebraic group over Q by restriction of scalars. We prove that the Cayley graphs of SL_d(O_K/I) with respect to the projections of S is an expander family if I ranges over square-free ideals of O_K if d=2 and K is an arbitrary numberfield, or if d=3 and K=Q. △ Less

Submitted 20 January, 2010; originally announced January 2010.

Journal ref: J. Eur. Math. Soc. (JEMS) 14 (2012), no. 1, 273-305