[논문 리뷰] Approximate Quantum Error-Correcting Codes and Secret Sharing Schemes

Claude Crépeau, Daniel Gottesman외 1명|ArXiv.org|2005. 03. 15.

Quantum Computing Algorithms and Architecture참고 문헌 14인용 수 8

한 줄 요약

이 논문은 큐비트-클래식 레지스터의 대규모 집합에 양자 정보를 인코딩하여, 정확한 복구를 허용하지 않는 경우에도 최대 ⌊(n−1)/2⌋개의 임의의 오류를 수정할 수 있는 근사 양자 오류정정 코드(AQECCs)를 구성한다. 이 코드들은 정밀도가 1에 지수적으로 가까운 복구 성능을 달성한다. 정확한 QECCs와는 달리, 정확한 오류정정 코드는 최대 n/4개의 오류만 수정할 수 있지만, 이 코드들은 오류에 강한 비밀공유 기반의 하이브리드 양자-클래식 인코딩 방식을 통해 고정밀 복구를 실현한다. 이는 정확한 오류정정과 근사 오류정정 간의 뚜렷한 대비를 보여준다.

ABSTRACT

It is a standard result in the theory of quantum error-correcting codes that no code of length n can fix more than n/4 arbitrary errors, regardless of the dimension of the coding and encoded Hilbert spaces. However, this bound only applies to codes which recover the message exactly. Naively, one might expect that correcting errors to very high fidelity would only allow small violations of this bound. This intuition is incorrect: in this paper we describe quantum error-correcting codes capable of correcting up to (n-1)/2 arbitrary errors with fidelity exponentially close to 1, at the price of increasing the size of the registers (i.e., the coding alphabet). This demonstrates a sharp distinction between exact and approximate quantum error correction. The codes have the property that any $t$ components reveal no information about the message, and so they can also be viewed as error-tolerant secret sharing schemes. The construction has several interesting implications for cryptography and quantum information theory. First, it suggests that secret sharing is a better classical analogue to quantum error correction than is classical error correction. Second, it highlights an error in a purported proof that verifiable quantum secret sharing (VQSS) is impossible when the number of cheaters t is n/4. More generally, the construction illustrates a difference between exact and approximate requirements in quantum cryptography and (yet again) the delicacy of security proofs and impossibility results in the quantum model.

연구 동기 및 목표

• 근사 양자 오류정정 코드(AQECCs)가 정확한 QECCs의 n/4 오류 한계를 초월할 수 있음을 보여주는 것.
• AQECCs와 오류에 강한 비밀공유 기반의 비밀공유 체계(ETSS) 간의 연결 고리를 확립하여, 임의의 t개 성분이 인코딩된 상태에 대해 정보를 노출하지 않음을 보여주는 것.
• 정확한 QECCs에 대한 한계가 근사 코드에도 적용된다는 가정을 도전하며, 특히 검증 가능한 양자 비밀공유(VQSS)의 맥락에서 이를 검토하는 것.
• 더 높은 배신자 기준을 가진 환경에서의 안전한 다중 당사자 양자 계산 및 암호 프로토콜에 대한 영향을 탐색하는 것.
• 정확한 복구가 허용되지 않는 경우, t ≥ n/4 배신자가 존재하는 VQSS에 대한 불가능성 증명이 잘못되었음을 보여주는 것.

제안 방법

• 큰 양자 레지스터에 양자 상태를 하이브리드 방식으로 인코딩하고, 고전적 인증 키를 결합하여 AQECCs를 구성한다.
• t < n/2 인 경우 거리 d = t+1인 양자 리드-소โล몬(다항식) 코드를 기반으로 한 안정자 코드를 사용한다.
• 각 양자 레지스터를 인증하기 위해 고전적 오류에 강한 비밀공유(ETSS)를 활용하여 최대 t명의 배신자에 대비한 보안을 확보한다.
• 손상되지 않은 레지스터의 부분집합에 대해 삭제 오류 수정을 적용하며, 코드가 s개의 삭제 오류를 수정하고 t−s개의 추가 오류를 탐지할 수 있음을 활용한다.
• 임의의 t개 레지스터가 나머지 부분과 최대 얽힘 상태에 있다는 사실을 바탕으로 정밀도 한계를 유도한다. 이로 인해 짧은 고전적 인증 키 크기 O(log ℓ + log(1/ε))를 확보할 수 있다.
• ETSS 체계를 수정하여 공유 크기를 줄여, 각 구성 요소당 총 레지스터 크기를 O(ℓ/(n−2t) + n log(1/ε)) 큐비트로 줄인다.

실험 결과

연구 질문

• RQ1 정확한 복구를 허용하지 않는 경우, 양자 오류정정 코드가 n/4개를 초월해 더 많은 오류를 수정할 수 있는가?
• RQ2 오류정정에 대한 표준 n/4 한계가 근사 양자 오류정정 코드로도 적용되는가?
• RQ3 근사 QECCs를 사용하여 n/4명 이상의 배신자가 존재하는 검증 가능한 양자 비밀공유(VQSS) 체계를 구성할 수 있는가?
• RQ4 비밀공유가 고전적 오류정정보다 양자 오류정정에 더 나은 고전적 대응체인가?
• RQ5 근사 오류정정이 안전한 다중 당사자 양자 계산 및 암호 보안 증명에 미치는 영향은 무엇인가?

주요 결과

• ε가 작을 경우, AQECCs는 최대 ⌊(n−1)/2⌋개의 임의의 오류를 수정할 수 있으며, 정밀도가 1−O(n²ε)로 지수적으로 1에 가까워진다.
• 이 구성은 임의의 t개 성분이 인코딩된 상태에 대해 정보를 노출하지 않으며, 완전한 보안을 만족한다.
• t < n/2일 경우, 레지스터 크기는 O(ℓ/(n−2t) + n log(1/ε)) 큐비트이며, 고전적 공유 크기는 CC(n log(1/ε), ε, t) 비트이다.
• n = 2t + 1일 경우, 레지스터 크기는 O(ℓ + n log(1/ε)) 큐비트로 감소하여 오류 내성과 함께 확장 가능함을 보여준다.
• d−1개의 레지스터에서 최대 얽힘 상태가 발생함에 따라 고전적 인증 키 길이가 O(log ℓ + log(1/ε))로 단축되어 효율성이 향상된다.
• 이 논문은 이전에 VQSS가 t ≥ n/4일 경우 불가능하다는 증명을 무효화한다. 이 증명은 근사 코드에는 적용되지 않는 한계에 기반했기 때문이다. 또한 t = ⌊(n−1)/2⌋일 경우에 대해 진정한 딜러 기반 VQSS 체계를 구성한다.