[논문 리뷰] Locking classical information

Frédéric Dupuis, Jan Florjanczyk외 2명|arXiv (Cornell University)|2010. 11. 07.

Quantum Information and Cryptography참고 문헌 29인용 수 20

한 줄 요약

이 논문은 양자 시스템 내 고전적 정보 락킹의 더 강력한 정의를 제안하며, 고전적으로 상관관계가 있는 쌍의 시스템에서 로그 크기의 부계열을 제거하기만 해도, 나머지 시스템에 접근할 수 있는 경우조차도 메시지가 측정에 의해 거의 탐지 불가능해질 수 있음을 보여준다. 이 효과는 일반적이다—헤어 랜덤(unitary)을 적용할 경우 높은 확률로 발생하며, 양자 암호 및 블랙홀 물리학에 응용 가능하다.

ABSTRACT

It is known that the maximum classical mutual information that can be achieved between measurements on a pair of quantum systems can drastically underestimate the quantum mutual information between those systems. In this article, we quantify this distinction between classical and quantum information by demonstrating that after removing a logarithmic-sized quantum system from one half of a pair of perfectly correlated bitstrings, even the most sensitive pair of measurements might only yield outcomes essentially independent of each other. This effect is a form of information locking but the definition we use is strictly stronger than those used previously. Moreover, we find that this property is generic, in the sense that it occurs when removing a random subsystem. As such, the effect might be relevant to statistical mechanics or black hole physics. Previous work on information locking had always assumed a uniform message. In this article, we assume only a min-entropy bound on the message and also explore the effect of entanglement. We find that classical information is strongly locked almost until it can be completely decoded. As a cryptographic application of these results, we exhibit a quantum key distribution protocol that is "secure" if the eavesdropper's information about the secret key is measured using the accessible information but in which leakage of even a logarithmic number of key bits compromises the secrecy of all the others.

연구 동기 및 목표

• 기존의 가용 정보 기반 정의를 넘어서 더 엄격한 고전적 정보 락킹의 형태를 정의하고 분석하는 것.
• 정보 락킹이 특정 구성에 의존하지 않고, 랜덤 유니타리 진동이 적용될 경우 높은 확률로 발생하는 일반적인 현상임을 보여주는 것.
• 메시지의 최소 엔트로피(min-entropy)를 기반으로 키 크기를 정의함으로써 비균일 메시지로의 락킹을 확장하여 암호학적 응용의 관련성을 높이는 것.
• 얽힘의 역할을 분석하며, 특히 측정 장치와 시스템 간에 공유된 얽힘이 락킹 효과를 방해할 수 있는지 여부를 조사하는 것.
• 통계역학 및 블랙홀 물리학과 같은 물리계에서의 함의를 탐색하기 위해 헤어-랜덤 유니타리로 동역학을 모델링하는 것.

제안 방법

• 진짜 상태에서의 측정 결과와 독립된 상태에서의 측정 결과 간의 트레이스 거리(trace distance)를 통해 락킹을 정의함으로써, 가용 정보보다 더 강력한 운영적 해석을 제공한다.
• 측정 농도 측정 기법을 사용하여, 헤어 랜덤 유니타리에 대해 진짜 상태에서의 측정 결과와 독립된 상태에서의 측정 결과 간의 트레이스 거리가 높은 확률로 지수적으로 작아짐을 보여준다.
• 메시지에 대한 일반적인 최소 엔트로피 제약 조건 하에서 락킹 효과를 분석하고, 메시지의 불확실성에 기반한 키 크기 요구 조건을 유도한다.
• 측정 장치와 시스템 간의 얽힘을 允허하고, 그러한 얽힘 조건 하에서도 락킹 효과가 일반적인 동역학 하에서 유지됨을 보여준다.
• 물리적 진동을 헤어-분포된 유니타리로 모델링하여, 충분히 랜덤한 동역학을 갖는 시스템에서 락킹이 일반적으로 발생함을 보여준다.
• 복호화에 대한 강력한 역설정(strong converse)을 확립: 키 크기가 임계값 이하일 경우, 복호화 오류 확률은 1에 수렴하므로 의미 있는 정보를 추출할 수 없다.

실험 결과

연구 질문

• RQ1 가용 정보 기준보다 운영적으로 더 강력한 방식으로 정보 락킹을 정의할 수 있는가?
• RQ2 정보 락킹은 헤어 랜덤 유니타리로 모델링된 동역학을 갖는 양자 시스템에서 일반적인 현상인가?
• RQ3 메시지가 비균일일 경우 락킹 효과가 유지되는가? 그리고 키 크기는 메시지의 최소 엔트로피에 따라 어떻게 변화하는가?
• RQ4 측정 장치와 시스템 간의 공유 얽힘이 락킹 메커니즘에 영향을 미치는가?
• RQ5 이 락킹 메커니즘이 단일 유니타리 동역학을 가정할 경우, 블랙홀 증발에서 정보의 지연 방출을 설명할 수 있는가?

주요 결과

• 논문은 트레이스 거리를 기반으로 한 더 강력한 정보 락킹 형태를 정의하며, 이는 메시지와 무관하게 생성된 측정 결과와 진짜 측정 결과를 구별할 확률을 제한한다.
• 헤어 랜덤 유니타리로 시스템이 진동할 경우, 높은 확률로 로그 크기의 부계열을 제거하면, 나머지 시스템에 접근하더라도 어떤 측정으로도 메시지를 탐지할 수 없게 된다.
• 이 더 강력한 정의 하에서 가용 정보는 임의로 작게 만들 수 있으며, 이는 이전 결과가 3비트로만 유한하게 제한된 것을 크게 강화한다.
• 메시지의 분포가 비균일하더라도 락킹 효과는 강건하며, 키 크기는 균일성의 여부가 아니라 메시지의 최소 엔트로피에 따라 결정된다.
• 측정 장치와 시스템 간의 얽힘은 락킹을 방해하지 않으며, 이는 락킹 효과가 이러한 상관관계에 대해 저항력 있음을 보여준다.
• 결과적으로, 일반적인 동역학(예: 헤어 유니타리로 모델링된) 시스템에서는 정보가 완전히 복호화 가능하거나 완전히 락킹되어야 하며, 중간 상태는 존재하지 않음을 시사하며, 이는 복호화에 대한 강력한 역설정을 지지한다.