[논문 리뷰] Infinite Randomness Expansion and Amplification with a Constant Number of Devices

Matthew Coudron, Henry Yuen|arXiv (Cornell University)|2013. 10. 24.

Quantum Computing Algorithms and Architecture참고 문헌 16인용 수 15

한 줄 요약

이 논문은 유한한 수의 양자 장치를 사용하여 무한한 랜덤성 확장을 달성하는 장치 독립적 랜덤성 확장 프로토콜을 제안한다. 이 프로토콜은 m 비트의 초기 균일 랜덤성에서 출발하여 무한한 양의 검증된 랜덤성을 생성하며, 출력이 균일도에 지수적으로 가까워지고 양자 공격자에 대해 안전하다. 보안성과 타당성은 초기 랜덤성 크기만에 의존하며, 양자 암호 분야에서 오랫동안 미해결된 문제를 해결한다.

ABSTRACT

We present a device-independent randomness expansion protocol, involving only a constant number of non-signaling quantum devices, that achieves \emph{infinite expansion}: starting with $m$ bits of uniform private randomness, the protocol can produce an unbounded amount of certified randomness that is $\exp(-Ω(m^{1/3}))$-close to uniform and secure against a quantum adversary. The only parameters which depend on the size of the input are the soundness of the protocol and the security of the output (both are inverse exponential in $m$). This settles a long-standing open problem in the area of randomness expansion and device-independence. The analysis of our protocols involves overcoming fundamental challenges in the study of \emph{adaptive} device-independent protocols. Our primary technical contribution is the design and analysis of device-independent protocols which are \emph{Input Secure}; that is, their output is guaranteed to be secure against a quantum eavesdropper, \emph{even if the input randomness was generated by that same eavesdropper}! The notion of Input Security may be of independent interest to other areas such as device-independent quantum key distribution.

연구 동기 및 목표

• 장치 독립적 환경에서 고정된 수의 장치로 무한한 랜덤성 확장이 가능한지 여부라는 오랜 미해결 문제를 해결하기 위해.
• 적응형 프로토콜을 설계하여 랜덤성 확장을 무한히 수행하면서도 양자 스노핑 공격자에 대해 보장된 보안성을 확보하기 위해.
• 특히 입력 랜덤성이 공격자에 의해 제어될 수 있는 경우에도 보장되는 보안성을 확보하는 데 있어 근본적인 과제를 극복하기 위해.
• 입력 보안(Input Security)의 개념을 도입하고 형식화하여, 출력이 공격자가 동일한 공격자에 의해 생성된 입력을 사용하더라도 여전히 안전함을 보장하기 위해.
• 비적응형 접근 방식의 유한한 확장 한계를 초월할 수 있는 적응형 프로토콜이 가능함을 보여주기 위해.

제안 방법

• 핵심 하위프로토콜(VV)을 반복적으로 호출하여 순환적이고 적응형 구조를 취하는 프로토콜을 사용하여, 라운드 단위로 랜덤성을 생성하고 확장한다.
• VV 하위프로토콜은 입력 크기 s에 따라 증가하는 최소 엔트로피 하한 h(s)를 확보할 수 있도록 매개변수를 조정하여 구현한다. 이는 고품질의 랜덤성 출력을 보장한다.
• VV 프로토콜의 출력에 양자 추출기(quantum extractor)를 적용하여 거의 균일한 랜덤성을 도출하며, 양자 공격자에 대해서도 보안성이 유지된다.
• 입력 보안을 확보하기 위해 하위프로토콜을 설계하여, 입력 랜덤성이 공격자에 의해 생성된 경우에도 출력이 여전히 검증 가능하고 예측 불가능해지도록 한다.
• 트레이스 노름과 민감도 불등식을 사용하여 양자 상태 간의 거리를 제한함으로써, 출력이 균일도에 매우 가까워지며 높은 확률로 균일성을 유지함을 보장한다.
• 양자 얽힘의 단독성(monogamy)과 비신호 제약 조건(non-signaling constraints)을 활용하여, 예상된 행동에서의 어떤 이심도라도 신호 전달을 암시하며, 이는 비신호 가정에 의해 금지되어 있음을 증명한다.

실험 결과

연구 질문

• RQ1 장치 독립적 환경에서 고정된 수의 장치로 무한한 랜덤성 확장을 달성할 수 있는가?
• RQ2 입력 랜덤성이 동일한 공격자에 의해 생성된 경우에도, 프로토콜이 여전히 양자 공격자에 대해 보장된 보안성을 유지할 수 있는가?
• RQ3 적응형 장치 독립적 프로토콜에서의 랜덤성 확장의 근본적 한계는 무엇인가?
• RQ4 입력 보안(Input Security)을 형식적으로 정의하고, 이를 통해 무한한 확장을 달성할 수 있는가?
• RQ5 비적응형 프로토콜의 유한한 확장 장벽이 적응형 프로토콜에도 동일하게 적용되는가?

주요 결과

• 프로토콜은 무한한 랜덤성 확장을 달성하여, m 비트의 초기 균일 랜덤성에서부터 무한한 양의 검증된 랜덤성을 생성한다.
• 출력은 exp(−Ω(m^{1/3})) 수준으로 균일도에 가까워지며, 이는 완전한 균일성과의 통계적 거리가 초기 랜덤성의 세제곱근에 따라 지수적으로 감소함을 의미한다.
• 보안성과 타당성은 m에 대해 역지수적으로 감소하므로, 양자 공격자에 대해 강력한 암호 보안성을 확보한다.
• 프로토콜은 비신호 양자 장치의 고정된 수만을 사용하므로, 원칙적으로 확장 가능하고 실용적이다.
• 프로토콜은 입력 보안을 도입하고 이를 달성하였으며, 이는 공격자가 동일한 공격자에 의해 생성된 입력을 사용하더라도 출력의 보안성이 유지됨을 보장하는 새로운 성질이다.
• 양자 얽힘의 단독성과 비신호 제약 조건을 활용하여, 적응형 장치 독립적 프로토콜의 근본적 과제를 극복하였으며, 예상된 행동에서의 어떤 이심도라도 신호 전달을 암시함을 증명하였다. 이는 비신호 가정에 의해 금지되어 있다.