Search papers, labs, and topics across Lattice.
This paper investigates a quantum data compression problem for density matrices with known spectra but unknown eigenbases, focusing on the minimum memory cost without preserving purification. For distinct positive eigenvalues in fixed dimensions, the authors derive the exact compression cost, characterized by an additive constant. Achievability is established via a generalized Werner cloning map, with finite trace-distance bounds determined by highest-weight differences and row gaps, while the converse relies on a quantitative Koashi-Imoto incompressibility result under a spectral-gap assumption.
A precise quantum compression cost for density matrices with unknown eigenbases is derived, revealing an additive constant linked to spectral properties.
We study a variant of Schumacher compression. The task asks for the minimal memory cost for compressing many copies of a density matrix with known spectrum and unknown eigenbasis, without preserving its purification. For fixed dimension and distinct positive eigenvalues, we obtain the cost through its additive constant. Achievability uses a generalization of Werner's cloning map to $\mathrm{GL}(d,\mathbb C)$ irreducible representations, with finite trace-distance bounds controlled by highest-weight differences and row gaps. The matching converse follows from a quantitative form of Koashi--Imoto incompressibility for irreducible group orbits under a spectral-gap assumption. We also identify the relation between this quantum minimum description length and universal lossless coding overhead, and its connection to free entropy is explained in a companion letter. We provide a Lean certificate for our proofs.