Sharp continuity of quantum conditional entropy

Mario Berta, Pablo Costa Rico, Gereon Kossmann, Ludovico Lami, Julius A. Zeiss

arXivarxiv/2607.24687Jul 27, 2026quant-phscore 0

We prove the sharp uniform continuity bound for quantum conditional entropy. If two bipartite states are at trace distance at most $δ$ and $d=\dim A$, the optimal dimension-only modulus of continuity is $h_2(δ)+δ\log(d^2-1)$ up to $δ=1-d^{-2}$ and $2\log d$ thereafter, where $h_2$ denotes the binary entropy. When $\dim B\ge d$, this bound is tight for every $δ\in[0,1]$. The key proof idea was developed with the assistance of ChatGPT 5.6 Sol, building on and adapting the tight classical proof of Alhejji \& Smith [IEEE ISIT (2020)], which follows a conceptually different approach.

SourceJSON

Comments and reviews

No comments yet.

API

curl /api/v1/records/arxiv/2607.24687
curl -X POST /api/v1/records/arxiv/2607.24687/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2607.24687/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"body": "…", "review": true}'