784 research outputs found
On a non-abelian Balog-Szemeredi-type lemma
We show that if G is a group and A is a finite subset of G with |A^2| < K|A|,
then for all k there is a symmetric neighbourhood of the identity S with S^k a
subset of A^2A^{-2} and |S| > exp(-K^{O(k)})|A|.Comment: 5 pp. Corrected typos. Minor revision
Sets Characterized by Missing Sums and Differences
A more sums than differences (MSTD) set is a finite subset S of the integers
such |S+S| > |S-S|. We show that the probability that a uniform random subset
of {0, 1, ..., n} is an MSTD set approaches some limit rho > 4.28 x 10^{-4}.
This improves the previous result of Martin and O'Bryant that there is a lower
limit of at least 2 x 10^{-7}. Monte Carlo experiments suggest that rho \approx
4.5 \x 10^{-4}. We present a deterministic algorithm that can compute rho up to
arbitrary precision. We also describe the structure of a random MSTD subset S
of {0, 1, ..., n}. We formalize the intuition that fringe elements are most
significant, while middle elements are nearly unrestricted. For instance, the
probability that any ``middle'' element is in S approaches 1/2 as n ->
infinity, confirming a conjecture of Miller, Orosz, and Scheinerman. In
general, our results work for any specification on the number of missing sums
and the number of missing differences of S, with MSTD sets being a special
case.Comment: 32 pages, 1 figure, 1 tabl
A note on Freiman's theorem in vector spaces
We show that if A is a subset of F_2^n and |A+A| < K|A| then A is contained
in a subspace of size at most 2^{O(K^{3/2}log K)}|A|. This improves on the
previous best of 2^{O(K^2)}.Comment: 9 pp. Corrected typos. Updated references
An equivalence between inverse sumset theorems and inverse conjectures for the U^3 norm
We establish a correspondence between inverse sumset theorems (which can be
viewed as classifications of approximate (abelian) groups) and inverse theorems
for the Gowers norms (which can be viewed as classifications of approximate
polynomials). In particular, we show that the inverse sumset theorems of
Freiman type are equivalent to the known inverse results for the Gowers U^3
norms, and moreover that the conjectured polynomial strengthening of the former
is also equivalent to the polynomial strengthening of the latter. We establish
this equivalence in two model settings, namely that of the finite field vector
spaces F_2^n, and of the cyclic groups Z/NZ.
In both cases the argument involves clarifying the structure of certain types
of approximate homomorphism.Comment: 23 page
- …