[论文解读] Quantum Data Compression of Ensembles of Mixed States with Commuting Density Operators

Gerhard Kramer, Serap A. Savari|ArXiv.org|Jan 24, 2001

Quantum Computing Algorithms and Architecture参考文献 11被引用 8

一句话总结

本文通过率失真框架，在可见与隐藏（盲）场景下，精确确定了具有可交换密度算符的量子数据压缩的最优压缩速率。该研究将问题推广至渐近有界重建保真度的情形，推导出两种情况下率失真函数的精确表达式，包括在隐藏情况下零失真时的不连续性。

ABSTRACT

We provide a rate distortion interpretation of the problem of quantum data compression of ensembles of mixed states with commuting density operators. There are two versions of this problem. In the visible case the sequence of states is available to the encoder and in the blind or hidden case the encoder may access only a sequence of measurements. We find the exact optimal compression rates for both the visible and hidden cases. Our analysis includes the scenario in which asymptotic reconstruction is imperfect.

研究动机与目标

• 确定在可见与隐藏源模型下，具有可交换密度算符的量子系综的最优压缩速率。
• 通过率失真框架统一分析量子数据压缩，将研究范围从完美保真度扩展至包含有界失真的情形。
• 解决混合态压缩中可实现速率的开放问题，特别是仅能获取测量结果的盲情况。
• 将量子压缩问题推广至允许渐近不完美重建的情形，为先前工作提供自然延伸。

提出的方法

• 通过利用密度算符的可交换性，将量子压缩问题转化为经典率失真问题，从而实现概率表示。
• 应用率失真理论，将最优压缩速率表示为满足失真约束的条件分布 P_{Y|V} 上的最小互信息 I(V;Y)。
• 利用典型序列与随机编码论证证明可实现性，表明大小约为 ~2^{L I(V;Y)} 的码书足以实现高概率重建。
• 推导出率失真函数 R(Δ) = min_{P_{Y|V}: d(P_{XY}) ≤ Δ} I(V;Y)，其中 V 为源变量（可见情况下为 X，隐藏情况下为 Z）。
• 分析了 Bhattacharyya-Wootters 与信息散度两种失真度量，计算了特定示例的精确速率。
• 证明在隐藏情况下，当 α₂ = α₁ 时，R(0) 可能出现不连续性，具体取决于先验概率与状态参数。

实验结果

研究问题

• RQ1 在可见情况下，具有可交换密度算符的量子系综的精确最优压缩速率是多少？
• RQ2 在隐藏（盲）情况下，仅编码器可获取测量结果时，最优压缩速率有何不同？
• RQ3 量子压缩问题能否推广至允许渐近不完美重建？其相应的码率-失真权衡如何？
• RQ4 为何在隐藏情况下最优速率 R(0) 会出现不连续性？其发生的条件是什么？
• RQ5 不同的失真度量（Bhattacharyya-Wootters 与信息散度）如何影响可实现的压缩速率？

主要发现

• 在可见情况下，最优压缩速率为 R(Δ) = min_{P_{Y|X}: d(P_{XY}) ≤ Δ} I(X;Y)，对于特定失真度量可导出精确表达式。
• 在隐藏情况下，最优速率为 R(Δ) = min_{P_{Y|Z}: d(P_{XY}) ≤ Δ} I(Z;Y)，且当 α₂ = α₁ 时，R(0) 可能出现不连续性。
• 在 p=1/2，α₁=1/10，α₂=9/10 的示例中，可见情况下在 Bhattacharyya-Wootters 度量下 R(0) ≈ 0.5310 比特/符号。
• 在隐藏情况下，当 p=1/2，α₁=1/3 时，若 α₂ ≠ 1/3，则 R(0) = h(1/3) ≈ 0.9183 比特；但当 α₂ = 1/3 时，R(0) 降为 0，表明出现不连续性。
• 当 Δ > 0 时，即使失真极小，压缩性能也显著优于 R(0)，尤其在隐藏情况下，体现出放宽保真度的实际优势。
• 率失真函数 R(Δ) 是凸的，与经典信息论一致，该框架可精确计算可交换混合态系综的最优速率。