{"id":"arxiv/2605.02064","url":"https://arxiv.org/abs/2605.02064","tags":["math.NT","math.CO"],"score":0,"title":"Gaps in Multiplicative Sidon Sets","domain":"math.NT","source":"arxiv","authors":["Wouter van Doorn","Pietro Monticone","Quanyu Tang"],"reviews":0,"subject":"math.NT","summary":"For a positive integer $n$, let $g(n)$ denote the infimum of all real numbers $L$ such that there exists a multiplicative Sidon set $A\\subseteq\\{1,2,\\dots,n\\}$ that intersects every interval $[x,x+L]\\subseteq[1,n]$. Sárközy asked for estimates on $g(n)$, and he in particular asked whether one has $g(n)\\le\\sqrt n$ for every $n\\in\\mathbb{N}$. We first show that this estimate does indeed hold, with a proof that was autonomously discovered and formally verified in Lean by Aristotle. Next, we improve the upper bound further and, with $ρ= \\frac{13-\\sqrt{69}}{10} 0$.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-05-03","reactions":{}}