1: \begin{definition} [Storage-Communication (SC) Tradeoff] \label{def:SC}A pair of real

2:   numbers  $(r,L)$ is achievable if for any $\epsilon>0$,  there exist

3:   positive integers $\sys{N,D,U,V,W}$, a storage design $\{\mathcal{M}_k\}_{k=1}^{\mathsf{K}}$ of storage load less than $r+\epsilon$, a set of uniform assignments of output functions $\left\{\mathbf{\Gamma}^{\mathcal{Q}}\right\}_{\mathcal{Q}\in\mathbf{\Omega}_\sys{K}^{\sys{Q}}}$, and a collection of encoding functions $\big\{ \big\{\varphi^{\mathcal{Q}}_{k}\big\}_{k\in\mathcal{Q}}\big\}_{\mathcal{Q} \in \mathbf{\Omega}_{\sys{K}}^{\sys{Q}}}$ with communication load less than $L+\epsilon$,

4: 	such that all the output functions $\phi_1,\ldots, \phi_\mathsf{D}$ can be  computed successfully.

5: For a fixed $\mathsf{Q}\in[\mathsf{K}]$, we define the fundamental storage-communication (SC) tradeoff  as

6: %\footnote{We parameterize the SC tradeoff only by the pair $(\mathsf{K},\mathsf{Q})$, and not by the other parameters in \eqref{eqn:parameters}. In fact, as our result in Theorem \ref{thm:limits} shows, only the pair $(\mathsf{K},\mathsf{Q})$ is important. }

7: \begin{IEEEeqnarray}{c}

8: L_{\mathsf{K},\mathsf{Q}}^*(r)\triangleq\inf\left\{L:(r,L)~\text{is achievable}\right\}.\notag

9: \end{IEEEeqnarray}

10: \end{definition}

11: