[論文レビュー] Statistical Model with Measurement Degree of Freedom and Quantum Physics

Masahito Hayashi, Keiji Matsumoto|ArXiv.org|Aug 27, 2003

Quantum Information and Cryptography参考文献 7被引用数 4

ひとこと要約

本稿は、量子状態推定における逐次的および集合的測定戦略の下で、量子クラーメル・ラオの下界の漸近的達成可能性を確立する。2つの下界—準量子および量子クラーメル・ラオ型—を導入し、量子相関がサンプル間で利用可能な場合、正則性条件下で後者が漸近的に達成可能であることを示し、Nagaokaによる以前の証明の欠落を解消する。

ABSTRACT

This is an English translation of the manuscript which appeared in Surikaiseki Kenkyusho Kokyuroku No. 1055 (1998). The asymptotic efficiency of statistical estimate of unknown quantum states is discussed, both in adaptive and collective settings. Aaptive bounds are written in sigle letterized form, and collective bounds are written in limitting expression. Our arguments clarify mathematical regularity conditions.

研究の動機と目的

• 量子クラーメル・ラオの下界が漸近的に達成可能となる数学的正則性条件を明確化すること。
• Nagaokaによる達成可能性のスケッチに起因する欠落を解消し、準量子クラーメル・ラオ下界の漸近的達成可能性を完全に証明すること。
• 複数の状態コピー間の量子相関を許容する際の達成可能性を示す、新たな量子クラーメル・ラオ型下界を定義・分析すること。
• 逐次的および集合的測定設定における推定戦略の漸近的最適性を確立すること。

提案手法

• 正の作用素値測定（POVM）を用いて量子測定をモデル化し、与えられたPOVM $ M $ に対する古典的フィッシャー情報行列 $ J^M_\theta $ を定義する。
• 平均二乗誤差（MSE）行列 $ V_\theta[\hat{\theta}, M] $ を導入し、推定精度の指標として重み付きトレース $ \mathrm{Tr}\, G V_\theta[\hat{\theta}, M] $ を用いる。
• 真の状態 $ \rho_\theta $ における推定量の期待値および一次モーメントに関する条件を用いて、局所不偏推定量を定義し、局所的一致性を確保する。
• 局所不偏推定量の範囲で $ \mathrm{Tr}\, G V_\theta[\hat{\theta}, M] $ の下界としての準量子クラーメル・ラオ下界 $ C_\theta(G) $ を定義する。
• $ n $ 個の独立同分布なコピーに対する下界 $ C^n_\theta(G) $ の極限 $ \lim_{n\to\infty} n C^n_\theta(G) $ を量子クラーメル・ラオ型下界 $ C^Q_\theta(G) $ として提案する。
• 群ごとに分類されたサンプルに対する逐次POVMを用いた適応的測定スキームを用いて達成可能性を示し、量子クラーメル・ラオ下界への収束を示す。

実験結果

リサーチクエスチョン

• RQ1 準量子クラーメル・ラオ下界 $ C_\theta(G) $ が、どのような正則性条件下で量子状態推定において漸近的に達成可能となるか。
• RQ2 複数の状態コピー間の量子相関が測定戦略に許容される場合、量子クラーメル・ラオ型下界は達成可能か。
• RQ3 量子推定において、適応的測定と集合的測定を用いた際の平均二乗誤差の漸近的挙動はいかなるものか。
• RQ4 群ごとに分類されたサンプルに対する逐次的で適応的なPOVMの使用は、最適推定下界への収束にどのように影響するか。
• RQ5 漸近的領域において、古典的フィッシャー情報と量子クラーメル・ラオ下界の関係は何か。

主な発見

• 正則性条件下で、すべての $ \theta \in \Theta $ に対して準量子クラーメル・ラオ下界 $ C_\theta(G) $ が漸近的に達成可能であり、完全な証明が提供されている。
• 測定プロセスにおいてサンプル間の量子相関が利用可能な場合、量子クラーメル・ラオ型下界 $ C^Q_\theta(G) $ が漸近的に達成可能であることが示された。
• 任意の $ \epsilon > 0 $ に対して、$ \mathrm{Tr}\, G V_\theta[M_n] $ が $ C^Q_\theta(G) + \epsilon $ に収束するMSE整合性を持つPOVMの列 $ \{M_n\} $ が存在し、下界のタイトネスが証明された。
• 下界 $ C^Q_\theta(G) $ は、$ n $ 個の独立同分布コピーに対する下界 $ C^n_\theta(G) $ の極限 $ \lim_{n\to\infty} n C^n_\theta(G) $ として定義され、$ C_\theta(G) \geq C^Q_\theta(G) $ を満たす。
• 達成可能性の証明は、$ n $ 個のサンプルを $ n_1 $ 個のグループに分け、直前の測定結果に依存する逐次POVMを適用する適応的測定戦略に依存している。
• 漸近的平均二乗誤差は $ n_2 \to \infty $ のとき $ n_1 C^{n_1}_\theta(G) $ に収束し、$ n_1 $ を十分に大きくすることで誤差を $ C^Q_\theta(G) $ に任意に近づけることができる。