Solvability of linear equations within weak mixing sets (Q1758920)

Let us consider the shift operator \(T\) acting on the space of sequences \(\{0,1\}^{\mathbb N_0}\), where \(\mathbb N_0=\mathbb N\cup\{0\}\). For any sequence \(\xi\), define \[ X_\xi=\overline{\{T^n\xi\}_{n\in\mathbb N_0}}\subset\{0,1\}^{\mathbb N_0}. \] For a set \(S\subset\mathbb N\), \(1_S\) is the sequence \(\{1_S(n)\}_{n\in\mathbb N_0}\). Definition. For \(S\subset\mathbb N\), the density of \(S\) is defined by \(d(S)=\lim_{N\to\infty}{1\over N}\sum_{n=1}^N1_S(n)\), if the limit exists. Definition. A subset \(S\subset\mathbb N\) is called a WM-set (weakly mixing) if \(1_S\) is a generic point of the weakly mixing system \((X_{1_S},\mathbb B, \mu,T)\) and \(d(S)>0\). A subset \(S\subset\mathbb N\) is called normal if \(1_S\) is a normal sequence. The author proves the following theorem. An affine subspace of \(\mathbb Q^k\) intersects \(A^k\) for every WM-set \(A\subset\mathbb N\) if it contains a set of the form \[ \{n\vec a+m\vec b+\vec f\mid n,m\in\mathbb N\}, \] where \(\vec a,\vec b,\vec f\) have the following description: \(\vec a=(a_1,a_2,\ldots,a_k)^t, \vec b=(b_1,b_2,\ldots,b_k)^t\in\mathbb N^k\), \(\vec f=(f_1,f_2,\ldots,f_k)^t\in\mathbb Z^k\) and there exists a partition \(F_1,\ldots,F_l\) of \(\{1,2,\ldots,k\}\) such that 1) for every \(r\in\{1,\ldots,l\}\) there exist \(c_{1,r},c_{2,r}\in\mathbb N\) such that for every \(i\in F_r\), we have \(a_i=c_{1,r},b_i=c_{2,r}\), and for every \(j\in\{1,\ldots,k\}\backslash F_r\) we have \[ \det\begin{pmatrix} a_j&b_j\\c_{1,r}&c_{2,r}\end{pmatrix}\neq0. \] 2) \(\forall r\in\{1,\ldots,l\}\) \(\exists c_r\in\mathbb Z\) such that \(\forall i\in F_r\) : \(f_i=c_r\). The author proves also the following theorem. An affine subspace of \(\mathbb Q^k\) intersects \(A^k\) for every normal set \(A\subset\mathbb N\) if it contains a set of the form \[ \{n\vec a+m\vec b+\vec f\mid n,m\in\mathbb N\}, \] where \(\vec a,\vec b,\vec f\) have the following description: \(\vec a=(a_1,a_2,\ldots,a_k)^t, \vec b=(b_1,b_2,\ldots,b_k)^t\in\mathbb N^k\), \(\vec f=(f_1,f_2,\ldots,f_k)^t\in\mathbb Z^k\) and there exists a partition \(F_1,\ldots,F_l\) of \(\{1,2,\ldots,k\}\) such that for every \(r\in\{1,\ldots,l\}\) there exist \(c_{1,r},c_{2,r}\in\mathbb N\) such that for every \(i\in F_r\), we have \(a_i=c_{1,r},b_i=c_{2,r}\), and for every \(j\in\{1,\ldots,k\}\backslash F_r\) we have \[ \det\begin{pmatrix} a_j&b_j\\c_{1,r}&c_{2,r}\end{pmatrix}\neq0. \]