Noncommutative Minkowski integral inequality and a unitary categorification criterion for fusion rings

We prove a noncommutative analogue of Minkowski's integral inequality for commuting squares of tracial von Neumann algebras. The inequality implies a necessary condition for a quadruple of graphs to be realized as inclusion graphs of a commuting square of multi-matrix algebras. As a corollary, we obtain a unitary categorification criterion for based rings, in particular, fusion rings.