Monotonicity of a convex roof under a quantum instrument ($F(\rho )\ge {\sum }_k{P}_{k}F({\rho }_k)$)

If a convex roof extension is non-increasing on average for every pure input to a quantum instrument, then it is non-increasing on average for mixed inputs too. For an input ensemble $\{p_j,{\pi }_j\}$, let $q_{k|j}$ and ${\sigma }_{jk}$ be its conditional outcome probabilities and states. Linearity of each unnormalized outcome map gives $P_k{\rho }_k={\sum }_j{p}_j{q}_{k|j}{\sigma }_{jk}$. Convexity gives ${\sum }_k{P}_{k}F({\rho }_k)\le {\sum }_{j,k}{p}_j{q}_{k|j}F({\sigma }_{jk})\le {\sum }_j{p}_j\mu ({\pi }_j)$. Taking the infimum over input ensembles proves the result, even when conditional outputs of pure inputs are mixed, provided the averages are well defined.