PreprintCC BY 4.0arXiv
A Generalized quantum Stein lemma on von Neumann algebras
Abstract
We prove a generalized quantum Stein lemma for i.i.d. normal states against convex, tensor-stable families on arbitrary von Neumann algebras. Assuming the existence of an alternative state with finite relative entropy from the null state, we show that, at every type-I error tolerance ε∈ (0,1), the worst case type-II error exponent is achieved with the regularized relative entropy with a strong converse. The proof combines the integral representation of relative entropy by hockey-stick divergences, a modular testing bound, and convex minimax argument.
Related
- Conditioning on Subalgebras - Entropy Duality and Generalized Quantum Stein's Lemma in von Neumann Algebras
- A Generalized Stein Lemma for Quantum Channels
- A fully Gaussian quantum Stein's lemma
- Generalised quantum Stein's lemma more robust than ever
- Quantum Channel Stein's Lemma with an Exponential Strong Converse
BibTeX
@misc{gao2026generalized,
title = {{A Generalized quantum Stein lemma on von Neumann algebras}},
author = {Li Gao},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2610.02134},
eprint = {2610.02134},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2610.02134},
note = {CC BY 4.0},
}
RIS
TY - UNPB
TI - A Generalized quantum Stein lemma on von Neumann algebras
AU - Li Gao
PY - 2026
DA - 2026/10/01
PB - arXiv
DO - 10.48550/arxiv.2610.02134
UR - https://arxiv.org/abs/2610.02134
AB - We prove a generalized quantum Stein lemma for i.i.d. normal states against convex, tensor-stable families on arbitrary von Neumann algebras. Assuming the existence of an alternative state with finite relative entropy from the null state, we show that, at every type-I error tolerance ε∈ (0,1), the worst case type-II error exponent is achieved with the regularized relative entropy with a strong converse. The proof combines the integral representation of relative entropy by hockey-stick divergences, a modular testing bound, and convex minimax argument.
ER -