[논문 리뷰] Universal security for randomness expansion

Carl A. Miller, Yaoyun Shi|arXiv (Cornell University)|2014. 11. 24.

Quantum Mechanics and Applications참고 문헌 16인용 수 4

한 줄 요약

이 논문은 공간적으로 분리되거나 상호작용 가능한 비국소성 또는 연역적 양자 장치, 즉 소음이 있는 경우조차도 조건부로 안전한 무작위성 확장이 가능함을 보여준다. 비가환 이진 측정에 대해 강력한 샤텐 노름 불확정성 원리를 수립하여 양자적 보안과 고전적 보안의 등가성을 입증하고, 노이즈 내성 요구 조건을 크게 완화한다. 예를 들어, CHSH 게임의 경우 노이즈 내성 한계를 1.5%에서 10.3%로 개선한다.

ABSTRACT

We show that any spatially separated multi-part quantum device demonstrating nonlocality can be used in an untrusted-device protocol for randomness expansion with unconditional quantum security. A consequence is that the noise tolerance for secure randomness expansion only needs to be small enough that it rules out deterministic behavior of the device. This greatly reduces the requirement on implementation precision. For example, for the CHSH game, the noise can be 10.3%, compared with 1.5 % in the previous bound. We also show that similar results hold with nonlocality replaced by the broader concept of contextuality, and the spatial separation requirement replaced by the broader compatibility requirement. This is the first full quantum security proof for contextuality-based randomness expansion. For both nonlocality and contextuality, we have identified the minimum device require-ment. Our results imply in particular the equivalence of quantum security with classical secu-rity for the protocols considered. Our main technical contribution is a strong Schatten-norm uncertainty principle which applies to arbitrary pairs of noncommuting binary measurements. 1

연구 동기 및 목표

• 공간적으로 분리되거나 상호작용 가능한 양자 장치를 사용한 무작위성 확장의 보편적 프레임워크를 수립하기 위해.
• 이전에 필요로 했던 엄격한 노이즈 내성 요구 조건을 줄이기 위해.
• 연역성 기반의 무작위성 확장에 대해 처음으로 조건부로 안전한 양자 보안을 입증하기 위해.
• 비국소성 또는 연역성에 기반한 안전한 무작위성 확장에 필요한 최소 장치 요구 조건을 규명하기 위해.
• 제안된 프로토콜에서 양자 보안과 고전적 보안 간의 기본적인 등가성을 확립하기 위해.

제안 방법

• 임의의 비가환 이진 양자 측정 쌍에 적용 가능한 강력한 샤텐 노름 불확정성 원리를 개발하였다.
• 비국소성 또는 연역성에 기반한 신뢰할 수 없는 장치 프로토콜을 수립하였으며, 물리적 제약 조건으로 공간적 분리 또는 상호작용 가능성을 활용하였다.
• 비국소성 또는 연역성을 나타내는 임의의 장치가 최소한의 가정 하에 무작위성 확장에 사용될 수 있음을 증명하였다.
• 장치 내부의 행동에 대한 가정 없이도 보안을 확보하기 위해 장치 독립적 추론을 사용하였다.
• 공간적 분리를 상호작용 가능성 제약 조건으로 대체하여 비국소성에서 연역성으로의 프레임워크 확장을 달성하였다.
• 보안을 확보하기 위해 노이즈가 정확한 校정을 제거하기만 하면 되며, 정밀한 校정이 필요하지 않음을 입증하였다.

실험 결과

연구 질문

• RQ1 공간적으로 분리된 양자 장치에서의 비국소성은 보편적으로 안전한 무작위성 확장을 달성하는 데 사용될 수 있는가?
• RQ2 비국소성이 존재할 경우, 안전한 무작위성 확장을 위해 필요한 최소한의 노이즈 임계값은 얼마인가?
• RQ3 더 약한 물리적 가정 하에 연역성이 비국소성의 자원으로 대체될 수 있는가?
• RQ4 비국소성 또는 연역성에 기반한 무작위성 확장 프로토콜에서 양자 보안과 고전적 보안 간에 기본적인 등가성이 존재하는가?
• RQ5 비국소성 또는 연역성으로 안전한 무작위성 확장을 달성하기 위한 최소 장치 요구 조건은 무엇인가?

주요 결과

• CHSH 게임의 경우, 안전한 무작위성 확장을 위한 노이즈 내성 한계가 이전의 1.5%에서 10.3%로 크게 개선되었다.
• 프로토콜은 장치 내 비국소성 또는 연역성의 존재만으로도 조건부로 안전한 양자 보안을 달성한다.
• 임의의 비가환 이진 측정 쌍에 대해 유효한 새로운 강력한 샤텐 노름 불확정성 원리가 유도되었다.
• 공간적 분리를 상호작용 가능성 제약 조건으로 대체함으로써 비국소성에서 연역성으로의 프레임워크 일반화가 이루어졌다.
• 결과적으로, 고려된 프로토콜에서 양자 보안과 고전적 보안이 등가임을 입증하였다.
• 무작위성 확장을 위한 최소 장치 요구 조건은 비국소성 또는 연역성의 존재이며, 특정 구현 세부 사항과는 무관하다.