강도 상관 디코이 상태 QKD를 위한 비선형 최적화 기반 키율 향상

초록

본 논문은 강도 상관이 존재하는 디코이 상태 QKD에서 기존 선형 프로그램(LP) 방식이 갖는 한계를 극복하고자, Cauchy‑Schwarz 제약을 비선형 형태로 유지한 뒤 IPOPT 내부점 솔버로 직접 해결한다. 얻어진 후보 해를 외부 선형화 기준점으로 사용함으로써, 기존 채널 모델 기반 기준점보다 더 타이트한 비대칭 키율 하한을 제공하고, 두 단계 최적화 결과가 일치할 경우 최적성을 증명한다. 시뮬레이션은 거친 모델‑독립 상관과 정밀한 절단 가우시안 모델 모두에서 향상된 키율을 확인한다.

상세 분석

이 연구는 실험적 QKD 시스템에서 흔히 발생하는 강도 드리프트와 그 연관성을 정확히 모델링하지 못하는 기존 디코이‑스테이트 분석의 근본적인 문제를 짚는다. 전통적인 디코이 방법은 “수확(yield) = 광자 수에만 의존한다”는 가정을 두고, 이를 선형 제약식으로 표현해 LP로 해결한다. 그러나 강도 상관이 존재하면 적대자는 이전 라운드의 강도 정보를 활용해 수확을 조정할 수 있어, 수확이 강도 설정에 의존하게 된다. 이를 보완하기 위해 Cauchy‑Schwarz(CS) 제약이 도입되었지만, CS 제약은 √ 형태의 비선형 제약으로 변환돼 기존 연구에서는 채널 모델에 기반한 기준점에서 일차 테일러 전개를 통해 외부 선형화(outer linearisation)하고, 그 선형화된 LP를 풀어 하한을 얻었다. 이 접근법은 기준점 선택에 크게 의존하며, 모델 불일치 시 과보수적인(too conservative) 키율을 초래한다.

저자들은 두 단계 최적화 전략을 제안한다. 첫 단계에서는 IPOPT이라는 고성능 내부점 비선형 솔버를 이용해 CS 제약을 그대로 유지한 비선형 프로그램을 직접 해결한다. IPOPT은 목적함수와 제약식이 부드럽고, 변수 범위가