[논문 리뷰] Security of quantum key distribution with discrete rotational symmetry

Masato Koashi|ArXiv.org|2005. 07. 16.

Laser-Matter Interactions and Applications인용 수 12

한 줄 요약

이 논문은 산란된 레이저 펄스를 사용하는 SARG04 양자 키 분배 프로토콜과 이의 M-상태 버전에 대해 조건부 보안을 증명한다. 이는 이산 회전 대칭성을 갖는다. 시스템의 2M중 회전 대칭성을 활용하고 문제를 얽힘 기반 모델로 환원함으로써, SARG04의 경우 키 비율 스케일링이 $ O(\eta^{3/2}) $이고, $ M = 2k-1 $ 또는 $ 2k $일 경우 $ O(\eta^{(k+1)/k}) $임을 도출한다. 낮은 채널 노이즈 조건에서 성능이 향상된다.

ABSTRACT

We prove the unconditional security of quantum key distribution protocols using attenuated laser pulses with M different linear polarizations. When M=4, the proof covers the so-called SARG04 protocol [V.~Scarani et al., Phys. Rev.\ Lett. {\bf 92}, 057901 (2004)], which uses exactly the same quantum communication as the Bennett-Brassard 1984 protocol. For a channel with transmission $η$, we show that the key rate in SARG04 scales as $O(η^{3/2})$. When we increase the number of states to M=2k-1 or 2k, the key rate scaling improves as $O(η^{(k+1)/k})$.

연구 동기 및 목표

• 산란된 레이저 펄스를 사용하는 SARG04 프로토콜의 무조건적 보안을 이산 회전 대칭성 하에서 증명하는 것.
• M-상태 프로토콜로 SARG04 프로토콜을 일반화하고, 선형 편광 상태 $ M $개를 사용하여 키 비율 스케일링을 분석하는 것.
• 회전 대칭성과 양자 상태 분해를 활용하여 $ O(\eta^2) $를 초월하는 키 비율 스케일링을 향상시키는 것.
• 다양한 공격 모델 하에서 키 비율 스케일링과 비트 오류율 간의 상충 관계를 정량화하는 것.

제안 방법

• 프로토콜은 $ M $개의 서로 다른 편광 상태를 갖는 단계 랜덤화된 산란된 레이저 펄스를 사용하며, 각도 $ \theta = \pi l/M $를 통해 양자 상태를 인코딩하여 이산 회전 대칭성을 갖는다.
• 힐베르트 공간 $ \mathcal{H} \cong \mathbb{C}^M \otimes \mathbb{C}^2 $로의 얽힘 기반 모델로 변환함으로써 보안 분석을 단순화한다.
• 힐베르트 공간을 각운동량 레이블을 가진 부분공간으로 분해함으로써 표준 얽힘 기반 보안 기법을 적용할 수 있다.
• 주요 기법으로는 고광자 수 성분의 기여를 임계값 $ K = \lceil M/2 \rceil $를 사용해 제한함으로써 문제를 저차원 부분공간으로 환원하는 것.
• 보안 증명은 측정 연산자의 볼록 조합 분석과 상태의 신뢰도에 대한 경계를 사용하며, $ \gamma $, $ \epsilon $, 및 $ \beta(\epsilon) $를 포함하는 키 비율 식을 도출한다.
• 프로토콜은 고손실 근사 $ \eta \to 0 $에서 분석되며, 키 수확량은 $ \eta^{(K+1)/K} $, $ \gamma $, 및 비트 오류율 $ \epsilon $의 함수로 유도된다.

실험 결과

연구 질문

• RQ1 SARG04 프로토콜이 임의의 탈취 공격에 대해 무조건적으로 보안될 수 있는가?
• RQ2 채널 손실 존재 하에서 SARG04 프로토콜이 달성할 수 있는 최적의 키 비율 스케일링은 무엇인가?
• RQ3 편광 상태 수 $ M $을 증가시킬 경우 키 비율 스케일링과 노이즈에 대한 내성은 어떻게 변화하는가?
• RQ4 이 프로토콜의 이산 회전 대칭성을 활용하여 보안 증명을 단순화하고 경계를 향상시킬 수 있는가?
• RQ5 M-상태 프로토콜에서 $ O(\eta^{(K+1)/K}) $ 스케일링을 달성할 수 있는 임계 비트 오류율 $ \epsilon $는 얼마인가?

주요 결과

• SARG04 프로토콜은 고손실 근사 $ \eta \to 0 $에서 $ O(\eta^{3/2}) $의 키 비율 스케일링을 달성하며, 산란 레이저를 사용하는 표준 BB84의 $ O(\eta^2) $ 스케일링을 초월한다.
• $ M = 2k-1 $ 또는 $ 2k $일 경우, 키 비율은 $ O(\eta^{(k+1)/k}) $로 스케일링되며, $ k = \lceil M/2 \rceil $로 정의되며, $ M $이 클수록 성능 향상이 뚜렷하다.
• $ O(\eta^{(K+1)/K}) $ 스케일링이 달성 가능한 임계 채널 노이즈 $ \epsilon $는 $ \Theta = \pi L/M $에만 의존하며, $ M $에는 영향을 받지 않는다. 최적 성능은 $ \Theta \sim \pi/(4(K-1)) $ 근처에서 달성된다.
• $ \epsilon = 0 $일 경우 최적의 소스 강도는 $ \mu \sim 1.51 \eta^{1/2} $로, SARG04에서 키 비율 손실을 최소화한다.
• $(6,1)$ 프로토콜은 $ O(\eta^{5/4}) $ 스케일링을 달성하며 $(5,1)$ 프로토콜을 능가한다. 두 검출기 출력을 모두 처리함으로써 키 수확량을 두 배로 늘릴 수 있다.
• 보안 증명은 무작위 상태 식별과 광자 수 분할 공격를 조합한 하이브리드 공격에 대해 강건하며, 공격에 의해 유도되는 바와 같이 $ K = \lceil M/2 \rceil $의 경계는 최적이다.