Certifying optimality for convex quantum channel optimization problems. - Bryan Coutts; Mark Girard; John Watrous (Quantum, 2021)