Stav dette: On random embeddings and their application to optimisation