Sharp Continuity Bound for Quantum Conditional Entropy
What is the optimal uniform continuity bound for quantum conditional entropy in trace distance, depending only on the dimension of the conditioned system? The sharp bound $h_2(\delta) + \delta \log(d^2 - 1)$ up to $\delta = 1 - d^{-2}$, conjectured by Wilde, is proved.