Hypothesis Testing on Invariant Subspaces of the Symmetric Group, Part I - Quantum Sanov's Theorem and Arbitrarily Varying Sources

Abstract

We report a proof of the quantum Sanov Theorem by elementary application of basic facts about representations of the symmetric group, together with a complete characterization of the optimal error exponent in a situation where the null hypothesis is given by an arbitrarily varying quantum source instead. Our approach differs from previous ones in two points: First, it supports a reasoning inspired by the method of types. Second, the measurement scheme we propose to distinguish the two alternatives not only does that job asymptotically perfect, but also yields additional information about the null hypothesis. An example of that is given. The measurement is composed of projections onto permutation-invariant subspaces, thus providing a direct link between one of the most basic tasks in quantum information on the one hand side and fundamental objects in representation theory on the other. We additionally connect to representation theory by proving a relation between Kostka numbers and quantum states, and to state estimation via a generalization of a well-known spectral estimation theorem to non-i.i.d. sequences.

20 pages, no figures

References in corpus (8)

• A Sharp Fannes-type Inequality for the von Neumann Entropy
• The Structure of Bipartite Quantum States - Insights from Group Theory and Cryptography
• The Spectra of Density Operators and the Kronecker Coefficients of the Symmetric Group
• Pinning of Fermionic Occupation Numbers
• Error exponents in hypothesis testing for correlated states on a spin chain
• On Quantum Capacity of Compound Channels
• Typical support and Sanov large deviations of correlated states
• A quantum information-theoretic proof of the relation between Horn's problem and the Littlewood-Richardson coefficients

Cited by in corpus (14)

• Correlation Detection and an Operational Interpretation of the Renyi Mutual Information
• Coding theorems for compound problems via quantum Rényi divergences
• The Classical-Quantum Channel with Random State Parameters Known to the Sender
• A solution of the generalised quantum Stein's lemma
• Tight asymptotic bounds on local hypothesis testing between a pure bipartite state and the white noise state
• On the error exponents of binary state discrimination with composite hypotheses
• Multivariate Fidelities
• Black Box Work Extraction and Composite Hypothesis Testing
• Asymptotic quantification of entanglement with a single copy
• Measuring quantum relative entropy with finite-size effect
• Universal tester for multiple independence testing and classical-quantum arbitrarily varying multiple access channel
• Towards Quantum Universal Hypothesis Testing
• Convexity properties of the quantum Rényi divergences, with applications to the quantum Stein's lemma
• A class of permutation-invariant measurements and their relation to quantum relative entropies