Permutation of values of irrationality measure functions

For an irrational number $\alpha \in \mathbb{R}$ we consider its irrationality measure function $${\psi }_{\alpha }(t)=\underset{1\le q\le t,q\in \mathbb{Z}}{\min }\mathrm{\parallel }q\alpha \mathrm{\parallel }\mathrm{.}$$ Let $\mathit{\alpha }=({\alpha }_1,\dots ,{\alpha }_n)$ be $n$-tuple of pairwise independent irrational numbers. For each $t\in {\mathbb{R}}_{>1}$ irrationality measure functions ${\psi }_{{\alpha }_1},\dots ,{\psi }_{{\alpha }_n}$ can be written in an increasing order $${\psi }_{{\alpha }_{v_1}}(t)>{\psi }_{{\alpha }_{v_2}}(t)>\cdots >{\psi }_{{\alpha }_{v_{n-1}}}(t)>{\psi }_{{\alpha }_{v_n}}(t)\mathrm{.}$$ We consider the vector of functions ${\mathit{v}}_{\mathit{\alpha }}(t):{\mathbb{R}}_{>1}\to S_n$ associated to this order and defined as $${\mathit{v}}_{\mathit{\alpha }}(t)=(v_1,v_2,\dots ,v_{n-1},v_n)\mathrm{.}$$ Let $\mathit{k}(\mathit{\alpha })$ be the number of infinitely occurring different values of ${\mathit{v}}_{\mathit{\alpha }}(t)$. It is known that if $\mathit{k}(\mathit{\alpha })=k$ we have $n\le \frac{k(k+1)}{2}\mathrm{.}$ At the same time, for $k\ge 3$ and $n=\frac{k(k+1)}{2}$ there exists an $n$-tuple $\mathit{\alpha }$ with $\mathit{k}(\mathit{\alpha })=k$. In this work we define a $k$-cyclic permutation $\pi$ and prove that in the extremal case $n=\frac{k(k+1)}{2},\mathit{k}(\mathit{\alpha })=k$ the set of successive values of ${\mathit{v}}_{\mathit{\alpha }}(t)$ is an orbit of $\pi$.