Skip to main content
4 of 5
added 184 characters in body
Carlo Beenakker
  • 188.1k
  • 18
  • 448
  • 651
  1. Statement 1 is theorem 2.3 Grassmannian Frames with Applications to Coding and Communication (2003)

  2. 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