Sharp continuity of quantum conditional entropy
📄 arXiv:2607.24687 · 📥 PDF · 2026-07-27 · quant-ph
Authors: Mario Berta [arXiv · scholar] , Pablo Costa Rico [arXiv · scholar] , Gereon Kossmann [arXiv · scholar] , Ludovico Lami [arXiv · scholar] , Julius A. Zeiss [arXiv · scholar]
🕰 Orloj analysis
Tento článek dokazuje ostrou uniformní mez spojitosti pro kvantovou podmíněnou entropii, která je těsná pro určité dimenze a rozsahy parametrů. Klíčová myšlenka důkazu byla vyvinuta s asistencí ChatGPT 5.6 Sol, navazující na klasický důkaz Alhejjiho a Smithe.
💡 Práce přináší významné matematické zpřesnění v kvantové informační teorii, s metodologickou zajímavostí v podobě asistence AI při vývoji důkazu.
✓ modest_claims
⚠ ChatGPT_assisted_proof_idea_raises_verification_questions
📄 Abstract
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.