[論文レビュー] On metric of quantum channel spaces

Keiji Matsumoto|arXiv (Cornell University)|Jun 2, 2010

Mathematical Inequalities and Applications参考文献 10被引用数 8

ひとこと要約

本稿は、量子チャネル空間上の単調な計量に対して公理的枠組みを確立し、恒等チャネルとのテンソル積に関して不変であることと、チャネルの連結に関して単調であることという条件を課す。最大および最小のこのような計量を特定し、ノイズのあるチャネルに対しては、任意のチャネル推定における平均二乗誤差（MSE）が $O(1/n)$ で下から抑えられることを示し、これは $O(1/n^2)$ のヘイゼンベルク限界が任意に小さいノイズのもとで崩壊することを意味する。

ABSTRACT

So far, there have been plenty of literatures on the metric in the space of probability distributions and quantum states. As for channels, however, only a little had been known. In this paper, we impose monotonicity by concatenation of channels before and after the given channel families, and invariance by tensoring identity channels. Under these axioms, we identify the largest and the smallest metrics. Also, we studied asymptotic theory of metric in parallel and adaptive repetition settings, and applied them to the study of channel estimation. First we express the achievable lower bound of the mean square error (MSE) of an estimate by a monotone channel metric, and show this equals O(1/n) for noisy channels, where n is the number of times of channel use. This result shows Heisenberg rate, or O(1/n^2)-rate of the MSE observed in case of estimation of unitary, collapses with very small arbitrary noise.

研究の動機と目的

• 量子チャネル空間における単調な計量の公理的特徴付けを構築すること。
• 恒等チャネルとのテンソル積に関して不変で、単調性を満たす計量の最大および最小を同定すること。
• 並列および適応的チャネル繰り返し設定におけるこれらの計量の漸近的挙動を研究すること。
• 理論を応用して、チャネル推定の精度に関する根本的限界を導出すること。
• 任意に小さいノイズが導入された場合に、MSE におけるヘイゼンベルクスケーリング $O(1/n^2)$ が $O(1/n)$ に崩壊することを示すこと。

提案手法

• 2つの公理を課す：恒等チャネルとのテンソル積に関して不変であることと、チャネル連結に関して単調であること。
• 最小計量がチャネル接空間における SLD フィッシャー情報として特定されること。
• 最大計量が有限次元の仮定のもとで RLD フィッシャー情報として特定されること。
• 繰り返しチャネル利用の並列および適応的設定を解析するために、漸近的接空間シミュレーション技術を用いる。
• 単調計量を用いて、チャネル推定の平均二乗誤差（MSE）の下界を導出する理論を適用する。
• 接空間解析とノルム同値性の議論を用いて、チャネル計量と入出力空間における量子フィッシャー情報の関係を結ぶ。
• ガウス近似と古典的接空間シミュレーション定理（例：定理15）を用いて、チャネル族の漸近的に有効なシミュレーションを構築する。

実験結果

リサーチクエスチョン

• RQ1 恒等チャネルとのテンソル積に関して不変で、単調性を満たす量子チャネル空間上の最大および最小の計量は何か？
• RQ2 繰り返し使用における並列および適応的設定において、単調チャネル計量はどのように漸近的に振る舞うか？
• RQ3 単調計量を用いた量子チャネル推定における平均二乗誤差（MSE）の根本的下界は何か？
• RQ4 任意に小さいノイズがチャネルに導入された場合、MSE におけるヘイゼンベルクスケーリング $O(1/n^2)$ は維持されるか？
• RQ5 有限次元性のもとで、チャネル空間上の最大単調計量は RLD フィッシャー情報で特徴付けられるか？

主な発見

• 量子チャネル空間上の最小単調計量は、SLD フィッシャー情報によって与えられ、$G_{\rm \boldsymbol{\rho}}^{\rm min} = \max_x J_{\rho_x}^S(\delta_x)$ である。
• 有限次元の仮定のもとで、最大単調計量は RLD フィッシャー情報によって特徴付けられ、$\tilde{G}_{\Phi}^{\max,p}(\Delta) = \max_x J_{\rho_x}^R(\delta_x)$ である。
• ノイズのあるチャネルに対しては、任意の推定スキームにおける平均二乗誤差（MSE）が $O(1/n)$ で下から抑えられる。ここで $n$ はチャネル利用回数である。
• ノイズのないユニタリチャネル推定で観察される MSE におけるヘイゼンベルク限界 $O(1/n^2)$ は、任意に小さいノイズのもとで $O(1/n)$ に崩壊する。
• チャネル族の漸近的接空間シミュレーションは、古典的ガウスモデルと RLD フィッシャー情報によって実現可能であり、誤差は $n \to \infty$ のとき消える。
• 有限次元性のもとで CQ チャネルに対して、$G_{\Phi}^{R,p}(\Delta) = \tilde{G}_{\Phi}^{\max,p}(\Delta) \lneqq G_{\Phi}^{\max,p}(\Delta)$ であるという予想が成り立つ。