A note on the number of \((k,l)\)-sum-free sets (Q1978061)

Seien \(k,\ell\in\mathbb{N}\) mit \(k>\ell\). Eine Menge \(A\subseteq \mathbb{N}\) heißt \((k,\ell)\)-Summen-frei (sum-free), wenn die Gleichung \[ x_1+ \cdots+ x_k=y_1 +\cdots+ y_\ell \] keine Lösung mit \(x_1+ \cdots+x_k\), \(y_1+ \cdots+ y_\ell A\) besitzt. Ferner sei \(\rho\) die kleinste natürliche Zahl, die nicht \(k-\ell\) teilt, und \(r=r_n\) \((0\leq r<\rho)\) ist durch \(r\equiv n\pmod\rho\) bestimmt; schließlich ist \(\varphi_r(x)\) die Anzahl der natürlichen Zahlen \(m\leq r\) mit ggT\((m,x)=1\) und \(\varphi(x)= \varphi_x(x)\). Das Hauptresultat der Arbeit ist in Theorem 2 enthalten: Für \(k>\ell\geq 3\) ist die Anzahl der \((k,\ell)\)-Summen-freien Teilmengen von \([1,n]\) gleich \[ \bigl(\varphi (\rho)+ \varphi_r(\rho) +o(1)\bigr) 2^{\lfloor n\rho \rfloor} \] unter einer gewissen Voraussetzung über die Größe von \(k-\ell\) in Beziehung zu \(\rho\).