On an application of higher energies to Sidon sets

A family $\mathcal{F}\subset 2^G$ of subsets of an abelian group $G$ is a Sidon system if the sumsets $A+B$ with $A,B\in \mathcal{F}$ are pairwise distinct. Cilleruelo, Serra and the author previously proved that the maximum size $F_k(n)$ of a Sidon system consisting of $k$-subsets of the first $n$ positive integers satisfies $C_k n^{k-1}\leq F_k(n) \leq \binom{n-1}{k-1}+n-k$ for some constant $C_k$ only depending on $k$. We close the gap by proving an essentially tight struc...

Erd\H os and R\'{e}nyi claimed and Vu proved that for all $h \ge 2$ and for all $\epsilon > 0$, there exists $g = g_h(\epsilon)$ and a sequence of integers $A$ such that the number of ordered representations of any number as a sum of $h$ elements of $A$ is bounded by $g$, and such that $|A \cap [1,x]| \gg x^{1/h - \epsilon}$. We give two new proofs of this result. The first one consists of an explicit construction of such a sequence. The second one is probabilistic and show...

We obtain a non--trivial upper bound for the multiplicative energy of any sufficiently large subset of a subvariety of a finite algebraic group. We also find some applications of our results to growth of conjugates classes, estimates of exponential sums and the restriction phenomenon.

A Sidon set is a set of the positive integers such that the sums of two pairs is not repeated. I. Ruzsa gave a probabilistic construction of an infinite Sidon set. In this work we present the details of a simplified proof of this construction as suggested in a paper of I. Ruzsa and J. Cilleruelo (Real and -padic Sidon sequences, Acta Sci. Math (Szeged) 70 (2004), 505-510).

We extend a bound of Roche-Newton, Shparlinski and Winterhof which says any subset of a finite field can be decomposed into two disjoint subset $\cU$ and $\cV$ of which the additive energy of $\cU$ and $f(\cV)$ are small, for suitably chosen rational functions $f$. We extend the result by proving equivalent results over multiplicative energy and the additive and multiplicative energy hybrids.

We show that for any set A in a finite Abelian group G that has at least c |A|^3 solutions to a_1 + a_2 = a_3 + a_4, where a_i belong A there exist sets A' in A and L in G, |L| \ll c^{-1} log |A| such that A' is contained in Span of L and A' has approximately c |A|^3 solutions to a'_1 + a'_2 = a'_3 + a'_4, where a'_i belong A'. We also study so-called symmetric sets or, in other words, sets of large values of convolution.

Let $f(n)$ count the number of subsets of $\{1,...,n\}$ without an element dividing another. In this paper I show that $f(n)$ grows like the $n$-th power of some real number, in the sense that $\lim_{n\rightarrow \infty}f(n)^{1/n}$ exists. This confirms a conjecture of Cameron and Erd\"os, proposed in a paper where they studied a number of similar problems, including the well known "Cameron-Erd\"os os Conjecture" on counting sum-free subsets.

Let $A \subset \mathbb{F}_p$ of size at most $p^{3/5}$. We show $$|A+A| + |AA| \gtrsim |A|^{6/5 + c},$$ for $c = 4/305$. Our main tools are the cartesian product point--line incidence theorem of Stevens and de Zeeuw and the theory of higher energies developed by the second author.

A symmetric subset of the reals is one that remains invariant under some reflection z --> c-z. We consider, for any 0 < x <= 1, the largest real number D(x) such that every subset of $[0,1]$ with measure greater than x contains a symmetric subset with measure D(x). In this paper we establish upper and lower bounds for D(x) of the same order of magnitude: for example, we prove that D(x) = 2x - 1 for 11/16 <= x <= 1 and that 0.59 x^2 < D(x) < 0.8 x^2 for 0 < x <= 11/16. This ...

New sets (typically found by computer search) with Sidon constant equal to the square root of their cardinalities are given. For each integer $N$ there are only a finite number of groups of prime order containing $N$-element extreme sets. Some extreme sets appear to fit a pattern; others do not. Various conjectures and questions are given.