# Diophantine Approximation in Higher Dimensions

Let $\mathbf{x} \in \mathbb{R}^K$ be an irrational vector. Assume that $\|\mathbf{x}\|^2 \leq 1$. Is is known that for all $N > 1$, there exists an $p_1 \in \mathbb{N}, \mathbf{q}_1 \in \mathbb{N}^{K}$ such that $|p_1| < N$ and

$$\|p_1\mathbf{x} - \mathbf{q}_1\| \leq \frac{C}{N^{\frac{1}{K}}}$$

where $C$ is some constant.

I want to find another K-1 pairs $(p_2, \mathbf{q}_2)$, .., $(p_K, \mathbf{q}_K)$ where $\mathbf{p}_1,..,\mathbf{p}_K \in \mathbf{N}^K$ are linearly independent and such that

$$\max_i \|p_i\mathbf{x} - \mathbf{q}_i\| \leq \frac{C}{N^{\frac{1}{K}}}$$

How large will $\max_i |p_i|$ be? Can I characterize it as a function of N (for large N)? Will it be on the order of $N$ still?

-
For the algebraic case the Schmidt subspace theorem should help here. en.wikipedia.org/w/…. Otherwise using the pigeonhole principle in a similar manner as in the standard proof of Dirichlet's approximation theorem will give a bound. – George Lowther Jan 27 '11 at 21:11
I think that ${\bf q}_1$ has to be in ${\bf Z}^K$ (not ${\bf N}^K$). I think it's the ${\bf q}_j$ that want to be linearly independent (not the ${\bf p}_j$). – Gerry Myerson Jan 27 '11 at 21:56