[论文解读] Quantum error correction and generalized numerical ranges

Chi-Kwong Li, Yiu‐Tung Poon|ArXiv.org|Dec 27, 2008

Quantum Computing Algorithms and Architecture参考文献 16被引用 3

一句话总结

本文通过分析量子通道算子的联合高阶数值域，建立了一个量子纠错的几何框架。证明了在足够大的希尔伯特空间中，联合k阶数值域是星形的并包含一个凸子集，并表明联合无穷阶数值域等于联合本质数值域，为无限维情形下量子纠错码的存在性提供了关键判据。

ABSTRACT

For a noisy quantum channel, a quantum error correcting code exists if and only if the joint higher rank numerical ranges associated with the error operators of the channel is non-empty. In this paper, geometric properties of the joint higher rank numerical ranges are obtained and their implications to quantum computing are discussed. It is shown that if the dimension of the underlying Hilbert space of the quantum states is sufficiently large, the joint higher rank numerical range of operators is always star-shaped and contains a non-empty convex subset. In case the operators are infinite dimensional, the joint infinite rank numerical range of the operators is a convex set closely related to the joint essential numerical ranges of the operators.

研究动机与目标

• 刻画用于量子纠错的联合高阶数值域的几何结构。
• 利用算子理论工具，建立量子纠错码存在的条件。
• 探索无限维希尔伯特空间中联合无穷阶数值域与联合本质数值域之间的关系。
• 以联合高阶数值域非空为条件，提供量子纠错码存在的几何判据。

提出的方法

• 将联合k阶数值域 $\Lambda_k(\mathbf{A})$ 定义为所有满足存在一个k阶投影 $P$ 使得对所有 $j$ 有 $P A_j P = a_j P$ 的元组 $ (a_1,\dots,a_m) $ 的集合。
• 利用 $\mathbb{C}^n$ 中的正交系 $\{x_1,\dots,x_k\}$，通过内积 $\langle \mathbf{A} x_i, x_j \rangle = \delta_{ij} \mathbf{a}$ 来刻画 $\Lambda_k(\mathbf{A})$。
• 将联合本质数值域 $W_e(\mathbf{A})$ 定义为所有有限秩扰动 $\mathbf{F}$ 下 $W(\mathbf{A} + \mathbf{F})$ 的闭包的交集。
• 证明 $\Lambda_\infty(\mathbf{A}) \subseteq \Omega_\infty(\mathbf{A}) = W_e(\mathbf{A})$，并在某些条件下得到等式。
• 建立 $W_e(\mathbf{A}) = \bigcap_{k \geq 1} \overline{\Lambda_k(\mathbf{A})}$，将本质数值域与有限秩数值域的闭包联系起来。
• 利用谱上确界 $\lambda_k(\mathbf{c} \cdot \mathbf{A})$ 定义 $\Omega_k(\mathbf{A})$，并证明 $\Lambda_k(\mathbf{A}) \subseteq \Omega_k(\mathbf{A})$，从而导出主要刻画结果。

实验结果

研究问题

• RQ1 在联合高阶数值域的何种几何条件下，给定量子通道存在量子纠错码？
• RQ2 随着希尔伯特空间维数的增加，$\Lambda_k(\mathbf{A})$ 的结构如何变化，特别是在无限维情形下？
• RQ3 联合无穷阶数值域 $\Lambda_\infty(\mathbf{A})$ 与联合本质数值域 $W_e(\mathbf{A})$ 之间的精确关系是什么？
• RQ4 联合本质数值域能否被刻画为有限秩数值域闭包的交集？
• RQ5 $\Lambda_\infty(\mathbf{A})$ 是否总是凸的，它与 $\overline{\Lambda_k(\mathbf{A})}$ 对于有限 $k$ 的星心之间有何关系？

主要发现

• 在希尔伯特空间维数足够大时，联合高阶数值域 $\Lambda_k(\mathbf{A})$ 总是星形的，并且包含一个非空凸子集。
• 联合无穷阶数值域 $\Lambda_\infty(\mathbf{A})$ 总是凸的，且是每个有限 $k$ 的 $\overline{\Lambda_k(\mathbf{A})}$ 的星心集合的子集。
• 联合本质数值域满足 $W_e(\mathbf{A}) = \bigcap_{k \geq 1} \overline{\Lambda_k(\mathbf{A})}$，提供了拓扑刻画。
• 有 $\Lambda_\infty(\mathbf{A}) \subseteq \Omega_\infty(\mathbf{A}) = W_e(\mathbf{A})$，且已确立等式 $\Omega_\infty(\mathbf{A}) = W_e(\mathbf{A})$。
• 联合本质数值域在有限秩扰动下保持不变：对任意有限秩 $\mathbf{F}_0$，有 $W_e(\mathbf{A}) = W_e(\mathbf{A} + \mathbf{F}_0)$。
• 推导出 $W_e(\mathbf{A})$ 的多个等价刻画，包括通过 $\bigcap_k \overline{\Lambda_k(\mathbf{A} + \mathbf{F})}$ 和 $\bigcap_k \overline{\Lambda_k(X^* \mathbf{A} X)}$（对合适的 $X$）的形式。