[논문 리뷰] Quantum Strategies and Local Operations

Gus Gutoski|arXiv (Cornell University)|2010. 02. 26.

Quantum Mechanics and Applications참고 문헌 58인용 수 18

한 줄 요약

이 논문은 입력-출력 메시지 공간 위의 양의 준정부호 연산자로 표현되는 양자 전략에 대한 새로운 연산자 체계를 제안한다. 이는 게임 값의 효율적 계산과 양자 암호 이론에서의 증명을 단순화한다. 완전히 잡음이 섞인 채널 주변에 국소적 연산과 공유된 난수의 구조를 가진 구역을 확립하며, 공유된 양자 얽힘이 있는 국소적 연산의 약한 멤버십 문제는 강한 NP-난이도임을 증명하고, 분리 가능한 콘의 완전 양성으로서 비신호 전략을 특성화한다.

ABSTRACT

This thesis is divided into two parts. In Part I we introduce a new formalism for quantum strategies, which specify the actions of one party in any multi-party interaction involving the exchange of multiple quantum messages among the parties. This formalism associates with each strategy a single positive semidefinite operator acting only upon the tensor product of the input and output message spaces for the strategy. We establish three fundamental properties of this new representation for quantum strategies and we list several applications, including a quantum version of von Neumann's celebrated 1928 Min-Max Theorem for zero-sum games and an efficient algorithm for computing the value of such a game. In Part II we establish several properties of a class of quantum operations that can be implemented locally with shared quantum entanglement or classical randomness. In particular, we establish the existence of a ball of local operations with shared randomness lying within the space spanned by the no-signaling operations and centred at the completely noisy channel. The existence of this ball is employed to prove that the weak membership problem for local operations with shared entanglement is strongly NP-hard. We also provide characterizations of local operations in terms of linear functionals that are positive and "completely" positive on a certain cone of Hermitian operators, under a natural notion of complete positivity appropriate to that cone. We end the thesis with a discussion of the properties of no-signaling quantum operations.

연구 동기 및 목표

• 다자 양자 상호작용 분석을 단순화하는 새로운 통합 형식체계를 개발하는 것.
• 양자 게임 이론과 복잡도 이론에 응용하기 위해, 출력 확률 및 최대 출력 확률과 같은 양자 전략의 기본 성질을 확립하는 것.
• 공유된 양자 얽힘(LOSE)과 공유된 난수(LOSR)를 포함한 국소적 연산을 특성화하고, 약한 멤버십 문제의 NP-난이도 및 이러한 연산의 구역 존재를 증명하는 것.
• 분리 가능한 콘 위에서의 완전 양성으로 비신호 양자 연산의 구조를 명확히 하는 것.
• 양자 정보 이론의 열린 문제를 다루며, 특히 LOSE 연산을 근사하기 위한 얽힘 요구 조건과 국소적 연산의 구역 크기를 다루는 것.

제안 방법

• 입력 및 출력 메시지 공간의 텐서곱 위에서 작용하는 양의 준정부호 연산자로 양자 전략을 표현함으로써 통합적이고 압축된 형식체계를 구축하는 것.
• 볼록 쌍대성과 준정부호 최적화를 활용하여 최대 출력 확률 및 전략 집합 간 구별 가능성과 같은 성질를 도출하는 것.
• Yudin-Nemirovskiĭ 정리를 적용하여, 완전히 잡음이 섞인 채널 주변의 LOSR 연산의 구역을 통해 LOSE의 약한 멤버십 문제를 NP-난이도로 감소시키는 것.
• 헤르미트 연산자의 분리 가능한 콘에 특화된 완전 양성의 개념을 도입하여 LOSE 및 LOSR 연산을 특성화하는 것.
• 일부 비신호 전략이 공유된 양자 얽힘을 가진 국소적 연산으로는 실행 불가능함을 보여주는 구체적 예를 제시하는 것.
• 새로운 전략 형식체계를 활용하여 기존 결과(예: Kitaev의 강력한 동전 뒤집기 경계)의 증명을 단순화하는 것.

실험 결과

연구 질문

• RQ1 입력-출력 공간 위의 단일 양의 준정부호 연산자로 양자 전략을 표현할 수 있으며, 이러한 표현이 허용하는 기본 성질은 무엇인가?
• RQ2 공유된 난수를 가진 국소적 연산(LOSR)의 집합 크기와 구조는 무엇이며, 완전히 잡음이 섞인 채널 주변에 구역이 존재하는가?
• RQ3 공유된 양자 얽힘이 있는 국소적 연산(LOSE)의 약한 멤버십 문제는 강한 NP-난이도이며, 이러한 성질을 가능하게 하는 LOSE의 구조적 특성은 무엇인가?
• RQ4 비신호 전략은 공유된 양자 얽힘을 가진 국소적 연산과 어떻게 관련되어 있으며, 분리 가능한 콘 위에서의 완전 양성으로 특성화될 수 있는가?
• RQ5 LOSE 연산을 근사하기 위한 얽힘 비용은 얼마이며, 필요한 얽힘 차원은 근사 오차와 시스템 크기의 함수로 유계로 표현될 수 있는가?

주요 결과

• 입력-출력 공간 위의 단일 양의 준정부호 연산자로 표현되는 새로운 형식체계는 게임 값의 효율적 계산과 증명의 단순화를 가능하게 한다.
• 제로섬 양자 게임의 값은 준정부호 프로그래밍을 통해 효율적으로 계산 가능하며, 이는 바나흐-바나흐의 최소-최대 정리의 양자 영역으로의 일반화이다.
• 완전히 잡음이 섞인 채널 주변에 크기 Ω(2^{-m}n^{-3/2})의 비정규화된 LOSR 연산의 구역이 존재하며, 이는 LOSE의 약한 멤버십 문제가 강한 NP-난이도임을 시사한다.
• 비신호 전략의 공간은 공유된 양자 얽힘을 가진 국소적 연산의 스칼라 합으로 일치하며, 분리 가능한 콘 위에서의 완전 양성으로 특성화된다.
• LOSE 연산의 특성화는 특정 가족의 분리 가능한 콘 위에서 완전 양성인 선형 함수형을 포함하며, 완전 양성의 개념을 확장한다.
• 이 형식체계는 Kitaev의 강력한 동전 뒤집기 경계에 대한 증명을 단순화하며, 양자 암호 프rotocol 분석에 광범위하게 적용 가능할 것으로 시사한다.