[논문 리뷰] Verified Delegated Quantum Computing with One Pure Qubit

Theodoros Kapourniotis, Elham Kashefi외 1명|arXiv (Cornell University)|2014. 03. 06.

Quantum Computing Algorithms and Architecture참고 문헌 34인용 수 5

한 줄 요약

이 논문은 한 개의 순수 큐비트 모델(DQC1)을 위한 첫 번째 검증 가능한 위임 양자 계산 프로토콜을 제안하며, 보안성과 기밀성을 보장하면서 고전적 클라이언트가 양자 서버에 양자 계산을 위임할 수 있도록 블라인드 양자 계산 프레임워크를 적응시킨다. 주요 기여는 새로운 DQC1-MBQC 모델과 역다항식 보안 오차를 갖는 검증 기반으로, 이는 양자 오류 수정을 통해 지수적 확신으로 확대될 수 있다.

ABSTRACT

While building a universal quantum computer remains challenging, devices of restricted power such as the so-called one pure qubit model have attracted considerable attention. An important step in the construction of these limited quantum computational devices is the understanding of whether the verification of the computation within these models could be also performed in the restricted scheme. Encoding via blindness (a cryptographic protocol for delegated computing) has proven successful for the verification of universal quantum computation with a restricted verifier. In this paper, we present the adaptation of this approach to the one pure qubit model, and present the first feasible scheme for the verification of delegated one pure qubit model of quantum computing.

연구 동기 및 목표

• 클라이언트가 최소한의 양자 능력을 지닌 제한된 한계에서 DQC1 모델 내의 양자 계산을 검증할 수 있도록 하는 것.
• 원래는 보편 양자 계산을 위해 설계된 블라인드 양자 계산 프레임워크를 DQC1 환경에 적응시키는 것.
• DQC1와 호환되는 새로운 측정 기반 양자 계산(MBQC) 모델인 DQC1-MBQC를 정의하여, 이 모델의 계산 능력을 유지하는 것.
• DQC1-MBQC에서 사용 가능한 그래프 상태를 판별하기 위한 충분조건을 설정하여 안전한 위임을 가능하게 하는 것.
• 유한한 실패 확률을 갖는 검증 프로토콜을 제공하며, 이를 지수적 확신으로 확대할 수 있도록 하는 것.

제안 방법

• 동적 큐비트 생성과 측정을 허용하는 DQC1-MBQC 모델을 측정 기반 양자 계산 프레임워크로 공식화하여 DQC1 모델과 호환되도록 하는 것.
• 측정 의존성과 자원 상태 구조에 기반한 단계적 결정성에 기반한, DQC1-MBQC에서 사용 가능한 그래프 상태에 대한 충분조건을 정의하는 것.
• 보편 블라인드 양자 계산 프로토콜을 DQC1-MBQC 모델에 적응시켜 서버가 계산 내용을 전혀 알 수 없도록 보장하는 것.
• 트랩 큐비트와 측정 기저의 무작위성을 사용하여 악성 행동을 탐지하며, 실패 확률을 수량적 분석을 통해 경계하는 것.
• 측정 라운드에 대한 곱의 형태로 잘못된 출력 확률의 상한을 유도하고, 확률적 확대 기법을 적용하는 것.
• 양자 오류 수정 부호를 활용하여 보안 파라미터를 역다항식에서 지수적 확신으로 확대하는 것.

실험 결과

연구 질문

• RQ1 검증 가능한 블라인드 양자 계산 프레임워크를 한 개의 순수 큐비트 모델(DQC1)에 적응시킬 수 있는가?
• RQ2 그래프 상태가 DQC1-MBQC 모델과 호환되기 위해 만족해야 할 조건은 무엇인가?
• RQ3 제안된 검증 기반은 서버의 모든 종류의 악성 행동에 대해 안전한가?
• RQ4 DQC1 환경에서 역다항식 실패 확률을 효율적으로 지수 수준으로 확대할 수 있는가?
• RQ5 정보 보존 맵과 같은 더 약한 결정성 개념을 사용하여 DQC1-MBQC에서 사용 가능한 자원 상태의 범위를 확장할 수 있는가?

주요 결과

• DQC1-MBQC 모델이 공식적으로 정의되었으며, 원래의 BQ1P 복잡도 클래스를 포함함을 보여주어 한 개의 순수 큐비트 모델의 계산 능력을 유지함을 입증하였다.
• 측정 의존성과 관측 가능성을 기반으로 한, DQC1-MBQC에서 사용 가능한 그래프 상태에 대한 충분조건이 설정되었다.
• 프로토콜은 실패 확률이 $ \epsilon < \frac{2m}{s} $ 이하로 경계되며, 여기서 $ m $ 은 측정 기저의 수이고 $ s $ 는 라운드 수이다.
• 양자 오류 수정 부호를 활용하여 보안 파라미터를 지수적 확신으로 확대할 수 있으며, 이는 참조 문헌 [8]의 프로토콜에 따라 제안된다.
• 이 프레임워크는 고전적 클라이언트가 DQC1 서버에 양자 계산을 위임하면서도 정확성과 기밀성을 보장할 수 있도록 한다.
• 결과적으로, 제한된 양자 자원을 갖는 근접한 양자 장치에서 양자 우월성을 검증할 수 있는 길을 열어 놓는다.