1: \begin{proof}

2: We have $Z^{(U(1),\Psi_1)} = \sqrt{2}\,(\cos\theta, \sin\theta)$ where $\theta$ is drawn uniformly from $[0,2 \pi]$. Towards showing sub-Gaussianity we have, for any $v \in \mathbb{R}^2$,

3: $$\EE \exp\left(\left\langle Z^{(U(1),\Psi_1)},v \right\rangle\right) = \EE_\theta \exp\left(\sqrt{2}\, v_1 \cos \theta + \sqrt{2}\, v_2 \sin \theta\right) = \EE_\theta \exp\left( \sqrt{2} \,\|v\| \cos\theta \right).$$

4: Letting $w = \|v\|$, it is sufficient to show for all $w \ge 0$,

5: $$\EE_\theta \exp\left(\sqrt{2} \, w \cos \theta\right) \le \exp\left(\frac{1}{2} \, w^2\right).$$

6: This can be verified numerically but we also provide a rigorous proof. Using the Taylor expansion of $\exp$ and the identity $$\EE_\theta\left[\cos^k \theta\right] = \left\{\begin{array}{cc}\frac{(k-1)!!}{k!!} & k \text{ even} \\ 0 & k \text{ odd} \end{array} \right.$$

7: we have

8: \begin{align*}

9: \EE_\theta \exp\left(\sqrt{2} \, w \cos \theta\right)

10: &= \EE_\theta \sum_{k \ge 0} \frac{2^{k/2} w^k \cos^k \theta}{k!} 

11: %&= \sum_{k \ge 0} \EE_\theta \frac{2^{k/2} w^k \cos^k \theta}{k!} \\

12: = \sum_{k \ge 0} \frac{2^{k} w^{2k} \EE_\theta \cos^{2k} \theta}{(2k)!} \\

13: &= \sum_{k \ge 0} \frac{2^{k} w^{2k} (2k-1)!!}{(2k)!(2k)!!} 

14: = \sum_{k \ge 0} \frac{2^{k} w^{2k}}{(2k)!!(2k)!!} \\

15: &\le \sum_{k \ge 0} \frac{w^{2k}}{(2k)!!}

16: = \sum_{k \ge 0} \frac{w^{2k}}{2^k k!}

17: = \exp\left(\frac{1}{2} w^2\right).

18: \end{align*}

19: The exchange of expectation and infinite sum is justified by the Fubini--Tonelli theorem, provided we can show absolute convergence:

20: $$\sum_{k \ge 0} \EE_\theta \left|\frac{2^{k/2} w^k \cos^k \theta}{k!}\right| \le \sum_{k \ge 0} \left|\frac{2^{k/2} w^k}{k!}\right|$$

21: which converges by the ratio test.

22: \end{proof}

23: