[논문 리뷰] Multiplayer XOR games and quantum communication complexity with clique-wise entanglement

Jop Briët, Harry Buhrman외 2명|ArXiv.org|2009. 11. 20.

Complexity and Algorithms in Graphs참고 문헌 34인용 수 20

한 줄 요약

이 논문은 다자간 XOR 게임에서, 참가자들이 슈미트 상태 또는 클리크 기반 얽힘(GHZ 및 EPR 상태의 조합)을 공유할 경우, 얽힌 상태와 고전적 편향의 비율로 측정되는 양자 우위가 상수로 제한됨을 입증한다. 다중선형 그로텐디크 부등식과 안정자 상태에 관한 구조적 결과를 활용하여, 이러한 얽힘 패tern이 무한대의 양자 우위를 낳을 수 없음을 증명하며, 오랜 35년간 미해결이었던 작도 대수학 문제를 해결하고, 얽힘을 고려한 다자간 양자 통신 복잡도에 대해 불일치 방법을 확장한다.

ABSTRACT

XOR games are a simple computational model with connections to many areas of complexity theory. Perhaps the earliest use of XOR games was in the study of quantum correlations. XOR games also have an interesting connection to Grothendieck's inequality, a fundamental theorem of analysis, which shows that two players sharing entanglement can achieve at most a constant factor advantage over players following classical strategies in an XOR game. Perez-Garcia et al. show that when the players share GHZ states, this advantage is bounded by a constant. We use a multilinear generalization of Grothendieck's inequality due to Blei and Tonge to simplify the proof of the second result and extend it to the case of so-called Schmidt states, answering an open problem of Perez-Garcia et al. Via a reduction given in that paper, this answers a 35-year-old problem in operator algebras due to Varopoulos, showing that the space of compact operators on a Hilbert space is a Q-algebra under Schur product. A further generalization of Grothendieck's inequality due to Carne lets us show that the gap between the entangled and classical value is at most a constant in any multiplayer XOR game in which the players are allowed to share combinations of GHZ states and EPR pairs of any dimension. As an application of our results, we show that the discrepancy method in communication complexity remains a lower bound in the multiparty model where the players have quantum communication and the kinds of entanglement discussed above. This answers an open question of Lee, Schechtman, and Shraibman.

연구 동기 및 목표

• 특정 얽힘 구조 하에서 다자간 XOR 게임에서의 양자 우위의 한계를 이해하기 위해.
• 페레스-가르시아 등이 제기한, 슈미트 상태에 대한 양자-고전적 편향 간격의 유계성에 관한 열린 문제를 해결하기 위해.
• 다중선형 그로텐디크 부등식의 적용 범위를 다자간 설정으로 확장하고, 이를 양자 통신 복잡도에 적용하기 위해.
• 3자 시스템에서의 안정자 상태가 상수 요인의 양자 우위만 제공할 뿐만 아니라, 이를 입증하기 위해.
• GHZ, EPR 및 안정자 상태를 공유할 경우, 다자간 양자 통신 복잡도에서 불일치 방법이 여전히 유효한 하한으로 남아 있음을 확립하기 위해.

제안 방법

• 블라이와 통의 다중선형 일반화 그로텐디크 부등식을 활용하여, 슈미트 상태를 공유하는 XOR 게임에서의 편향을 제한한다.
• 카르네의 그로텐디크 부등식 일반화를 적용하여, 혼합된 GHZ 및 EPR 얽힘을 가진 게임을 분석한다.
• 안정자 상태의 분석을 그래프 상태로 환원하고, 유니터리 변환을 통해 이를 클리크 기반 얽힘 상태로 변환한다.
• 텐서 분해 접근법을 사용하여, 얽힌 상태 위에서의 일반화된 내적 표현을 통해 편향을 표현한다.
• 그래프 상태의 구조와 GHZ/EPR 유사 상태로의 유니터리 동치성을 활용하여, 달성 가능한 최대 편향을 제한한다.
• 게임 이론적 설정에서의 감소를 통해, 특히 바로보스의 Q대수 추측을 포함한 작도 대수학 결과를 적용한다.

실험 결과

연구 질문

• RQ1 슈미트 상태(즉, GHZ 상태의 일반화)를 사용할 경우, 다자간 XOR 게임에서 무한대의 양자 우위를 달성할 수 있는가?
• RQ2 참가자들이 오직 GHZ 상태 또는 GHZ 및 EPR 쌍의 조합만 공유할 경우, 양자-고전적 편향 간격이 유계가 되는가?
• RQ3 얽힘을 允허할 경우, 다자간 양자 통신 복잡도에서 불일치 방법이 여전히 유효한 하한이 되는가?
• RQ4 안정자 상태의 구조를 활용하여, 3자 XOR 게임에서의 양자 우위를 제한할 수 있는가?
• RQ5 힐베르트 공간 위의 컴팩트 연산자 공간이 슈어 곱셈에 대해 Q대수의 구조를 갖는가? (결과에 의해 암시됨)

주요 결과

• 참가자들이 슈미트 상태를 공유할 경우, 어떤 다자간 XOR 게임에서도 양자-고전적 편향 간격이 상수로 제한되며, 페레스-가르시아 등이 제기한 열린 문제를 해결한다.
• GHZ 및 EPR 쌍의 임의의 부분집합에 대한 조합에 대해서도 동일한 유계성이 성립하며, 이는 임의의 클리크 기반 얽힘 상태가 상수 요인의 우위를 제공함을 의미한다.
• GHZ 상태, EPR 쌍 또는 안정자 상태를 공유할 경우, 다자간 양자 통신 복잡도에서 불일치 방법이 여전히 유효한 하한으로 남아 있다.
• 결과적으로, 3자 안정자 상태는 XOR 게임에서 얽히지 않은 전략에 비해 상수 요인 이상의 우위를 낼 수 없다는 것을 암시한다.
• 논문은 게임 이론적 설정에서의 감소를 통해, 35년간 미해결이었던 작도 대수학 문제를 해결하며, 컴팩트 연산자 공간이 슈어 곱셈에 대해 Q대수임을 입증한다.