Extremal bases for finite cyclic groups (Q1187821)

Seien \(m\) und \(h\in \mathbb{N}\). Eine Menge \(A\) ganzer Zahlen heißt Basis der Ordnung \(h\) für die endliche zyklische Gruppe \(\mathbb{Z}/(m)\), wenn jede ganze Zahl \(n\) kongruent modulo \(m\) ist zu einer Summe von \(h\) Elementen aus \(A\). Sei \(m(h,A)\) die größte natürliche Zahl \(m\), so daß \(A\) eine Basis der Ordnung \(h\) für \(\mathbb{Z}/(m)\) ist. Für \(k\geq 1\) wird definiert \(m(h,k):=\max m(h,A)\), wobei das Maximum über alle Basen \(A\) mit \(| A| =k+1\) zu bilden ist. Eine Basis \(A\) der Ordnung \(h\) für \(\mathbb{Z}/(m)\) heißt extremal, wenn \(m(h,A)=m(h,k)\) ist. Ein Resultat der Arbeit (Theorem 1) lautet: Für festes \(k\geq 4\) und \(h\to\infty\) gilt \[ m(h,k)\geq \alpha_ k\left({256\over 125}\right)^{[k/4 ]}\left({h\over k}\right)^ k+O(h^{k-1}), \] wobei \(\alpha_ k=1\) für \(k\equiv 0,1\pmod 4\), \(\alpha_ k=4/3\) für \(k\equiv 2\pmod 4\) und \(\alpha_ k=27/16\) für \(k\equiv 3\pmod 4\). Unter Benutzung dieses Ergebnisses wird folgende Frage nach der Ordnung von Teilmengen asymptotischer Basen betrachtet: Eine Menge \(A\subseteq \mathbb{N}_ 0\) heißt asymptotische Basis der Ordnung \(h\), wenn jede genügend große natürliche Zahl als Summe von \(h\) Summanden aus \(A\) darstellbar ist; es sei dann \(g(A)\) die kleinste derartige Zahl \(h\), und für \(h\geq 2\) und \(k\geq 1\) wird definiert \[ G_ k(h):=\max_{\textstyle{{A\atop G(A)\leq h}}} \max_{F\in I_ k(A)}g(A\setminus F), \] wobei \(I_ k(A)=\{F\mid F\subseteq A; | F| = k; G(A\setminus F) < \infty\}\) ist. Dann wird gezeigt (Theorem 3) für \(k\geq 4\) und \(h\to \infty\) \[ G_ k(h)\geq \alpha_ k\left({256\over 125}\right)^{[k/4]}\left({h\over k+1}\right)^{k+1}+O(h^ k) \] mit den Werten \(\alpha_ k\) von oben.