Bacon-Shor Board Games

기술 요약: Bacon-Shor 보드 게임

문제 정의

Bacon-Shor 코드는 인접한 $XX$및$ZZ$ 체크 연산자를 갖는 정사각형 격자 위에 정의된 전형적인 양자 오류 수정 서브시스템 코드이다. 이 코드는 저중량(low-weight), 기하학적 국소 측정과 같은 매력적인 실험적 특징을 제공하지만, 역사적으로 결함 허용 임계값(fault-tolerance threshold)이 존재하지 않았다.

근본적인 문제는 표준 측정 스케줄(모든 $X$ 유형 체크를 측정한 후 모든 $Z$ 유형 체크를 측정하는 주기-2 사이클)에서 발생한다. 이 체제에서 안정기(stabilizers)—행 또는 열 전체에 걸쳐 있는 체크들의 곱인—의 중량은 격자 차원 $d$에 따라 선형적으로 스케일링된다($O(d)$). 결과적으로 검출기(detector, 여러 라운드에 걸친 안정기 측정의 곱) 또한 $O(d)$로 스케일링된다. 격자 크기가 커짐에 따라 오류가 있는 검출기 측정의 확률이 증가하며, 결국 논리적 오류율이 물리적 오류율을 초과하게 된다. 이는 코드의 임계값 존재를 방해하며, 이는 확장 가능한 결함 허용 양자 계산의 전제 조건이다.

이를 해결하기 위한 이전의 시도들은 코드 결합(concatenation)이나 격자 수술(lattice surgery, 예: [135])을 포함했으나, 이러한 접근 방식들은 복잡한 연결성을 요구하거나 검출기 중량 및 측정 주기가 여전히 $d$에 따라 스케일링되는 결과를 초래했다. 본 연구에서 다루는 핵심 질문은, 결합 없이도 Bacon-Shor 코드의 검출기 중량을 $O(1)$로 줄이면서 일정한 측정 주기를 유지할 수 있는 측정 스케줄이 존재하는가 하는 점이다.

방법론

저자들은 문제를 정사각형 격자 상의 "색칠 게임(coloring game)"으로 프레이밍함으로써 측정 스케줄을 결정하는 새로운 접근 방식을 제안한다.

보드 게임 정식화

격자는 각 플라켓(plaquette)이 게이지 큐비트에 대응하는 보드로 취급된다. 게임은 각 플라켓이 빨간색(게이지 큐비트의 $X$ 연산자를 고정) 또는 파란색(게이지 큐비트의 $Z$ 연산자를 고정)으로 칠해지는 일련의 색칠(상태)을 포함한다.

• 허용된 움직임: 색칠 $C_{j+1}$은 $C_j$의 빨간색(또는 파란색) 박스가 동일한 열(또는 행) 내에서 수직(또는 수평) 스트립으로 확장될 수 있을 때 $C_j$를 따른다. 이 확장은 게이지 고정(gauge fixing)을 전파하기 위해 중간 체크 연산자($XX$또는$ZZ$)를 측정하는 것에 해당한다.
• 목표: 다음을 만족하는 주기 $R$을 가진 색칠의 주기적 시퀀스를 찾는 것이다:
  1. 모든 열과 행이 사이클 중 적어도 한 단계에서는 완전히 한 가지 색(모두 빨간색 또는 모두 파란색)이어야 한다. 이는 전체 Bacon-Shor 안정기가 사이클당 적어도 한 번은 측정됨을 보장한다.
  2. 모든 열과 행은 매 단계마다 반대 색상의 박스를 적어도 하나 포함해야 한다. 이는 모든 순시 안정기 그룹(instantaneous stabilizer group, ISG) 내에 더 작은 중량의 안정기가 존재함을 보장한다.
  3. 격자 크기 $d$와 주기 $R$을 최소화한다.

이론적 구성

저자들은 작은 $d \times d$ 격자에서의 게임 해법이 쌓기(stacking, 정리 3)를 통해 임의의 큰 격자로 일반화될 수 있음을 입증한다.

• 동적 검출기(Dynamical Detectors): 표준 안정기 코드의 검출기가 동일한 연산자의 단순 반복 측정인 것과 달리, 제안된 스케줄은 "동적 검출기"를 생성한다. 이들은 현재 라운드의 측정값과 교환 가능하며(commute), 오류가 없는 경우 $+1$을 평가하는 여러 라운드에 걸친 서로 다른 연산자들의 측정 곱이다.
• 중량 감소: 모든 ISG 내에 게이지가 고정된 연산자(및 전체 안정기에 대한 그 보수)가 존재하도록 함으로써, 저자들은 격자 크기에 따라 증가하지 않는 중량을 가진 검출기를 구성한다.

주요 기여

1. 주기-4 측정 스케줄: 저자들은 상수 중량의 검출기로 시공간을 완전히 덮는 Bacon-Shor 코드를 위한 특정 주기-4 측정 스케줄을 식별하였다.
2. 상수 중량 검출기: 제안된 스케줄은 검출기 중량을 $O(d)$에서 상수(일반화된 솔루션에 대해 수치적으로 $\le 20$으로 관찰됨)로 줄인다.
3. 임계값 발견: 수치 시뮬레이션을 통해, 저자들은 이 수정된 스케줄이 Bacon-Shor 코드에 결함 허용 임계값을 부여함을 입증하였다. 이는 수정되지 않은 코드에는 없던 특성이다.
4. 게임 이론적 해법: 본 논문은 저중량 검출기 시퀀스를 찾기 위한 구성적 방법을 제공하는, 최적의 측정 스케줄을 해결하기 위한 새로운 "보드 게임" 프레임워크를 도입하였다.

수치 결과

수정된 코드의 성능은 균일한 회로 수준 노이즈 모델을 사용한 몬테카를로 시뮬레이션으로 평가되었다.

• 임계값 추정: 최소 중량 완벽 매칭 디코더(PyMatching)를 사용하여, 저자들은 약 0.3%($p_{th} \approx 3 \times 10^{-3}$)의 임계값을 관찰하였다.
• 오류 억제: 논리적 오류율은 격자 크기 $d$가 증가함에 따라($d=5$에서 $d=35$까지) 지수적으로 감소하며, 이는 임계값의 존재를 확인시켜 준다.
• 비교: 수정된 코드는 [135]에서 설명된 자기 결합(self-concatenation) 접근 방식보다 2개 차수(two orders of magnitude) 낮은 논리적 오류율을 달s한다.
• 디코더 제한: 저자들은 PyMatching이 잘 작동했지만, 검출기들이 단순 쌍 관계 에지(pairwise edges)가 아닌 하이퍼에지(hyperedges)를 형성한다고 언급하였다. 그들은 맞춤형 하이퍼그래프 기반 디코더가 임계값을 더욱 향상시킬 수 있다고 추측한다.

의의 및 주장

본 논문은 $O(d)$ 중량의 안정기 때문에 임계값이 없는 것으로 간-주되었던 Bacon-Shor 코드가 측정 스케줄의 미세한 조정을 통해 결함 허용이 될 수 있다고 주장한다.

• 임계값 경쟁력: 관찰된 ~0.3%의 임계값은 표면 코드(surface code)와 경쟁할 만한 수준이며, 현재 하드웨어 플랫폼에서 달성 가능한 노이즈율 범위 내에 있다.
• 서브시스템 구조: 이 연구는 측정 스케줄의 동적인 측면이 서브시스템 코드에서 흔히 간과되는 중요한 자유도임을 강조한다. 이는 동일한 체크 연산 세트가 측정의 시간적 순서에 따라 판이하게 다른 오류 수정 특성을 낼 수 있음을 보여준다.
• 결합 불필요: 이전의 솔루션들과 달리, 이 방법은 코드 결합 없이 코드 자체의 서브시스템 구조와 상수 주기 스케줄에 의존하여 임계값을 달성한다.
• 향 향후 방향: 저자들은 자신들의 솔루션이 반드시 최적은 아님을 겸허히 제안한다. 그들은 특정 "보드 게임" 움직임(게이지 고정 전략)을 넘어선 다른 전략과 더 정교한 디코더가 잠재적으로 더 높은 임계값을 낼 수 있다고 언급한다. 그들은 시간적 측면과 대수적 측면을 통합하는 더 넓은 이론적 프레임워크의 필요성을 강조한다.