On additive properties of sets defined by the Thue-Morse word

From MaRDI portal
Publication:388192




Abstract: In this paper we study some additive properties of subsets of the set ats of positive integers: A subset A of ats is called {it k-summable} (where ) if A contains for some k-term sequence of natural numbers x1<x2<...<xk. We say Asubseteqats is finite FS-big if A is k-summable for each positive integer k. We say is Asubseteqats is infinite FS-big if for each positive integer k, A contains for some infinite sequence of natural numbers x1<x2<.... We say Asubseteqats is an IP-set if A contains for some infinite sequence of natural numbers x1<x2<.... By the Finite Sums Theorem [5], the collection of all IP-sets is partition regular, i.e., if A is an IP-set then for any finite partition of A, one cell of the partition is an IP-set. Here we prove that the collection of all finite FS-big sets is also partition regular. Let TM=011010011001011010... denote the Thue-Morse word fixed by the morphism 0mapsto01 and 1mapsto10. For each factor u of TM we consider the set of all occurrences of u in TM. In this note we characterize the sets in terms of the additive properties defined above. Using the Thue-Morse word we show that the collection of all infinite FS-big sets is not partition regular.









This page was built for publication: On additive properties of sets defined by the Thue-Morse word

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q388192)