“…While the original proof of the JL Lemma uses measure concentration on the sphere, as well as the Brunn-Minkowski inequality [20], the lemma has been reproved and improved extensively [17,18,21,1,15,8,4,3,2,13,8,9]. Early work showed that the projections could be constructed from simple random matrices, with newer results simplifying the distributions that projections are sampled from, improving the running time of the mapping, and even derandomizing the construction.…”