Classical records cannot replace an unknown quantum diary

A measure-and-prepare channel has the form

where $\{F_x\}$ is a POVM and the ${\sigma }_x$ are states. Such channels are entanglement breaking HorodeckiShorRuskai. The following proof gives the quantitative obstruction needed here.