B-free sets and dynamics
Let B⊂N and let η∈{0,1}Z be the characteristic function of the set FB:=Z∖⋃bbZ of B-free numbers. Consider (S,Xη), where Xη is the closure of the orbit of η under the left shift S. When B={p2:p∈P}, (S,Xη) was studied by Sarnak. This case + some generalizations, including the case (*) of B infinite, coprime with ∑b1/b<∞, were discussed by several authors. For general B, contrary to (*), we may have Xη⊊XB:={x∈{0,1}Z:∣supp xmodb∣≤b−1∀b}. Also, Xη may not be hereditary (heredity means that if x∈X and y≤x coordinatewise then y∈X). We show that η is quasi-generic for a natural measure νη. We solve the problem of proximality by showing first that Xη has a unique minimal (Toeplitz) subsystem. Moreover B-free system is proximal iff B contains an infinite coprime set. B is taut when δ(FB)<δ(FB∖{b}) for each b. We give a characterization of taut B in terms of the support of νη. Moreover, for any B there exists a taut B' with νη=νη′. For taut sets B,B', we have B=B' iff XB=XB′. For each B there is a taut B' with X~η′⊂X~η and all invariant measures for (S,X~η) live on X~η′. (S,X~η) is shown to be intrinsically ergodic for all B. We give a description of all invariant measures for (S,X~η). The topological entropies of (S,X~η) and (S,XB) are both equal to d(FB). We show that for a subclass of taut B-free systems proximality is the same as heredity. Finally, we give applications in number theory on gaps between consecutive B-free numbers. We apply our results to the set of abundant numbers.