[논문 리뷰] Entangled games are hard to approximate

Julia Kempe, Hirotada Kobayashi외 3명|ArXiv.org|2007. 04. 23.

Complexity and Algorithms in Graphs참고 문헌 37인용 수 9

한 줄 요약

이 논문은 양자 얽힘을 포함하는 일회성 게임의 가치를 근사화하는 데 있어서 최초로 NP-난이도 결과를 확립한다. 이는 (i) 두 명의 얽힌 증인과 양자 검증자를 가진 게임과 (ii) 세 명의 얽힌 증인과 고전적 검증자를 가진 게임에서, 역수 다항식 요인 내에서 근사화하는 것이 NP-난이도임을 보여준다. 핵심 기법은 고전적 게임을 수정하여 얽힘의 이점을 견디게 하고, 얽힌 전략을 고전적 전략으로 변환하기 위한 라운딩 절차를 사용하는 것으로, 고전적 근사 불가능성 결과를 활용한다.

ABSTRACT

We establish the first hardness results for the problem of computing the value of one-round games played by a verifier and a team of provers who can share quantum entanglement. In particular, we show that it is NP-hard to approximate within an inverse polynomial the value of a one-round game with (i) quantum verifier and two entangled provers or (ii) classical verifier and three entangled provers. Previously it was not even known if computing the value exactly is NP-hard. We also describe a mathematical conjecture, which, if true, would imply hardness of approximation to within a constant. We start our proof by describing two ways to modify classical multi-prover games to make them resistant to entangled provers. We then show that a strategy for the modified game that uses entanglement can be ``rounded'' to one that does not. The results then follow from classical inapproximability bounds. Our work implies that, unless P=NP, the values of entangled-prover games cannot be computed by semidefinite programs that are polynomial in the size of the verifier's system, a method that has been successful for more restricted quantum games.

연구 동기 및 목표

• 증인들이 양자 얽힘을 공유하는 일회성 게임의 가치를 근사화하는 데 있어서의 계산 복잡도를 규명하는 것.
• 이전 결과들이 이러한 게임이 효율적으로 해결될 수 있을 것이라 시사했음에도 불구하고, 이러한 게임의 가치를 계산하거나 근사화하는 것이 NP-난이도임을 증명하여 지식 격차를 메우는 것.
• 특히 전략 복잡성과 근사화 난이도 측면에서, 얽힘이 다증인 게임에서 계산적 이점 제공 여부를 조사하는 것.
• 고전적 근사 불가능성 결과를 양자 환경으로 확장하기 위해, 얽힘에 저항하는 게임 수정과 라운딩 전략을 구축하는 것.

제안 방법

• 저자들은 얽힘 기반 전략에 저항하도록 고전적 다증인 게임을 변형시키는 방법을 제안하며, 게임의 구조를 유지하면서 양자적 이점의 범위를 제한한다.
• 양자 전략을 등가의 고전적 전략으로 변환하는 라운딩 절차를 정의하며, 오차 누적를 제어하기 위해 추적 거리 기반 한계를 사용한다.
• 이 방법은 삼각 부등식과 부분 측정의 성질로부터 유도된 양자 상태와 측정 연산자에 관한 추적 거리 부등식의 연속을 기반으로 한다.
• 핵심 기술 도구로는 Tsirelson의 임bedding 정리와 밀도 행렬 및 프로젝터에 대한 양자 연산자의 작용 분석을 사용한다.
• 증강된 농도 한계와 질문 분포에 대한 기대값을 사용하여, 얽힌 전략과 고전적 전략 결과 간의 총 변동 거리(총 변동 거리)를 한계화한다.
• 이러한 한계를 알려진 고전적 근사 불가능성 결과(예: PCP 정리)와 결합함으로써, 저자들은 얽힌 게임에 대한 근사화의 NP-난이도를 도출한다.

실험 결과

연구 질문

• RQ1 양자 검증자와 두 명의 얽힌 증인을 가진 일회성 게임의 가치를 근사화하는 데 있어서 NP-난이도가 성립하는가?
• RQ2 고전적 검증자와 세 명의 얽힌 증인을 가진 일회성 게임의 가치를 근사화하는 데 있어서 NP-난이도가 성립하는가?
• RQ3 얽힘은 다증인 게임의 가치 근사화에 있어서 계산적 이점을 제공하는가, 아니면 고전적 난이도를 유지하는가?
• RQ4 얽힌 게임의 근사화 난이도는 역수 다항식 요인을 초월해 향상될 수 있는가?
• RQ5 얽힌 전략에 사용된 라운딩 기법은 다른 양자 게임 클래스로 일반화될 수 있는가?

주요 결과

• 양자 검증자와 두 명의 얽힌 증인을 가진 일회성 게임의 가치를 역수 다항식 요인 내에서 근사화하는 것은 NP-난이도이다.
• 고전적 검증자와 세 명의 얽힌 증인을 가진 일회성 게임의 가치를 역수 다항식 요인 내에서 근사화하는 것은 NP-난이도이다.
• 특정 게임 클래스(예: XOR-게임)에서는 얽힌 전략이 종종 고전적 전략을 능가할 수 있음에도 불구하고, 이 결과는 여전히 성립한다.
• 논문은 제약 조건이 있는 양자 게임(예: XOR-게임 및 유일성 게임)에서는 잘 작동하는 준선형계획형 최적화 이완 기법이 일반적인 얽힌 게임을 효율적으로 근사화할 수 없다는 것을 보여주며, 이는 P = NP 가정이 성립하지 않는 한 성립한다.
• 만약 참이면 얽힌 게임에 대해 상수 요인의 근사 불가능성을 암시하는 수학적 추측을 제안한다.
• 저자들은 얽힘이 게임 가치 근사화에서 일반적인 계산 속도 향상을 가능하게 하지 않음을 입증한다. 왜냐하면 공유된 얽힘을 가진 상태에서도 문제의 난이도가 여전히 NP-난이도이기 때문이다.