Search arXivSearch

arXiv · 1001.1293

Measures of algebraic approximation to Markoff extremal numbers

Abstract

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.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Damien Roy, Dmitrij Zelo. 2010-01-08. Measures of algebraic approximation to Markoff extremal numbers. https://doi.org/10.1112/jlms%2Fjdq077

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

An expository review of the Chebyshev-Sylvester method in prime number theory

This paper gives a self-contained expository and computational account of the elementary methods developed by P.L. Chebyshev and J.J. Sylvester to obtain explicit bounds for the distribution of prime numbers. The method replaces the Mobius function in a basic convolution identity by finitely supported arithmetic functions, or schemes, and relates the resulting auxiliary functions to the Chebyshev function psi(x) through the summatory logarithm T(x)=log([x]!). We examine a number of schemes introduced by Chebyshev and Sylvester, with particular emphasis on Sylvester's iterative refinement procedure. For a fixed choice of terms, this procedure leads to an explicit two-dimensional affine recurrence for upper and lower bounds on psi(x), whose fixed point can be analyzed by elementary linear algebra. We then implement the procedure computationally and introduce a simple one-parameter selection rule, the rho-rule, for choosing which terms to retain in the iteration. Numerical exploration of the historical schemes reproduces Sylvester's bounds and, in several cases, yields modest improvements of the resulting constants. The accompanying Python implementation is publicly available.

math.NT

Arithmetic statistics of isogeny Selmer groups associated to hyperelliptic curves

We determine asymptotic results for the average size of Selmer groups arising from certain isogenies related to Jacobians of hyperelliptic curves of genus $g\geq 2$. Our results come from two different routes. The first route is through the geometry-of-numbers methods pioneered by Bhargava, where we obtain new parametrisations coming from Vinberg theory arising from representations related to the Dynkin diagrams of type $B$ and $C$. The second route uses recent results by Koymans--Smith, which relate the average sizes of Selmer groups to Tamagawa ratios through a formula by Greenberg--Wiles.

math.NT

A sharp inverse theorem for the quadratic large sieve

We prove that if $A\subseteq[N]$, $|A|\gg\sqrt N$, and $|A_p|\le p/2+O(1)$ for every prime $p\ll \log N$, then $A$ contains at least $\exp\left(c\sqrt{\log N}/\log\log N\right)$ elements in the image of a single integral quadratic $m\pm x^2$. This significantly improves Hanson's logarithmic lower bound, while requiring the residue restriction only for primes $p\ll\log N$. Our proof uses a new weighted entropy argument inspired by our previous work \href{https://arxiv.org/abs/2606.17487}{arXiv:2606.17487} with Sheffer. A matching construction shows that this exponential scale is optimal even when the quadratic may be chosen arbitrarily in $\mathbb{Z}[x]$. We also show extending the residue restrictions to primes up to $(\log N)^3$ yields the stronger bound $\exp(c\sqrt{\log N/\log\log N})$ via a Selberg-sieve-type argument, and discuss an application to the inverse Goldbach problem.

math.NT