Showing 1–32 of 32 results for author: Badziahin, D

Estimating lower limit in the $p$-adic Littlewood conjecture

Authors: Dmitry Badziahin

Abstract: We verify that $\liminf_{q\to\infty} q\cdot |q|_p\cdot ||qx||<ε$ for all real $x$, small primes $p$ and relatively small $ε$. This result supports the famous $p$-adic Littlewood conjecture which states that the above lower limit is equal to 0 for all $x\in\mathbb{R}$. In particular, the result is established for $p=2$ with $ε=1/25$. For $3\le p\le 29$, the upper bounds for $ε$ vary, but they are a… ▽ More We verify that $\liminf_{q\to\infty} q\cdot |q|_p\cdot ||qx||<ε$ for all real $x$, small primes $p$ and relatively small $ε$. This result supports the famous $p$-adic Littlewood conjecture which states that the above lower limit is equal to 0 for all $x\in\mathbb{R}$. In particular, the result is established for $p=2$ with $ε=1/25$. For $3\le p\le 29$, the upper bounds for $ε$ vary, but they are always at most $1/10$. △ Less

Submitted 20 June, 2025; originally announced June 2025.

Comments: 7 pages

MSC Class: 11J13

Simultaneous Diophantine approximation to points on the Veronese curve

Authors: Dzmitry Badziahin

Abstract: We compute the Hausdorff dimension of the set of simultaneously $q^{-λ}$-well approximable points on the Veronese curve in $\mathbb{R}^n$ for $λ$ between $\frac{1}{n}$ and $\frac{2}{2n-1}$. For $n=3$, the same result is given for a wider range of $λ$ between $\frac13$ and $\frac12$. We also provide a nontrivial upper bound for this Hausdorff dimension in the case $λ\le \frac{2}{n}$. In the course… ▽ More We compute the Hausdorff dimension of the set of simultaneously $q^{-λ}$-well approximable points on the Veronese curve in $\mathbb{R}^n$ for $λ$ between $\frac{1}{n}$ and $\frac{2}{2n-1}$. For $n=3$, the same result is given for a wider range of $λ$ between $\frac13$ and $\frac12$. We also provide a nontrivial upper bound for this Hausdorff dimension in the case $λ\le \frac{2}{n}$. In the course of the proof we establish that the number of cubic polynomials of height at most $H$ and non-zero discriminant at most $D$ is bounded from above by $c(ε) H^{2/3 + ε} D^{5/6}$. △ Less

Submitted 12 March, 2025; v1 submitted 26 March, 2024; originally announced March 2024.

Comments: 31 pages. Better bounds on lambda and better upper bound on the Hausdorff dimension for n=3 are provided in the updated version of the paper

MSC Class: 11J13; 11J54; 11J82; 11K55

On effective irrationality exponents of cubic irrationals

Authors: Dzmitry Badziahin

Abstract: We provide an upper bound on the efficient irrationality exponents of cubic algebraics $x$ with the minimal polynomial $x^3 - tx^2 - a$. In particular, we show that it becomes non-trivial, i.e. better than the classical bound of Liouville in the case $|t| > 19.71 a^{4/3}$. Moreover, under the condition $|t| > 86.58 a^{4/3}$, we provide an explicit lower bound on the expression $||qx||$ for all lar… ▽ More We provide an upper bound on the efficient irrationality exponents of cubic algebraics $x$ with the minimal polynomial $x^3 - tx^2 - a$. In particular, we show that it becomes non-trivial, i.e. better than the classical bound of Liouville in the case $|t| > 19.71 a^{4/3}$. Moreover, under the condition $|t| > 86.58 a^{4/3}$, we provide an explicit lower bound on the expression $||qx||$ for all large $q\in\mathbb{Z}$. These results are based on the recently discovered continued fractions of cubic irrationals and improve the currently best-known bounds of Wakabayashi. △ Less

Submitted 6 January, 2023; originally announced January 2023.

Comments: 17 pages

MSC Class: 11J68; 11J70; 11J82

Continued fractions of cubic Laurent series

Authors: Dmitry Badziahin

Abstract: We construct continued fraction expansions for several families of the Laurent series in $\mathbb{Q}[[t^{-1}]]$. To the best of the author's knowledge, this is the first result of this kind since Gauss derived the continued fraction expansion for $(1+t)^r$, $r\in\mathbb{Q}$ in 1813. As an application, we apply an analogue of the hypergeometric method to one of those families and derive non-trivial… ▽ More We construct continued fraction expansions for several families of the Laurent series in $\mathbb{Q}[[t^{-1}]]$. To the best of the author's knowledge, this is the first result of this kind since Gauss derived the continued fraction expansion for $(1+t)^r$, $r\in\mathbb{Q}$ in 1813. As an application, we apply an analogue of the hypergeometric method to one of those families and derive non-trivial lower bounds on the distance $|x - \frac{p}{q}|$ between one of the real roots of $3x^3 - 3tx^2-3ax+at$, $a,t\in\mathbb{Z}$ and any rational number, under relatively mild conditions on the parameters $a$ and $t$. We also show that every cubic irrational $x\in\mathbb{R}$ admits a (generalised) continued fraction expansion in a closed form that can be explicitly computed. Finally, we provide an infinite series of cubic irrationals $x$ that have arbitrarily (but finitely) many better-than-expected rational approximations. That is, they are such that for any $τ< 3+\frac{15\ln 2}{24}\approx 3.4332...$ the inequality $||qx|| < (H(x)^τ qe^{c\sqrt{\ln q}})^{-1}$ has many solutions in integer $q$. △ Less

Submitted 14 November, 2024; v1 submitted 15 November, 2022; originally announced November 2022.

Comments: 39 pages

MSC Class: 11J68; 11J70

Badly approximable infinite products of quadratic polynomials

Authors: Dmitry Badziahin, Cameron Eggins

Abstract: We provide a number of conditions on the rational numbers $u$ and $v$ which ensure that the Laurent series $g_{u,v}(x):=\prod_{t=0}^\infty (1+ux^{-3^t} + vx^{-2\cdot 3^t})$ is badly approximable. We provide a number of conditions on the rational numbers $u$ and $v$ which ensure that the Laurent series $g_{u,v}(x):=\prod_{t=0}^\infty (1+ux^{-3^t} + vx^{-2\cdot 3^t})$ is badly approximable. △ Less

Submitted 10 November, 2022; originally announced November 2022.

Comments: 13 pages

MSC Class: 11J82

Upper bounds for the uniform simultaneous Diophantine exponents

Authors: Dmitry Badziahin

Abstract: 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… ▽ More 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 bound on $\widehatλ_n(ξ)$ for even values of $n$. △ Less

Submitted 23 July, 2021; originally announced July 2021.

MSC Class: 11J13; 11J82

On simultaneous rational approximation to a $p$-adic number and its integral powers, II

Authors: Dzmitry Badziahin, Yann Bugeaud, Johannes Schleischitz

Abstract: 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 Hausdor… ▽ More 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. △ Less

Submitted 25 March, 2021; v1 submitted 28 July, 2020; originally announced July 2020.

Comments: 19 pages. arXiv admin note: text overlap with arXiv:1906.05508

MSC Class: 11J13

Journal ref: Proc. Edinb. Math. Soc. 64, no. 2 (2021), 317-337

Badly approximable numbers, Kronecker's theorem, and diversity of Sturmian characteristic sequences

Authors: Dmitry Badziahin, Jeffrey Shallit

Abstract: We give an optimal version of the classical ``three-gap theorem'' on the fractional parts of $n θ$, in the case where $θ$ is an irrational number that is badly approximable. As a consequence, we deduce a version of Kronecker's inhomogeneous approximation theorem in one dimension for badly approximable numbers. We apply these results to obtain an improved measure of sequence diversity for character… ▽ More We give an optimal version of the classical ``three-gap theorem'' on the fractional parts of $n θ$, in the case where $θ$ is an irrational number that is badly approximable. As a consequence, we deduce a version of Kronecker's inhomogeneous approximation theorem in one dimension for badly approximable numbers. We apply these results to obtain an improved measure of sequence diversity for characteristic Sturmian sequences, where the slope is badly approximable. △ Less

Submitted 29 June, 2020; originally announced June 2020.

On t-adic Littlewood conjecture for generalised Thue-Morse functions

Authors: Dzmitry Badziahin

Abstract: We consider a Laurent series defined by infinite products $g_u(t) = \prod_{n=0}^\infty (1 + ut^{-2^n})$, where $u\in \mathbb{F}$ is a parameter and $\mathbb{F}$ is a field. We show that for all $u\in\mathbb{Q}\setminus\{-1,0,1\}$ the series $g_u(t)$ does not satisfy the $t$-adic Littlewood conjecture. On the other hand, if $\mathbb{F}$ is finite then $g_u(t)\in \mathbb{F}((t^{-1}))$ is either a ra… ▽ More We consider a Laurent series defined by infinite products $g_u(t) = \prod_{n=0}^\infty (1 + ut^{-2^n})$, where $u\in \mathbb{F}$ is a parameter and $\mathbb{F}$ is a field. We show that for all $u\in\mathbb{Q}\setminus\{-1,0,1\}$ the series $g_u(t)$ does not satisfy the $t$-adic Littlewood conjecture. On the other hand, if $\mathbb{F}$ is finite then $g_u(t)\in \mathbb{F}((t^{-1}))$ is either a rational function or it satisfies the $t$-adic Littlewood conjecture. △ Less

Submitted 6 January, 2020; originally announced January 2020.

MSC Class: 11J61; 05A15; 11B85

An improved bound in Wirsing's problem

Authors: Dzmitry Badziahin, Johannes Schleischitz

Abstract: We improve the lower bound for the classical exponent of approximation $w_{n}^{\ast}(ξ)$ connected to Wirsing's famous problem of approximation to real numbers by algebraic numbers of degree at most $n$. Our bound exceeds $n/\sqrt{3}\approx 0.5773n$ and thus provides a reasonable qualitative improvement to previous bounds of order $n/2+O(1)$. We further establish new relations between several clas… ▽ More We improve the lower bound for the classical exponent of approximation $w_{n}^{\ast}(ξ)$ connected to Wirsing's famous problem of approximation to real numbers by algebraic numbers of degree at most $n$. Our bound exceeds $n/\sqrt{3}\approx 0.5773n$ and thus provides a reasonable qualitative improvement to previous bounds of order $n/2+O(1)$. We further establish new relations between several classical exponents of approximation. △ Less

Submitted 18 December, 2019; originally announced December 2019.

MSC Class: 11J13; 11J82; 11J83

On simultaneous rational approximation to a real number and its integral powers, II

Authors: Dmitry Badziahin, Yann Bugeaud

Abstract: 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 $ξ$ su… ▽ More 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. △ Less

Submitted 13 June, 2019; originally announced June 2019.

Comments: 17 pages

MSC Class: 11J13

On spectrum of irrationality exponents of Mahler numbers

Authors: Dzmitry Badziahin

Abstract: We consider Mahler functions $f(z)$ which solve the functional equation $f(z) = \frac{A(z)}{B(z)} f(z^d)$ where $\frac{A(z)}{B(z)}\in \mathbb{Q}(z)$ and $d\ge 2$ is integer. We prove that for any integer $b$ with $|b|\ge 2$ either $f(b)$ is rational or its irrationality exponent is rational. We also compute the exact value of the irrationality exponent for $f(b)$ as soon as the continued fraction… ▽ More We consider Mahler functions $f(z)$ which solve the functional equation $f(z) = \frac{A(z)}{B(z)} f(z^d)$ where $\frac{A(z)}{B(z)}\in \mathbb{Q}(z)$ and $d\ge 2$ is integer. We prove that for any integer $b$ with $|b|\ge 2$ either $f(b)$ is rational or its irrationality exponent is rational. We also compute the exact value of the irrationality exponent for $f(b)$ as soon as the continued fraction for the corresponding Mahler function is known. This improves the result of Bugeaud, Han, Wei and Yao where only an upper bound for the irrationality exponent was provided. △ Less

Submitted 7 June, 2018; originally announced June 2018.

MSC Class: 11J82

Schmidt games and Cantor winning sets

Authors: Dzmitry Badziahin, Stephen Harrap, Erez Nesharim, David Simmons

Abstract: Schmidt games and the Cantor winning property give alternative notions of largeness, similar to the more standard notions of measure and category. Being intuitive, flexible, and applicable to recent research made them an active object of study. We survey the definitions of the most common variants and connections between them. A new game called the Cantor game is invented and helps with presenting… ▽ More Schmidt games and the Cantor winning property give alternative notions of largeness, similar to the more standard notions of measure and category. Being intuitive, flexible, and applicable to recent research made them an active object of study. We survey the definitions of the most common variants and connections between them. A new game called the Cantor game is invented and helps with presenting a unifying framework. We prove surprising new results such as the coincidence of absolute winning and $1$ Cantor winning in doubling metric spaces, and the fact that $1/2$ winning implies absolute winning for subsets of $\mathbb{R}$, and we suggest a prototypical example of a Cantor winning set to show the ubiquity of such sets in metric number theory and ergodic theory. △ Less

Submitted 25 May, 2020; v1 submitted 17 April, 2018; originally announced April 2018.

Journal ref: Ergod. Th. Dynam. Sys. 45 (2025) 71-110

On irrationality measure of Thue-Morse constant

Authors: Dzmitry Badziahin, Evgeniy Zorin

Abstract: We provide a non-trivial measure of irrationality for a class of Mahler numbers defined with infinite products which cover the Thue-Morse constant. We provide a non-trivial measure of irrationality for a class of Mahler numbers defined with infinite products which cover the Thue-Morse constant. △ Less

Submitted 20 July, 2017; originally announced July 2017.

Comments: 24 pages

MSC Class: 11J82; 11J70

Continued fractions of certain Mahler functions

Authors: Dmitry Badziahin

Abstract: We investigate the continued fraction expansion of the infinite products $g(x) = x^{-1}\prod_{t=0}^\infty P(x^{-d^t})$ where polynomials $P(x)$ satisfy $P(0)=1$ and $°(P)<d$. We construct relations between partial quotients of $g(x)$ which can be used to get recurrent formulae for them. We provide that formulae for the cases $d=2$ and $d=3$. As an application, we prove that for $P(x) = 1+ux$ where… ▽ More We investigate the continued fraction expansion of the infinite products $g(x) = x^{-1}\prod_{t=0}^\infty P(x^{-d^t})$ where polynomials $P(x)$ satisfy $P(0)=1$ and $°(P)<d$. We construct relations between partial quotients of $g(x)$ which can be used to get recurrent formulae for them. We provide that formulae for the cases $d=2$ and $d=3$. As an application, we prove that for $P(x) = 1+ux$ where $u$ is an arbitrary rational number except 0 and 1, and for any integer $b$ with $|b|>1$ such that $g(b)\neq0$ the irrationality exponent of $g(b)$ equals two. In the case $d=3$ we provide a partial analogue of the last result with several collections of polynomials $P(x)$ giving the irrationality exponent of $g(b)$ strictly bigger than two. △ Less

Submitted 6 March, 2018; v1 submitted 23 February, 2017; originally announced February 2017.

Comments: 25 pages

MSC Class: 11B83; 11J82

Continuant Diophantine equations

Authors: Dzmitry Badziahin

Abstract: We investigate a family of Diophantine polynomial equations which involve continuant functions. In particular, given a polynomial $P(x)\in \mathbb{Z}[x]$ and $n\in \mathbb{N}$, we consider the equation $P(K_n(x_1,\ldots, x_n)) = K_{n+1}(x_0,\ldots,x_n)K_{n+1}(x_1,\ldots, x_{n+1})$. We show that with certain restrictions on $P(x)$ the set of its solutions has a rich structure. In particular, we pro… ▽ More We investigate a family of Diophantine polynomial equations which involve continuant functions. In particular, given a polynomial $P(x)\in \mathbb{Z}[x]$ and $n\in \mathbb{N}$, we consider the equation $P(K_n(x_1,\ldots, x_n)) = K_{n+1}(x_0,\ldots,x_n)K_{n+1}(x_1,\ldots, x_{n+1})$. We show that with certain restrictions on $P(x)$ the set of its solutions has a rich structure. In particular, we provide several ways of generating new solutions from the existing ones. In the last section we discuss the relation between the solutions of the above Diophantine equation for arbitrary values of $n$ and factorisations $P(m) = d_1d_2$ for integers $m,d_1$ and $d_2$. △ Less

Submitted 25 July, 2016; originally announced July 2016.

Comments: 13 pages

MSC Class: 11D72

On generalized Thue-Morse functions and their values

Authors: Dzmitry Badziahin, Evgeny Zorin

Abstract: This paper naturally extends and generalizes our previous work "Thue-Morse constant is not badly approximable", arXiv:1407.3182 [math.NT]. Here we consider the Laurent series $f_d(x) = \prod_{n=0}^\infty (1 - x^{-d^n})$, $d\in\mathbb{N}$, $d\geq 2$ which generalize the generating function $f_2(x)$ of the Thue-Morse number, and study their continued fraction expansion. In particular, we show that t… ▽ More This paper naturally extends and generalizes our previous work "Thue-Morse constant is not badly approximable", arXiv:1407.3182 [math.NT]. Here we consider the Laurent series $f_d(x) = \prod_{n=0}^\infty (1 - x^{-d^n})$, $d\in\mathbb{N}$, $d\geq 2$ which generalize the generating function $f_2(x)$ of the Thue-Morse number, and study their continued fraction expansion. In particular, we show that the convergents of $x^{-d+1}f_d(x)$ have quite a regular structure. We address as well the question whether the corresponding Mahler numbers $f_d(a)\in\mathbb{R}$, $a,d\in\mathbb{N}$, $a,d\geq 2$, are badly approximable. △ Less

Submitted 1 September, 2015; originally announced September 2015.

Comments: 20 pages

MSC Class: 11A55; 11J70; 11J04

An Unusual Continued Fraction

Authors: Dzmitry Badziahin, Jeffrey Shallit

Abstract: We consider the real number $σ$ with continued fraction expansion $[a_0, a_1, a_2,\ldots] = [1,2,1,4,1,2,1,8,1,2,1,4,1,2,1,16,\ldots]$, where $a_i$ is the largest power of $2$ dividing $i+1$. We compute the irrationality measure of $σ^2$ and demonstrate that $σ^2$ (and $σ$) are both transcendental numbers. We also show that certain partial quotients of $σ^2$ grow doubly exponentially, thus confirm… ▽ More We consider the real number $σ$ with continued fraction expansion $[a_0, a_1, a_2,\ldots] = [1,2,1,4,1,2,1,8,1,2,1,4,1,2,1,16,\ldots]$, where $a_i$ is the largest power of $2$ dividing $i+1$. We compute the irrationality measure of $σ^2$ and demonstrate that $σ^2$ (and $σ$) are both transcendental numbers. We also show that certain partial quotients of $σ^2$ grow doubly exponentially, thus confirming a conjecture of Hanna and Wilson. △ Less

Submitted 4 May, 2015; originally announced May 2015.

Comments: 12 pages

MSC Class: 11J82; 11J70

An Inhomogeneous Jarník type theorem for planar curves

Authors: Dzmitry Badziahin, Stephen Harrap, Mumtaz Hussain

Abstract: In metric Diophantine approximation there are two main types of approximations: simultaneous and dual for both homogeneous and inhomogeneous settings. The well known measure-theoretic theorems of Khintchine and Jarník are fundamental in these settings. Recently, there has been substantial progress towards establishing a metric theory of Diophantine approximations on manifolds. In particular, both… ▽ More In metric Diophantine approximation there are two main types of approximations: simultaneous and dual for both homogeneous and inhomogeneous settings. The well known measure-theoretic theorems of Khintchine and Jarník are fundamental in these settings. Recently, there has been substantial progress towards establishing a metric theory of Diophantine approximations on manifolds. In particular, both the Khintchine and Jarník type results have been established for planar curves except for only one case. In this paper, we prove an inhomogeneous Jarník type theorem for convergence on planar curves and in so doing complete the metric theory for both the homogeneous and inhomogeneous settings for approximation on planar curves. △ Less

Submitted 19 March, 2015; v1 submitted 17 March, 2015; originally announced March 2015.

Comments: 24 pages. Updated to include bibliography, which was incorrectly compiled initially

MSC Class: 11J83; 11J13; 11K60

Cantor-winning sets and their applications

Authors: Dzmitry Badziahin, Stephen Harrap

Abstract: We introduce and develop a class of \textit{Cantor-winning} sets that share the same amenable properties as the classical winning sets associated to Schmidt's $(α,β)$-game: these include maximal Hausdorff dimension, invariance under countable intersections with other Cantor-winning sets and invariance under bi-Lipschitz homeomorphisms. It is then demonstrated that a wide variety of badly approxima… ▽ More We introduce and develop a class of \textit{Cantor-winning} sets that share the same amenable properties as the classical winning sets associated to Schmidt's $(α,β)$-game: these include maximal Hausdorff dimension, invariance under countable intersections with other Cantor-winning sets and invariance under bi-Lipschitz homeomorphisms. It is then demonstrated that a wide variety of badly approximable sets appearing naturally in the theory of Diophantine approximation fit nicely into our framework. As applications of this phenomenon we answer several previously open questions, including some related to the Mixed Littlewood conjecture and the $\times2, \times3$ problem. △ Less

Submitted 8 September, 2015; v1 submitted 16 March, 2015; originally announced March 2015.

Comments: 40 pages; 08/05/15 improvements to introduction and various typos corrected. 10/09/15 conversion of notation in Theorems 11 & 12 to match Schmidt's original. Various typos and readability improvements elsewhere. A couple of Remarks added

MSC Class: 11J83; 11K60

Thue-Morse constant is not badly approximable

Authors: Dzmitry Badziahin, Evgeniy Zorin

Abstract: We prove that Thue-Morse constant $τ_{TM}=0.01101001..._2$ is not a badly approximable number. Moreover, we prove that $τ_{TM}(a)=0.01101001..._a$ is not badly approximable for every integer base $a\geq 2$ such that $a$ is not divisible by 15. At the same time we provide a precise formula for convergents of the Laurent series $\tilde{f}_{TM}(z) = z^{-1}\prod_{n=1}^\infty (1-z^{-2^n})$, thus develo… ▽ More We prove that Thue-Morse constant $τ_{TM}=0.01101001..._2$ is not a badly approximable number. Moreover, we prove that $τ_{TM}(a)=0.01101001..._a$ is not badly approximable for every integer base $a\geq 2$ such that $a$ is not divisible by 15. At the same time we provide a precise formula for convergents of the Laurent series $\tilde{f}_{TM}(z) = z^{-1}\prod_{n=1}^\infty (1-z^{-2^n})$, thus developing further the research initiated by Alf van der Poorten and others. △ Less

Submitted 5 November, 2014; v1 submitted 11 July, 2014; originally announced July 2014.

MSC Class: 11J04

On continued fraction expansion of potential counterexamples to $p$-adic Littlewood conjecture

Authors: Dzmitry Badziahin

Abstract: The $p$-adic Littlewood conjecture (PLC) states that $\liminf_{q\to\infty} q\cdot |q|_p \cdot ||qx|| = 0$ for every prime $p$ and every real $x$. Let $w_{CF}(x)$ be an infinite word composed of the continued fraction expansion of $x$ and let $\mathrm{T}$ be the standard left shift map. Assuming that $x$ is a counterexample to PLC we get several restrictions on limit elements of the sequence… ▽ More The $p$-adic Littlewood conjecture (PLC) states that $\liminf_{q\to\infty} q\cdot |q|_p \cdot ||qx|| = 0$ for every prime $p$ and every real $x$. Let $w_{CF}(x)$ be an infinite word composed of the continued fraction expansion of $x$ and let $\mathrm{T}$ be the standard left shift map. Assuming that $x$ is a counterexample to PLC we get several restrictions on limit elements of the sequence $\{\mathrm{T}^n w_{CF}(x)\}_{n\in\mathbb{N}}$. As a consequence we show that for any such limit element $w$ we must have $\lim_{n\to\infty} P(w,n) - n = \infty$ where $P(w,n)$ is a word complexity of $w$. We also show that $w$ can not be among a certain collection of recursively constructed words. △ Less

Submitted 23 February, 2015; v1 submitted 13 June, 2014; originally announced June 2014.

Comments: 20 pages

MSC Class: 11J04; 11J70

On the complexity of a putative counterexample to the $p$-adic Littlewood conjecture

Authors: Dmitry Badziahin, Yann Bugeaud, Manfred Einsiedler, Dmitry Kleinbock

Abstract: Let $|| \cdot ||$ denote the distance to the nearest integer and, for a prime number $p$, let $| \cdot |_p$ denote the $p$-adic absolute value. In 2004, de Mathan and Teulié asked whether $\inf_{q \ge 1} \, q \cdot || q α|| \cdot | q |_p = 0$ holds for every badly approximable real number $α$ and every prime number $p$. Among other results, we establish that, if the complexity of the sequence of p… ▽ More Let $|| \cdot ||$ denote the distance to the nearest integer and, for a prime number $p$, let $| \cdot |_p$ denote the $p$-adic absolute value. In 2004, de Mathan and Teulié asked whether $\inf_{q \ge 1} \, q \cdot || q α|| \cdot | q |_p = 0$ holds for every badly approximable real number $α$ and every prime number $p$. Among other results, we establish that, if the complexity of the sequence of partial quotients of a real number $α$ grows too rapidly or too slowly, then their conjecture is true for the pair $(α, p)$ with $p$ an arbitrary prime. △ Less

Submitted 22 January, 2015; v1 submitted 21 May, 2014; originally announced May 2014.

Comments: 19 pages; a revised version

MSC Class: 11J04; 11J61; 11J83; 37A35; 37A45; 37D40

Journal ref: Compositio Mathematica 151 (2015) 1647-1662

Badly approximable points on planar curves and a problem of Davenport

Authors: Dzmitry Badziahin, Sanju Velani

Abstract: Let C be two times continuously differentiable curve in R^2 with at least one point at which the curvature is non-zero. For any i,j > 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 integers q >0. Here c = c(x,y) is a positive constant. Our main result implies that any finite intersection of such sets with C has full Hausd… ▽ More Let C be two times continuously differentiable curve in R^2 with at least one point at which the curvature is non-zero. For any i,j > 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 integers q >0. Here c = c(x,y) is a positive constant. Our main result implies that any finite intersection of such sets with C has full Hausdorff dimension. This provides a solution to a problem of Davenport dating back to the sixties. △ Less

Submitted 17 January, 2013; originally announced January 2013.

Comments: 44 pages

MSC Class: 11J83; 11J13; 11K60

On multiplicatively badly approximable numbers

Authors: Dzmitry Badziahin

Abstract: The Littlewood Conjecture states that liminf_{q\to \infty} q . ||qx|| . ||qy|| = 0 for all pairs (x,y) of real numbers. We show that with the additional factor of log q . loglog q the statement is false. Indeed, our main result implies that the set of (x,y) for which liminf_{q\to\infty} q . log q . loglog q . ||qx|| . ||qy|| > 0 is of full dimension. The Littlewood Conjecture states that liminf_{q\to \infty} q . ||qx|| . ||qy|| = 0 for all pairs (x,y) of real numbers. We show that with the additional factor of log q . loglog q the statement is false. Indeed, our main result implies that the set of (x,y) for which liminf_{q\to\infty} q . log q . loglog q . ||qx|| . ||qy|| > 0 is of full dimension. △ Less

Submitted 10 January, 2011; originally announced January 2011.

Comments: 22 pages

Inhomogeneous theory of dual Diophantine approximation on manifolds

Authors: Dzmitry Badziahin, Victor Beresnevich, Sanju Velani

Abstract: The inhomogeneous Groshev type theory for dual Diophantine approximation on manifolds is developed. In particular, the notion of nice manifolds is introduced and the divergence part of the theory is established for all such manifolds. Our results naturally incorporate and generalize the homogeneous measure and dimension theorems for non-degenerate manifolds established to date. The generality of t… ▽ More The inhomogeneous Groshev type theory for dual Diophantine approximation on manifolds is developed. In particular, the notion of nice manifolds is introduced and the divergence part of the theory is established for all such manifolds. Our results naturally incorporate and generalize the homogeneous measure and dimension theorems for non-degenerate manifolds established to date. The generality of the inhomogeneous aspect considered within enables us to make a new contribution even to the classical theory in R^n. Furthermore, the multivariable aspect considered within has natural applications beyond the standard inhomogeneous theory such as to Diophantine problems related to approximation by algebraic integers. △ Less

Submitted 28 September, 2010; originally announced September 2010.

Comments: 37 pages

MSC Class: 11J83; 11J13; 11K60

Multiplicatively badly approximable numbers and generalised Cantor sets

Authors: Dzmitry Badziahin, Sanju Velani

Abstract: Let p be a prime number. The p-adic case of the Mixed Littlewood Conjecture states that liminf_{q \to \infty} q . |q|_p . ||q x|| = 0 for all real numbers x. We show that with the additional factor of log q.loglog q the statement is false. Indeed, our main result implies that the set of x for which liminf_{q\to\infty} q . log q . loglog q. |q|_p . ||qx|| > 0 is of full dimension. The result is obt… ▽ More Let p be a prime number. The p-adic case of the Mixed Littlewood Conjecture states that liminf_{q \to \infty} q . |q|_p . ||q x|| = 0 for all real numbers x. We show that with the additional factor of log q.loglog q the statement is false. Indeed, our main result implies that the set of x for which liminf_{q\to\infty} q . log q . loglog q. |q|_p . ||qx|| > 0 is of full dimension. The result is obtained as an application of a general framework for Cantor sets developed in this paper. △ Less

Submitted 12 July, 2010; originally announced July 2010.

Comments: 27 pages

The mixed Schmidt conjecture in the theory of Diophantine approximation

Authors: Dzmitry Badziahin, Jason Levesley, Sanju Velani

Abstract: Let $\mathcal{D}=(d_n)_{n=1}^\infty$ be a bounded sequence of integers with $d_n\ge 2$ and let $(i, j)$ be a pair of strictly positive numbers with $i+j=1$. We prove that the set of $x \in \RR$ for which there exists some constant $c(x) > 0$ such that \[ \max\{|q|_\DDD^{1/i}, \|qx\|^{1/j}\} > c(x)/ q \qquad \forall q \in \NN \] is one quarter winning (in the sense of Schmidt games). Thus the int… ▽ More Let $\mathcal{D}=(d_n)_{n=1}^\infty$ be a bounded sequence of integers with $d_n\ge 2$ and let $(i, j)$ be a pair of strictly positive numbers with $i+j=1$. We prove that the set of $x \in \RR$ for which there exists some constant $c(x) > 0$ such that \[ \max\{|q|_\DDD^{1/i}, \|qx\|^{1/j}\} > c(x)/ q \qquad \forall q \in \NN \] is one quarter winning (in the sense of Schmidt games). Thus the intersection of any countable number of such sets is of full dimension. In turn, this establishes the natural analogue of Schmidt's conjecture within the framework of the de Mathan-Teulié conjecture -- also known as the `Mixed Littlewood Conjecture'. △ Less

Submitted 25 January, 2010; originally announced January 2010.

Comments: 7 pages

MSC Class: 11K60 (Primary); 11K55 (Secondary)

On a problem in simultaneous Diophantine approximation: Schmidt's conjecture

Authors: Dzmitry Badziahin, Andrew Pollington, Sanju Velani

Abstract: 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 approxi… ▽ More 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. △ Less

Submitted 10 March, 2010; v1 submitted 15 January, 2010; originally announced January 2010.

Comments: 43 pages, 1 figure. A relatively minor mistake at the beginning of Section 4 (Proof of Theorem 3) that deals with the situation of parallel lines is corrected.

MSC Class: 11J25

A note on Farey fractions with denominators in arithmetic progressions

Authors: Dmitry A. Badziahin, Alan K. Haynes

Abstract: As the conclusion of a line of investigation undertaken in two previous papers, we compute asymptotic frequencies for the values taken by numerators of differences of consecutive Farey fractions with denominators restricted to lie in arithmetic progression. As the conclusion of a line of investigation undertaken in two previous papers, we compute asymptotic frequencies for the values taken by numerators of differences of consecutive Farey fractions with denominators restricted to lie in arithmetic progression. △ Less

Submitted 1 July, 2009; originally announced July 2009.

MSC Class: 11B57

Inhomogeneous Diophantine approximation on curves and Hausdorff dimension

Authors: Dzmitry Badziahin

Abstract: The goal of this paper is to develop a coherent theory for inhomogeneous Diophantine approximation on curves in $R^n$ akin to the well established homogeneous theory. More specifically, the measure theoretic results obtained generalize the fundamental homogeneous theorems of R.C. Baker (1978), Dodson, Dickinson (2000) and Beresnevich, Bernik, Kleinbock, Margulis (2002). In the case of planar cur… ▽ More The goal of this paper is to develop a coherent theory for inhomogeneous Diophantine approximation on curves in $R^n$ akin to the well established homogeneous theory. More specifically, the measure theoretic results obtained generalize the fundamental homogeneous theorems of R.C. Baker (1978), Dodson, Dickinson (2000) and Beresnevich, Bernik, Kleinbock, Margulis (2002). In the case of planar curves, the complete Hausdorff dimension theory is developed △ Less

Submitted 23 September, 2008; originally announced September 2008.

Comments: 28 pages

MSC Class: 11J83; 11J13

Convergence results for simultaneous and multiplicative Diophantine approximation on planar curves

Authors: Dzmitry Badziahin, Jason Levesley

Abstract: 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 in… ▽ More 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 result for the same class of curves, the first such result for a general class of manifolds in this particular setup. △ Less

Submitted 28 April, 2006; originally announced May 2006.

Comments: 13 pages

MSC Class: 11J83 (Primary) 11J13; 11K60 (Secondary)