Conditional entropy in algebraic statistical physics (Q1072070): Difference between revisions

The notion of conditional entropy as entropy of a conditional state on a \(C^*\)-algebra \({\mathcal A}\) with respect to its \(C^*\)-subalgebra \({\mathcal A}_ 1\subset {\mathcal A}\) is introduced. It is proved that for a compatible state \(\sigma\) on \({\mathcal A}\) (which admits the conditional expectation of Umegaki-Takesaki) the mean conditional entropy in an a priori state \(\sigma_ 1\) on \({\mathcal A}\) is equal to the difference of the entropy of the tate \(\sigma\) on \({\mathcal A}\) and the entropy of the state \(\sigma_ 1\) on \({\mathcal A}_ 1\). The conditional entropy enables us to define the input-output information of a quantum communication channel in analogy to the classical Shannon formula.