The conditional quantum entropy is an entropy measure used in quantum information theory. It is a generalization of the conditional entropy of classical information theory. For a bipartite state ρ A B {\displaystyle \rho ^{AB}} , the conditional entropy is written S ( A | B ) ρ {\displaystyle S(A|B)_{\rho }} , or H ( A | B ) ρ {\displaystyle H(A|B)_{\rho }} , depending on the notation being used for the von Neumann entropy. The quantum conditional entropy was defined in terms of a conditional density operator ρ A | B {\displaystyle \rho _{A|B}} by Nicolas Cerf and Chris Adami, who showed that quantum conditional entropies can be negative, something that is forbidden in classical physics. The negativity of quantum conditional entropy is a sufficient criterion for quantum non-separability.
In what follows, we use the notation S ( ⋅ ) {\displaystyle S(\cdot )} for the von Neumann entropy, which will simply be called "entropy".