Inhomogeneous Duffin–Schaeffer conjecture for systems of linear forms

About 2 years old · traced to

Fix m,n∈Nm,n\in\mathbb N. Let y∈Rm\mathbf y\in\mathbb R^m and define, for q∈Zn\mathbf q\in\mathbb Z^n,

P(q)={p+y:p∈Zm, 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 ∑q∈Zn∖{0}(φ(gcd⁡(q))ψ(q)gcd⁡(q))m<∞,1if ∑q∈Zn∖{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.

References

Primary source

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

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.