Sums along the edges of bounded degree graphs

TL;DR

This paper investigates the minimum size of sum-sets over all injections from vertices of bounded degree graphs to abelian groups, revealing that random regular graphs have significantly larger sum-sets than expanders, with bounds depending on degree.

Contribution

It establishes tight bounds on sum-set sizes for random regular graphs and bounded degree graphs, extending previous results from expanders to broader graph classes.

Findings

Random $d$-regular graphs have sum-sets of size at least $n^{1-2/d}$ with high probability.

For bounded degree graphs, sum-sets are at most $n^{1-2/d}( ext{polylog } n)$, showing tightness of bounds.

Sum-sets in random regular graphs approach size $n$ for large degrees, with precise second-order terms.

Abstract

Let $G$ be a graph on $n$ vertices and $(H,+)$ be an abelian group. What is the minimum size ${\sf S}_H(G)$ of the set of all sums $A(u)+A(v)$ over all injections $A:V(G)\to H$? In 2012, the first author, Angel, the second author, and Lubetzky proved that, for expander graphs and $H=\mathbb{Z}$, this minimum is at least $\Omega(\log n)$, and this bound is tight -- there exists a regular expander $G$ with ${\sf S}_{\mathbb{Z}}(G)=O(\log n)$. We prove that, for every constant $d\geq 3$, the random $d$-regular graph $\mathcal{G}_{n,d}$ has significantly larger sum-sets: with high probability, for every abelian group $H$, ${\sf S}_H(\mathcal{G}_{n,d})=\Omega(n^{1-2/d})$. In particular, this proves that, for every $\varepsilon>0$, there exists a regular graph with $O(n)$ edges and with sum-sets of size at least $n^{1-\varepsilon}$, for all abelian groups. The bound ${\sf S}_H(\mathcal{G}_{n,d})=\Omega(n^{1-2/d})$ is tight up to a polylogarithmic factor: We show that, for every $3\leq d\leq \ln n/ \ln \ln n$, there exists an abelian group $H$ such that, for every graph $G$ on $n$ vertices with maximum degree at most $d$, ${\sf S}_H(G) \leq n^{1-2/d}(\log n)^{O(1)}$. We also prove that, for $d\gg\ln^2 n$, with high probability, for every abelian group $H$, ${\sf S}_H(\mathcal{G}_{n,d})=n(1-o(1))$ and determine the second-order term, up to a polylogarithmic factor.