How to prove the positivity of the conditional quantum mutual information, $I(A;B|C)\ge0$?
Posted by QuestionEverything, at quantumcomputing.stackexchange.com,
I was reading Wilde's 'Quantum Information Theory' and saw the following theorem at chapter 11 $(11.7.2)$: $$ I(A; B | C) \ge 0…