[논문 리뷰] Security bounds for unidimensional discrete-modulated CV-QKD: a Gaussian extremality approach

John A. Mora Rodríguez, Maron F. Anka외 3명|arXiv (Cornell University)|2026. 03. 05.

Quantum Information and Cryptography인용 수 0

한 줄 요약

가우시안 극값(Gaussian-extremality) 보안 경계를 1D 이산 변조 CV-QKD로 확장하여, 구성 크기가 커질수록 Eve의 정보를 과대 추정하고 네 상태를 넘어서는 경우 안전한 비밀키 추출을 차단할 수 있음을 보인다.

ABSTRACT

Unidimensional (1D) Gaussian-modulated continuous-variable quantum key distribution protocols have been proposed as a way to simplify implementation and reduce costs through single-quadrature modulation, requiring only one modulator while maintaining compatibility with standard optical infrastructure. Here, we determine security bounds for 1D discrete-modulated protocol under the Gaussian extremality assumption by extending the method of Ghorai et al. [Phys. Rev. X 9, 021059 (2019)]. We establish the appropriate symmetry arguments to extend the method to the 1D discrete-modulated case, define the physicality zone in which the protocol is allowed to operate, and prove security against collective attacks in the asymptotic regime via semidefinite programming. Our analysis for uniformly distributed coherent states reveals a fundamental limitation: the Gaussian extremality assumption systematically overestimates Eve's information with increasing constellation size, yielding bounds so conservative that secure key extraction becomes impossible for constellations larger than four states, even under ideal conditions. This overestimation worsens with excess noise and restricts viable modulation amplitudes to impractically small values. Unlike two-dimensional (2D) protocols, where Gaussian extremality improves with constellation size, 1D protocols lack the growing phase-space isotropy required for the approximation to remain tight as the constellation grows. Our results expose these limitations and highlight the necessity of alternative methods or optimized non-uniform constellation designs for this class of protocols.

연구 동기 및 목표

• Gaussian-extremality 기반 보안 분석을 1D 이산 변조 CV-QKD로 확장한다.
• 1D DM 설정에 대해 올바른 대칭성과 물리성 제약을 확립한다.
• 점근적 공동공격 시나리오에서 Eve의 정보를 한정하기 위해 세미디피니트 프로그래밍(SDP) 프레임워크를 도출한다.
• 프로토콜의 실험적 실현 가능성을 보장하는 물리성 영역을 규정한다.
• 구성 크기와 초과 노이즈가 달성 가능한 비밀키 레이트에 미치는 영향을 평가한다.

제안 방법

• Ghorai 등(2019)의 프레임워크를 1D 이산 변조 코히런트 상태에 맞게 적용한다.
• 실용적 구현과 호환되는 대칭 기반 단순화를 부과한다( p-사퀴드의 반사).
• 공유 상태를 공분산 행렬 gamma_AB로 표현하고 하이젠베르크 제약을 통해 물리성을 강제한다.
• 고정된 상관 매개변수(Cq, Cp)하에서 Eve의 Holevo 정보를 한정하기 위해 SDP를 공식화한다.
• 물리성 영역 내에서 Cp를 최적화하여 최악의(비관적) Holevo 경계 값을 얻는다.
• 구성 크기가 변함에 따라 Gaussian-extremality 가정이 보안 경계의 타이트니스에 미치는 영향을 분석한다.

실험 결과

연구 질문

• RQ1 Gaussian 극값이 단일 축 이산 변조 CV-QKD에 대해 유효한 보안 경계를 제공하는가?
• RQ2 구성 크기가 증가함에 따라 Gaussian extremality 하에서 Eve의 정보 경계의 정확도에 어떤 영향이 있는가?
• RQ3 1D DM CV-QKD의 물리성 영역은 무엇이며 그것이 변조와 상관을 어떻게 제약하는가?
• RQ4 SDP 기반 방법이 1D DM 프로토콜의 점근적 시나리오에서 공동 공격하에 신뢰할 수 있는 보안 경계를 제시하는가?
• RQ5 구성 크기와 초과 노이즈가 달성 가능한 비밀키 레이트 및 보안 운영의 타당성에 어떤 영향을 주는가?

주요 결과

• Gaussian-extremality 기반 경계는 구성 크기가 증가함에 따라 Eve의 정보를 체계적으로 과대추정한다.
• 결과 경계 값은 너무 보수적이어서 이상적 조건에서 네 상태를 넘어서는 구성에서는 안전한 키 추출이 불가능해진다.
• 초과 노이즈는 과대추정을 악화시키고 타당한 변조 진폭을 비실용적으로 작게 제한한다.
• 2D 프로토콜과 달리 1D DM CV-QKD는 증가하는 위상공간 등방성이 성장하지 않아 큰 구성일수록 Gaussian extremality의 타이트함이 제한된다.
• 본 연구는 1D DM CV-QKD에 대해 대체 방법이나 최적화된 비균일 구성의 필요성을 강조한다.