[论文解读] Programmable quantum channels and measurements

Giacomo Mauro D’Ariano, Paolo Perinotti|ArXiv.org|Oct 5, 2005

Quantum Mechanics and Applications参考文献 12被引用 7

一句话总结

本文研究了酉通道和正算子值测度（POVMs）的可编程量子装置的最优设计，表明对于量子比特系统，通过与二维辅助系统进行酉相互作用，可实现通用可编程性，保真度与反误差成线性比例，且辅助系统维数随其线性增长。对于测量，其辅助系统维数与精度呈多项式甚至线性关系，优于以往的指数级界限。

ABSTRACT

We review some partial results for two strictly related problems. The first problem consists in finding the optimal joint unitary transformation on system and ancilla which is the most efficient in programming any desired channel on the system by changing the state of the ancilla. In this respect we present a solution for dimension two for both system and ancilla. The second problem consists in finding the optimal universal programmable detector, namely a device that can be tuned to perform any desired measurement on a given quantum system, by changing the state of an ancilla. With a finite dimension for the ancilla only approximate universal programmability is possible, with minimal dimension increasing function versus the precision of the approximation. We show that one can achieve a dimension growing polynomially versus the precision, and even linearly in specific cases.

研究动机与目标

• 确定在使用固定装置和可变辅助态的情况下，实现任意目标量子通道的最优联合酉变换。
• 研究实现量子测量（POVMs）通用可编程性所需的最小辅助系统维数，且误差有界。
• 建立可编程量子装置精度的理论极限，尤其针对量子比特系统。
• 比较不同辅助系统维数在实现高保真度可编程通道与探测器方面的性能。
• 解决辅助系统维数与近似误差之间的权衡问题。

提出的方法

• 本文将可编程酉通道问题表述为最小化任意目标酉与可编程通道集合之间的最大距离，采用基于Raginsky保真度的通道保真度度量。
• 对于量子比特系统，利用角动量表示和Clebsch-Gordan系数，推导出最优酉相互作用V，将联合希尔伯特空间分解为不可约表示。
• 通过在系统与辅助系统上构造联合可观测量，构建可编程探测器，其中辅助态编码程序信息，测量结果通过辅助态的参数进行调节。
• 该方法采用群论技术，特别是SU(2)对称性与不可约表示，推导最优程序态与保真度界限。
• 采用CB范数距离与基于保真度的度量量化近似误差，保真度通过酉算符的迹重叠表达。
• 分析包括推导最小保真度的界限，并证明最坏情况下的保真度仅取决于辅助系统相互作用参数的相位。

实验结果

研究问题

• RQ1 实现有界误差的量子通道通用可编程性所需的最小辅助系统维数是多少？
• RQ2 能否使用有限维辅助系统实现酉通道的精确通用可编程性？
• RQ3 对于固定辅助系统维数，使所有目标酉算符的最小保真度最大化的最优酉相互作用V是什么？
• RQ4 实现可编程POVMs时，所需辅助系统维数如何随所需精度变化？
• RQ5 能否将辅助系统维数与精度的关系改进至超越指数界限？

主要发现

• 对于量子比特系统（dim(H) = 2），本文给出了最优酉相互作用V的显式解，可最小化编程任意酉通道时的最大误差。
• 通过群论分解推导出可编程酉通道的最优保真度，表明最坏情况下的保真度仅取决于辅助系统相互作用参数的相位。
• 对于可编程POVMs，本文表明辅助系统维数d与ε⁻¹呈线性关系，特定情况下达到d(ε⁻¹) = 2ε⁻¹，显著优于二次或指数界限。
• d(ε⁻¹) ∝ ε⁻¹的界限虽非最优，但相比以往的指数估计有显著改进，该方法通过联合系统-辅助空间的不可约表示分解实现此结果。
• 推导出基于保真度的误差度量δ(P, Q) = 2/d，表明近似误差与辅助系统维数d成反比。
• 本文证明，使用有限辅助系统无法实现酉通道的精确通用可编程性，与Nielsen和Chuang的无解定理一致，但提供了最优近似可编程性的构造性方法。