Formal Book

42 Communicating without errors

Theorem 42.1

Whenever \(T = \{ v^{(1)}, \dots , v^{(m)}\} \) is an orthonormal representation of \(G\) with constant \(\sigma _T\), then

\[ \Theta (G) \leq \frac{1}{\sigma _T}. \]
Proof

TODO