The generic MPDO conjecture on exponential decay of conditional mutual information

A Matrix Product Density Operator (MPDO) is a one-dimensional tensor-network representation of a mixed quantum state. For a tripartite state ρABC\rho_{ABC}, the conditional mutual information is

I(A:CB)ρ:=S(AB)ρ+S(BC)ρS(B)ρS(ABC)ρ,I(A:C|B)_\rho:=S(AB)_\rho+S(BC)_\rho-S(B)_\rho-S(ABC)_\rho,

where S(A)ρ=TrρAlog2ρAS(A)_\rho=-\operatorname{Tr}\rho_A\log_2\rho_A.

Generic MPDO conjecture. For a `generic' MPDO, there exists a constant c>0c>0 such that for any tripartition ABCABC in which BB separates AA from CC by distance \ell,

I(A:CB)=O(ec).I(A:C|B)=O(e^{-c\ell}).

Exponential decay of conditional mutual information is motivated by the characterization of states that can be well approximated by local Gibbs states. The source deliberately leaves the meaning of `generic' ambiguous, and no resolution is given.

Sources & referencesView supporting material

Primary source

Chi-Fang Chen, Kohtaro Kato and Fernando G. S. L. Brandão, “Matrix Product Density Operators: when do they have a local parent Hamiltonian?”, arXiv:2010.14682 (2023).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.