[논문 리뷰] Limitations on transversal gates for hypergraph product codes

Simon Burton, Dan E. Browne|arXiv (Cornell University)|2020. 12. 10.

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

한 줄 요약

이 논문은 표면 코드의 일반화이자 더 나은 코드 성능을 제공하는 초그래프 곱 코드가, 기본 고전적 코드에 대한 온전한 조건 하에서 비클리포드 논리적 게이트를 횡방향으로 구현할 수 없다는 것을 보여준다. 브라비-코니그의 주장에 새로운 논리적 연산자 교차 분석과 '강건성' 개념을 도입함으로써 확장함으로써, 저자들은 이러한 코드의 횡방향 게이트가 클리포드 군으로 제한됨을 증명하며, 마법 상태 증식과 같은 추가 기법이 없이도 보편성을 달성할 수 없음을 밝힌다.

ABSTRACT

We analyze the structure of the logical operators from a class of quantum codes that generalizes the surface codes. These are the hypergraph product codes, restricted to the vertical sector. By generalizing an argument of Bravyi and König, we find that transversal gates for these codes must be restricted to the Clifford group.

연구 동기 및 목표

• 초그래프 곱 코드가 표면 코드의 일반화이자 더 나은 코드 성능을 제공하는 바, 비클리포드 횡방향 논리적 게이트를 지원할 수 있는지 조사한다.
• 표면 코드에서의 브라비-코니그 금지 정리(No-go)를 더 넓은 범위의 초그래프 곱 코드로 확장한다.
• 논리적 연산자 지지 집합의 교차가 수정 가능해지는 조건을 규명하여, 금지 정리가 유지될 수 있도록 한다.
• 강건성(robustness)을 정의하고, 이를 횡방향 게이트 제한에 필수적이고 충분한 조건으로 특성화한다.
• 초그래프 곱 코드가 횡방향 게이트만으로 보편 양자 계산을 달성하는 데 가지는 제한을 명확히 한다.

제안 방법

• 초그래프 곱 코드에서 두 개의 완전한 논리적 연산자 집합의 지지 집합 교차를 분석함으로써, 브라비-코니그 주장의 일반화를 시도한다.
• 고전적 코드에 대해 '강건성'을 도입하며, 이를 오른쪽 블록이 전위수(rank)를 가진 열 순열 정규형이 존재하는 것으로 정의한다.
• Pivot 렘마와 Copivot 렘마를 사용하여 생성행렬 및 부호행렬의 단절과 부분행렬의 코커널 및 커널 간의 관계를 규명한다.
• Union 렘마를 적용하여, 고전적 코드가 강건할 경우 논리적 연산자 지지 집합의 교차 영역이 수정 가능하다는 것을 보인다.
• 강건한 코드일 경우 횡방향 논리적 게이트가 안정자군을 유지해야 하므로 클리포드 계층 내에 있어야 한다는 것을 증명한다.
• 강건성과 생성행렬의 정규형에서 전위수 블록이 존재하는 것 사이에 구조적 동치를 확립한다.

실험 결과

연구 질문

• RQ1 초그래프 곱 코드—표면 코드의 일반화—는 비클리포드 횡방향 논리적 게이트를 지원할 수 있는가?
• RQ2 기본 고전적 코드에 대해 어떤 조건이 브라비-코니그 주장이 초그래프 곱 코드로 확장될 수 있도록 하는가?
• RQ3 초그래프 곱 코드에서 두 개의 완전한 논리적 연산자 집합의 지지 집합 교차는 수정 가능한가?
• RQ4 고전적 코드의 어떤 구조적 성질이 논리적 연산자 교차 영역의 수정 가능성을 보장하는가?
• RQ5 고전적 코드에서의 '강건성' 개념은 유도된 양자 초그래프 곱 코드의 횡방향 게이트 구조와 어떻게 관련이 있는가?

주요 결과

• 기본 고전적 코드가 강건할 경우 초그래프 곱 코드의 횡방향 논리적 게이트는 클리포드 군으로 제한된다.
• 두 개의 완전한 논리적 연산자 집합의 지지 집합 교차 크기는 k²의 오르빗 크기를 가지며, 강건성 조건 하에서 수정 가능하다. 여기서 k는 고전적 코드공간의 차원이다.
• 고전적 코드의 강건성은 생성행렬의 정규형 (I_k | J) 형태에서 J 가 전위수를 가지는 것과 동치이다.
• 저자들은 열 순열과 행 정규화를 통한 강건 코드의 구성적 특성화를 제공하여 알고리즘적 검증이 가능하게 한다.
• 수치적 증거는 d ≥ 3 이고 k ≤ n/2 인 표준 갈라지 코드의 대부분이 강건함을 시사하며, 이는 광범위한 초그래프 곱 코드 클래스에 결과가 적용됨을 의미한다.
• 이 결과는 이 가족의 코드에서 비클리포드 게이트의 횡방향 실행을 배제하며, 보편성을 달성하기 위해 마법 상태 증식과 같은 대체 방법이 필수적임을 시사한다.