대각선 스케줄링으로 후크 오류 제거와 서피스 코드 거리 보존

초록

회전된 서피스 코드에서 보조 큐비트의 중간 오류(후크 오류)가 논리 연산 방향과 일치하면 코드 거리가 절반으로 감소한다. 기존의 N‑형·Z‑형 스케줄은 경계 형태에 따라 플라quette마다 스케줄을 달리해야 하며 7단계 주기가 필요했다. 저자들은 모든 X‑플라quette와 Z‑플라quette에 각각 동일한 대각선 게이트 순서를 적용하는 “대각선 스케줄”을 제안한다. 대각선 방향의 후크 오류는 어떤 경계와도 일치하지 않으므로 논리 거리 손실이 없고, 병렬 측정·리셋이 가능한 하드웨어에서는 6단계 주기로 기존보다 짧은 사이클을 구현한다. 메모리 실험, 공간 접합, 공간 Hadamard, 패치 회전 등 다양한 격자 수술 시나리오에서 논리 오류율이 기존과 동등하거나 개선됨을 시뮬레이션으로 입증한다.

상세 분석

이 논문은 회전된 서피스 코드(Rotated Surface Code)에서 가장 치명적인 오류 메커니즘 중 하나인 “후크 오류”(hook error)를 근본적으로 억제하는 새로운 스케줄링 방식을 제시한다. 후크 오류는 보조(qubit) 큐비트가 측정 회로 중간에 오류가 발생하고, 남은 두‑큐비트 게이트를 통해 두 개의 데이터 큐비트에 상관된 오류가 전파되는 현상이다. 기존에는 N‑형(수직 후크)과 Z‑형(수평 후크) 두 가지 게이트 순서를 플라quette마다 선택해 논리 연산자와 수직이 되도록 배치했지만, 이는 경계가 복잡하게 얽힌 격자 수술(lattice surgery) 상황에서 플라quette마다 다른 스케줄을 지정해야 하는 설계 복잡성을 초래한다. 또한 인접 플라quette 간 게이트 충돌을 피하기 위해 최소 7단계 주기가 필요했다.

대각선 스케줄은 네 개의 두‑큐비트 게이트를 “대각선 순서”로 배치한다. 즉, 첫 두 게이트가 플라quette의 한 대각선 쌍을, 마지막 두 게이트가 반대 대각선 쌍을 연결한다. 이때 발생하는 후크 오류는 플라quette 대각선 방향으로 두 데이터 큐비트에 퍼지며, 논리 연산자는 항상 경계 사이의 수평·수직 경로에 존재한다. 따라서 대각선 방향 오류는 어떠한 논리 연산자 경로와도 겹치지 않아 코드 거리 감소를 일으키지 않는다. 이 특성은 경계의 배치와 무관하게 전역적으로 동일한 스케줄을 적용할 수 있게 하며, X‑플라quette와 Z‑플라quette에 각각 하나씩만 정의하면 된다.

스케줄의 유효성을 보장하기 위해 저자들은 기존의 “짝수 개 공유 데이터 큐비트 먼저 결합” 제약을 만족하도록 설계했으며, 이는 인접 X·Z 스테빌라이저가 두 개의 공유 데이터 큐비트를 동일한 순서로 결합하도록 함을 의미한다. 대각선 스케줄은 이 제약을 자연스럽게 만족한다. 하드웨어 측면에서는 측정·리셋을 게이트와 병렬로 수행할 수 있는 경우, 대각선 스케줄이 6단계(시간 단계) 주기로 동작한다. 반면 N/Z 스케줄은 7단계가 최소이며, 경계가 복잡한 경우 9단계까지 늘어날 수 있다. 표 I은 이러한 트레이드오프를 정리한다.

시뮬레이션은 균일 디포라라이징 모델을 사용해 다양한 거리 d=2k+1(예: d=5,7,9)에서 논리 오류율을 측정했다. 메모리 실험에서는 전통적인 N/Z 스케줄과 대각선 스케줄이 거의 동일한 논리 오류율을 보였으며, 대각선 스케줄은 주기 6으로 동일한 성능을 유지했다. 더 복잡한 격자 수술 상황—L‑형 및 X‑형 공간 접합, 공간 Hadamard, 패치 회전—에서도 대각선 스케줄은 설계 복잡성을 크게 낮추면서 논리 거리 손실 없이 동일하거나 약간 개선된 오류율을 달성했다. 특히 공간 Hadamard에서는 플래그 측정을 추가해 후크 오류를 탐지했으며, 대각선 스케줄이 제공하는 짧은 사이클 덕분에 전체 회로 깊이가 크게 늘어나지 않았다.

또한 저자들은 대각선 후크 오류가 네 개의 인접 스테빌라이저에 영향을 미쳐 “비매칭” 오류 패턴을 만든다는 점을 지적한다. 이를 해결하기 위해 매칭 디코더는 이러한 2‑큐비트 오류를 두 개의 단일 큐비트 오류로 분해해 처리한다. 이 분해는 디코더의 거리 보존 능력에 영향을 주지 않는다. 코드 구현은 TQEC 라이브러리와 Stim 시뮬레이터, PyMatching 및 Tesseract 디코더를 사용했으며, 모든 회로와 파이썬 코드는 공개 저장소에 제공된다.

결론적으로, 대각선 스케줄은 (1) 후크 오류가 논리 연산과 정렬되지 않아 거리 손실을 방지, (2) 전역적으로 동일한 스케줄만 정의하면 되므로 설계 복잡도 감소, (3) 병렬 측정·리셋이 가능한 현대 양자 하드웨어에서 최소 주기 6을 달성해 실행 시간 단축, (4) 다양한 격자 수술 프로토콜에 적용 가능하면서 논리 오류율을 유지 또는 개선한다는 장점을 제공한다. 이는 근거리 양자 컴퓨팅(NISQ) 단계에서 코드 거리 확보와 회로 최적화가 동시에 요구되는 상황에 매우 실용적인 솔루션이라 할 수 있다.