On Diophantine exponents of lattices
We describe the spectrum of ordinary Diophantine exponents for $d$-dimensional lattices. The result reduces the problem to two-dimensional case and uses argument of metric theory.
Discover
Research tools
Network
Opportunities
Account
Source author record
Nikolay Moshchevitin appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
We describe the spectrum of ordinary Diophantine exponents for $d$-dimensional lattices. The result reduces the problem to two-dimensional case and uses argument of metric theory.
A classical argument was introduced by Khintchine in 1926 in order to exhibit the existence of totally irrational singular linear forms in two variables. This argument was subsequently revisited and extended by many authors. For instance, in 1959 Jarnik used it to show that for $n \geq 2$ and for any non-increasing positive $f$ there are totally irrational matrices $A \in M_{m,n}({\mathbb R})$ such that for all large enough $t$ there are $\mathbf{p} \in {\mathbb Z}^m, \mathbf{q} \in {\mathbb Z}^n \smallsetminus \{0\}$ with $$\|\mathbf{q}\| \leq t \ \text{ and } \ \|A \mathbf{q} - \mathbf{p}\| \leq f(t).$$ We denote the collection of such matrices by $\mathrm{UA}^*_{m,n}(f)$. We adapt Khintchine's argument to show that the sets $\mathrm{UA}^*_{m,n}(f)$, and their weighted analogues $\mathrm{UA}^*_{m,n}(f, \mathbf{w})$, intersect many manifolds and fractals, and have strong intersection properties. For example, we show that: When $n \geq 2$, the set $\bigcap_{\mathbf{w}} \mathrm{UA}^*(f, \mathbf{w}) $, where the intersection is over all weights $\mathbf{w}$, is nonempty, and moreover intesects many manifolds and fractals; For $n \geq 2$, there are vectors in ${\mathbb R}^n$ which are simultaneously $k$-singular for every $k$, in the sense of Yu; when $n \geq 3$, $\mathrm{UA}^*_{1,n}(f) + \mathrm{UA}^*_{1,n}(f) = {\mathbb R}^n$. We also obtain new bounds on the rate of singularity which can be attained by column vectors in analytic submanifolds of dimension at least 2 in ${\mathbb R}^n$.
We discuss some easy statements dealing with linear inhomogeneous Diophantine approximation. Surprisingly, we did not find some of them in the literature.
We prove in particular that for any sufficiently large prime $p$ there is $1\le a<p$ such that all partial quotients of $a/p$ are bounded by $O(\log p/\log \log p)$. For composite denominators a similar result is obtained. This improves the well--known Korobov bound concerning Zaremba's conjecture from the theory of continued fractions.
We improve on a result by Svetlana Jitomirskaya and Wencai Liu dealing with inhomogeneous Diophantine approximation in the coprime setting.
We provide a lower bound for the ratio between the ordinary and uniform exponent of both simultaneous Diophantine approximation and Diophantine approximation by linear forms in any dimension. This lower bound was conjectured by Schmidt and Summerer and already shown in dimension $2$ and $3$. This lower bound is reached at regular systems presented in the context of parametric geometry of numbers, and thus optimal.
For any j_1,...,j_n>0 with j_1+...+j_n=1 and any x \in R^n, we consider the set of points y \in R^n for which max_{1\leq i\leq n}(||qx_i-y_i||^{1/j_i})>c/q for some positive constant c=c(y) and all q\in N. These sets are the `twisted' inhomogeneous analogue of Bad(j_1,...,j_n) in the theory of simultaneous Diophantine approximation. It has been shown that they have full Hausdorff dimension in the non-weighted setting, i.e provided that j_i=1/n, and in the weighted setting when x is chosen from Bad(j_1,...,j_n). We generalise these results proving the full Hausdorff dimension in the weighted setting without any condition on x.
We give an elementary proof of a recent result by Fishman, Kleinbock, Merrill and Simmons about rational points on quadratic surfaces.
We prove a result in the area of twisted Diophantine approximation related to the theory of Schmidt games. In particular, under certain restrictions we give a affirmative answer to the analogue in this setting of a famous conjecture of Schmidt from Diophantine approximation.
We give a simple proof of a recent result by Kleinbock and Merrill concerning intrinsic approximations on sphere, in the simplest case of two-dimensional sphere in $\mathbb{R}^3$.
We prove a quantitative version of the following statement: the unipotent flow orbit of a typical lattice in $\rm{SL}_2(\mathbb{R})/\rm{SL}_2(\mathbb{Z})$ is dense. Our quantitative result uses A. Weil's bounds for Kloostermann sums.
We obtain some new inequalities between the ordinary and the uniform Diophantine exponents for simultaneous Diophantine approximation to four real numbers.
We prove a conjecture due to Nicolas Chevallier concerning unimodular matrices related to simultaneous Diophantine approximation to real numbers.
Consider irrational affine subspace $ A\subset \mathbb{R}^d$ of dimension $a$. We prove that the set $$ \{ξ=(ξ_1,...,ξ_d) \in {A}:\,\,\, \ q^{1/a}\cdot \max_{1\le i \le d} ||qξ_i|| \to \infty,\,\,\,\, q\to \infty\} $$ is an $α$-winning set for every $α\in (0,1/2]$
Let $Θ= (θ_1,θ_2,θ_3)\in \mathbb{R}^3$. Suppose that $1,θ_1,θ_2,θ_3$ are linearly independent over $\mathbb{Z}$. For Diophantine exponents $$ α(Θ) = \sup \{γ>0:\,\,\, \limsup_{t\to +\infty} t^γψ_Θ(t) <+\infty \} ,$$ $$β(Θ) = \sup \{γ>0:\,\,\, \liminf_{t\to +\infty} t^γψ_Θ(t) <+\infty\} $$ we prove $$ β(Θ) \ge {1/2} ({α(Θ)}/{1-α(Θ)} +\sqrt{{α(Θ)}/{1-α(Θ)})^2 +{4α(Θ)}/{1-α(Θ)}}) α(Θ) $$
We prove that there exist arbitrarily small positive real numbers $ε$ such that every integral power $(1 + \vepsilon)^n$ is at a distance greater than $2^{-17} ε|\log \vepsilon|^{-1}$ to the set of rational integers. This is sharp up to the factor $2^{-17} |\log ε|^{-1}$. We also establish that the set of real numbers $α> 1$ such that the sequence of fractional parts $(\{α^n\})_{n \ge 1}$ is not dense modulo 1 has full Hausdorff dimension.