[논문 리뷰] The decoupling approach to quantum information theory

Frédéric Dupuis|arXiv (Cornell University)|2010. 04. 09.

Quantum Information and Cryptography참고 문헌 65인용 수 90

한 줄 요약

이 학위논문은 양자정보이론의 통합적 프레임워크로 탈결법을 제안하며, 수신자가 부분적으로 알고 있는 양자 데이터를 단일 노이지 채널을 통해 한 번 사용하는 방식으로 전송할 수 있음을 보이는 중심 정리를 증명한다. 주요 기여는 성공 기준이 트레이스 거리인 새로운 정보 잠금 프로토콜로, 이는 이전 연구보다 더 강력하고 운영적으로 의미 있는 양자 잠금의 정의를 제공한다.

ABSTRACT

Quantum information theory studies the fundamental limits that physical laws impose on information processing tasks such as data compression and data transmission on noisy channels. This thesis presents general techniques that allow one to solve many fundamental problems of quantum information theory in a unified framework. The central theorem of this thesis proves the existence of a protocol that transmits quantum data that is partially known to the receiver through a single use of an arbitrary noisy quantum channel. In addition to the intrinsic interest of this problem, this theorem has as immediate corollaries several central theorems of quantum information theory. The following chapters use this theorem to prove the existence of new protocols for two other types of quantum channels, namely quantum broadcast channels and quantum channels with side information at the transmitter. These protocols also involve sending quantum information partially known by the receiver with a single use of the channel, and have as corollaries entanglement-assisted and unassisted asymptotic coding theorems. The entanglement-assisted asymptotic versions can, in both cases, be considered as quantum versions of the best coding theorems known for the classical versions of these problems. The last chapter deals with a purely quantum phenomenon called locking. We demonstrate that it is possible to encode a classical message into a quantum state such that, by removing a subsystem of logarithmic size with respect to its total size, no measurement can have significant correlations with the message. The message is therefore "locked" by a logarithmic-size key. This thesis presents the first locking protocol for which the success criterion is that the trace distance between the joint distribution of the message and the measurement result and the product of their marginals be sufficiently small.

연구 동기 및 목표

• 탈결 원리를 사용하여 양자정보이론의 근본적 문제를 해결하기 위한 일반적 프레임워크를 개발하는 것.
• 수신자가 데이터를 부분적으로 알고 있는 경우, 단일 노이지 양자 채널을 한 번 사용하여 양자 데이터를 전송할 수 있는 한 번 사용 가능한 프로토콜의 존재를 증명하는 것.
• 프레임워크를 양자 브로드캐스트 채널과 송신자에게 부가 정보가 있는 채널로 확장하여, 얽힘 보조 여부에 따라 점점 다가가는 코딩 정리들을 유도하는 것.
• 메시지와 측정 결과의 공동 분포와 주변 분포의 곱 사이의 트레이스 거리 기반 성공 기준을 사용하는 첫 번째 정보 잠금 프로토콜을 제시하여 운영적 의미를 확보하는 것.
• 구성 가능한 무작위 유니터리 프로토콜의 실현과 최소 엔트로피 기반의 메모리 채널로의 일반화를 포함한 열린 문제를 탐색하는 것.

제안 방법

• 중심 도구로 탈결 정리(정리 3.7)를 사용하여, 하르 측도에서 추출한 무작위 유니터리가 시스템을 환경으로부터 높은 확률로 탈결함을 보여준다.
• 완전히 양자적인 점근적 등비성 정리(정리 2.4)를 활용하여, i.i.d. 상태에 대해 탈결 원리를 적용해 한 번 사용 가능한 채널 코딩 정리를 도출한다.
• 대부분의 증명에서 하르 측도의 대체로 유니터리 2-디자인을 사용하여, 농도의 두 번째 모멘트 성질을 유지함으로써 농도 경계에 필요한 조건을 확보한다.
• 측도의 농도(정리 3.9)를 사용하여, 탈결이 평균적으로만 아니라 높은 확률로 발생함을 보여주며, 이는 잠금 프로토콜에 필수적이다.
• 클래식 메시지를 양자 상태에 인코딩하고, 로그 크기의 하위계를 제거함으로써 어떤 측정도 메시지를 접근할 수 없게 만드는 잠금 체계를 구성한다.
• 잠금의 성공 여부를 메시지와 측정 결과의 공동 분포와 주변 분포의 곱 사이의 트레이스 거리로 정의하여, 무작위성과의 운영적 동치성을 보장한다.

실험 결과

연구 질문

• RQ1 단일 사용의 노이지 양자 채널이 수신자가 부분적으로 알고 있는 양자 데이터를 전송할 수 있으며, 그러한 통신의 기본 한계는 무엇인가?
• RQ2 탈결 접근법은 어떻게 양자 브로드캐스트 채널과 송신자에게 부가 정보가 있는 채널로 확장될 수 있는가?
• RQ3 양자 시스템에서 정보 잠금의 운영적 의미는 무엇이며, 트레이스 거리를 사용해 강건성을 확보할 수 있는가?
• RQ4 탈결 정리에서 사용된 무작위 유니터리 구성은 특히 잠금 프로토콜에 대해 구성 가능하게 만들 수 있는가?
• RQ5 자유로운 얽힘 자원이 가용할 경우, 고전 정보이론의 결과들은 어느 정도 양자 정보이론으로 수입될 수 있는가?

주요 결과

• 핵심 탈결 정리(정리 3.7)는 수신자가 데이터를 부분적으로 알고 있는 경우, 노이지 채널을 한 번 사용하여 양자 통신을 위한 프로토콜이 존재함을 증명한다.
• 이 프로토콜은 얽힘 보조 및 비보조 점근적 코딩 정리와 같은 양자정보이론의 핵심 정리들에 즉각적인 추론을 제공한다.
• 양자 브로드캐스트 채널과 송신자에게 부가 정보가 있는 채널에 대해, 얽힘 자원이 가용할 경우 최고의 고전적 결과와 일치하는 점근적 속도를 달성하는 새로운 프로토콜을 생성한다.
• 제시된 잠금 프로토콜은 공동 분포와 곱 분포 사이의 트레이스 거리를 성공 기준으로 사용하는 첫 번째 프로토콜로, 암호문에 대한 측정만으로도 메시지와의 상관관계가 유의미하게 없음을 보장한다.
• 이 프로토콜은 클래식 메시지를 로그 크기의 키로만 사용하여 잠그며, 이 키를 제거하면 어떤 측정에도 메시지가 효과적으로 무작위가 된다는 것을 보여준다.
• 분석 결과, 측도의 농도(정리 3.9)가 잠금 결과에 필수적임을 보이며, 이는 평균 성능이 아니라 고확률 탈결을 보장하기 때문이다.