2024/09/23 by Kleinbock, Dmitry, Moshchevitin, Nikolay, Warren, Jacqueline +1 · 2 citations
#11J13 - Simultaneous homogeneous approximation #11J54 #37A44 #Dynamical Systems (math.DS) #FOS: Mathematics #Number Theory (math.NT) #linear forms 11J13
paper · doi:10.48550/arxiv.2409.15607
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 ≥ 2 and for any non-increasing positive f there are totally irrational matrices A ∈ Mm,n(\mathbb R) such that for all large enough t there are p ∈ \mathbb Zm, q ∈ \mathbb Zn \smallsetminus \0\ with ‖q‖ ≤ t and ‖A q - p‖ ≤ f(t). We denote the collection of such matrices by UA^*m,n(f). We adapt Khintchine's argument to show that the sets UA^*m,n(f), and their weighted analogues UA^*m,n(f, w), intersect many manifolds and fractals, and have strong intersection properties. For example, we show that: When n ≥ 2, the set \bigcapw UA^*(f, w) , where the intersection is over all weights w, is nonempty, and moreover intesects many manifolds and fractals; For n ≥ 2, there are vectors in \mathbb Rn which are simultaneously k-singular for every k, in the sense of Yu; when n ≥ 3, UA^*1,n(f) + UA^*1,n(f) = \mathbb Rn. 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 Rn.