[논문 리뷰] Quantum enigma machines and the locking capacity of a quantum channel

Saikat Guha, Patrick Hayden외 6명|Civil War Book Review|2013. 07. 20.

Quantum Computing Algorithms and Architecture참고 문헌 45인용 수 10

한 줄 요약

이 논문은 양자 채널의 锁정 용량(locking capacity) 개념을 도입하며, 이는 채널 사용 횟수에 대해 비선형적으로 증가하는 비밀 키를 사용하여 신뢰성 있게 전송할 수 있는 고전적 상관 정보의 최대 속도로 정의된다. 이 논문은 표준 양자 채널 용량과 관련하여 锁정 용량의 운영적 경계를 설정하고, 보소닉 채널에서 코herent 상태 인코딩을 사용할 경우의 제약과 실행 가능한 프로토콜을 분석한다.

ABSTRACT

The locking effect is a phenomenon which is unique to quantum information theory and represents one of the strongest separations between the classical and quantum theories of information. The Fawzi-Hayden-Sen (FHS) locking protocol harnesses this effect in a cryptographic context, whereby one party can encode n bits into n qubits while using only a constant-size secret key. The encoded message is then secure against any measurement that an eavesdropper could perform in an attempt to recover the message, but the protocol does not necessarily meet the composability requirements needed in quantum key distribution applications. In any case, the locking effect represents an extreme violation of Shannon's classical theorem, which states that information-theoretic security holds in the classical case if and only if the secret key is the same size as the message. Given this intriguing phenomenon, it is of practical interest to study the effect in the presence of noise, which can occur in the systems of both the legitimate receiver and the eavesdropper. This paper formally defines the locking capacity of a quantum channel as the maximum amount of locked information that can be reliably transmitted to a legitimate receiver by exploiting many independent uses of a quantum channel and an amount of secret key sublinear in the number of channel uses. We provide general operational bounds on the locking capacity in terms of other well-known capacities from quantum Shannon theory. We also study the important case of bosonic channels, finding limitations on these channels' locking capacity when coherent-state encodings are employed and particular locking protocols for these channels that might be physically implementable.

연구 동기 및 목표

• 양자 채널의 锁정 용량을, 채널 사용 횟수에 대해 비선형적으로 증가하는 비밀 키를 사용하여 신뢰성 있게 전송할 수 있는 잠금된 고전적 정보의 최대 속도로 체계화하는 것.
• 기존의 양자 채널 용량(예: 비밀 용량, 양자 용량 등)과의 관계에서 锁정 용량에 대한 일반적인 운영적 경계를 설정하는 것.
• 노이즈가 있는 환경에서, 특히 광통신에 널리 사용되는 보소닉 채널에서 锁정 프로토콜의 실현 가능성을 조사하는 것.
• 코herent 상태 인코딩을 사용할 경우 锁정 용량에 가해지는 제약을 분석하여 물리적 제약과 실행 가능한 방법을 규명하는 것.

제안 방법

• 잠금 용량을, 채널 사용 횟수에 대해 비선형적으로 증가하는 비밀 키를 사용할 때, 스푸핑 공격자에게서의 가시 정보(accessible information)가 무시할 만큼 작아지는 방식으로, 고전적 메시지가 양자 상태에 인코딩될 수 있는 최대 속도로 정의한다.
• 상호정보량, 엔트로피, 양자 상호정보량의 체인 법칙 등의 표준 양자 정보이론 도구를 사용하여 锁정 용량의 상한과 하한을 유도한다.
• 양자 웨이프 채널의 등장사상(isometric extension)을 적용하여, 정상 수신자와 스푸핑 공격자 간의 상호정보량 차이를 바르나르 엔트로피와 조건부 엔트로피로 표현한다.
• 저하 조건(degrading condition)과 바르나르 엔트로피의 강한 하위가역성 강한 성질을 활용하여, 다중 채널 사용에 걸친 가시 정보의 차이를 경계한다.
• 독립적인 채널 사용과 순수 상태 집합을 가정할 때, 제품 상태 집합의 분석을 통해 锁정 차이의 가환성을 증명한다.
• 이 형식을 보소닉 채널에 적용하여, 물리적 실현 가능성 평가와 도달 가능한 锁정 용량의 제약을 도출하기 위해 코herent 상태 인코딩에 집중한다.

실험 결과

연구 질문

• RQ1 채널 사용 횟수에 대해 비선형적으로 증가하는 비밀 키를 사용할 때, 고전적 정보가 양자 채널을 통해 안전하게 전송될 수 있는 속도의 기본 한계는 무엇인가?
• RQ2 양자 채널의 锁정 용량은 비밀 용량, 양자 용량, 고전적 용량 등의 표준 용량과 어떻게 관련이 있는가?
• RQ3 실제 양자 통신 시스템에서 높은 锁정 용량을 달성하기 위한 물리적 제약은 무엇이며, 특히 코herent 상태 인코딩을 사용하는 보소닉 채널에서 어떤가?
• RQ4 노이즈 환경에서 锁정 효과는 신뢰성 있게 적용될 수 있는가? 채널 저하와 상태 순수성에 의해 어떤 제약이 가해지는가?
• RQ5 다중 독립적인 채널 사용에서 锁정 차이가 어떤 조건에서 가환성을 보이는가?

주요 결과

• 양자 채널의 锁정 용량은 그 비밀 용량에 의해 상한선으로 제한되고, 양자 용량에 의해 하한선으로 제한되며, 이는 锁정과 기존의 채널 용량 간의 직접적인 운영적 연결을 확립한다.
• 저하된 양자 웨이프 채널의 경우, 수신자와 스푸핑 공격자 간의 상호정보량 차이는 채널의 비밀 정보로 경계되며, 이는 보안의 정량적 측정을 제공한다.
• 독립적인 채널 사용과 제품 상태 집합을 가정할 경우, 锁정 차이는 가환성을 보이며, 이는 표준 정보이론 기법을 사용한 다중 사용 锁정 프로토콜 분석을 가능하게 한다.
• 코herent 상태 인코딩을 사용하는 보소닉 채널의 경우, 코herent 상태의 비이상적 성질과 높은 锁정 이득을 달성할 수 없는 점으로 인해 锁정 용량이 본질적으로 제한된다.
• 논문은 일부 锁정 프로토콜이 광 시스템에서 물리적으로 실현 가능하다고 밝히지만, 코herent 상태의 사용은 도달 가능한 锁정 용량을 제한하며, 이는 물리적 실현 가능성과 보안 강도 사이의 상충 관계를 시사한다.
• 분석 결과, 일정한 노이즈 모델 하에서 锁정 효과는 유지되지만, 비밀 키가 여전히 비선형이어야 하며 채널이 너무 노이즈가 나지 않아야 하며, 송신자와 스푸핑 공격자 간의 지수적 보안 갭이 유지되어야 한다.