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.
Cheng and P.-C
6 Pith papers cite this work. Polarity classification is still indexing.
6
Pith papers citing it
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.
citation-role summary
background 2
method 1
citation-polarity summary
years
2026 6representative citing papers
The f_0-divergence defined via Jordan decomposition integrals coincides with Araki's relative entropy on arbitrary von Neumann algebras, extending Frenkel's finite-dimensional formula.
Quantum relative entropy is the unique normalized, additive, Lorenz-continuous divergence monotone under binary guessing games.
Establishes dimension-free one-shot pairwise bounds for multiple quantum hypothesis testing, resolves Audenaert-Mosonyi conjecture, and proves achievability of multiple quantum Chernoff distance for arbitrary separable Hilbert spaces.
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.
Smoothing exponents of max-relative entropy and catalytic decoupling reliability exponents retain their finite-dimensional sandwiched-Rényi formulae on semifinite von Neumann algebras.
citing papers explorer
-
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.
-
Integral representations of $f$-divergences for general von Neumann algebras
The f_0-divergence defined via Jordan decomposition integrals coincides with Araki's relative entropy on arbitrary von Neumann algebras, extending Frenkel's finite-dimensional formula.
-
Quantum Noncommutativity Uniquely Determines Relative Entropy
Quantum relative entropy is the unique normalized, additive, Lorenz-continuous divergence monotone under binary guessing games.
-
Multiple Quantum Hypothesis Testing: One-Shot Pairwise Bounds and Sharp Asymptotics
Establishes dimension-free one-shot pairwise bounds for multiple quantum hypothesis testing, resolves Audenaert-Mosonyi conjecture, and proves achievability of multiple quantum Chernoff distance for arbitrary separable Hilbert spaces.
-
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.
-
Smoothing Exponents and Decoupling in Semifinite von Neumann Algebras
Smoothing exponents of max-relative entropy and catalytic decoupling reliability exponents retain their finite-dimensional sandwiched-Rényi formulae on semifinite von Neumann algebras.