arXiv++ Combinatorics

We prove that if $A=\{a_1,\dots ,a_{|A|}\}\subset \{1,2,\dots ,n\}$ is a Sidon set so that $|A|=n^{1/2}-L^\prime$, then $$a_m = m\cdot n^{1/2} + \mathcal O\left( n^{7/8}\right) + \mathcal O\left(L^{1/2}\cdot n^{3/4}\right)$$ where $L=\max\{0,L^\prime\}$. As an application of this, we give easy proofs of some previously derived results. We proceed on to proving that for a dense Sidon set $S$ and for any $\varepsilon >0$, we have $$\sum_{a\in S} a = \frac 12 n^{3/2} + \mathcal O \left (n^{11/8} \right )$$ for all $n\le N$ but at most $\mathcal O_{\varepsilon} \left (N^{\frac 45 + \varepsilon} \right )$ exceptions.

One of the many theorems Freiman proved, in the second half of the twentieth century, in the subject which later came to be known as "structure theory of set addition", was 'Freiman's $3k-4$ theorem' for subsets of $\Z$. In this article we introduce concept of a new `structure' on finite subsets of integers. Sets with this structure are quite useful in additive number theory in some contexts. Also we give some criterion for subsets to posses this structure. Then this is used to establish an analog of Freiman's $3k-4$ theorem for the groups $\Z \times G,$ where $G$ is any abelian group.

The study of `structure' on subsets of abelian groups, with small `doubling constant', has been well studied in the last fifty years, from the time Freiman initiated the subject. In \cite{DF} Deshouillers and Freiman establish a structure theorem for subsets of $\n$ with small doubling constant. In the current article we provide an alternate proof of one of the main theorem of \cite{DF}. Also our proof leads to slight improvement of the theorems in \cite{DF}.