V.T272 — Readout Channel Entropy Bound

S_vN(ρ_out) ≤ log(dim H_∂) < S_BH. The readout Hilbert space H_∂ is a proper subset of the full ontic Hilbert space. The readout channel cannot carry away full ontic information content.