Infinite \(B_2[g]\) sequences (Q5957371)

Eine Menge \(A\subset \mathbb{N}\) mit der Eigenschaft, dass für alle \(n\in \mathbb{N}\) die Gleichung \(a+a'=n\) mit \(a,a'\in A\), \(a\leq a'\) höchstens \(g\) Lösungen hat, heißt \(B_2[g]\)-Folge. Es wird gezeigt: Für alle \(g\geq 2\) gibt es eine unendliche \(B_2[g]\)-Folge, so dass \[ \limsup_{x\to\infty} \frac{A(x)} {\sqrt{x}}= \sqrt{\frac 98} \sqrt{g-1} \] (\(A(x)\) Anzahlfunktion der Menge \(A\)). Für kleine Werte von \(g\) erhalten die Verff. bessere Abschätzungen, z.B. gibt es eine \(B_2[2]\)-Folge \(A\) mit \[ \limsup_{x\to\infty} \frac{A(x)} {\sqrt{x}}= \sqrt{\frac 32}. \]