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.

Hausdorff dimension of differences of badly approximable sets

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

A dichotomy phenomenon for Bad minus normed Dirichlet

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

Badly approximable numbers for sequences of balls

Hausdorff dimension of certain sets arising in continued fraction expansions

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

Dimension of Diophantine approximation and applications

Hausdorff dimension of sets with restricted, slowly growing partial quotients in semi-regular continued fractions

Bad is null

Dimension estimates for badly approximable affine forms

Dimension Functions on the Spectrum over Bounded Geodesics and Applications to Diophantine Approximation

New Hausdorff type dimensions and optimal bounds for bilipschitz invariant dimensions

Schmidt Game and Fat Cantor Sets

Hausdorff dimension, diverging Schottky representations and the infinite dimensional hyperbolic space

Hausdorff Dimensions of Sets Related to Lüroth Expansion

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

Badly approximable grids and k-divergent lattices

Dimension Of Besicovitch-Eggleston Sets In Countable Symbolic Space

Inhomogeneous Diophantine Approximation on $M_0$-sets

Metric Results on Sumsets and Cartesian Products of Classes of Diophantine Sets