[論文レビュー] Thought experiments in a quantum computer

Nuriya Nurgalieva, Simon Mathis+2 more|arXiv (Cornell University)|Sep 13, 2022

Computability, Logic, AI Algorithms被引用数 5

ひとこと要約

本論文では、ProjectQに基づいて構築されたオープンソースのソフトウェアパッケージであるQuanundrumを紹介する。このツールは、物理的メモリと推論回路を持つ量子系としてモデル化されたエージェントを用いて、フロウイヒャー＝レナーおよびウィグナーの友人などのマルチエージェント量子思考実験をシミュレートすることを可能にする。このツールは、カスタマイズ可能なプロトコル、量子理論の解釈、論理的一致性フレームワークをサポートし、エージェントが互いの測定結果を推論するエンドツーエンドのシミュレーションを実現する。これにより、特定の解釈下で、量子重ね合わせと測定結果が論理的矛盾を引き起こす仕組みが明らかになる。

ABSTRACT

We introduce a software package that allows users to design and run simulations of thought experiments in quantum theory. In particular, it covers cases where several reasoning agents are modelled as quantum systems, such as Wigner's friend experiment. Users can customize the protocol of the experiment, the inner workings of agents (including a quantum circuit that models their reasoning process), the abstract logical system used (which may or not allow agents to combine premises and make inferences about each other's reasoning), and the interpretation of quantum theory used by different agents. Our open-source software is written in a quantum programming language, ProjectQ, and runs on classical or quantum hardware. As an example, we model the Frauchiger-Renner extended Wigner's friend thought experiment, where agents are allowed to measure each other's physical memories, and make inferences about each other's reasoning.

研究の動機と目的

• 複数の推論エージェントを含む複雑な量子思考実験をシミュレートするためのモジュラーで拡張可能なソフトウェアフレームワークの開発。
• フロウイヒャー＝レナーおよびウィグナーの友人パラドックスに由来するような、量子力学における論理的不一致の分析という課題に取り組む。
• 研究者が量子理論の異なる解釈（例：QBism、多世界解釈）がエージェントの推論や他のエージェントの測定に関する結論に与える影響をテストできるようにすること。
• エージェントの認知的プロセスを物理的に根拠のあるモデルとして量子回路としてモデル化し、メモリ、推論、知識伝達のシミュレーションを可能にすること。

提案手法

• エージェントを物理的メモリとプロセッサを備えた量子系としてモデル化し、ProjectQにおける量子回路として実装する。
• エージェント、測定、変換、関心の対象のチェーンを指定するモジュラーな「Protocol」モジュールを介して実験プロトコルを定義する。
• 観測結果から推論に至る量子回路を通じてエージェントの推論を実装し、推論の量子ビットが論理的結論を符号化する。
• 「Interpretation」モジュールで量子理論の解釈をカスタマイズ可能に実装し、エージェントが測定結果から即座にどのような推論を行うかを決定する。
• 論理的公理を定義する「Consistency」モジュールを用いて、推論の組み合わせとエージェント間での知識伝達を可能にし、相互の推論も含む。
• ネストされた量子回路を用いて高次元の推論（例：ボブがアリスの予測を推論する）をシミュレートし、知識伝達チェーンの完全な伝搬を実現する。

実験結果

リサーチクエスチョン

• RQ1 どの量子理論の解釈において、マルチエージェント量子状況下のエージェントが論理的に不一致な結論に至るのか？
• RQ2 量子回路としてモデル化された推論の物理的実装は、エージェントが互いの測定結果に関する知識や予測をどのようにシミュレートできるか？
• RQ3 論理的一致性フレームワークは、エージェントの推論が互いに整合的か矛盾的かを決定する上で果たす役割は何か？
• RQ4 このソフトウェアは、フロウイヒャー＝レナーの矛盾のような既知のパラドックスを再現できるか？また、どのような条件下でその矛盾が生じるか？
• RQ5 論理的公理の選択が、量子思考実験におけるエージェント間での知識の伝搬と分布に与える影響は何か？

主な発見

• ソフトウェアはフロウイヒャー＝レナーの思考実験を正常にシミュレートし、標準量子力学下でエージェントが互いに矛盾する結果に至る論理的矛盾を再現した。
• アリスが a = 1 を観測すると、彼女の推論回路は推論量子ビットを |1⟩I1,fail に射影し、ウィグナーが w = fail を観測すると確実に結論づける。
• ボブが b = 1 を観測すると、彼はアリスが w = fail を予測すると確実に推論し、シミュレーションではボブの推論量子ビットを |1⟩b=1⇒ボブはアリスが確実に失敗を予測すると認識しているように初期化することで確認された。
• ウルスラが u = 1 を観測すると、彼女はボブがアリスが失敗を予測すると認識していると結論づけ、それ故に彼女の推論量子ビットを次のように初期化する：|1⟩u=1⇒ウルスラはボブがアリスが確実に失敗を予測すると認識していると理解している。
• シミュレーションにより、u = w = ok の場合、ウルスラのメモリがアリスが w = fail を予測するに至る完全な推論チェーンを記憶していることが確認され、エージェント間での知識伝達が実現していることが示された。
• ソフトウェアは、推論の古典的組み合わせと推論チェーンの完全な量子シミュレーションの両方をサポートしており、後者は計算的に重いが、量子力学的原理にさらに忠実である。