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
Workspaces
Network
Opportunities
Account
Researcher profile
Nikolay Moshchevitin contributes to research discovery and scholarly infrastructure.
Trust snapshot
Actions
Identity and collaboration
Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.
Log in to claimDirect collaboration
Claim this author entity first to unlock direct invitations.
Research graph
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph 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.
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.