We get the following constrained optimization program: The mix constraints make sure that the solution is nontrivial.
a very large number of words are monosemous, and the procedure will leave the embeddings of these words unchanged.