quantum-information-computing / Quantum information theory

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.

10Significance / 100
1Frontier events
0Verification tasks
0Recorded attempts

Temporal state

Current frontier

No reconciled state yet.

Append-only history

Frontier timeline

quantum-information-computingJul 27, 2026Significance 10/100Registry: unreviewed

Sharp Continuity Bound for Quantum Conditional Entropy

Prior state unknownproved

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.

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Research memory

Claims and attempts

Scoped claims

Source authenticated

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.

Recorded attempts

Evidence graph

Connected research record

No public relationships recorded yet.