Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:1909.01755 · Quantum Information Processing

Optimal uniform continuity bound for conditional entropy of classical–quantum states

Mark M. Wilde

Published Jan 2, 2020• 15 citations
arXivHTMLPDF
DOI
10.1007/s11128-019-2563-4

Related papers

Tight Uniform Continuity Bounds for Quantum Entropies: Conditional Entropy, Relative Entropy Distance and Energy Constraints

Andreas Winter

arXiv:1507.07775•Communications in Mathematical Physics•Mar 22, 2016•284 citations

Optimal uniform continuity bound for conditional entropy of classical–quantum states

Mark M. Wilde

In this short note, I show how a recent result of Alhejji and Smith (A tight uniform continuity bound for equivocation, 2019. arXiv:1909.00787v1) regarding an optimal uniform continuity bound for classical conditional entropy leads to an optimal uniform continuity bound for quantum conditional entropy of classical–quantum states. The bound is optimal in the sense that there always exists a pair of classical–quantum states saturating the bound, and so, no further improvements are possible. An immediate application is a uniform continuity bound for the entanglement of formation that improves upon the one previously given by Winter (Commun Math Phys 347(1):291–313, 2016. arXiv:1507.07775). Two intriguing open questions are raised regarding other possible uniform continuity bounds for conditional entropy: one about quantum–classical states and another about fully quantum bipartite states.

Civil War Book Review•Feb 1, 2020•13 citations

Sharp continuity of quantum conditional entropy

Mario Berta, Pablo Costa Rico, Gereon Kossmann +2 more

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.

quant-pharXiv:2607.24687•Jul 28, 2026•0 citations

Sharp continuity bounds for entropy and conditional entropy

ZhiHua Chen, Zhihao Ma, Ismail Nikoufar +1 more

arXiv:1701.02398•Science China Physics Mechanics and Astronomy•Nov 24, 2016•19 citations

A Tight Uniform Continuity Bound for the Arimoto-Rényi Conditional Entropy and its Extension to Classical-Quantum States

Michael G. Jabbour, Nilanjana Datta

We prove a tight uniform continuity bound for Arimoto’s version of the conditional$\alpha $-Rényi entropy for the range$\alpha \in [0, 1$). This definition of the conditional$\alpha $-Rényi entropy is the most natural one among the multiple forms which exist in the literature, since it satisfies two desirable properties of a conditional entropy, namely, the fact that conditioning reduces entropy, and that the associated reduction in uncertainty cannot exceed the information gained by conditioning. Furthermore, it has found interesting applications in various information theoretic tasks such as guessing with side information and sequential decoding. This conditional entropy reduces to the conditional Shannon entropy in the limit$\alpha \to 1$, and this in turn allows us to recover the recently obtained tight uniform continuity bound for the latter from our result. Finally, we apply our result to obtain a tight uniform continuity bound for the conditional$\alpha $-Rényi entropy of a classical-quantum state, for$\alpha $in the same range as above. This again yields the corresponding known bound for the conditional entropy of the state in the limit$\alpha \to 1$.

arXiv:2007.05049•IEEE Transactions on Information Theory•Jan 13, 2022•11 citations

Extended Quantum Conditional Entropy and Quantum Uncertainty Inequalities

Rupert L. Frank, Élliott H. Lieb

arXiv:1204.0825•Communications in Mathematical Physics•Aug 10, 2013•49 citations
In this short note, I show how a recent result of Alhejji and Smith (A tight uniform continuity bound for equivocation, 2019. arXiv:1909.00787v1) regarding an optimal uniform continuity bound for classical conditional entropy leads to an optimal uniform continuity bound for quantum conditional entropy of classical–quantum states. The bound is optimal in the sense that there always exists a pair of classical–quantum states saturating the bound, and so, no further improvements are possible. An immediate application is a uniform continuity bound for the entanglement of formation that improves upon the one previously given by Winter (Commun Math Phys 347(1):291–313, 2016. arXiv:1507.07775). Two intriguing open questions are raised regarding other possible uniform continuity bounds for conditional entropy: one about quantum–classical states and another about fully quantum bipartite states.
We prove the sharp uniform continuity bound for quantum conditional entropy. If two bipartite states are at trace distance at most δδδ and d=dim⁡Ad=\dim Ad=dimA, the optimal dimension-only modulus of continuity is h2(δ)+δlog⁡(d2−1)h_2(δ)+δ\log(d^2-1)h2​(δ)+δlog(d2−1) up to δ=1−d−2δ=1-d^{-2}δ=1−d−2 and 2log⁡d2\log d2logd thereafter, where h2h_2h2​ denotes the binary entropy. When dim⁡B≥d\dim B\ge ddimB≥d, this bound is tight for every δ∈[0,1]δ\in[0,1]δ∈[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.
We prove a tight uniform continuity bound for Arimoto’s version of the conditional$\alpha −Reˊnyientropyfortherange-Rényi entropy for the range−Reˊnyientropyfortherange\alpha \in [0, 1).Thisdefinitionoftheconditional). This definition of the conditional).Thisdefinitionoftheconditional\alpha −Reˊnyientropyisthemostnaturaloneamongthemultipleformswhichexistintheliterature,sinceitsatisfiestwodesirablepropertiesofaconditionalentropy,namely,thefactthatconditioningreducesentropy,andthattheassociatedreductioninuncertaintycannotexceedtheinformationgainedbyconditioning.Furthermore,ithasfoundinterestingapplicationsinvariousinformationtheoretictaskssuchasguessingwithsideinformationandsequentialdecoding.ThisconditionalentropyreducestotheconditionalShannonentropyinthelimit-Rényi entropy is the most natural one among the multiple forms which exist in the literature, since it satisfies two desirable properties of a conditional entropy, namely, the fact that conditioning reduces entropy, and that the associated reduction in uncertainty cannot exceed the information gained by conditioning. Furthermore, it has found interesting applications in various information theoretic tasks such as guessing with side information and sequential decoding. This conditional entropy reduces to the conditional Shannon entropy in the limit−Reˊnyientropyisthemostnaturaloneamongthemultipleformswhichexistintheliterature,sinceitsatisfiestwodesirablepropertiesofaconditionalentropy,namely,thefactthatconditioningreducesentropy,andthattheassociatedreductioninuncertaintycannotexceedtheinformationgainedbyconditioning.Furthermore,ithasfoundinterestingapplicationsinvariousinformationtheoretictaskssuchasguessingwithsideinformationandsequentialdecoding.ThisconditionalentropyreducestotheconditionalShannonentropyinthelimit\alpha \to 1,andthisinturnallowsustorecovertherecentlyobtainedtightuniformcontinuityboundforthelatterfromourresult.Finally,weapplyourresulttoobtainatightuniformcontinuityboundfortheconditional, and this in turn allows us to recover the recently obtained tight uniform continuity bound for the latter from our result. Finally, we apply our result to obtain a tight uniform continuity bound for the conditional,andthisinturnallowsustorecovertherecentlyobtainedtightuniformcontinuityboundforthelatterfromourresult.Finally,weapplyourresulttoobtainatightuniformcontinuityboundfortheconditional\alpha −Reˊnyientropyofaclassical−quantumstate,for-Rényi entropy of a classical-quantum state, for−Reˊnyientropyofaclassical−quantumstate,for\alpha inthesamerangeasabove.Thisagainyieldsthecorrespondingknownboundfortheconditionalentropyofthestateinthelimitin the same range as above. This again yields the corresponding known bound for the conditional entropy of the state in the limitinthesamerangeasabove.Thisagainyieldsthecorrespondingknownboundfortheconditionalentropyofthestateinthelimit\alpha \to 1$.