Source author record

Péter P. Varjú

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.PR math.NT math.CA math.DS math.GR math.CO math.GN

Catalog footprint

Research overview

16works

7topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2026arXiv

Counting rationals and diophantine approximation in missing-digit Cantor sets

We establish a new upper bound for the number of rationals up to a given height in a missing-digit set, making progress towards a conjecture of Broderick, Fishman, and Reich. This enables us to make novel progress towards another conjecture of those authors about the corresponding intrinsic diophantine approximation problem. Moreover, we make further progress towards conjectures of Bugeaud--Durand and Levesley--Salp--Velani on the distribution of diophantine exponents in missing-digit sets. A key tool in our study is Fourier $\ell^1$ dimension introduced by the last named author in [H. Yu, Rational points near self-similar sets, arXiv:2101.05910]. An important technical contribution of the paper is a method to compute this quantity.

preprint2022arXiv

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

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.

preprint2022arXiv

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

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.

preprint2021arXiv

Entropy of Bernoulli convolutions and uniform exponential growth for linear groups

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.

preprint2021arXiv

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

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.

preprint2020arXiv

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

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$ .

preprint2020arXiv

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

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.

preprint2019arXiv

Expansion of coset graphs of PSL_2(F_p)

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.

preprint2019arXiv

Irreducibility of random polynomials of large degree

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.

preprint2019arXiv

On the dimension of Bernoulli convolutions for all transcendental parameters

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)$ .

preprint2018arXiv

On the dimension of Bernoulli convolutions

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)$ .

preprint2016arXiv

Recent progress on Bernoulli convolutions

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.

preprint2015arXiv

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

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.

preprint2012arXiv

Expansion in perfect groups

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.

preprint2010arXiv

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

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.

preprint2010arXiv

Expansion in SL_d(Z/qZ), q arbitrary

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.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Péter P. Varjú

Research overview

Is this your work?

16 publications

Counting rationals and diophantine approximation in missing-digit Cantor sets

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

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

Entropy of Bernoulli convolutions and uniform exponential growth for linear groups

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

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

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

Expansion of coset graphs of PSL_2(F_p)

Irreducibility of random polynomials of large degree

On the dimension of Bernoulli convolutions for all transcendental parameters

On the dimension of Bernoulli convolutions

Recent progress on Bernoulli convolutions

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

Expansion in perfect groups

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

Expansion in SL_d(Z/qZ), q arbitrary

See the researcher in context

Building this map preview

Péter P. Varjú

Research overview

Is this your work?

16 publications

Counting rationals and diophantine approximation in missing-digit Cantor sets

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

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

Entropy of Bernoulli convolutions and uniform exponential growth for linear groups

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

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

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

Expansion of coset graphs of PSL_2(F_p)

Irreducibility of random polynomials of large degree

On the dimension of Bernoulli convolutions for all transcendental parameters

On the dimension of Bernoulli convolutions

Recent progress on Bernoulli convolutions

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

Expansion in perfect groups

Expansion in SLd(OK/I)SL_d(O_K/I)SLd​(OK​/I), III square-free

Expansion in SL_d(Z/qZ), q arbitrary

See the researcher in context

Building this map preview

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

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