Transversal syndrome extraction: A unifying construction for measuring the error syndromes of any stabilizer code

기술 요약: 일반 안정기 코드(General Stabilizer Codes)를 위한 가로형 신드롬 추출(Transversal Syndrome Extraction)

문제 정의
결함 허용 신드롬 추출(Fault-tolerant syndrome extraction)은 안정기 코드(stabilizer codes)에 기반한 양자 오류 정정(QEC)의 핵심 구성 요소이다. 기존의 일반적인 신드롬 추출 프로토콜들은 근본적인 자원 트레이드오프(trade-off) 문제에 직면해 있다: 이들은 일반적으로 회로 깊이(circuit depth) 또는 회로 폭(circuit width, 보조 큐비트 수) 중 하나에서 상당한 비용을 발생시킨다.

• Shor 신드롬 추출은 보조 폭을 최소화하지만, 안정기를 개별적으로 측정해야 하므로 깊은 회로를 요구한다.
• Steane (및 Knill) 신드롬 추출은 안정기를 동시에 측정함으로써 회로 깊이를 최소화하지만, 큰 보조 폭(일반적으로 $n$-큐비트 코드의 경우 $2n$ 큐비트)을 필요로 한다.
• CSS 코드에 대해서는 구성 가능한 구조가 존재하여 깊이와 폭 사이의 트레이드오프를 허용하지만, 임의의 안정기 코드(5-큐비트 코드와 같은 비-CSS 코드 포함)를 위한 일반적이고 구성 가능한 프레임워크는 존재하지 않았다.

방법론
본 논문은 모든 안정기 코드에 적용 가능한 결함 허용 신드롬 추출을 위한 통합된 구성을 제안한다. 핵심 방법론은 가로형 회로(Figure 2b)와 함께 사용될 특정 보조 안정기 상태(ancilla stabilizer states)를 설계하는 것이다. 절차는 다음과 같다:

1. 분할 및 생성자 선택: 코드의 안정기 생성자 $S$를 특정 라운드에서 측정할 안정기 집합인 $S_{(M)}$과 $S_{(L)}$로 분할한다. 새로운 코드의 생성 집합 $S_{(LM)} \cup S_{(LL)}$을 다음과 같은 특정 선형 대수적 제약 조건에 따라 구축한다:
   • $S_{(M)}$의 영 열(zero columns)은 $S_{(LM)}$의 영 열과 일치해야 한다.
   • $S_{(LL)}$의 행들은 결합된 집합의 다른 행들에 존재하지 않는 고유한 피벗 열(pivot columns)을 가져야 한다.
2. 보조 상태 구축: 일반화된 Steane 신드롬 추출 프레임워크를 기반으로 보조 상태의 패리티 검사 행렬(parity-check matrix)을 도출한다. 이 행렬은 다음과 같이 수정된다:
   • $S_{(LL)}$에 해당하는 특정 행들을 제거한다.
   • $S_{(M)}$의 영 열을 식별하고, 대응하는 열을 보조 패리티 검사 행렬의 영 열로 설정한다.
   • 이 영 열들에 대해 단일 큐비트 $Z$ 안정기를 부가한다.
   • 수정된 그룹에 의해 안정화되는 보조 상태를 준비한다.
3. 회로 실행: 가로형 회로(데이터와 보조 큐비트 사이의 제어-파울리 게이트)를 적용한다. 단일 큐비트 Pauli-$Z$에 의해 안정화된 보조 큐비트들은 회로에서 제거된다.
4. 신드롬 계산: 보조 큐비트로부터의 측정 결과를 modulo 2로 처리하여 $S_{(M)}$에 대한 신드로미 비트들을 추출한다.

본 논문은 필요한 생성자 형태를 달성하기 위한 알고리즘(Appendix A)을 제공하며, 안정기 전파 형식(stabilizer propagation formalism, Section 2.2 및 Appendix C–D)을 사용하여 절차의 유효성을 증명한다.

주요 기여

• 일반성(Generalizability): 이 구성은 CSS 코드뿐만 아니라 모든 안정기 코드에 적용된다. 이는 높은 인코딩율과 같은 바람직한 특성을 가진 코드들에 대해서도 자원 최적화 옵션을 확장한다.
• 구성 가능한 트레이드오프(Configurable Trade-off): 이 방법은 Shor 추출과 Steane 추출 사이를 보간(interpolate)하는 신드롬 추출 가젯(gadget) 패밀리를 생성한다. 안정기의 분할(특히 집합 $S_{(M)}$의 크기)을 조정함으로써, 회로 깊이(상호작용 레이어)와 피크 보조 폭(peak ancilla width) 사이를 조절할 수 있다.
• 통합(Unification): 본 스킴은 $S_{(M)}$의 크기를 1로 설정하여 특정 보조 제약을 가할 때 Shor 추출의 캣 상태(cat-state) 보조 및 회로 구조를 복구하며, 전체 집합을 동시에 측정할 때 Steane/Knill 추출을 복구함으로써, 이들을 단일 가로형 프레임워크 아래 하나로 통합한다.
• 결함 허용성(Fault Tolerance): 본 논문은 제안된 회로가 결함 허용적임을 입증한다. 데이터-보조 상호작용가 가로형(transversal)이기 때문에, 단일 결함은 데이터에 최대 하나의 오류만을 도입한다. 이 스킴은 Shor의 방식과 유사하게 신드롬이 오진되지 않도록 보장하기 위해 중복된 신드롬 측정(과정 반복)에 의존한다.

결과

• 자원 분석: Table 1과 Figure 3은 오버헤드를 요약한다. 저자는 다양한 코드(예: $[[8,2,3]]$, $[[70,42,7]]$)에 대해 제안된 방법이 중간 단계의 자원 비용을 달eric 수 있음을 보여준다. 예를 들어, $[[8,2,3]]$ 코드의 경우, 제안된 방법은 깊이 4와 피크 보조 폭 12로 완전한 신드롬을 측정할 수 있는 반면, Shor의 방법은 깊이 6(폭 6)이 필요하고 Steane의 방법은 깊이 2(폭 16)가 필요하다.
• 성능: 소규모 코드에 대한 시뮬레이션(Figure 4 및 6)은 제안된 스킴의 논리적 실패율이 Shor 및 Steane 추출의 실패율 사이에 위치함을 나타낸다. 이는 제안된 회로의 잠재적 결함 위치(게이트 및 보조 큐비트)의 수가 중간 정도라는 것과 일치한다.
• 기존 스킴의 복구: 본 논문은 특정 파라미터(예: $|S_{(M)}|=1$)를 설정하면 Shor 추출의 캣 상태 보조 및 회로 구조가 복구됨을 수학적으로 증명한다.

의의 및 주장
본 논문은 결함 허용 양자 컴퓨팅을 위한 자원 최적화 지평을 넓히는 "구성 가능한 구조"를 제공한다고 주장한다. 그 의의는 Shor의 깊이가 너무 높거나 Steane의 폭이 너무 큰 자원 제약이 엄격한 플랫폼들을 위한 중간 지대를 제공한다는 데 있다.

저자는 해당 스킴의 즉각적인 최적성에 대해 겸허한 태도를 보인다. 저자는 다음을 인정한다:

• 이 방법이 가능한 모든 가로형 보조 상태의 공간을 반드시 포화하는 것은 아니다.
• 중복 신드롬 측정에 대한 상한선($R_1(t) \le (t+1)^2$)은 거친(crude) 경계이며, 실제 필요한 반복 횟수는 더 적을 수 있고, 잠재적으로 Steane 추출의 동시성 이점을 일부 물려받을 수 있다.
• "결합 가중치(combined weight)" $W$와 집합 $M$의 수를 최소화하기 위해 보조 안정기를 덮는(covering) 방법을 최적화하는 후속 연구가 필요하다.

본 논문은 이 프레임워크가 모든 안정기 코드에 대해 깊이와 폭 사이의 트레드오프를 가능하게 하며, 잠재적으로 결함 허용 신드롬 추출을 근미래 양자 플랫폼의 자원 한계 내로 가져올 수 있다고 결론짓는다.