[논문 리뷰] Robust Device Independent Randomness Amplification

Ravishankar Ramanathan, Fernando G. S. L. Brandão외 4명|arXiv (Cornell University)|2013. 08. 21.

Quantum Mechanics and Applications참고 문헌 17인용 수 10

한 줄 요약

이 논문은 단지 네 당사자 벨 부등식 위반과 XOR 해싱을 사용하여 임의의 편향이 있는 산타-바지라니(SV) 소스에서 거의 균일한 랜덤 비트로 변환하는 장치 독립형 난수 강화 프로토콜을 제시한다. 이 프로토콜은 노이즈에 강건하여 양자 장치에서 일정한 오차율을 견딜 수 있으며, 오직 비신호 원칙과 관측된 통계 자료에 의존하여 $\varepsilon^\prime$-근접한 균일한 출력을 $O(\log(1/\varepsilon^\prime))$개의 비신호 장치로 달성한다.

ABSTRACT

In randomness amplification a slightly random source is used to produce an improved random source. Perhaps surprisingly, a single source of randomness cannot be amplified at all classically. However, the situation is different if one considers correlations allowed by quantum mechanics as an extra resource. Here we present a protocol that amplifies Santha-Vazirani sources arbitrarily close to deterministic into fully random sources. The protocol is device independent, depending only on the observed statistics of the devices and on the validity of the no-signaling principle between different devices. It improves previously-known protocols in two respects. First the protocol is tolerant to noise so that even noisy quantum-mechanical systems give rise to good devices for the protocol. Second it is simpler, being based on the violation of a four-party Bell inequality and on the XOR as a hash function. As a technical tool we prove a new de Finetti theorem where the subsystems are selected from a Santha-Vazirani source.

연구 동기 및 목표

• 장치 독립적 방식으로 단일 소스로부터 약한 난수를 강화하는 데 있어 비신호 적대자에 대한 보안을 확보하는 데 핵심적인 과제를 해결하기 위해.
• 고전적 불가능성에 도전하기 위해 양자 비국소성을 자원으로 활용하여 난수 강화를 실현하기 위해.
• 노이즈에 강건한 프로토콜을 설계하여 노이즈가 있는 양자 장치에서의 실용적 구현을 가능하게 하기 위해.
• 이전의 복잡한 함수나 고차원 벨 부등식 대신 네 당사자 벨 부등식과 XOR 해싱을 사용하여 이전 프로토콜을 단순화하기 위해.
• 제한된 난수 조건 하에서 장치 독립 프로토콜의 분석을 가능하게 하는, 산타-바지라니 소스에 특화된 새로운 데 피네티 정리 수립하기 위해.

제안 방법

• 프로토콜은 $k$개의 비신호 장치로 구성된 시퀀스를 사용하며, 각 장치는 산타-바지라니 소스로부터 입력을 받고, 출력이 벨 부등식 위반 여부를 검증한다.
• 출력에서 단일 최종 비트를 추출하기 위해 XOR 함수를 해싱 수 Mittel로 사용하며, 비신호 가정 하에 균일성을 보장한다.
• 프로토콜은 네 당사자 벨 부등식 위반에 기반하며, 이는 이전 연구에서 사용된 다섯 당사자 부등식에 비해 실험적으로 더 실현 가능하다.
• 핵심 기술적 구성 요소는 제한된 난수 조건 하에서 일련의 동일분포를 갖는 행동 분석을 가능하게 하는, SV 소스에서 선택된 시스템에 대한 새로운 데 피네티 유형 정리이다.
• 관측된 상관관계에 기반한 통계적 검증 테스트를 포함하며, 이 테스트에 통과하면 출력이 높은 확률로 균일에 가까워진다.
• 노이즈 내성은 다수의 4-qubit entangled 상태에 대한 단일 큐비트 측정이 $\operatorname{poly}(1-2\varepsilon)$ 오차율을 가질 때도 프로토콜이 고확률로 중단되지 않음을 보여줌으로써 달성된다.

실험 결과

연구 질문

• RQ1 양자 시스템의 노이즈에 강건한 장치 독립적 방식으로 난수 강화를 달성할 수 있는가?
• RQ2 강화에 사용되는 벨 부등식의 당사자 수를 줄여 기존 프로토콜을 단순화할 수 있는가?
• RQ3 산타-바지라니 소스에서 선택된 부분계열에 대해 데 피네티 정리를 수립할 수 있는가? 이는 집합적 행동 분석을 가능하게 한다.
• RQ4 공격자가 일반적인 양자 코herent 공격을 수행하더라도 프로토콜이 보안성과 정확성을 유지하는가?
• RQ5 이 프로토콜은 최소 엔트로피 소스와 같은 다른 종류의 약한 난수 소스와도 호환될 수 있는가?

주요 결과

• 프로토콜은 오직 $O(\log(1/\varepsilon^\prime))$개의 비신호 장치만을 사용하여 높은 확률로 $\varepsilon^\prime$-균일한 최종 비트를 생성한다.
• 노이즈에 강건하다: $\operatorname{poly}(1-2\varepsilon)$ 오차율을 가진 4-qubit 얽힌 상태의 다수 복제본에 대한 단일 큐비트 측정이 고확률로 프로토콜을 중단하지 않는다.
• 프로토콜은 네 당사자 벨 부등식에 기반하여 이전의 다섯 당사자 프로토콜보다 더 단순하고 실험적으로 실현 가능하다.
• 분석은 산타-바지라니 소스에 특화된 새로운 데 피네티 정리에 의존하며, 이는 비신호 가정 하에서 비균일 결과의 확률을 유계로 제한할 수 있게 한다.
• 프로토콜의 정확성은 마팅갈 농도 부등식을 사용하여 증명되며, 관측된 상관관계가 양자 비국소성과 일치할 경우 테스트가 높은 확률로 통과됨을 보여준다.
• 초기 소스가 결정론에 매우 가까워도 $\varepsilon > 0$이면 난수 강화가 가능하다.