[논문 리뷰] Invertible Quantum Operations and Perfect Encryption of Quantum States

Ashwin Nayak, Pranab Kumar Sen|arXiv (Cornell University)|2006. 05. 03.

Quantum Computing Algorithms and Architecture참고 문헌 7인용 수 36

한 줄 요약

이 논문은 양자 상태와 고정된 부가적 보조 큐비트(혼합 상태일 수 있음)에 유니터리 변환을 적용한 역행 가능한 양자 연산을 특성화하며, 이러한 변환이 완벽한 양자 상태 암호화에 필수적이고 충분함을 증명한다. 핵심 결과는 n 큐비트의 완벽한 암호화에 최소 2n비트의 고전적 키가 필요하다는 점으로, 이는 기존의 경계를 부가적 보조 큐비트를 포함한 일반적인 체계로 확장한 것이다.

ABSTRACT

In this note, we characterize the form of an invertible quantum operation, i.e., a completely positive trace preserving linear transformation (a CPTP map) whose inverse is also a CPTP map. The precise form of such maps becomes important in contexts such as self-testing and encryption. We show that these maps correspond to applying a unitary transformation to the state along with an ancilla initialized to a fixed state, which may be mixed. The characterization of invertible quantum operations implies that one-way schemes for encrypting quantum states using a classical key may be slightly more general than the ``private quantum channels'' studied by Ambainis, Mosca, Tapp and de Wolf (FOCS 2000). Nonetheless, we show that their results, most notably a lower bound of 2n bits of key to encrypt n quantum bits, extend in a straightforward manner to the general case.

연구 동기 및 목표

• 단순한 유니터리 변환을 초월하여, 역행 가능한 양자 연산(CPTP 매핑이 CPTP 역행을 갖는 것)의 수학적 형태를 특성화하기 위해.
• 이 특성화가 양자 암호화 프로토콜, 특히 고전적 키를 사용한 완벽한 암호화에 미치는 영향을 조사하기 위해.
• 부가적 보조 큐비트를 포함한 경우를 포함하여, 양자 상태 암호화에 대한 고전적 키 크기의 기존 하한을 일반화하고 확장하기 위해.
• 암호화 과정에서 보조 큐비트 시스템을 사용할 경우에도 n-큐비트 암호화에 대해 2n비트 키 하한이 유지됨을 보여주기 위해.
• 통합된 프레임워크를 통해 양자 암호화, 오류 수정, 역행 가능한 양자 연산 간의 관계를 설정하기 위해.

제안 방법

• 양자 오류 수정 기준과 유사한 증명 구조를 사용하여, 역행 가능한 CPTP 매핑은 입력 상태와 고정된 보조 큐비트(혼합 상태일 수 있음)에 대한 유니터리 진화에 해당함을 증명한다.
• 스케일링을 통해 일반적인 완전 양성(positive) 연산(CP 매핑)으로 특성화를 확장하여, 이들을 측정 기반의 양자 연산과 연결한다.
• 유니터리-보조 큐비트 형태를 사용하여 앨리스가 키에 따라 의존하는 유니터리 연산을 상태와 보조 큐비트에 적용하는 일반적인 일방향 암호화 체계를 모델링한다.
• 엔트로피 기반 추론(반데르바르그 엔트로피 및 샤논 엔트로피)을 사용하여, 완벽한 암호화에 필요한 키 크기를 제한하며, 엔트로피의 볼록성과 부분가역성의 성질을 활용한다.
• 벨 상태를 통한 양자 상태 암호화에서 고전적 비트 암호화로의 변환을 구성하여, 임의의 n-큐비트 암호화 체계가 2n비트 고전적 암호화 체계를 암시함을 보여준다.
• 랭크 기반 추론을 통해 서로 다른 키의 수가 최소 2^{2n}개여야 하며, 이는 키 엔트로피에 대해 2n비트 하한을 확인함을 의미한다.

실험 결과

연구 질문

• RQ1 입력 및 출력 힐베르트 공간의 차원이 다를 수 있을 때, 역행 가능한 양자 연산(즉, CPTP 역행을 갖는 CPTP 매핑)의 정확한 수학적 형태는 무엇인가?
• RQ2 고정된 보조 큐비트(혼합 상태일 수 있음)의 포함이 암호화 프로토콜 내에서 역행 가능한 양자 연산의 구조에 어떤 영향을 미치는가?
• RQ3 암호화 과정에서 보조 큐비트 시스템을 사용할 경우에도 n-큐비트 양자 상태 암호화에 대해 2n비트의 고전적 키 크기 하한이 유지되는가?
• RQ4 양자 상태의 완벽한 암호화는 고전적 비트의 완벽한 암호화로 환원될 수 있는가? 그리고 이는 키 크기에 어떤 영향을 미치는가?
• RQ5 역행 가능한 양자 연산, 양자 오류 수정, 그리고 역행 가능한 측정 간의 관계는 양자 정보 이론에서 어떻게 연결되는가?

주요 결과

• 역행 가능한 양자 연산은 입력 상태와 고정된 보조 큐비트 시스템에 대한 유니터리 변환을 적용하는 것과 동치여야 한다. 보조 큐비트는 혼합 상태일 수 있다.
• 스케일링을 통해 일반적인 CP 매핑으로 CPTP 매핑의 특성화를 확장할 수 있으며, 이는 측정 기반의 양자 연산과 연결된다.
• n 큐비트의 완벽한 암호화에 대해 2n비트의 고전적 키 크기 하한은 보조 큐비트 시스템을 사용할 경우에도 유지되며, 이는 기존 결과를 일반화한 것이다.
• n 큐비트의 완벽한 암호화 체계는 2n비트의 고전적 비트에 대한 완벽한 암호화 체계로 변환될 수 있으며, 이는 양자 암호화와 고전적 암호화 보안 간의 직접적인 연결 고리를 확립한다.
• n 큐비트의 완벽한 암호화 프로토콜에서 키 분포의 샤논 엔트로피는 최소 2n비트여야 하며, 이는 엔트로피의 부분가역성과 볼록성 추론을 통해 증명된다.
• 랭크 기반 추론을 통해 n 큐비트의 완벽한 암호화에 필요한 서로 다른 키의 수는 최소 2^{2n}개여야 하며, 이는 키 크기에 대해 2n비트 하한을 확인한다.