Separating Milliken-Taylor systems in \(\mathbb{Q}\) (Q482274)

A finite sequence \(\vec{a}= \langle a_i \rangle^k_{i=1}\) in \(\mathbb{Q} \setminus \{0\}\) is compressed if \(a_i \neq a_{i+1}\) for \(i < k\). Given a compressed sequence \(\vec{a}= \langle a_i \rangle^k_{i=1}\) in \(\mathbb{Z} \setminus \{0\}\) and given a sequence \(\langle x_n \rangle^\infty_{n=1}\) in a commutative group \((G,+)\), the Milliken-Taylor system generated by \(\vec{a}\) and \(\langle x_n \rangle^\infty_{n=1}\) is \(\displaystyle MT(\vec{a},\langle x_n \rangle^\infty_{n=1}) = \{ \sum_{i=1}^{k}a_i \cdot \sum_{n \in F_i} x_n : F_1, F_2, \ldots, F_k\) are finite nonempty subsets of \(\mathbb{N}\) with \(\max F_i < \min F_{i+1}\) for \(i < k \}\). The main result proved in this paper is as follows. Let \(\vec{a}\) and \(\vec{b}\) be compressed sequences in \(\mathbb{Z} \setminus \{0 \}\) such that \(\vec{b}\) is not a rational multiple of \(\vec{a}\). There exists a finite coloring of \(\mathbb{Q} \setminus \{ 0\}\) such that there do not exist a color class \(D\) and sequences \(\langle x_n \rangle^\infty_{n=1}\) and \(\langle y_n \rangle^\infty_{n=1}\) in \(\mathbb{Q}\) with \(\displaystyle MT(\vec{a}, \langle x_n \rangle^\infty_{n=1}) \cup MT(\vec{b}, \langle y_n \rangle^\infty_{n=1}) \subseteq D\).