Statement 1 is theorem 2.3 Grassmannian Frames with Applications to Coding and Communication (2003)
For a precise formulation of statement 2, with a proof, see page 2 of these lecture notes:
$${\rm Prob}\,\left(|\cos\theta|<\sqrt{\frac{\log d}{d}}\right)>1-\frac{1}{d},$$ where $\theta$ is the angle between two randomly chosen unit vectors in $d$ dimensions.
notice a typo at the top of the page in those lecture notes, corrected at the bottom, the square root should extend over the entire fraction
Carlo Beenakker
- 188.1k
- 18
- 448
- 651