Researcher profile

Dmitry Kleinbock

Dmitry Kleinbock contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
14works
0followers
3topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

14 published item(s)

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 \geq 2$ and for any non-increasing positive $f$ there are totally irrational matrices $A \in M_{m,n}({\mathbb R})$ such that for all large enough $t$ there are $\mathbf{p} \in {\mathbb Z}^m, \mathbf{q} \in {\mathbb Z}^n \smallsetminus \{0\}$ with $$\|\mathbf{q}\| \leq t \ \text{ and } \ \|A \mathbf{q} - \mathbf{p}\| \leq f(t).$$ We denote the collection of such matrices by $\mathrm{UA}^*_{m,n}(f)$. We adapt Khintchine's argument to show that the sets $\mathrm{UA}^*_{m,n}(f)$, and their weighted analogues $\mathrm{UA}^*_{m,n}(f, \mathbf{w})$, intersect many manifolds and fractals, and have strong intersection properties. For example, we show that: When $n \geq 2$, the set $\bigcap_{\mathbf{w}} \mathrm{UA}^*(f, \mathbf{w}) $, where the intersection is over all weights $\mathbf{w}$, is nonempty, and moreover intesects many manifolds and fractals; For $n \geq 2$, there are vectors in ${\mathbb R}^n$ which are simultaneously $k$-singular for every $k$, in the sense of Yu; when $n \geq 3$, $\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 ${\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\times n$ matrix $A$ is $ψ$-Dirichlet if for every sufficiently large real number $t$ one can find $\boldsymbol{p} \in \mathbb{Z}^m$, $\boldsymbol{q} \in \mathbb{Z}^n\smallsetminus\{\boldsymbol{0}\}$ satisfying $\|A\boldsymbol{q}-\boldsymbol{p}\|^m< ψ({t})$ and $\|\boldsymbol{q}\|^n<{t}$. This property was introduced by Kleinbock and Wadleigh in 2018, generalizing the property of $A$ 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/Γ$, where $G$ is a Lie group and $Γ$ is a lattice in $G$, let $O$ be an open subset of $X$, and let $F = \{g_t: t\ge 0\}$ be a one-parameter subsemigroup of $G$. Consider the set of points in $X$ whose $F$-orbit misses $O$; 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 $X$. This conjecture is proved when $X$ is compact or when $G$ is a simple Lie group of real rank $1$, or, most recently, for certain special flows on the space of lattices. In this paper we prove this conjecture for arbitrary $\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/Γ$. 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=\text{SL}_3(\mathbb{R})/\text{SL}_3(\mathbb{Z})$, and $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 $\{g_t\}_{t>0}$, under the map $h\mapsto h\text{SL}_3(\mathbb{Z})$ from $\text{SL}_3(\mathbb{R})$ to $X$. We give explicit necessary and sufficient Diophantine conditions on the line for equidistribution of each of the following families of measures on $X$: (1) $g_t$-translates of $ν$ as $t\to\infty$. (2) averages of $g_t$-translates of $ν$ over $t\in[0,T]$ as $T\to\infty$. (3) $g_{t_i}$-translates of $ν$ for some $t_i\to\infty$. We apply this dynamical result to show that Lebesgue-almost every point on the planar line $y=ax+b$ is not Dirichlet-improvable if and only if $(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 \geq 2$ and $\ell \geq 1$, any ${\pmb ξ} = \left(ξ_1, \dots , ξ_\ell \right) \in \mathbb{R}^\ell$, and any homogeneous function \linebreak $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 $ψ= \left(ψ_1, \dots , ψ_\ell \right): \mathbb{R}_{\geq 0} \to \left(\mathbb{R}_{>0}\right)^\ell$ for a generic element $f \circ g$ in the $\operatorname{SL}_n(\mathbb{R})$-orbit of $f$ to be (respectively, not to be) $ψ$-approximable at ${\pmb ξ} = (ξ_1,\dots,ξ_n)$: that is, for there to exist infinitely many (respectively, only finitely many) $\mathbf{v} \in \mathbb{Z}^n$ such that $\left|ξ_j - \left( f_j \circ g\right)(\mathbf{v})\right| \leq ψ_j(\|\mathbf{v}\|)$ for each $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 $f$ that do not satisfy our nonsingularity assumptions and prove similar results for these examples. Moreover, one can replace $\operatorname{SL}_n(\mathbb{R})$ above by any closed subgroup of $\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&#39;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&#39;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 $t_i\in\mathbb R_+$ for all ${0\leq i\leq m-1}$, and $Ψ:\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&#39;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 \times n$ matrix are governed by a trajectory in $\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&#39;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 $\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 $\mathbb{R}^2$ the top of the Dirichlet spectrum is not an isolated point.

preprint2021arXiv

Critical loci of convex domains in the plane

Let $K$ be a bounded convex domain in $\mathbb{R}^2$ symmetric about the origin. The critical locus of $K$ is defined to be the (non-empty compact) set of lattices $Λ$ in $\mathbb{R}^2$ of smallest possible covolume such that $Λ\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 $0$ and $1$.

preprint2021arXiv

Intrinsic Diophantine approximation on quadric hypersurfaces

We consider the question of how well points in a quadric hypersurface $M\subset\mathbb R^d$ can be approximated by rational points of $\mathbb Q^d\cap M$. This contrasts with the more common setup of approximating points in a manifold by all rational points in $\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 (&#39;86) and Kleinbock--Margulis (&#39;99).

preprint2021arXiv

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

Let $G$ be a Lie group, $Γ\subset G$ a discrete subgroup, $X=G/Γ$, and $f$ an affine map from $X$ to itself. We give conditions on a submanifold $Z$ of $X$ guaranteeing that the set of points $x\in X$ with $f$-trajectories avoiding $Z$ 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 $X$. 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&#39;s theorem

Let $X\cong \operatorname{SL}_2(\mathbb R)/\operatorname{SL}_2(\mathbb Z)$ be the space of unimodular lattices in $\mathbb R^2$, and for any $r\ge 0$ denote by $K_r\subset X$ the set of lattices such that all its nonzero vectors have supremum norm at least $e^{-r}$. These are compact nested subset{s} of $X$, with $K_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 $\mathbb R^2$ centered at the origin to derive an asymptotic formula for the volume of sets $K_r$ as $r\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 $X$ with respect to the family of shrinking targets $\{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&#39;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 $\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&#39;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.