Additivity violation for the explicit CHLMW pair in the middle-order regime
Investigate whether the explicit pair of trace-preserving quantum channels obtained from the CHLMW subspaces R and the entrywise conjugate subspace \bar S violates minimum output Rényi entropy additivity for any Rényi order p in the interval [1/4,3/4].
References
This note does not establish: an improved endpoint over CHLMW's unprinted semidefinite-programming calculation, had its value been recorded; optimality of the floor, cap, envelope, or endpoint; the true minimum output entropies or minimizing inputs of either channel; or any violation in the middle-order regime [1/4,3/4], which remains open.
Leung, Lovitz, and Wu proved randomized nonadditivity for $3/4<p<1$ and for $0 p<1/4$, leaving $[1/4,3/4]$ as the remaining unresolved interval inside $0<p<1$.