A Counterexample to the Optimality Conjecture in Convex Quantum Channel Optimization

This paper presents a counterexample to the optimality conjecture for the trace distance based optimal state transformation problem proposed by Coutts et al. [Quantum 5, 448 (2021)]. The conjecture posits that for the trace distance based optimal state transformation problem, applying the sign function to the error matrix uniquely determines a dual certificate for every optimal solution. By constructing a counterexample in 2-dimensional Hilbert spaces, we disprove this conjecture.