No label defined (Q4399962)

Consider the matrix \(A_k=\left( \begin{smallmatrix} k& 0 & 1\\ 1 & 0 & 0\\ 0 & 1 & 0 \end{smallmatrix} \right)\) associated with the modified Jacobi-Perron algorithm (MJPA), and let \(\lambda\) be the largest eigenvalue which is a Pisot number. Let \(\alpha=1/ \lambda\), then \((\alpha, \alpha^2)\) is a fixed point of the MJPA and \(\left({p_n \over q_n},{r_n\over q_n} \right)\) given by \[ A^n_k =\left(\begin{matrix} q_n & q_{n-2} & q_{n-1}\\ p_n & p_{n-2} & p_{n-1}\\ r_n & r_{n-2} & r_{n-1}\end{matrix}\right) \] gives a simultaneous approximation to \((\alpha,\alpha^2)\). The main theorem of this short note (which is too long to be stated here) gives a description of the sets \[ J_k= \biggl\{\bigl( \sqrt{q_n} (q_n\alpha-p_n), \sqrt{q_n} (q_n\alpha^2-r_n) \bigr) \mid n\in \mathbb{N}\biggr\}, \] and \[ L_k=\bigl \{(\sqrt q(q \alpha-p_n),\;\sqrt q(q\alpha^2-r)\bigr) \mid (q,p, r) \in\mathbb{Z}^3,\;q>0\bigr\}. \] As a consequence the author obtains the following result. Corollary 1. For each \(k\in\mathbb{N}\), let \(C_k\) be the infimum of \(C>0\) such that \(\max\sqrt q(| q\alpha- p|\), \(| q\alpha^2-r|)<C\) has infinitely many solutions \((q,p,r)\). An explicit value of \(C_k\) is given. The proof of the main theorem rests on the fact that the linear action on \(\mathbb{Z}^3\) can be identified as a factor of a substitution dynamical system, and a lemma on fractal domains.