[論文レビュー] Agents governed by quantum mechanics can use it intersubjectively and consistently

Varun Narasimhachar|arXiv (Cornell University)|Oct 2, 2020

Logic, Reasoning, and Knowledge参考文献 11被引用数 16

ひとこと要約

本稿は、量子力学的エージェントが自身の観測状態を重ね合わせではなく確定的であるとみなすことにより、一貫性があり相互に合意できる推論を行うことができる『重ね合わせ的独我主義』（SPS）という操作的原則を導入する。SPSは、波動関数の観測されない分岐に基づく誤った推論を防ぐことで、解釈依存の形式的枠組みを必要とせずに健全な推論を保証する。これにより、フローリッヒ＝レナーのパラドックスが解消される。

ABSTRACT

Following Frauchiger and Renner's discovery of a conflict between quantum mechanics and certain commonsense reasoning axioms, much work has gone into finding alternative axiomatizations that can avoid the conflict. However, this body of work is largely based on specific interpretations of quantum mechanics, and at times employs specialized formalism that may be inaccessible to mainstream quantum information experts. Taking an interpretation-agnostic approach, we propose a simple operational principle called superpositional solipsism to aid rational agents in making situational inferences. We show that the principle leads to sound inferences in all operationally-relevant instances. Along the way, we discuss certain subtleties about the Frauchiger--Renner result that may have gone hithertofore unnoticed.

研究の動機と目的

• フローリヒ＝レナーの Gedankenexperiment が示唆する量子的推論の不整合を解消すること。この実験では、エージェントの推論が論理的矛盾を引き起こす。
• 解釈依存の形式的枠組みを避けても、操作的に健全な推論が可能となる、量子エージェントのためのフレームワークを構築すること。
• FR風の推論における根本的誤謬を同定・是正すること。その誤謬は、重ね合わせを無視することにあるのではなく、自分自身の観測状態を重ね合わせの一部として扱おうとすることにある。
• 予測力を保ちつつ論理的整合性を確保する最小限の、解釈に依存しない原則を提供すること。
• 量子コンピュータのような完全に量子的なエージェントに対し、『観測状態』の概念を一般化すること。これは、操作的文脈において有効な観測基底を同定することで実現する。

提案手法

• エージェントが自らの現在の心的状態または観測状態を、重ね合わせではなく確定的であるとみなすという『重ね合わせ的独我主義』（SPS）を根幹の原則として提唱する。
• SPSをフローリヒ＝レナーの Gedankenexperiment に適用し、観測されない分岐について推論することを防ぐことで、論理的不整合が回避されることを示す。
• 操作的推論を用いて、SPSに違反すると予測力の喪失や、ノーサイニング原則の違反といった問題が生じることを示す。
• 論理的命題の『伝達安定性』を定義し、矛盾なくエージェント間で推論を信頼性高く伝える方法を形式化する。
• 量子エージェントに対して『有効な観測状態』の概念を導入し、状況的仮定が自然に推論の基底を定義する。
• 可換な観測量と文脈性の観点から推論を再構成し、SPSが、互いに不適合な観測量が同時に確定値を持つことはできないという原理と同等である可能性を示唆する。

実験結果

リサーチクエスチョン

• RQ1 量子力学に従うエージェントが、特にフローリヒ＝レナーのパラドックスに直面しても、一貫性があり相互に合意できる推論を行うための操作的原則は何か？
• RQ2 なぜフローリヒ＝レナーの不整合が生じるのか。操作的観点から、推論のどの段階で誤りが生じているのか？
• RQ3 先行研究で提案された複雑な公理的枠組みに代わって、最小限の解釈に依存しない原則が、FRパラドックスを解消するのに十分か？
• RQ4 量子コンピュータのような量子エージェントに、『有効な観測状態』という概念をどのように与えることができるか？
• RQ5 エージェント自身の観測状態が論理的整合性を維持するために果たす役割は何か。なぜ、それを確定的であるとみなすことが健全な推論にとって不可欠なのか？

主な発見

• 重ね合わせ的独我主義（SPS）は、解釈依存の形式的枠組みに依存せず、量子エージェントが一貫性があり操作的に健全な推論を行うための方法を提供する。
• SPSに違反すると、合理的な整合性が崩れ、信号伝達や操作的不整合（例えば、ノーサイニング原則の違反）が生じる可能性がある。
• FRパラドックスは、重ね合わせを無視しているからではなく、エージェント自身が自分の観測状態を重ね合わせの一部として扱おうとしていることによって生じる。これはSPSの下では整合的でない。
• SPSは論理的整合性を保つ範囲で最大限の予測力を維持するため、量子思考実験における誤った推論鎖を是正する強固な修正手段である。
• この原則は、互いに不適合な観測量が同時に確定値を持つことはできないという考えと整合性があり、文脈性との基礎的関係を示唆している。
• 有効な観測状態は、操作的文脈において自然に生じるため、SPSを量子コンピュータのような完全に量子的なエージェントへ一般化する道筋を提供する。