[論文レビュー] Efficient Tomography of Non-Interacting Fermion States

Scott Aaronson, Sabee Grewal|arXiv (Cornell University)|Feb 20, 2021

Medical Imaging Techniques and Applications被引用数 5

ひとこと要約

この論文は、O(m³n² log(1/δ)/ϵ⁴) 冊のコピーと O(m⁴n² log(1/δ)/ϵ⁴) の時間で、トレース距離において確率的に高確率で ϵ-近似を達成する非相互作用フェルミオン状態の学習に効率的なアルゴリズムを提示している。この手法は、O(m) 個の測定基底を用いて1モードおよび2モード相関を推定し、カーネル行列 K を再構築し、状態を記述する列正規直交行列 Â を計算する。

ABSTRACT

We give an efficient algorithm that learns a non-interacting-fermion state, given copies of the state. For a system of n non-interacting fermions and m modes, we show that O(m³ n² log(1/δ) / ε⁴) copies of the input state and O(m⁴ n² log(1/δ)/ ε⁴) time are sufficient to learn the state to trace distance at most ε with probability at least 1 - δ. Our algorithm empirically estimates one-mode correlations in O(m) different measurement bases and uses them to reconstruct a succinct description of the entire state efficiently.

研究の動機と目的

• 複数のコピーから非相互作用フェルミオン状態を効率的に学習するアルゴリズムを開発すること。
• フェルミオン系における量子状態トモグラフィーのリソースコスト（コピー数と時間）を低減すること。
• 自由フェルミオン状態の構造—m×n 列正規直交行列 A で特徴づけられる—を活用し、要約的かつ効率的な再構築を可能にすること。
• 確率 1−δ でトレース距離において ϵ-近似を達成すること。

提案手法

• 標準基底で測定し、占有頻度を平均することで、1モード相関を経験的に推定する。
• ビームスプリッタを用いてカーネル行列 K の非対角成分を推定する：1/√2(1 1; 1 -1) と 1/√2(1 i; 1 -i) を適用し、Kij の実部と虚部を推定する。
• O(m) 個の測定基底からカーネル行列 ˆK を再構築する。各基底には O(log(1/δ)/γ²) 冊のコピーが必要である。
• ˆK の固有値分解 QΛQ† を行い、Q の最初の n 列を抽出して ˆA を得る。これにより再構築状態 |ˆΨ⟩ を形成する。
• フェルミオン状態が K の主小行列式によって決定されること、および配置 S に対して |⟨S|Ψ⟩|² = det(KS) が成り立つことを利用する。
• A が列正規直交であることから K = AA† であることを活用し、再構築状態の物理的整合性を保証する。

実験結果

リサーチクエスチョン

• RQ1 非相互作用フェルミオン状態は、コピー数と時間計算量の観点から、効率的に学習可能か？
• RQ2 ヒルベルト空間の次元が指数的であるにもかかわらず、O(m) 個の測定基底でのみ状態を再構築することは可能か？
• RQ3 トレース距離において ϵ-精度を確率的に高確率で達成するための最小コピー数は何か？
• RQ4 このアルゴリズムは一般の量子状態トモグラフィーや他のクラスの量子状態に適応可能か？
• RQ5 このような学習タスクに必要な測定数やコピー数に、根本的な限界はあるか？

主な発見

• アルゴリズムは、トレース距離において確率 1−δ で ϵ-近似を達成するため、O(m³n² log(1/δ)/ϵ⁴) 冊のコピーと O(m⁴n² log(1/δ)/ϵ⁴) の古典的時間が必要である。
• この手法は、O(m) 個の測定基底のみを必要とし、各基底ではペアのモードに対してビームスプリッタ操作を用いてカーネル行列 K の非対角成分を推定する。
• 1モード相関は、標準基底で複数のコピーに対して占有頻度を平均することで推定される。
• 非対角成分 Kij は、制御されたビームスプリッタ操作を介して Re(Kij) と Im(Kij) を推定し、その後標準基底で測定することで再構築される。
• 再構築状態 |ˆΨ⟩ は、ˆK の固有値分解から得られる固有ベクトル行列 Q の最初の n 列から得られる ˆA から生成される。
• 自由フェルミオン状態の低ランクおよび行列式構造のおかげで、ヒルベルト空間の指数的サイズにもかかわらず、状態の完全な学習が効率的に行えることが示された。