5
$\begingroup$

If I have a range from 0-N (0,1,2,3...N) and I want to cover that set with some number of Sidon sets, is there a tighter bound than N for how many sets I would need.

For instance: 0,1,2,3 can be split into Sidon Sets {{0,1,2}, {3}}

clearly any range 0-N can be made into sets {{0},{1} ...{N}} so the limit is less than or equal to N.

Is there a known bound?

$\endgroup$
1
  • 3
    $\begingroup$ Is $\{0,1,2\}$ a Sidon set? I used to think that 1+1=0+2 counts as a non-trivial coincidence of sums. $\endgroup$ Commented Jan 4 at 10:49

1 Answer 1

8
$\begingroup$

The minimal number of such Sidon sets is $(1+o(1))\sqrt N$.

On the one hand, any Sidon set in $[0,N]$ has size at most $\sqrt N+O(\sqrt[4]N)$ (due to Erdős and Turán), hence the minimal number of Sidon sets that cover $[0,N]$ is at least $\sqrt N+O(\sqrt[4]N)$. More precisely, Lindström’s bound implies that one needs at least $\sqrt N-\sqrt[4]N$ sets.

For the upper bound, observe that if $S$ is any Sidon set, then the translates of $S$ are nearly disjoint: $|(S+a)\cap(S+b)|\le1$ for any $a\ne b$. (Sidon sets are Golomb rulers, but if $u\ne v$ belong to $(S+a)\cap(S+b)$, then $u-v$ is the difference of two different pairs of elements of $S$.) Thus, if $|S|=s$, then the $s$ sets $S-a$ for $a\in S$ have only the element $0$ in their pairwise intersections, and as such cover $s^2-s+1$ distinct elements.

This holds not just for Sidon sets in $\mathbb Z$ (where we have an issue that some elements covered by the translates stick out of $[0,N]$), but also for Sidon sets in any finite abelian group. In particular, let $p\sim\sqrt N$ be the least odd prime power such that $m=p^2+p+1>N$, and let $S$ be a Sidon set of size $p+1$ in the cyclic group $C_m$, constructed by Singer. Then the $p+1$ translates $S-a$ for $a\in S$ (computed in $C_m$, i.e., modulo $m$) cover all $(p+1)^2-(p+1)+1=m$ elements of $C_m$. If we identify $C_m$ with $[0,m)$, then these sets are also Sidon sets in $\mathbb Z$, and they cover $[0,m)\supseteq[0,N]$.

$\endgroup$
5
  • $\begingroup$ One can improve this to $\sim \sqrt N$. Choose $p$ minimal so that $p^2+p+1 > N$ and use the Singer construction of a perfect difference in the cyclic group of order $p^2+p+1$. There cannot be a gap larger than about $N^{1/2}$, by the Erdős--Turan bound. $\endgroup$ Commented Jan 4 at 12:12
  • $\begingroup$ Ah, this is good to know. Though I don’t quite follow the argument. Why cannot there be a gap of size larger than about $\sqrt N$? I can see that if there is a gap of size $g$, then we get a Sidon set of size $p+1$ in $[0,p^2+p+1-g)$, which implies $p+1<\sqrt{p^2+p+1-g}+\sqrt[4]{p^2+p+1-g}+1$ by the Lindström bound. But this only bounds $g$ by $2p^{3/2}\sim2N^{3/4}$ or so, not $N^{1/2}$. $\endgroup$ Commented Jan 4 at 14:11
  • $\begingroup$ Good point, that argument doesn't quite work. $\endgroup$ Commented Jan 4 at 14:33
  • 1
    $\begingroup$ Your suggestion is on the right track, though. Whatever the maximal gap size is, I believe $p+1$ translates (non-consecutive) of Singer’s set do cover the whole cyclic group; I’ve updated the answer. $\endgroup$ Commented Jan 4 at 17:20
  • $\begingroup$ beautiful answer! $\endgroup$ Commented Jan 4 at 19:10

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .