The general inhomogeneous Khintchine–Groshev conjecture for critical dimensions

Let n,mn,m be positive integers with nm=2nm=2, and let Ψ=(Bq)qN\Psi=(B_q)_{q\in\mathbb{N}} be any sequence of balls in Rm/Zm\mathbb{R}^m/\mathbb{Z}^m. Let An,m(Ψ)\mathcal A_{n,m}(\Psi) denote the corresponding set of points satisfying the associated inhomogeneous approximation condition, equipped with Lebesgue measure |\cdot|. The general inhomogeneous Khintchine–Groshev conjecture. If

q=1qn1Bq=,\sum_{q=1}^\infty q^{n-1}|B_q|=\infty,

then

An,m(Ψ)=1.|\mathcal A_{n,m}(\Psi)|=1.

This strengthens the preceding conjecture by allowing the approximation balls to vary in position rather than requiring them to be concentric. The source states that the preceding conjecture would follow from this one; both remain open in the critical cases.

Sources & referencesView supporting material

Primary source

Demi Allen and Felipe A. Ramirez, “Independence inheritance and Diophantine approximation for systems of linear forms”, arXiv:2109.03929 (2021).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.