The dimension conjecture for the product-measure locus in the permutation simplex
Dimension conjecture. For all mmm, the dimension of PmP_mPm​ is exactly C(m)C(m)C(m).