Abstract:We establish a generalized quantum asymptotic equipartition property (AEP) beyond the i.i.d. framework where the random samples are drawn from two sets of quantum states. In particular, under suitable assumptions on the sets, we prove that all operationally relevant divergences converge to the quantum relative entropy between the sets. More specifically, both the smoothed min- and max-relative entropy approach the regularized relative entropy between the sets. Notably, the asymptotic limit has explicit convergence guarantees and can be efficiently estimated through convex optimization programs, despite the regularization, provided that the sets have efficient descriptions. We give four applications of this result: (i) The generalized AEP directly implies a new generalized quantum Stein's lemma for conducting quantum hypothesis testing between two sets of quantum states. (ii) We introduce a quantum version of adversarial hypothesis testing where the tester plays against an adversary who possesses internal quantum memory and controls the quantum device and show that the optimal error exponent is precisely characterized by a new notion of quantum channel divergence, named the minimum output channel divergence. (iii) We derive a relative entropy accumulation theorem stating that the smoothed min-relative entropy between two sequential processes of quantum channels can be lower bounded by the sum of the regularized minimum output channel divergences. (iv) We apply our generalized AEP to quantum resource theories and provide improved and efficient bounds for entanglement distillation, magic state distillation, and the entanglement cost of quantum states and channels. At a technical level, we establish new additivity and chain rule properties for the measured relative entropy which we expect will have more applications.

Finite-sample concentration of the empirical relative entropy around its mean

A Supplement to the Complete Convergence

A Generalization of Relative Entropy to Count Vectors and its Concentration Property

Comment on "Stronger subadditivity of entropy" by Lieb and Seiringer <a class="link-https" data-arxiv-id="math-ph/0412009" href="https://arxiv.org/abs/math-ph/0412009">math-ph/0412009</a>

On the Concentration of the Minimizers of Empirical Risks

Empirical estimation of entropy functionals with confidence

Efficient Concentration with Gaussian Approximation

Gaussian concentration bound and Ensemble equivalence in generic quantum many-body systems including long-range interaction

Entropic Central Limit Theorem for Order Statistics

Relative entropy bounds for sampling with and without replacement

Concentration of Randomized Functions of Uniformly Bounded Variation

Relative Entropy via Distribution of Observables

Empirical Bernstein in smooth Banach spaces

Uniform Convergence Rate of the Kernel Density Estimator Adaptive to Intrinsic Volume Dimension

Attainability and lower semi-continuity of the relative entropy of entanglement, and variations on the theme

Relative concentration bounds for the spectrum of kernel matrices

A concentration inequality and a local law for the sum of two random matrices

Generalized quantum asymptotic equipartition

Concentration bounds for sampling without replacement and Hoeffding statistics

Max-sliced Wasserstein concentration and uniform ratio bounds of empirical measures on RKHS

Efficient multivariate entropy estimation via $k$-nearest neighbour distances