Hausdorff measure of sets of Dirichlet non-improvable affine forms (Q2143654)

Based on authors' abstract: For a decreasing real valued function \(\psi\), a pair \((A, b)\) of a real \(m\times n\) matrix \(A\) and \(b\in\mathbb R^m\) is said to be \(\psi\)-Dirichlet improvable if there exist \(\mathbf{p}\in\mathbb Z^m\) and \(\mathbf{q}\in\mathbb Z^n\) such that \[ \|A\mathbf{q}+\mathbf{b}-\mathbf{p}\|^m<\psi(T)\quad\hbox{and}\quad \|q\|^n<T \] for all sufficiently large \(T\), where \(\|\cdot\|\) stands for the supremum norm of \(\mathbb R^k\) given by \(\|\mathbf{x}\|=\max_{1\le i\le k}|x_i|\). \textit{D. Kleinbock} and \textit{N. Wadleigh} [Compos. Math. 155, No. 7, 1402--1423 (2019; Zbl 1429.11124)] established the zero-one law for the Lebesgue measure of the \(\psi\)-Dirichlet non-improvable set. In this paper, the authors prove a similar criterion for the Hausdorff measure of the \(\psi\)-Dirichlet non-improvable set. Also, we extend this result to the singly metric case that \(\mathbf{b}\) is fixed. As an application, by considering \(\psi_a\) with \(a=\frac{m w}{n}\), we compute the Hausdorff dimension of the set of pairs \((A,\mathbf{b})\) with uniform Diophantine exponents \(\hat{w}(A,\mathbf{b})\le w\).