The Bose-Chowla argument for Sidon sets (Q2162784)

Let \(h\ge 2\) be an integer and \(A=(A_1,\ldots,A_h)\) be an \(h\)-tuple of sets of integers. Consider the linear form \(\varphi=c_1x_1+c_2x_2+\cdots+c_hx_h\), where \(c_1,\ldots,c_h\) are nonzero integers. Denote by representation function \(R_{A,\varphi}(n)\) the number of \(h\)-tuples \((a_1,\ldots,a_h)\in A_1\times\ldots\times A_h\) such that \(\varphi(a_1,\ldots,a_h)=n\). The \(h\)-tuple \(A\) is called a \(\varphi\)-Sidon system of multiplicity \(g\) if \(R_{A,\varphi}(n)\le g\) for all integers \(n\). For every positive integer \(g\), let \(F_{\varphi,g}(n)\) be the largest integer \(q\) such that there exists a \(\varphi\)-Sidon system \(A=(A_1,\ldots,A_h)\) of multiplicity \(g\) with \(A_i\subseteq [1,n]\) and \(|A_i|=q\) for all \(i=1,\ldots,h\). In this paper, as a main result, the author proves that: \begin{itemize} \item[(i)] for all linear forms \(\varphi\), \[ \limsup_{n\rightarrow\infty}\frac{F_{\varphi,g}(n)}{n^{1/h}}<\infty. \] \item[(ii)] for linear forms \(\varphi\) whose coefficients \(c_i\) satisfy a certain divisibility condition, \[ \liminf_{n\rightarrow\infty}\frac{F_{\varphi,h!}(n)}{n^{1/h}}\ge 1. \] \end{itemize}