[논문 리뷰] Coupling Lemma and Its Application to The Security Analysis of Quantum Key Distribution

Kentaro Kato|arXiv (Cornell University)|2015. 05. 23.

Chaos-based Image/Signal Encryption인용 수 3

한 줄 요약

이 논문은 확률 이론의 결합 렘마를 적용하여 양자 키 분배(QKD)에서 보안 매개변수 ε의 일반적으로 받아들여지는 실패 확률 해석에 도전한다. ε이 트레이스 거리로 정의될 때, 특히 실제 키와 이상적 키가 통계적으로 독립일 경우, 변동 거리(variational distance)는 이러한 경우에 부등일 확률보다 엄격히 작으므로, ε은 프로토콜 실패의 확률을 나타내지 않는다.

ABSTRACT

It is known that the coupling lemma provides a useful tool in the study of probability theory and its related areas. It describes the relation between the variational distance of two probability distributions and the probability that outcomes from the two random experiments associated with each distribution are not identical. In this paper, the failure probability interpretation problem that has been presented by Yuen and Hirota is discussed from the viewpoint of the application of the coupling lemma. First, we introduce the coupling lemma, and investigate properties of it. Next, it is shown that the claims for this problem in the literatures are justified by using the coupling lemma. Consequently, we see that the failure probability interpretation is not adequate in the security analysis of quantum key distribution.

연구 동기 및 목표

• QKD에서 보안 매개변수 ε이 실패 확률로 해석될 수 있는지에 대한 오랫동안 지속된 논란을 해결하기 위해.
• 이전 문헌에서 제안된 실패 확률 해석의 타당성을 결합 렘마를 사용하여 검토하기 위해.
• 특히 물리적으로 타당한 통계적 독립성 가정 하에서, ε을 실패 확률로 해석하는 표준적 근거가 왜 잘못되었는지 명확히 하기 위해.
• 결합 렘마를 사용한 엄밀한 확률론적 분석을 통해 ε이 키 불일치 확률과 동일하지 않음을 보여주기 위해.

제안 방법

• 결합 렘마를 적용하여 두 확률 분포 간의 변동 거리와 그 결과값이 다를 확률을 연결한다.
• 변동 거리가 불일치 확률과 동일한 최대 결합(maximal coupling)의 존재를 이용하여 실패 가능성의 상한을 분석한다.
• 실제 키와 이상적 키가 통계적으로 독립일 경우를 분석하여, 변동 거리가 불일치 확률보다 엄격히 작다는 것을 보여준다.
• 변동 거리 v(P_K, P_U) = Pr{k ≠ u}의 등식은 실질적으로 물리적으로 타당하지 않은 인위적 상관관계를 도입하는 특정한 비물리적 결합에서만 성립함을 보여준다.
• QKD에서 사용되는 트레이스 거리 기준 ||ρ_KE - ρ_U ⊗ ρ_E|| ≤ ε을 사용하고, 결합 기반 추론을 통해 ε의 해석을 조사한다.
• 반례와 이론적 분석을 통해 실패 확률 해석이 자연스러운 물리적 가정인 독립성 하에서 실패함을 보여준다.

실험 결과

연구 질문

• RQ1 QKD에서 보안 매개변수 ε이 프로토콜의 실패 확률로 의미 있게 해석될 수 있는가?
• RQ2 Pr{k ≠ u} = v(P_K, P_U)를 만족하는 결합의 존재에 기반한 실패 확률 해석의 근거가 물리적으로 타당한가?
• RQ3 실제 키와 이상적 키가 통계적으로 독립일 경우, ε과 실제 키 불일치 확률 간의 관계는 어떻게 되는가?
• RQ4 왜 결합 렘마는 ε에 대한 표준 실패 확률 해석의 근본적인 결함을 드러내는가?
• RQ5 변동 거리 v(P_K, P_U)가 키 불일치 확률과 동일해지는 조건은 무엇이며, 이러한 조건은 물리적으로 타당한가?

주요 결과

• 실제 키와 이상적 키가 통계적으로 독립일 경우 변동 거리 v(P_K, P_U)가 Pr{k ≠ u}보다 엄격히 작기 때문에, ε의 실패 확률 해석은 타당하지 않다.
• 등식 v(P_K, P_U) = Pr{k ≠ u}는 실질적으로 물리적 근거가 없는 인위적 상관관계를 도입하는 특정 최대 결합에서만 성립한다.
• 결합 렘마는 v(P_K, P_U)가 모든 가능한 Pr{k ≠ u}의 하한임을 보여주며, 이는 ε이 일반적으로 실패 확률로 해석될 수 없음을 의미한다.
• ε이 최대 실패 확률을 나타낸다고 주장하는 것은 '존재한다'는 조건에 기반한 것이지 '모든 경우에' 성립한다는 조건이 아니므로 정당하지 않다.
• 분석 결과, 유파이의 비판을 확인한다: 실패 확률 해석은 물리적으로 타당한 가정 하에서 결합 렘마에 의해 지지되지 않는다.
• 이 논문은 ε이 QKD 보안 분석에서 어떤 확률, 특히 실패 확률도 나타내지 않음을 결론짓는다.