In fact, as we show, mixing entropy is not concave whenever the state space is a non-simplicial polytope.
The condition that measurement and mixing entropies coincide is a strong constraint on possible theories.