[论文解读] Heisenberg-Weyl basis observables and related applications

Ali Asadian, Paul Erker+2 more|arXiv (Cornell University)|Dec 17, 2015

Quantum optics and atomic interactions被引用 1

一句话总结

本文利用海森堡-外尔算符，将泡利矩阵推广至高维，提出一种埃尔米特推广形式，使任意密度算符在离散相空间中均可实现实值 Bloch 向量表示，并平滑过渡至无限维情形。该研究推导出对合算符期望值之和的约束边界，为超越二值情况的纠缠检测提供了新颖且非平凡的框架。

ABSTRACT

We introduce a Hermitian generalization of Pauli matrices to higher dimensions which is based on Heisenberg-Weyl operators. The complete set of Heisenberg-Weyl observables allows us to identify a real-valued Bloch vector for an arbitrary density operator in discrete phase space, with a smooth transition to infinite dimensions. Furthermore, we derive bounds on the sum of expectation values of any set of anti-commuting observables. Such bounds can be used in entanglement detection and we show that Heisenberg-Weyl observables provide a first non-trivial example beyond the dichotomic case.

研究动机与目标

• 利用海森堡-外尔算符将泡利矩阵推广至高维，以在离散相空间中统一描述量子态。
• 构建一组完备的可观测量，使有限维希尔伯特空间中任意密度算符均可表示为实值 Bloch 向量。
• 通过所提出的可观测量框架，确保从有限维到无限维系统的平滑过渡。
• 推导任意一组反对易可观测量期望值之和的定量边界，以应用于纠缠检测。
• 在量子信息理论中，首次提供超越二值（量子比特）情况的此类边界的非平凡示例。

提出的方法

• 在 d 维希尔伯特空间中，从海森堡-外尔算符构造一组埃尔米特基的可观测量。
• 定义一组迹为零、正交且归一化的埃尔米特算符，构成广义泡利基。
• 通过这些可观测量的期望值，将任意密度算符表示为 d²−1 维相空间中的实 Bloch 向量。
• 利用算子代数与迹不等式，推导任意一组反对易可观测量期望值之和的一般边界。
• 利用反对易可观测量的结构，构建适用于 qudit 系统的纠缠判据。
• 通过算子基的渐近分析，证明该形式在无限维极限下的连续性。

实验结果

研究问题

• RQ1 如何利用海森堡-外尔群将泡利矩阵推广至高维量子系统？
• RQ2 在离散相空间中，使实值 Bloch 向量表示成为可能的完备埃尔米特可观测量集合具有何种结构？
• RQ3 反对易可观测量的期望值如何约束量子态？可推导出何种边界？
• RQ4 该形式是否能提供超越量子比特情况的新颖非平凡纠缠检测标准？
• RQ5 该形式在无限维希尔伯特空间极限下行为如何？

主要发现

• 从海森堡-外尔算符构造出一组完备的埃尔米特可观测量，形成 d 维希尔伯特空间中的广义泡利基。
• 任意 d 维系统中的密度算符均可唯一地表示为 d²−1 维相空间中的实 Bloch 向量。
• 该形式允许平滑过渡至无限维系统，同时保持 Bloch 向量表示的结构。
• 推导出反对易可观测量期望值之和的非平凡边界，其紧致性优于高维情形下的平凡边界。
• 该框架首次提供了超越二值情况的非平凡纠缠检测示例，适用于 qudit 系统。
• 所推导的期望值边界可作为量子信息协议中 qudit 系统的纠缠判据使用。