Composable free-space continuous-variable quantum key distribution using discrete modulation

기술 요약: 이산 변조를 이용한 결합 가능한 자유 공간 연속 변수 양자 키 분배

문제 정의
연속 변수(CV) 양자 키 분배(QKD)는 기존의 고전적 코히어런트 인프라와 호환되는 양자 보안 통신 경로를 제공한다. 가우시안 변조 프로토콜은 광섬유 네트워크에서 광범위하게 연구되고 입증되었으나, 이는 연속적인 분포라는 이론적 이상화에 의존한다. 실제 구현은 전자 장치의 유한한 디지털 해상도로 인해 제약을 받으며, 이는 이산 변조(DM) 시스템을 필요로 한다.

엄격한 보안 보장을 갖춘 DM-CV QKD의 실험적 실현에는 중요한 격차가 존재한다. 이전의 DM-CV QKD 실험적 시도들은 주로 이상적인 오류 정정 효율을 가정하거나, 최종 비밀키에 미치는 프레임 오류(FER)의 영향을 무시한 채 점근적 키 레이트(asymptotic key rates)를 계산하는 데 국한되어 왔다. 또한, 이산 변조에 대한 기존 보안 증명은 종종 가우시안 가정을 기반으로 하거나, 암호학적 응용의 전제 조건인 유한 크기 영역에서의 결합 가능한(composable) 보안성을 결여하고 있다. 아울러, 광섬형 시스템은 성숙 단계에 도달했으나, 도시 대기 채널로 QKD를 확장하기 위해서는 다른 인코딩 방식에서 발견되는 복굴절 문제를 처리할 수 있는 특정 적응 기술이 필요하다.

방법론
저자들은 편광 인코딩과 이산 직교 위상 변조(QPSK)를 사용하는 도시 대기 채널용 모바일 CV QKD 시스템을 제시한다.

• 물리 계층: 본 시스템은 좌각 및 우각 원편광 모드의 스토크스 파라미터(Stokes parameters)에 양자 상태를 인코딩함으로써 비복굴성 특성을 가진 대기를 활용한다. 밝은 국부 발진기(LO)와 이산 신호 상태는 동일한 공간 모드 내에서 서로 직교하는 편광으로 준비된다. 이 설정은 전송된 LO를 이용한 호모다인 검출과 동일하며, LO와 신호가 동일한 파면 왜곡을 공유하므로 스토크스 검출 과정에서 난류에 대한 자동 보상이 가능하다.
• 신호 준비: 시스템은 참조, 가드, 신호 및 진공 상태를 포함하는 프레임을 전송하는 버스트 모드로 동작한다. 신호 상태는 오버샘플링된 1차 에르미트-가우시안 펄스를 사용하여 인코딩된다. 이러한 시간적 모드 선택은 신호 스펙트럼을 저주파 영역에서 벗어나게 하여, 대기 링크에서 흔히 발생하는 저주파 노이즈 및 드리프트를 완화한다.
• 보안 증명: 저자들은 가우시안 가정을 사용하지 않고도 i.i.d. 집단 공격(collective attacks)에 대해 결합 가능한 유한 크기 키 레이트를 계산할 수 있는 문헌 [30] 기반의 새로운 보안 증명을 구현한다. 이 증명은 다음을 포함한다:
  • 에너지 테스트(Energy Test): 유한 차원 컷오프 공간 외부의 양자 상태 가중치를 제한하기 위함.
  • 수락 테스트(Acceptance Test): 관측된 통계량이 사전에 정의된 허용 밀도 연산자 집합 내에 있는지 확인하기 위함.
  • 최적화: 2단계 선형화 및 쌍대성(duality) 접근법을 활용하여, 테스트를 통과하는 상태 집합에 대해 조건부 폰 노이만 엔트로피 $H(X|E)$를 최소화하는 비선형 준정부호 결정 프로그램(SDP)을 해결한다.
• 후처리 파이프라인: 다음과 같은 완전한 QKD 파이프라인(AIT-QPS)이 구현되었다:
  • 양자 난수 생성(QRNG): 진공 상태의 균형 잡힌 호모다인 검출을 기반으로 함.
  • 오류 정정: 역방향 화해(reverse reconciliation) 모드에서 저밀도 패리티 검사(LDPC) 코드를 활용함.
  • 개인정보 증폭: 토플리츠 행렬 해싱(Toeplitz matrix hashing)을 사용함.
  • 프레임 오류 처리: 단순한 스케일링 인자 $(1-\text{FER})$를 키 레이트에 적용하는 기존 방식과 달리, 본 구현은 보안 명제를 엄격히 준수한다. 실패한 블록은 완전히 공개된 것으로 간야되어 키 레이트 공식의 누설 항($\text{leak}_{EC}$)을 증가시키며, 이는 추출 가능한 키 길이를 직접적으로 감소시킨다.

주요 기여

1. 결합 가능한 유한 크기 DM-CV QKD의 첫 실험적 입증: 본 논문은 가우시안 가정을 배제하고 i.i.d. 집단 공격에 대해 결합 가능한 유한 크기 키 레이트를 계산하는 이산 변조 CV QKD 시스템의 첫 실험적 시연을 보고한다.
2. 자유 공간을 위한 편광 인코딩: 시스템은 난류가 존재하는 비복굴성 대기 채널에서 편광 인코딩을 성공적으로 입증하였으며, 이는 자유 공간 링크를 위한 진폭/위상 인코딩의 실행 가능한 대안을 제공한다.
3. 프레임 오류의 엄격한 처리: 본 연구는 프레임 오류가 비밀키 생성에 미치는 결정적인 영향을 강조한다. 오류 정정 효율을 극대화하기 위해(최대화) 오류 정정 임계치 근처에서 작동하는 것이, 실패한 블록을 완전히 공개된 정보로 취급함으로써 발생하는 높은 비용 때문에 결과적으로 제로 또는 현저히 감소된 비밀키를 초래할 수 있음을 보여줌으로써, 실패한 블록을 단순히 키 레이트를 스케일링하는 대신 완전히 공개된 정보로 처리함으로써 엄격한 보안 명제를 준수한다.
4. 전체 프로토콜 구현: 본 실험은 QRNG 및 상태 준비부터 오류 정정 및 개인정보 증폭에 이르기까지 전체 QKD 스택을 통합하여, 총 보안 파라미터 $\epsilon < 1 \cdot 10^{-10}$을 달성하였다.

결과
3 dB 손실 채널(대기 링크를 모사함)을 모사한 실험실 시연에서 시스템은 다음과 같은 성과를 거두었다:

• 키 레이트: i.i.d. 집단 공격에 대해 최대 $2.26 \cdot 10^{-2}$ bits per symbol의 결합 가능한 유한 크기 키 레이트를 달성하였다.
• 비밀키 생성: $N = 1.2 \cdot 10^9$ 개의 상태에 대한 블록 크기에 대해, 시스템은 최대 1.6 MB의 비밀키를 성공적으로 추출하였다.
• 보안 파라미터: 총 보안 파라미터는 $\epsilon_{imp} < 1 \cdot 10^{-10}$으로 제한되었다.
• 프레임 오류의 영향: 연구는 서로 다른 동작 지점을 비교하였다. LDPC 코드의 임계치 근처에서 작동하여 높은 오류 정정 효율($\beta \approx 89\%$)을 얻었을 때, 약 16%의 프레임 오류율(FER)로 인해 비밀키는 0.19 MB에 불과했다. 반면, 진폭을 조절하여 FER을 약 5.9%로 낮추면서도 $\beta \approx 88\%$를 유지했을 때, 추출된 비밀키는 1.6 MB로 증가하였다. 이는 엄격한 보안 프레임워크를 사용할 때 최종 키 길이를 극대화하기 위해 FER을 최소화하는 것이 필수적임을 확인시켜 준다.

의의
본 논문은 이산 변조 DM-CV QKD의 이론적 보안 증명과 실제 암호학적 응용 사이의 간극을 메운다고 주장한다. 가우시안 가정을 사용하지 않고 i.i.d. 집단 공격에 대해 결합 가능한 유한 크기 키를 생성하는 CV QKD 시스템을 시연함으로써, 저자들은 실제 도시 대기 네트워크에 CV QKD를 배치하기 위한 견고한 토대를 제공한다. 결과는 실제 응용을 위해 단순히 점근적 효율을 높이는 것만으로는 불충분하며, 비제로(non-zero)의 보안 비밀키 생성을 보장하기 위해 프레임 오류를 최소화하도록 시스템을 튜닝해야 함을 강조한다. 이러한 접근 방식은 QKD 네트워크를 광섬유 백본 너머 자유 공간 환경으로 확장하는 길을 열어준다.