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.