To prove Proposition REF , we need to leverage a generalization of Jensen's inequality that applies to matrix convex combinations. The following definitions and result can be found in [1]}. It provides a deep generalization of Jensen's inequality for operator convex functions, extending to a situation where the weights are matrices rather than scalars.
