The Duffin-Schaeffer type conjectures in various local fields
This paper discovers a new phenomenon about the Duffin-Schaeffer conjecture, which claims that λ(∩m=1∞∪n=m∞En)=1 if and only if ∑nλ(En)=∞, where λ denotes the Lebesgue measure on R/Z, En=En(ψ)=⋃(m,n)=1m=1n(nm−ψ(n),nm+ψ(n)), ψ is any non-negative arithmetical function. Instead of studying ∩m=1∞∪n=m∞En we introduce an even fundamental object ∪n=1∞En and conjecture there exists a universal constant C>0 such that λ(⋃n=1∞En)≥Cmin{∑n=1∞λ(En),1}. It is shown that this conjecture is equivalent to the Duffin-Schaeffer conjecture. Similar phenomena are found in the fields of p-adic numbers and formal Laurent series. As a byproduct, we answer conditionally a question of Haynes by showing that one can always use the quasi-independence on average method to deduce λ(∩m=1∞∪n=m∞En)=1 as long as the Duffin-Schaeffer conjecture is true. We also show among several others that two conjectures of Haynes, Pollington and Velani are equivalent to the Duffin-Schaeffer conjecture, and introduce for the first time a weighted version of the second Borel-Cantelli lemma to the study of the Duffin-Schaeffer conjecture.