arXiv++ Combinatorics

For $λ\in \mathbb{Z}$, let $λ\cdot A = \{ λa : a \in A\}$. Suppose $r, h\in \mathbb{Z}$ are sufficiently large and comparable to each other. We prove that if $|A+A| \le K |A|$ and $λ_1, \ldots, λ_h \le 2^r$, then \[ |λ_1 \cdot A + \ldots + λ_h \cdot A | \le K^{ 7 rh /\ln (r+h) } |A|. \] This improves upon a result of Bukh who shows that \[ |λ_1 \cdot A + \ldots + λ_h \cdot A | \le K^{O(rh)} |A|. \] Our main technique is to combine Bukh's idea of considering the binary expansion of $λ_i$ with a result on biclique decompositions of bipartite graphs.lique decompositions.

For any bipartite graph $H$, we determine a minimum degree threshold for a balanced bipartite graph $G$ to contain a perfect $H$-tiling. We show that this threshold is best possible up to a constant depending only on $H$. Additionally, we prove a corresponding minimum degree threshold to guarantee that $G$ has an $H$-tiling missing only a constant number of vertices. Our threshold for the perfect tiling depends on either the chromatic number $χ(H)$ or the critical chromatic number $χ_{cr}(H)$ while the threshold for the almost perfect tiling only depends on $χ_{cr}(H)$. Our results answer two questions of Zhao. They can be viewed as bipartite analogs to the results of Kuhn and Osthus and of Shokoufandeh and Zhao.

An order-preserving Freiman 2-isomorphism is a map $φ:X \rightarrow \mathbb{R}$ such that $φ(a) < φ(b)$ if and only if $a < b$ and $φ(a)+φ(b) = φ(c)+φ(d)$ if and only if $a+b=c+d$ for any $a,b,c,d \in X$. We show that for any $A \subseteq \mathbb{Z}$, if $|A+A| \le K|A|$, then there exists a subset $A' \subseteq A$ such that the following holds: $|A'| \gg_K |A|$ and there exists an order-preserving Freiman 2-isomorphism $φ: A' \rightarrow [-c|A|,c|A|] \cap \mathbb{Z}$ where $c$ depends only on $K$. Several applications are also presented.

Improving upon a technique of Croot and Hart, we show that for every $h$, there exists an $ε> 0$ such that if $A \subseteq \mathbb{R}$ is sufficiently large and $|A.A| \le |A|^{1+ε}$, then $|hA| \ge |A|^{Ω(e^{\sqrt{c\log{h}}})}$.