for small fixed dimensions formula_123, one can explore, using variational methods, whether formula_44 can be realized in a bipartite quantum system formula_125, with formula_126, formula_127. that method, however, can just be used to prove the realizability of formula_44, and not its unrealizability with quantum systems.