[Here](https://mathoverflow.net/questions/326033/prove-that-a-sub-gaussian-random-vector-over-a-finite-set-s-subset-mathbb-rn) the original question was asked and answered. However I have a question to the solution. If I get it right they try to show $\frac 12 I\_n \leq \mathbf{E} YY^T \leq I\_n$ by proving
$$ \mathbf{E} \left[ \langle X,\theta \rangle^2 {\bf 1}\_{\{||X|| > 4C \sqrt{n}\}} \right] \leq \left( \mathbf{E} \left[ \langle X,\theta \rangle^4 \right] \cdot \mathbf{P}(||X||^2 > 16C^2n)\right)^{1/2} \leq \sqrt{\frac{4C^2}{16C^2}} = \frac{1}{2}$$
for all unit vectors $\theta$. However I don't see how you get $\mathbf{E} Y\_i Y\_j=0$ for $i\neq j$ from that. I hope someone can help me here.



Proof of "Prove that a sub-gaussian and isotropic random vector over a finite set T implies that the set is exponentially large"
In the linked answer, the inequality sign $\le$ in $\frac12\,I\_n\le EYY^T\le I\_n$ is not meant in the sense of the entrywise comparison. Rather, it is meant in this sense: for any two symmetric matrices $A$ and $B$, we write $A\le B$ if $B-A$ is positive semidefinite.


In this case, we have $Y=X1\_{\|X\|\le4C\sqrt{n}}$, where $EXX^T=I\_n$ and
$$E\langle X,\theta \rangle^2 1\_{\|X\|>4C\sqrt{n}}\le\tfrac12=\tfrac12\, E\langle X,\theta \rangle^2$$
for any unit vector $\theta$. So,
$$\theta^T EYY^T\theta=E\langle Y,\theta \rangle^2
=E\langle X,\theta \rangle^2 1\_{\|X\|\le4C\sqrt{n}}\le E\langle X,\theta \rangle^2=\theta^T EXX^T\theta=\theta^T I\_n\theta,$$
which means $EYY^T\le I\_n$, and
$$E\langle Y,\theta \rangle^2=E\langle X,\theta \rangle^2-E\langle X,\theta \rangle^2 1\_{\|X\|>4C\sqrt{n}}\ge \tfrac12\,E\langle X,\theta \rangle^2,$$
which similarly means $EYY^T\ge\tfrac12\,I\_n$.


