Source author record

Dmitry Kleinbock

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

28works
3topics
4close collaborators

Published work

28 publications

preprint2025arXiv

Singularity, weighted uniform approximation, intersections and rates

A classical argument was introduced by Khintchine in 1926 in order to exhibit the existence of totally irrational singular linear forms in two variables. This argument was subsequently revisited and extended by many authors. For instance, in 1959 Jarnik used it to show that for n≥2n \geq 2 and for any non-increasing positive ff there are totally irrational matrices A∈Mm,n(R)A \in M_{m,n}({\mathbb R}) such that for all large enough tt there are p∈Zm,q∈Zn∖{0}\mathbf{p} \in {\mathbb Z}^m, \mathbf{q} \in {\mathbb Z}^n \smallsetminus \{0\} with ∥q∥≤t  and  ∥Aq−p∥≤f(t).\|\mathbf{q}\| \leq t \ \text{ and } \ \|A \mathbf{q} - \mathbf{p}\| \leq f(t). We denote the collection of such matrices by UAm,n∗(f)\mathrm{UA}^*_{m,n}(f). We adapt Khintchine's argument to show that the sets UAm,n∗(f)\mathrm{UA}^*_{m,n}(f), and their weighted analogues UAm,n∗(f,w)\mathrm{UA}^*_{m,n}(f, \mathbf{w}), intersect many manifolds and fractals, and have strong intersection properties. For example, we show that: When n≥2n \geq 2, the set ⋂wUA∗(f,w)\bigcap_{\mathbf{w}} \mathrm{UA}^*(f, \mathbf{w}) , where the intersection is over all weights w\mathbf{w}, is nonempty, and moreover intesects many manifolds and fractals; For n≥2n \geq 2, there are vectors in Rn{\mathbb R}^n which are simultaneously kk-singular for every kk, in the sense of Yu; when n≥3n \geq 3, UA1,n∗(f)+UA1,n∗(f)=Rn\mathrm{UA}^*_{1,n}(f) + \mathrm{UA}^*_{1,n}(f) = {\mathbb R}^n. We also obtain new bounds on the rate of singularity which can be attained by column vectors in analytic submanifolds of dimension at least 2 in Rn{\mathbb R}^n.

preprint2022arXiv

A measure estimate in geometry of numbers and improvements to Dirichlet's theorem

Let ψψ be a continuous decreasing function defined on all large positive real numbers. We say that a real m×nm\times n matrix AA is ψψ-Dirichlet if for every sufficiently large real number tt one can find p∈Zm\boldsymbol{p} \in \mathbb{Z}^m, q∈Zn∖{0}\boldsymbol{q} \in \mathbb{Z}^n\smallsetminus\{\boldsymbol{0}\} satisfying ∥Aq−p∥m<ψ(t)\|A\boldsymbol{q}-\boldsymbol{p}\|^m< ψ({t}) and ∥q∥n<t\|\boldsymbol{q}\|^n<{t}. This property was introduced by Kleinbock and Wadleigh in 2018, generalizing the property of AA being Dirichlet improvable which dates back to Davenport and Schmidt (1969). In the present paper, we give sufficient conditions on ψψ to ensure that the set of ψψ-Dirichlet matrices has zero or full Lebesgue measure. Our proof is dynamical and relies on the effective equidistribution and doubly mixing of certain expanding horospheres in the space of lattices. Another main ingredient of our proof is an asymptotic measure estimate for certain compact neighborhoods of the critical locus (with respect to the supremum norm) in the space of lattices. Our method also works for the analogous weighted problem where the relevant supremum norms are replaced by certain weighted quasi-norms.

preprint2022arXiv

Dimension drop for diagonalizable flows on homogeneous spaces

Let X=G/ΓX = G/Γ, where GG is a Lie group and ΓΓ is a lattice in GG, let OO be an open subset of XX, and let F={gt:t≥0}F = \{g_t: t\ge 0\} be a one-parameter subsemigroup of GG. Consider the set of points in XX whose FF-orbit misses OO; it has measure zero if the flow is ergodic. It has been conjectured that this set has Hausdorff dimension strictly smaller than the dimension of XX. This conjecture is proved when XX is compact or when GG is a simple Lie group of real rank 11, or, most recently, for certain special flows on the space of lattices. In this paper we prove this conjecture for arbitrary Ad⁡\operatorname{Ad}-diagonalizable flows on irreducible quotients of semisimple Lie groups. The proof uses exponential mixing of the flow together with the method of integral inequalities for height functions on G/ΓG/Γ. We also derive an application to jointly Dirichlet-Improvable systems of linear forms.

preprint2022arXiv

Equidistribution in the space of 3-lattices and Dirichlet-improvable vectors on planar lines

Let X=SL3(R)/SL3(Z)X=\text{SL}_3(\mathbb{R})/\text{SL}_3(\mathbb{Z}), and gt=diag(e2t,e−t,e−t)g_t=\text{diag}(e^{2t}, e^{-t}, e^{-t}). Let νν denote the push-forward of the normalized Lebesgue measure on a segment of a straight line in the expanding horosphere of {gt}t>0\{g_t\}_{t>0}, under the map h↦hSL3(Z)h\mapsto h\text{SL}_3(\mathbb{Z}) from SL3(R)\text{SL}_3(\mathbb{R}) to XX. We give explicit necessary and sufficient Diophantine conditions on the line for equidistribution of each of the following families of measures on XX: (1) gtg_t-translates of νν as t→∞t\to\infty. (2) averages of gtg_t-translates of νν over t∈[0,T]t\in[0,T] as T→∞T\to\infty. (3) gtig_{t_i}-translates of νν for some ti→∞t_i\to\infty. We apply this dynamical result to show that Lebesgue-almost every point on the planar line y=ax+by=ax+b is not Dirichlet-improvable if and only if (a,b)∉Q2(a,b)\notin\mathbb{Q}^2.

preprint2022arXiv

Inhomogeneous Diophantine approximation for generic homogeneous functions

The present paper is a sequel to [Monatsh.~Math.\ {\bf 194} (2021), 523--554] in which results of that paper are generalized so that they hold in the setting of inhomogeneous Diophantine approximation. Given any integers n≥2n \geq 2 and ℓ≥1\ell \geq 1, any ξ=(ξ1,…,ξℓ)∈Rℓ{\pmb ξ} = \left(ξ_1, \dots , ξ_\ell \right) \in \mathbb{R}^\ell, and any homogeneous function \linebreak f=(f1,…,fℓ):Rn→Rℓf = \left(f_1, \dots , f_\ell \right): \mathbb{R}^n \to \mathbb{R}^\ell that satisfies a certain nonsingularity assumption, we obtain a biconditional criterion on the approximating function ψ=(ψ1,…,ψℓ):R≥0→(R>0)ℓψ= \left(ψ_1, \dots , ψ_\ell \right): \mathbb{R}_{\geq 0} \to \left(\mathbb{R}_{>0}\right)^\ell for a generic element f∘gf \circ g in the SL⁡n(R)\operatorname{SL}_n(\mathbb{R})-orbit of ff to be (respectively, not to be) ψψ-approximable at ξ=(ξ1,…,ξn){\pmb ξ} = (ξ_1,\dots,ξ_n): that is, for there to exist infinitely many (respectively, only finitely many) v∈Zn\mathbf{v} \in \mathbb{Z}^n such that ∣ξj−(fj∘g)(v)∣≤ψj(∥v∥)\left|ξ_j - \left( f_j \circ g\right)(\mathbf{v})\right| \leq ψ_j(\|\mathbf{v}\|) for each j∈{1,…,ℓ}j \in \left\lbrace 1, \dots, \ell \right\rbrace. In this setting, we also obtain a sufficient condition for uniform approximation. We also consider some examples of ff that do not satisfy our nonsingularity assumptions and prove similar results for these examples. Moreover, one can replace SL⁡n(R)\operatorname{SL}_n(\mathbb{R}) above by any closed subgroup of ASL⁡n(R)\operatorname{ASL}_n(\mathbb{R}) that satisfies certain integrability axioms (being of Siegel and Rogers type) introduced by the authors in the aforementioned previous paper.

preprint2022arXiv

Metrical properties for the weighted products of multiple partial quotients in continued fractions

The classical Khintchine and Jarník theorems, generalizations of a consequence of Dirichlet's theorem, are fundamental results in the theory of Diophantine approximation. These theorems are concerned with the size of the set of real numbers for which the partial quotients in their continued fraction expansions grows with a certain rate. Recently it was observed that the growth of product of pairs of consecutive partial quotients in the continued fraction expansion of a real number is associated with improvements to Dirichlet's theorem. In this paper we consider the products of several consecutive partial quotients raised to different powers. Namely, we find the Lebesgue measure and the Hausdorff dimension of the following set: $$ {\D_{\mathbf t}}(ψ):=\left\{x\in[0, 1): \prod\limits_{i=0}^{m-1}{a^{t_i}_{n+i}(x)} \ge Ψ(n)\ {\text{for infinitely many}} \ n\in \N \right\}, $$ where ti∈R+t_i\in\mathbb R_+ for all 0≤i≤m−1{0\leq i\leq m-1}, and Ψ:N→R≥1Ψ:\N\to\R_{\ge 1} is a positive function.

preprint2022arXiv

Weighted uniform Diophantine approximation of systems of linear forms

Following the development of weighted asymptotic approximation properties of matrices, we introduce the analogous uniform approximation properties (that is, study the improvability of Dirichlet's Theorem). An added feature is the use of general norms, rather than the supremum norm, to quantify the approximation. In terms of homogeneous dynamics, the approximation properties of an m×nm \times n matrix are governed by a trajectory in SLm+n(R)/SLm+n(Z)\mathrm{SL}_{m+n}({\mathbb R})/\mathrm{SL}_{m+n}({\mathbb Z}) avoiding a compact subset of the space of lattices called the critical locus defined with respect to the corresponding norm. The trajectory is formed by the action of a one-parameter diagonal subgroup corresponding to the weights. We first state a very precise form of Dirichlet's theorem and prove it for some norms. Secondly we show, for these same norms, that the set of Dirichlet-improvable matrices has full Hausdorff dimension. Though the techniques used vary greatly depending on the chosen norm, we expect these results to hold in general.

preprint2021arXiv

Abundance of Dirichlet-improvable pairs with respect to arbitrary norms

In a recent paper of Akhunzhanov and Shatskov the two-dimensional Dirichlet spectrum with respect to Euclidean norm was defined. We consider an analogous definition for arbitrary norms on R2\mathbb{R}^2 and prove that, for each such norm, the set of Dirichlet improvable pairs contains the set of badly approximable pairs, hence is hyperplane absolute winning. To prove this we make a careful study of some classical results in the geometry of numbers due to Chalk--Rogers and Mahler to establish a Hajós--Minkowski type result for the critical locus of a cylinder. As a corollary, using a recent result of the first named author with Mirzadeh, we conclude that for any norm on R2\mathbb{R}^2 the top of the Dirichlet spectrum is not an isolated point.

preprint2021arXiv

Critical loci of convex domains in the plane

Let KK be a bounded convex domain in R2\mathbb{R}^2 symmetric about the origin. The critical locus of KK is defined to be the (non-empty compact) set of lattices ΛΛ in R2\mathbb{R}^2 of smallest possible covolume such that Λ∩K={0}Λ\cap K= \lbrace 0\rbrace. These are classical objects in geometry of numbers; yet all previously known examples of critical loci were either finite sets or finite unions of closed curves. In this paper we give a new construction which, in particular, furnishes examples of domains having critical locus of arbitrary Hausdorff dimension between 00 and 11.

preprint2021arXiv

Intrinsic Diophantine approximation on quadric hypersurfaces

We consider the question of how well points in a quadric hypersurface M⊂RdM\subset\mathbb R^d can be approximated by rational points of Qd∩M\mathbb Q^d\cap M. This contrasts with the more common setup of approximating points in a manifold by all rational points in Qd\mathbb Q^d. We provide complete answers to major questions of Diophantine approximation in this context. Of particular interest are the impact of the real and rational ranks of the defining quadratic form, quantities whose roles in Diophantine approximation have never been previously elucidated. Our methods include a correspondence between the intrinsic Diophantine approximation theory on a rational quadric hypersurface and the dynamics of the group of projective transformations which preserve that hypersurface, similar to earlier results in the non-intrinsic setting due to Dani ('86) and Kleinbock--Margulis ('99).

preprint2021arXiv

Nondense orbits on homogeneous spaces and applications to geometry and number theory

Let GG be a Lie group, Γ⊂GΓ\subset G a discrete subgroup, X=G/ΓX=G/Γ, and ff an affine map from XX to itself. We give conditions on a submanifold ZZ of XX guaranteeing that the set of points x∈Xx\in X with ff-trajectories avoiding ZZ is hyperplane absolute winning (a property which implies full Hausdorff dimension and is stable under countable intersections). A similar result is proved for one-parameter actions on XX. This has applications to constructing exceptional geodesics on locally symmetric spaces, and to non-density of the set of values of certain functions at integer points.

preprint2020arXiv

A dynamical Borel-Cantelli lemma via improvements to Dirichlet's theorem

Let X≅SL⁡2(R)/SL⁡2(Z)X\cong \operatorname{SL}_2(\mathbb R)/\operatorname{SL}_2(\mathbb Z) be the space of unimodular lattices in R2\mathbb R^2, and for any r≥0r\ge 0 denote by Kr⊂XK_r\subset X the set of lattices such that all its nonzero vectors have supremum norm at least e−re^{-r}. These are compact nested subset{s} of XX, with K0=⋂rKrK_0 = {\bigcap}_{r}K_r being the union of two closed horocycles. We use an explicit second moment formula for the Siegel transform of the indicator functions of squares in R2\mathbb R^2 centered at the origin to derive an asymptotic formula for the volume of sets KrK_r as r→0r\to 0. Combined with a zero-one law for the set of the ψψ-Dirichlet numbers established by Kleinbock and Wadleigh, this gives a new dynamical Borel-Cantelli lemma for the geodesic flow on XX with respect to the family of shrinking targets {Kr}\{K_r\}.

preprint2020arXiv

A zero-one law for uniform Diophantine approximation in Euclidean norm

We study a norm sensitive Diophantine approximation problem arising from the work of Davenport and Schmidt on the improvement of Dirichlet's theorem. Its supremum norm case was recently considered by the first-named author and Wadleigh, and here we extend the set-up by replacing the supremum norm with an arbitrary norm. This gives rise to a class of shrinking target problems for one-parameter diagonal flows on the space of lattices, with the targets being neighborhoods of the critical locus of a suitably scaled norm ball. We use methods from geometry of numbers and dynamics to generalize a result due to Andersen and Duke on measure zero and uncountability of the set of numbers for which Minkowski approximation theorem can be improved. The choice of the Euclidean norm on R2\mathbb{R}^2 corresponds to studying geodesics on a hyperbolic surface which visit a decreasing family of balls. An application of a dynamical Borel-Cantelli lemma of Maucourant produces a zero-one law for improvement of Dirichlet's theorem in Euclidean norm.

preprint2020arXiv

Quantitative non-divergence and Diophantine approximation on manifolds

The goal of this survey is to discuss the Quantitative non-Divergence estimate on the space of lattices and present a selection of its applications. The topics covered include extremal manifolds, Khintchine-Groshev type theorems, rational points lying close to manifolds and badly approximable points on manifolds. The main emphasis is on the role of the Quantitative non-Divergence estimate in the aforementioned topics within the theory of Diophantine approximation, and therefore this paper should not be regarded as a comprehensive overview of the area.

preprint2015arXiv

Badly approximable SS-numbers and absolute Schmidt games

Let KK be a number field, let SS be the set of all normalized, non-conjugate Archimedean valuations of KK, and let KS=∏v∈SKvK_{S} = \prod_{v \in S} K_v be the Minkowski space associated with KK. We strengthen recent results of \cite{EsdahlKristensen10} and \cite{EinsiedlerGhoshLytle13} by showing that the set of badly approximable elements of KSK_S is H\mathcal{H}-absolute winning for a certain family of subspaces of KSK_{S}.

preprint2015arXiv

Dimension estimates for sets of uniformly badly approximable systems of linear forms

The set of badly approximable m×nm \times n matrices is known to have Hausdorff dimension mnmn . Each such matrix comes with its own approximation constant cc, and one can ask for the dimension of the set of badly approximable matrices with approximation constant greater than or equal to some fixed cc. In the one-dimensional case, a very precise answer to this question is known. In this note, we obtain upper and lower bounds in higher dimensions.

preprint2015arXiv

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

Let ∣∣⋅∣∣|| \cdot || denote the distance to the nearest integer and, for a prime number pp, let ∣⋅∣p| \cdot |_p denote the pp-adic absolute value. In 2004, de Mathan and Teulié asked whether inf⁡q≥1 q⋅∣∣qα∣∣⋅∣q∣p=0\inf_{q \ge 1} \, q \cdot || q α|| \cdot | q |_p = 0 holds for every badly approximable real number αα and every prime number pp. 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)(α, p) with pp an arbitrary prime.

preprint2015arXiv

Pointwise equidistribution with an error rate and with respect to unbounded functions

Consider $G=\SL_{ d }(\mathbb R)$ and $ Γ=\SL_{ d }(\mathbb Z)$. It was recently shown by the second-named author \cite{s} that for some diagonal subgroups {gt}⊂G\{g_t\}\subset G and unipotent subgroups U⊂GU\subset G, gtg_t-trajectories of almost all points on all UU-orbits on G/ΓG/Γ are equidistributed with respect to continuous compactly supported functions φφ on G/ΓG/Γ. In this paper we strengthen this result in two directions: by exhibiting an error rate of equidistribution when φφ is smooth and compactly supported, and by proving equidistribution with respect to certain unbounded functions, namely Siegel transforms of Riemann integrable functions on Rd\R^d. For the first part we use a method based on effective double equidistribution of gtg_t-translates of UU-orbits, which generalizes the main result of \cite{km12}. The second part is based on Schmidt's results on counting of lattice points. Number-theoretic consequences involving spiraling of lattice approximations, extending recent work of Athreya, Ghosh and Tseng \cite{agt1}, are derived using the equidistribution result.

preprint2013arXiv

Non-planarity and metric Diophantine approximation for systems of linear forms

In this paper we develop a general theory of metric Diophantine approximation for systems of linear forms. A new notion of `weak non-planarity' of manifolds and more generally measures on the space of m×nm\times n matrices over R\Bbb R is introduced and studied. This notion generalises the one of non-planarity in Rn\Bbb R^n and is used to establish strong (Diophantine) extremality of manifolds and measures. The notion of weak non-planarity is shown to be `near optimal' in a certain sense. Beyond the above main theme of the paper, we also develop a corresponding theory of inhomogeneous and weighted Diophantine approximation. In particular, we extend the recent inhomogeneous transference results due to Beresnevich and Velani and use them to bring the inhomogeneous theory in balance with its homogeneous counterpart.

preprint2013arXiv

Rational Approximation on Spheres

We quantify the density of rational points in the unit sphere SnS^n, proving analogues of the classical theorems on the embedding of $\q^n$ into $\r^n$. Specifically, we prove a Dirichlet theorem stating that every point α∈Snα\in S^n is sufficiently approximable, the optimality of this approximation via the existence of badly approximable points, and a Khintchine theorem showing that the Lebesgue measure of approximable points is either zero or full depending on the convergence or divergence of a certain sum. These results complement and improve on previous results, particularly recent theorems of Ghosh, Gorodnik and Nevo.

preprint2011arXiv

The set of badly approximable vectors is strongly C1C^1 incompressible

We prove that the countable intersection of C1C^1-diffeomorphic images of certain Diophantine sets has full Hausdorff dimension. For example, we show this for the set of badly approximable vectors in Rd\mathbb{R}^d, improving earlier results of Schmidt and Dani. To prove this, inspired by ideas of McMullen, we define a new variant of Schmidt's (α,β)(α, β)-game and show that our sets are hyperplane absolute winning (HAW), which in particular implies winning in the original game. The HAW property passes automatically to games played on certain fractals, thus our sets intersect a large class of fractals in a set of positive dimension. This extends earlier results of Fishman to a more general set-up, with simpler proofs.

preprint2009arXiv

An `almost all versus no' dichotomy in homogeneous dynamics and Diophantine approximation

Let Y0Y_0 be a not very well approximable m×nm\times n matrix, and let MM be a connected analytic submanifold in the space of m×nm\times n matrices containing Y0Y_0. Then almost all Y∈MY\in M are not very well approximable. This and other similar statements are cast in terms of properties of certain orbits on homogeneous spaces and deduced from quantitative nondivergence estimates for `quasi-polynomial' flows on on the space of lattices.

preprint2009arXiv

Metric Diophantine approximation for systems of linear forms via dynamics

The goal of this paper is to generalize the main results of [KM] and subsequent papers on metric Diophantine approximation with dependent quantities to the set-up of systems of linear forms. In particular, we establish `joint strong extremality' of arbitrary finite collection of smooth nondegenerate submanifolds of Rn{\bold R}^n. The proofs are based on generalized quantitative nondivergence estimates for translates of measures on the space of lattices.

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.