Information, Quantum Computing, Physics.
though SB>0, as a pure state the purified SAB = 0. This proves that it is possible for SAB < SB, and it also corresponds to the boundary condition where SA|B = -SA. Recall the classical property of mutual information which quantified the information about X that Bob gains from what he sees in