[논문 리뷰] A Computational Separation Between Quantum No-Cloning and No-Telegraphing

Barak Nehoran, Mark Zhandry|arXiv (Cornell University)|2023. 02. 03.

Quantum Computing Algorithms and Architecture인용 수 8

한 줄 요약

이 논문은 양자 오라클과 양자 상태의 집합을 구성하여, 복제 가능성은 효율적이지만 전송 가능성은 효율적이지 않은 경우를 보여줌으로써 양자 복제 금지와 전송 금지 사이의 계산적 분리를 확립한다. 이는 복구가 비효율적일 수 있는 상황에서도 성립한다. 핵심 기여는 계산적 복제가 계산적 전송을 함의하지 않는다는 양자 오라클 분리를 보여주는 것으로, 계산적 제약 조건 하에서 이 두 가지 금지 정리의 고전적 동치성에 도전한다. 이는 clonableQMA와 QCMA 사이의 양자 오라클 분리를 이끌어내며, 복제 가능한 키를 가진 비외泄출 가능한 암호화에 응용된다.

ABSTRACT

Two of the fundamental no-go theorems of quantum information are the no-cloning theorem (that it is impossible to make copies of general quantum states) and the no-teleportation theorem (the prohibition on telegraphing, or sending quantum states over classical channels without pre-shared entanglement). They are known to be equivalent, in the sense that a collection of quantum states is telegraphable if and only if it is clonable. Our main result suggests that this is not the case when computational efficiency is considered. We give a collection of quantum states and quantum oracles relative to which these states are efficiently clonable but not efficiently telegraphable. Given that the opposite scenario is impossible (states that can be telegraphed can always trivially be cloned), this gives the most complete quantum oracle separation possible between these two important no-go properties. We additionally study the complexity class clonableQMA, a subset of QMA whose witnesses are efficiently clonable. As a consequence of our main result, we give a quantum oracle separation between clonableQMA and the class QCMA, whose witnesses are restricted to classical strings. We also propose a candidate oracle-free promise problem separating these classes. We finally demonstrate an application of clonable-but-not-telegraphable states to cryptography, by showing how such states can be used to protect against key exfiltration.

연구 동기 및 목표

• 계산적 효율성 제약 조건 하에서 양자 복제 금지와 전송 금지 사이의 동치성이 유지되는지 조사하기 위해.
• 효율적으로 복제 가능한데도 효율적으로 전송할 수 없는 양자 오라클과 양자 상태의 집합을 구성하여 계산적 분리를 보여주기 위해.
• clonableQMA라는 복잡도 클래스를 정의하고 QMA 및 QCMA와의 관계를 분석함으로써 복잡도 이론적 함의를 탐색하기 위해.
• 복제 가능하지만 전송 불가능한 상태를 사용하여 키 유출에 저항하는 암호 기반 원리를 제안하기 위해.

제안 방법

• ARU14의 기법을 활용하여 계산적으로 복제할 수 없는 직교 양자 상태의 집합을 구성함으로써, 이론의 기초를 마련하기 위해.
• 이 상태들을 단일 쿼리 내에서 효율적으로 복제할 수 있는 양자 오라클을 도입하여 계산적 복제 가능성을 확보하기 위해.
• 복제 오라클을 사용하는 모든 효율적 전송 방법이 이를 제거한 방법으로 전환될 수 있음을 보여주는 다단계 모순 추론을 통해, 기초 상태의 복제 불가능성을 반박함으로써 증명하기 위해.
• clonableQMA를 효율적으로 복제 가능한 양자 증거를 가진 문제의 집합으로 정의하고, clonableQMA와 QCMA 사이의 양자 오라클 분리를 증명하기 위해.
• clonable하지만 전송 불가능한 상태의 존재를 암시할 수 있는 후보 오라클 없는 약속 문제를 제안하기 위해.
• QMA에 대해 추출 가능성을 가진 증거 암호화 체계를 구성하고, 이를 이용해 비밀 키가 복제 가능하지만 전송 불가능한 비외泄출 가능한 암호화 체계를 구축하기 위해.

실험 결과

연구 질문

• RQ1 계산적 복제 금지가 계산적 전송 금지를 함의하는가, 아니면 이 둘 사이에 계산적 분리가 존재할 수 있는가?
• RQ2 양자 오라클에 대해 효율적으로 복제 가능하지만 효율적으로 전송할 수 없는 양자 상태의 집합이 존재할 수 있는가?
• RQ3 clonableQMA와 QCMA 사이에 양자 오라클 분리가 존재하는가?
• RQ4 복제 가능하지만 전송 불가능한 상태를 사용하여 키 유출에 저항하는 암호 primitive를 구성할 수 있는가?
• RQ5 clonableQMA와 QCMA를 분리하는 약속 문제가 존재하면, 이는 복제 가능하지만 전송 불가능한 상태의 존재를 암시하는가?

주요 결과

• 논문은 양자 오라클 O와 양자 상태의 집합 S를 구성하였으며, S는 O에 대해 효율적으로 복제 가능하지만, 복구가 비효율적일 수 있는 상황에서도 효율적인 전송 절차는 존재하지 않는다.
• 이 결과는 clonableQMA와 QCMA 사이의 양자 오라클 분리를 확립하여, O에 대해 clonableQMA가 QCMA에 포함되지 않음을 보여준다.
• 증명은 수신자가 비효율적일지라도 전송 금지 성질이 유지된다는 것을 보여주며, 이 분리는 오직 수신자의 계산적 효율성에 의존함을 시사한다.
• 저자는 복제 가능하지만 전송 불가능한 상태의 존재를 암시할 수 있는 후보 오라클 없는 약속 문제를 제안하며, 복잡도 이론적 결과와 암호 기반 결과를 연결한다.
• 추출 가능한 증거 암호화를 위한 QMA 기반의 증거 암호화 체계를 제안하고, 이를 바탕으로 비밀 키가 복제 가능하지만 전송 불가능한 비외泄출 가능한 암호화 체계를 구성한다.
• 이 보안은 보조 정보로부터 유효한 증거를 추출하는 것이 어렵다는 데 기반하며, 증명은 어떤 성공적인 공격도 어려운 평균 케이스 문제에 대한 QCMA 알고리즘을 암시하므로 가정에 위배됨을 보여준다.