Manuscript Oai265-A@2 · Oai265-A.tex · section · c0a34a45

Replica identities: exact algebra versus quantitative transport

Stage 1: audit of the five proof interfaces › Replica identities: exact algebra versus quantitative transport · lines 483–495

For disjoint systems, write

I (X : Y) = S (X) + S (Y) - S (X Y),

I (X : Y ∣ Z) = S (X Z) + S (Y Z) - S (Z) - S (X Y Z) .

We use ordinary entropy subadditivity, strong subadditivity, and finite-dimensional channel conventions LiebRuskai,Watrous.

Displayed formulas in this passage