[論文レビュー] Eliminating the "impossible": Recent progress on local measurement theory for quantum field theory

Maria Papageorgiou, Doreen Fraser|arXiv (Cornell University)|Jul 17, 2023

Quantum Mechanics and ApplicationsPhysics and Astronomy被引用数 3

ひとこと要約

この論文は、標準的な測定規則が超光速信号伝送を引き起こす可能性がある、量子場理論（QFT）における「不可能な測定」問題を調査する。3つのアプローチ—検出器モデル、Fewster-Verchフレームワークを用いた代数的QFT、履歴に基づく形式的体系—を分析し、動的性と局所的可換代数の非操作的解釈が、このような状況を排除するために不可欠であることを示し、相対論的量子理論における測定の基礎的洞察を提供する。

ABSTRACT

Arguments by Sorkin arXiv:gr-qc/9302018 and Borsten, Jubb, and Kells arXiv:1912.06141 establish that a natural extension of quantum measurement theory from non-relativistic quantum mechanics to relativistic quantum theory leads to the unacceptable consequence that expectation values in one region depend on which unitary operation is performed in a spacelike separated region. Sorkin labels such scenarios "impossible measurements". We explicitly present these arguments as a no-go result with the logical form of a reductio argument and investigate the consequences for measurement in quantum field theory (QFT). Sorkin-type impossible measurement scenarios clearly illustrate the moral that Microcausality is not by itself sufficient to rule out superluminal signalling in relativistic quantum theories that use Lüders' rule. We review three different approaches to formulating an account of measurement for QFT and analyze their responses to the "impossible measurements" problem. Two of the approaches are: a measurement theory based on detector models proposed in Polo-Gómez, Garay, and Martín-MartÍnez arXiv:2108.02793 and a measurement framework for algebraic QFT proposed in Fewster and Verch arXiv:1810.06512. Of particular interest for foundations of QFT is that they share common features that may hold general morals about how to represent measurement in QFT. These morals are about the role that dynamics plays in eliminating "impossible measurements", the abandonment of the operational interpretation of local algebras as representing possible operations carried out in a region, and the interpretation of state update rules. Finally, we examine the form that the "impossible measurements" problem takes in histories-based approaches and we discuss the remaining challenges.

研究の動機と目的

• 相対論的量子場理論における『不可能な測定』という基礎的問題に取り組むこと。ここでは、標準的な測定規則が超光速信号伝送を示唆する。
• 検出器モデル、代数的QFT、履歴に基づくアプローチといった、異なる測定フレームワークが『不可能な測定』問題にどのように反応するかを分析すること。
• 動的性、局所的可換代数の解釈、状態更新則が、QFTにおける非物理的信号伝送を排除する上で果たす役割を明確にすること。
• QFTにおける測定理論に合意が得られていないことが、特に代数的QFTにおいて基礎的課題を構成することを明らかにすること。
• 成功したフレームワークに共通する構造的特徴を特定し、QFTにおける測定のより広範な理解に一般化できる可能性を探索すること。

提案手法

• Sorkin型の『不可能な測定』状況を、背理法として形式化し、Lüdersの規則を素朴に拡張すると超光速信号伝送が生じることを示す。
• スムージングされた場の演算子と検出器固有の相互作用領域を用いて局所的測定を定義する、検出器モデル（Polo-Gómez, Garay, Martín-Martínez）のアプローチをレビューする。
• 代数的QFTにおけるFewster-Verch（FV）フレームワークを分析し、散乱同型写像と時空領域における期待値を用いて状態更新を定義する。
• 履歴に基づくアプローチを検討し、デコherence関数と多重時空履歴が物理的予測を表すが、『不可能な測定』問題は未解決のまま残っている。
• 3つのフレームワークを、局所的可換代数の解釈、状態更新、超光速信号伝送を防ぐための動的性の役割に焦点を当てて比較する。
• FVおよび検出器モデルにおける状態更新は物理的状態変化ではなく、観測者の知識の変化や対実的期待の変化を表すことに強調する。

実験結果

リサーチクエスチョン

• RQ1 Sorkin型の『不可能な測定』は、相対論的量子理論におけるLüdersの規則の素朴な拡張からどのように生じるか？
• RQ2 なぜ微小因果律（microcausality）だけでは、標準的な測定規則を用いたQFTで超光速信号伝送を防げないのか？
• RQ3 検出器ベースのモデルとFewster-Verchフレームワークは、どのように動的性と状態更新の取り扱いによって『不可能な測定』問題を回避するのか？
• RQ4 検出器モデルにおける時空スムージング関数の役割は何か？また、それらは相互作用領域とどのように関係するか？
• RQ5 QFTにおける局所的可換代数の解釈はどの程度操作的と見なせるのか？なぜ『不可能な測定』問題の文脈では、この解釈を放棄する必要があるのか？

主な発見

• 『不可能な測定』問題は、ある時空領域における期待値が、空間的隔たりのある別の領域で実行されたユニタリ操作に依存することで生じ、相対論的因果律に反する。
• Lüdersの規則を素朴に適用した場合、微小因果律だけではQFTにおいて超光速信号伝送を防げない。これは、因果律が代数的可換性だけでは不十分であることを示している。
• Fewster-Verchフレームワークは、'in'および'out'状態を対実的状態として解釈することで問題を解決し、状態更新は明示的にローレンツ共変的であり、物理的状態変化を表さない。
• 検出器モデルは、状態更新を物理的場の変化ではなく観測者の知識の変化として扱い、時空スムージング関数を用いて、全体的で統合的な検出器-場相互作用を反映させることで問題を回避する。
• FVフレームワークと検出器モデルの両方とも、局所的可換代数をある領域での可能な操作を表すものとしての操作的解釈を放棄し、期待値をエンコードする数学的構造として扱う。
• 3つのフレームワークすべてに「瞬間的な時刻における状態」が存在しないことから、期待値と相関関数がQFTにおける状態の基本的物理的代表であると考えられ、ヒルベルト空間のベクトルではない。