[논문 리뷰] Component mixers and a hardness result for counterfeiting quantum money

Andrew Lutomirski|arXiv (Cornell University)|2011. 07. 01.

Computability, Logic, AI Algorithms참고 문헌 2인용 수 17

한 줄 요약

이 논문은 양자 연산에 대한 블랙박스 액세스 하에서 결합 고리로부터의 양자 화폐 위조의 난이도를 증명하기 위해 구성 요소 믹서를 도구로 도입한다. 만약 '동일한 구성 요소' 문제의 난이도가 양자 컴퓨터에게 어렵다면, 양자 화폐 상태를 위조하는 것은 불가능하다는 것을 입증하며, 이는 이 양자 화폐 체계의 보안에 대한 첫 번째 형식적 증거를 제공한다. 합리적인 가정 하에서.

ABSTRACT

In this paper we give the first proof that, under reasonable assumptions, a problem related to counterfeiting quantum money from knots [Farhi et al. 2010] is hard. Along the way, we introduce the concept of a component mixer, define three new classical query problems and associated complexity classes related to graph isomorphism and group membership, and conjecture an oracle separating QCMA from QMA.

연구 동기 및 목표

• 구성 요소 믹서와 레이블링 함수에 대한 블랙박스 액세스 하에서 고리에서 유래한 양자 화폐 위조가 계산적으로 어렵다는 것을 증명하는 것.
• 구성 요소 믹서를 기반으로 한 새로운 쿼리 문제—동일한 구성 요소, 다수의 구성 요소, 다수의 균형 잡힌 구성 요소—를 정의하고 기존의 복잡도 클래스와 연관짓는 것.
• 양자 화폐를 위조하는 것이 양자 컴퓨터에서 어려운 구성 요소 문제를 해결하는 데로 환원됨을 보여, 고리에서 유래한 양자 화폐의 보안에 대한 증거를 제공하는 것.
• 다수의 균형 잡힌 구성 요소 문제를 통해 QCMA와 QMA 사이의 고전적 오рак루 분리가 가능한지 탐색하는 것.

제안 방법

• 구성 요소 믹서의 개념을 도입: 분할된 집합 S의 구성 요소 내에서 가역적이며 균일하게 랜덤한 사상.
• 세 가지 새로운 쿼리 문제 정의: 동일한 구성 요소(두 원소가 같은 구성 요소에 있는가?), 다수의 구성 요소(두 개 이상의 구성 요소가 존재하는가?), 다수의 균형 잡힌 구성 요소(다수의 구성 요소가 존재하고, 다수의 구성 요소가 없이 균형 잡힌가?).
• 이 문제들을 복잡도 클래스와 연관: SCP(동일한 구성 요소 문제)는 NP 및 SZK에 속하며, co-MA 또는 BQP에 대해 어렵다는 것이 가능하다.
• 동일한 구성 요소 문제의 난이도가 있다고 가정할 때, 구성 요소의 균일한 양자 초위상 상태를 구성 요소의 한 원소만 주어진 경우에 준비하는 양자 알고리즘을 사용.
• Bernstein-Vazirani 정리와 추적 거리 분석을 적용하여, 만약 이 알고리즘이 실패한다면 고전적 쿼리 복잡도보다 초월 다항식 속도 향상을 의미하게 되며, 이는 알려진 하한값과 모순된다.
• 고리에서 유래한 양자 화폐의 보안을 동일한 구성 요소 문제의 난이도로 환원하며, 이는 어떤 효율적인 위조도 어려운 쿼리 문제의 해법을 암시함을 보여준다.

실험 결과

연구 질문

• RQ1 구성 요소 믹서와 레이블링 함수에 대한 블랙박스 액세스 하에서 고리에서 유래한 양자 화폐 위조가 어렵다는 것을 증명할 수 있는가?
• RQ2 동일한 구성 요소 문제를 양자 컴퓨터에게 어렵다는 것으로 보여주면, 양자 화폐 체계의 보안이 암시되는가?
• RQ3 다수의 균형 잡힌 구성 요소 문제는 QCMA와 QMA 사이의 고전적 오라클 분리에 대한 후보가 될 수 있는가?
• RQ4 암호학적으로 안전한 구성 요소 믹서를 구축할 수 있으며, 이는 양자 화폐 프로토콜의 보안성과 효율성을 향상시킬 수 있는가?
• RQ5 구성 요소 초위상 문제의 양자 쿼리 복잡도는 무엇이며, 동일한 구성 요소 문제의 난이도와 어떻게 관련되는가?

주요 결과

• 합리적인 가정 하에 동일한 구성 요소 문제는 양자 컴퓨터에게 어렵다는 것이 입증되었으며, 이는 고리에서 유래한 양자 화폐 위조가 불가능하다는 것을 의미한다.
• 동일한 구성 요소 문제의 난이도가 있다고 가정할 경우, 구성 요소 믹서를 활용하는 양자 알고리즘을 통해 구성 요소 내의 균일한 초위상 상태를 근사 오차 없이 준비할 수 있다.
• 모든 영함수와 점 함수의 출력 상태 간의 추적 거리가 무시할 수 없지 않다는 것이 입증되었으며, 이는 이를 구분하는 어떤 알고리즘도 BBBV 하한값을 위반한다는 것을 의미한다.
• 다수의 균형 잡힌 구성 요소 문제는 QCMA와 QMA 사이의 고전적 오라클 분리에 대한 후보로 식별되었으며, 이는 이 열린 복잡도 이론적 질문을 해결하는 데 잠재적인 길을 제시한다.
• 논문은 구성 요소 초위상 문제와 동일한 구성 요소 문제 사이의 환원 관계를 설정하였으며, 후자의 난이도가 양자 화폐 체계의 보안을 암시한다는 것을 보여준다.
• 결과적으로 이 논문은 구성 요소 믹서와 레이블링 함수를 가진 블랙박스 모델 하에서 고리에서 유래한 양자 화폐 위조에 대한 첫 번째 형식적 난이도 결과를 확립하였다.