[論文レビュー] Quantum circuits for measuring weak values, Kirkwood--Dirac quasiprobability distributions, and state spectra

Rafael Wagner, Zohar Schwartzman-Nowik+6 more|arXiv (Cornell University)|Feb 1, 2023

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

ひとこと要約

本稿では、弱値、Kirkwood–Dirac (KD) 擬確率分布、および量子状態スペクトルを測定する統一的なフレームワークを提案する。このフレームワークは、後選別や弱い結合を必要とせず、ボーア・インバリアント（Bargmann invariants）—量子状態のユニタリ不変な関係的性質—に依存する量子回路に基づいている。主な貢献は、非古典的特徴（例：負性や虚数性）を実験的に推定可能な回路ベースの手法を提供することであり、資源効率的かつ概念的に統一された量子非古典性および計測工学のアプローチを実現する。

ABSTRACT

Weak values and Kirkwood--Dirac (KD) quasiprobability distributions have been independently associated with both foundational issues in quantum theory and advantages in quantum metrology. We propose simple quantum circuits to measure weak values, KD distributions, and spectra of density matrices without the need for post-selection. This is achieved by measuring unitary-invariant, relational properties of quantum states, which are functions of Bargmann invariants, the concept that underpins our unified perspective. Our circuits also enable experimental implementation of various functions of KD distributions, such as out-of-time-ordered correlators (OTOCs) and the quantum Fisher information in post-selected parameter estimation, among others. An upshot is a unified view of nonclassicality in all those tasks. In particular, we discuss how negativity and imaginarity of Bargmann invariants relate to set coherence.

研究の動機と目的

• ユニタリ不変な性質に基づく単一のフレームワークにおいて、弱値、KD 擬確率分布、および量子状態スペクトルの測定を統合すること。
• これらの量を測定する際に後選別や弱い結合の必要性を排除し、近い将来の量子ハードウェアでの実装を可能にすること。
• ボーア・インバリアントを通じて、これらの構造物における非古典性と集合コherー二ンスとの関係を確立すること。
• KD 分布の関数（例：時序外順序相関関数や量子フィッシャー情報）を推定する実用的な量子回路を提供すること。
• 重ね合わせや高次元のボーア・インバリアントが、基底に依存しない方法で非古典的性質（負性や虚数性）を検出できることを示すこと。

提案手法

• フレームワークは、ボーア・インバリアント—量子状態集合のユニタリ不変な関係的不変量—に立脚し、最も単純なケースとしてトレース Tr(ρσ) から出発する。
• これらのインバリアントを直接測定可能な量子回路が設計され、後選別を必要とせずに弱値や KD 分布の推定が可能になる。
• 制御ユニタリ操作とスワップテスト回路を用いて、状態準備と測定からボーア・インバリアントを抽出する。
• 高次元インバリアントはサイクルテストや Faddeev–LeVerrier 形式のアルゴリズムを介してアクセスされ、密度行列のスペクトルを再構成する。
• このアプローチにより、Tr(ρ^n) などの密度行列の非線形関数の推定が、サンプル効率の良いプロトコルで可能になる。
• 標準的な弱測定と提案された回路プロトコルとの間で形式的な比較が行われ、サンプル複雑性と実験的実現可能性の面で優位性が示されている。

実験結果

リサーチクエスチョン

• RQ1 弱値や KD 擬確率分布は、量子回路を用いて後選別や弱い結合を必要とせずに測定可能か？
• RQ2 ボーア・インバリアントは、弱値、KD 分布、および状態スペクトルの記述をどのように統一するか？
• RQ3 負性や虚数性が、集合コherー二ンスと非古典性の証拠としてのボーア・インバリアントにおいて果たす役割は何か？
• RQ4 重ね合わせだけでは、一般に KD 分布における負性や虚数性を検出可能か？
• RQ5 特定の量子タスクにおいて非古典性を検出するために必要なボーア・インバリアントの最小集合は何か？

主な発見

• 提案された回路により、標準的な量子操作と重ね合わせの測定のみで、後選別フリーに弱値や KD 擬確率分布を測定可能である。
• ボーア・インバリアントの負性や虚数性が集合コherー二ンスと等価であることが示され、非古典性の基底に依存しない証拠が得られた。
• Tr(ρ^n)（n=2,3,4）のような高次元ボーア・インバリアントは、従来の手法と比較して改善されたサンプル複雑性で推定可能であり、効率的なスペクトル学習が可能になった。
• このフレームワークにより、時序外順序相関関数や後選別付き量子フィッシャー情報といった高度な量子情報量への実験的アクセスが可能になった。
• 一般には、重ね合わせだけでは負性や虚数性を検出できないが、次元に依存する条件や高次元インバリアントを用いることで検出能力が回復される。
• 数値解析により、サイクルテストを用いた Faddeev–LeVerrier アルゴリズムが、密度行列の最大固有値およびスペクトルの効率的推定を可能にすることが確認された。