Given a bipartite quantum state ρ A B {\displaystyle \rho ^{AB}} , the entropy of the joint system AB is S ( A B ) ρ = d e f S ( ρ A B ) {\displaystyle S(AB)_{\rho }\ {\stackrel {\mathrm {def} }{=}}\ S(\rho ^{AB})} , and the entropies of the subsystems are S ( A ) ρ = d e f S ( ρ A ) = S ( t r B ρ A B ) {\displaystyle S(A)_{\rho }\ {\stackrel {\mathrm {def} }{=}}\ S(\rho ^{A})=S(\mathrm {tr} _{B}\rho ^{AB})} and S ( B ) ρ {\displaystyle S(B)_{\rho }} . The von Neumann entropy measures an observer's uncertainty about the value of the state, that is, how much the state is a mixed state.
By analogy with the classical conditional entropy, one defines the conditional quantum entropy as S ( A | B ) ρ = d e f S ( A B ) ρ − S ( B ) ρ {\displaystyle S(A|B)_{\rho }\ {\stackrel {\mathrm {def} }{=}}\ S(AB)_{\rho }-S(B)_{\rho }} .
An equivalent operational definition of the quantum conditional entropy (as a measure of the quantum communication cost or surplus when performing quantum state merging) was given by Michał Horodecki, Jonathan Oppenheim, and Andreas Winter.3
Unlike the classical conditional entropy, the conditional quantum entropy can be negative. This is true even though the (quantum) von Neumann entropy of single variable is never negative. The negative conditional entropy is also known as the coherent information, and gives the additional number of bits above the classical limit that can be transmitted in a quantum dense coding protocol. Positive conditional entropy of a state thus means the state cannot reach even the classical limit, while the negative conditional entropy provides for additional information.
Cerf, N. J.; Adami, C. (1997). "Negative Entropy and Information in Quantum Mechanics". Physical Review Letters. 79 (26): 5194–5197. arXiv:quant-ph/9512022. Bibcode:1997PhRvL..79.5194C. doi:10.1103/physrevlett.79.5194. S2CID 14834430. /wiki/Physical_Review_Letters ↩
Cerf, N. J.; Adami, C. (1999-08-01). "Quantum extension of conditional probability". Physical Review A. 60 (2): 893–897. arXiv:quant-ph/9710001. Bibcode:1999PhRvA..60..893C. doi:10.1103/PhysRevA.60.893. S2CID 119451904. /wiki/Physical_Review_A ↩
Horodecki, Michał; Oppenheim, Jonathan; Winter, Andreas (2005). "Partial quantum information". Nature. 436 (7051): 673–676. arXiv:quant-ph/0505062. Bibcode:2005Natur.436..673H. doi:10.1038/nature03909. PMID 16079840. S2CID 4413693. /wiki/ArXiv_(identifier) ↩