Hostname: page-component-78c5997874-dh8gc Total loading time: 0 Render date: 2024-11-04T21:03:12.996Z Has data issue: false hasContentIssue false

A NOTE ON BADLY APPROXIMABLE LINEAR FORMS ON MANIFOLDS

Published online by Cambridge University Press:  11 May 2017

Paloma Bengoechea
Affiliation:
Department of Mathematics, ETH Zurich, Rämistrasse 101, 8092 Zürich, Switzerland email [email protected]
Nikolay Moshchevitin
Affiliation:
Department of Mathematics and Mechanics, Moscow State University, Leninskie Gory 1, GZ MGU, 119991 Moscow, Russia email [email protected]
Natalia Stepanova
Affiliation:
Department of Mathematics and Mechanics, Moscow State University, Leninskie Gory 1, GZ MGU, 119991 Moscow, Russia email [email protected]

Abstract

This paper is motivated by Davenport’s problem and the subsequent work regarding badly approximable points in submanifolds of a Euclidean space. We study the problem in the area of twisted Diophantine approximation and present two different approaches. The first approach shows that, under a certain restriction, any countable intersection of the sets of weighted badly approximable points on any non-degenerate ${\mathcal{C}}^{1}$ submanifold of $\mathbb{R}^{n}$ has full dimension. In the second approach, we introduce the property of isotropically winning and show that the sets of weighted badly approximable points are isotropically winning under the same restriction as above.

Type
Research Article
Copyright
Copyright © University College London 2017 

1 Introduction

In [Reference Khintchine17] Khintchine proved that there exists an absolute constant $\unicode[STIX]{x1D6FE}>0$ such that for any $\unicode[STIX]{x1D703}\in \mathbb{R}$ there exists $x\in \mathbb{R}$ satisfying

(1) $$\begin{eqnarray}\inf _{q\in \mathbb{N}}q\cdot \Vert q\unicode[STIX]{x1D703}-x\Vert \geqslant \unicode[STIX]{x1D6FE}.\end{eqnarray}$$

The best known value of $\unicode[STIX]{x1D6FE}$ is probably due to Godwin [Reference Godwin13]. More than 50 years later, Tseng [Reference Tseng28] showed that, for every $\unicode[STIX]{x1D703}\in \mathbb{R}$ , the set of all $x$ for which there exists a positive constant $\unicode[STIX]{x1D6FE}=\unicode[STIX]{x1D6FE}(\unicode[STIX]{x1D703},x)$ such that (1) is true is $1/8$ -winning for the standard Schmidt game (in particular, it has maximal Hausdorff dimension). Now we usually refer to such sets, denoted by $\text{Bad}_{\unicode[STIX]{x1D703}}$ , as sets of twisted badly approximable numbers.

In the other direction, Kim [Reference Kim20] proved that $\text{Bad}_{\unicode[STIX]{x1D703}}$ has zero Lebesgue measure if $\unicode[STIX]{x1D703}\in \mathbb{R}\setminus \mathbb{Q}$ .

The study of twisted badly approximable numbers has been pursued to higher dimension as the classical approximation by rationals. Various multidimensional generalizations of Khinchine’s result were due to Khinchine [Reference Khintchine18, Reference Khintchine19], Jarník [Reference Jarník15, Reference Jarník16], Kleinbock [Reference Kleinbock21], Bugeaud et al [Reference Bugeaud, Harrap, Kristensen and Velani7], Moschevitin [Reference Moshchevitin22], Einsiedler and Tseng [Reference Einsiedler and Tseng10] and others. In the classical case, Schmidt introduced the weighted simultaneously badly approximable numbers

$$\begin{eqnarray}\text{Bad}(i,j)=\Bigl\{(x_{1},x_{2})\in \mathbb{R}^{2}:\inf _{q\in \mathbb{N}}\max (q^{i}\Vert qx_{1}\Vert ,q^{j}\Vert qx_{2}\Vert )>0\Bigr\},\end{eqnarray}$$

where $i,j$ are real positive numbers satisfying $i+j=1$ .

It is well-known that $\text{Bad}(i,j)$ has Lebesgue measure 0 and it was shown to have full Hausdorff dimension by Pollington and Velani [Reference Pollington and Velani23] only in 2002. A few years later, Badziahin, Pollington and Velani made a breakthrough [Reference Badziahin, Pollington and Velani3] by settling a famous conjecture of Schmidt. They proved that any countable intersection with a certain restriction of sets $\text{Bad}(i,j)$ for different weights $(i,j)$ has full Hausdorff dimension. This result was significantly improved by An in [Reference An1], where he proved that $\text{Bad}(i,j)$ is winning for the standard Schmidt game and thus obtained the full dimension result for countable intersections unconditionally.

Moreover, Badziahin, Pollington and Velani’s work settled the foundations for the study of the dimension of $\text{Bad}(i,j)$ on planar curves. In 1964, Davenport asked the question: is the intersection of $\text{Bad}(1/2,1/2)$ with the parabola uncountable? Badziahin and Velani [Reference Badziahin and Velani4] answered this question positively and proved the more general result: the set $\text{Bad}(i,j)$ on any $C^{(2)}$ non-degenerate planar curve has full dimension. This is false in general if we replace non-degenerate curves by straight lines. Recently, Badziahin and Velani’s result has been improved to winning in [Reference An, Beresnevich and Velani2] and generalized to higher dimension by Beresnevich [Reference Beresnevich6]. In higher dimension, we fix an $n$ -tuple $\boldsymbol{k}=(k_{1},\ldots ,k_{n})$ of real numbers satisfying

(2) $$\begin{eqnarray}k_{1},\ldots ,k_{n}>0\quad \text{and}\quad \mathop{\sum }_{i=1}^{n}k_{i}=1,\end{eqnarray}$$

and define

$$\begin{eqnarray}\text{Bad}(\boldsymbol{k},n,m)=\Bigl\{\unicode[STIX]{x1D6E9}\in \text{Mat}_{n\times m}(\mathbb{R}):\inf _{q\in \mathbb{Z}_{\neq 0}^{m}}\max _{1\leqslant i\leqslant n}(|q|^{mk_{i}}\Vert \unicode[STIX]{x1D6E9}_{i}(q)\Vert )>0\Bigr\}.\end{eqnarray}$$

Here, $|\cdot |$ denotes the supremum norm, $\unicode[STIX]{x1D6E9}=(\unicode[STIX]{x1D6E9}_{ij})$ and $\unicode[STIX]{x1D6E9}_{i}(q)$ is the product of the $i$ th line of $\unicode[STIX]{x1D6E9}$ with the vector $q$ , i.e.

$$\begin{eqnarray}\unicode[STIX]{x1D6E9}_{i}(q)=\mathop{\sum }_{j=1}^{m}q_{j}\unicode[STIX]{x1D6E9}_{ij}.\end{eqnarray}$$

Beresnevich proved that any countable intersection with a certain restriction of sets $\text{Bad}(\boldsymbol{k},n,1)$ for different weights $\boldsymbol{k}$ (and same dimension of approximation $n\times 1$ ) with any analytic non-degenerate manifold in $\mathbb{R}^{n}$ has full dimension. Thus, he also settled a generalization to higher dimension of Schmidt’s conjecture.

In twisted Diophantine approximation, much less is known. Given $\unicode[STIX]{x1D6E9}\in \text{Mat}_{n\times m}(\mathbb{R})$ , we define

$$\begin{eqnarray}\text{Bad}_{\unicode[STIX]{x1D6E9}}(\boldsymbol{k},n,m)=\Bigl\{x\in \mathbb{R}^{n}:\,\inf _{q\in \mathbb{Z}_{\neq 0}^{m}}\max _{1\leqslant i\leqslant n}(|q|^{mk_{i}}\Vert \unicode[STIX]{x1D6E9}_{i}(q)-x_{i}\Vert )>0\Bigr\}.\end{eqnarray}$$

The Lebesgue measure of $\text{Bad}_{\unicode[STIX]{x1D6E9}}(\boldsymbol{k},n,1)$ is zero for almost all $\unicode[STIX]{x1D6E9}\in \mathbb{R}^{n}$ and its Hausdorff dimension is always maximal (see [Reference Bengoechea and Moshchevitin5]). The winning property in $n\times m$ dimension has been proved by Harrap and Moshchevitin [Reference Harrap and Moshchevitin14] provided that $\unicode[STIX]{x1D6E9}\in \text{Bad}(\boldsymbol{k},n,m)$ . The general problem remains open even for $n=2,~m=1$ .

In this note, we keep the condition $\unicode[STIX]{x1D6E9}\in \text{Bad}(\boldsymbol{k},n,m)$ and study the Hausdorff dimension and winning property of $\text{Bad}_{\unicode[STIX]{x1D6E9}}(\boldsymbol{k},n,m)$ on manifolds of $\mathbb{R}^{n}$ .

2 Statement and discussion of results

There are different definitions for a set to be winning in a Euclidean space ${\mathcal{E}}$ . In this paper we consider classical Schmidt’s definition. So when we say that a set is winning in the Euclidean space ${\mathcal{E}}$ we mean that it is $\unicode[STIX]{x1D6FC}$ -winning in ${\mathcal{E}}$ for some $0<\unicode[STIX]{x1D6FC}\leqslant 1/2$ in the sense of Schmidt’s game [Reference Schmidt24Reference Schmidt26]. One of the reasons is that we apply a lemma from [Reference Moshchevitin22] that was formulated for classical Schmidt’s games. However, it is clear that Theorems 2.1 and 2.4 will be true for the hyperplane absolute game (for the definition see [Reference Fishman, Simmons and Urbański11]).

A $C^{(1)}$ curve ${\mathcal{C}}$ in $\mathbb{R}^{n}$ can be written in the form

(3) $$\begin{eqnarray}{\mathcal{C}}=\{(f_{1}(x),\ldots ,f_{n}(x)),~x\in I\}\end{eqnarray}$$

where $f=(f_{1},\ldots ,f_{n}):I\rightarrow \mathbb{R}^{n}$ is a $C^{(1)}$ map defined on a compact interval $I\subset \mathbb{R}$ . We call ${\mathcal{C}}$ non-degenerate (respectively, everywhere non-degenerate) if for all $i=1,\ldots ,n$ we have $f_{i}^{\prime }(x)\neq 0$ for some $x\in I$ (respectively, for all $x\in I$ ). We call a $C^{(1)}$ submanifold of $\mathbb{R}^{n}$ non-degenerate if it can be foliated by non-degenerate $C^{(1)}$ curves.

Theorem 2.1. Let $\boldsymbol{k}=(k_{1},\ldots ,k_{n})$ be an $n$ -tuple of positive real numbers satisfying $\sum _{i=1}^{n}k_{i}=1$ . Let $\unicode[STIX]{x1D6E9}\in \text{Bad}(\boldsymbol{k},n,m)$ and ${\mathcal{C}}\subset \mathbb{R}^{n}$ be an everywhere non-degenerate $C^{(1)}$ curve. Then the set $\text{Bad}_{\unicode[STIX]{x1D6E9}}(\boldsymbol{k},n,m)\cap {\mathcal{C}}$ is winning.

In view of the fact that the intersection of countably many winning sets is winning and that a winning set has full dimension, given any countable collection $(\boldsymbol{k}_{t})_{t\geqslant 1}$ of $n$ -tuples $\boldsymbol{k}_{t}=(k_{1,t},\ldots ,k_{n,t})$ of positive real numbers satisfying $\sum _{i=1}^{n}k_{i,t}=1$ , Theorem 2.1 implies that

(4) $$\begin{eqnarray}\dim \biggl(\mathop{\bigcap }_{t\geqslant 1}\text{Bad}_{\unicode[STIX]{x1D6E9}}(\boldsymbol{k}_{t},n,m)\cap {\mathcal{C}}\biggr)=1\end{eqnarray}$$

for any $\unicode[STIX]{x1D6E9}\in \bigcap _{t\geqslant 1}\text{Bad}(\boldsymbol{k}_{t},n,m)$ and any everywhere non-degenerate $C^{(1)}$ curve ${\mathcal{C}}\subset \mathbb{R}^{n}$ . If we require that ${\mathcal{C}}$ is non-degenerate only for some $x\in I$ instead of everywhere, we can still choose an interval $I_{0}\subset I$ small enough so that the shorter curve ${\mathcal{C}}^{\ast }=\{(f_{1}(x),\ldots ,f_{n}(x)),~x\in I_{0}\}$ clearly is everywhere non-degenerate. Then we have equation (4) for ${\mathcal{C}}^{\ast }$ and of course also for  $C$ . The fibering technique (see [Reference Sprindzuk27, pp. 9–10] and [Reference Beresnevich6, §2.1]) establishes the generalization of (4) to non-degenerate $C^{(1)}$ manifolds.

Corollary 2.2. Let $(\boldsymbol{k}_{t})_{t\geqslant 1}$ be a countable collection of $n$ -tuples $\boldsymbol{k}_{t}=(k_{1,t},\ldots ,k_{n,t})$ of positive real numbers satisfying $\sum _{i=1}^{n}k_{i,t}=1$ . Let $\unicode[STIX]{x1D6E9}\in \bigcap _{t\geqslant 1}\text{Bad}(\boldsymbol{k}_{t},n,m)$ and ${\mathcal{M}}\subset \mathbb{R}^{n}$ be a non-degenerate $C^{(1)}$ manifold. Then

$$\begin{eqnarray}\dim \biggl(\mathop{\bigcap }_{t\geqslant 1}\text{Bad}_{\unicode[STIX]{x1D6E9}}(\boldsymbol{k}_{t},n,m)\cap {\mathcal{M}}\biggr)=\dim ({\mathcal{M}}).\end{eqnarray}$$

The proofs of Theorem 2.1 and Corollary 2.2 are given in §3. The arguments used there do not provide winning on everywhere non-degenerate $C^{(1)}$ manifolds unless the manifold is a curve. However, a different strategy can be adopted to prove winning on affine subspaces.

Definition 2.3. We call a set ${\mathcal{N}}\subset \mathbb{R}^{n}$ isotropically winning if for each $d\leqslant n$ and for each $d$ -dimensional affine subspace ${\mathcal{A}}\subset \mathbb{R}^{n}$ the intersection ${\mathcal{N}}\cap {\mathcal{A}}$ is $1/2$ -winning.

Here we should note that the isotropically winning property is really a very strong property. For example, the set $\text{Bad}(1/2,1/2)$ is $1/2$ -winning in Schmidt’s sense, however it is not isotropically winning.

Theorem 2.4. If $\unicode[STIX]{x1D6E9}\in \text{Bad}(\boldsymbol{k},n,m)$ , then $\text{Bad}_{\unicode[STIX]{x1D6E9}}(\boldsymbol{k},n,m)$ is isotropically winning.

Section 4 is devoted to the proof of Theorem 2.4. We give an outline of the proof in §4.1.

3 Proof of Theorem 2.1

Let ${\mathcal{C}}\subset \mathbb{R}^{n}$ be an everywhere non-degenerate $C^{(1)}$ curve as in (3). Let $\boldsymbol{k}=(k_{1},\ldots ,k_{n})$ be an $n$ -tuple of real numbers satisfying (2). Without loss of generality assume that $k_{1}=\max _{1\leqslant i\leqslant n}(k_{i})$ . Let $\unicode[STIX]{x1D70B}:\mathbb{R}^{n}\rightarrow \mathbb{R}$ be the projection map onto the first coordinate.

Theorem 3.1. If $\unicode[STIX]{x1D6E9}\in \text{Bad}(\boldsymbol{k},n,m)$ , the set $\unicode[STIX]{x1D70B}(\text{Bad}_{\unicode[STIX]{x1D6E9}}(\boldsymbol{k},n,m)\cap {\mathcal{C}})$ is $1/4$ -winning.

If $\max _{1\leqslant i\leqslant n}(k_{i})=k_{t}\neq k_{1}$ , then we consider the projection onto the $t$ th coordinate rather than the first.

Since $f_{i}^{\prime }(x)\neq 0$ for all $x\in I$ by hypothesis, the projection map $\unicode[STIX]{x1D70B}$ is bi-Lipschitz on ${\mathcal{C}}$ . Now the image of a winning set under a bi-Lipschitz map is again winning (see [Reference Dani9, Proposition 5.3]), so Theorem 2.1 follows from Theorem 3.1.

Proof. Since $f_{1}^{\prime }(x)\neq 0$ for all $x\in I$ , the function $f_{1}$ is monotone on $I$ , so there exists a constant $\unicode[STIX]{x1D705}\geqslant 1$ such that

(5) $$\begin{eqnarray}|f_{i}(x)-f_{i}(x^{\prime })|\leqslant \unicode[STIX]{x1D705}|f_{1}(x)-f_{1}(x^{\prime })|\quad (i=1,\ldots ,n)\end{eqnarray}$$

for all $x,x^{\prime }\in I$ .

Since $\unicode[STIX]{x1D6E9}\in \text{Bad}(\boldsymbol{k},n,m)$ , there exists a constant $0<c<1$ satisfying

(6) $$\begin{eqnarray}\max _{1\leqslant i\leqslant n}(|q|^{mk_{i}}\Vert \unicode[STIX]{x1D6E9}_{i}(q)\Vert )>c\quad \text{for all }q\in \mathbb{Z}_{\neq 0}^{m}.\end{eqnarray}$$

Alice and Bob play a Schmidt game on the interval $f_{1}(I)$ . A Schmidt game involves two real numbers $\unicode[STIX]{x1D6FC},\unicode[STIX]{x1D6FD}\in (0,1)$ and starts with Bob choosing a closed interval $B_{0}\subset f_{1}(I)$ . Next, Alice chooses a closed interval $A_{0}\subset B_{0}$ of length $\unicode[STIX]{x1D6FC}|B_{0}|$ . Then, Bob chooses at will a closed interval $B_{1}\subset A_{0}$ of length $\unicode[STIX]{x1D6FD}\unicode[STIX]{x1D6FC}|B_{0}|$ . Alice and Bob keep playing alternately in this way, generating a nested sequence of closed intervals in $f_{1}(I)$ :

$$\begin{eqnarray}B_{0}\supset A_{0}\supset B_{1}\supset A_{1}\supset \cdots \supset B_{s}\supset A_{s}\supset \cdots\end{eqnarray}$$

with lengths

$$\begin{eqnarray}|A_{s}|=\unicode[STIX]{x1D6FC}|B_{s}|\quad \text{and}\quad |B_{s}|=\unicode[STIX]{x1D6FD}|A_{s-1}|=(\unicode[STIX]{x1D6FC}\unicode[STIX]{x1D6FD})^{s}|B_{0}|.\end{eqnarray}$$

The subset $\unicode[STIX]{x1D70B}(\text{Bad}_{\unicode[STIX]{x1D6E9}}(\boldsymbol{k},n,m)\cap {\mathcal{C}})$ is called $\unicode[STIX]{x1D6FC}$ -winning if Alice can play so that the unique point of intersection

$$\begin{eqnarray}\mathop{\bigcap }_{s=0}^{\infty }B_{s}=\mathop{\bigcap }_{s=0}^{\infty }A_{s}\end{eqnarray}$$

lies in $\unicode[STIX]{x1D70B}(\text{Bad}_{\unicode[STIX]{x1D6E9}}(\boldsymbol{k},n,m)\cap {\mathcal{C}})$ whatever the value of $\unicode[STIX]{x1D6FD}$ is. The goal is to describe a $1/4$ -winning strategy for Alice.

Suppose Bob has chosen a closed interval $B_{0}\subset f_{1}(I)$ . We can assume $|B_{0}|$ to be of length as small as we want. In particular, we assume

(7) $$\begin{eqnarray}|B_{0}|<{\displaystyle \frac{c}{2\unicode[STIX]{x1D705}}}.\end{eqnarray}$$

Let

$$\begin{eqnarray}R=\biggl({\displaystyle \frac{4}{\unicode[STIX]{x1D6FD}}}\biggr)^{1/mk_{1}},\end{eqnarray}$$

and fix $\unicode[STIX]{x1D716}>0$ such that

(8) $$\begin{eqnarray}\unicode[STIX]{x1D716}<{\displaystyle \frac{|B_{0}|}{4R^{mk_{1}}}}.\end{eqnarray}$$

By the definition of the game, for each $s\geqslant 0$ ,

(9) $$\begin{eqnarray}|B_{s}|=R^{-smk_{1}}|B_{0}|.\end{eqnarray}$$

For each $(p,q)\in \mathbb{Z}^{n}\times \mathbb{Z}^{m}$ , let

$$\begin{eqnarray}\unicode[STIX]{x1D6E5}(p,q)=\Bigl\{f_{1}(x):x\in I,~\max _{1\leqslant i\leqslant n}(|q|^{mk_{i}}|\unicode[STIX]{x1D6E9}_{i}(q)-f_{i}(x)-p_{i}|)<\unicode[STIX]{x1D716}\Bigr\}.\end{eqnarray}$$

The interval $\unicode[STIX]{x1D6E5}(p,q)$ is the projection of the points in ${\mathcal{C}}$ lying in a hyperrectangle centred at $(\unicode[STIX]{x1D6E9}_{1}(q)-p_{1},\ldots ,\unicode[STIX]{x1D6E9}_{n}(q)-p_{n})$ of size $\unicode[STIX]{x1D716}|q|^{-mk_{1}}\times \cdots \times \unicode[STIX]{x1D716}|q|^{-mk_{n}}$ . Clearly,

$$\begin{eqnarray}f_{1}(I)\Big\backslash\mathop{\bigcup }_{(p,q)\in \mathbb{Z}^{n}\times \mathbb{Z}^{m}}\unicode[STIX]{x1D6E5}(p,q)\subset \unicode[STIX]{x1D70B}(\text{Bad}_{\unicode[STIX]{x1D6E9}}(\boldsymbol{k},n,m)\cap {\mathcal{C}}).\end{eqnarray}$$

We define a partition of $\mathbb{Z}^{n}\times \mathbb{Z}^{m}$ by letting

(10) $$\begin{eqnarray}{\mathcal{P}}_{s}=\{(p,q)\in \mathbb{Z}^{n}\times \mathbb{Z}^{m}:R^{s-1}<|q|\leqslant R^{s}\}\quad (s\geqslant 0).\end{eqnarray}$$

We prove that, for every $s\geqslant 0$ , Alice can play such that

(11) $$\begin{eqnarray}A_{s}\subset f_{1}(I)\Big\backslash\mathop{\bigcup }_{(p,q)\in {\mathcal{P}}_{s}}\unicode[STIX]{x1D6E5}(p,q).\end{eqnarray}$$

Thus, we will have

(12) $$\begin{eqnarray}\mathop{\bigcap }_{s=0}^{\infty }B_{s}=\mathop{\bigcap }_{s=0}^{\infty }A_{s}\subset \unicode[STIX]{x1D70B}(\text{Bad}_{\unicode[STIX]{x1D6E9}}(\boldsymbol{k},n,m)\cap {\mathcal{C}}),\end{eqnarray}$$

and this will prove the theorem.

Fact 1. For each $(p,q)\in {\mathcal{P}}_{s}$ , we have that

$$\begin{eqnarray}|\unicode[STIX]{x1D6E5}(p,q)|\leqslant {\displaystyle \frac{2\unicode[STIX]{x1D716}}{|q|^{mk_{1}}}}\stackrel{(10)}{{<}}{\displaystyle \frac{2\unicode[STIX]{x1D716}}{R^{(s-1)mk_{1}}}}\stackrel{(8)}{{<}}{\displaystyle \frac{|B_{0}|}{2R^{smk_{1}}}}\stackrel{(9)}{=}\frac{1}{2}|B_{s}|.\end{eqnarray}$$

Fact 2. Suppose $(p,q)$ and $(p^{\prime },q^{\prime })$ are two points in ${\mathcal{P}}_{s}$ such that $\unicode[STIX]{x1D6E5}(p,q)\cap B_{s}\neq \emptyset$ and $\unicode[STIX]{x1D6E5}(p^{\prime },q^{\prime })\cap B_{s}\neq \emptyset$ , i.e. suppose that there exist $x,x^{\prime }\in I$ such that for all $i=1,\ldots ,n$ ,

$$\begin{eqnarray}|\unicode[STIX]{x1D6E9}_{i}(q)-f_{i}(x)-p_{i}|<{\displaystyle \frac{\unicode[STIX]{x1D716}}{|q|^{mk_{i}}}},\qquad |\unicode[STIX]{x1D6E9}_{i}(q^{\prime })-f_{i}(x^{\prime })-p_{i}^{\prime }|<{\displaystyle \frac{\unicode[STIX]{x1D716}}{|q^{\prime }|^{mk_{i}}}}\end{eqnarray}$$

and

$$\begin{eqnarray}|f_{1}(x)-f_{1}(x^{\prime })|\leqslant |B_{s}|.\end{eqnarray}$$

Next we show that $(p,q)=(p^{\prime },q^{\prime })$ . Indeed, the inequality (5) implies that, for all $i=1,\ldots ,n$ ,

$$\begin{eqnarray}\displaystyle |\unicode[STIX]{x1D6E9}_{i}(q-q^{\prime })-(p_{i}-p_{i}^{\prime })| & {\leqslant} & \displaystyle |\unicode[STIX]{x1D6E9}_{i}(q)-f_{i}(x)-p_{i}|+|\unicode[STIX]{x1D6E9}_{i}(q^{\prime })-f_{i}(x^{\prime })-p_{i}^{\prime }|\nonumber\\ \displaystyle & & \displaystyle +\,\unicode[STIX]{x1D705}|f_{1}(x)-f_{1}(x^{\prime })|.\nonumber\end{eqnarray}$$

Hence,

$$\begin{eqnarray}\displaystyle |\unicode[STIX]{x1D6E9}_{i}(q-q^{\prime })-(p_{i}-p_{i}^{\prime })| & \stackrel{(10),(9)}{{<}} & \displaystyle {\displaystyle \frac{2\unicode[STIX]{x1D716}}{R^{(s-1)mk_{i}}}}+{\displaystyle \frac{\unicode[STIX]{x1D705}|B_{0}|}{R^{smk_{1}}}}\nonumber\\ \displaystyle & \stackrel{(8),(7)}{{<}} & \displaystyle {\displaystyle \frac{c}{2R^{smk_{i}}}}+{\displaystyle \frac{c}{2R^{smk_{i}}}}\nonumber\\ \displaystyle & \stackrel{(10)}{{\leqslant}} & \displaystyle {\displaystyle \frac{c}{|q-q^{\prime }|^{mk_{i}}}}\nonumber\end{eqnarray}$$

if $q\neq q^{\prime }$ . Now the condition (6) implies that the last inequality cannot hold for all $i=1,\ldots ,n$ and, hence, $q=q^{\prime }$ . Then, from the second-to-last inequality it follows that, for all $i=1,\ldots ,n$ ,

$$\begin{eqnarray}|p_{i}-p_{i}^{\prime }|<1,\end{eqnarray}$$

so $p_{i}=p_{i}^{\prime }$ . Thus, we conclude that $p=p^{\prime }$ .

A straightforward consequence of the above two facts is that Alice can choose an interval $A_{s}\subset B_{s}$ of length $1/4|B_{s}|$ that avoids $\unicode[STIX]{x1D6E5}(p,q)$ for all $(p,q)\in {\mathcal{P}}_{s}$ . This completes the proof of (11).◻

4 Proof of Theorem 2.4

Our exposition is organized as follows. In §4.1 we briefly explain the strategy of the proof. In §§4.2 and 4.6 we use transference arguments. In §§4.3, 4.4 and 4.5 we explore the geometry of auxiliary subspaces.

Throughout this section we denote by $|\cdot |_{e}$ the Euclidean norm.

4.1 Outline of the proof

Let $1\leqslant d\leqslant n$ . Let ${\mathcal{A}}$ be a $d$ -dimensional affine subspace and ${\mathcal{L}}$ be the corresponding $d$ -dimensional linear subspace (so ${\mathcal{L}}$ is the translation of ${\mathcal{A}}$ which contains the origin).

We briefly explain the main construction of our proof. We construct a special sequence $\unicode[STIX]{x1D6EC}$ of integer vectors $\boldsymbol{u}_{r}=\boldsymbol{u}_{r}({\mathcal{L}})=(u_{r,1},\ldots ,u_{r,n})\in \mathbb{Z}^{n}$ which is useful for Khintchine’s type of inhomogeneous transference argument (see Ch. V from Cassels’s book [Reference Cassels8]). For the sequence $\unicode[STIX]{x1D6EC}$ of integer vectors $\boldsymbol{u}_{r}$ we define the set

$$\begin{eqnarray}N(\unicode[STIX]{x1D6EC})=\Bigl\{\boldsymbol{x}\in {\mathcal{A}}:\inf _{r\geqslant 1}\Vert x_{1}u_{r,1}+\cdots +x_{n}u_{r,n}\Vert >0\Bigr\}.\end{eqnarray}$$

To establish the result of Theorem 2.4 it is enough to prove the following two facts:

Fact A. We have $N(\unicode[STIX]{x1D6EC})\subset \text{Bad}_{\unicode[STIX]{x1D6E9}}(\boldsymbol{k},n,m)$ .

Fact B. The set $N(\unicode[STIX]{x1D6EC})$ is winning.

Fact A will follow from the inhomogeneous transference argument; we give a detailed exposition in §4.6. Fact B will follow from the construction of $\unicode[STIX]{x1D6EC}$ and from Lemma 1 from [Reference Moshchevitin22]. This lemma establishes the winning property of any set of the form $N(\unicode[STIX]{x1D6EC})$ in the special case when $d=n$ and so ${\mathcal{A}}=\mathbb{R}^{n}$ , under the condition that the Euclidean norms of the elements of the sequence $\unicode[STIX]{x1D6EC}$ are lacunary. Only a minor modification is needed to deduce the winning property for the intersection $N(\unicode[STIX]{x1D6EC})\cap {\mathcal{A}}$ for an arbitrary $d$ -dimensional subspace ${\mathcal{A}}\subset \mathbb{R}^{n}$ , under the condition that the Euclidean norms of the projections $\boldsymbol{u}_{r}^{{\mathcal{L}}}$ of $\boldsymbol{u}_{r}$ onto ${\mathcal{L}}$ are lacunary, i.e.

(13) $$\begin{eqnarray}\displaystyle \frac{{|\boldsymbol{u}_{r+1}^{{\mathcal{L}}}|}_{e}}{|\boldsymbol{u}_{r}^{{\mathcal{L}}}|_{e}}\geqslant M,\quad r=1,2,3,\ldots & & \displaystyle\end{eqnarray}$$

for some $M>1$ . So, as soon as one checks condition (13) then Lemma 1 from [Reference Moshchevitin22] automatically establishes Fact B for the set $N(\unicode[STIX]{x1D6EC})$ .

4.2 Dual setting

The condition $\unicode[STIX]{x1D6E9}\in \text{Bad}(\boldsymbol{k},n,m)$ is the key to ensuring that we are able to construct a sequence $\unicode[STIX]{x1D6EC}$ satisfying (13). That condition has the following dual reformulation (see [Reference Badziahin, Pollington and Velani3] Appendix, Theorem 6, for the proof) in terms of the transposed matrix $\unicode[STIX]{x1D6E9}^{\ast }$ :

(14) $$\begin{eqnarray}\unicode[STIX]{x1D6E9}\in \text{Bad}(\boldsymbol{k},n,m)\Leftrightarrow \inf _{\boldsymbol{q}\in \mathbb{Z}_{\neq 0}^{n}}\max _{1\leqslant i\leqslant n}(|q_{i}|^{1/mk_{i}})\max _{1\leqslant j\leqslant m}\Vert \unicode[STIX]{x1D6E9}_{j}^{\ast }(\boldsymbol{q})\Vert >\unicode[STIX]{x1D6FE}\end{eqnarray}$$

for some positive constant $\unicode[STIX]{x1D6FE}=\unicode[STIX]{x1D6FE}(\unicode[STIX]{x1D6E9})$ . In the sequel we suppose everywhere that

$$\begin{eqnarray}\unicode[STIX]{x1D6FE}<1.\end{eqnarray}$$

One can find generalizations of this dual reformulation in [Reference German and Evdokimov12].

4.3 Subspaces

Without loss of generality we suppose $k_{1}\geqslant \cdots \geqslant k_{n}$ . Consider the subspaces

$$\begin{eqnarray}\unicode[STIX]{x1D6E4}_{0}=\mathbb{R}^{n},\qquad \unicode[STIX]{x1D6E4}_{i}=\{\boldsymbol{x}\in \mathbb{R}^{n}:x_{1}=\cdots =x_{i}=0\}\quad (1\leqslant i\leqslant n).\end{eqnarray}$$

It is clear that $\unicode[STIX]{x1D6E4}_{i}$ is an $(n-i)$ -dimensional subspace of $\mathbb{R}^{n}$ and

$$\begin{eqnarray}\unicode[STIX]{x1D6E4}_{0}\supset \unicode[STIX]{x1D6E4}_{1}\supset \unicode[STIX]{x1D6E4}_{2}\supset \cdots \supset \unicode[STIX]{x1D6E4}_{n}.\end{eqnarray}$$

Recall that ${\mathcal{L}}\subset \mathbb{R}^{n}$ is a $d$ -dimensional linear subspace. We define $t$ to be the minimal positive integer ( $d-1\leqslant t\leqslant n-1$ ) such that

$$\begin{eqnarray}{\mathcal{L}}\subset \unicode[STIX]{x1D6E4}_{n-(t+1)},\qquad {\mathcal{L}}\not \subset \unicode[STIX]{x1D6E4}_{n-t}.\end{eqnarray}$$

Denote by $\ell _{n-t}$ the coordinate line

$$\begin{eqnarray}\ell _{n-t}=\{\boldsymbol{x}\in \mathbb{R}^{n}:x_{i}=0~\forall i\neq n-t\}.\end{eqnarray}$$

Since ${\mathcal{L}}\subset \unicode[STIX]{x1D6E4}_{n-(t+1)}$ , the first $n-(t+1)$ coordinates of each point $\boldsymbol{x}\in {\mathcal{L}}$ vanish, so the set $N(\unicode[STIX]{x1D6EC})$ has the form

$$\begin{eqnarray}N(\unicode[STIX]{x1D6EC})=\Bigl\{\boldsymbol{x}\in {\mathcal{A}}:\inf _{r\geqslant 1}\Vert u_{r,n-t}\cdot x_{n-t}+\cdots +u_{r,n}\cdot x_{n}\Vert >0\Bigr\}.\end{eqnarray}$$

Hence, when we construct the sequence $\unicode[STIX]{x1D6EC}$ satisfying (13), we only have to take into account the last $t+1$ coordinates.

In the rest of the proof we will deal with two spaces: the $(n+m)$ -dimensional space

$$\begin{eqnarray}\mathbb{R}^{n+m}=\{(\boldsymbol{x},\boldsymbol{y})=(x_{1},\ldots ,x_{n},y_{1},\ldots ,y_{m})\}\end{eqnarray}$$

and the $(t+1)$ -dimensional subspace

$$\begin{eqnarray}\mathbb{R}^{t+1}=\unicode[STIX]{x1D6E4}_{n-(t+1)}=\{\boldsymbol{x}=(x_{n-t},\ldots ,x_{n})\}.\end{eqnarray}$$

We identify ${\mathcal{L}}$ , $\ell _{n-t}$ and $\unicode[STIX]{x1D6E4}_{n-t}$ with subspaces in $\mathbb{R}^{t+1}$ , so when we consider the angles between them, we are just considering the angles in the $(t+1)$ -dimensional space $\mathbb{R}^{t+1}$ . For a vector $\boldsymbol{u}\in \mathbb{R}^{n}$ we denote by $\tilde{\boldsymbol{u}}$ its projection onto the subspace $\mathbb{R}^{t+1}=\unicode[STIX]{x1D6E4}_{n-(t+1)}$ .

For the clarity of the exposition we distinguish two cases.

Case 1. If ${\mathcal{L}}=\unicode[STIX]{x1D6E4}_{n-(t+1)}$ , then $t=d-1$ and the projections $\boldsymbol{u}_{r}^{{\mathcal{L}}}$ are just the projections $\tilde{\boldsymbol{u}}_{r}$ of $\boldsymbol{u}_{r}$ onto $\mathbb{R}^{t+1}$ . In this case, it is enough for the property (13) to ensure that the sequence $|\tilde{\boldsymbol{u}}_{r}|_{e}$ is lacunary.

Case 2. If ${\mathcal{L}}\neq \unicode[STIX]{x1D6E4}_{n-(t+1)}$ , then $t\geqslant d\geqslant 1$ . In this case, we need to consider the angle $\unicode[STIX]{x1D714}=\widehat{{\mathcal{L}},\ell _{n-t}}$ between the subspace ${\mathcal{L}}$ and the one-dimensional $\ell _{n-t}$ . Here the angle between subspace ${\mathcal{A}}$ and one-dimensional subspace $l$ is defined as

$$\begin{eqnarray}\widehat{{\mathcal{A}},l}=\min _{a\in {\mathcal{A}}\setminus \{\mathbf{0}\}}\widehat{a,l}.\end{eqnarray}$$

It is clear that $\widehat{\unicode[STIX]{x1D6E4}_{n-t},\ell _{n-t}}=(\unicode[STIX]{x1D70B}/2)$ , so as ${\mathcal{L}}\not \subset \unicode[STIX]{x1D6E4}_{n-t}$ we have

$$\begin{eqnarray}0\leqslant \unicode[STIX]{x1D714}=\widehat{{\mathcal{L}},\ell _{n-t}}<\frac{\unicode[STIX]{x1D70B}}{2}.\end{eqnarray}$$

Let us consider an arbitrary vector $\boldsymbol{u}\in \mathbb{R}^{n}$ . We denote by $\boldsymbol{u}^{{\mathcal{L}}}$ and $\tilde{\boldsymbol{u}}$ the projections onto ${\mathcal{L}}$ and $\mathbb{R}^{t+1}$ , respectively. We should note that the Euclidean norms satisfy the equality

$$\begin{eqnarray}|\boldsymbol{u}^{{\mathcal{L}}}|_{e}=|\tilde{\boldsymbol{u}}|_{e}\cos \widehat{{\mathcal{L}},\tilde{\boldsymbol{u}}}.\end{eqnarray}$$

So to obtain the lacunarity condition (13) with a given $M>1$ for the sequence of Euclidean norms of the projections $\boldsymbol{u}_{r}^{{\mathcal{L}}}$ for a certain sequence of vectors $\boldsymbol{u}_{r}$ we should establish two facts.

Fact C. The lacunarity of the sequence $|\tilde{\boldsymbol{u}}_{r}|_{e}$ , that is

(15) $$\begin{eqnarray}{\displaystyle \frac{|\tilde{\boldsymbol{u}}_{r+1}|_{e}}{|\tilde{\boldsymbol{u}}_{r}|_{e}}}\geqslant \tilde{M},\quad r=1,2,3,\ldots .\end{eqnarray}$$

Fact D. The additional condition

(16) $$\begin{eqnarray}\widehat{\ell _{n-t},\tilde{\boldsymbol{u}}_{r}}=\frac{\unicode[STIX]{x1D70B}}{2}-\widehat{\tilde{\boldsymbol{u}}_{r},\unicode[STIX]{x1D6E4}_{n-t}}\leqslant \unicode[STIX]{x1D70E},\quad r=1,2,3,\ldots ,\end{eqnarray}$$

where the values $\tilde{M}$ and $\unicode[STIX]{x1D70E}$ must satisfy the inequalities

(17) $$\begin{eqnarray}\tilde{M}\frac{\cos (\unicode[STIX]{x1D714}+\unicode[STIX]{x1D70E})}{\cos (\unicode[STIX]{x1D714}-\unicode[STIX]{x1D70E})}=M>1,\qquad \unicode[STIX]{x1D714}+\unicode[STIX]{x1D70E}\leqslant {\displaystyle \frac{\unicode[STIX]{x1D70B}}{2}},\quad \unicode[STIX]{x1D714}\geqslant \unicode[STIX]{x1D70E}.\end{eqnarray}$$

Indeed, suppose that $\widehat{\ell _{n-t},\tilde{\boldsymbol{u}}}<\unicode[STIX]{x1D70E}$ . Then by the definition of the angle and the triangle inequality we have

$$\begin{eqnarray}\widehat{\tilde{\boldsymbol{u}},{\mathcal{L}}}=\widehat{\tilde{\boldsymbol{u}},\tilde{\boldsymbol{u}}^{{\mathcal{L}}}}\leqslant \widehat{\tilde{\boldsymbol{u}},{\ell _{n-t}}^{{\mathcal{L}}}}\leqslant \widehat{\tilde{\boldsymbol{u}},\ell _{n-t}}+\widehat{\ell _{n-t},{\ell _{n-t}}^{{\mathcal{L}}}}\leqslant \unicode[STIX]{x1D70E}+\unicode[STIX]{x1D714}.\end{eqnarray}$$

Of course here $\tilde{\boldsymbol{u}}^{{\mathcal{L}}}=\boldsymbol{u}^{{\mathcal{L}}}$ . Analogously

$$\begin{eqnarray}\widehat{\tilde{\boldsymbol{u}},{\mathcal{L}}}+\widehat{\tilde{\boldsymbol{u}},\ell _{n-t}}=\widehat{\tilde{\boldsymbol{u}},\tilde{\boldsymbol{u}}^{{\mathcal{L}}}}+\widehat{\tilde{\boldsymbol{u}},\ell _{n-t}}\geqslant \widehat{\tilde{\boldsymbol{u}}^{{\mathcal{L}}},\ell _{n-t}}\geqslant \widehat{{\mathcal{L}},\ell _{n-t}}=\unicode[STIX]{x1D714}.\end{eqnarray}$$

So we have

$$\begin{eqnarray}\unicode[STIX]{x1D714}-\unicode[STIX]{x1D70E}\leqslant \widehat{\tilde{\boldsymbol{u}},{\mathcal{L}}}\leqslant \unicode[STIX]{x1D714}+\unicode[STIX]{x1D70E}.\end{eqnarray}$$

Now from (15), (16) and (17) we deduce

$$\begin{eqnarray}{\displaystyle \frac{|\boldsymbol{u}_{r+1}^{{\mathcal{L}}}|_{e}}{|\boldsymbol{u}_{r}^{{\mathcal{L}}}|_{e}}}={\displaystyle \frac{|\tilde{\boldsymbol{u}}_{r+1}|_{e}\cos \widehat{{\mathcal{L}},\tilde{\boldsymbol{u}}}_{r+1}}{|\tilde{\boldsymbol{u}}_{r}|_{e}\cos \widehat{{\mathcal{L}},\tilde{\boldsymbol{u}}}_{r}}}\geqslant {\displaystyle \frac{|\tilde{\boldsymbol{u}}_{r+1}|_{e}\cos (\unicode[STIX]{x1D714}+\unicode[STIX]{x1D70E})}{|\tilde{\boldsymbol{u}}_{r}|_{e}\cos (\unicode[STIX]{x1D714}-\unicode[STIX]{x1D70E})}}\geqslant M>1,\end{eqnarray}$$

and this gives (13).

Now we put $M=2$ . Then $\tilde{M}=(2\cos (\unicode[STIX]{x1D714}-\unicode[STIX]{x1D70E})/\text{cos}(\unicode[STIX]{x1D714}+\unicode[STIX]{x1D70E}))$ . So to obtain (15) and (17) it is enough to satisfy the condition

(18) $$\begin{eqnarray}{\displaystyle \frac{|\tilde{\boldsymbol{u}}_{r+1}|_{e}}{|\tilde{\boldsymbol{u}}_{r}|_{e}}}\geqslant \frac{2\cos (\unicode[STIX]{x1D714}-\unicode[STIX]{x1D70E})}{\cos (\unicode[STIX]{x1D714}+\unicode[STIX]{x1D70E})},\quad r=1,2,3,\ldots .\end{eqnarray}$$

In the next subsection, we construct the sequence $\unicode[STIX]{x1D6EC}$ by constructing a sequence of parallelepipeds $\unicode[STIX]{x1D6F1}_{T}$ in $\mathbb{R}^{n+m}$ and by choosing a certain integer vector $\boldsymbol{u}_{r}$ in each of them. To ensure (16), we construct the corresponding parallelepipeds $\overline{\unicode[STIX]{x1D6F1}}_{T}$ in $\mathbb{R}^{t+1}$ very long in the $n-t$ direction and short in the other directions corresponding to $n-t+j,1\leqslant j\leqslant t$ . (The precise definitions will be given in the next subsection.) Hence, the vectors $\boldsymbol{u}_{r}$ we choose in each parallelepiped are close to the line $\ell _{n-t}$ and their projections onto ${\mathcal{L}}$ are close to the line $\ell _{n-t}^{{\mathcal{L}}}$ .

4.4 Parallelepipeds

First of all we put

$$\begin{eqnarray}\unicode[STIX]{x1D70E}=\min \biggl(\frac{\unicode[STIX]{x1D714}}{2},\frac{\unicode[STIX]{x1D70B}}{4}-\frac{\unicode[STIX]{x1D714}}{2}\biggr).\end{eqnarray}$$

Then

$$\begin{eqnarray}0<\unicode[STIX]{x1D70E}<\frac{\unicode[STIX]{x1D70B}}{4}.\end{eqnarray}$$

For $t\geqslant 1$ we define

(19) $$\begin{eqnarray}\unicode[STIX]{x1D706}=\frac{\sqrt{t}}{\tan \unicode[STIX]{x1D70E}}>1.\end{eqnarray}$$

We proceed now to the construction of the sequence $\unicode[STIX]{x1D6EC}$ . Given $T\geqslant ~1$ and a collection of strictly positive real numbers $\unicode[STIX]{x1D6FD}_{1},\ldots ,\unicode[STIX]{x1D6FD}_{n+1}$ , we consider the $(n+m)$ -dimensional parallelepiped

$$\begin{eqnarray}\displaystyle \unicode[STIX]{x1D6F1}_{T}(\unicode[STIX]{x1D6FD}_{1},\ldots ,\unicode[STIX]{x1D6FD}_{n+1}) & = & \displaystyle \Bigl\{(\boldsymbol{x},\boldsymbol{y})\in \mathbb{R}^{n}\times \mathbb{R}^{m}:\,|x_{i}|\leqslant \unicode[STIX]{x1D6FD}_{i}T^{mk_{i}}~(1\leqslant i\leqslant n),\nonumber\\ \displaystyle & & \displaystyle \quad \!\max _{1\leqslant j\leqslant m}|\unicode[STIX]{x1D6E9}_{j}^{\ast }(x)-y_{j}|\leqslant \unicode[STIX]{x1D6FD}_{n+1}T^{-1}\Bigr\}\nonumber\end{eqnarray}$$

and its projection onto $\mathbb{R}^{t+1}$

$$\begin{eqnarray}\overline{\unicode[STIX]{x1D6F1}}_{T}(\unicode[STIX]{x1D6FD}_{n-t},\ldots ,\unicode[STIX]{x1D6FD}_{n})=\{(x_{n-t},\ldots ,x_{n})\in \mathbb{R}^{t+1}:|x_{i}|\leqslant \unicode[STIX]{x1D6FD}_{i}T^{mk_{i}}~(n-t\leqslant i\leqslant n)\}.\end{eqnarray}$$

By (14) we have

$$\begin{eqnarray}\unicode[STIX]{x1D6F1}_{T}(1,\ldots ,1,\unicode[STIX]{x1D6FE})\cap \mathbb{Z}^{n+m}=\{0\}.\end{eqnarray}$$

As $\unicode[STIX]{x1D706}>1$ we have

(20) $$\begin{eqnarray}\unicode[STIX]{x1D6F1}_{T}(\underbrace{1,\ldots ,1}_{n-t},\underbrace{\unicode[STIX]{x1D706}^{-1},\ldots ,\unicode[STIX]{x1D706}^{-1}}_{t},\unicode[STIX]{x1D6FE})\cap \mathbb{Z}^{n+m}=\{0\}.\end{eqnarray}$$

However, the parallelepiped

$$\begin{eqnarray}\unicode[STIX]{x1D6F1}_{T}(\underbrace{1,\ldots ,1}_{n-t-1},\unicode[STIX]{x1D6FE}^{-m}\unicode[STIX]{x1D706}^{t},\underbrace{\unicode[STIX]{x1D706}^{-1},\ldots ,\unicode[STIX]{x1D706}^{-1}}_{t},\unicode[STIX]{x1D6FE})\end{eqnarray}$$

is convex, symmetric, with volume

$$\begin{eqnarray}\unicode[STIX]{x1D6FE}^{-m}\unicode[STIX]{x1D706}^{t}\cdot \biggl(\mathop{\prod }_{i=1}^{n}2T^{mk_{i}}\biggr)\cdot 2^{m}\unicode[STIX]{x1D6FE}^{m}\unicode[STIX]{x1D706}^{-t}T^{-m}=2^{n+m}\end{eqnarray}$$

and then, by Minkowski’s convex body theorem, we have

$$\begin{eqnarray}\unicode[STIX]{x1D6F1}_{T}(\underbrace{1,\ldots ,1}_{n-t-1},\unicode[STIX]{x1D6FE}^{-m}\unicode[STIX]{x1D706}^{t},\underbrace{\unicode[STIX]{x1D706}^{-1},\ldots ,\unicode[STIX]{x1D706}^{-1}}_{t},\unicode[STIX]{x1D6FE})\cap \mathbb{Z}^{n+m}\neq \{0\}.\end{eqnarray}$$

Therefore, for each $T\geqslant 1$ there exists at least one integer vector $\boldsymbol{w}=(\boldsymbol{u},\boldsymbol{v})\in \mathbb{Z}^{n+m}$ such that

$$\begin{eqnarray}\boldsymbol{w}\in \unicode[STIX]{x1D6F1}_{T}(\underbrace{1,\ldots ,1}_{n-t-1},\unicode[STIX]{x1D6FE}^{-m}\unicode[STIX]{x1D706}^{t},\underbrace{\unicode[STIX]{x1D706}^{-1},\ldots ,\unicode[STIX]{x1D706}^{-1}}_{t},\unicode[STIX]{x1D6FE})\Big\backslash\unicode[STIX]{x1D6F1}_{T}(\underbrace{1,\ldots ,1}_{n-t},\underbrace{\unicode[STIX]{x1D706}^{-1},\ldots ,\unicode[STIX]{x1D706}^{-1}}_{t},\unicode[STIX]{x1D6FE}).\end{eqnarray}$$

Among these integer vectors we choose one with the smallest coordinate $|u_{n-t}|\geqslant 1$ . If this vector is not unique we choose that for which $\max _{1\leqslant j\leqslant m}|\unicode[STIX]{x1D6E9}_{j}^{\ast }(\boldsymbol{u})-v_{j}|$ attains its minimal value. We denote this vector by

$$\begin{eqnarray}\boldsymbol{w}(T)=(\boldsymbol{u}(T),\boldsymbol{v}(T))=(u_{1}(T),\ldots ,u_{n}(T),v_{1}(T),\ldots ,v_{m}(T))\end{eqnarray}$$

and define

$$\begin{eqnarray}\unicode[STIX]{x1D713}(T)=\max _{1\leqslant j\leqslant m}\Vert \unicode[STIX]{x1D6E9}_{j}^{\ast }(\boldsymbol{u}(T))\Vert =\max _{1\leqslant j\leqslant m}|\unicode[STIX]{x1D6E9}_{j}^{\ast }(\boldsymbol{u}(T))-v_{j}(T)|.\end{eqnarray}$$

Since $\boldsymbol{w}(T)\in \unicode[STIX]{x1D6F1}_{T}(\underbrace{1,\ldots ,1}_{n-t-1},\unicode[STIX]{x1D6FE}^{-m}\unicode[STIX]{x1D706}^{t},\unicode[STIX]{x1D706}^{-1},\ldots ,\unicode[STIX]{x1D706}^{-1},\unicode[STIX]{x1D6FE})$ , one has

(21) $$\begin{eqnarray}\displaystyle & \displaystyle |u_{i}(T)|\leqslant T^{mk_{i}},\quad 1\leqslant i\leqslant n-t-1, & \displaystyle\end{eqnarray}$$
(22) $$\begin{eqnarray}\displaystyle & |u_{n-t}(T)|\leqslant \unicode[STIX]{x1D706}^{t}\,\unicode[STIX]{x1D6FE}^{-m}T^{mk_{n-t}}, & \displaystyle\end{eqnarray}$$
(23) $$\begin{eqnarray}\displaystyle & \displaystyle |u_{i}(T)|\leqslant \unicode[STIX]{x1D706}^{-1}T^{mk_{i}},\quad n-t+1\leqslant i\leqslant n. & \displaystyle\end{eqnarray}$$

Also we have

(24) $$\begin{eqnarray}\unicode[STIX]{x1D713}(T)\leqslant \unicode[STIX]{x1D6FE}T^{-1}.\end{eqnarray}$$

Since $\boldsymbol{w}\notin \unicode[STIX]{x1D6F1}_{T}(\underbrace{1,\ldots ,1}_{n-t},\underbrace{\unicode[STIX]{x1D706}^{-1},\ldots ,\unicode[STIX]{x1D706}^{-1}}_{t},\unicode[STIX]{x1D6FE})$ , it is clear that

(25) $$\begin{eqnarray}|u_{n-t}(T)|>T^{mk_{n-t}}\end{eqnarray}$$

and so

(26) $$\begin{eqnarray}\max _{1\leqslant i\leqslant n}(|u_{i}(T)|^{1/(mk_{i})})=|u_{n-t}(T)|^{1/(mk_{n-t})}.\end{eqnarray}$$

By (14) and (26) one has

(27) $$\begin{eqnarray}\unicode[STIX]{x1D713}(T)\geqslant \unicode[STIX]{x1D6FE}\Bigl(\max _{1\leqslant i\leqslant n}(|u_{i}(T)|^{1/(mk_{i})})\Bigr)^{-1}\geqslant \unicode[STIX]{x1D706}^{-t/mk_{n-t}}\,\unicode[STIX]{x1D6FE}^{1+1/k_{n-t}}T^{-1}.\end{eqnarray}$$

From the definition (19), conditions (23) and (25), and the condition $k_{j}\geqslant k_{j+1}$ for $n-t\leqslant j\leqslant n$ we have

(28) $$\begin{eqnarray}\tilde{\boldsymbol{u}}(T)\in \overline{\unicode[STIX]{x1D6F1}}_{T}(\unicode[STIX]{x1D6FE}^{-m}\unicode[STIX]{x1D706}^{t},\unicode[STIX]{x1D706}^{-1}\ldots ,\unicode[STIX]{x1D706}^{-1})\setminus \overline{\unicode[STIX]{x1D6F1}}_{T_{r}}(1,\unicode[STIX]{x1D706}^{-1},\ldots ,\unicode[STIX]{x1D706}^{-1})\end{eqnarray}$$

and

$$\begin{eqnarray}\displaystyle \widehat{\tilde{\boldsymbol{u}}(T),\ell _{n-t}} & {\leqslant} & \displaystyle \arctan \biggl(\frac{\sqrt{t}\max _{n-t+1\leqslant i\leqslant n}\unicode[STIX]{x1D706}^{-1}T^{mk_{i}}}{T^{mk_{n-t}}}\biggr)\nonumber\\ \displaystyle & {\leqslant} & \displaystyle \arctan \biggl(\frac{\sqrt{t}}{\unicode[STIX]{x1D706}}\biggr)=\unicode[STIX]{x1D70E}.\nonumber\end{eqnarray}$$

So all the constructed vectors $\boldsymbol{u}(T)$ satisfy the condition (16). Now it turns out to be sufficient to satisfy the lacunarity condition (18), for both Cases 1 and 2.

4.5 Lacunarity

Let

(29) $$\begin{eqnarray}T_{r}=R^{r},\quad \text{where }R=\biggl(2\sqrt{t+1}\,\unicode[STIX]{x1D706}^{t}\unicode[STIX]{x1D6FE}^{-m}\,\frac{\cos (\unicode[STIX]{x1D714}-\unicode[STIX]{x1D6FE})}{\cos (\unicode[STIX]{x1D714}+\unicode[STIX]{x1D6FE})}\biggr)^{1/mk_{n-t}}.\end{eqnarray}$$

It is clear that

(30) $$\begin{eqnarray}R>\unicode[STIX]{x1D6FE}^{-1/k_{n-t}}\unicode[STIX]{x1D706}^{t/mk_{n-1}}.\end{eqnarray}$$

We put $T=T_{r}$ and define the sequence of vectors $\boldsymbol{u}_{r}\in \mathbb{R}^{n}$ from the equality

$$\begin{eqnarray}\boldsymbol{w}_{r}=(\boldsymbol{u}_{r},\boldsymbol{v}_{r})=\boldsymbol{w}(T_{r}),\end{eqnarray}$$

where $\boldsymbol{w}(\cdot )$ is defined in the previous subsection.

Lemma 4.1. The sequence $|\tilde{\boldsymbol{u}}_{r}|_{e}$ satisfies the lacunarity condition (18).

Proof. From (22) and (23) we see that

$$\begin{eqnarray}|\tilde{\boldsymbol{u}}_{r}|_{e}\leqslant \sqrt{t+1}\,\unicode[STIX]{x1D706}^{t}\unicode[STIX]{x1D6FE}^{-m}T_{r}^{mk_{n-t}}.\end{eqnarray}$$

From (25) we have the lower bound

$$\begin{eqnarray}|\tilde{\boldsymbol{u}}_{r}|_{e}\geqslant T_{r}^{mk_{n-t}}.\end{eqnarray}$$

Now

$$\begin{eqnarray}\frac{|\tilde{\boldsymbol{u}}_{r+1}|_{e}}{|\tilde{\boldsymbol{u}}_{r}|_{e}}\geqslant \frac{T_{r+1}^{mk_{n-t}}}{\sqrt{t+1}\,\unicode[STIX]{x1D706}^{t}\unicode[STIX]{x1D6FE}^{-m}T_{r}^{mk_{n-t}}}\geqslant \frac{2\cos (\unicode[STIX]{x1D714}-\unicode[STIX]{x1D6FE})}{\cos (\unicode[STIX]{x1D714}+\unicode[STIX]{x1D6FE})}\end{eqnarray}$$

by (29), and everything is proved. ◻

4.6 Application of transference identity

We now establish Fact A. Let $x\in N(\unicode[STIX]{x1D6EC})$ . So there exists a constant $c(x)>0$ such that

$$\begin{eqnarray}\Vert x_{1}u_{r,1}+\cdots +x_{n}u_{r,n}\Vert >c(x)\quad (r\geqslant 1).\end{eqnarray}$$

We define

$$\begin{eqnarray}\unicode[STIX]{x1D713}_{r}=\unicode[STIX]{x1D713}(T_{r})=\max _{1\leqslant j\leqslant m}\Vert \unicode[STIX]{x1D6E9}_{j}^{\ast }(\mathbf{u}_{r})\Vert .\end{eqnarray}$$

For any $\boldsymbol{q}\in \mathbb{Z}_{\neq 0}^{m}$ , consider the equality

$$\begin{eqnarray}\mathbf{u}_{r}\cdot \boldsymbol{x}=\mathop{\sum }_{j=1}^{m}q_{j}\unicode[STIX]{x1D6E9}_{j}^{\ast }(\mathbf{u}_{r})-\mathop{\sum }_{i=1}^{n}(\unicode[STIX]{x1D6E9}_{i}(\mathbf{q})-x_{i})u_{r,i}(T_{r}).\end{eqnarray}$$

It follows from the triangle inequality that

$$\begin{eqnarray}\displaystyle c(x) & {\leqslant} & \displaystyle \Vert \mathbf{u}_{r}\cdot \boldsymbol{x}\Vert \nonumber\\ \displaystyle & {\leqslant} & \displaystyle m\max _{1\leqslant j\leqslant m}(\Vert \unicode[STIX]{x1D6E9}_{j}^{\ast }(\mathbf{u}_{r})\Vert \cdot |q_{j}|)+n\max _{1\leqslant i\leqslant n}(\Vert \unicode[STIX]{x1D6E9}_{i}(\mathbf{q})-x_{i}\Vert \cdot |u_{r,i}|)\nonumber\\ \displaystyle & {\leqslant} & \displaystyle m\unicode[STIX]{x1D713}_{r}|\boldsymbol{q}|+n\max _{1\leqslant i\leqslant n}(\Vert \unicode[STIX]{x1D6E9}_{i}(\mathbf{q})-x_{i}\Vert \cdot |u_{r,i}|).\nonumber\end{eqnarray}$$

Here we use the well-known inequality $\Vert a\boldsymbol{z}\Vert \leqslant |a|\Vert \boldsymbol{z}\Vert$ , which holds for all $a\in \mathbb{R}$ and all $\boldsymbol{z}\in \mathbb{R}^{m}$ .

It is clear that $\unicode[STIX]{x1D713}_{r}\rightarrow 0$ as $r\rightarrow \infty$ . We show that $\unicode[STIX]{x1D713}_{r}$ is strictly decreasing. Indeed,

$$\begin{eqnarray}\displaystyle \unicode[STIX]{x1D713}_{r}\stackrel{(27)}{{\geqslant}}\unicode[STIX]{x1D706}^{-t/mk_{n-t}}\,\unicode[STIX]{x1D6FE}^{1+1/k_{n-t}}T_{r}^{-1} & \stackrel{(29)}{=} & \displaystyle \unicode[STIX]{x1D6FE}T_{r+1}^{-1}\cdot (R\unicode[STIX]{x1D706}^{-t/mk_{n-t}}\,\unicode[STIX]{x1D6FE}^{1/k_{n-t}})\nonumber\\ \displaystyle & \stackrel{(30)}{{>}} & \displaystyle \unicode[STIX]{x1D6FE}T_{r+1}^{-1}\nonumber\\ \displaystyle & \stackrel{(24)}{{\geqslant}} & \displaystyle \unicode[STIX]{x1D713}_{r+1}.\nonumber\end{eqnarray}$$

Moreover, from (24), (27) and (30) it follows that

(31) $$\begin{eqnarray}\frac{\unicode[STIX]{x1D713}_{r-1}}{\unicode[STIX]{x1D713}_{r}}\leqslant \unicode[STIX]{x1D706}^{1/mk_{n-t}}\unicode[STIX]{x1D6FE}^{-1/k_{n-t}}\frac{T_{r}}{T_{r-1}}=\unicode[STIX]{x1D706}^{1/mk_{n-t}}\unicode[STIX]{x1D6FE}^{-1/k_{n-t}}R\leqslant R^{2}.\end{eqnarray}$$

Now we can choose $r$ in such a way that

(32) $$\begin{eqnarray}\unicode[STIX]{x1D713}_{r-1}\geqslant {\displaystyle \frac{c(x)}{2m|\boldsymbol{q}|}}>\unicode[STIX]{x1D713}_{r}.\end{eqnarray}$$

Therefore,

$$\begin{eqnarray}c(x)\leqslant n\max _{1\leqslant i\leqslant n}(\Vert \unicode[STIX]{x1D6E9}_{i}(\mathbf{q})-x_{i}\Vert \cdot |u_{r,i}|)+m|\boldsymbol{q}|{\displaystyle \frac{c(x)}{2m|\boldsymbol{q}|}},\end{eqnarray}$$

and so

(33) $$\begin{eqnarray}{\displaystyle \frac{c(x)}{2n}}\leqslant \max _{1\leqslant i\leqslant n}(\Vert \unicode[STIX]{x1D6E9}_{i}(\mathbf{q})-x_{i}\Vert \cdot |u_{r,i}|).\end{eqnarray}$$

From (21) and (23) we deduce that

$$\begin{eqnarray}|u_{r,i}|\leqslant T_{r}^{mk_{i}},\quad 1\leqslant i\leqslant n,~i\neq n-t,\end{eqnarray}$$

and from (22) we have

$$\begin{eqnarray}|u_{r,n-t}|\leqslant \unicode[STIX]{x1D706}^{t}\unicode[STIX]{x1D6FE}^{-m}T_{r}^{mk_{n-t}}.\end{eqnarray}$$

So in any case

$$\begin{eqnarray}|u_{r,i}|\leqslant \unicode[STIX]{x1D706}^{t}\unicode[STIX]{x1D6FE}^{-m}T_{r}^{mk_{i}}\stackrel{(24)}{{\leqslant}}\unicode[STIX]{x1D706}^{t}\unicode[STIX]{x1D6FE}^{m(k_{i}-1)}\unicode[STIX]{x1D713}_{r}^{-mk_{i}}=\unicode[STIX]{x1D706}^{t}\unicode[STIX]{x1D6FE}^{m(k_{i}-1)}\unicode[STIX]{x1D713}_{r-1}^{-mk_{i}}\cdot \biggl(\frac{\unicode[STIX]{x1D713}_{r-1}}{\unicode[STIX]{x1D713}_{r}}\biggr)^{mk_{i}}\end{eqnarray}$$

and by (31) and the left inequality from (32),

(34) $$\begin{eqnarray}|u_{r,i}|\leqslant \unicode[STIX]{x1D706}^{t}\unicode[STIX]{x1D6FE}^{m(k_{i}-1)}\biggl(\frac{2mR^{2}}{c(x)}\biggr)^{mk_{i}}|\boldsymbol{q}|^{mk_{i}}.\end{eqnarray}$$

Now from (33) and (34) we obtain

$$\begin{eqnarray}\max _{1\leqslant i\leqslant n}(\Vert \unicode[STIX]{x1D6E9}_{i}(\mathbf{q})-x_{i}\Vert \cdot |\boldsymbol{q}|^{mk_{i}})\geqslant \unicode[STIX]{x1D705}\end{eqnarray}$$

with some constant $\unicode[STIX]{x1D705}>0$ , independent of $\boldsymbol{q}$ . Since the choice of the vector $\boldsymbol{q}$ was arbitrary, we have shown that $x\in \text{Bad}_{\unicode[STIX]{x1D6E9}}(\boldsymbol{k},n,m)$ . Hence we prove $N(\unicode[STIX]{x1D6EC})\subset \text{Bad}_{\unicode[STIX]{x1D6E9}}(\boldsymbol{k},n,m)$ .

Acknowledgements

The first author thanks Sanju Velani and Victor Beresnevich for many educational conversations.

References

An, J., Two-dimensional badly approximable vectors and Schmidt’s game. Duke Math. J. 165(2) 2016, 267284.CrossRefGoogle Scholar
An, J., Beresnevich, V. and Velani, S., Badly approximable points on planar curves and winning. Preprint, 2014, arXiv:1409.0064.Google Scholar
Badziahin, D., Pollington, A. and Velani, S., On a problem in simultaneous Diophantine approximation: Schmidt’s conjecture. Ann. of Math. (2) 174 2011, 18371883.Google Scholar
Badziahin, D. and Velani, S., Badly approximable points on planar curves and a problem of Davenport. Math. Ann. 359(3) 2014, 9691023.Google Scholar
Bengoechea, P. and Moshchevitin, N., On weighted twisted badly approximable numbers. Acta Arith. (to appear). Preprint, 2015, arXiv:1507.07119.Google Scholar
Beresnevich, V., Badly approximable points on manifolds. Invent. Math. 202 2015, 11991240.CrossRefGoogle Scholar
Bugeaud, Y., Harrap, S., Kristensen, S. and Velani, S., On shrinking targets for ℤ m actions on tori. Mathematika 56 2010, 193202.Google Scholar
Cassels, J. W. S., An Introduction to Diophantine Approximation (Cambridge Tracts in Mathematics 45 ), Cambridge University Press (Cambridge, 1957).Google Scholar
Dani, S., On badly approximable numbers, Schmidt games and bounded orbits of flows. In Number Theory and Dynamical Systems (York, 1987) (London Mathematical Society Lecture Note Series 134 ), Cambridge University Press (Cambridge, 1989), 6986; MR 1043706.Google Scholar
Einsiedler, M. and Tseng, J., Badly approximable systems of affine forms, fractals, and Schmidt games. J. Reine Angew. Math. 660 2011, 8397.Google Scholar
Fishman, L., Simmons, D. S. and Urbański, M., Diophantine approximation and the geometry of limit sets in Gromov hyperbolic metric spaces. Mem. Amer. Math. Soc. (to appear). Preprint, 2013, arXiv:1301.5630v11.Google Scholar
German, O. N. and Evdokimov, K. G., A strengthening of Mahler’s transference theorem. Izv. Math. 79(1) 2015, 6073.Google Scholar
Godwin, H. J., On the theorem of Khintchine. Proc. Lond. Math. Soc. s3‐3(1) 1953, 211221.Google Scholar
Harrap, S. and Moshchevitin, N., A note on weighted badly approximable linear forms. Glasg. Math. J. 59(2) 2017, 349357.CrossRefGoogle Scholar
Jarník, V., O lineaŕních nehomogenních diofantických aproximacích (on linear inhomogeneous Diophantine approximations). Rozpravy II. Třídy České Akad. 51(29) 1941, 21 pp.; MR 0021015.Google Scholar
Jarník, V., Sur les approximations diophantiques linéaires non homogénes. Bull. Internat. de l’Académie des Sciences de Bohême 47 1946, 145160 (1950).Google Scholar
Khintchine, A., Über eine Klasse linearer diophantischer Approximationen. Rend. Circ. Mat. Palermo 50 1926, 170195.Google Scholar
Khintchine, A., Über die angenäherte Auflösung linearer Gleichungen in ganzen Zahlen. Acta Arith. 2 1937, 161172.Google Scholar
Khintchine, A. Y., Regular systems of linear equations and a general problem of Chebyshev. Izv. Akad. Nauk SSSR. Ser. Mat. 12 1948, 249258 (Russian).Google Scholar
Kim, D. H., The shrinking target property of irrational rotations. Nonlinearity 20(7) 2007, 16371643.Google Scholar
Kleinbock, D., Badly approximable systems of affine forms. J. Number Theory 79(1) 1999, 83102.Google Scholar
Moshchevitin, N., A note on badly approximable affine forms and winning sets. Mosc. Math. J. 11(1) 2011, 129137.Google Scholar
Pollington, A. and Velani, S., On simultaneously badly approximable numbers. J. Lond. Math. Soc. (2) 66 2002, 2940.Google Scholar
Schmidt, W. M., On badly approximable numbers and certain games. Trans. Amer. Math. Soc. 123 1966, 178199; MR 0195595.Google Scholar
Schmidt, W. M., Badly approximable systems of linear forms. J. Number Theory 1 1969, 139154; MR 0248090.Google Scholar
Schmidt, W. M., Diophantine Approximation (Lecture Notes in Mathematics 785 ), Springer (Berlin, 1980).Google Scholar
Sprindzuk, V. G., Achievements and problems in Diophantine approximation theory. Russian Math. Surveys 35 1980, 180.Google Scholar
Tseng, J., Badly approximable affine forms and Schmidt games. J. Number Theory 129 2009, 30203025.Google Scholar