[논문 리뷰] Quantum no-signalling correlations and non-local games

Ivan G. Todorov, Lyudmila Turowska|arXiv (Cornell University)|2020. 09. 15.

Quantum Mechanics and Applications참고 문헌 53인용 수 9

한 줄 요약

이 논문은 고전적 비국소 게임의 일반화로 양자 비국소 게임을 도입하며, 그래프 색칠과 비가환 그래프 호모모르피즘의 양자판을 정의한다. 복합 게임에 대한 완벽한 양자 전략은 채널 조합 하에서도 여전히 완벽함을 보이며, 보편적 작동자 체계에서의 텐서 곱 상태를 통해 양자 버전의 직교 랭크와 비가환 그래프 호모모르피즘을 규명한다.

ABSTRACT

We introduce and examine three subclasses of the family of quantum no-signalling (QNS) correlations introduced by Duan and Winter: quantum commuting, quantum and local. We formalise the notion of a universal TRO of a block operator isometry, define an operator system, universal for stochastic operator matrices, and realise it as a quotient of a matrix algebra. We describe the classes of QNS correlations in terms of states on the tensor products of two copies of the universal operator system, and specialise the correlation classes and their representations to classical-to-quantum correlations. We study various quantum versions of synchronous no-signalling correlations and show that they possess invariance properties for suitable sets of states. We introduce quantum non-local games as a generalisation of non-local games. We define the operation of quantum game composition and show that the perfect strategies belonging to a certain class are closed under channel composition. We specialise to the case of graph colourings, where we exhibit quantum versions of the orthogonal rank of a graph as the optimal output dimension for which perfect classical-to-quantum strategies of the graph colouring game exist, as well as to non-commutative graph homomorphisms, where we identify quantum versions of non-commutative graph homomorphisms introduced by Stahlke.

연구 동기 및 목표

• 고전적 비국소 게임을 양자-양자 설정으로 일반화하여 양자 입력과 출력을 허용한다.
• 작동자 체계와 C*-대수를 사용하여 그래프 색칠과 비가환 그래프 호모모르피즘의 양자판을 정의한다.
• 특히 양자 공명 및 양자 전략에 대해, 완벽한 전략의 게임 조합에 대한 닫힘 성질을 확립한다.
• 보편적 작동자 체계의 텐서 곱에서의 상태를 통해 양자 비정보 전파(QNS) 상관관계를 특성화한다.
• 양자 호모모르피즘의 전이성과 흔적 및 공정한 QNS 상관관계의 구조에 대한 미해결 질문을 해결한다.

제안 방법

• 스토하스틱 작동자 행렬에 대한 보편적 작동자 체계를 도입하며, 이를 행렬 대수의 몫으로 표현한다.
• 보편적 작동자 체계의 텐서 곱에서의 상태를 통해 QNS 상관관계의 세 하위 클래스—양자 공명, 양자, 국소—를 정의한다.
• 프레임워크를 고전-양자(CQNS) 상관관계에 적용하여, 흔적을 가진 작동자 체계에서의 상태를 통해 이를 특성화한다.
• 채널 조합을 통한 양자 게임 조합을 도입하며, 완벽한 전략이 조합에 대해 닫혀 있음을 보여준다.
• 완벽하고 비정보 전파 성질을 유지함을 확인하기 위해, 희생 보존 사상과 순수 상태 분해를 사용한다.
• 프레임워크를 그래프 색칠과 비가환 그래프 호모모르피즘에 적용하여, 완벽한 전략에 대한 최소 출력 차원으로서의 양자 직교 랭크를 규명한다.

실험 결과

연구 질문

• RQ1 비국소 게임은 어떻게 양자 입력과 출력을 허용하도록 일반화될 수 있으며, 이러한 양자 비국소 게임의 구조적 성질은 무엇인가?
• RQ2 그래프의 직교 랭크에 대한 양자 대응은 무엇이며, 그래프 색칠 게임에서 완벽한 양자 전략의 존재와는 어떻게 관련되는가?
• RQ3 완벽한 양자 전략이 조합에 대해 닫혀 있는 조건은 무엇이며, 이는 양자 그래프 호모모르피즘의 전이성과 어떻게 관련되는가?
• RQ4 흔적 및 공정한 QNS 상관관계는 조합에 대해 어떻게 행동하며, 어떤 불변 성질을 보이는가?
• RQ5 보편적 작동자 체계와 텐서 곱 상태는 양자 비정보 전파 상관관계를 특성화하는 데 어떤 역할을 하는가?

주요 결과

• 복합 양자 비국소 게임에 대한 완벽한 양자 전략은 채널 조합 하에서도 여전히 완벽함을 보이며, 국소, 양자, 양자 공명 전략의 클래스에 대해 닫힘 성질을 확립한다.
• 그래프의 양자 직교 랭크는 그래프 색칠 게임에서 완벽한 고전-양자 전략이 존재하는 데 필요한 최소 출력 차원으로 규명된다.
• 비가환 그래프 호모모르피즘의 양자판은 양자 호모모르피즘 게임에서 완벽한 양자 전략을 허용하는 것으로 특성화되며, Stahlke의 개념을 일반화한다.
• 흔적 QNS 상관관계의 클래스는 조합에 대해 닫혀 있으며, C*-대수의 텐서 곱에서의 곱 흔적은 전략의 완벽성을 유지한다.
• 스토하스틱 작동자 행렬에 대한 보편적 작동자 체계는 행렬 대수의 몫으로 표현되며, QNS 상관관계를 묘사하는 데 보편적 프레임워크를 제공한다.
• 양자 호모모르피즘의 전이성은 입증된다: 만약 U →_x V 및 V →_x W 이면, x ∈ {loc, q, qc} 이면 U →_x W 이며, [71] 및 [57]의 결과를 확장한다.