[논문 리뷰] Universal security for randomness expansion from the spot-checking protocol

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

Quantum Mechanics and Applications참고 문헌 28인용 수 7

한 줄 요약

이 논문은 스폿체킹 프로토콜을 사용한 랜덤성 확장에 대한 보편적인 보안 조건을 수립하며, 특정 임계값을 충족하는 벨 부등식 위반은 양자 보안 랜덤성을 보장할 수 있음을 증명한다. 새로운 슈atten 노름과 균일한 볼록성에 기반한 불확실성 원리를 도입하여, CHSH 게임의 노이즈 내성은 기존 1.5%에서 10.3%로 향상되었고, 처음으로 코헨-스피커 부등식에 대한 보안을 확장한다.

ABSTRACT

Colbeck (Thesis, 2006) proposed using Bell inequality violations to generate certified random numbers. While full quantum-security proofs have been given, it remains a major open problem to identify the broadest class of Bell inequalities and lowest performance requirements to achieve such security. In this paper, working within the broad class of spot-checking protocols, we prove exactly which Bell inequality violations can be used to achieve full security. Our result greatly improves the known noise tolerance for secure randomness expansion: for the commonly used CHSH game, full security was only known with a noise tolerance of 1.5%, and we improve this to 10.3%. We also generalize our results beyond Bell inequalities and give the first security proof for randomness expansion based on Kochen-Specker inequalities. The central technical contribution of the paper is a new uncertainty principle for the Schatten norm, which is based on the uniform convexity inequality of Ball, Carlen, and Lieb (Inventiones mathematicae, 115:463-482, 1994).

연구 동기 및 목표

• 랜덤성 확장 프로토콜에서 전체 양자 보안을 보장하는 데 필요한 가장 넓은 종류의 벨 부등식과 최소 성능 임계값을 규명하는 것.
• 기존 프로토콜, 특히 CHSH 게임에서의 노이즈 내성 향상으로 이전 1.5%의 한계를 초월하는 것.
• 벨 부등식을 넘어서 다른 비국소성 테스트, 예를 들어 코헨-스피커 부등식으로의 보안 증명을 확장하는 것.
• 장치 독립적 랜덤성 분석을 위한 슈atten 노름과 균일한 볼록성에 기반한 새로운 불확실성 원리를 개발하는 것.
• 장치 행동에 대한 최소한의 가정 하에 안전한 랜덤성 확장을 위한 일반적 프레임워크를 수립하는 것.

제안 방법

• 고정된 벨 부등식을 반복적으로 적용하고 입력 분포를 비대칭적으로 조정함으로써 시드 사용을 최소화하는 스폿체킹 프로토콜 프레임워크를 사용한다.
• 볼, 카르렌, 리브의 균일한 볼록성 부등식에서 유도된 새로운 불확실성 원리를 슈atten p-노름에 맞게 조정한다.
• 장치 출력의 스무스 최소 엔트로피를 양자 적대자 시스템 조건 하에 분석하여 예측 가능성의 상한을 구한다.
• 보안 상한의 날카운성과 유도된 조건의 필수성을 검증하기 위해 명시적인 반사적 장치를 구성한다.
• 레니 지수 엔트로피 기법과 양자 증명 랜덤성 추출기를 사용하여 원시 출력을 균일한 랜덤 문자열로 변환한다.
• 특정 게임에서 초클래식 성과를 달성하는 모든 장치는 내부 설계와 관계없이 반드시 검증된 랜덤성을 생성해야 한다는 것을 증명한다.

실험 결과

연구 질문

• RQ1 어느 정도의 벨 부등식 위반은 랜덤성 확장에서 전체 양자 보안을 보장하는 데에 충분한가?
• RQ2 CHSH 게임에서 전체 양자 보안 조건 하에서 도달 가능한 최대 노이즈 내성은 얼마인가?
• RQ3 코헨-스피커 부등식에 기반한 랜덤성 확장에 대해 보안을 입증할 수 있는가, 단지 벨 부등식에 국한되지 않고?
• RQ4 스팟체킹 프로토콜에서 장치가 검증된 랜덤성을 생성하기 위한 최소 성능 임계값은 무엇인가?
• RQ5 비국소 게임에서 장치 독립적 랜덤성을 분석하기 위해 일반적인 불확실성 원리를 어떻게 구성할 수 있는가?

주요 결과

• 논문은 랜덤성 확장에서 보안을 위한 보편적 조건을 수립한다: 특정 임계값을 초월하는 모든 벨 부등식 위반은 전체 양자 보안을 보장한다.
• CHSH 게임에서 노이즈 내성은 기존 1.5%에서 10.3%로 향상되어 실용적 적용 가능성이 크게 향상되었다.
• 코헨-스피커 부등식에 기반한 랜덤성 확장에 대한 첫 번째 보안 증명이 수립되어, 장치 독립적 랜덤성의 적용 범위가 확장되었다.
• 슈atten 노름과 균일한 볼록성에 기반한 새로운 불확실성 원리는 결과를 증명하는 핵심 기술 도구이다.
• 스킵드 입력 분포를 사용함으로써 최소한의 시드 입력으로 초선형 랜덤성 확장을 가능하게 하는 프레임워크를 제공한다.
• 결과는 강건하다: 고전적 한계를 초월하는 것처럼 보이는 장치라도 정보를 泄露할 경우 랜덤성을 생성하지 못할 수 있으며, 이 프레임워크는 이러한 경우를 탐지할 수 있다.