Related papers: An example concerning set addition in F_2^n

Using various results from extremal set theory (interpreted in the language of additive combinatorics), we prove an asyptotically sharp version of Freiman's theorem in F_2^n: if A in F_2^n is a set for which |A + A| <= K|A| then A is…

The kernel of analysis, to me anyway, is the following idea: A point is arbitrarily close to a set if every neighborhood of the point intersects the set. Defining ``arbitrarily close'' in this way provides a foundation for classical results…

Let $n > k > 1$ be integers, $[n] = \{1, \ldots, n\}$. Let $\mathcal F$ be a family of $k$-subsets of~$[n]$. The family $\mathcal F$ is called intersecting if $F \cap F' \neq \emptyset$ for all $F, F' \in \mathcal F$. It is called almost…

A subset $S$ of the Boolean hypercube $\mathbb{F}_2^n$ is a sumset if $S = A+A = \{a + b \ | \ a, b\in A\}$ for some $A \subseteq \mathbb{F}_2^n$. We prove that the number of sumsets in $\mathbb{F}_2^n$ is asymptotically…

A set system is called union closed if for any two sets in the set system their union is also in the set system. Gilmer recently proved that in any union closed set system some element belongs to at least a $0.01$ fraction of sets, and…

In this work, we introduce a natural notion concerning finite vector spaces. A family of $k$-dimensional subspaces of $\mathbb{F}_q^n$, which forms a partial spread, is called almost affinely disjoint if any $(k+1)$-dimensional subspace…

We construct a geometrically self-similar Cantor set $X$ of genus $2$ in $\mathbb{R}^3$. This construction is the first for which the local genus is shown to be $2$ at every point of $X$. As an application, we construct, also for the first…

We discuss a selection of recent developments in arithmetic combinatorics having to do with ``approximate algebraic structure'' together with some of their applications.

Using the classic two's complement notation of signed integers, the fundamental arithmetic operations of addition, subtraction, and multiplication are identical to those for unsigned binary numbers. We introduce a Fibonacci-equivalent of…

We consider partially ordered sets of combinatorial structures under consecutive orders, meaning that two structures are related when one embeds in the other such that `consecutive' elements remain consecutive in the image. Given such a…

We show that if A is a large subset of a box in Z^d with dimensions L_1 >= L_2 >= ... >= L_d which are all reasonably large, then |A + A| > 2^{d/48}|A|. By combining this with Chang's quantitative version of Freiman's theorem, we prove a…

We show that any set $A$ in $\mathbb F_2^n$ with $|A+A| \le |A|^{2-\eta}$ must intersect a subspace of dimension $O_{\eta}(\log |A|)$ in at least $|A|^{\eta - o(1)}$ elements.

In this article, we study short intervals that contain another type of "almost square", an integer $n$ which can be factored in two different ways $n = a_1 b_1 = a_2 b_2$ with $a_1, a_2, b_1, b_2$ close to $\sqrt{n}$.

We prove bounds for the number of solutions to $$a_1 + \dots + a_k = a_1' + \dots + a_k'$$ over $N$-element sets of reals, which are sufficiently convex or near-convex. A near-convex set will be the image of a set with small additive…

We show that the $f$-vector sets of $d$-polytopes have non-trivial additive structure: They span affine lattices and are embedded in monoids that we describe explicitly. Moreover, for many large subclasses, such as the simple polytopes, or…

Let $X$ be a closed semialgebraic set of dimension $k.$ If $n\ge 2k+1$, then there is a bi-Lipschitz and semialgebraic embedding of $X$ into $\Bbb R^n.$ Moreover, if $n \ge 2k+2$, then this embedding is unique (up to a bi-Lipschitz and…

A conjecture of Freiman gives an exact formula for the largest volume of a finite set $A$ of integers with given cardinality $k = |A|$ and doubling $T = |2A|$. The formula is known to hold when $T \le 3k-4$, for some small range over $3k-4$…

The set $G$ of all $m$-dimensional subspaces of a $2m$-dimensional vector space $V$ is endowed with two relations, complementarity and adjacency. We consider bijections from $G$ onto $G'$, where $G'$ arises from a $2m'$-dimensional vector…

Let $X$ be a set and $2^X$ be a set of all subsets of $X$. The necessary and sufficient conditions under which a mapping $X \to 2^X$ is a closure of one-point sets in some $T_0$-space $(X, \tau)$ are described. It is proved that every…

In this paper, we study additional aspects of the capacity distribution on the set $\mathcal{B}_n$ of compositions of $n$ consisting of $1$'s and $2$'s. Among our results are further recurrences for this distribution as well as formulas for…