Searcharxiv⌕ Search

arXiv subjects

Damien Roy

Publications and source records attributed to Damien Roy.

At least 37 records · Page 2Linked to original sources

On the topology of Diophantine approximation Spectra

Fix an integer $n\ge 2$. To each non-zero point $\mathbf{u}$ in $\mathbb{R}^n$, one attaches several numbers called exponents of Diophantine approximation. However, as Khintchine first observed, these numbers are not independent of each other. This raises the problem of describing the set of all possible values that a given family of exponents can take by varying the point $\mathbf{u}$. To avoid trivialities, one restricts to points $\mathbf{u}$ whose coordinates are linearly independent over $\mathbb{Q}$. The resulting set of values is called the spectrum of these exponents. We show that, in an appropriate setting, any such spectrum is a compact connected set. In the case $n=3$, we prove moreover that it is a semi-algebraic set closed under component-wise minimum. For $n=3$, we also obtain a description of the spectrum of a family of six exponents recently introduced by Schmidt and Summerer.

math.NT↗

Une version effective du théorème de Lindemann-Weierstrass par des méthodes d'indépendance algébrique

We present a new completely effective proof of the Lindemann-Weierstrass theorem based on algebraic independence methods. Although it is slightly weaker than the best known estimate due to A. Sert, it improves the best estimate due to M. Ably obtained by such methods. The novelty of the proof lies in the simplicity of the construction of auxiliary functions, a fact that we exploit to introduce the non-specialist to methods of algebraic independence.

math.NT↗

Diophantine approximation in angular domains

Let $α$ and $β$ be real numbers such that $1$, $α$ and $β$ are linearly independent over $\mathbb{Q}$. A classical result of Dirichlet asserts that there are infinitely many triples of integers $(x_0,x_1,x_2)$ such that $|x_0+αx_1+βx_2| < \max\{|x_1|,|x_2|\}^{-2}$. In 1976, W. M. Schmidt asked what can be said under the restriction that $x_1$ and $x_2$ be positive. Upon denoting by $γ\cong 1.618$ the golden ratio, he proved that there are triples $(x_0,x_1,x_2) \in \mathbb{Z}^3$ with $x_1,x_2>0$ for which the product $|x_0 + αx_1 + βx_2| \max\{|x_1|,|x_2|\}^γ$ is arbitrarily small. Although Schmidt later conjectured that $γ$ can be replaced by any number smaller than $2$, N. Moshchevitin proved very recently that it cannot be replaced by a number larger than $1.947$. In this paper, we present a construction showing that the result of Schmidt is in fact optimal.

math.NT↗

Spectrum of the exponents of best rational approximation

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}$.

math.NT↗

A small value estimate in dimension two involving translations by rational points

We show that, if a sequence of non-zero polynomials in $\mathbb{Z}[X_1,X_2]$ take small values at translates of a fixed point $(ξ,η)$ by multiples of a fixed rational point within the group $\mathbb{C}\times\mathbb{C}^*$, then $ξ$ and $η$ are both algebraic over $\mathbb{Q}$. The precise statement involves growth conditions on the degree and norm of these polynomials as well as on their absolute values at these translates. It is essentially best possible in some range of the parameters.

math.NT↗

On Schmidt and Summerer parametric geometry of numbers

Recently, W. M. Schmidt and L. Summerer introduced a new theory which allowed them to recover the main known inequalities relating the usual exponents of Diophantine approximation to a point in $\mathbb{R}^n$, and to discover new ones. They first note that these exponents can be computed in terms of the successive minima of a parametric family of convex bodies attached to the given point. Then they prove that the $n$-tuple of these successive minima can in turn be approximated up to bounded difference by a function from a certain class. In this paper, we show that the same is true within a smaller and simpler class of functions which we call rigid systems. We also show that conversely, given a rigid system, there exists a point in $\mathbb{R}^n$ whose associated family of convex bodies has successive minima which approximate that rigid system up to bounded difference. As a consequence, the problem of describing the joint spectrum of a family of exponents of Diophantine approximation is reduced to combinatorial analysis.

math.NT↗

Construction of points realizing the regular systems of Wolfgang Schmidt and Leonard Summerer

In a series of recent papers, W. M. Schmidt and L. Summerer developed a new theory by which they recover all major generic inequalities relating exponents of Diophantine approximation to a point in $\mathbb{R}^n$, and find new ones. Given a point in $\mathbb{R}^n$, they first show how most of its exponents of Diophantine approximation can be computed in terms of the successive minima of a parametric family of convex bodies attached to that point. Then they prove that these successive minima can in turn be approximated by a certain class of functions which they call $(n,γ)$-systems. In this way, they bring the whole problem to the study of these functions. To complete the theory, one would like to know if, conversely, given an $(n,γ)$-system, there exists a point in $\mathbb{R}^n$ whose associated family of convex bodies has successive minima which approximate that function. In the present paper, we show that this is true for a class of functions which they call regular systems.

math.NT↗

A small value estimate for Ga x Gm

A small value estimate is a statement providing necessary conditions for the existence of certain sequences of non-zero polynomials with integer coefficients taking small values at points of an algebraic group. Such statements are desirable for applications to transcendental number theory to analyze the outcome of the construction of an auxiliary function. In this paper, we present a result of this type for the product Ga x Gm whose underlying group of complex points is C x C*. It shows that if a certain sequence of non-zero polynomials in Z[X,Y] take small values at a point (xi,eta) together with their first derivatives with respect to the invariant derivation of the group, then both xi and eta are algebraic over Q. The precise statement involves growth conditions on the degree and norm of these polynomials as well as on the absolute values of their derivatives. It improves on a direct application of Philippon's criterion for algebraic independence and compares favorably with constructions coming from Dirichlet's box principle.

math.NT↗

Small value estimates for the multiplicative group

We generalize Gel'fond's transcendence criterion to the context of a sequence of polynomials whose first derivatives take small values on large subsets of a fixed subgroup of the multiplicative group C* of the field of complex numbers.

math.NT↗

Simultaneous approximation to a real number and to its cube

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 triples that are valid for smaller values of the exponent.

math.NT↗

Rational approximation to real points on conics

A point (x1, x2) with coordinates in a subfield of R of transcendence degree one over Q, with 1, x1, x2 linearly independent over Q, may have a uniform exponent of approximation by elements of Q^2 that is strictly larger than the lower bound 1/2 given by Dirichlet's box principle. This appeared as a surprise, in connection to work of Davenport and Schmidt, for points of the parabola {(x, x^2) ; x in R}. The goal of this paper is to show that this phenomenon extends to all real conics defined over Q, and that the largest exponent of approximation achieved by points of these curves satisfying the above condition of linear independence is always the same, independently of the curve, namely 1/g \approx 0.618 where g denotes the golden ratio.

math.NT↗

Measures of algebraic approximation to Markoff extremal numbers

Let xi be a real number which is neither rational nor quadratic over Q. Based on work of Davenport and Schmidt, Bugeaud and Laurent have shown that, for any real number theta, there exist a constant c>0 and infinitely many non-zero polynomials P in Z[T] of degree at most 2 such that |theta-P(xi)| < c |P|^{-gamma} where gamma=(1+sqrt{5})/2 denotes for the golden ratio and where the norm |P| of P stands for the largest absolute value of its coefficients. In the present paper, we show conversely that there exists a class of transcendental numbers xi for which the above estimates are optimal up to the value of the constant c when one takes theta=R(xi) for a polynomial R in Z[T] of degree d = 3, 4 or 5 but curiously not for degree d=6, even with theta = 2 xi^6.

math.NT↗

Markoff-Lagrange spectrum and extremal numbers

Let gamma denote the golden ratio. H. Davenport and W. M.Schmidt showed in 1969 that, for each non-quadratic irrational real number xi, there exists a constant c>0 with the property that, for arbitrarily large values of X, the inequalities |x_0| \le X, |x_0*xi - x_1| \le cX^{-1/gamma}, |x_0*xi^2 - x_2| \le cX^{-1/gamma} admit no non-zero integer solution (x_0,x_1,x_2). Their result is best possible in the sense that, conversely, there are countably many non-quadratic irrational real numbers xi such that, for a larger value of c, the same inequalities admit a non-zero integer solution for each X\ge 1. Such extremal numbers are transcendental and their set is stable under the action of GL_2(Z) by linear fractional transformations. In this paper, it is shown that there exists extremal numbers xi for which the Lagrange constant is 1/3, the largest possible value for a non-quadratic number, and that there is a natural bijection between the GL_2(Z)-equivalence classes of such numbers and the non-trivial solutions of Markoff's equation.

math.NT↗

On the continued fraction expansion of a class of numbers

We look at a class of transcendental real numbers xi which, together with their square, satisfy some extremal property of simultaneous approximation by rational numbers with the same denominator. We give a sufficient condition for such a real number to have bounded partial quotients and construct new examples of extremal real numbers with this property. These include all real numbers whose sequence of partial quotients coincide up to its first terms with the limit of a Fibonacci sequence of words on the set of positive integers, starting with two non-commuting words (so that the limit is not ultimately periodic).

math.NT↗

On the ring of approximation triples attached to a class of extremal real numbers

We attach a ring of sequences to each number from a certain class of extremal real numbers, and we study the properties of this ring both from an analytic point of view by exhibiting elements with specific behaviors, and also from an algebraic point of view by identifying it with the quotient of a polynomial ring over Q. The link between these points of view relies on combinatorial results of independent interest. We apply this theory to estimate the dimension of a certain space of sequences satisfying prescribed growth constrains.

math.NT↗

On simultaneous rational approximations to a real number, its square, and its cube

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.

math.NT↗

Small value estimates for the additive group

We generalize Gel'fond's criterion of algebraic independence to the context of a sequence of polynomials whose first derivatives take small values on large subsets of a fixed subgroup of the additive group of complex numbers, instead of just one point. We also provide one extension dealing with a subgroup of the multiplicative group of non-zero complex numbers.

math.NT↗

Simultaneous approximation by conjugate algebraic numbers in fields of transcendence degree one

We present a general result of simultaneous approximation to several transcendental real, complex or p-adic numbers xi_1,...,xi_t by conjugate algebraic numbers of bounded degree over Q, provided that the given transcendental numbers xi_1,...,xi_t generate over Q a field of transcendence degree one. We provide sharper estimates for example when xi_1,...,xi_t form an arithmetic progression with non-zero algebraic difference, or a geometric progression with non-zero algebraic ratio different from a root of unity. In this case, we also obtain by duality a version of Gel'fond's transcendence criterion expressed in terms of polynomials of bounded degree taking small values at xi_1,...,xi_t.

math.NT↗