Quantitative Diophantine approximation with congruence conditions (Q2031991)

This paper is devoted to a quantitative version of the Khintchine-Groshev theorem with congruence conditions. A Schmidt-type asymptotic formula for a certain system of Diophantine inequalities with extra congruence conditions, is proven. A brief survey is devoted to the Khintchine-Groshev theorem and its refinement. The present results are explained and their connections to known results are described. The main result is one theorem whose proof is given with detail explanations. The authors note that ``their argument relies on a classical argument of Schmidt on counting generic lattice points, which in turn relies on a certain variance bound on the space of lattices''. Several auxiliary statements are proven.