Monotonicity conjecture for Rényi generalizations of conditional quantum mutual information
Let ρABC∈S(HABC)++\rho_{ABC}\in\mathcal{S}(\mathcal{H}_{ABC})_{++}ρABC∈S(HABC)++, τAC∈S(HAC)++\tau_{AC}\in\mathcal{S}(\mathcal{H}_{AC})_{++}τAC∈S(HAC)++, θBC∈S(HBC)++\theta_{BC}\in\mathcal{S}(\mathcal{H}_{BC})_{++}θBC∈S(HBC)++, and…