We place the theory of metric Diophantine approximation on manifolds into a broader context of studying Diophantine properties of points generic with respect to certain measures on $\Bbb R^n$. The correspondence between multidimensional Diophantine approximation and dynamics of lattices in Euclidean spaces is discussed in an elementary way, and several recent results obtained by means of this correspondence are surveyed.
In this paper we study $p$-adic Diophantine approximation on manifolds, specifically multiplicative Diophantine approximation on affine subspaces and a Diophantine dichotomy for analytic $p$-adic manifolds.
We present a sharpening of nondivergence estimates for unipotent (or more generally polynomial-like) flows on homogeneous spaces. Applied to metric Diophantine approximation, it yields precise formulas for Diophantine exponents of affine subspaces of $\Bbb R^n$ and their nondegenerate submanifolds.
In this paper we prove complete $p$-adic analogues of Kleinbock's theorems \cite{Kleinbock-extremal, Kleinbock-exponent} on inheritance of Diophantine exponents for affine subspaces. In particular, we answer in the affirmative (and in a stronger form), a conjecture of Kleinbock and Tomanov \cite{KT}, as well as a question of Kleinbock \cite{Kleinbock-exponent}. Our main innovation is the introduction of a new $p$-adic Diophantine exponent which is better suited to homogeneous dynamics, and which we show to be closely related to the exponent considered by Kleinbock and Tomanov.
The paper is mostly a survey on recent results in Diophantine approximation, with emphasis on properties of exponents measuring various notions of Diophantine <approximation.
We obtain some new inequalities between the ordinary and the uniform Diophantine exponents for simultaneous Diophantine approximation to four real numbers.
We apply nondivergence estimates for flows on homogeneous spaces to compute Diophantine exponents of affine subspaces of $\R^n$ and their nondegenerate submanifolds.
In this paper we define Diophantine exponents of lattices and investigate some of their properties. We prove transference inequalities and construct some examples with the help of Schmidt's subspace theorem.
We consider multiparameter dynamics on the space of unimolular lattices. Along with quantitative nondivergence we prove that multiplicative Diophantine exponents of hyperplanes are inherited by their nondegenerate submanifolds.
In this paper we prove an existence theorem concerning linear forms of a given Diophantine type and apply it to study the structure of the spectrum of lattice exponents.
In Diophantine approximation, inhomogeneous problems are linked with homogeneous ones by means of the so-called Transference Theorems. We revisit this classical topic by introducing new exponents of Diophantine approximation. We prove that the exponent of approximation to a generic point in R^n by a system of n linear forms is equal to the inverse of the uniform homogeneous exponent associated to the system of dual forms.
This is a revised compilation of the papers arXiv:1105.1554 and arXiv:1105.5823. We develop some of the ideas belonging to W.Schmidt and L.Summerer to define intermediate Diophantine exponents and split several transference inequalities into a chain of inequalities for intermediate exponents.
In this paper we prove inequalities for multiplicative analogues of Diophantine exponents, similar to the ones known in the classical case. Particularly, we show that a matrix is badly approximable if and only if its transpose is badly approximable and establish some inequalities connecting multiplicative exponents with ordinary ones.
In this paper we improve estimates of Jarnik and Apfelbeck for uniform Diophantine exponents of transposed systems of linear forms and generalize to the case of an arbitrary system the estimates of Laurent and Bugeaud for individual exponents. The method proposed also gives a better constant in Mahler's transference theorem.
In this paper we prove an inequality for individual and uniform Diophantine exponents in the case of simultaneous approximation. This inequality is better than Jarnik's for small values of the uniform exponent.
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.
Using the Parametric Geometry of Numbers introduced recently by W.M. Schmidt and L. Summerer and results by D. Roy, we establish that the spectrum of the $2n$ exponents of Diophantine approximation in dimension $n\geq3$ is a subset of $\mathbb{R}^{2n}$ with non empty interior.
We investigate the large intersection properties of the set of points that are approximated at a certain rate by a family of affine subspaces. We then apply our results to various sets arising in the metric theory of Diophantine approximation, in the study of the homeomorphisms of the circle and in the perturbation theory for Hamiltonian systems.
We study the diophantine exponent of analytic submanifolds of the space of m by n real matrices, answering questions of Beresnevich, Kleinbock and Margulis. We identify a family of algebraic obstructions to the extremality of such a submanifold, and give a formula for the exponent when the submanifold is algebraic and defined over the rationals. We then apply these results to the determination of the diophantine exponent of rational nilpotent Lie groups.
In this paper we study the three-dimensional analogue of the relation between the irrationality exponent of a real number and the growth of its regular continued fraction partial quotients. As a multidimensional generalisation of continued fractions, we consider Klein polyhedra.
Let x be a real number and let n be a positive integer. We define four exponents of Diophantine approximation, which complement the exponents w_n(x) and w_n^*(x) defined by Mahler and Koksma. We calculate their six values when n=2 and x is a real number whose continued fraction expansion coincides with some Sturmian sequence of positive integers, up to the initial terms. In particular, we obtain the exact exponent of approximation to such a continued fraction x by quadratic surds.
Let $ϕ(z)$ be a non-isotrivial rational function in one-variable with coefficients in $\overline{\mathbb{F}}_p(t)$ and assume that $γ\in\mathbb{P}^1(\overline{\mathbb{F}}_p(t))$ is not a post-critical point for $ϕ$. Then we prove that the diophantine approximation exponent of elements of $ϕ^{-m}(γ)$ are eventually bounded above by $\lceil d^m/2\rceil+1$. To do this, we mix diophantine techniques in characteristic $p$ with the adelic equidistribution of small points in Berkovich space. As an application, we deduce a form of Silverman's celebrated limit theorem in this setting. Namely, if we tak…
We improve on Jarn\'ık's inequality between uniform Diophantine exponent $α$ and ordinary Diophantine exponent $β$ for a system of $ n\ge 2$ real linear forms in two integer variables. Jarn\'ık (1949, 1954) proved that $β\ge α(α-1)$. In the present paper we give a better bound in the case $α>1$. We prove that β\ge 1/2(α^2-α+1+\sqrt{(α^2-α+1)^2 +4α^2(α-1)}) if 1\le α\le 2 1/2(α^2-1+\sqrt{(α^2-1)^2+4α(α-1)}) if α\ge 2
We extend the Khintchine transference inequalities, as well as a homogeneous-inhomogeneous transference inequality for lattices, due to Bugeaud and Laurent, to a weighted setting. We also provide applications to inhomogeneous Diophantine approximation on manifolds and to weighted badly approximable vectors. Finally, we interpret and prove a conjecture of Beresnevich-Velani (2010) about inhomogeneous intermediate exponents.
Recent years have seen very important developments at the interface of Diophantine approximation and homogeneous dynamics. In the first part of the paper we give a brief exposition of a dictionary developed by Dani and Kleinbock-Margulis which relates Diophantine properties of vectors to distribution of orbits of flows on the space of unimodular lattices. In the second part of the paper we briefly describe an extension of this dictionary recently developed by the authors, which establishes an analogous dynamical correspondence for general lattice orbits on homogeneous spaces. We concentrate sp…
Using the variational principle in parametric geometry of numbers, we compute the Hausdorff and packing dimension of Diophantine sets related to exponents of Diophantine approximation, and their intersections. In particular, we extend a result of Jarník and Besicovitch to intermediate exponents.
We study the Diophantine properties of a new class of transcendental real numbers which contains, among others, Roy's extremal numbers, Bugeaud-Laurent Sturmian continued fractions, and more generally the class of Sturmian type numbers. We compute, for each real number $ξ$ of this set, several exponents of Diophantine approximation to the pair $(ξ,ξ^2)$, together with $ω_2^*(ξ)$ and $\widehatω_2^*(ξ)$, the so-called ordinary and uniform exponent of approximation to $ξ$ by algebraic numbers of degree $\leq 2$. As an application, we get new information on the set of values taken by $\widehatω_2^…
This text is a slightly expanded version of a survey article on certain aspects of low dimensional dynamics and number theory written after a kind invitation by the editors of the Notices of the American Mathematical Society.
We give several upper bounds for the uniform simultaneous Diophantine exponent $\widehatλ_n(ξ)$ of a transcendental number $ξ\in\mathbb{R}$. The most important one relates $\widehatλ_n(ξ)$ and the ordinary simultaneous exponent $ω_k(ξ)$ in the case when $k$ is substantially smaller than $n$. In particular, in the generic case $ω_k(ξ)=k$ with a properly chosen $k$, the upper bound for $\widehatλ_n(ξ)$ becomes as small as $\frac{3}{2n} + O(n^{-2})$ which is substantially better than the best currently known unconditional bound of $\frac{2}{n} + O(n^{-2})$. We also improve an unconditional upper …
We prove a theorem about approximation to an irrational number by rational numbers whose denominator n is free of prime factors bigger than a power of log n. We strengthen the result in version 1 by using an exponential sum over smooth numbers tailored to the application. The new exponent approaches 1/3 as the exponent of log n becomes large.
The nature and origin of exceptional sets associated with the rotation number of circle maps, Kolmogorov-Arnol'd-Moser theory on the existence of invariant tori and the linearisation of complex diffeomorphisms are explained. The metrical properties of these exceptional sets are closely related to fundamental results in the metrical theory of Diophantine approximation. The counterpart of Diophantine approximation in hyperbolic space and a dynamical interpretation which led to the very general notion of `shrinking targets' are sketched and the recent use of flows in homogeneous spaces of lattice…
We give upper and lower bounds for various Diophantine exponents associated with the standard linear actions of $\mathrm{SL}_2 ( \mathcal{O}_K )$ on the punctured complex plane $\mathbb{C}^2 \setminus \{ \mathbf{0} \}$, where $K$ is a number field whose ring of integers $\mathcal{O}_K$ is discrete and within a unit distance of any complex number. The results are similar to those of Laurent and Nogueira for $\mathrm{SL}_2 ( \mathbb{Z} )$ action on $\mathbb{R}^2 \setminus \{ \mathbf{0} \}$ albeit for us, uniformly nice bounds are obtained only outside of a set of null measure.
We discuss the problem of finding optimal exponents in Diophantine estimates involving one real number and, in some cases where such an exponent is known, present some properties of the corresponding extremal numbers.
Let $Θ=(α,β)$ be a point in $\bR^2$, with $1,α,β$ linearly independent over $\bQ$. We attach to $Θ$ a quadruple $Ω(Θ)$ of exponents which measure the quality of approximation to $Θ$ both by rational points and by rational lines. The two ``uniform'' components of $Ω(Θ)$ are related by an equation, due to Jarn{\'ı}k, and the four exponents satisfy two inequalities which refine Khintchine's transference principle. Conversely, we show that for any quadruple $Ω$ fulfilling these necessary conditions, there exists a point $Θ\in \bR^2$ for which $Ω(Θ) =Ω$.
We investigate two inequalities of Bugeaud and Laurent, each involving triples of classical exponents of Diophantine approximation associated to $\ux\in\mathbb{R}^n$. We provide a complete description of parameter triples that admit equality for suitable $\ux$, which turns out rather surprising. For $n=2$ our results agree with work of Laurent. Moreover, we establish lower bounds for the Hausdorff and packing dimensions of the involved $\ux$, and in special cases we can show they are sharp. Proofs are based on the variational principle in parametric geometry of numbers, we enclose sketches of …
Let $β>1$ be a real number and define the $β$-transformation on $[0,1]$ by $T_β:x\mapsto βx\bmod 1$. Further, define $$W_y(T_β,Ψ):=\{x\in [0, 1]:|T_β^nx-y|<Ψ(n) \mbox{ for infinitely many $n$}\}$$ and $$W(T_β,Ψ):=\{(x, y)\in [0, 1]^2:|T_β^nx-y|<Ψ(n) \mbox{ for infinitely many $n$}\},$$ where $Ψ:\mathbb{N}\to\mathbb{R}_{>0}$ is a positive function such that $Ψ(n)\to 0$ as $n\to \infty$. In this paper, we show that each of the above sets obeys a Jarník-type dichotomy, that is, the generalised Hausdorff measure is either zero or full depending upon the convergence or divergence of a certain serie…
We study the general problem of extremality for metric Diophantine approximation on submanifolds of matrices. We formulate a criterion for extremality in terms of a certain family of algebraic obstructions and show that it is sharp. In general, the almost sure diophantine exponent of a submanifold is shown to depend only on its Zariski closure, and when the latter is defined over the rational numbers, we prove that the exponent is rational and give a method to effectively compute it. This method is applied to a number of cases of interest, in particular, we manage to determine the diophantine …
In this paper, we study properties of the Diophantine exponents $w_n$ and $w_n^{*}$ for Laurent series over a finite field. We prove that for an integer $n\geq 1$ and a rational number $w>2n-1$, there exist a strictly increasing sequence of positive integers $(k_j)_{j\geq 1}$ and a sequence of algebraic Laurent series $(ξ_j)_{j\geq 1}$ such that deg $ξ_j=p^{k_j}+1$ and \begin{equation} w_1(ξ_j)=w_1 ^{*}(ξ_j)=\ldots =w_n(ξ_j)=w_n ^{*}(ξ_j)=w \end{equation} for any $j\geq 1$. For each $n\geq 2$, we give explicit examples of Laurent series $ξ$ for which $w_n(ξ)$ and $w_n^{*}(ξ)$ are different.
Consider the equation $q_1α^{x_1}+\dots+q_kα^{x_k} = q$, with constants $α\in \overline{\mathbb{Q}} \setminus \{0,1\}$, $q_1,\ldots,q_k,q\in\overline{\mathbb{Q}}$ and unknowns $x_1,\ldots,x_k$, referred to in this paper as an \emph{algebraic equation with exponents}. We prove that the problem to decide if a given equation has an integer solution is $\textbf{NP}$-complete, and that the same holds for systems of equations (whether $α$ is fixed or given as part of the input). Furthermore, we describe the set of all solutions for a given system of algebraic equations with exponents and prove that …
In this paper we prove transference inequalities for regular and uniform Diophantine exponents in the weighted setting. Our results generalize the corresponding inequalities that exist in the `non-weighted' case.
