[논문 리뷰] Computing secure key rates for quantum key distribution with untrusted devices

Ernest Y.-Z. Tan, René Schwonnek외 3명|arXiv (Cornell University)|2019. 08. 29.

Quantum Mechanics and Applications참고 문헌 48인용 수 10

한 줄 요약

이 논문은 신뢰할 수 없는 장치를 사용하는 장치독립형 양자 키 분배(DIQKD) 프로토콜에 대해 점근적 비밀 키 속도의 신뢰할 수 있는 하한을 계산하기 위한 준정적계획(SDP) 기반 프레임워크를 제시한다. 엔트로피 생산과 NPA 계층 구조를 활용하여, 임의의 벨 부등식과 측정 통계에 대해 날카운, 계산 가능한 키 속도 추정치를 가능하게 하여, 복잡하고 노이즈에 강건한 DIQKD 프로토콜의 보안 분석을 크게 향상시킨다.

ABSTRACT

Device-independent quantum key distribution (DIQKD) provides the strongest form of secure key exchange, using only the input-output statistics of the devices to achieve information-theoretic security. Although the basic security principles of DIQKD are now well-understood, it remains a technical challenge to derive reliable and robust security bounds for advanced DIQKD protocols that go beyond the previous results based on violations of the CHSH inequality. In this work, we present a framework based on semi-definite programming that gives reliable lower bounds on the asymptotic secret key rate of any QKD protocol using untrusted devices. In particular, our method can in principle be utilized to find achievable secret key rates for any DIQKD protocol, based on the full input-output probability distribution or any choice of Bell inequality. Our method also extends to other DI cryptographic tasks.

연구 동기 및 목표

• CHSH 기반 프로토콜을 초월하는 고도의 DIQKD 프로토콜에 대해 신뢰할 수 있고 날카로운 보안 하한을 도출하는 데 도전한다.
• 이전 방법의 한계를 극복한다. 이는 큐비트 시스템에 국한되거나 최적의 최소 엔트로피 하한을 도출하지 못하기 때문이다.
• 장치의 세부 정보 없이도 전체 입력-출력 통계를 사용하여 장치독립적 환경에서 바르누아 엔트로피를 추정하는 통합 계산 도구를 개발한다.
• 이 방법을 일방적 및 완전한 장치독립적 시나리오로 확장하여 양자 암호에서 더 넓은 적용 가능성을 확보한다.
• 장치에 대한 최소한의 가정 하에 비밀 키 속도를 계산하는 확장 가능하고 수치적으로 다룰 수 있는 접근법을 제공한다.

제안 방법

• 변분 원리와 젠슨의 연산자 부등식을 사용하여 측정 이전 및 이후 상태 간의 엔트로피 차이를 한정한다.
• 측정 연산자에 대한 비가환 다항식 최적화 문제를 설정하며, 라그랑주 승수와 보조 연산자를 매개변수로 사용한다.
• 일반화된 골든–트로프 부등식을 통해 엔트로피 생산을 한정하여, 채널과 제약 조건에 따라 달라지는 연산자 K를 포함한 하한을 도출한다.
• ⟨K⟩ρ의 기대값은 NPA 계층 구조를 사용하여 한정되며, 명시적인 행렬 형태가 없더라도 수치 계산이 가능하다.
• SDP에 점진적으로 제약 조건을 추가하여 DI, 1sDI, DD 시나리오에 맞게 프레임워크를 적응시켰으며, 이로 인해 얻을 수 있는 키 속도가 향상된다.
• YALMIP과 MOSEK를 사용하여 구현하였으며, 고성능 클러스터에서 계산을 수행하였다.

실험 결과

연구 질문

• RQ1 입력-출력 통계만을 사용하고 장치의 세부 정보 없이도 DIQKD 프로토콜에 대해 점근적 비밀 키 속도의 날카로운 신뢰할 수 있는 하한을 계산할 수 있는가?
• RQ2 기존의 SDP 기반 보안 분석을 임의의 벨 부등식을 가진 완전한 장치독립적 시나리오로 어떻게 확장할 수 있는가?
• RQ3 엔트로피 생산은 신뢰할 수 없는 장치 프로토콜에서 정보 손실과 보안을 정량화하는 데 어떤 역할을 하는가?
• RQ4 이 방법은 랜덤성 확장과 같은 다른 장치독립적 암호 작업으로 일반화될 수 있는가?
• RQ5 장치 특성화 수준의 차이(DI, 1sDI, DD)가 실질적으로 얻을 수 있는 키 속도에 어떤 영향을 미치는가?

주요 결과

• 이 프레임워크는 전체 측정 통계를 사용하여 어떤 DIQKD 프로토콜에 대해서도 비밀 키 속도 하한을 계산하는 데 일반적이고 계산 가능하게 하는 방법을 제공한다.
• 이전의 최소 엔트로피 기반 접근법에 비해 특히 고차원 또는 비-CHSH 시나리오에서 훨씬 날카로운 키 속도 하한을 달성한다.
• NPA 계층 구조를 사용함으로써 명시적인 행렬 표현이 없는 DI 환경에서도 ⟨K⟩ρ의 수치 평가가 가능해진다.
• 장치 특성화 수준이 DI에서 1sDI, DD로 증가할수록 키 속도 하한이 향상되며, 더 신뢰할 수 있는 가정에서의 이득이 예상되는 바를 반영한다.
• 이 방법은 QKD를 초월하여 랜덤성 확장 및 자기테스트와 같은 다른 장치독립적 작업으로도 확장 가능하다.
• 수치적 구현을 통해 검증되었으며, 임의의 벨 부등식을 가진 복잡하고 현실적인 프로토콜에 대해 확장 가능함을 보였다.