Abstract:Given a norm $\nu$ on $\mathbb{R}^2$, the set of $\nu$-Dirichlet improvable numbers $\mathbf{DI}_\nu$ was defined and studied in the papers of Andersen-Duke (Acta Arith. 2021) and Kleinbock-Rao (Internat. Math. Res. Notices 2022). When $\nu$ is the supremum norm, $\mathbf{DI}_\nu = \mathbf{BA}\cup \mathbb{Q}$, where $\mathbf{BA}$ is the set of badly approximable numbers. Each of the sets $\mathbf{DI}_\nu$, like $\mathbf{BA}$, is of measure zero and satisfies the winning property of Schmidt. Hence for every norm $\nu$, $\mathbf{BA} \cap \mathbf{DI}_\nu$ is winning and thus has full Hausdorff dimension. In the present article we prove the following dichotomy phenomenon: either $\mathbf{BA} \subset \mathbf{DI}_\nu$ or else $\mathbf{BA} \smallsetminus \mathbf{DI}_\nu$ has full Hausdorff dimension. We give several examples for each of the two cases. The dichotomy is based on whether the critical locus of $\nu$ intersects a precompact $g_t$-orbit, where $\{g_t\}$ is the one-parameter diagonal subgroup of $\operatorname{SL}_2(\mathbb{R})$ acting on the space $X$ of unimodular lattices in $\mathbb{R}^2$. Thus the aforementioned dichotomy follows from the following dynamical statement: for a lattice $\Lambda\in X$, either $g_\mathbb{R} \Lambda$ is unbounded (and then any precompact $g_{\mathbb{R}_{>0}}$-orbit must eventually avoid a neighborhood of $\Lambda$), or not, in which case the set of lattices in $X$ whose $g_{\mathbb{R}_{>0}}$-trajectories are precompact and contain $\Lambda$ in their closure has full Hausdorff dimension.

The dimension of the set of $ψ$-badly approximable points in all ambient dimensions; on a question of Beresnevich and Velani

A remark on the set of exactly approximable vectors in the simultaneous case

Fourier Dimension Estimates for Sets of Exact Approximation Order: The Badly-Approximable Case

Hausdorff dimension and exact approximation order in $\mathbb{R}^n$

Hausdorff dimension of differences of badly approximable sets

Diophantine approximation and the Mass Transference Principle: incorporating the unbounded setup

Quantitative Diophantine approximation and Fourier dimension of sets: Dirichlet non-improvable numbers versus well-approximable numbers

Dimension estimates for badly approximable affine forms

Bad($\mathbf{w}$) is hyperplane absolute winning

Hausdorff dimension for the set of points connected with the generalized Jarník-Besicovitch set

Badly approximable points on self-affine sponges and the lower Assouad dimension

New Hausdorff type dimensions and optimal bounds for bilipschitz invariant dimensions

Hausdorff dimension and infinitesimal similitudes on complete metric spaces

Dimension drop for diagonalizable flows on homogeneous spaces

Bad is null

Geometric and arithmetic aspects of approximation vectors

A dichotomy phenomenon for Bad minus normed Dirichlet

The Duffin-Schaeffer Conjecture for multiplicative Diophantine approximation

HAUSDORFF DIMENSIONS OF SOME LIMINF SETS IN DIOPHANTINE APPROXIMATION

Dimension of Diophantine approximation and applications