We establish a general transference principle for the irrationality measure of points with $\mathbb{Q}$-linearly independent coordinates in $\mathbb{R}^{n+1}$, for any given integer $n\geq 1$. On this basis, we recover an important inequality of Marnat and Moshchevitin which describes the spectrum of the pairs of ordinary and uniform exponents of rational approximation to those points. For points whose pair of exponents are close to the boundary in the sense that they almost realize the equality, we provide additional information about the corresponding sequence of best rational approximations. We conclude with an application.
We establish a transference inequality conjectured by Badziahin and Bugeaud relating exponents of rational approximation of points in geometric progression.
In this paper we adapt parametric geometry of numbers developed by Wolfgang Schmidt and Leonard Summerer to a multiplicative setting, and derive a chain of inequalities for the corresponding exponents which splits the transference inequality for Diophantine exponents of lattices in the same way Khintchine's transference inequalities for simultaneous approximation can be split.
Analogues of Khintchine's Theorem in simultaneous Diophantine approximation in the plane are proved with the classical height replaced by fairly general planar distance functions or equivalently star bodies. Khintchine's transference principle is discussed for distance functions and a direct proof for the multiplicative version is given. A transference principle is also established for a different distance function.
We consider the problem of simultaneous approximation of real numbers $θ_1, \ldots,θ_n$ with rationals and the dual problem of approximating zero with the values of the linear form $x_0+θ_1x_1+\ldots+θ_nx_n$ at integer points. In this setting we analyse two transference inequalities obtained by Schmidt and Summerer. We present a rather simple geometric observation, which proves their result. We also derive several corollaries previously unknown. Particularly, we show that, together with the transference inequalities for uniform exponents, Schmidt and Summerer's inequalities imply the inequalit…
Using the new theory of W. M. Schmidt and L. Summerer called parametric geometry of numbers, we show that the going-up and going-down transference inequalities of W. M. Schmidt and M. Laurent describe the full spectrum of the $n$ exponents of best rational approximation to points in $\mathbb{R}^{n+1}$.
In 1998, Kleinbock & Margulis established a conjecture of V.G. Sprindzuk in metrical Diophantine approximation (and indeed the stronger Baker-Sprindzuk conjecture). In essence the conjecture stated that the simultaneous homogeneous Diophantine exponent $w_{0}(\vv x) = 1/n$ for almost every point $\vv x$ on a non-degenerate submanifold $\cM$ of $\R^n$. In this paper the simultaneous inhomogeneous analogue of Sprindzuk's conjecture is established. More precisely, for any `inhomogeneous' vector $\bmθ\in\R^n$ we prove that the simultaneous inhomogeneous Diophantine exponent $w_{0}(\vv x, \bmθ)= 1/…
A Hausdorff measure version of W.M. Schmidt's inhomogeneous, linear forms theorem in metric number theory is established. The key ingredient is a `slicing' technique motivated by a standard result in geometric measure theory. In short, `slicing' together with the Mass Transference Principle [3] allows us to transfer Lebesgue measure theoretic statements for limsup sets associated with linear forms to Hausdorff measure theoretic statements. This extends the approach developed in [3] for simultaneous approximation. Furthermore, we establish a new Mass Transference Principle which incorporates bo…
We refine Khintchine Transference Principle which relates the measure of simultaneous rational approximation of an $n$ real numbers with the measure of linear independence of these $n$ numbers. Khintchine's inequalities are known to be optimal. However, they may be sharpened by taking into account two further uniform exponents.
Let $Θ$ be a point in ${\bf R}^n$. We split the classical Khintchine's Transference Principle into $n-1$ intermediate estimates which connect exponents $ω_d(Θ)$ measuring the sharpness of the approximation to $Θ$ by linear rational varieties of dimension $d$, for $0\le d \le n-1$. We also review old and recent results related to these $n$ exponents.
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 $Ω(Θ) =Ω$.
Let $Z$ be a quadratic hypersurface of $\mathbb{P}^n(\mathbb{R})$ defined over $\mathbb{Q}$ containing points whose coordinates are linearly independent over $\mathbb{Q}$. We show that, among these points, the largest exponent of uniform rational approximation is the inverse $1/ρ$ of an explicit Pisot number $ρ<2$ depending only on $n$ if the Witt index (over $\mathbb{Q}$) of the quadratic form $q$ defining $Z$ is at most $1$, and that it is equal to $1$ otherwise. Furthermore there are points of $Z$ which realize this maximum. They constitute a countably infinite set in the first case, and an…
The goal of this paper is to develop the theory of weighted Diophantine approximation of rational numbers to $p$-adic numbers. Firstly, we establish complete analogues of Khintchine's theorem, the Duffin-Schaeffer theorem and the Jarník-Besicovitch theorem for `weighted' simultaneous Diophantine approximation in the $p$-adic case. Secondly, we obtain a lower bound for the Hausdorff dimension of weighted simultaneously approximable points lying on $p$-adic manifolds. This is valid for very general classes of curves and manifolds and have natural constraints on the exponents of approximation. Th…
This paper deals with two main topics related to Diophantine approximation. Firstly, we show that if a point on an algebraic variety is approximable by rational vectors to a sufficiently large degree, the approximating vectors must lie in the topological closure of the rational points on the variety. In many interesting cases, in particular if the set of rational points on the variety is finite, this closure does not exceed the set of rational points on the variety itself. This result enables easier proofs of several known results as special cases. The proof can be generalized in some way and …
Let $ξ, ζ$ be quadratic real numbers in distinct quadratic fields. We establish the existence of effectively computable, positive real numbers $τ$ and $c$, such that, for every integer $q$ with $q > c$ we have $$ \max\{\|q ξ\|, \|q ζ\| \} > q^{-1 + τ}, $$ where $\| \cdot \|$ denotes the distance to the nearest integer.
We provide an upper bound on the uniform exponent of approximation to a triple (xi, xi^2, xi^3) by rational numbers with the same denominator, valid for any transcendental real number xi. This upper bound refines a previous result of Davenport and Schmidt. As a consequence, we get a sharper lower bound on the exponent of approximation of such a number xi by algebraic integers of degree at most 4.
We introduce a new exponent of simultaneous rational approximation $\widehatλ_{\min}(ξ,η)$ for pairs of real numbers $ξ,η$, in complement to the classical exponents $λ(ξ,η)$ of best approximation, and $\widehatλ(ξ,η)$ of uniform approximation. It generalizes Fischler's exponent $β_0(ξ)$ in the sense that $\widehatλ_{\min}(ξ,ξ^2) = 1/β_0(ξ)$ whenever $λ(ξ,ξ^2) = 1$. Using parametric geometry of numbers, we provide a complete description of the set of values taken by $(λ,\widehatλ_{\min})$ at pairs $(ξ,η)$ with $1$, $ξ$, $η$ linearly independent over $\mathbf{Q}$.
We develop new tools leading, for each integer $n\ge 4$, to a significantly improved upper bound for the uniform exponent of rational approximation $\widehatλ_n(ξ)$ to successive powers $1,ξ,\dots,ξ^n$ of a given real transcendental number $ξ$. As an application, we obtain a refined lower bound for the exponent of approximation to $ξ$ by algebraic integers of degree at most $n+1$. The new lower bound is $n/2+a\sqrt{n}+4/3$ with $a=(1-\log(2))/2\simeq 0.153$, instead of the current $n/2+\mathcal{O}(1)$.
For a positive integer $n$ and a real number $ξ$, let $λ_n (ξ)$ denote the supremum of the real numbers $λ$ for which there are arbitrarily large positive integers $q$ such that $|| q ξ||, || q ξ^2 ||, \ldots , ||q ξ^n||$ are all less than $q^{-λ}$. Here, $|| \cdot ||$ denotes the distance to the nearest integer. We establish new results on the Hausdorff dimension of the set of real numbers $ξ$ such that $λ_n (ξ)$ is equal (or greater than or equal) to a given value.
We investigate the problem of best simultaneous Diophantine approximation under a constraint on the denominator, as proposed by Jurkat. New lower estimates for optimal approximation constants are given in terms of critical determinants of suitable star bodies. Tools are results on simultaneous Diophantine approximation of rationals by rationals with smaller denominator. Finally, the approximation results are applied to the decomposition of integer vectors.
Let Q be an infinite set of positive integers. Denote by W(Q) the set of n-tuples of real numbers simultaneously tau-well approximable by infinitely many rationals with denominators in Q but only by finitely many rationals with denominators in the complement of Q. The Hausdorff dimension of the liminf set W(Q) is computed when tau > 2 + 1/n. A p-adic analogue of the problem is also studied.
Let $p$ be a prime number. For a positive integer $n$ and a real number $ξ$, let $λ_n (ξ)$ denote the supremum of the real numbers $λ$ for which there are infinitely many integer tuples $(x_0, x_1, \ldots , x_n)$ such that $| x_0 ξ- x_1|_p, \ldots , | x_0 ξ^n - x_n|_p$ are all less than $X^{-λ- 1}$, where $X$ is the maximum of $|x_0|, |x_1|, \ldots , |x_n|$. We establish new results on the Hausdorff dimension of the set of real numbers $ξ$ for which $λ_n (ξ)$ is equal to (or greater than or equal to) a given value.
In 1969, H. Davenport and W. Schmidt established a measure of simultaneous approximation for a real number ξand its square by rational numbers with the same denominator, assuming only that ξis not rational nor quadratic over Q. Here, we show by an example, that this measure is optimal. We also indicate several properties of the numbers for which this measure is optimal, in particular with respect to approximation by algebraic integers of degree at most three.
We present a hypergeometric construction of rational approximations to $ζ(2)$ and $ζ(3)$ which allows one to demonstrate simultaneously the irrationality of each of the zeta values, as well as to estimate from below certain linear forms in 1, $ζ(2)$ and $ζ(3)$ with rational coefficients. A new notion of (simultaneous) diophantine exponent is introduced to formalise the arithmetic structure of these specific linear forms. Finally, the properties of this newer concept are studied and linked to the classical irrationality exponent and its generalisations given recently by S. Fischler.
In this article, we establish an analogue of the dimension growth conjecture, which is regarding the density of rational points on projective varieties, for compact submanifolds of $\mathbb{R}^n$ with non-vanishing curvature. We also establish the convergence theory for the set of simultaneously $ψ$-approximable points lying on a generic hypersurface, thereby settling the generalized Baker-Schmidt problem in the simultaneous setting for generic hypersurfaces. These results are obtained as consequences of an optimal upper bound for the density of rational points near manifolds of the form $\{ (…
Let $S$ be the collection of quadratic polynomial maps, and degree $2$-rational maps whose automorphism groups are isomorphic to $C_2$ defined over the rational field. Assuming standard conjectures of Poonen and Manes on the period length of a periodic point under the action of a map in $S$, we give a complete description of triples $(f_1,f_2,p)$ such that $p$ is a rational periodic point for both $f_i\in S$, $i=1,2$. We also show that no more than three quadratic polynomial maps can possess a common periodic point over the rational field. In addition, under these hypotheses we show that two n…
It is known that, for each real number x such that 1,x,x^2 are linearly independent over Q, the uniform exponent of simultaneous approximation to (1,x,x^2) by rational numbers is at most (sqrt{5}-1)/2 (approximately 0.618) and that this upper bound is best possible. In this paper, we study the analogous problem for Q-linearly independent triples (1,x,x^3), and show that, for these, the uniform exponent of simultaneous approximation by rational numbers is at most 2(9+sqrt{11})/35 (approximately 0.7038). We also establish general properties of the sequence of minimal points attached to such trip…
Let $\cal C$ be a non--degenerate planar curve and for a real, positive decreasing function $ψ$ let $\cal C(ψ)$ denote the set of simultaneously $ψ$--approximable points lying on $\cal C$. We show that $\cal C$ is of Khintchine type for divergence; i.e. if a certain sum diverges then the one-dimensional Lebesgue measure on $\cal C$ of $\cal C(ψ)$ is full. We also obtain the Hausdorff measure analogue of the divergent Khintchine type result. In the case that $\cal C$ is a rational quadric the convergence counterparts of the divergent results are also obtained. Furthermore, for functions $ψ$ wit…
We look for elliptic curves featuring rational points whose coordinates form two arithmetic progressions, one for each coordinate. A constructive method for creating such curves is shown, for lengths up to 5.
In this paper we develop the convergence theory of simultaneous, inhomogeneous Diophantine approximation on manifolds. A consequence of our main result is that if the manifold $M \subset \mathbb{R}^n$ is of dimension strictly greater than $(n+1)/2$ and satisfies a natural non-degeneracy condition, then $M$ is of Khintchine type for convergence. The key lies in obtaining essentially the best possible upper bound regarding the distribution of rational points near manifolds.
We say that a subset of $\mathbb{P}^n(\mathbb{R})$ is maximally singular if its contains points with $\mathbb{Q}$-linearly independent homogenous coordinates whose uniform exponent of simultaneous rational approximation is equal to $1$, the maximal possible value. In this paper, we give a criterion which provides many such sets including Grassmannians. We also recover a result of the author and Roy about a class of quadratic hypersurfaces.
In this paper the properties of Rédei rational functions are used to derive rational approximations for square roots and both Newton and Padé approximations are given as particular cases. As a consequence, such approximations can be derived directly by power matrices. Moreover, Rédei rational functions are introduced as convergents of particular periodic continued fractions and are applied for approximating square roots in the field of p-adic numbers and to study periodic representations. Using the results over the real numbers, we show how to construct periodic continued fractions and approxi…
How to find "best rational approximations" of maximal commutative subgroups of GL(n,R)? In this paper we pose and make first steps in the study of this problem. It contains both classical problems of Diophantine and simultaneous approximations as a particular subcases but in general is much wider. We prove estimates for n=2 for both totaly real and complex cases and write the algorithm to construct best approximations of a fixed size. In addition we introduce a relation between best approximations and sails of cones and interpret the result for totally real subgroups in geometric terms of sail…
We study the problem of best approximations of a vector $α\in{\mathbb R}^n$ by rational vectors of a lattice $Λ\subset {\mathbb R}^n$ whose common denominator is bounded. To this end we introduce successive minima for a periodic lattice structure and extend some classical results from geometry of numbers to this structure. This leads to bounds for the best approximation problem which generalize and improve former results.
We find upper and lower bounds on the number of rational points that are $ψ$-approximations of some $n$-dimensional $p$-adic integer. Lattice point counting techniques are used to find the upper bound result, and a Pigeon-hole principle style argument is used to find the lower bound result. We use these results to find the Hausdorff dimension for the set of $p$-adic weighted simultaneously approximable points intersected with $p$-adic coordinate hyperplanes. For the lower bound result we show that the set of rational points that $τ$-approximate a $p$-adic integer form a set of resonant points …
We solve the convergence case of the generalized Baker-Schmidt problem for simultaneous approximation on affine subspaces, under natural diophantine type conditions. In one of our theorems, we do not require monotonicity on the approximation function. In order to prove these results, we establish asymptotic formulae for the number of rational points close to an affine subspace. One key ingredient is a sharp upper bound on a certain sum of reciprocals of fractional parts associated with the matrix defining the affine subspace.
In 2007, A.I.Aptekarev and his collaborators discovered a sequence of rational approximations to Euler's constant $γ$ defined by a linear recurrence. In this paper, we generalize this result and present an explicit construction of rational approximations for the numbers $\ln(b)-ψ(a+1),$ $a, b\in {\mathbb Q},$ $b>0, a>-1,$ where $ψ$ defines the logarithmic derivative of the Euler gamma function. We prove exact formulas for denominators and numerators of the approximations in terms of hypergeometric sums. As a consequence, we get rational approximations for the numbers $π/2\pmγ.$ We compare the …
This work is motivated by problems on simultaneous Diophantine approximation on manifolds, namely, establishing Khintchine and Jarnik type theorems for submanifolds of R^n. These problems have attracted a lot of interest since Kleinbock and Margulis proved a related conjecture of Alan Baker and V.G. Sprindzuk. They have been settled for planar curves but remain open in higher dimensions. In this paper, Khintchine and Jarnik type divergence theorems are established for arbitrary analytic non-degenerate manifolds regardless of their dimension. The key to establishing these results is the study o…
Let Q be an infinite set of positive integers. Denote by W_{τ, n}(Q) (resp. W_{τ, n}) the set of points in dimension n simultaneously τ--approximable by infinitely many rationals with denominators in Q (resp. in N*). A non--trivial lower bound for the Hausdorff dimension of the liminf set W_{τ, n}\W_{τ, n}(Q) is established when n>1 and τ>1+1/(n-1) in the case where the set Q satisfies some divisibility properties. The computation of the actual value of this Hausdorff dimension as well as the one--dimensional analogue of the problem are also discussed.
The Hausdorff dimension of the set of simultaneously tau well approximable points lying on a curve defined by a polynomial P(X)+alpha, where P(X) is a polynomial with integer coefficients and alpha is in R, is studied when tau is larger than the degree of P(X). This provides the first results related to the computation of the Hausdorff dimension of the set of well approximable points lying on a curve which is not defined by a polynomial with integer coefficients. The proofs of the results also include the study of problems in Diophantine approximation in the case where the numerators and the d…
There are abundant results on Diophantine approximation over fields of positive characteristic (see the survey papers [13, 25]), but there is very little information about simultaneous approximation. In this paper, we develop a technique of \geometry of numbers" in positive characteristic, so that we may generalize some of the classical results on simultaneous approximation to the case of function fields. More precisely, we approximate a finite set of Laurent series by rational functions with a common denominator. In particular, the lower bound results we obtain may be regarded as a high dimen…
Given a pair of elliptic curves $E_1$ and $E_2$ over the rational field $\mathbb Q$ whose $j$-invariants are not simultaneously 0 or 1728, Kuwata and Wang proved the existence of infinitely many square-free rationals $d$ such that the $d$-quadratic twists of $E_1$ and $E_2$ are both of positive rank. We construct infinite families of pairs of elliptic curves $E_1$ and $E_2$ over $\mathbb Q$ such that for each pair there exist infinitely many square-free rationals $d$ for which the $d$-quadratic twists of $E_1$ and $E_2$ are both of rank at least 2.
Consider the classical problem of rational simultaneous approximation to a point in $\mathbb{R}^{n}$. The optimal lower bound on the gap between the induced ordinary and uniform approximation exponents has been established by Marnat and Moshchevitin in 2018. Recently Nguyen, Poels and Roy provided information on the best approximating rational vectors to points where the gap is close to this minimal value. Combining the latter result with parametric geometry of numbers, we effectively bound the dual linear form exponents in the described situation. As an application, we slightly improve the up…
Simultaneous Diophantine approximation is concerned with the approximation of a point $\mathbf x\in\mathbb R^d$ by points $\mathbf r\in\mathbb Q^d$, with a view towards jointly minimizing the quantities $\|\mathbf x - \mathbf r\|$ and $H(\mathbf r)$. Here $H(\mathbf r)$ is the so-called "standard height" of the rational point $\mathbf r$. In this paper the authors ask: What changes if we replace the standard height function by a different one? As it turns out, this change leads to dramatic differences from the classical theory and requires the development of new methods. We discuss three examp…
We show that Mahler's classification of real numbers $ζ$ with respect to the growth of the sequence $(w_{n}(ζ))_{n\geq 1}$ is equivalently induced by certain natural assumptions on the decay of the sequence $(λ_{n}(ζ))_{n\geq 1}$ concerning simultaneous rational approximation. Thereby we obtain a much clearer picture on simultaneous approximation to successive powers of a real number in general. Another variant of the Mahler classification concerning uniform approximation by algebraic numbers is shown as well. Our method has several applications to classic exponents of Diophantine approximatio…
I consider the Diophantine approximation problem of sup-norm simultaneous rational approximation with common denominator of a pair of irrational numbers, and compute explicitly some pairs with large approximation constant. One of these pairs is the most badly approximable pair yet computed.
In this paper, we present new explicit simultaneous rational approximations converging sub-exponentially to the values of Bell polynomials at the points of the form $(γ, 1! (2a+1)ζ(2), 2!ζ(3),..., (m-1)!(a+1+(-1)^ma)ζ(m)),$ $m=1,2,...,a,$ $a\in{\mathbb N}.$
In studying rational points on elliptic K3 surfaces of the form $f(t)y^2=g(x)$, where $f,g$ are cubic or quartic polynomials (without repeated roots), we introduce a condition on the quadratic twists of two elliptic curves having simultaneously positive Mordell-Weil rank. We prove a necessary and sufficient condition for the Zariski density of rational points by using this condition, and we relate it to the Hilbert property. Applying to surfaces of Cassels-Schinzel type, we prove unconditionally that rational points are dense both in Zariski topology and in real topology.
A basic question of Diophantine approximation, which is the first issue we discuss, is to investigate the rational approximations to a single real number. Next, we consider the algebraic or polynomial approximations to a single complex number, as well as the simultaneous approximation of powers of a real number by rational numbers with the same denominator. Finally we study generalisations of these questions to higher dimensions. Several recent advances have been made by B. Adamczewski, Y. Bugeaud, S. Fischler, M. Laurent, T. Rivoal, D. Roy and W.M. Schmidt, among others. We review some of the…
Let $f$ be a homogeneous polynomial with rational coefficients in $d$ variables. We prove several results concerning uniform simultaneous approximation to points on the graph of $f$, as well as on the hypersurface $\{f(x_1,\dots,x_d) = 1\}$. The results are first stated for the case $f(x_1,\dots,x_d) = x_1^2+\dots+x_d^2,$ which is of particular interest.
We establish a sharp asymptotic formula for the number of rational points up to a given height and within a given distance from a hypersurface. Our main innovation is a bootstrap method that relies on the synthesis of Poisson summation, projective duality and the method of stationary phase. This has surprising applications to counting rational points lying on the manifold; indeed, we are able to prove an analogue of Serre's Dimension Growth Conjecture (originally stated for projective varieties) in this general setup. As another consequence of our main counting result, we obtain an optimal Jar…
In this paper we obtain explicit estimates and existence results on the number of $\mathbb{F}_q$-rational solutions of certain systems defined by families of diagonal equations over finite fields. Our approach relies on the study of the geometric properties of the varieties defined by the systems involved. We apply these results to a generalization of Waring's problem and the distribution of solutions of congruences modulo a prime number.
In this paper we show how one can obtain simultaneous rational approximants for $ζ_q(1)$ and $ζ_q(2)$ with a common denominator by means of Hermite-Pade approximation using multiple little q-Jacobi polynomials and we show that properties of these rational approximants prove that 1, $ζ_q(1)$, $ζ_q(2)$ are linearly independent over the rationals. In particular this implies that $ζ_q(1)$ and $ζ_q(2)$ are irrational. Furthermore we give an upper bound for the measure of irrationality.
