[논문 리뷰] Parallel DIQKD from parallel repetition

Thomas Vidick|arXiv (Cornell University)|2017. 03. 24.

Quantum Computing Algorithms and Architecture참고 문헌 6인용 수 11

한 줄 요약

이 논문은 병렬 반복과 면역화 기법을 사용하여 병렬 환경에서 장치 독립형 양자 키 분배(DIQKD)의 간소화된 증명을 제시한다. 얽힌 게임의 병렬 반복과 마법의 정사각형 게임의 성질을 결합하여 원시 키의 조건부 최소 엔트로피에 하한을 설정함으로써, 노이즈와 장치의 비완전성 상황에서도 양의 키율을 확보한다.

ABSTRACT

We give an arguably simpler and more direct proof of a recent result by Miller, Jain and Shi, who proved device-independent security of a protocol for quantum key distribution in which the devices can be used in parallel. Our proof combines existing results on immunization (Kempe et al., SICOMP 2011) and parallel repetition (Bavarian et al., STOC 2017) of entangled games.

연구 동기 및 목표

• 기존 결과를 활용하여 병렬 장치 독립형 양자 키 분배(DIQKD)에 대한 더 직접적이고 기본적인 증명을 제공하기 위해.
• 마법의 정사각형 게임에 기반한 병렬 DIQKD 프로토콜의 보안성과 엔트로피 생성을 분석하기 위해.
• 앨리스의 원시 키에 대한 양자 조건부 최소 엔트로피에 정량적 하한을 설정하여, 양의 키율을 보장하기 위해.
• 얽힌 게임에 대한 임계값 정리의 활용을 통해 노이즈가 있는 장치와 탈선 공격에 대한 강건성을 입증하기 위해.
• JMS17에서 제시된 원래 증명의 대안적 시각을 제공하여 분석을 단순화하면서도 보안 보장을 유지하기 위해.

제안 방법

• 엔트로피 생성을 위한 증명으로 마법의 정사각형 게임(MS)을 사용하며, 이는 승리 전략이 공유 비트 $ f_{xy}(a) = g_{xy}(b) $ 를 생성한다는 성질을 활용한다.
• KKM+11에서 제안한 면역화 기법을 적용하여, 공유 얽힌 상태가 있더라도 확률 1로 승리할 수 없는 $\eta$-추측 게임 $G_\eta$ 를 구성한다.
• 판정자가 적어도 비율 $t$ 의 라운드가 승리 조건을 만족할 경우에만 수락하는 임계값 기반 병렬 반복 게임 $G^{(n,t)}$ 를 도입한다.
• 자정된 얽힌 게임에 대한 임계값 정리(Lemma 4)를 적용하여, $t < \omega^*(G_\eta)$ 일 때 얽힌 값 $\tau^{*}_{n,t}(G)$ 가 $n$ 에 대해 지수적으로 감소함을 유도한다.
• 추측 확률과 조건부 최소 엔트로피 간의 관계를 이용하여 $H_\infty^{\varepsilon_s}(K_A|E)$ 에 하한을 유도한다.
• 집중 경계를 활용하여 떨어지는 테스트 라운드 성능으로 인한 중단 확률을 통제하며, 정상 장치의 경우 높은 수락 확률을 보장한다.

실험 결과

연구 질문

• RQ1 병렬 반복과 면역화에 기반한 기존 결과만을 사용하여 병렬 DIQKD의 보안성을 증명할 수 있는가?
• RQ2 노이즈 상황에서 병렬 DIQKD 프로토콜의 원시 키에 대해 확보할 수 있는 최소 조건부 최소 엔트로피는 얼마인가?
• RQ3 장치가 노이즈가 있거나 악의적인 경우 프로토콜은 어떻게 보안을 유지하는가?
• RQ4 마법의 정사각형 게임의 구조와 얽힌 게임의 반복만을 사용하여 키율을 정량적으로 유 bounds 할 수 있는가?
• RQ5 매개변수 선택(예: $\eta$, $\gamma$, $\varepsilon$)이 최종 키율과 프로토콜의 강건성에 미치는 영향은 무엇인가?

주요 결과

• 원시 키의 조건부 최소 엔트로피에 하한이 확보된다: $ H_{\infty}^{\varepsilon_s}(K_A|E) \geq \Omega((C^{*}_{\text{MS}} - 2\varepsilon)^9 n) - \log p_a^{-1} - O(\gamma n) $, 여기서 $ C^{*}_{\text{MS}} = 1 - \omega^*(\text{MS}_{1/8}) > 0 $.
• 병렬 반복 게임의 얽힌 값 $ \tau^{*}_{n,t}(G) $ 는 $ \exp(-\Omega((t - (1 - C^{*}_{\text{MS}}))^9 n)) $ 으로 지수적으로 감소하여, 얽힌 적대자에 대한 강력한 보안을 보장한다.
• 노이즈가 $ \varepsilon/2 $ 인 정상 장치는 확률 $ 1 - \exp(-\Omega(\varepsilon^2 \gamma n)) $ 으로 수락되며, 노이즈에 대한 강건성을 보여준다.
• 나쁜 테스트 라운드 성능으로 인한 프로토콜 실패 확률은 $ \exp(-\Omega(\varepsilon^2 \gamma n)) $ 이하로 유 bounds 되며, 이는 $n$ 에 대해 지수적으로 작다.
• 새로운 기법을 피하고 기존의 면역화 및 병렬 반복 결과를 조합함으로써, [JMS17]보다 더 단순하고 직접적인 증명을 얻는다.
• 적절히 작은 $ \gamma $ 와 $ \varepsilon $ 에 대해 엔트로피 항이 $ O(\gamma n) $ 유출 항을 지배하므로, 제시된 조건 하에서 프로토콜의 키율은 양수이다.