I haven’t been keeping tabs, but this seems very much like RIP / Achilioptas version of the Johnson Lindenstrauss lemma. Perhaps the rest of the JL lemma promi

I haven’t been keeping tabs, but this seems very much like RIP / Achilioptas version of the Johnson Lindenstrauss lemma. Perhaps the rest of the JL lemma promise applies as well - compressing the number of parameters by a few orders of magnitude as well.