B-free sets and the existence of natural density

Joanna Kułaga-Przymus (NCU, Torun)

Apr 25. 2025, 14:00 — 14:45

Given $\mathscr{B}\subseteq \mathbb{N}$, let $\mathcal{M}_\mathscr{B}=\bigcup_{b\in\mathscr{B}}b\mathbb{Z}$ be the correspoding set of multiples. We say that $\mathscr{B}$ is taut if the logaritmic density of $\mathcal{M}_\mathscr{B}$ decreases after removing any element from $\mathscr{B}$. We say that $\mathscr{B}$ is minimal if it is primitive (i.e.\ $b | b'$ form $b,b'\in\mathscr{B}$ implies $b=b'$) and the characteristic function $\eta$ of $\mathcal{M}_\mathscr{B}$ is a Toeplitz sequence (i.e.\ for every $n\in \mathbb{N}$ there exists $s_n$ such that $\eta$ is constant along $n+s_n\mathbb{Z}$). With every $\mathscr{B}$ one associates the corresponding taut set $\mathscr{B}'$ (determined uniquely among all taut sets by the condition that the lower density of $\mathcal{M}_\mathscr{B}$ and $\mathcal{M}_{\mathscr{B}'}$ agree) and the minimal set $\mathscr{B}^*$ (determined uniquely among all minimal sets by the condition that every configuration appearing on $\mathcal{M}_{\mathscr{B}^*}$ appears on $\mathcal{M}_\mathscr{B}$: for every $n\in \mathbb{N}$, there exists $k\in \mathbb{Z}$ such that $\mathcal{M}_{\mathscr{B}^*}\cap [0,n]=\mathcal{M}_\mathscr{B} \cap[k,k+n]-k$). Besicovitch in 1935 gave an example of $\mathscr{B}$ whose set of multiples does not have the natural density. It was proved by Bergelson, Kułaga-Przymus, Lemańczyk and Richter in 2019 that if $\mathcal{M}_{\mathscr{B}'}$ posses the natural density then so does $\mathcal{M}_\mathscr{B}$. We show that this is the only obstruction: every configuration $ijk\in \{0,1\}^3$ (with $ij\neq 01$), encoding the information on the existence of the natural density for the triple $\mathcal{M}_\mathscr{B},\mathcal{M}_{\mathscr{B'}},\mathcal{M}_{\mathscr{B}^*}$, can occur. This is a joint work with Aurelia Dymek and Stanisław Kasjan.

Further Information
Venue:
ESI Boltzmann Lecture Hall
Recordings:
Recording
Files:
Slides
Associated Event:
Uniform Distribution of Sequences (Workshop)
Organizer(s):
Henk Bruin (U of Vienna)
Robbert Fokkink (TU Delft)
Jörg Thuswaldner (Montanuniversität Leoben)