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
Using the variational principle in parametric geometry of numbers, we compute the Hausdorff and packing dimension of Diophantine sets related to exponents of Diophantine approximation, and their intersections. In particular, we extend a result of Jarník and Besicovitch to intermediate exponents.
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$.
We begin with a brief treatment of Hausdorff measure and Hausdorff dimension. We then explain some of the principal results in Diophantine approximation and the Hausdorff dimension of related sets, originating in the pioneering work of Vojtech Jarnik. We conclude with some applications of these results to the metrical structure of exceptional sets associated with some famous problems. It is not intended that all the recent developments be covered but they can be found in the references cited.
We solve the problem of giving sharp asymptotic bounds on the Hausdorff dimensions of certain sets of badly approximable matrices, thus improving results of Broderick and Kleinbock (preprint 2013) as well as Weil (preprint 2013), and generalizing to higher dimensions those of Kurzweil ('51) and Hensley ('92). In addition we use our technique to compute the Hausdorff $f$-measure of the set of matrices which are not $ψ$-approximable, given a dimension function $f$ and a function $ψ:(0,\infty)\to (0,\infty)$. This complements earlier work by Dickinson and Velani ('97) who found the Hausdorff $f$-…
A general form of the Borel-Cantelli Lemma and its connection with the proof of Khintchine's Theorem on Diophantine approximation and the more general Khintchine-Groshev theorem are discussed. The torus geometry in the planar case allows a relatively direct proof of the planar Groshev theorem for the set of $ψ$-approximable points in the plane. The construction and use of Haudsorff measure and dimension are explained and the notion of ubiquity, which is effective in estimating the lower bound of the Hausdorff dimension for quite general lim sup sets, is described. An application is made to obt…
For any j_1,...,j_n>0 with j_1+...+j_n=1 and any x \in R^n, we consider the set of points y \in R^n for which max_{1\leq i\leq n}(||qx_i-y_i||^{1/j_i})>c/q for some positive constant c=c(y) and all q\in N. These sets are the `twisted' inhomogeneous analogue of Bad(j_1,...,j_n) in the theory of simultaneous Diophantine approximation. It has been shown that they have full Hausdorff dimension in the non-weighted setting, i.e provided that j_i=1/n, and in the weighted setting when x is chosen from Bad(j_1,...,j_n). We generalise these results proving the full Hausdorff dimension in the weighted se…
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.
In Diophantine approximation, inhomogeneous problems are linked with homogeneous ones by means of the so-called Transference Theorems. We revisit this classical topic by introducing new exponents of Diophantine approximation. We prove that the exponent of approximation to a generic point in R^n by a system of n linear forms is equal to the inverse of the uniform homogeneous exponent associated to the system of dual forms.
We give several results related to inhomogeneous approximations to two real numbers and badly approximable numbers. Our results are related to classical theorems by A. Khintchine (1926) and to an original method invented by Y. Peres and W. Schlag (2001).
We extend the Khintchine transference inequalities, as well as a homogeneous-inhomogeneous transference inequality for lattices, due to Bugeaud and Laurent, to a weighted setting. We also provide applications to inhomogeneous Diophantine approximation on manifolds and to weighted badly approximable vectors. Finally, we interpret and prove a conjecture of Beresnevich-Velani (2010) about inhomogeneous intermediate exponents.
This paper investigates the upper bound of the number of integer (natural) solutions of inhomogeneous algebraic Diophantine diagonal equations with integer coefficients without a free member via the circle method of Hardy and Littlewood. Author found the upper bound of the number of natural solutions of inhomogeneous algebraic Diophantine diagonal equations with explicit variable. He developed a method in the paper, which allows you to perform the low estimate of the number of natural (integer) solutions of algebraic Diophantine equation with integer coefficients. Author obtained a lower estim…
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 be…
By introducing a ubiquity property for rectangles, we prove the mass transference principle from rectangles to rectangles, i.e., if a sequence of rectangles forms a ubiquity system (a full measure property), then the limsup set defined by shrinking these rectangles to smaller rectangles has full Hausdorff measure or to say transfer a full measure property to a full Hausdorff measure property for brevity. The limsup sets generated by balls or generated by rectangles appear at the most fundamental level in Diophantine approximation: one follows from Dirichlet's theorem, the other follows from Mi…
In a landmark paper, D.Y. Kleinbock and G.A. Margulis established the fundamental Baker-Sprindzuk conjecture on homogeneous Diophantine approximation on manifolds. Subsequently, there has been dramatic progress in this area of research. However, the techniques developed to date do not seem to be applicable to inhomogeneous approximation. Consequently, the theory of inhomogeneous Diophantine approximation on manifolds remains essentially non-existent. In this paper we develop an approach that enables us to transfer homogeneous statements to inhomogeneous ones. This is rather surprising as the i…
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].
We establish a strong form of Littlewood's conjecture with inhomogeneous shifts, for a full-dimensional set of pairs of badly approximable numbers on a vertical line. We also prove a uniform assertion of this nature, generalising a strong form of a result by Haynes, Jensen and Kristensen. Finally, we establish a similar result involving inhomogeneously badly approximable numbers, making progress towards a problem posed by Pollington, Velani, Zafeiropoulos and Zorin.
We prove a sharp analogue of Minkowski's inhomogeneous approximation theorem over fields of power series $\mathbb{F}_q((T^{-1}))$. Furthermore, we study the approximation to a given point $\underline{y}$ in $\mathbb{F}_q((T^{-1}))^2$ by the $SL_2(\mathbb{F}_q[T])$-orbit of a given point $\underline{x}$ in $\mathbb{F}_q((T^{-1}))^2$.
The inhomogeneous metric theory for the set of simultaneously $ψ$-approximable points lying on a planar curve is developed. Our results naturally incorporate the homogeneous Khintchine-Jarnik type theorems recently established in [Ann. of Math. (2), 166 (2007), pp. 367-426] and [Invent. Math., 166 (2006), pp. 103-124]. The key lies in obtaining essentially the best possible results regarding the distribution of `shifted' rational points near planar curves.
We continue the work of Takao Komatsu by considering the inhomogeneous approximation constant L(θ,ϕ) for Hurwitzian numbers θ, and rationally related ϕ(r θ+m)/n in Q(θ) +Q. The current work uses a compactness theorem to relate such inhomogeneous constants to the homogeneous approximation constants. Among the new results are: a characterization of such pairs θ,ϕfor which L(θ,ϕ) is zero; consideration of small values of n^2 L(e^{2/s},ϕ); and the proof of a conjecture of Komatsu.
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 prove $S$-arithmetic inhomogeneous Khintchine type theorems on analytic nondegenerate manifolds. The divergence case, which constitutes the main substance of this paper, is proved in the general context of Hausdorff measures using ubiquitous systems. For $S$ consisting of more than one prime, finite or infinite, the divergence results are new even in the homogeneous setting. We also prove the convergence case of the theorem, including in particular, the $S$-arithmetic inhomogeneous counterpart of the Baker-Sprindžuk conjectures using nondivergence estimates for flows on homogeneous spaces i…
Given $n\in N$ and $x,γ\in R$, let \begin{equation*} ||γ-nx||^\prime=\min\{|γ-nx+m|:m\in Z, \gcd (n,m)=1\}, \end{equation*} %where $(n,m)$ is the largest common divisor of $n$ and $m$. Two conjectures in the coprime inhomogeneous Diophantine approximation state that for any irrational number $α$ and almost every $γ\in R$, \begin{equation*} \liminf_{n\to \infty}n||γ-nα||^{\prime}=0 \end{equation*} and that there exists $C>0$, such that for all $α\in R\backslash Q$ and $γ\in [0,1)$ , \begin{equation*} \liminf_{n\to \infty}n||γ-nα||^{\prime} < C. \end{equation*} We prove the first conjecture and …
We prove over fields of power series the analogues of several Diophantine approximation results obtained over the field of real numbers. In particular we establish the power series analogue of Kronecker's theorem for matrices, together with a quantitative form of it, which can also be seen as a transference inequality between uniform approximation and inhomogeneous approximation. Special attention is devoted to the one dimensional case. Namely, we give a necessary and sufficient condition on an irrational power series $α$ which ensures that, for some positive $\eps$, the set $$ \liminf_{Q \in …
In this paper, we study inhomogeneous Diophantine approximation with rational numbers of reduced form. The central object to study is the set $W(f,θ)$ as follows, \begin{eqnarray*} \left\{x\in [0,1]:\left |x-\frac{m+θ(n)}{n}\right|<\frac{f(n)}{n}\text{ for infinitely many coprime pairs of numbers } m,n\right\}, \end{eqnarray*} where $\{f(n)\}_{n\in\mathbb{N}}$ and $\{θ(n)\}_{n\in\mathbb{N}}$ are sequences of real numbers in $[0,1/2]$. We will completely determine the Hausdorff dimension of $W(f,θ)$ in terms of $f$ and $θ$. As a by-product, we also obtain a new sufficient condition for $W(f,θ)$…
We give a sufficient and necessary condition such that for almost all $s\in{\mathbb R}$ \[ \|nθ-s\|<ψ(n)\qquad\text{for infinitely many}\ n\in{\mathbb N}, \] where $θ$ is fixed and $ψ(n)$ is a positive, non-increasing sequence. This improves upon an old result of Kurzweil and contains several previous results as special cases: two theorems of Kurzweil, a theorem of Tseng and a recent result of the second author. Moreover, we also discuss an analogue of our result in the field of formal Laurent series which has similar consequences.
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.
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 establish a new connection between metric Diophantine approximation and the parametric geometry of numbers by proving a variational principle facilitating the computation of the Hausdorff and packing dimensions of many sets of interest in Diophantine approximation. In particular, we show that the Hausdorff and packing dimensions of the set of singular $m\times n$ matrices are both equal to $mn \big(1-\frac1{m+n}\big)$, thus proving a conjecture of Kadyrov, Kleinbock, Lindenstrauss, and Margulis (preprint 2014) as well as answering a question of Bugeaud, Cheung, and Chevallier (preprint 2016…
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.
Given $n\in\mathbb{N}$ and $τ>\frac1n$, let $\mathcal{S}_n(τ)$ denote the classical set of $τ$-approximable points in $\mathbb{R}^n$, which consists of ${\bf x}\in \mathbb{R}^n$ that lie within distance $q^{-τ-1}$ from the lattice $\frac1q\mathbb{Z}^n$ for infinitely many $q\in\mathbb{N}$. In pioneering work, Kleinbock $\&$ Margulis showed that for any non-degenerate submanifold $\mathcal{M}$ of $\mathbb{R}^n$ and any $τ>\frac1n$ almost all points on $\mathcal{M}$ are not $τ$-approximable. Numerous subsequent papers have been geared towards strengthening this result through investigating the H…
Let $α$ be an irrational real number. We show that the set of $ε$-badly approximable numbers \[ \mathrm{Bad}^\varepsilon (α) := \{x\in [0,1]\, : \, \liminf_{|q| \to \infty} |q| \cdot \| qα-x \| \geq \varepsilon \} \] has full Hausdorff dimension for some positive $ε$ if and only if $α$ is singular on average. The condition is equivalent to the average $\frac{1}{k} \sum_{i=1, \cdots, k} \log a_i$ of the logarithms of the partial quotients $a_i$ of $α$ going to infinity with $k$. We also consider one-sided approximation, obtain a stronger result when $a_i$ tends to infinity, and establish a part…
The use of Hausdorff measures and dimension in the theory of Diophantine approximation dates back to the 1920s with the theorems of Jarnik and Besicovitch regarding well-approximable and badly-approximable points. In this paper we consider three inhomogeneous problems that further develop these classical results. Firstly, we obtain a Jarnik type theorem for the set of multiplicatively approximable points in the plane. This Hausdorff measure statement does not reduce to Gallagher's Lebesgue measure statement as one might expect and is new even in the homogeneous setting. Next, we establish a Ja…
For a given rotation number we compute the Hausdorff dimension of the set of well approximable numbers. We use this result and an inhomogeneous version of Jarnik's theorem to show strong recurrence properties of the billiard flow in certain polygons
For any real pair i, j geq 0 with i+j=1 let Bad(i, j) denote the set of (i, j)-badly approximable pairs. That is, Bad(i, j) consists of irrational vectors x:=(x_1, x_2) in R^2 for which there exists a positive constant c(x) such that max {||qx_1||^(-i), ||qx_2||^(-j)} > c(x)/q for all q in N. A new characterization of the set Bad(i, j) in terms of `well-approximable' vectors in the area of 'twisted' inhomogeneous Diophantine approximation is established. In addition, it is shown that Bad^x(i, j), the `twisted' inhomogeneous analogue of Bad(i, j), has full Hausdorff dimension 2 when x is chosen…
The Hausdorff dimension of an exceptional set of periods for which convergence of a formal solution to an inhomogeneous wave equation in n spatial and one temporal dimension is problematic, is determined along with conditions which the periods must satisfy to ensure the solvability of the inhomogeneous wave equation by a smooth periodic function. To derive this information, a complete metric theory for a related fully nonlinear Diophantine approximation problem involving perfect squares is established.
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)…
In this paper we obtain the Lebesgue and Hausdorff measure results for the set of vectors satisfying infinitely many fully non-linear Diophantine inequalities. The set is associated with a class of linear inhomogeneous partial differential equations whose solubility depends on a certain Diophantine condition. The failure of the Diophantine condition guarantees the existence of a smooth solution.
In 1958, Szüsz proved an inhomogeneous version of Khintchine's theorem on Diophantine approximation. Szüsz's theorem states that for any non-increasing approximation function $ψ:\mathbb{N}\to (0,1/2)$ with $\sum_q ψ(q)=\infty$ and any number $γ,$ the following set \[ W(ψ,γ)=\{x\in [0,1]: |qx-p-γ|< ψ(q) \text{ for infinitely many } q,p\in\mathbb{N}\} \] has full Lebesgue measure. Since then, there are very few results in relaxing the monotonicity condition. In this paper, we show that if $γ$ is can not be approximate by rational numbers too well, then the monotonicity condition can be replaced …
Let $\cal C$ be a non--degenerate planar curve and for a real, positive decreasing function $ψ$ let $\cal C(ψ)$ denote the set of simultaneously $ψ$--approximable points lying on $\cal C$. We show that $\cal C$ is of Khintchine type for divergence; i.e. if a certain sum diverges then the one-dimensional Lebesgue measure on $\cal C$ of $\cal C(ψ)$ is full. We also obtain the Hausdorff measure analogue of the divergent Khintchine type result. In the case that $\cal C$ is a rational quadric the convergence counterparts of the divergent results are also obtained. Furthermore, for functions $ψ$ wit…
Fundamental questions in Diophantine approximation are related to the Hausdorff dimension of sets of the form $\{x\in \mathbb{R}: δ_x = δ\}$, where $δ\geq 1$ and $δ_x$ is the Diophantine approximation rate of an irrational number $x$. We go beyond the classical results by computing the Hausdorff dimension of the sets $\{x\in\mathbb{R}: δ_x =f(x)\}$, where $f$ is a continuous function. Our theorem applies to the study of the approximation rates by various approximation families. It also applies to functions $f$ which are continuous outside a set of prescribed Hausdorff dimension.
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.
We compute the Hausdorff dimension of sets of very well approximable vectors on rational quadrics. We use ubiquitous systems and the geometry of locally symmetric spaces. As a byproduct we obtain the Hausdorff dimension of the set of rays with a fixed maximal singular direction, which move away into one end of a locally symmetric space at linear depth, infinitely many times.
We provide an extension of the transference results of Beresnevich and Velani connecting homogeneous and inhomogeneous Diophantine approximation on manifolds and provide bounds for inhomogeneous Diophantine exponents of affine subspaces and their nondegenerate submanifolds.
We study the Hausdorff measure and dimension of the set of intrinsically simultaneously $ψ$-approximable points on a curve, surface, etc., given as a graph of integer valued polynomials. We obtain complete answers to these questions for algebraically "nice" manifolds. This generalizes earlier work done in the case of curves.
Hausdorff measures of sets in Exact Diophantine approximation
School of Mathematics and Statistics, Huazhong University of Science and Technology（华中科技大学数学与统计学院）；School of Statistics and Mathematics, Hubei University of Economics（湖北经济学院统计与数学学院）；Hubei Center for Data and Analysis（湖北省数据分析中心）
In these notes, we begin by recalling aspects of the classical theory of metric Diophantine approximation; such as theorems of Khintchine, Jarn\'ık, Duffin-Schaeffer and Gallagher. We then describe recent strengthening of various classical statements as well as recent developments in the area of Diophantine approximation on manifolds. The latter includes the well approximable, the badly approximable and the inhomogeneous aspects.
