[論文レビュー] Simultaneous Estimation of Dimension, States and Measurements: Computation of representative density matrices and POVMs

Cyril Stark|arXiv (Cornell University)|Oct 3, 2012

Quantum Information and Cryptography参考文献 10被引用数 3

ひとこと要約

本稿では、未知の量子状態とPOVM要素間のヒルベルト＝シュミット内積を符号化する与えられた状態-測定グラム行列 $ G $ から物理的に有効な密度行列とPOVMを計算するヒューリスティックなアルゴリズムを提示する。この手法は反復的最適化とユニタリ採択を組み合わせ、正定値かつ正規化された量子演算子を再構築し、すべてのテスト事例で有効な量子モデルを回復した。これにより、次同時次元、状態、測定の推定のための概念的実証が完了した。

ABSTRACT

This investigation continues a program aiming at obtaining effective quantum models to describe measurement statistics. In [Stark, arXiv:1209.5737 (2012)], we have described how the Gram matrix associated to the prepared states and the performed POVM elements can be estimated via convex relaxation of a rank minimization problem. This Gram matrix determines the density matrices and the POVM elements uniquely up to simultaneous rotations (with respect to the Hilbert-Schmidt inner product) in the vector space of Hermitian matrices. However, when the description of the experiment needs to be connected to textbook quantum mechanics, explicit expressions for the states and the POVM elements in terms of positive semidefinite matrices are required. In this paper, we describe a heuristic algorithm that takes the state-meaurement Gram matrix as input and searches explicit realizations of this Gram matrix in terms of quantum mechanically valid density matrices and POVM elements.

研究の動機と目的

• 抽象的なグラム行列表現と未知の量子系における物理的に実現可能な量子演算子（密度行列とPOVM）の間のギャップを埋める。
• 標準的なグラム行列 $ G $ の因子分解が正定値行列を生じさせないという課題に対処する。これは、量子力学的要件に違反する。
• アス轨的データの仮定の下で、$ G $ に符号化されたヒルベルト＝シュミット内積に基づいて、明示的かつ量子力学的に有効な状態と測定の実現を提供する。
• 未知の準備および測定装置を有する量子実験において、次同時次元、状態、測定の推定のための概念的実証を完了する。
• 理論的モデルが不十分または不明な状況における実用的量子モデリングを可能にし、量子情報分野における誤謬性の検証とロバストネス解析を支援する。

提案手法

• アルゴリズムは、測定統計からランク最小化問題の凸緩和により推定される状態-測定グラム行列 $ G $ を入力として受ける。
• 部分因子分解（PARTIAL）、有望な候補の選択（SELECTION_OF_FASTEST）、および標準最適化（REGULAR）の3つのサブルーチンを組み合わせたヒューリスティックな反復的手順を採用する。
• 状態は、一様に抽出された固有値を持つ対角行列として初期化され、ハール分布に従うユニタリ行列による回転によって一般性を確保し、バイアスを回避する。
• POVM要素は、次のように構築される：（1）Kroneckerのデルタ構造を持つ対角行列（「純粋」）、（2）補助系とのユニタリ相互作用により表される高次元空間におけるランク1射影子（「純化済み」）、（3）純粋状態の混合（「部分的に混合」）。
• 収束は条件 $ ext{max}_{ij} | ext{tr}( ho_i E_j) - G_{ij}|  10^{-2} $ により監視され、入力グラム行列との整合性が保証される。
• 初期化における系統的誤差を回避するため、ユニタリ行列はハール測度から採択され、統計的均一性が確保される。

実験結果

リサーチクエスチョン

• RQ1 未知の状態と測定を有する状況でも、与えられたグラム行列 $ G $ から物理的に有効な密度行列とPOVMを体系的に再構築できるか？
• RQ2 標準的な因子分解が有効な量子状態を生成しないにもかかわらず、ヒューリスティックな最適化手順が $ G $ から正定値かつ正規化された量子演算子をどれだけうまく回復できるか？
• RQ3 異なる初期化戦略（純粋、部分的に混合、純化済み）が、さまざまな系の次元において有効な量子モデルへの収束をどれほど効果的に促進するか？
• RQ4 アルゴリズムの計算的挙動、特に収束速度と安定性が、さまざまな系のサイズや構成においてどのように変化するか？
• RQ5 このアルゴリズムは、漸近的状態において信頼性高く量子モデルを再構築できるか。これにより、次同時次元、状態、測定の推定のプログラムが完全に完成するか？

主な発見

• 本アルゴリズムは、2次元、3次元、4次元系における「純粋」、「部分的に混合」、「純化済み」の全状況において、100回の独立実行のうち100%の成功率で有効な密度行列とPOVMを再構築した。
• すべての実行が停止基準 $ ext{max}_{ij} | ext{tr}( ho_i E_j) - G_{ij}|  10^{-2} $ に到達し、入力グラム行列との整合性が確認された。
• 収束時間は状況によって顕著に異なり、図1～図9の変化プロットからもその差が明確に示された。
• 補助系とユニタリ相互作用でPOVMをモデル化する「純化済み」状況は、あらゆる次元で強固な性能を示し、一貫して成功した。
• 本手法は、$ G $ がそれらを同時にユニタリ回転の下でのみ決定するとしても、状態と測定の明示的かつ物理的に有効な表現を $ G $ から計算可能であることを示した。
• 結果は、次同時次元、状態、測定の推定プログラムの実現可能性を裏付け、測定データから完全な量子モデル再構築までの理論的・計算的パイプラインの完成を確認した。