43 pages, 5 figures, to appear in "Fractal Geometry and Applications: A Jubilee of Benoit Mandelbrot", Proceedings of Symposia in Pure Mathematics, American Mathematical Society
发表信息：
Fractal geometry and applications: a jubilee of Benoît Mandelbrot. Part 1, 305--347, Proc. Sympos. Pure Math., 72, Part 1, Amer. Math. Soc., Providence, RI, 2004.
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.
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.
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 $Γ= 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 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.
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…
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…
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…
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.
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 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（湖北省数据分析中心）
The paper is mostly a survey on recent results in Diophantine approximation, with emphasis on properties of exponents measuring various notions of Diophantine <approximation.
We develop the theory of Diophantine approximation for systems of simultaneously small linear forms, which coefficients are drawn from any given analytic non-degenerate manifolds. This setup originates from a problem of Sprindžuk from the 1970s on approximations to several real numbers by conjugate algebraic numbers. Our main result is a Khintchine type theorem, which convergence case is established without usual monotonicity constrains and the divergence case is proved for Hausdorff measures. The result encompasses several previous findings and, within the setup considered, gives the best pos…
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.
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.
Review of the book: Distribution modulo one and Diophantine approximation, by Yann Bugeaud, Cambridge University Press 2012. ISBN 978-0521111690, 316 pp.
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.
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…
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.
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.
We establish an explicit asymptotic formula for the number of rational solutions of intrinsic Diophantine inequalities on simply-connected simple algebraic groups, at arbitrarily small scales.
In this paper we prove transference inequalities for regular and uniform Diophantine exponents in the weighted setting. Our results generalize the corresponding inequalities that exist in the `non-weighted' case.
The present paper establishes qunatitative estimates on the rate of diophantine approximation in homogeneous varieties of semisimple algebraic groups. The estimates established generalize and improve previous ones, and are sharp in a number of cases. We show that the rate of diophantine approximation is controlled by the spectrum of the automorphic representation, and is thus subject to the generalised Ramanujan conjectures.
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 introduce diophantine approximation groups and their associated Kronecker foliations, using them to provide new algebraic and geometric characterizations of $K$-linear and algebraic dependence. As a consequence we find reformulations -- as algebraic and geometric (graph) rigidities -- of the Theorems of Baker and Lindemann-Weierstrass, the Logarithm Conjecture and the Schanuel Conjecture. There is an Appendix describing diophantine approximation groups as model theoretic types.
We discuss several open problems in Diophantine approximation. Among them there are famous Littlewood's and Zaremba's conjectures as well as some new and not so famous problems.
We prove a new quantitative result on the degeneracy of the dimension of the subspace spanned by the best Diophantine approximations for a linear form.
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.
