Quantum Markov chains and logarithmic trace inequalities

A Markov chain is a tripartite quantum state ρ
_ABC
where there exists a recovery map R
_B→BC
such that ρ
_ABC
= R
_B→BC
(ρ
_AB
). More generally, an approximate Markov chain ρ
_ABC
is a state whose distance to the closest recovered state R
_B→BC
(ρ
_AB
) is small. Recently it has been shown that this distance can be bounded from above by the conditional mutual information I(A : C|B)
_ρ
of the state. We improve on this connection by deriving the first bound that is tight in the commutative case and features an explicit recovery map that only depends on the reduced state pBC. The key tool in our proof is a multivariate extension of the Golden-Thompson inequality, which allows us to extend logarithmic trace inequalities from two to arbitrarily many matrices.