Inhomogeneous Duffin–Schaeffer conjecture for systems of linear forms

From papers

Fix m,nNm,n\in\mathbb N. Let yRm\mathbf y\in\mathbb R^m and define, for qZn\mathbf q\in\mathbb Z^n,

P(q)={p+y:pZm, gcd(pi,q)=1, i=1,,m}.P(\mathbf q)=\{\mathbf p+\mathbf y:\mathbf p\in\mathbb Z^m,\ \gcd(p_i,\mathbf q)=1,\ i=1,\dots,m\}.

Here Wn,mP(ψ)W_{n,m}^P(\psi) is the corresponding limsup set and m\operatorname{m} denotes Lebesgue measure. Inhomogeneous Duffin–Schaeffer conjecture.

m(Wn,mP(ψ))={0if qZn{0}(φ(gcd(q))ψ(q)gcd(q))m<,1if qZn{0}(φ(gcd(q))ψ(q)gcd(q))m=.\operatorname{m}(W_{n,m}^P(\psi))=\begin{cases}0&\text{if }\displaystyle\sum_{\mathbf q\in\mathbb Z^n\setminus\{\mathbf0\}}\left(\frac{\varphi(\gcd(\mathbf q))\psi(\mathbf q)}{\gcd(\mathbf q)}\right)^m<\infty,\\1&\text{if }\displaystyle\sum_{\mathbf q\in\mathbb Z^n\setminus\{\mathbf0\}}\left(\frac{\varphi(\gcd(\mathbf q))\psi(\mathbf q)}{\gcd(\mathbf q)}\right)^m=\infty.\end{cases}

This is the inhomogeneous analogue of the Duffin–Schaeffer theorem for systems of linear forms. The source presents it as a conjectural version, without supplying evidence of resolution.

Progress summary

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

Sources & referencesView supporting material

Primary source

Felipe A. Ramirez, “Metric bootstraps for limsup sets”, arXiv:2405.03811 (2025).

Solutions 0

No solutions have been posted yet.