Source author record

Péter P. Varjú

Péter P. Varjú appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

16works
7topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

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.

Published work

16 published item(s)

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.

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

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.