[논문 리뷰] Rigidity of superdense coding

Ashwin Nayak, Henry Yuen|arXiv (Cornell University)|2020. 12. 03.

Quantum Information and Cryptography인용 수 4

한 줄 요약

이 논문은 초밀도 코딩의 강성( rigidity )을 입증한다: 한 큐비트와 공유된 EPR 쌍을 사용해 두 개의 고전적 비트를 전송하는 모든 프로토콜은 표준 Bennett-Wiesner 프로토콜과 국소적으로 동치이다. 더 높은 차원에 대해서는 정규직교 단위기저를 사용해 서로 동치가 아닌 프로토콜을 구성하고, 랜덤 프로토콜을 분석하여 하어-랜덤 인코딩 연산자가 높은 확률로 거의 최적의 구분 가능성을 달성함을 보였다.

ABSTRACT

The famous superdense coding protocol of Bennett and Wiesner demonstrates that it is possible to communicate two bits of classical information by sending only one qubit and using a shared EPR pair. Our first result is that an arbitrary protocol for achieving this task (where there are no assumptions on the sender's encoding operations or the dimension of the shared entangled state) is locally equivalent to the canonical Bennett-Wiesner protocol. In other words, the superdense coding task is rigid. In particular, we show that the sender and receiver only use additional entanglement (beyond the EPR pair) as a source of classical randomness. We also investigate several questions about higher-dimensional superdense coding, where the goal is to communicate one of $d^2$ possible messages by sending a $d$-dimensional quantum state, for general dimensions $d$. Unlike the $d=2$ case (i.e. sending a single qubit), there can be inequivalent superdense coding protocols for higher $d$. We present concrete constructions of inequivalent protocols, based on constructions of inequivalent orthogonal unitary bases for all $d > 2$. Finally, we analyze the performance of superdense coding protocols where the encoding operators are independently sampled from the Haar measure on the unitary group. Our analysis involves bounding the distinguishability of random maximally entangled states, which may be of independent interest.

연구 동기 및 목표

• 초밀도 코딩이 강성( rigidity )을 보이는지 조사하는 것, 즉 최적 성능을 내는 프로토콜이 국소 기저 변화를 제외하고 유일한지 여쭤보는 것.
• 큐비트 케이스(d=2)를 초월한 초밀도 코딩 프로토콜의 구조를 탐색하는 것, 특히 고차원 시스템에 대해 다루는 것.
• 유니타리 군 위의 하어 측도에서 샘플링된 인코딩 연산자가 사용될 경우 초밀도 코딩의 성능을 분석하는 것.
• d>2에 대해 서로 동치가 아닌 프로토콜이 존재하는지 확인하고, 정규직교 단위기저를 사용해 구체적인 예를 구성하는 것.
• 임의의 행렬 이론을 활용해, 임의의 초밀도 코딩 프로토콜에서 랜덤으로 선택된 최대 엔트로피 상태의 구분 가능성을 정량화하는 것.

제안 방법

• 공유된 얽힌 상태와 송신자 측의 국소 유니타리 인코딩 연산을 사용해 임의의 초밀도 코딩 프로토콜을 모델링한다.
• 인코딩 연산자의 블록 대각화를 통해 그들의 구조를 파울리 행렬과 일치시키고, 표준 Bennett-Wiesner 프로토콜과의 국소 동치를 증명한다.
• 정규직교 단위기저를 사용해 d>2에 대해 서로 동치가 아닌 초밀도 코딩 프로토콜을 구성하며, 이는 비이sov모르픽한 인코딩 구조를 유도함을 보여준다.
• 임의의 행렬 이론의 도구를 적용해, 랜덤 프로토콜에서 랜덤으로 선택된 최대 엔트로피 상태의 특이값 분포를 분석한다.
• 집중 부등식과 尾부 경계(예: 서브-가우시안 및 서브-지수 尾부 추정)를 사용해, 랜덤 인코딩 연산자가 메시지를 구분하지 못할 확률을 근사한다.
• 수렴 분포와 유계 수렴 추론을 통해, 랜덤 연산자 Λ_d의 기대 노름이 한계 확률 변수의 기대 노름으로 수렴함을 증명한다.

실험 결과

연구 질문

• RQ1 초밀도 코딩 프로토콜은 강성을 보이며, 임의의 최적 프로토콜이 표준 Bennett-Wiesner 프로토콜과 국소적으로 동치인가?
• RQ2 d>2에 대해 서로 동치가 아닌 초밀도 코딩 프로토콜이 존재하는가? 만약 존재한다면, 어떻게 구성할 수 있는가?
• RQ3 유니타리 군 위의 하어 측도에서 독립적으로 선택된 인코딩 연산자가 사용될 경우 초밀도 코딩의 성능은 어떠한가?
• RQ4 임의의 초밀도 코딩 프로토콜에서 랜덤으로 선택된 최대 엔트로피 상태의 구분 가능성은 얼마나 되며, 일반적인 오류율은 얼마인가?
• RQ5 d가 증가함에 따라 랜덤 프로토콜의 기대 구분 가능성은 한계 값으로 수렴하는가?

주요 결과

• 한 큐비트와 공유된 EPR 쌍을 사용해 두 개의 고전적 비트를 전송하는 초밀도 코딩 프로토콜은 모두 표준 Bennett-Wiesner 프로토콜과 국소적으로 동치이며, 이는 강성의 증명이다.
• d>2에 대해 서로 동치가 아닌 초밀도 코딩 프로토콜이 존재하며, 정규직교 단위기저를 사용해 명시적으로 구성할 수 있다. 이는 고차원 초밀도 코딩이 강성을 가지지 않음을 보여준다.
• 하어-랜덤 프로토콜에서 랜덤 연산자 Λ_d의 기대 노름은 d→∞일 때 한계 확률 변수의 기대 노름으로 수렴하며, 이는 渐近 최적성을 의미한다.
• 높은 확률로 하어-랜덤 인코딩 연산자는 거의 최적의 구분 가능성을 달성한다: 프로토콜이 메시지를 구분하지 못할 확률은 d²에 대해 지수적으로 감소한다.
• 尾부 경계 분석을 통해, 큰 특이값에서 기여하는 기대 노름의 기여도는 d가 증가함에 따라 사라지며, 이는 한계 분포로의 수렴을 뒷받침한다.
• 분석을 통해 랜덤 초밀도 코딩 프로토콜이 d→∞일 때 성공 확률이 1에 수렴하며, 오류는 exp(−Θ(d²))로 유계됨을 입증했다.