It is well known that \R^N has subspaces of dimension
proportional to N on which the \ell_1 norm is equivalent to the
\ell_2 norm; however, no explicit constructions are known.
Extending earlier work by Artstein--Avidan and Milman, we prove that
such a subspace can be generated using O(N) random bits.
