Sidon sets with $\Delta$-separated sumsets in additive number theory

Technische Samenvatting: Sidon-verzamelingen met $\Delta$-gescheiden somverzamelingen in de Additievegetallentheorie

1. Probleemstelling en Definities
Dit artikel behandelt het probleem van het construeren en begrenzen van de grootte van deelverzamelingen van gehele getallen met specifieke scheidingseigenschappen in hun somverzamelingen. Laat $A$ een niet-lege verzameling van gehele getallen zijn en $\Delta$ een positief geheel getal. De verzameling $A$ wordt gedefinieerd als $\Delta$-gescheiden als $|a - a'| \ge \Delta$ voor alle verschillende $a, a' \in A$.

Het artikel generaliseert het klassieke concept van $B_h$-verzamelingen (waarbij elke element in de $h$-voudige somverzameling $hA$ een unieke representatie heeft). Een verzameling $A$ is een $B_h$-verzameling als $r_{A,h}(n) \le 1$ voor alle $n$, waarbij $r_{A,h}(n)$ het aantal $h$-tuples telt die optellen tot $n$. Een $B_{h,\Delta}$-verzameling is een $B_h$-verzameling waarvan de somverzameling $hA$ $\Delta$-gescheiden is. Specifiek, voor een $B_{2,\Delta}$-verzameling (een Sidon-verzameling met een $\Delta$-gescheiden somverzameling), is de voorwaarde dat voor alle $a, b, c, d \in A$ met $\{a, b\} \neq \{c, d\}$, geldt dat $|(a+b) - (c+d)| \ge \Delta$.

Het primaire doel is om $F_{h,\Delta}(n)$ te bepalen, de kardinaliteit van de grootste $B_{h,\Delta}$-verzameling die wordt bevat in het gehele interval $\{1, 2, \dots, n\}$. Het artikel streeft ernaar bekende resultaten voor klassieke $B_h$-verzamelingen (waarbij $\Delta=1$) uit te breiden naar het geval van $\Delta$-gescheidenheid en om $F_{h,\Delta}(n)$ te berekenen of te begrenzen.

2. Methodologie
Het artikel maakt gebruik van een combinatie van constructieve methoden en combinatorische ongelijkheden:

• Dilatie-constructie: De auteur maakt gebruik van de $\Delta$-dilatie van een verzameling, gedefinieerd als $\Delta^* A = \{ \Delta a : a \in A \}$. Lemma 2 stelt vast dat $\Delta^* A$ een $B_{h,\Delta}$-verzameling is dan en slechts dan als $A$ een $B_h$-verzameling is. Dit maakt de vertaling van ondergrenzen van klassieke $B_h$-verzamelingen naar $B_{h,\Delta}$-verzamelingen mogelijk.
• Getallentheorie van priemgetallen: Om ondergrenzen vast te stellen, vertrouwt het artikel op constructies van $B_h$-verzamelingen door Bose, Bose-Chowla, Chowla en Singer, die bestaan voor priemmacht-ordes $q$. Deze worden gecombineerd met de resultaten van Runbo Li over de distributie van priemgetallen in korte intervallen ($m - m^\theta < q < m$ met $\theta = 0.52$) om de existentie van geschikte verzamelingen binnen het interval $\{1, \dots, n\}$ te waarborgen.
• Combinatorisch tellen en ongelijkheden: Voor bovengrenzen wordt de Erdős-Turán-argumentatie aangepast. Er wordt gebruikgemaakt van de Cauchy-Schwarz ongelijkheid bij het tellen van paren binnen verschuivende intervallen $I_{u,m}$. Een cruciale stap betreft Lemma 4, dat bewijst dat een verzameling $A$ een $B_{2,\Delta}$-verzameling is dan en slechts dan als deze een "$\Delta$-gescheiden unieke verschilverzameling" bezit. Deze equivalentie stelt de auteur in staat om het aantal verschillende verschillen in de verzameling te begrenzen.

3. Belangrijkste Bijdragen en Resultaten

• Ondergrens voor $F_{h,\Delta}(n)$:
  Theorem 1 geeft een ondergrens voor de grootte van de grootste $B_{h,\Delta}$-verzameling in $\{1, \dots, n\}$. Voor $h \ge 2$ en $\delta = 0.48$, voor alle voldoende grote $n$:
  $$F_{h,\Delta}(n) > \left(\frac{n}{\Delta}\right)^{1/h} + O\left(n^{(1/h) - \delta}\right) + O(1)$$
  Corollary 1 specialiseert dit naar $B_{2,\Delta}$-verzamelingen (Sidon-verzamelingen), waarbij $|A'| > (n/\Delta)^{1/2} + O(n^{0.02})$.

• Bovengrens voor $B_{2,\Delta}$-verzamelingen:
  Theorem 2 stelt een bovengrens vast voor de grootte van een $B_{2,\Delta}$-verzameling die wordt bevat in $\{1, \dots, n\}$ (waarbij $n \ge \Delta + 2$):
  $$|A| < \left(\frac{2n}{\Delta}\right)^{1/2} + O(n^{1/4})$$
  Dit resultaat breidt de klassieke Erdős-Turán bovengrens ($|A| \le n^{1/2} + O(n^{1/4})$) uit naar het $\Delta$-gescheiden geval, hoewel met een leidende constante van $\sqrt{2}$ in plaats van $1$.

• Asymptotische Limieten:
  Corollary 2 leidt het asymptotische gedrag af van de ratio tussen de verzettsgrootte en de intervalschaling:
  $$1 \le \liminf_{n \to \infty} \frac{F_{2,\Delta}(n)}{\sqrt{n/\Delta}} \le \limsup_{n \to \infty} \frac{F_{2,\Delta}(n)}{\sqrt{n/\Delta}} \le \sqrt{2}$$
  Het artikel merkt op dat de limiet zelfs in het klassieke geval ($\Delta=1$) onbekend is.

• Verfijning van de Constante van de Bovengrens:
  In de "Note" sectie erkent de auteur dat, hoewel het bewijs in het artikel een constante van $\sqrt{2}$ oplevert, een daaropvolgend argument van O'Bryant (adaptatie van Linström) de sterkere ongelijkheid $|A| < (n/\Delta)^{1/2} + O(n^{1/4})$ bewijst. Dit impliceert dat de limiet van de ratio inderdaad 1 is voor alle $\Delta \ge 1$.

4. Betekenis en Openstaande Problemen
De betekenis van dit werk ligt in het formeel definiëren en analyseren van $B_{h,\Delta}$-verzamelingen, waarmee de brug wordt geslagen tussen de klassieke additieve getallentheorie en verzamelingen met scheidingsrestricties. Het slaagt erin de constructie van grote $B_h$-verzamelingen te generaliseren naar de $\Delta$-gescheiden context en biedt de eerste expliciete bovengrenzen voor deze verzamelingen.

De auteur identificeert verschillende openstaande problemen voor toekomstig onderzoek:

1. Het uitbreiden van bekende resultaten voor $B_h[g]$-verzamelingen naar $B_{h,\Delta}[g]$-verzamelingen.
2. Het berekenen van de exacte waarde van $F_{h,\Delta}[g](n)$ voor alle $h \ge 2, g \ge 1$.
3. Het bepalen of de limiet $\lim_{n \to \infty} F_{h,\Delta}[g](n) / (n/\Delta)^{1/h}$ bestaat.
4. Het onderzoeken van het aantal en de structurele classificatie van maximale $B_{h,\Delta}$-verzamelingen binnen $\{1, \dots, n\}$.

Het werk blijft bescheiden in zijn claims; het presenteert grenzen en structurele lemma's, terwijl het de resolutie van de exacte asymptotische limiet en classificatieproblemen overlat aan verder onderzoek of latere literatuur (zoals blijkt uit de verwijzing naar de verbetering van de constante door O'Bryant).