Source author record

Dzmitry Badziahin

Dzmitry Badziahin appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

15works
1topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

15 published item(s)

preprint2023arXiv

On effective irrationality exponents of cubic irrationals

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.

preprint2020arXiv

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

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.

preprint2016arXiv

Continuant Diophantine equations

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

preprint2015arXiv

An Inhomogeneous Jarník type theorem for planar curves

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.

preprint2015arXiv

An Unusual Continued Fraction

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.

preprint2015arXiv

Cantor-winning sets and their applications

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.

preprint2015arXiv

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

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.

preprint2015arXiv

On generalized Thue-Morse functions and their values

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.

preprint2014arXiv

Thue-Morse constant is not badly approximable

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.

preprint2013arXiv

Badly approximable points on planar curves and a problem of Davenport

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.

preprint2010arXiv

Inhomogeneous theory of dual Diophantine approximation on manifolds

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.

preprint2010arXiv

Multiplicatively badly approximable numbers and generalised Cantor sets

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.

preprint2010arXiv

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

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.

preprint2010arXiv

The mixed Schmidt conjecture in the theory of Diophantine approximation

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'.