Singularity, weighted uniform approximation, intersections and rates

TL;DR

This paper extends classical approximation arguments to show that certain sets of singular matrices intersect many manifolds and fractals, revealing strong intersection properties and new bounds on singularity rates.

Contribution

It adapts Khintchine's argument to establish intersection properties of singular matrices with manifolds and fractals, and provides new bounds on singularity rates in analytic submanifolds.

Findings

The set of matrices singular for all weights intersects many manifolds and fractals.

Existence of vectors in ${f R}^n$ that are simultaneously $k$-singular for all $k$.

Sum of certain singular sets covers ${f R}^n$ when $n \\geq 3$.

Abstract

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$.