SLIDE 1
The other Fannes inequality
◮ In the proof sketch that the distillable entanglement
lower-bounds the squashed entanglement, we mentioned a Fannes inequality.
◮ Lemma: For any ε > 0 and d-dimensional density matrices ρ
and σ satisfying |ρ − σ|1 ≤ ε, we have |S(ρ) − S(σ)| ≤ η(ε) + ε log d, where η(ε) = −ε log ε ε ≤ 1/4 1/2
- therwise