Source author record

Dmitry Kleinbock

Dmitry Kleinbock appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

28works
3topics
4close collaborators

Actions

Connect this record

Log in to claim

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.

Published work

28 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'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 $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'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'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 ('86) and Kleinbock--Margulis ('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'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'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'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 $S$-numbers and absolute Schmidt games

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

preprint2015arXiv

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

The set of badly approximable $m \times n $ matrices is known to have Hausdorff dimension $mn $. Each such matrix comes with its own approximation constant $c$, and one can ask for the dimension of the set of badly approximable matrices with approximation constant greater than or equal to some fixed $c$. 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 $p$-adic Littlewood conjecture

Let $|| \cdot ||$ denote the distance to the nearest integer and, for a prime number $p$, let $| \cdot |_p$ denote the $p$-adic absolute value. In 2004, de Mathan and Teulié asked whether $\inf_{q \ge 1} \, q \cdot || q α|| \cdot | q |_p = 0$ holds for every badly approximable real number $α$ and every prime number $p$. 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)$ with $p$ 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 $\{g_t\}\subset G$ and unipotent subgroups $U\subset G$, $g_t$-trajectories of almost all points on all $U$-orbits on $G/Γ$ are equidistributed with respect to continuous compactly supported functions $φ$ on $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 $\R^d$. For the first part we use a method based on effective double equidistribution of $g_t$-translates of $U$-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\times n$ matrices over $\Bbb R$ is introduced and studied. This notion generalises the one of non-planarity in $\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 $S^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 $α\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 $C^1$ incompressible

We prove that the countable intersection of $C^1$-diffeomorphic images of certain Diophantine sets has full Hausdorff dimension. For example, we show this for the set of badly approximable vectors in $\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 $Y_0$ be a not very well approximable $m\times n$ matrix, and let $M$ be a connected analytic submanifold in the space of $m\times n$ matrices containing $Y_0$. Then almost all $Y\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 ${\bold R}^n$. The proofs are based on generalized quantitative nondivergence estimates for translates of measures on the space of lattices.