[논문 리뷰] Non-closure of the set of quantum correlations via graphs

Ken Dykema, Vern I. Paulsen외 1명|arXiv (Cornell University)|2017. 09. 15.

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

한 줄 요약

이 논문은 5개의 입력과 2개의 출력을 가진 이량체 시스템에서 양자 상관관계의 집합이 닫혀 있지 않음을 증명한다. C*-대수에서 상관관계 함수를 분석하기 위해 새로운 그래프 이론적 프레임워크를 사용한다. 주요 결과는 특정 부호가 부여된 비국소 게임의 양자 값이 도달되지 않음을 보여주며, 이는 $ C_q(5,2) \neq C_{qa}(5,2) $ 를 의미한다. 이는 낮은 입력-출력 차원에서 양자 상관관계 집합의 닫힘 성질에 관한 오랫동안 남아 있던 질문을 해결한다.

ABSTRACT

We prove that the set of quantum correlations for a bipartite system of 5 inputs and 2 outputs is not closed. Our proof relies on computing the correlation functions of a graph, which is a concept that we introduce.

연구 동기 및 목표

• 작은 $ n $ 과 $ k $ 에 대해 양자 상관관계 집합 $ C_q(n,k) $ 의 닫힘 성질을 조사하는 것, 특히 $ n=5, k=2 $ 인 경우.
• 자유곱 C*-대수에서의 흔적 상태를 통해 그래프 이론과 양자 상관관계 함수 사이의 연결 고리를 설정하는 것.
• 양자 상관관계 집합 $ C_q(5,2) $ 가 닫혀 있지 않음을 보여주며, 이는 $ C_q(5,2) \neq C_{qa}(5,2) $ 를 의미한다.
• 5개의 입력과 2개의 출력을 가진 특정 부호가 부여된 게임의 동기적 양자 값이 도달되지 않음을, 무리수 최적 매개변수를 사용하여 보여주는 것.
• 그래프 상관관계 함수 $ f_{qc}(t) $ 를 도입하고 분석하며, 이와 기존의 그래프 매개변수인 분수 색수와 프로젝티브 랭크와의 연관성을 밝혀내는 것.

제안 방법

• C*-대수에서 각 정점 프로젝션에 대해 고정된 흔적 $ t $ 를 조건으로 하여, 간선들에 대한 총 흔적 상관관계의 하한으로서 그래프 상관관계 함수 $ f_{qc}(t) $ 를 정의한다.
• GNS 표현을 사용하여 흔적 상태를 힐버트 공간 표현과 단위 벡터 및 프로젝션으로 연결한다.
• 유한 차원 또는 아벨 흔적 상태로 제한하여 $ f_q(t) $ 와 $ f_{loc}(t) $ 를 정의하고, 이를 프로젝티브 랭크와 분수 색수와 연결한다.
• 동일한 입력에서 출력이 일치할 경우 보상을, 불일치할 경우 패널티를 주는 부호가 부여된 비국소 게임을 구성하며, 매개변수 $ t \in (0,1) $ 로 표현한다.
• $ \lambda = \sum_x \tau(E_{x,0}) $ 를 변수로 하는 게임의 기대값을 분석하여, $ \lambda^* = \frac{A+B}{2B} $ 에서 최댓값을 도달함을 보인다.
• 만약 $ \lambda^* $ 가 무리수일 경우, 유한 차원 프로젝션을 통해 최댓값을 도달할 수 없음을 증명하여, 양자 값의 도달 불가능성을 입증한다.

실험 결과

연구 질문

• RQ1 양자 상관관계 집합 $ C_q(5,2) $ 는 닫혀 있으며, $ C_{qa}(5,2) $ 와 같은가?
• RQ2 낮은 입력-출력 차원에서 그래프 이론적 프레임워크를 사용하여 양자 상관관계 집합의 비닫힘 성질을 입증할 수 있는가?
• RQ3 5개의 입력과 2개의 출력을 가진 부호가 부여된 비국소 게임의 동기적 양자 값이 특정 매개변수 값에서 도달되지 않을 수 있는가?
• RQ4 그래프 상관관계 함수 $ f_{qc}(t) $ 와 분수 색수, 프로젝티브 랭크와 같은 기존의 그래프 매개변수 사이의 관계는 무엇인가?
• RQ5 어떤 조건에서 양자 상관관계 함수의 Supremum 이 어떤 유한 차원 표현으로도 도달되지 않는가?

주요 결과

• 양자 상관관계 집합 $ C_q(5,2) $ 는 닫혀 있지 않으며, 이는 $ C_q(5,2) \neq C_{qa}(5,2) $ 를 의미한다.
• 최적 매개변수 $ \lambda^* $ 가 무리수일 경우, 5개의 입력과 2개의 출력을 가진 부호가 부여된 게임의 동기적 양자 값은 도달되지 않는다.
• $ n=5 $ 인 경우, 기대값을 최대화하는 최적의 $ \lambda^* $ 는 특정한 $ t $ 에 대해 무리수이며, 따라서 유한 차원 프로젝션을 통해 실현될 수 없다.
• 그래프 상관관계 함수 $ f_{qc}(t) $ 는 그래프의 흔적 랭크와 연관되어 있으며, $ f_{qc}(t) = 0 $ 이 되는 것은 $ t \leq 1/\text{tracial rank}(G) $ 인 것과 동치이다.
• $ \lambda^* = 1 - \frac{n}{2} + \frac{n-2}{2t} $ 는 게임 기대값을 최대화하는 유일한 최대화자이지만, $ t $ 가 무리수일 경우 무리수가 된다.
• 유한 차원 C*-대수에서의 흔적은 프로젝션에서 유리수 값만을 취하므로, 무리수인 $ \lambda^* $ 는 실현될 수 없으며, 이는 양자 값의 도달 불가능성을 증명한다.