Abstract:We propose an extension of the classical Rényi divergences to quantum states through an optimization over probability distributions induced by restricted sets of measurements. In particular, we define the notion of locally-measured Rényi divergences, where the set of allowed measurements originates from variants of locality constraints between (distant) parties $A$ and $B$. We then derive variational bounds on the locally-measured Rényi divergences and systematically discuss when these bounds become exact characterizations. As an application, we evaluate the locally-measured Rényi divergences on variants of highly symmetric data-hiding states, showcasing the reduced distinguishing power of locality-constrained measurements. For $n$-fold tensor powers, we further employ our variational formulae to derive corresponding additivity results, which gives the locally-measured Rényi divergences operational meaning as optimal rate exponents in asymptotic locally-measured hypothesis testing.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is how to define and calculate the Rényi divergence between quantum states through local measurements in quantum information theory. Specifically, the author proposes a method based on local measurement sets, which extends the classical Rényi divergence to quantum states, with special attention to measurement sets under different local constraints. The main contributions of the paper include:
1. **Define Locally - Measured Rényi Divergence**: The author defines the locally - measured Rényi divergences, where the allowed measurement sets are derived from measurements under different local constraint conditions. These constraint conditions can be local operations and classical communication (LOCC) between two distant laboratories, separable - state measurements (SEP), or positive - partial - transpose measurements (PPT), etc.
2. **Variational Bounds and Exact Characterization**: The author derives the variational bounds of the locally - measured Rényi divergence and discusses when these bounds become exact characterizations. In particular, for highly symmetric data - hiding states, the author shows the exactness of these variational bounds.
3. **Applications and Results**: As an application, the author evaluates the performance of the locally - measured Rényi divergence on highly symmetric data - hiding states, showing the phenomenon of weakened discrimination ability of locally - restricted measurements. In addition, for the n - fold tensor power, the author uses the variational formula to derive the corresponding additive results, endowing the locally - measured Rényi divergence with an operational meaning in asymptotic local - measurement hypothesis testing.
### Specific Problem Analysis
#### 1. **Problem Background**
In classical information theory, the Rényi divergence is a fundamental quantity and has a direct operational meaning in information theory, especially in hypothesis testing. Therefore, it is natural to study the quantum extensions of these divergences. Due to the non - commutative nature of quantum physics, there are multiple possible extension methods. This paper adopts a measurement - based approach to extend the classical Rényi divergence to the quantum domain by restricting the measurement sets.
#### 2. **Method Overview**
- **Define Measurement Rényi Divergence**:
\[
D_{\alpha}^M(\rho \| \sigma) := \sup_{M \in M} D_{\alpha}(\mu_{\rho}^M \| \mu_{\sigma}^M)
\]
where \(\mu_{\rho}^M\) and \(\mu_{\sigma}^M\) are the classical probability distributions obtained by converting the quantum states \(\rho\) and \(\sigma\) through measurement \(M\), respectively, and \(D_{\alpha}\) is the classical Rényi divergence.
- **Local Measurement Sets**:
- **LOCC**: Local operations and classical communication.
- **SEP**: Separable - state measurements.
- **PPT**: Positive - partial - transpose measurements.
#### 3. **Main Results**
- **Variational Bounds**: The author derives the variational bounds of the locally - measured Rényi divergence and discusses when these bounds become exact characterizations.
- **Application to Data - Hiding States**: For highly symmetric data - hiding states, shows the phenomenon of weakened discrimination ability of locally - restricted measurements.
- **Additive Results**: For the n - fold tensor power, derives the corresponding additive results, endowing the locally - measured Rényi divergence with an operational meaning in asymptotic local - measurement hypothesis testing.
#### 4. **Practical Significance**
- **Hypothesis Testing**: The locally - measured Rényi divergence has an operational meaning in asymptotic local - measurement hypothesis testing, especially as the optimal rate index in the strong converse theorem.
- **Data - Hiding States**: Shows the weakened ability of locally - restricted measurements in distinguishing highly symmetric data - hiding states, which is of great significance for understanding local restrictions in quantum information processing.
In summary, this paper provides new tools and perspectives for the study of hypothesis testing and data - hiding states in quantum information theory by introducing the locally - measured Rényi divergence.