[論文レビュー] Programmable quantum channels and measurements

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

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

ひとこと要約

本稿は、ユニタリチャネルおよび正規化作用素測定（POVM）の最適プログラマブル量子デバイス設計を扱い、キュービット系においては2次元の補助系（アーキラ）とのユニタリ相互作用が、誤差の逆数に比例する線形スケーリングで上限のある忠実度を達成するユニバーサルプログラマビリティを可能にすることを示している。測定に関しては、精度に比例して多項式的、さらには線形スケーリングの補助系次元を達成し、先行研究の指数的境界を上回っている。

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.

研究の動機と目的

• 固定されたデバイスと可変な補助系状態を用いて、任意の目的の量子チャネルをシステムにプログラミングするための最適な合同ユニタリ変換を特定すること。
• 有限誤差を伴う量子測定（POVM）のユニバーサルプログラマビリティに必要な最小補助系次元を調査すること。
• 特にキュービット系において、プログラマブル量子デバイスの精度に理論的限界を確立すること。
• 異なる補助系次元が高忠実度のプログラマブルチャネルおよび検出器を達成する上でどのように性能を発揮するかを比較すること。
• 補助系次元と近似誤差の間のトレードオフを解明すること。

提案手法

• 本稿は、ユニタリチャネルのプログラマブル性問題を、任意のターゲットユニタリとプログラマブルチャネルの間の最大距離を最小化する形で定式化し、ラガンスキー忠実度に基づくチャネル忠実度指標を用いる。
• キュービット系においては、角運動量表現とクリーブシュ＝ゴルダン係数を用いて、結合ヒルベルト空間を既約表現に分解することで、最適なユニタリ相互作用Vを導出する。
• 補助系状態がプログラムを符号化するシステムと補助系の共同観測量に基づくプログラマブル検出器を構築する。測定結果は補助系の状態によって調整可能である。
• 最適なプログラム状態と忠実度の上限を導出するために、特にSU(2)対称性と既約表現を用いた群論的技法を採用する。
• 近似誤差を定量化するためにCBノルム距離と忠実度ベースの指標を用い、忠実度はユニタリ演算子のトレース重ね合わせで表現される。
• 最小忠実度の上限を導出し、最悪ケースの忠実度が補助系相互作用パラメータの位相にのみ依存することを示す。

実験結果

リサーチクエスチョン

• RQ1 有限誤差を伴う量子チャネルのユニバーサルプログラマビリティを達成するための最小補助系次元は何か？
• RQ2 有限次元の補助系を用いてユニタリチャネルの正確なユニバーサルプログラマビリティを達成できるか？
• RQ3 固定された補助系次元に対して、すべてのターゲットユニタリにわたる最小忠実度を最大化する最適なユニタリ相互作用Vは何か？
• RQ4 プログラマブルPOVMのための必要な補助系次元は、所望の精度にどのようにスケーリングするか？
• RQ5 精度に伴う補助系次元のスケーリングを、指数的境界を上回る形で改善できるか？

主な発見

• キュービット系（dim(H) = 2）において、本稿は任意のユニタリチャネルのプログラミングにおける最大誤差を最小化する最適ユニタリ相互作用Vの明示的解を提供している。
• 群論的分解を用いて、プログラマブルユニタリチャネルの最適忠実度が導出され、最悪ケースの忠実度が補助系相互作用パラメータの位相にのみ依存することが示された。
• プログラマブルPOVMに関しては、特定の状況において補助系次元dがε⁻¹に比例して線形スケーリングすることを示し、d(ε⁻¹) = 2ε⁻¹を達成した。これは、二次や指数的境界に比べて顕著に優れている。
• d(ε⁻¹) ∝ ε⁻¹の境界は最適でないが、先行研究の指数的推定に比べて顕著な改善であり、結合系-補助系空間の既約表現分解を用いて達成された。
• 忠実度ベースの誤差指標δ(P, Q) = 2/dが導出され、近似誤差が補助系次元dの逆数に比例することを示した。
• 本稿は、有限補助系を用いたユニタリチャネルの正確なユニバーサルプログラマビリティが不可能であることを証明した。これはニールセンとチャウアンのノーゴ定理と整合しており、代わりに最適な近似プログラマビリティを構成的に提供した。