Published online by Cambridge University Press: 08 April 2021
We prove that if $A \subseteq [X,\,2X]$ and $B \subseteq [Y,\,2Y]$ are sets of integers such that gcd (a, b) ⩾ D for at least δ|A||B| pairs (a, b) ε A × B then $|A||B|{ \ll _{\rm{\varepsilon }}}{\delta ^{ - 2 - \varepsilon }}XY/{D^2}$ . This is a new result even when δ = 1. The proof uses ideas of Koukoulopoulos and Maynard and some additional combinatorial arguments.
The first-named author is supported by a Simons Investigator Award and is grateful to the Simons Foundation for their support. The second-named author is supported by a Postdoctoral Fellowship with the Centre de Recherches Mathématiques and by a Junior Research Fellowship from Trinity College Cambridge.