3 problems

Convolutional strong subadditivity. One has

Let $n$ be a positive integer, let $\sigma$ be a density operator, and let $M^c$ denote the complement of $M$ in $\{1,2,\cdots,n\}$. For a subset $M$, write $\sigma^{\otimes M^c}$ f…

Exact catalytic entropy conjecture. Such a density matrix $csigma$ and unitary $U$ exist if and only if $H(\rho)<H(\rho')$ and…