[논문 리뷰] Thought experiments in a quantum computer

Nuriya Nurgalieva, Simon Mathis외 2명|arXiv (Cornell University)|2022. 09. 13.

Computability, Logic, AI Algorithms인용 수 5

한 줄 요약

이 논문은 ProjectQ 기반의 오픈소스 소프트웨어 패키지인 Quanundrum을 소개한다. 이 도구는 다중 에이전트 양자 사고 실험(예: Frauchiger-Renfer 및 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.

연구 동기 및 목표

• 다중 추론 에이전트를 포함한 복잡한 양자 사고 실험을 시뮬레이션하기 위한 모듈식이고 확장 가능한 소프트웨어 프레임워크를 개발하기 위해.
• Frauchiger-Renfer 및 Wigner의 친구 역설에서 발생하는 것과 같은 양자역학 내 논리적 모순을 분석하는 데 도전하는 데 위해.
• 연구자들이 양자 이론의 다양한 해석(예: QBism, 다중세계 해석 등)이 서로의 측정 결과에 대한 에이전트의 추론과 결론에 어떻게 영향을 주는지 테스트할 수 있도록 하기 위해.
• 에이전트의 인지 과정을 양자 회로로 물리적으로 기반을 두어 기억, 추론, 지식 전파를 시뮬레이션할 수 있도록 하는 양자 회로로 모델링된 에이전트의 인지 과정을 제공하기 위해.

제안 방법

• 에이전트를 ProjectQ 내의 양자 회로로 구현된 물리적 기억과 프로세서를 갖춘 양자 시스템으로 모델링한다.
• 에이전트, 측정, 변환, 관심 체인을 정의하는 모듈식 'Protocol' 모듈을 통해 실험 프로토콜을 정의한다.
• 관측 결과를 추론으로 매핑하는 양자 회로를 통해 에이전트의 추론을 구현하며, 추론 큐비트는 논리적 결론을 인코딩한다.
• 'Interpretation' 모듈에서 사용자 정의 가능한 양자 이론의 해석을 지원하여, 에이전트가 측정 결과로부터 즉각적인 추론을 어떻게 도출할지 결정한다.
• 논리 공리를 정의하여 추론을 조합하고 에이전트 간 지식을 전파하는 'Consistency' 모듈을 사용하며, 상호 추론을 포함한다.
• 내부에 중첩된 양자 회로를 통해 고차원 추론(예: Bob이 Alice의 예측을 추론하는 것)을 시뮬레이션함으로써 지식 체인의 완전한 전파를 가능하게 한다.

실험 결과

연구 질문

• RQ1 다중 에이전트 양자 시나리오에서 어떤 양자 이론의 해석 하에서 에이전트들이 논리적으로 모순된 결론에 도달하는가?
• RQ2 양자 회로로 모델링된 추론의 물리적 구현 방식은 어떻게 서로의 측정 결과에 대한 에이전트의 지식과 예측을 시뮬레이션하는 데 사용될 수 있는가?
• RQ3 논리 일관성 프레임워크는 에이전트의 추론이 상호 간에 호환되는지 또는 모순되는지를 결정하는 데 어떤 역할을 하는가?
• RQ4 이 소프트웨어는 알려진 역설들(예: Frauchiger-Renfer 모순)을 재현할 수 있으며, 어떤 조건에서 그 모순이 발생하는가?
• RQ5 논리 공리의 선택은 양자 사고 실험에서 에이전트 간 지식의 전파와 분포에 어떻게 영향을 미치는가?

주요 결과

• 소프트웨어는 Frauchiger-Renfer 사고 실험을 성공적으로 시뮬레이션하여, 표준 양자역학 하에서 에이전트들이 상호 모순되는 결과에 도달하는 논리적 모순을 재현한다.
• Alice가 a = 1을 관측할 경우, 그녀의 추론 회로는 그녀의 추론 큐비트를 |1⟩I1,fail로 투영하여, Wigner가 w = fail을 관측할 것임을 확신하게 된다.
• Bob이 b = 1을 관측할 경우, 그는 Alice가 w = fail을 예측했다는 것을 확신하게 되며, 이는 Bob의 추론 큐비트를 |1⟩b=1로 초기화함으로써 시뮬레이션에서 확인된다. 즉, Bob은 Alice가 확실히 fail을 예측했다는 것을 안다.
• Ursula가 u = 1을 관측할 경우, Bob이 Alice가 fail을 예측했다는 것을 안다는 것을 추론하며, 이를 반영하여 자신의 추론 큐비트를 고차원 지식을 반영하도록 초기화한다: |1⟩u=1⇒Ursula는 Bob이 Alice가 확실히 fail을 예측했다는 것을 안다고 추론한다.
• 시뮬레이션은 u = w = ok일 경우, Ursula의 기억에 Alice가 w = fail을 예측하는 데 이르는 전체 추론 체인이 저장되어 있음을 확인하여, 에이전트 간 지식 전파가 이루어짐을 보여준다.
• 소프트웨어는 추론의 고전적 조합 방식과 추론 체인의 완전한 양자 시뮬레이션을 모두 지원하며, 후자는 계산적으로 더 무겁지만 양자 원리에 더 충실하다.