Kadison RV, Pedersen GK. Means and convex combinations of unitary operators. Math. Scand. 1985;57:249-266. doi:10.7146/math.scand.a-12116