Independence inheritance and Diophantine approximation for systems of linear forms

DOI10.1093/IMRN/RNAC152MaRDI QIDQ6377174arXivWikidataFDO

Authors Demi Allen, Felipe A. Ramírez

Publication date 8 September 2021

Published in arXiv

Full work available at URL https://doi.org/10.1093/IMRN/RNAC152

Mathematics Subject Classification ID

Simultaneous homogeneous approximation, linear forms (11J13) Measures of irrationality and of transcendence (11J82) Metric theory (11J83)

arXiv classification

math.NT

Abstract: The classical Khintchine-Groshev theorem is a generalization of Khintchine's theorem on simultaneous Diophantine approximation, from approximation of points in $mathbb{R}^m$ to approximation of systems of linear forms in $mathbb{R}^{nm}$. In this paper, we present an inhomogeneous version of the Khintchine-Groshev theorem which does not carry a monotonicity assumption when $nm>2$. Our results bring the inhomogeneous theory almost in line with the homogeneous theory, where it is known by a result of Beresnevich and Velani (2010) that monotonicity is not required when $nm>1$. That result resolved a conjecture of Beresnevich, Bernik, Dodson, and Velani (2009), and our work resolves almost every case of the natural inhomogeneous generalization of that conjecture. Regarding the two cases where $nm=2$, we are able to remove monotonicity by assuming extra divergence of a measure sum, akin to a linear forms version of the Duffin-Schaeffer conjecture. When $nm=1$ it is known by work of Duffin and Schaeffer (1941) that the monotonicity assumption cannot be dropped. The key new result is an independence inheritance phenomenon; the underlying idea is that the sets involved in the $((n+k)imesm)$-dimensional Khintchine-Groshev theorem ($kgeq0$) are always $k$-levels more probabilistically independent than the sets involved the $(nimesm)$-dimensional theorem. Hence, it is shown that Khintchine's theorem itself underpins the Khintchine-Groshev theory.

This page was built for publication: Independence inheritance and Diophantine approximation for systems of linear forms

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6377174)