Tautness for sets of multiples and applications to B-free dynamics
For any set B⊆N={1,2,…} one can define its \emph{set of multiples} MB:=⋃b∈BbZ and the set of \emph{B-free numbers} FB:=Z∖MB. Tautness of the set B is a basic property related to questions around the asymptotic density of MB⊆Z. From a dynamical systems point of view (originated by Sarnak) one studies η, the indicator function of FB⊆Z, its shift-orbit closure Xη⊆{0,1}Z and the stationary probability measure νη defined on Xη by the frequencies of finite blocks in η. In this paper we prove that tautness implies the following two properties of η: (1) The measure νη has full topological support in Xη. (2) If Xη is proximal, i.e. if the one-point set {…000…} is contained in Xη and is the unique minimal subset of Xη, then Xη is hereditary, i.e. if x∈Xη and if w is an arbitrary element of {0,1}Z, then also the coordinate-wise product w⋅x belongs to Xη. This strengthens two results from [Bartnicka et al. 2015] which need the stronger assumption that B has light tails for the same conclusions.