Duffin–Schaeffer theorem

The Koukoulopoulos–Maynard theorem, also known as the Duffin-Schaeffer conjecture, is a theorem in mathematics, specifically, the Diophantine approximation proposed as a conjecture by R. J. Duffin and A. C. Schaeffer in 1941{{cite journal | last1=Duffin | first1=R. J. | last2=Schaeffer | first2=A. C. | title=Khintchine's problem in metric diophantine approximation | jfm=67.0145.03 | zbl=0025.11002 | journal=Duke Math. J. | volume=8 | issue=2 | pages=243–255 | year=1941 | doi=10.1215/S0012-7094-41-00818-9 }} and proven in 2019 by Dimitris Koukoulopoulos and James Maynard.{{Cite journal|last1=Koukoulopoulos|first1=Dimitris|last2=Maynard|first2=James|date=2020|title=On the Duffin-Schaeffer conjecture|url=https://www.jstor.org/stable/10.4007/annals.2020.192.1.5|journal=Annals of Mathematics|volume=192|issue=1|pages=251|doi=10.4007/annals.2020.192.1.5|jstor=10.4007/annals.2020.192.1.5|arxiv=1907.04593|s2cid=195874052}} It states that if $f : \mathbb{N} \rightarrow \mathbb{R}^+$ is a real-valued function taking on positive values, then for almost all $\alpha$ (with respect to Lebesgue measure), the inequality

: $\left| \alpha - \frac{p}{q} \right| < \frac{f(q)}{q}$

has infinitely many solutions in coprime integers $p,q$ with $q > 0$ if and only if

: $\sum_{q=1}^\infty \varphi(q) \frac{f(q)}{q} = \infty,$

where $\varphi(q)$ is Euler's totient function.

A higher-dimensional analogue of this conjecture was resolved by Vaughan and Pollington in 1990.{{cite journal |last1=Pollington |first1=A.D. |last2=Vaughan |first2=R.C. |author2-link=Bob Vaughan |year=1990 |title=The k dimensional Duffin–Schaeffer conjecture |url=http://www.numdam.org/item/JTNB_1989__1_1_81_0/ |journal=Mathematika |volume=37 |pages=190–200 |doi=10.1112/s0025579300012900 |issn=0025-5793 |s2cid=122789762 |zbl=0715.11036 |number=2|url-access=subscription }}Harman (2002) p. 69

Introduction

That existence of the rational approximations implies divergence of the series follows from the Borel–Cantelli lemma.Harman (2002) p. 68 The converse implication is the crux of the conjecture.

There have been many partial results of the Duffin–Schaeffer conjecture established to date. Paul Erdős established in 1970 that the conjecture holds if there exists a constant $c > 0$ such that for every integer $n$ we have either $f(n) = c/n$ or $f(n) = 0$ .{{ cite book | last=Montgomery | first=Hugh L. | author-link=Hugh Montgomery (mathematician) | title=Ten lectures on the interface between analytic number theory and harmonic analysis | series=Regional Conference Series in Mathematics | volume=84 | location=Providence, RI | publisher=American Mathematical Society | year=1994 | isbn=978-0-8218-0737-8 | zbl=0814.11001 | page=204 }}Harman (1998) p. 27 This was strengthened by Jeffrey Vaaler in 1978 to the case $f(n) = O(n^{-1})$ .{{cite web|url=https://math.osu.edu/sites/math.osu.edu/files/duffin-schaeffer-conjecture.pdf|title=Duffin-Schaeffer Conjecture|date=2010-08-09|website=Ohio State University Department of Mathematics|access-date=2019-09-19}}Harman (1998) p. 28 More recently, this was strengthened to the conjecture being true whenever there exists some $\varepsilon > 0$ such that the series

: $\sum_{n=1}^\infty \left(\frac{f(n)}{n}\right)^{1 + \varepsilon} \varphi(n) = \infty.$

This was done by Haynes, Pollington, and Velani.A. Haynes, A. Pollington, and S. Velani, The Duffin-Schaeffer Conjecture with extra divergence, arXiv, (2009), https://arxiv.org/abs/0811.1234

In 2006, Beresnevich and Velani proved that a Hausdorff measure analogue of the Duffin–Schaeffer conjecture is equivalent to the original Duffin–Schaeffer conjecture, which is a priori weaker. This result was published in the Annals of Mathematics.{{cite journal | last1=Beresnevich | first1=Victor | last2=Velani | first2=Sanju | title=A mass transference principle and the Duffin-Schaeffer conjecture for Hausdorff measures | journal=Annals of Mathematics |series=Second Series | volume=164 | number=3 | year=2006 | pages=971–992 | zbl=1148.11033 | issn=0003-486X | doi=10.4007/annals.2006.164.971| arxiv=math/0412141 | s2cid=14475449 }}

Notes

References

{{cite book | last=Harman | first=Glyn | title=Metric number theory | series=London Mathematical Society Monographs. New Series | volume=18 | location=Oxford | publisher=Clarendon Press | year=1998 | isbn=978-0-19-850083-4 | zbl=1081.11057 }}
{{cite book | last=Harman | first=Glyn | author-link=Glyn Harman | chapter=One hundred years of normal numbers | editor1-last=Bennett | editor1-first=M. A. | editor2-last=Berndt | editor2-first=B.C. | editor2-link=Bruce C. Berndt | editor3-last=Boston | editor3-first=N. | editor3-link=Nigel Boston | editor4-last=Diamond | editor4-first=H.G. | editor5-last=Hildebrand | editor5-first=A.J. | editor6-last=Philipp | editor6-first=W. | title=Surveys in number theory: Papers from the millennial conference on number theory | location=Natick, MA | publisher=A K Peters | pages=57–74 | year=2002 | isbn=978-1-56881-162-8 | zbl=1062.11052 }}

External links

[https://www.quantamagazine.org/new-proof-settles-how-to-approximate-numbers-like-pi-20190814/ Quanta magazine article about Duffin-Schaeffer conjecture.]
[https://www.youtube.com/watch?v=1LoSV1sjZFI Numberphile interview with James Maynard about the proof.]

Category:Conjectures

Category:Conjectures that have been proved

Category:Diophantine approximation

Duffin–Schaeffer theorem

Introduction

See also

Notes

References

External links