ℬ-free sets and dynamics

Abstract

Given B ⊂ N \mathscr {B}\subset \mathbb {N} , let η = η B ∈ { 0 , 1 } Z \eta =\eta _{\mathscr {B}}\in \{0,1\}^{\mathbb {Z}} be the characteristic function of the set F B := Z ∖ ⋃ b ∈ B b Z \mathcal {F}_\mathscr {B}:=\mathbb {Z}\setminus \bigcup _{b\in \mathscr {B}}b\mathbb {Z} of B \mathscr {B} -free numbers. The B \mathscr {B} -free shift ( X η , S ) (X_\eta ,S) , its hereditary closure ( X ~ η , S ) (\widetilde {X}_\eta ,S) , and (still larger) the B \mathscr {B} -admissible shift ( X B , S ) (X_{\mathscr {B}},S) are examined. Originated by Sarnak in 2010 for B \mathscr {B} being the set of square-free numbers, the dynamics of B \mathscr {B} -free shifts was discussed by several authors for B \mathscr {B} being Erdös; i.e., when B \mathscr {B} is infinite, its elements are pairwise coprime, and ∑ b ∈ B 1 / b > ∞ \sum _{b\in \mathscr {B}}1/b>\infty : in the Erdös case, we have X η = X ~ η = X B X_\eta =\widetilde {X}_\eta =X_{\mathscr {B}} . It is proved that X η X_\eta has a unique minimal subset, which turns out to be a Toeplitz dynamical system. Furthermore, a B \mathscr {B} -free shift is proximal if and only if B \mathscr {B} contains an infinite coprime subset. It is also shown that for B \mathscr {B} with light tails, i.e., d ¯ ( ∑ b > K b Z ) → 0 \overline {d}(\sum _{b>K}b\mathbb {Z})\to 0 as K → ∞ K\to \infty , proximality is the same as heredity. For each B \mathscr {B} , it is shown that η \eta is a quasi-generic point for some natural S S -invariant measure ν η \nu _\eta on X η X_\eta . A special role is played by subshifts given by B \mathscr {B} which are taut, i.e., when δ ( F B ) > δ ( F B ∖ { b } ) \boldsymbol {\delta }(\mathcal {F}_{\mathscr {B}})>\boldsymbol {\delta }(\mathcal {F}_{\mathscr {B}\setminus \{b\}}) for each b ∈ B b\in \mathscr {B} ( δ \boldsymbol {\delta } stands for the logarithmic density). The taut class contains the light tail case; hence all Erdös sets and a characterization of taut sets B \mathscr {B} in terms of the support of ν η \nu _\eta are given. Moreover, for any B \mathscr {B} there exists a taut B ′ \mathscr {B}’ with ν η B = ν η B ′ \nu _{\eta _{\mathscr {B}}}=\nu _{\eta _{\mathscr {B}’}} . For taut sets B , B ′ \mathscr {B},\mathscr {B}’ , it holds that X B = X B ′ X_\mathscr {B}=X_{\mathscr {B}’} if and only if B = B ′ \mathscr {B}=\mathscr {B}’ . For each B \mathscr {B} , it is proved that there exists a taut B ′ \mathscr {B}’ such that ( X ~ η B ′ , S ) (\widetilde {X}_{\eta _{\mathscr {B}’}},S) is a subsystem of ( X ~ η B , S ) (\widetilde {X}_{\eta _{\mathscr {B}}},S) and X ~ η B ′ \widetilde {X}_{\eta _{\mathscr {B}’}} is a quasi-attractor. In particular, all invariant measures for ( X ~ η B , S ) (\widetilde {X}_{\eta _{\mathscr {B}}},S) are supported by X ~ η B ′ \widetilde {X}_{\eta _{\mathscr {B}’}} . Moreover, the system ( X ~ η , S ) (\widetilde {X}_\eta ,S) is shown to be intrinsically ergodic for an arbitrary B \mathscr {B} . A description of all probability invariant measures for ( X ~ η , S ) (\widetild

Tautness for sets of multiples and applications to ${\mathcal B}$-free dynamics

“…The investigation of structural properties of M B or, equivalently, of F B has a long history (see the monograph [5] and the recent paper [2] for references). Properties of B are closely related to properties of the shift dynamical system generated by the two-sided sequence η ∈ {0, 1} , the characteristic function of F B .…”

“…Properties of B are closely related to properties of the shift dynamical system generated by the two-sided sequence η ∈ {0, 1} , the characteristic function of F B . Indeed, topological dynamics and ergodic theory provide a wealth of concepts to describe various aspects of the structure of η, see [11] which originated this point of view by studying the set of square-free numbers, and also [10], [1], [2], [7] for later contributions.…”

“…which was introduced in [2] under the name light tails in order to prove two subtle dynamical properties of the dynamical system associated in a natural way to the set B -see the next section for details. However it turns out that light tails is definitively a stronger property than (1).…”

“…However it turns out that light tails is definitively a stronger property than (1). Indeed, the authors of [2] show that each set B with light tails is actually taut and satisfies d(B) = d(B), but that the converse does not hold [2,Th. 4.20].…”

“…η(n) = 1 if and only if n ∈ F B , and consider the orbit closure X η of η in the shift dynamical system ({0, 1} , σ), where σ stands for the left shift. Topological dynamics and ergodic theory provide a wealth of concepts to describe various aspects of the structure of η, see [11] which originated this point of view by studying the set of square-free numbers, and also [1], [2], [7], [8] which continued this line of research. We collect some facts from these references: (E) If B has light tails and if B contains an infinite pairwise coprime subset, then X η is hereditary,…”