[论文解读] Attainment of the multiple quantum Chernoff bound for certain ensembles of mixed states

Michael Nussbaum|arXiv (Cornell University)|Aug 29, 2013

Quantum Information and Cryptography参考文献 1被引用 3

一句话总结

该论文证明，当某一状态对之间的量子切尔诺夫距离至多为其他所有状态对之间最小距离的1/6时，多重量子切尔诺夫界（MQCB）对某些混合量子态集合是可实现的。该方法结合了递归正算符值测度（POVM）构造与误差分解，利用霍尔沃-赫尔施特罗姆测试处理最近的一对状态，其余状态则使用次优探测器，从而在该几何条件下实现了完整的MQCB指数。

ABSTRACT

We consider the problem of detecting the true quantum state among r possible ones, based on measurements performed on n of copies of a finite dimensional quantum system. It is known that the exponent for the rate of decrease of the averaged error probability cannot exceed the multiple quantum Chernoff bound (MQCB) defined as the worst case (smallest) quantum Chernoff distance between any possible pair of the r states. This error exponent is attainable for r pure states, but for the general case of mixed states only attainability up to a factor 1/3 is known. Here we show that the MQCB is attainable for mixed states if there is a pair which is closer in quantum Chernoff distance than 1/6 times the distance between all other pairs.

研究动机与目标

• 确定多重量子切尔诺夫界（MQCB）在何种条件下对混合量子态集合是可实现的。
• 弥补先前研究的不足：此前仅知对于一般混合态，MQCB的1/3因子是可实现的。
• 提出一个新的充分条件——基于状态对之间相对距离的条件——使得完整MQCB指数可实现。
• 将MQCB可实现性的已知范围从纯态和线性无关态扩展至忠实（满秩）混合态。
• 支持更广泛的猜想：即MQCB在任意有限混合态集合中一般情况下均可实现。

提出的方法

• 通过组合两个独立探测器构建复合POVM：一个用于最近状态对，采用霍尔沃-赫尔施特罗姆测试；另一个用于其余状态，采用实现1/3 MQCB的次优探测器。
• 利用风险分解引理将总误差概率分解为若干部分，分离出最近一对状态的误差贡献与其他状态的误差贡献。
• 利用二元量子切尔诺夫界证明最近一对状态的误差以完整MQCB速率指数衰减。
• 采用加权样本量分割（n₁ ≈ n/2，n₂ ≈ n/2）以平衡两个子探测的误差贡献。
• 通过两个独立子探测的误差之和来界定其余r−2个状态的误差，每个子探测在其对应子集上实现1/3的MQCB。
• 利用条件ξ₁₂ ≤ (1/6)ξ̄₁₂(Σ) 确保组合误差衰减速率达到完整MQCB，从而证明可实现性。

实验结果

研究问题

• RQ1 在何种条件下，多重量子切尔诺夫界（MQCB）可对混合态集合完全实现？
• RQ2 对于忠实（满秩）混合态，MQCB是否可实现？此前结果要求线性无关性。
• RQ3 是否存在几何分离——即一对状态显著比其他所有状态对更近——使得MQCB可完全实现？
• RQ4 递归POVM构造与误差分解技术是否可用于特定配置下实现完整MQCB指数？
• RQ5 是否存在一种混合态配置，使得MQCB可实现，尽管先前研究仅知一般存在1/3因子的界限？

主要发现

• 当存在一对状态，其量子切尔诺夫距离至多为其他任意一对状态之间最小距离的1/6时，MQCB对混合态是可实现的。
• 所提出的探测器序列的误差指数收敛至完整MQCB，即 limₙ→∞ (−1/n) log Errₙ(Eₙ) = ξ_QCB(Σ)。
• 条件ξ₁₂ ≤ (1/6)ξ̄₁₂(Σ) 确保其余状态的误差贡献不会主导整体衰减速率。
• 该方法使忠实（满秩）混合态的可实现性成为可能，而此前线性无关性条件排除了此类情形。
• 递归构造与误差分解技术可推广，表明许多混合态配置下均可实现完整MQCB。
• 该结果支持更广泛猜想：即MQCB在所有有限混合态集合中一般情况下均可实现。