[論文レビュー] 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})$ を、すべての $ j $ に対して $ P A_j P = a_j P $ を満たすランク-k射影 $ 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}) $ を特徴づける。
• すべての有限ランク摂動 $ \mathbf{F} $ に対して $ W(\mathbf{A} + \mathbf{F}) $ の閉包の共通部分として定義される連立本質的数値域 $ W_e(\mathbf{A}) $ を導入する。
• $ \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}) $ は常に凸であり、有限 $ k $ に対する $ \overline{\Lambda_k(\mathbf{A})} $ の星中心とどのように関係するか。

主な発見

• 十分に大きなヒルベルト空間次元において、連立高ランク数値域 $ \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})} $ および適切な $ X $ に対して $ \bigcap_k \overline{\Lambda_k(X^* \mathbf{A} X)} $ を通じた表現が得られる。