---
title: 'Twisted Diophantine Approximation: Anisotropic Methods'
url: https://www.emergentmind.com/topics/twisted-diophantine-approximation
type: topic
---

# Twisted Diophantine Approximation: Anisotropic Methods

Searching arXiv for recent and foundational papers on twisted Diophantine approximation.
Twisted Diophantine approximation is a family of non-isotropic Diophantine problems in which the approximation process is modified by fixed weights, fixed directions, fixed orbits, restricted denominator sets, or manifold constraints. In one major usage, it denotes weighted exponents in dimension \(2\) interpolating between classical simultaneous/dual approximation and multiplicative approximation; in another, it denotes the inhomogeneous problem where a base point or matrix is fixed and the target varies; in more geometric variants, the admissible approximants are confined to cones, subspaces, subsequences, or nondegenerate manifolds. The subject is therefore unified less by a single definition than by a common structural feature: approximation is performed relative to a prescribed anisotropy or fixed ambient datum [1409.6665] [1003.2362] [2507.04405].

## 1. Terminological scope and principal models

In current literature, the term “twisted Diophantine approximation” is used for several closely related paradigms. The weighted two-dimensional theory fixes \(\boldsymbol\theta=(\theta_1,\theta_2)\) and distributes the height budget asymmetrically between the two coordinates through weights \(i,j\ge 0\) with \(i+j=1\). The twisted inhomogeneous theory fixes a vector \(\alpha\) or a matrix \(A\) and varies the target \(\beta\), studying approximation by the orbit \(\{q\alpha\}\) or \(\{Aq\}\). Geometric versions impose projective or angular restrictions, replacing weighted boxes by cones around a subspace or direction. More recent work also treats restricted denominators, matrix-generated toral orbits, and manifold-constrained targets [1409.6665] [1711.08288] [2210.10504] [2508.01433] [2511.14954].

| Paradigm | Fixed datum | Typical object |
|---|---|---|
| Weighted exponents | \(\boldsymbol\theta\), \(i+j=1\) | \(\hat\omega_{i,j}(\boldsymbol\theta)\), \(\hat\lambda_{i,j}(\boldsymbol\theta)\) |
| Twisted inhomogeneous | \(\alpha\) or \(A\) | \(W_n^\alpha(i,\psi)\), \(W_A(\Psi)\) |
| Angular or cone-restricted | subspace \(V\) or direction \(d\) | \(\operatorname{dist}(x,V)\), \(\operatorname{dist}(x,d)\) constraints |
| Restricted times or denominators | \((a_n)\) or \((A_n)\) | \(W(\psi,\mathbf a,\alpha)\), \(\mathcal T_{\bm\alpha}(\mathcal A,\mathbf r)\) |
| Manifold-constrained targets | fixed \(\boldsymbol\alpha\), \(M\subset \mathbb R^m\) | \(T_\psi(\boldsymbol\alpha)\cap M\) |

A useful conceptual distinction runs between two broad branches. One branch studies exponents attached to a fixed \(\boldsymbol\theta\) and modified height conditions, as in the weighted interpolation between classical and multiplicative approximation. The other studies limsup sets of targets approximated by a fixed orbit, as in \(q\alpha-\beta\), \(Aq-b-p\), or \(A_n\bm\alpha-\bm\beta\). The literature connects these branches through common tools—geometry of numbers, minimal points, ubiquity, mass transference, discrepancy, and shrinking-target methods—but their basic invariants are different.

## 2. Weighted exponents and the failure of a twisted Jarník relation

The foundational weighted two-dimensional theory is developed in “There is no analogue to Jarník’s relation for twisted Diophantine approximation” [1409.6665]. For \(\boldsymbol\theta=(\theta_1,\theta_2)\) with \(1,\theta_1,\theta_2\) linearly independent over \(\mathbb Q\), and weights \(i,j\ge 0\) with \(i+j=1\), the twisted exponents are defined by the systems
\[
0<|q-p_1\theta_1-p_2\theta_2|\le H^{-\nu}, \qquad |p_1|\le H^{2i}, \qquad |p_2|\le H^{2j},
\]
and
\[
0<|q|\le H,\qquad |q\theta_1-p_1|\le H^{-2i\nu},\qquad |q\theta_2-p_2|\le H^{-2j\nu}.
\]
Their supremal exponents are denoted \(\omega_{i,j},\hat\omega_{i,j}\) and \(\lambda_{i,j},\hat\lambda_{i,j}\). When \(i=j=\tfrac12\), they reduce to the classical exponents \(\omega,\hat\omega,\lambda,\hat\lambda\).

The classical two-dimensional theory contains Jarník’s identity
\[
\hat\lambda(\boldsymbol\theta)+\frac{1}{\hat\omega(\boldsymbol\theta)}=1.
\]
The weighted theory shows that this phenomenon is exceptional. The paper constructs points
\[
\boldsymbol\theta=\left(\sum_{n\ge 1}A_n^{-1},\ \sum_{n\ge 1}B_n^{-1}\right)
\]
from \((\mu,R)\)-sequences \((A_n)\), \((B_n)\) and proves explicit formulas
\[
\hat{\omega}_{i,j}(\boldsymbol{\theta})
=
\min\left(2j\frac{\mu-1}{R},\ 2i\frac{\mu-1}{\mu}R\right),
\]
\[
\hat{\lambda}_{i,j}(\boldsymbol{\theta})
=
\min\left(\frac{1}{2i}\left(1-\frac{R}{\mu-1}\right),\ \frac{1}{2j}\left(1-\frac{\mu}{(\mu-1)R}\right)\right),
\]
\[
\omega_{i,j}(\boldsymbol{\theta})=2i(\mu-1),
\]
under explicit inequalities on \(\mu\) and \(R\). The same paper proves that for fixed \(i>j\), fixed \(\hat w>6i\), and every
\[
\hat{\lambda}\in
\left(
\frac{1}{2i}\left(1-\frac{2j}{\hat{w}}\right),
\min\left(\frac{1}{2i},\ \frac{1}{2j}\left(1-\frac{2i}{\hat{w}}\right)\right)
\right),
\]
there exist uncountably many \(\boldsymbol\theta\) with
\[
\hat{\omega}_{i,j}(\boldsymbol\theta)=\hat w,\qquad
\hat{\lambda}_{i,j}(\boldsymbol\theta)=\hat\lambda.
\]
Accordingly, \(\hat\lambda_{i,j}\) is not determined by \(\hat\omega_{i,j}\), and no analogue of Jarník’s relation survives in the twisted weighted setting [1409.6665].

This negative result is structurally important. It shows that the weighted interpolation between classical and multiplicative approximation does not preserve the rigid functional dependence of the classical two-dimensional spectrum. A common misconception is that a one-parameter deformation of the classical problem should inherit a one-equation transference law. The weighted formulas show the opposite: two free parameters \((\mu,R)\) remain visible in the spectrum, and the uniform exponents can vary independently over nontrivial regions.

## 3. Twisted inhomogeneous approximation and weighted Kurzweil theory

A second major meaning of twisted Diophantine approximation fixes a base point \(\alpha\) and varies the inhomogeneous target \(\beta\). In the weighted setting, for a weight vector \(i=(i_1,\dots,i_n)\) with \(i_1+\cdots+i_n=1\), one studies
\[
W_n^\alpha(i,\psi)
=
\left\{
\bbeta\in[0,1]^n:
\max_{1\le j\le n}\psi(q)^{-i_j}\|q\alpha_j-\beta_j\|<1
\text{ infinitely often}
\right\}.
\]
This is the framework of weighted twisted inhomogeneous approximation developed by Harrap and extended in later work [1711.08288].

In dimension \(2\), “Twisted inhomogeneous Diophantine approximation and badly approximable sets” proves a weighted Kurzweil-type characterization. With
\[
\operatorname{Bad}(i,j)
=
\left\{
\mathbf x:
\exists c(\mathbf x)>0\ \forall q\in\mathbb N,\ 
\max\left\{\|qx_1\|^{1/i},\|qx_2\|^{1/j}\right\}>\frac{c(\mathbf x)}{q}
\right\},
\]
the paper shows
\[
\bigcap_{\psi\in\mathcal D}V_{(i,j)}(\psi)=\operatorname{Bad}(i,j),
\]
where \(V_{(i,j)}(\psi)\) consists of irrational \(\mathbf x\) such that the twisted limsup set \(W^{\mathbf x}_{(i,j)}(\psi)\) has full Lebesgue measure. It also proves that if \(\mathbf x\in \operatorname{Bad}(i,j)\), then the twisted badly approximable target set \(\operatorname{Bad}^{\mathbf x}(i,j)\) has Hausdorff dimension \(2\) [1003.2362].

The base-point restriction was subsequently removed. “Badly approximable points in twisted Diophantine approximation and Hausdorff dimension” proves that for every \(\theta\in\mathbb R^n\) and every weight vector \((j_1,\dots,j_n)\) with \(j_1+\cdots+j_n=1\),
\[
\dim \mathrm{Bad}_\theta(j_1,\dots,j_n)=n,
\]
and in fact
\[
\dim\Bigl( \mathrm{Bad}_\theta(j_1,\dots,j_n)\cap \mathrm{Bad}(1,0,\dots,0)\cap\cdots\cap \mathrm{Bad}(0,\dots,0,1) \Bigr)=n.
\]
The construction uses weighted best approximations \(m_\nu\), the lacunarity estimate
\[
M_{\nu+2\cdot 3^n}\ge 2M_\nu,
\]
and a Cantor-set mass-distribution argument [1507.07119].

The weighted Dirichlet-scale almost-everywhere theory was sharpened in “Simultaneous Diophantine approximation on affine subspaces and Dirichlet improvability”. If \(\alpha\notin\mathcal S_n(i)\), where \(\mathcal S_n(i)\) denotes the weighted singular vectors, then for almost all \(\bbeta\in[0,1]^n\),
\[
\liminf_{q\to\infty}\max_{1\le j\le n}q^{i_j}\|q\alpha_j-\beta_j\|=0.
\]
Equivalently, for every \(\varepsilon>0\), the set \(W_n^\alpha(i,\psi_\varepsilon)\), with \(\psi_\varepsilon(q)=\varepsilon q^{-1}\), has full Lebesgue measure [1711.08288].

The matrix-orbit version appears in “Weighted twisted inhomogeneous Diophantine approximation”. For fixed \(A\in\mathbb R^{n\times m}\), weights \(v,\alpha\), and coordinatewise approximation data \(\Psi=(\psi_1,\dots,\psi_n)\), the central set is
\[
W_A(\Psi)=
\left\{
b\in[0,1]^n:
|A_i\cdot q-b_i-p_i|<\psi_i(|q|_\alpha)
\ \text{for infinitely many }(q,p)
\right\}.
\]
For \(A\in Bad_\alpha(v)\), the paper proves a zero-full law governed by
\[
\sum_{r\in\mathbb N} r^{m-1}\prod_{i=1}^n\psi_i(r),
\]
and obtains Hausdorff-dimension formulae in substantial weighted regimes via weighted ubiquity and weighted mass transference [2307.13210].

## 4. Directional, angular, and cone-restricted twists

A different branch of the subject replaces coordinate weights by directional restrictions. “Diophantine approximation in angular domains” studies the classical linear-form problem
\[
|x_0+\alpha x_1+\beta x_2|
\]
under the restriction that \((x_1,x_2)\) lie in an angular sector, notably the positive cone \(x_1,x_2>0\). Schmidt had shown that the golden ratio
\[
\gamma=\frac{1+\sqrt5}{2}
\]
is admissible in the positive-quadrant problem. Roy proved that \(\gamma\) is in fact optimal: for any unbounded increasing \(\psi\), there exist \(u,v,w\) such that for all sufficiently large \(x\in\mathbb Z^3\),
\[
|x\cdot u| \ge \frac{\operatorname{dist}(x,\{v,w\})}{\psi(|x|)\,|x|^\gamma},
\]
while there are still infinitely many cone-constrained approximants of order \(|x|^{-\gamma}\). In this sense, the directional restriction lowers the effective exponent from the classical value \(2\) to \(\gamma\) [1607.00576].

“Diophantine approximation with constraints” studies a higher-dimensional angular version. If \(V\subset\mathbb R^n\) is a subspace of dimension \(m+1\), the problem is to approximate a linear form \(x\mapsto x\cdot u\) using integer vectors \(x\) satisfying
\[
\operatorname{dist}(x,V)<\delta.
\]
The optimal constrained exponent is
\[
p_m=\frac{m+\sqrt{m^2+4m}}{2},
\]
and the paper proves that for every \(u\) with \(\mathbb Q\)-linearly independent coordinates, and every \(\delta,\varepsilon>0\), there exists \(0\ne x\in\mathbb Z^n\) with
\[
\operatorname{dist}(x,V)<\delta,\qquad |x\cdot u|<\varepsilon |x|^{-p_m},
\]
while conversely \(p_m\) is sharp. A striking feature is that \(p_m\) depends only on \(\dim V\), not on the ambient dimension \(n\) [2210.10504].

These geometric variants are not weighted in the \((i,j)\)-box sense, but they are twisted in a precise projective sense: admissible approximants are restricted to a cone around a prescribed direction set. This suggests a broader taxonomy in which “twist” may be implemented either by anisotropic scaling or by anisotropic directionality.

## 5. Restricted denominators, arithmetic subsequences, and toral dynamics

Twisted approximation with prescribed time sets or denominator sets has become a distinct subfield. “Twisted approximation with restricted denominators” fixes an increasing integer sequence \(\mathbf a=(a_n)\), a real \(\alpha\), and studies
\[
W(\psi,\mathbf a,\alpha)
=
\{\gamma\in[0,1]: \|a_n\alpha-\gamma\|<\psi(n)\ \text{i.o.}\}.
\]
For Lebesgue-almost every \(\alpha\), the paper proves the divergence criterion
\[
\sum \psi(n)=\infty \quad\Longrightarrow\quad \lambda(W(\psi,\mathbf a,\alpha))=1,
\]
with no growth condition on \((a_n)\) and no monotonicity assumption on \(\psi\). It also proves a Jarník-style Hausdorff-measure law: for a dimension function \(f\) with \(x^{-1}f(x)\) monotonic,
\[
H^f(W(\psi,\mathbf a,\alpha))=
\begin{cases}
0,& \sum f(\psi(n))<\infty,\\
H^f([0,1]),& \sum f(\psi(n))=\infty,
\end{cases}
\]
for almost every \(\alpha\), and deduces
\[
\dim_H(W(\psi_\sigma,\mathbf a,\alpha))=\frac1\sigma
\qquad (\sigma\ge 1)
\]
for \(\psi_\sigma(n)=n^{-\sigma}\) [2508.01433].

A toral-dynamical matrix analogue is developed in “Twisted Diophantine approximation for matrix transformations of tori”. For a sequence of integral matrices \(\mathcal A=(A_n)\) and side-length functions \(\mathbf r=(r_1,\dots,r_d)\), the target set is
\[
\mathcal T_{\bm\alpha}(\mathcal A,\mathbf r)
=
\left\{
\bm\beta\in[0,1)^d:
A_n\bm\alpha \pmod 1
\in \bm\beta+\mathcal R_n(\mathbf r)\ \text{i.m.}
\right\},
\]
where \(\mathcal R_n(\mathbf r)\) is the axis-aligned box with side lengths \(2r_i(n)\). If \(\det(A_m-A_n)\ne 0\) for \(m\ne n\), then for Lebesgue-almost every \(\bm\alpha\),
\[
\mathcal L^d(\mathcal T_{\bm\alpha}(\mathcal A,\mathbf r))
=
\begin{cases}
0,& \sum_{n=1}^\infty \prod_{i=1}^d r_i(n)<\infty,\\
1,& \sum_{n=1}^\infty \prod_{i=1}^d r_i(n)=\infty.
\end{cases}
\]
The same paper proves a Jarník-type Hausdorff measure theorem with critical quantity
\[
s_n(\mathbf r,f)=
\min_{1\le i\le d}
\left\{
f(r_i(n))\prod_{j:r_j(n)\ge r_i(n)}\frac{r_j(n)}{r_i(n)}
\right\},
\]
and, for \(r_i(n)=n^{-\tau_i}\), derives the exact dimension formula
\[
\dim_H\mathcal T_{\bm\alpha}(\mathcal A,\mathbf r)=
\min_{1\le i\le d}
\left\{
\frac{1+\sum_{j:\tau_j<\tau_i}(\tau_i-\tau_j)}{\tau_i}
\right\}
\]
for almost every \(\bm\alpha\) [2511.14954].

Arithmetic subsequences produce further twisted phenomena. “The Prime times of twisted Diophantine approximation” studies
\[
T_{\mathcal A}(\psi,\alpha)
=
\{\gamma\in[0,1): \|n\alpha+\gamma\|\le \psi(n)\ \text{i.m. }n\in \mathcal A\}
\]
for multiplicatively structured sets \(\mathcal A\subseteq\mathbb N\). Under sieve-type hypotheses on \(\mathcal A\), the paper proves
\[
BAD\subseteq \bigcap_{\psi\in M_{\mathcal A}}\mathcal K_{\mathcal A}(\psi)\subseteq BAD_{\mathcal P},
\]
with applications to primes, sums of two squares, Löschian integers, and square-free numbers. In particular, for badly approximable \(\alpha\), the Kurzweil-type zero-one law holds along the primes, and the square-free case yields a characterization of \(BAD\) via restricted denominators [2603.25291].

## 6. Manifold constraints, conceptual formalisms, and methodological structure

The manifold-constrained theory treats twisted approximation with \(\beta\) restricted to a nondegenerate analytic manifold \(M\subset\mathbb R^m\). For fixed \(\boldsymbol\alpha\in\mathbb R^{m\times n}\), “Twisted Diophantine approximation on manifolds” studies
\[
T_\psi(\boldsymbol\alpha)
=
\{\boldsymbol\beta\in\mathbb R^m : \|\boldsymbol\alpha\mathbf q+\boldsymbol\beta+\mathbf p\|\le \psi(\|\mathbf q\|)\ \text{i.o.}\}.
\]
If
\[
\omega(\boldsymbol\alpha^T)
<
\left(
\frac{n}{m}-\frac{n}{2m^2(m-1)}
\right)^{-1},
\]
then for any doubling \(\psi\) with
\[
\sum_{q=1}^\infty q^{n-1}\psi(q)^m<\infty,
\]
the set \(T_\psi(\boldsymbol\alpha)\) has zero measure on any nondegenerate analytic manifold. Under a divergence assumption and a strong non-approximability hypothesis expressed through the functions
\[
h_i(q)=\frac{1}{(q^n\log q\log\log q\cdots \log^{(i)}q)^{1/m}},
\qquad
\phi_i(q)=h_i(q)\log\log q,
\]
the same paper proves full measure on nondegenerate analytic manifolds for Hardy \(L\)-functions \(\psi\). It also shows that the set \(T(\boldsymbol\alpha)\) of badly \(\boldsymbol\alpha\)-approximable targets has zero measure on manifolds when \(\boldsymbol\alpha\) is nonsingular, full measure when \(\boldsymbol\alpha\) is very singular, and is absolute winning when \(\boldsymbol\alpha\) is badly approximable [2507.04405].

The subject is methodologically diverse. The weighted-exponent theory of [1409.6665] relies on explicit lacunary constructions and minimal points in the sense of Davenport–Schmidt and Jarník. The full-dimension theorem for \(\mathrm{Bad}_x(j_1,\dots,j_n)\) uses weighted best approximations, lacunarity, a Cantor construction, and the mass distribution principle [1507.07119]. Angularly constrained approximation uses parametric geometry of numbers and an angularly constrained realization theorem for rigid \(n\)-systems [2210.10504]. Restricted-denominator and toral-dynamical results use pairwise independence, second Borel–Cantelli, Fubini, discrepancy, and the Mass Transference Principle [2508.01433] [2511.14954]. Weighted matrix-orbit results are formulated through weighted ubiquity and weighted mass transference [2307.13210].

Two broader frameworks illuminate the subject’s conceptual range. “Diophantine Approximation Groups, Kronecker Foliations and Independence” associates to a real matrix \(\Theta\) the groups
\[
{}^{*}\mathbb Z^s(\Theta)
=
\{
{}^{*}\mathbf n\in{}^{*}\mathbb Z^s:
\Theta\,{}^{*}\mathbf n-{}^{*}\mathbf n^\perp\in{}^{*}\mathbb R_\varepsilon^{\,r}
\},
\qquad
{}^{*}\widetilde{\mathbb Z}^{\,s}(\Theta)=\ker(\perp),
\]
and shows that planarity of the associated Kronecker foliations characterizes \(\mathbb Q\)-linear independence of columns, while density and minimality encode row independence [1201.2708]. “Local positivity and effective Diophantine approximation” is not formulated as a twisted-exponent paper, but it develops a weighted index
\[
\operatorname{ind}_{(x_1,x_2;r_1,r_2)}(P)
=
\min\left\{\frac{j_1}{r_1}+\frac{j_2}{r_2}:\partial_jP(x)\ne 0\right\}
\]
and a local-positivity method on blow-ups of \(\mathbf P^2\) for effective constrained simultaneous approximation, showing how geometric positivity can control anisotropic approximation conditions [2005.06531].

Taken together, these developments show that twisted Diophantine approximation is not a single theorem or a single spectrum problem. It is a collection of anisotropic approximation theories whose behavior depends on the nature of the twist: weights, cones, fixed orbits, arithmetic subsequences, matrix actions, or manifold geometry. The classical two-dimensional identity
\[
\hat\lambda+\frac1{\hat\omega}=1
\]
survives only in the balanced case; outside that case, the subject is governed by spectrum flexibility, directional rigidity, metric zero-full laws, and geometric transference rather than by a universal formula [1409.6665].

Source: https://www.emergentmind.com/topics/twisted-diophantine-approximation