[논문 리뷰] Quantum Causal Models

Jonathan Barrett|arXiv (Cornell University)|2018. 07. 30.

Quantum Mechanics and Applications참고 문헌 74인용 수 14

한 줄 요약

이 논문은 유니타리 양자 회로를 기반으로 한 양자 인과 모델의 프레임워크를 제안하며, 고전적 변수가 아닌 양자 이론 내재적으로 인과 관계를 정의한다. 어떤 유니타리 회로이든 방향성 있는 비순환 그래프(DAG)를 유도함을 보이며, 그로 인해 유도된 양자 과정은 해당 그래프에 대해 마르코프 조건을 만족함을 증명한다. 또한 d-분리가 양자 조건부 인독립성에 대해 타당하고 완전함을 증명하며, 펠의 do-계산법을 양자 영역으로 일반화한다.

ABSTRACT

It is known that the classical framework of causal models is not general enough to allow for causal reasoning about quantum systems. While the framework has been generalized in a variety of different ways to the quantum case, much of this work leaves open whether causal concepts are fundamental to quantum theory, or only find application at an emergent level of classical devices and measurement outcomes. Here, we present a framework of quantum causal models, with causal relations defined in terms intrinsic to quantum theory, and the central object of study being the quantum process itself. Following Allen et al., Phys. Rev. X 7, 031021 (2017), the approach defines quantum causal relations in terms of unitary evolution, in a way analogous to an approach to classical causal models that assumes underlying determinism and situates causal relations in functional dependences between variables. We show that any unitary quantum circuit has a causal structure corresponding to a directed acyclic graph, and that when marginalising over local noise sources, the resulting quantum process satisfies a Markov condition with respect to the graph. We also prove a converse to this statement. We introduce an intrinsically quantum notion that plays a role analogous to the conditional independence of classical variables, and (generalizing a central theorem of the classical framework) show that d-separation is sound and complete for it in the quantum case. We present generalizations of the three rules of the classical do-calculus, in each case relating a property of the causal structure to a formal property of the quantum process, and to an operational statement concerning the outcomes of interventions. In addition, we introduce and derive similar results for classical split-node causal models, which are more closely analogous to quantum causal models than the classical causal models that are usually studied.

연구 동기 및 목표

• 고전적 인과 개념에 의존하지 않고 양자역학 자체에 내재된 인과 프레임워크를 개발하는 것.
• 특히 벨 유형 시나리오와 다중 소스 양자 네트워크에서 양자 상관관계를 설명하는 데에 한계가 있는 고전적 인과 모델의 문제점을 해결하는 것.
• 유니타리 동역학과 과정 연산자를 사용하여 양자 시스템에서 인과적 영향력, 간섭, 조건부 인독립성을 공식화하는 것.
• 고전적 do-계산법을 양자 영역으로 일반화하여 인과적 구조와 운영 간섭 결과 사이의 관계를 맺는 것.
• 시간 대칭성과 양자 과정에서의 인과적 구조를 탐색하며, 향후 연구에서 부정확한 인과 순서의 가능성도 고려한다.

제안 방법

• 입력과 출력이 양자 시스템에 할당된 유니타리 회로를 기본 역학 진화로 삼아 양자 인과 모델을 정의한다.
• 과정 연산자를 통해 양자 과정를 표현하며, 이는 동역학을 압축하고 부분 시스템에 대한 근사화를 가능하게 한다.
• 유니타리 회로에서 유도된 인과 DAG 구조에 기반한 양자 과정를 위한 마르코프 조건을 도입한다.
• 고전적 d-분리와 유사한 3항관계를 사용하여 양자 조건부 인독립성을 정의하며, 이는 조건부 인독립 개념을 일반화한다.
• d-분리가 양자 조건부 인독립성에 대해 타당하고 완전함을 증명하며, 고전적 d-분리 정리의 양자 사례로의 확장을 제공한다.
• 펠의 do-계산법의 세 규칙을 양자 간섭으로 일반화하며, 인과적 구조, 형식적 과정 성질, 운영 간섭 결과 사이의 관계를 연결한다.

실험 결과

연구 질문

• RQ1 양자 이론에서 인과 관계는 고전적 변수나 측정 결과로 환원되지 않고 내재적으로 정의될 수 있는가?
• RQ2 d-분리는 어떻게 양자 과정으로 일반화될 수 있으며, 양자 조건부 인독립성에 대해 타당하고 완전한가?
• RQ3 고전적 do-계산법의 규칙들은 양자 인과 모델에 얼마나 적응할 수 있으며, 그들은 어떤 운영적 의미를 유지하는가?
• RQ4 유니타리 진화는 인과적 구조를 정의하는 데 어떤 역할을 하는가? 그리고 이는 양자 과정에서의 마르코프 조건과 어떻게 관련되는가?
• RQ5 시간 대칭성은 양자 인과 모델에서 어떻게 나타나며, 간섭에서 관찰되는 시간 비대칭성의 원인은 무엇인가?

주요 결과

• 모든 유니타리 양자 회로는 참가한 양자 시스템들 사이의 인과적 구조를 나타내는 방향성 있는 비순환 그래프(DAG)를 유도한다.
• 국소적 노이즈 원천을 통합할 경우, 유도된 양자 과정은 해당 인과 DAG에 대해 마르코프 조건을 만족한다.
• 역으로, 어떤 DAG에 대해 마르코프 조건을 만족하는 모든 과정은 유니타리 회로로 실현될 수 있다.
• 3항관계를 통한 양자 조건부 인독립의 개념이 정의되며, d-분리가 이 개념에 대해 타당하고 완전함이 증명된다.
• 고전적 do-계산법의 세 규칙이 양자 사례로 일반화되었으며, 각 규칙은 인과적 구조, 형식적 과정 성질, 운영 간섭 결과 사이의 관계를 연결한다.
• 이 프레임워크는 유니타리 과정에서 인과적 구조를 시간 대칭적으로 다룰 수 있도록 허용하지만, 노이즈 원천과 후손에만 간섭하는 데 대한 가정으로 인해 비대칭성이 발생한다.