1: \begin{proof}

2: %We only give a sketch of the proof and refer the reader to the supplementary material for a rigorous proof. Intuitively, we construct a problem for which any $\epsilon$-approximation solution must have $\Omega(\frac{1}{\epsilon})$ atoms.

3: %We split the data across two nodes so that these atoms must be almost evenly split across the two nodes.

4: %Then, for any of the nodes to have all the atoms, the algorithm must communicate $\Omega(\frac{1}{\epsilon})$ atoms,

5: %which is about $\Omega(\frac{d}{\epsilon} \log \alpha)$ bits by Assumption~\ref{ass:unit}.

6: %\end{proof}

7: