arXiv subjects
Publications and source records attributed to Dzmitry Badziahin.
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 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.
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.
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.
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'.
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
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.