[论文解读] Thought experiments in a quantum computer

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

Computability, Logic, AI Algorithms被引用 5

一句话总结

该论文介绍了 Quanundrum，一个基于 ProjectQ 的开源软件包，可让用户通过将代理人建模为具有物理记忆和推理电路的量子系统，模拟多Agent量子思想实验（如 Frauchiger-Renner 和 Wigner 的朋友思想实验）。该工具支持自定义协议、量子理论诠释、逻辑一致性框架，并实现代理人相互推断结果的端到端模拟，展示了在某些诠释下，量子叠加与测量结果如何导致逻辑矛盾。

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.

研究动机与目标

• 开发一个模块化、可扩展的软件框架，用于模拟涉及多个推理Agent的复杂量子思想实验。
• 解决分析量子力学中逻辑不一致性的挑战，例如 Frauchiger-Renfer 和 Wigner 的朋友佯谬中出现的问题。
• 使研究人员能够测试不同量子理论诠释（例如 QBism、多世界诠释）如何影响Agent对彼此测量结果的推理和结论。
• 提供Agent认知过程的物理基础模型，作为量子线路，支持记忆、推理和知识传播的模拟。

提出的方法

• 将Agent建模为具有物理记忆和处理器的量子系统，使用 ProjectQ 中的量子线路实现。
• 通过模块化的“Protocol”模块定义实验协议，指定Agent、测量、变换以及关注的链条。
• 通过量子线路实现Agent推理，将观测映射为推断，其中推断量子比特编码逻辑结论。
• 在“Interpretation”模块中支持自定义的量子理论诠释，决定Agent如何从测量结果中立即得出推断。
• 使用“Consistency”模块定义用于组合推断和跨Agent传播知识的逻辑公理，包括相互推理。
• 通过嵌套的量子线路模拟高阶推理（例如，Bob 推理 Alice 的预测），实现知识链的完整传播。

实验结果

研究问题

• RQ1 在哪些量子理论诠释下，多Agent量子情景中的Agent会得出逻辑上不一致的结论？
• RQ2 如何利用作为量子线路实现的推理物理实现，来模拟Agent对彼此测量结果的知识和预测？
• RQ3 逻辑一致性框架在判断Agent的推断是否兼容或矛盾方面起什么作用？
• RQ4 该软件能否重现已知的佯谬（如 Frauchiger-Renfer 矛盾）？在何种条件下该矛盾会出现？
• RQ5 逻辑公理的选择如何影响知识在量子思想实验中Agent之间的传播与分布？

主要发现

• 该软件成功模拟了 Frauchiger-Renfer 思想实验，重现了在标准量子力学下，Agent 得出不兼容结果的逻辑矛盾。
• 当 Alice 观测到 a = 1 时，她的推理线路将她的推理量子比特投影到 |1⟩I1,fail，从而确定性地得出结论：Wigner 将观测到 w = fail。
• Bob 在观测到 b = 1 后，确定性地推断出 Alice 预测 w = fail，模拟中通过将 Bob 的推理量子比特初始化为 |1⟩b=1⇒Bob 知道 Alice 确定性地预测失败来验证该结论。
• Ursula 在观测到 u = 1 后，推断出 Bob 知道 Alice 预测失败，因此她将自己的推理量子比特初始化为反映这一高阶知识：|1⟩u=1⇒Ursula 知道 Bob 知道 Alice 确定性地预测失败。
• 模拟结果确认，当 u = w = ok 时，Ursula 的记忆存储了从推理链到 Alice 预测 w = fail 的完整过程，证明了知识在Agent之间的传播。
• 该软件同时支持推断的类经典组合与推理链的完整量子模拟，后者计算开销更大但更忠实于量子原理。