[논문 리뷰] Fault-tolerant verifiable blind quantum computing with logical state remote preparation

Yuki Takeuchi, Keisuke Fujii외 2명|arXiv (Cornell University)|2016. 07. 06.

Quantum Computing Algorithms and Architecture인용 수 5

한 줄 요약

이 논문은 단일 큐비트 측정 능력만을 갖춘 클라이언트가 논리적 벨 상태를 서버의 레지스터에 원격으로 준비할 수 있도록 허용하는 고장 내성적이고 검증 가능한 블라인드 양자 계산 프로토콜을 제안한다. 단일 큐비트 상태를 CSS 코드에 인코딩하고 측정 기반 양자 계산을 활용하여, 채널 노이즈와 완벽하지 않은 연산 조건 하에서도 프라이버시, 검증 가능성, 고장 내성성을 보장하며, 이로 인해 이상 행동을 탐지할 수 있는 보안 임계값 $(2/3)^d$ 를 달성한다.

ABSTRACT

Verifiable blind quantum computing allows a client with poor quantum devices to delegate universal quantum computing to a remote quantum server in such a way that the client's privacy is protected and the honesty of the server is verified. In existing protocols, the client has to send single-qubit states to the server. These states might be decohered by the channel noise. Furthermore, the client hides some "trap" qubits in the server's register so that the client can detect the server's deviation. In reality, however, these trap qubits are disturbed by imperfect operations by the server, which reduces the probability that the client accepts the honest server. To solve these problems, we propose a new gadget that allows the client to remotely prepare encoded logical single-qubit states in the server's place. Importantly, in our fault-tolerant verifiable blind quantum computing protocol, the client needs only the ability of physical single-qubit measurements in $X$ and $Z$ bases.

연구 동기 및 목표

• 기존의 검증 가능한 블라인드 양자 계산(VBQC) 프로토콜이 고장 내성적이지 않으며, 전송 중 단일 큐비트 상태의 디코herence 문제를 야기한다는 한계를 해결하기 위해.
• 표준 VBQC에서 트랩 큐비트가 노이즈와 완벽하지 않은 연산에 취약하여 클라이언트가 서버의 정직성을 검증하는 능력이 떨어지는 문제를 해결하기 위해.
• 단일 큐비트 X 및 Z 기저 측정 능력에 국한된 클라이언트가 서버의 레지스터에 논리적 단일 큐비트 상태를 준비할 수 있도록 하되, 준비된 상태의 정체성을 드러내지 않도록 하기 위해.
• CSS 코드에 상태를 인코딩하여 정보 이론적 보안성과 검증 가능성을 유지하면서도 현실적인 노이즈와 완벽하지 않은 연산 조건 하에서도 고장 내성적인 VBQC 프로토콜을 구축하기 위해.
• 논리적 상태 원격 준비와 체계적인 트랩 분포 전략을 활용하여 서버가 이상 행동을 수행하더라도 프로토콜이 여전히 보안을 유지할 수 있도록 하기 위해.

제안 방법

• 프로토콜은 논리적 상태 원격 준비 기반의 새로운 기법을 사용하며, 서버가 논리적 벨 쌍을 생성하고 한 쪽을 클라이언트에게 전송함으로써 클라이언트가 서버의 레지스터에 논리적 상태를 원격으로 준비할 수 있도록 한다.
• 클라이언트는 X 및 Z 기저에서의 물리적 단일 큐비트 측정만을 사용하여 논리적 X- 및 Z-기저 상태를 준비하며, CSS 코드의 전이성(transversality)을 활용하여 논리적 연산을 유지한다.
• 십 개의 논리적 상태가 인코딩된다: $\{|0_L\rangle, |1_L\rangle\} \cup \{(|0_L\rangle + e^{ik\pi/4}|1_L\rangle)/\sqrt{2} \mid 0 \leq k \leq 7\}$, 이는 측정 기반 양자 계산의 자원이 된다.
• 프로토콜은 FK 검증 프레임워크에 이러한 논리적 상태를 통합하여 트랩 큐비트를 논리적 블록에 분포시킴으로써 서버의 이상 행동이 탐지 가능하도록 보장한다.
• 확률적 분석을 통해 잘못된 수락 확률 $p_{\text{incorrect}}$ 를 모델링하며, 이는 $p_n (1 - N_T/N)^d$ 로 유계되며, 여기서 $N_T = N/3$ 이고, 결과적으로 $p'_{\text{incorrect}} \leq (2/3)^d$ 가 된다.
• 보안 임계값은 큐비트를 세 개의 집합(한 개의 트랩, 두 개의 비트랩)으로 나누고 트랩 위치를 무작위화하여 트랩 위치에 대한 정보 泄露를 방지함으로써 유도된다.

실험 결과

연구 질문

• RQ1 단일 큐비트 측정 능력만을 갖춘 클라이언트가 채널 노이즈에 대해 고장 내성적일 수 있도록 원격 서버에 보편적인 양자 계산을 위임하면서도 보안을 확보할 수 있는가?
• RQ2 논리적 상태 원격 준비를 통해 서버의 레지스터에 논리적 단일 큐비트 상태를 인코딩하고 원격으로 준비할 수 있으며, 이때 준비된 상태의 정체성을 드러내지 않을 수 있는가?
• RQ3 표준 VBQC에서 트랩 큐비트에 대한 불완전한 연산의 영향은 무엇이며, 논리적 인코딩을 통해 고장 내성성을 복원할 수 있는가?
• RQ4 트랩 큐비트를 논리적 블록에 분포시키는 방식이 악의적인 서버의 이상 행동 탐지 확률에 어떤 영향을 미치는가?
• RQ5 논리적 인코딩과 원격 상태 준비를 조합함으로써 현실적인 노이즈 조건 하에서 VBQC의 보안 임계값을 향상시킬 수 있는가?

주요 결과

• 제안된 프로토콜은 단일 큐비트 상태를 CSS 코드에 인코딩하여 전송 중 디코herence를 방지하고 노이즈에 대한 민감도를 감소시킴으로써 고장 내성을 달성한다.
• 클라이언트의 양자 요구 사항은 X 및 Z 기저에서의 단일 큐비트 측정으로 최소화되어, 블라인드 양자 계산 모델에서 거의 고전적인 클라이언트를 실현한다.
• 트랩 큐비트를 논리적 상태에 통합함으로써 검증 가능성을 확보하여, 클라이언트가 이상 행동을 탐지할 확률이 $(2/3)^d$ 로 유계되며, 여기서 $d$ 는 코드의 거리이다.
• 랜덤화된 트랩 배치와 논리적 인코딩을 통해 잘못된 수락 확률이 $p'_{\text{incorrect}} \leq (2/3)^d$ 로 감소하여 서버의 이상 행동에 대한 저항력이 크게 향상된다.
• 프로토콜은 정보 이론적 보안성과 블라인드성(맹점성)을 유지하여 서버가 클라이언트의 입력, 알고리즘, 출력을 알 수 없도록 보장한다.
• 보안 임계값 $(2/3)^d$ 는 트랩 분포 및 측정 결과의 확률적 분석을 통해 도출되었으며, 이는 프로토콜이 완벽하지 않은 연산 조건 하에서도 여전히 보안을 유지할 수 있음을 보여준다.