A transference principle for simultaneous rational approximation (Q2211022)

Len \(n\) be a positive integer and let \(\boldsymbol{\zeta} =(\zeta_0,\dots ,\zeta_n)\) be a point of \(\mathbb R^{n+1}\) whose coordinates are linearly independent over \(\mathbb Q\). For any integer point \(\mathbf x=(x_0,\dots ,x_n)\in\mathbb Z^{n+1}\) we set \(L_{\boldsymbol{\zeta}}(\mathbf x)=\max_{1\leq k\leq n}\mid \zeta_0x_k-\zeta_kx_0\mid\) and for each \(X\geq 1\) we define \(\mathcal L_{\boldsymbol{\zeta}}(X)=\min\{ L_{\boldsymbol{\zeta}} (\mathbf x);\mathbf x\in\mathbb Z^{n+1}\setminus \{ 0\}, \Vert\mathbf x\Vert\leq X\}\), where \(\Vert . \Vert\) denotes the usual Euclidean norm in \(\mathbb R^{n+1}\). For \(S\subset \mathbb Z^{n+1}\) set \(\mathcal L_{\boldsymbol{\zeta}} (X;S)=\min\{ L_{\boldsymbol{\zeta}} (\mathbf x); x\in S, 0\leq \Vert\mathbf x\Vert\leq X\}\) such that \(\min \emptyset =\infty\). Assume that \(\lim_{X\to\infty}\mathcal L_{\boldsymbol{\zeta}} (X;S)=0\). Let \((\mathbf x_i)_{i\geq 0}\) be a sequence of minimal points for \(\boldsymbol{\zeta}\) with respect to \(S\). For each \(i\geq 0\) set \(X_i=\Vert\mathbf x_i\Vert\) and \(L_i=\mathcal L_{\boldsymbol{\zeta}} (X;S)=L_{\boldsymbol{\zeta}} (\mathbf x_i)\). Fix also an index \(i_0\geq 0\). Then the authors prove that for each \(t=1,\dots , n-1\) there exists a largest integer \(i_t\) with \(i_t\geq i_0\) such that \(\dim(\mathbf x_{i_0},\dots ,\mathbf x_{i_t})_{\mathbb R}=t+1\). For these indices \(i_0,\dots , i_{n-1}\) we have \(X_{i_1}\cdots X_{i_{n-1}}\leq c L_{i_0} X_{i_0+1}\cdots L_{i_{n-1}}X_{i_{n-1}+1}\) with a constant \(c>0\) depending only on \(\boldsymbol{ \zeta}\) and not on \(i_0\).