Error Exponents for Quantum Packing Problems via An Operator Layer Cake Theorem
read the original abstract
In this work, we prove a one-shot random coding bound for classical-quantum channel coding, a problem conjectured by Burnashev and Holevo in 1998. By choosing the optimal input distribution, the bound implies the optimal error exponent (i.e., the reliability function) of classical-quantum channels for rates above the critical rate, even in infinite-dimensional Hilbert spaces. Our result extends to various quantum packing-type problems, including classical communication over any fully quantum channel with or without entanglement-assistance, constant composition codes, and classical data compression with quantum side information via fixed-length or variable-length coding. Our technical ingredient is to establish an operator layer cake theorem - the directional derivative of an operator logarithm admits an integral representation of certain projections. This shows that a kind of pretty-good measurement is equivalent to a randomized Holevo-Helstrom measurement, which provides an operational explanation of why the pretty-good measurement is pretty good.
This paper has not been read by Pith yet.
Forward citations
Cited by 4 Pith papers
-
Optimal Trace Inequalities for Single-Shot Quantum Information
Optimal trace inequalities are derived for single-shot quantum information, replacing prior constants with a smaller Lambert-W prefactor for logarithmic traces and providing optimal two-sided collision-divergence bounds.
-
Optimal Trace Inequalities for Single-Shot Quantum Information
The paper proves an optimal logarithmic trace inequality for positive operators using constant G_s from the scalar bound log(1+r) ≤ G_s r^s, lifted via iterative integration-by-parts, with optimality established for t...
-
Sufficiency and Petz recovery for positive maps
Minimal sufficient Jordan algebras generated by Neyman-Pearson tests characterize sufficiency for positive trace-preserving maps, implying Petz-like recovery and equivalence of interconversion conditions for quantum d...
-
Sufficiency and Petz recovery for positive maps
Minimal sufficient Jordan algebras characterize sufficiency for positive trace-preserving maps on quantum states, with Neyman-Pearson tests generating them and equality in data-processing inequalities implying Petz recovery.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.