Toric code made subsystem: a framework for topological subsystem codes using anticommuting quantum spin liquids

기술 요약: 토릭 코드를 서브시스템화함 (Toric Code Made Subsystem)

문제 정의
본 논문은 다체 위상적 질서(many-body topological order)의 특성을 활용하면서도 서브시스템 코드(subsystem codes)의 하드웨어적 이점을 제공하는 결함 허용 양자 오류 수정(QEC) 코드를 설계하는 과제를 다룬다. 토릭 코드와 같은 위상적 안정기 코드(topological stabilizer codes)는 국소적 노이즈에 대한 견고함을 제공하지만, 종종 높은 가중치의 안정기 측정이 필요하다. 반대로, 베이컨-쇼어(Bacon-Shor) 코드와 같은 서브시스템 코드는 게이지 자유도(gauge degrees of freedom)를 활용하여 신드롬 추출을 단순화(예: 더 낮은 가중치의 체크 연산자 사용)할 수 있지만, 격자 기하학에 의존하는 다수의 논리 큐비트를 인코딩할 수 있는 위상적 유연성이 부족한 경우가 많다.

저자들은 **anticommuting $Z_2$ 양자 스핀 액체(ac-$Z_2$ QSLs)**라고 알려진 특정 양자 스핀 액체 모델을 조사한다. 응집 물질 물리학 문헌에서 최근 제안된 이 모델들은 다체 위상적 질서를 가지고 있지만, 서로 반교환(anticommute)하는 국소 보존 연산자들로부터 발생하는 광범한 기저 상태 축퇴(extensive ground state degeneracy)를 특징으로 한다. 핵심적인 질문은 다음과 같다: 이 결합된(gapless) 고도로 축퇴된 스핀 액체가 표준적인 위상적 코드가 일반적으로 갭이 있는 스펙트럼(gapped spectrum)에 의존하는 것과 달리, 유효한 위상적 서브시스템 QEC 코드로 기능할 수 있는가?

방법론
저자들은 ac-$Z_2$ QSL 해밀토니안으로부터 **위상적 서브시스템 코드(Topological Subsystem Codes)**를 직접 구축하기 위한 일반적인 프레임워크를 제안한다. 이 구축 과정은 다음과 같은 특정 레시피를 따른다:

1. 해밀토니안 선택: 격자(예: 정사각형 또는 카고메 격자) 상에 정의된 ac-$Z_2$ QSL 해밀토니안에서 시작한다. 이 해밀토니안들은 모서리를 공유하는 형태의 다중 스핀 상호작용 항(플래키트 연산자)으로 구성되며, 이는 인접한 항들 사이의 반교환을 유도한다.
2. 체크 연산자 식별: 코드의 체크 연산자(게이지 연산자)는 스핀 액체의 모든 국소 보존량과 교환되는 최소 가중치 연산자로 식별된다. 제안된 모델에서 이는 해밀토니안의 플래키트 연산자(또는 관련 파울리 곱)에 해당한다.
3. 안정기 구축: 코드 안정기는 격자의 주 방향(행과 열)을 따라 체크 연산자를 곱함으로써 생성된다. 이들은 비국소적(non-local)이지만 모든 체크 연산자와 교환된다.
4. 논리 연산자: 논리 큐비트 연산자는 격자의 위상을 따라 감기는 비국소적 연산자로 식별된다. 이들은 모든 체크 연산자와 안정기와 교환되어야 하며, 서로는 반교환해야 한다.
5. 서브시스템 정의: 반교환하는 국소 보존 연산자에 의해 구동되는 스핀 액력의 광범한 기저 상태 축퇴는 게이지 자유도(잉여 게이지 큐비트)를 정의한다. 이 게이지 큐비트들은 체크 연산자 측정에 의해 방해받지 않는 상태로 남으며, 이는 코드의 서브시스템 측면을 형성한다.

주요 기여 및 결과
저자들은 Anticommuting Charge (ACC) 코드라 명명된 두 가지 구체적인 사례를 제시한다:

1. 정사각형 격자 상의 가중치-4 코드:

   • 기하학: 큐비트는 정사각형 격자의 정점에 위치한다.
   • 연산자: 해밀토니안은 코너를 공유하는 플래키트 상의 4-스핀 플래키트 연산자($X$ 및 $Z$ 유형)를 포함한다. 체크 연산자는 특정 플래키트 상의 가중치-4 파울리 $X, Z, Y$ 연산자이다.
   • 매개변수: $L \times L$ 격자에 대해, 이 코드는 2개의 논리 큐비트를 인코딩하며 코드 거리(code distance)는 $L$이다. $L^2$개의 물리 큐비트를 사용하며, 결과적으로 $[L^2, 2, L]$ 코드가 된다.
   • 서브시스템 특징: 이 코드는 $n = L^2/2 - 2L + 1$개의 게이지 큐비트를 가진다. 체크 연산자들은 코너를 공유할 때 서로 교환되지 않으며, 이를 통해 오류를 논리 정보에 영향을 주지 않고 게이지 서브시스템으로 흡수할 수 있다.
   • 비교: 이 구축 방식은 동일한 수의 논리 큐비트에 대해 표준 토릭 코드의 절반에 해당하는 물리 큐비트를 요구하며, 서브시스템 표면 코드의 1/3을 요구한다.

2. 카고메 격자 상의 가중치-3 코드:

   • 기하학: 큐비트는 카고메 격자의 정점에 위치한다.
   • 연산자: 해밀토니안은 3-스핀 삼각형 플래키트 연산자를 포함한다. 체크 연산자는 가중치-3 파울리 $X$ 및 $Z$ 연산자이다.
   • 매개변수: $L \times L$ 격자에 대해, 이 코드는 2개의 논리 큐비트를 인코딩하며 코드 거리는 $L$이다. $3L^2$개의 물리 비트 사용하며, 결과적으로 $[3L^2, 2, L]$ 코드가 된다.
   • 비교: 정사각형 격자 버전보다 더 많은 물리 큐비트를 필요로 하지만, 이 코드는 더 낮은 가중치(가중치-3)의 체크 연산자를 사용하여 특정 하드웨어 제약 조건에 유리할 수 있다.

오류 수정 메커니즘
저자들은 두 격자에 대한 오류 탐지 및 수정 절차를 상세히 설명한다:

• 신드롬 추출: 비국소적 안정기는 국소 체크 연산자를 순차적으로 측정함으로써 추출된다. 체크 연산자들이 서로 반교환할 수 있기 때문에, 특정 순서(예: 모든 $X$ 체크를 먼저 측정한 후 모든 $Z$ 체크 측정)로 측정되어야 한다.
• 단일 큐비트 오류: 오류는 서로 다른 안정기 집합의 신드롬 신호가 교차하는 지점으로 국소화된다. 게이지 큐비트의 존재로 인해 여러 수정 경로가 가능해진다. 즉, 어떤 수정은 논리 상태를 불변하게 유지하면서 게이지 서브시스템에 비자명하게 작용하는 연산자를 적용하는 것을 포함할 수 있다.
• 스트링 오류: 스트링 형태의 오류는 최소 가중치 완벽 매칭(Minimum Weight Perfect Matching, MWPM) 디코더를 사용하여 수정된다. 코드 거리는 격자 크기 $L$에 의해 제한되며, $L/2$보다 긴 오류 스트링은 논리 연산자로 오인될 수 있다.

의의 및 주장
본 논문은 ac-$Z_2$ QSL 해밀토니안이 새로운 범주의 위상적 서브시스템 코드를 생성하기 위한 자연스러운 템플릿을 제공한다고 주장한다. 그 의의는 다음 두 개념의 통합에 있다:

1. 위상적 질서: 논리 큐비트의 수는 격자의 전역 위상(예: 주기적 경계 조건)에 의해 결정되며, 국소 노이즈에 대한 위상적 코드의 결함 허용성을 상속받는다.
2. 서브시스템 유연성: 이 코드들은 체크 연산자 측정에 의해 "방해받지 않는" 광범한 수의 국소 게이지 큐비트를 가진다. 이는 (위상적이지 않은) 베이컨-쇼어 코드와 같은 표준 서브시스템 코드에는 없는 특징이며, 단순화된 오류 수정과 잠재적으로 더 높은 인코딩률을 가능하게 한다.

저자들은 이 프레임워크가 다양한 하드웨어 연결성(예: IBM의 heavy-hex 레이아웃 또는 Google의 정사각형 격자)에 맞게 코드 구축을 할 수 있도록 기하학적 유연성을 제공한다고 강조한다. 저자들은 이 코드들이 가중치-2 구축(삼가법 격자 상의)과는 달리 가중치-3 또는 가중치-4 체크 연산자를 요구하지만, 큐비트 효율성과 위상적 견고함 측면에서 뚜렷한 이점을 제공한다고 명시적으로 밝힌다. 논문은 이러한 ACC 코드들의 성능 임계값(thresholds)과 구체적인 흥분 특성(excitation properties)은 향후 연구를 위한 미해결 과제로 남아있음을 언급하며 마무리된다.