엔트로피 누적 정리를 활용한 실용적인 장치 의존형 QKD의 유한키 분석

초록

본 논문은 엔트로피 누적 정리(EAT)를 장치 의존형 양자키분배(QKD)에 적용하여, 마코프 연쇄 조건을 만족시키는 충분조건과 최적의 미니‑트레이드오프 함수를 구성하는 알고리즘을 제시한다. 최신 사전 스무딩 없는 프라이버시 증폭 결과를 이용해 샌드위치된 레니 엔트로피를 직접 최적화함으로써, 기존의 부드러운 최소 엔트로피 기반 방법보다 유한키 상황에서 더 높은 비밀키율을 얻는다. BB84, 6‑state, 고차원 MUB, 그리고 실제 파라메트릭 다운컨버전 소스를 이용한 BB84 등 여러 프로토콜에 적용한 실험적 시뮬레이션 결과가 제시된다.

상세 분석

이 연구는 엔트로피 누적 정리(EAT)가 원래는 디바이스‑인디펜던트 QKD의 유한키 분석에 주로 활용돼 왔으나, 장치‑의존형 QKD에도 동일하게 적용될 수 있음을 증명한다. 핵심적인 두 가지 기술적 난관은(1) 마코프 연쇄 조건을 만족시키는 프로토콜 설계와(2) EAT에서 요구되는 미니‑트레이드오프(min‑tradeoff) 함수를 효율적으로 구성하는 방법이다. 저자들은 먼저 공개된 측정값(POVM)이 블록‑대각 구조를 가질 때 마코프 연쇄 조건이 자동으로 성립한다는 충분조건을 정리한다. 이는 실제 실험에서 많이 사용되는 비순차적, 다중 라운드 프로토콜에도 적용 가능함을 의미한다.

다음으로, 미니‑트레이드오프 함수의 구성 방법으로 두 가지 알고리즘을 제시한다. 첫 번째는 기존 비대칭키율 최적화와 유사한 수치적 접근법으로, asymptotic 키율을 계산하는 최적화 문제를 그대로 활용한다. 두 번째는 Fenchel 이중성을 이용해 2차 항까지 포함하는 개선된 알고리즘으로, 차원 감소와 클래식 포스트프로세싱을 보다 간결히 다룰 수 있다. 특히, 사전 스무딩 없이 사생활 증폭을 분석한 Dupuis의 결과를 이용해 샌드위치된 레니 엔트로피를 직접 최적화함으로써, 전통적인 부드러운 최소 엔트로피 기반 보안 경계보다 더 타이트한 비밀키율을 도출한다.

시뮬레이션에서는 (i) 전통적인 BB84(큐빗 기반), (ii) 6‑state‑four‑state 프로토콜, (iii) 고차원 2‑MUB BB84, (iv) 실제 파라메트릭 다운컨버전 소스를 이용한 엔탱글먼트 기반 BB84를 대상으로 각각의 유한키 비율을 계산한다. 결과는 특히 고차원 신호와 실제 광원 모델에서 포스트셀렉션 기법보다 EAT 기반 방법이 더 우수함을 보여준다. 또한, 마코프 연쇄 조건을 만족시키는 블록‑대각 POVM 구조가 현실적인 장치 모델에 자연스럽게 들어맞는다는 점을 강조한다.

이 논문은 장치‑의존형 QKD에 대한 유한키 보안 분석을 한 단계 끌어올리며, 실용적인 구현을 위한 이론적 도구(마코프 조건 검증, 미니‑트레이드오프 함수 자동 생성, 레니 엔트로피 기반 프라이버시 증폭)를 제공한다. 향후 준비‑측정 방식에 source‑replacement 기법을 적용해 마코프 연쇄 조건을 유지하는 방안이나, 비순차적 라운드 구현에 대한 추가 연구가 기대된다.