We prove that the Littlewood conjecture is satisfied for a restricted class of pairs $(α,β)$ of badly approximable numbers. We use the localization of the roots of a cubic equation with coefficients depending on the diophantine properties for the considered pair $(α,β)$. The estimates of the roots rely on the properties of the denominators of the convergents of the continued fraction expansion of $α$ and $β$.
We calculate the measure and Hausdorff dimension of sets of matrices over fields of formal power series with good approximation properties for a restricted set of denominators.
We consider the problem of Diophantine approximation on semisimple algebraic groups by rational points with restricted numerators and denominators and establish a quantitative approximation result for all real points in the group by rational points with any prescribed denominator and an almost prime numerator.
In this note, we present an improvement to a recent result due to Beresnevich, Levesley, and Ward (2021) pertaining to weighted simultaneous Diophantine approximation on manifolds.
We apply nondivergence estimates for flows on homogeneous spaces to compute Diophantine exponents of affine subspaces of $\R^n$ and their nondegenerate submanifolds.
Let $F \subseteq [0,1]$ be a set that supports a probability measure $μ$ with the property that $ |\widehatμ(t)| \ll (\log |t|)^{-A}$ for some constant $ A > 0 $. Let $\mathcal{A}= (q_n)_{n\in \mathbb{N}} $ be a sequence of natural numbers. If $\mathcal{A}$ is lacunary and $A >2$, we establish a quantitative inhomogeneous Khintchine-type theorem in which (i) the points of interest are restricted to $F$ and (ii) the denominators of the `shifted' rationals are restricted to $\mathcal{A}$. The theorem can be viewed as a natural strengthening of the fact that the sequence $(q_nx {\rm \ mod \, } 1)…
Answering two questions of Beresnevich and Velani, we develop zero-one laws in both simultaneous and multiplicative Diophantine approximation. Our proofs rely on a Cassels-Gallagher type theorem as well as a higher-dimensional analogue of the cross fibering principle of Beresnevich, Haynes and Velani.
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.
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 are studying the Diophantine exponent μ_{n,l}$ defined for integers 1 \leq l < n and a vector α\in \mathbb{R}^n by letting μ_{n,l} = \sup{μ\geq 0: 0 < ||x \cdot α|| < H(x)^{-μ} for infinitely many x \in C_{n,l} \cap \mathbb{Z}^n}, where \cdot is the scalar product and || . || denotes the distance to the nearest integer and C_{n,l} is the generalised cone consisting of all vectors with the height attained among the first l coordinates. We show that the exponent takes all values in the interval [l+1, \infty), with the value n attained for almost all α. We calculate the Hausdorff dimension of …
We give an algorithm that finds a sequence of approximations with Dirichlet coefficients bounded by a constant only depending on the dimension. The algorithm uses the LLL-algorithm for lattice basis reduction. We present a version of the algorithm that runs in polynomial time of the input.
In this paper, we solve the simultaneous Diophantine equations m.(x_1^k+....+x_{t_1}^k)=n.(y_1^k+....+y_{t_2}^k); k=1,3, where t_1, t_2>3, and m, n are fixed arbitrary and relatively prime positive integers. This is done by choosing two appropriate trivial parametric solutions and obtaining infinitely many nontrivial parametric solutions. Also we work out some examples, in particular the Diophantine systems of A^k+B^k+C^k=D^k+E^4; k=1,3.
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…
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.
The paper is devoted to the problem of estimating the constant of the best Diophantine approximations. The estimates of lower bound $ C_n $ for $ n = 5 $ and $ n = 6 $ was improved. The first chapter gives an overview of the history of estimates of the constant of the best Diophantine approximations. In the second chapter sets out the methods and results of numerical experiments leading to estimates of $ C_n $. The third chapter is devoted to estimating some functions by means of which in the fourth chapter we will proof the estimates of $ C_n $ for $ 3 \leq n \leq 6 $.
For any given real number $α$ with bounded partial quotients, we construct explicitly continuum many real numbers $β$ with bounded partial quotients for which the pair $(α, β)$ satisfies a strong form of the Littlewood conjecture. Our proof is elementary and rests on the basic theory of continued fractions.
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.
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 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.
For any $i,j \ge 0$ with $i+j =1$, let $\bad(i,j)$ denote the set of points $(x,y) \in \R^2$ for which $ \max \{\|qx\|^{1/i}, \|qy\|^{1/j} \} > c/q $ for all $ q \in \N $. Here $c = c(x,y)$ is a positive constant. Our main result implies that any finite intersection of such sets has full dimension. This settles a conjecture of Wolfgang M. Schmidt in the theory of simultaneous Diophantine approximation.
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…
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…
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…
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 establish several new inequalities linking classical exponents of Diophantine approximation associated to a real vector $\underlineξ=(ξ,ξ^{2},\ldots,ξ^{N})$, in various dimensions $N$. We thereby obtain variants, and partly refinements, of recent results of Badziahin and Bugeaud. We further implicitly recover inequalities of Bugeaud and Laurent as special cases, with new proofs. Similar estimates concerning general real vectors (not on the Veronese curve) with $\mathbb{Q}$-linearly independent coordinates are addressed as well. Our method is based on Minkowski's Second Convex Body Theorem, …
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.
Let $\mathcal{C}$ be a non-degenerate planar curve. We show that the curve is of Khintchine-type for convergence in the case of simultaneous approximation with two independent approximation functions; that is if a certain sum converges then the set of all points $(x,y)$ on the curve which satisfy simultaneously the inequalities $\| q x \| < ψ_1(q)$ and $\| qy \| < ψ_2(q)$ infinitely often has induced measure 0. This completes the metric theory for the Lebesgue case. Further, for the cae of multiplicative approximation $\| qx \| \| q y \| < ψ(q)$, we establish a Hausdorff measure convergence re…
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/…
We show that affine coordinate subspaces of dimension at least two in Euclidean space are of Khintchine type for divergence. For affine coordinate subspaces of dimension one, we prove a result which depends on the dual Diophantine type of the base point of the subspace. These results provide evidence for the conjecture that all affine subspaces of Euclidean space are of Khintchine type for divergence. We also prove a partial analogue regarding the Hausdorff measure theory. Furthermore, we obtain various results relating weighted Diophantine approximation and Dirichlet improvability. In particu…
We study the problem of Diophantine approximation on lines in $\mathbb{C}^2$ with numerators and denominators restricted to Gaussian primes. To this end, we develop analogs of well-known results on small fractional parts of $pγ$, $p$ running over the primes and $γ$ being a fixed irrational, for Gaussian primes.
This paper develops the metric theory of simultaneous inhomogeneous Diophantine approximation on a planar curve with respect to multiple approximating functions. Our results naturally generalize the homogeneous Lebesgue measure and Hausdor? dimension results for the sets of simultaneously well-approximable points on planar curves, established in [2, 6, 10, 20].
By applying Schmidt's lattice method, we prove results on simultaneous Diophantine approximation modulo 1 for systems of polynomials in a single prime variable provided that certain local conditions are met.
S-arithmetic Khintchine-type theorem for products of non-degenerate analytic p-adic manifolds is proved for the convergence case. In the p-adic case the divergence part is also obtained.
We prove a strong simultaneous Diophantine approximation theorem for values of additive and multiplicative functions provided that the functions have certain regularity on the primes.
This brief survey deals with multi-dimensional Diophantine approximations in sense of linear form and with simultaneous Diophantine approximations. We discuss the phenomenon of degenerate dimension of linear subspaces generated by the best Diophantine approximations. Originally most of these results have been established by the author in few years ago. Here we collect all of them together and give some new formulations.
For $K$ a cubic field with only one real embedding and $α,β\in K$, we show how to construct an increasing sequence $\{m_n\}$ of positive integers and a subsequence $\{ψ_n\}$ such that (for some constructible constants $C_1,C_2>0$) $\max\{\|m_nα\|,\|m_nβ\|\}<\frac{C_1}{m_n^{1/2}}$ and $\|ψ_nα\|<\frac{C_2}{ψ_n^{1/2}\log ψ_n}$ for all $n$. As a consequence, we have $ψ_n\|ψ_nα\|\|ψ_nβ\|<\frac{C_1 C_2}{\log ψ_n}$, thus giving an effective proof of Littlewood's conjecture for the pair $(α,β)$. Our proofs are elementary and use only standard results from algebraic number theory and the theory of cont…
This paper is devoted to the study of a problem of Cassels in multiplicative Diophantine approximation which involves minimising values of a product of affine linear forms computed at integral points. It was previously known that values of this product become arbitrary close to zero, and we establish that, in fact, they approximate zero with an explicit rate. Our approach is based on investigating quantitative density of orbits of higher-rank abelian groups.
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 the convergence and divergence cases of an inhomogeneous Khintchine-Groshev type theorem for dual approximation restricted to affine subspaces in $\mathbb{R} ^n$. The divergence results are proved in the more general context of Hausdorff measures.
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.
In this paper, we extend the theory of simultaneous Diophantine approximation to infinite dimensions. Moreover, we discuss Dirichlet-type theorems in a very general framework and define what it means for such a theorem to be optimal. We show that optimality is implied by but does not imply the existence of badly approximable points.
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 `mixed' version of a fundamental theorem of Khintchine within the field of simultaneous Diophantine approximation. Via the notion of ubiquity we are able to make significant progress towards the completion of the metric theory associated with mixed problems in this setting. This includes finding a natural mixed analogue of the classical Jarník-Besicovich Theorem. Previous knowledge surrounding mixed problems was almost entirely restricted to the multiplicative setup of de Mathan & Teulié [21], where the concept originated.
We study the distribution modulo $1$ of the values taken on the integers of $r$ linear forms in $d$ variables with random coefficients. We obtain quenched and annealed central limit theorems for the number of simultaneous hits into shrinking targets of radii $n^{-\frac{r}{d}}$. By the Khintchine-Groshev theorem on Diophantine approximations, $\frac{r}{d}$ is the critical exponent for the infinite number of hits.
Let $Γ= Z A +Z^n$ be a dense subgroup with rank $n+1$ in $R^n$ and let $ω(A)$ denote the exponent of uniform simultaneous rational approximation to the point $A$. We show that for any real number $v\ge ω(A)$, the Hausdorff dimension of the set $B_v$ of points in $R^n$ which are $v$-approximable with respect to $Γ$, is equal to $1/v$.
