@ccanonne I gave a talk on how to "quantize" JL lemma in 2014, slides are available here https://laurentjacques.gitlab.io/event/when-buffon-s-needle-problem-helps-in-quantizing-the-johnson-lindenstrauss-lemma/ I recall visually the main principles of the one-bit (sign) case from slide 22. There is a very good review on the topic by Sjoerd Dirksen https://www.semanticscholar.org/paper/Quantized-Compressed-Sensing%3A-A-Survey-Dirksen/dda6061642b78c8f21bca1185e035f410a48db79 #OneBit #CompressiveSensing #RandomProjection #JohnsonLindenstrauss