1: \begin{definition}\label{VAR_def_quantities}

2: $N_{1}$ is any positive constant such that $n \ge N_{1}$ implies

3: \[

4: 1 - \frac{1 - c^{2n}}{n(1-c^{2})} \le 1.

5: \]

6: $N_{2}$ is any positive constant such that $n \ge N_{2}$ implies

7: \[

8: 1 + c^{2} - 2\frac{c^{2} - (c^{2})^{n+1}}{n(1-c^{2})} \le 1 + c^{2}.

9: \]

10: Additionally, $N_{3}$ is defined as in (\ref{VAR_TrueGraphLowBTheorem_final}).

11: \begin{equation}\label{VAR_V1}

12: \begin{split}

13: V_{1} & := 16(\sigma_{\max}^{0})^{4} \Bigg[ \frac{p^{6} n^{1-\frac{3\rho}{2}}}{\xi} \cdot \bigg( \frac{\|\Gamma_{n}(0)\|_{2}^{2}}{(\sigma_{\max}^{0})^{4} p} + \frac{ (3 + c^{4}) }{(1-c^{2})^{3}n} \bigg) \\

14: & \hspace{1.75in} + \frac{ \delta^{-2} p^{2}}{ (1-c^{2})^{3} n^{1-2\rho} } + \frac{ (3 + c^{4}) p^{6}n^{\frac{\rho}{2}}}{(1-c^{2})^{3}\xi} \Bigg], \\

15: \end{split}

16: \end{equation}

17: with $\xi = \frac{2\delta^{2}}{9\Lambda_{g}} \varepsilon$.  The alternate $\widetilde{V}_{1}$ denotes $V_{1}$ with $\varepsilon$ replaced by $c^{2}\cdot \frac{9 n^{1+\frac{\rho}{2}} p^{3} \Lambda_{g_{o}}}{2}$.

18: \begin{equation}\label{VAR_V2}

19: V_{2} := 4\delta^{-2} \frac{(\sigma_{\max}^{0})^{4} (1 + c^{2})}{(1 - c^{2})^{3}} \cdot \frac{2\min\{|G_{o}|,p\}^{2}}{n}.

20: \end{equation}

21: \begin{equation}\label{VAR_V3}

22: V_{3} :=  \frac{V_{2}}{4} + \delta^{-2}\Bigg[\frac{ 2p (\sigma_{\max}^{0})^{2} \min\{|G_{o}|, p\} }{ n (1 - c^{2}) } + \frac{p(p + 1)}{n} \Bigg].

23: \end{equation}

24: \end{definition}

25: