\(B_ s\)-sequences (Q1059666)

Seien \(s,t,N\in {\mathbb{N}}\) mit \(2\leq s<t\). Eine Menge \(\{a_ 1,a_ 2,...,a_ t\}\subset {\mathbb{N}}\) \((1\leq a_ 1<a_ 2<...<a_ t=N)\) heißt \(B_ s\)-Folge der Länge t mit dem maximalen Element N, wenn alle Summen der Form \(a_{j_ 1}+a_{j_ 2}+...+a_{j_ s}(1\leq j_ 1\leq j_ 2\leq...\leq j_ s\leq t)\) voneinander verschieden sind. Mit N(s,t) wird der minimale Wert von N für gegebene s und t bezeichnet. Verff. untersuchen untere Abschätzungen für N(s,t) und zeigen für \(t\to \infty\) die Ungleichungen \[ N(2s,t)\geq t^{2s}/h_ s (s!)^ 2(1+o(1)), \] \[ N(2s-1,t)\geq t^{2s-1}/h_ s s! (s-1)! (1+o(1)), \] wobei \(h_ s=s\) für \(s=1,2,3\) und \(h_ s=\sqrt{125 s/36}\) für \(s\geq 4.\) Sodann wird der Begriff der \(B_ s\)-Folge folgendermaßen verallgemeinert: Seien \(A_ i=\{a_{i1},...,a_{it}\}\) \((0\leq a_{i1}<a_{i2}<...<a_{it}\leq N\); \(i=1,...,s)\) Mengen nichtnegativer ganzer Zahlen; dann hat die Folge \(A_ 1,A_ 2,...,A_ s\) die \(B_ s\)-Eigenschaft, wenn alle \(t^ s\) Summen der Form \(a_{1j_ 1}+a_{2j_ 2}:...+a_{sj_ s}\), wobei \(1\leq j_ n\leq t\) \((n=1,...,s)\), voneinander verschieden sind. Für diesen Fall werden ähnliche Abschätzungen gegeben wie oben.