On generalized perfect difference sets constructed from Sidon sets (Q2231703)

Let \(A\) a nonempty set of integers, for every integer \(n,\) denote by \(\delta_{A}(n)\) the number of pairs \(\left( a,a^{\prime }\right) \in A\times A\) such that \(n=a-a^{\prime },\) and denote by \(\sigma _{A}(n)\) the number of pairs \(\left( a,a^{\prime }\right) \in A\times A\) such that \(n=a+a^{\prime }\). \(A\) is called a \textit{perfect difference} set if \(\delta _{A}(n)=1\) for every \(n\neq 0,\) namely. every integer has a unique representation as the difference of two elements of \(A\). \(A\) is called a \textit{Sidon set} if \(\sigma _{A}(n)\leq 2\) for every \(n,\) that is. every integer has a unique representation as the sum of two elements (not necessarily differents) of \(A,\) equivalently if \(\delta_{A}(n)\leq 1\) for all integer \(n \neq 0.\) The counting function \(A(x)\) counts the number of positive elements of \(A\) not exceeding \(x.\) In this paper, Jiu-Hui Fang extended two theorems of \textit{J. Cilleruelo} and \textit{M. B. Nathanson} [Combinatorica 28, No. 4, 401--414 (2008; Zbl 1199.11045)] relative to the construction of dense perfect difference sets from Sidon sets. \textbf{Theorem 1.} Let \(f:\mathbb{N} \longrightarrow \mathbb{N}\) be an increasing function satisfaying \(f(n)\geq 2\) for any positive integer \(n,\) then for every Sidon set \(B\) and every function \(w(x)\rightarrow \infty \), there exist a set of positive integers \(A\) such that: \begin{itemize} \item[1.] \(\delta _{A}(n)=f(n)\) for every positive integer \(n;\) \item[2.] \(B(x/3)-w(x)\leq A(x)\leq B(x/3)+w(x)\) for all \(x\geq C_{f,B,w}\), where \(C_{f,B,w}\) is an absolute constant depending only of \(f,B\) and \(w.\) \end{itemize} \textbf{Theorem 2.} Let \(f:\mathbb{N} \longrightarrow \mathbb{N} \) be an function satisfaying \(f(n)\geq 2\) for any positive integer \(n,\) then exist a set of positive integers \(A\) such that \(\delta _{A}(n)=f(n)\) for every positive integer \(n\) and \[ \lim \sup_{x\rightarrow \infty }\frac{A(x)}{\sqrt{x}}\geq \frac{1}{\sqrt{2}}. \] How the author says, the main idea of the proofs are similar to the article of Cilleruelo and Nathanson.