[논문 리뷰] The equivalence between correctability of deletions and insertions of separable states in quantum codes

Taro Shibayama, Yingkai Ouyang|arXiv (Cornell University)|2021. 05. 15.

Quantum Computing Algorithms and Architecture참고 문헌 22인용 수 13

한 줄 요약

이 논문은 쿠라스 연산자와 킬-라플람(CN) 오류보정 조건을 사용하여 양자 삭제 오류 수정과 분리 가능 삽입 오류 수정 간의 등가성을 증명한다. 삽입 및 삭제 채널을 쿠라스 연산자로 모델링하고 텐서곱의 대수적 조작을 활용함으로써, t개의 삭제 오류를 수정할 수 있는 임의의 양자 코드는 t개의 분리 가능 상태 삽입 오류를도 자동으로 수정함을 보여주며, 이러한 노이즈 유형에 대한 양자 오류보정에서 기본적인 이중성(duality)을 수립한다.

ABSTRACT

In this paper, we prove the equivalence of inserting separable quantum states and deletions. Hence any quantum code that corrects deletions automatically corrects separable insertions. First, we describe the quantum insertion/deletion error using the Kraus operators. Next, we develop an algebra for commuting Kraus operators corresponding to insertions and deletions. Using this algebra, we prove the equivalence between quantum insertion codes and quantum deletion codes using the Knill-Laflamme conditions.

연구 동기 및 목표

• 양자 삽입 오류와 삭제 오류 수정 능력 간의 이론적 등가성을 수립하기 위해.
• 삽입 오류 수정이 삭제 오류 수정만큼 주목받지 못한 양자 코드 이론의 격차를 메우기 위해.
• 킬-라플람 프레임워크 하에서 삽입 오류와 삭제 오류가 작동적으로 등가임을 보여줌으로써 이 둘을 통합적으로 다루기 위해.
• 기존의 삭제 오류 수정 코드의 적용 범위를 분리 가능 삽입 오류까지 확장하기 위해.
• 쿠라스 연산자와 텐서곱 규칙을 사용하여 삽입/삭제 오류를 분석하는 공식적인 대수적 기반을 제공하기 위해.

제안 방법

• 특정 연산자 구조를 갖는 양자 채널로 표현되는 삽입 및 삭제 채널을 쿠라스 연산자 형식으로 공식화함.
• 삽입된 상태가 분리 가능 상태이고 삭제된 큐비트가 알 수 없는 상태인 t1개의 삽입과 t2개의 삭제로 구성된 (t1, t2)-insdel 채널을 정의함.
• 쿠라스 연산자의 내적을 통해 오류 보정을 위한 필요 및 충분 조건을 유도하기 위해 킬-라플람(KL) 조건을 적용함.
• 삽입 및 삭제 위치에서의 쿠라스 연산자 조작을 위한 레미마를 활용한 텐서곱 계산 프레임워크를 개발함.
• 대수적 항등식을 통해 (t1, t2)-insdel 채널의 쿠라스 연산자를 (t1−1, t2+1) 또는 (t1+1, t2−1) 채널의 연산자로 변환할 수 있음을 증명함.
• 레미마 5.1과 5.2를 기반으로 한 귀납적 추론을 통해, t개의 삭제 오류를 수정할 수 있는 코드는 t개의 분리 가능 상태 삽입 오류도 수정함을 보여주며, 정리 2.5를 증명함.

실험 결과

연구 질문

• RQ1 삭제 오류를 수정할 수 있는 양자 코드는 분리 가능 상태의 삽입 오류도 수정할 수 있는가?
• RQ2 양자 코드에서 삽입 오류와 삭제 오류 수정 간에 기본적인 대수적 등가성이 존재하는가?
• RQ3 삽입 및 삭제 연산의 조합에서 킬-라플람 조건은 어떻게 행동하는가?
• RQ4 쿠라스 연산자 형식을 사용하여 삽입 오류와 삭제 오류의 분석을 통합할 수 있는가?
• RQ5 분리 가능 상태는 삽입 오류에서 어떤 역할을 하는가? 그 구조는 오류 수정 능력에 어떻게 영향을 미치는가?

주요 결과

• t개의 삭제 오류를 수정할 수 있는 임의의 양자 코드는 분리 가능 상태의 t개 삽입 오류를 자동으로 수정함으로써 완전한 등가성을 확립함.
• 증명은 (t1, t2)-insdel 채널의 쿠라스 연산자가 텐서곱 항등식을 통해 (t1−1, t2+1) 또는 (t1+1, t2−1) 채널의 연산자로 변환될 수 있음을 보여줌에 기반함.
• 레미마 5.1과 5.2는 한 번의 삭제를 삽입으로, 또는 그 반대로 이동시키더라도 오류 보정 능력이 유지됨을 보여줌.
• 삽입된 분리 가능 상태의 구체적 구조에 관계없이, 큐디트에 대한 곱 상태이면 등가성이 성립함.
• 이 결과는 이미 삭제 오류를 수정할 수 있는 순열 불변 양자 코드가 분리 가능 삽입 오류까지도 내재적으로 수정할 수 있음을 시사함.
• 이 프레임워크는 기존의 양자 오류보정 도구를 사용하여 복합 삽입/삭제 오류를 위한 코드를 분석하고 구성하는 데 일반적인 방법을 제공함.