기술 요약: 고전적 어닐링을 통한 양자 코드 추출

문제 정의

양자 오류 정정(QEC)은 대규모 결함 허용(fault-tolerant, FT) 양자 컴퓨팅을 위해 필수적이다. 그러나 알려진 코드 패밀리들은 과도한 자원 오버헤드를 부과하는 경우가 많다. 위상 코드(topological codes, 예: 표면 코드)는 브라비-풀린-테할(Bravyi-Poulin-Terhal) 경계에 의해 제약을 받아 인코딩 비율이 제한된다. 양자 저밀도 패리티 검사(qLDPC) 코드는 유리한 점근적 파라미터를 제공하지만, 장거리 상호작용과 복잡한 디코딩을 요구하므로 현재의 근접 미래(near-term) 하드웨어에 구현하기 어렵다. 코드 연결(code concatenation)은 일정한 시공간 오버헤드를 제공하는 경로를 제시하지만, 이는 높은 인코딩 비율과 큰 거리를 가진 고품질의 "시드(seed)" 코드에 의존한다.

이러한 코드를 찾기 위한 무차별 대입 탐색(brute-force search)은 일반적으로 다루기 불가능하다. 왜냐하면 스태빌라이저 코드의 공간은 블록 길이 $n$에 따라 지수적으로 증가하며, 코드 거리(code distance)를 계산하는 것은 NP-hard 문제이기 때문이다. 따라서 $n \le 50$ 정도의 중간 규모 양자 스태빌라이저 코드를 발견하면서, 장거리 상호작용을 지원할 수 있는 아키텍처(예: 트랩 이온 또는 중성 원자)를 위해 이론적 경계를 충족하거나 초과하는 높은 인코딩 비율($k/n$) 및 거리($d$)를 달성하는 효율적인 수치적 방법론이 필요하다.

방법론

저자들은 두 가지 특정 클래스 내에서 최적의 양자 코드를 탐색하기 위한 적응형 시뮬레이티드 어닐링(adaptive simulated annealing) 알고리즘을 소개한다:

1. CSS 코드: 칼더바크-쇼어-스타인(Calderbank-Shor-Steane) 코드로, 상대적으로 단순한 FT 상태 준비 및 디코딩을 가능하게 한다.
2. SWEL 코드: "동등한 논리 연산자를 가진 자기 쌍대(Self-Dual with Equivalent Logicals)"로 명명된 CSS 코드의 하위 클래스이다. 이 코드들은 특정 대칭 조건($H_X = H_Z$ 및 논리 연산자 $L_X = L_Z$)을 만족하여, 논리적 해밀토니안($H^{\otimes k}$) 및 페이즈($S^{\otimes k}$) 게이트의 가로형(transversal) 구현을 보장하며, 이를 통해 FT 게이트 세트 구축을 용이하게 한다.

탐색 공간 및 이동(Moves)

• 초기화: 단순한 코드에서 시작하는 대신, 알고리즘은 사소한(trivial) CSS 보존 또는 SWEL 보존 게이트를 사소한 코드에 적용함으로써 "웜 스타트(warm start)"를 수행한다.
  • CSS 코드의 경우, 탐색 공간은 일반 선형 군 $GL(n, \mathbb{F}_2)$를 통해 샘플링된다.
  • SWEL 코드의 경우, 탐색 공간은 직교 군 $O(n, \mathbb{F}_2)$를 통해 샘플링된다.
• 제안 분포 (이동):
  • CSS: 이동은 큐비트 쌍 사이에 무작위 CNOT 게이트를 적용함으로써 생성된다. 정리 1은 CNOT 게이트가 동일한 랭크 파라미터를 가진 임의의 CSS 코드를 다른 CSS 코드로 변환할 수 있음을 확립한다.
  • SWEL: 이동은 네 개의 큐비트에 작용하는 "기초적인 SWEL 보존 게이트"를 적용함으로써 생성된다. 정리 5는 이러한 게이트들이 치환(permutation)과 결합될 때 전체 SWEL 코드 공간을 순회할 수 있음을 증명한다.

에너지 함수

에너지가 국소적 변화에도 불구하고 코드 거리가 일정하게 유지되는 "배리언 플래토(barren plateaux)" 현상을 피하기 위해, 저자들은 코드 용량 노이즈 모델에서의 논리적 오류율을 대리하는 에너지 함수 $E(C)$를 정의한다.
$$E(C) = \frac{\log m}{\log(1/p)} - d$$
여기서 $d$는 코드 거리이고, $m$은 최소 가중치의 비자명한 논리 연산자 수이며, $p$는 물리적 오류율(설정값 $10^{-3}$)이다. 이 함수는 더 높은 거리(낮은 에너지)를 가진 코드를 선호하며, 결정적으로 동일한 거리의 코드들 사이에서 발생하는 동점(tie)을 최소 가중치 논리 연산자의 개수($m$)를 기준으로 해결한다.

적응형 어닐링

알고리즘은 시스템이 플래토나 퇴화된 국소 최솟값에 고착되는 것을 방지하기 위해 적응형 온도 스케줄을 채택한다. 온도는 관찰된 이동의 에너지 차이에 따라 각 에포크(epoch)마다 조정되며, 특정 상승 수락률(uphill acceptance rate)을 목표로 한다. 또한 온도 변동을 완화하기 위해 메모리 계수(memory factor)가 사용된다.

후처리

어닐링을 통해 코드를 찾은 후, 스태빌라이저 생성원의 가중치를 줄이기 위해 탐욕적(greedy) 알고리즘이 적용된다. 이 단계는 코드의 거리나 논리 연산자를 변경하지 않으면서 신드롬 측정의 복잡성을 최소화한다.

주요 기여

1. 알고리즘 프레임워크: 군론적 성질을 활용하여 CSS 및 SWEL 양자 코드 탐색에 특화된 적응형 시뮬레이티드 어닐링 알고리즘 개발. 이를 통해 탐색 공간이 완전히 커버되도록 보장한다.
2. SWEL 특성화: SWEL 코드를 정의하고, SWEL 보존 게이트 집합(이와 동형인 $O(n, \mathbb{F}_2)$)이 사소한 시드로부터 모든 SWEL 코드를 생성하기에 충분함을 증명하는 엄격한 이론적 프레임워크(정리 3 및 4)를 제공한다.
3. 에너지 대리물: 코드 거리와 최소 가중치 논리 연산자 수를 결합한 에너지 함수를 공식화하여, 단순한 거리 최적화가 겪는 이산적 플래토 문제를 효과적으로 해결한다.
4. 최첨단 코드 발견: 블록 길이 $n \le 50$ 범위에서 qecdb.org에 인덱싱된 기존 코드들을 능가하는 다수의 새로운 코드를 식별하였다.

결과

저자들은 $[n, k, d]$ 파라미터($n \le 50, k \ge 4$)를 가진 발견된 코드들의 종합적인 표(부록 F)를 제시한다.

• 성능: 발견된 많은 CSS 및 SWEL 코드는 양자 길버트-바레샴(QGV) 경계($d_{QGV}$) 및 CSS 전용 길버트-바레샴 경계($d_{CSS}$)를 충족하거나 초과하는 거리를 달성한다.
• 비교: 결과는 qecdb.org의 최상위 코드들과 비교된다. 많은 경우, 새로운 코드들은 동일한 $n$과 $k$에 대해 더 높은 거리를 제공하거나, 동일한 $n$과 $d$에 대해 더 높은 $k$를 제공한다.
• 논리적 오류율: 중요도 샘플링(importance sampling)을 이용한 몬테카를로 시뮬레이션을 사용하여 이 코드들의 논리적 오류율을 추정한다. 결과는 에너지 함수가 특히 $d > 4$인 경우 낮은 논리적 오류율을 가진 코드를 성공적으로 식별했음을 검증한다.
• SWEL 상세 사항: 발견된 SWEL 코드는 가로형 논리 클리포드(Clifford) 게이트를 위한 필요한 구조를 갖추고 있다. 예를 들어, $[20, 6, 4]$ SWEL 코드는 최소 2,304개의 SWAP-가로형 논리 클리포드 게이트를 보유하고 있음이 밝혀졌다.

의의 및 주장

본 논문은 수치적으로 최적화된 이러한 코드들이 코드 연결 기반의 결함 허용 아키텍처를 위한 유리한 시드 코드 역할을 한다고 주장한다. 중간 크기의 블록 길이에 대해 높은 비율과 높은 거리를 가진 코드를 제공함으로써, 더 큰 규모의 논리 큐비트를 구축하기 위한 오버헤드를 줄일 수 있다.

또한, 저자들은 이 코드들이 근접 미래 하드웨어 시연에 대한 잠재력을 가지고 있음을 강조한다. 특히 장거리 상호작용을 지원하는 트랩 이온 및 중성 원자 플랫폼이 이러한 코드를 구현하기에 적합하다고 언급한다. SWEL 코드는 클리포드 연산을 위한 복잡한 매직 상태 증류(magic state distillation) 없이도 가로형 게이트 세트를 구축할 수 있다는 점에서 특히 중요하다.

저자들은 거리 계산의 지수적 실행 시간으로 인해 탐색이 $n \le 50$으로 제한된다는 점을 언급하며, 이 알고리즘의 즉각적인 확장성에 대해 겸허한 입장을 유지한다. 이들은 향-미래 연구로서 에너지 함수 평가의 병렬화, 어닐링 스케줄 개선, 또는 더 큰 블록 길이를 향한 탐색 확장을 위한 머신 러닝 기법 도입 등을 제안한다. 또한, 이러한 시드(예: $[8, 6, 2]$ 아이스버그 코드와 $[38, 12, 6]$ 코드의 결합)를 이용한 코드 연결이 상업적 규모의 양자 컴퓨팅을 위한 실용적인 아키텍처를 산출할 수 있다고 제안한다.