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.
— Exact certification of a positive-order Rényi additivity violation for an explicit channel pair
(2608.17376 - Krohn-Grimberghe, 18 Aug 2026) in Section Verification and provenance