[논문 리뷰] Equivalence of three classical algorithms with quantum side information: Privacy amplification, error correction, and data compression

Toyohiro Tsurumaru|arXiv (Cornell University)|2020. 09. 18.

Quantum Information and Cryptography참고 문헌 34인용 수 9

한 줄 요약

이 논문은 양자 측면 정보가 존재할 때 비밀성 강화(PA), 오류 수정(EC), 데이터 압축(DC) 간의 한 번만 수행하는 등가성을 확립하며, 선형 코드와 해시 함수의 쌍대성에 의해 이들 세 가지가 단일 프레임워크 아래 통합됨을 보여준다. 주요 기여는 PA에서의 알려진 보안 경계를 EC 및 DC의 새로운 부호 이론으로 번역할 수 있는 새로운 등가성으로, 이는 양자 키 분배(QKD) 보안 증명을 단순화시키며, 잔여 해싱 보조정리와 단계 오류 수정 접근법을 통합한다.

ABSTRACT

Privacy amplification (PA) is an indispensable component in classical and quantum cryptography. Error correction (EC) and data compression (DC) algorithms are also indispensable in classical and quantum information theory. We here study these three algorithms (PA, EC, and DC) in the presence of quantum side information, and show that they all become equivalent in the one-shot scenario. As an application of this equivalence, we take previously known security bounds of PA, and translate them into coding theorems for EC and DC which have not been obtained previously. Further, we apply these results to simplify and improve our previous result that the two prevalent approaches to the security proof of quantum key distribution (QKD) are equivalent. We also propose a new method to simplify the security proof of QKD.

연구 동기 및 목표

• 양자 측면 정보가 존재하는 상황에서 비밀성 강화(PA), 오류 수정(EC), 데이터 압축(DC)을 단일 이론적 프레임워크 아래 통합하기.
• 양자 측면 정보를 고려할 때 이 세 가지 고전적 알고리즘이 한 번만 수행하는 상황에서 등가가 됨을 보여주기.
• 잔여 해싱 보조정리(Leftover Hashing Lemma)를 통해 알려진 PA의 보안 경계를, 양자 측면 정보가 있는 EC 및 DC에 대한 이전에 증명되지 않은 새로운 부호 이론으로 변환하기.
• PA, EC, DC 간의 등가성을 활용하여 기존의 양자 키 분배(QKD) 보안 증명을 단순화하고 향상시키기.
• 부드러운 최대 엔트로피를 사용하여 단계 오류 수정(PEC)-기반 QKD 증명을 단순화하는 새로운 방법 제안하기

제안 방법

• PA에서 사용하는 선형 해시 함수와 EC 및 DC에서 사용하는 선형 부호 간의 쌍대성 프레임워크를 도입하여, 그들의 입력과 출력 간 일대일 대응을 수립한다.
• 기존의 트레이스 거리 대신 순수한 거리(purified distance)를 PA의 보안 기준으로 사용하여 더 날카우면서도 일반적인 등가 결과를 도출한다.
• 해시 함수 f 와 그 이중 부호 g 간의 쌍대성을 적용하여, 공유된 양자 측면 정보를 통해 PA 프로토콜을 등가의 EC 및 DC 프로토콜로 매핑한다.
• 유니버설2, 약간의 유니버설2, 약간의 이중 유니버설2 해시 함수에 대해 알려진 잔여 해싱 보조정리(LHL) 경계를 변형하여 EC 및 DC에 대한 새로운 부호 이론을 유도한다.
• 양자 측면 정보를 사용하여 PA, EC, DC에 대한 등가 프로토콜을 구성하며, 세 프로토콜 간 보안/성능 지표가 동일하게 유지된다.
• 랜덤성 평가를 부드러운 최대 엔트로피를 사용하여 단계 오류 수정 기반 QKD 증명을 재구성함으로써, LHL 기반 접근법과 완전히 동일한 등가성을 확보하고 추가 보안 요소를 제거한다.

실험 결과

연구 질문

• RQ1 양자 측면 정보가 존재할 때 비밀성 강화, 오류 수정, 데이터 압축을 단일 프레임워크 아래 통합할 수 있는가?
• RQ2 양자 측면 정보가 있는 한 번만 수행하는 상황에서 PA, EC, DC 간의 정확한 수학적 등가성은 무엇인가?
• RQ3 잔여 해싱 보조정리(Leftover Hashing Lemma)를 통해 알려진 PA의 보안 경계를 EC 및 DC에 대한 새로운 부호 이론으로 변환할 수 있는가?
• RQ4 이 등가성은 기존의 양자 키 분배(QKD) 보안 증명을 어떻게 단순화하고 향상시킬 수 있는가?
• RQ5 단계 오류 수정(PEC)-기반 QKD 증명을 LHL 기반 증명과 정확히 일치시키기 위해 재구성할 수 있는가? 추가 보안 손실 없이?

주요 결과

• 양자 측면 정보가 존재할 때 세 고전적 알고리즘—비밀성 강화, 오류 수정, 데이터 압축—은 한 번만 수행하는 상황에서 등가가 된다.
• 이 등가성은 유니버설2, 약간의 유니버설2, 약간의 이중 유니버설2를 포함한 광범위한 해시 함수 클래스에 대해 성립하며, 이는 이전 연구에서 유니버설2로 국한된 결과를 확장한다.
• 기존의 LHL 경계를 바탕으로 양자 측면 정보가 있는 EC 및 DC에 대한 새로운 부호 이론이 도출되었으며, 이는 이전에 문헌에 기록되지 않은 신규 결과이다.
• LHL 기반 및 PEC 기반 접근법이 새로운 프레임워크 하에서 등가임을 보여줌으로써 QKD 보안 증명이 단순화되고 향상되었으며, 추가 보안 요소가 도입되지 않았다.
• 부드러운 최대 엔트로피를 사용하여 QKD에서의 랜덤성 평가를 위한 새로운 방법이 제안되었으며, 이는 LHL 기반 증명과 정확히 동일한 등가성을 보장하고 근사 오류를 제거한다.
• 등가성은 강건하다: 상태 변환 T 가 인보리언트가 아니더라도, 보안(PA) 및 성능(EC/DC) 목적에서 결과 상태는 작동적으로 동일하다.