论文标题
量子计算机中的思想实验
Thought experiments in a quantum computer
论文作者
论文摘要
我们引入了一个软件包，该软件包允许用户设计和运行量子理论中思想实验的模拟。特别是，它涵盖了将几种推理剂建模为量子系统的情况，例如Wigner的朋友实验。用户可以自定义实验的协议，代理的内部工作（包括建模其推理过程的量子电路），所使用的抽象逻辑系统（或可能允许代理结合前提和对彼此的推理的推断）以及不同代理使用的量子理论的解释。我们的开源软件是用量子编程语言（ProjectQ）编写的，并在古典或量子硬件上运行。例如，我们对Frauchiger-Renner扩展了Wigner的朋友思想实验进行建模，允许代理人衡量彼此的身体记忆，并对彼此的推理进行推断。
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.
