On a Kurzweil type theorem via ubiquity (Q6547205)

Let \(\varepsilon\) be a positive real number and \(n\) and \(m\) be positive integers. Let \(A\in M_{m,n}(\mathbb R)\) be a non-singular matrix with \(\varepsilon\)-return sequence \((l_i)_{i\geq 1}\). Then the author proves that for any decreasing \(\psi:\mathbb R^+\to\mathbb R^+\) and \(0\leq s\leq m\) the \(s\)-dimensional Hausdorff measure of \(W_A(\psi)\) is given by \(H^s(W_A(\psi))=H^s([0,1]^m)\) if \(\sum_{i=1}^\infty 2^{l_in}\psi(2^{l_i})^s=\infty\) where \(W_A(\psi)\) denotes the set of \(\psi\)-approximable vectors for \(A\). Then the author proves for specific \(\psi\) when \(W_A(\psi)\) has full and zero Lebesgue measure. He also extends these results for local ubiquity systems which the author defined in his paper.