Fault-tolerant execution of error-corrected quantum algorithms

이 논문은 Quantinuum H2 및 Helios 트랩드 이온 프로세서를 사용하여 $[[7,1,3]]$ 스티언 코드로 QAOA 및 HHL 알고리즘을 완전히 결함 허용 (FT) 방식으로 실행하여, 물리적 회로 복잡도가 증가함에도 불구하고 무부호화 회로와 유사하거나 그 이상의 성능을 달성하고 확장 가능한 양자 컴퓨팅의 핵심 역량을 입증했습니다.

핵심

이 논문은 **"양자 컴퓨터가 실수 없이 복잡한 문제를 풀 수 있는가?"**라는 질문에 대한 놀라운 답변을 담고 있습니다. 마치 비틀거리며 걷는 아기가 이제 제대로 걸음을 떼기 시작했다는 이야기와 같습니다.

간단히 말해, 연구팀은 양자 오류 수정 (Quantum Error Correction) 기술을 이용해, 소음과 오류가 가득한 현실의 양자 컴퓨터에서도 오류가 보정된 '논리적' 계산을 성공적으로 수행해냈습니다.

이 복잡한 내용을 일상적인 비유로 설명해 드리겠습니다.

---

1. 배경: 왜 이 연구가 중요한가요? (비행기와 폭풍우)

지금까지의 양자 컴퓨터는 마치 폭풍우 속에서 날아다니는 종이비행기와 같았습니다. 바람 (소음) 이 조금만 불어도 방향을 잃고 추락 (오류) 했습니다. 그래서 복잡한 문제를 풀려면 종이비행기를 여러 장 겹쳐서 튼튼하게 만들고, 바람을 막아주는 보호막 (오류 수정) 을 씌워야 했습니다.

하지만 이전까지 이 보호막을 씌우면 비행기 자체가 너무 무거워져서 (오버헤드) 제자리에서 멈추거나, 오히려 보호막을 안 씌운 일반 종이비행기보다 더 못 날아갔습니다.

이 논문은 **"이제 우리는 보호막을 씌운 비행기가, 보호막을 안 씌운 비행기보다 더 잘 날 수 있는 지점 (Break-even)"**에 거의 도달했다고 선언합니다.

2. 핵심 기술: 7 명의 경비원 (스틸 코드)

연구팀은 **'스틸 코드 (Steane code)'**라는 기술을 사용했습니다. 이를 비유하자면 다음과 같습니다.

• 논리적 큐비트 (진짜 정보): 한 명의 중요한 VIP(정보) 가 있습니다.
• 물리적 큐비트 (실제 하드웨어): VIP 를 지키기 위해 7 명의 경비원이 있습니다.
• 작동 원리: VIP 가 실수를 하거나, 경비원 중 한 명이 졸다가 실수를 해도, 나머지 6 명의 경비원이 서로 대화하며 "아, 저기서 실수가 있었네!"라고 찾아내어 VIP 의 원래 상태를 복구합니다.

이 논문은 이 7 명의 경비원 시스템을 실제로 작동시켜, 복잡한 계산 (QAOA, HHL 알고리즘) 을 수행했습니다.

3. 실험 결과: 두 가지 주요 성과

연구팀은 두 가지 다른 시나리오로 실험을 했습니다.

A. 최적화 문제 (QAOA): "미로 찾기"

• 상황: 아주 복잡한 미로에서 가장 짧은 길을 찾는 문제입니다.
• 결과: 경비원 시스템 (오류 수정) 을 적용했을 때, 미로가 더 깊어지고 (계산이 복잡해지고) 경비원들이 더 많은 일을 해야 해도, 정답을 찾는 확률이 오히려 높아졌습니다.
• 비유: 비가 오는 날 (소음이 있는 환경) 에 우산 (오류 수정) 을 쓰고 미로를 찾으면, 우산 없이 비를 맞으며 찾는 것보다 더 빨리 도착할 수 있다는 뜻입니다. 특히 12 명의 VIP(논리적 큐비트) 를 동시에 지키는 거대한 미로에서도, 무작위 추측보다 훨씬 좋은 결과를 냈습니다.

B. 방정식 풀이 (HHL): "수학 문제 풀기"

• 상황: 복잡한 수학 방정식을 푸는 문제입니다.
• 결과: 계산 중간에 **수정 작업 (QEC 사이클)**을 더 많이 넣을수록 정답의 정확도가 높아졌습니다.
• 비유: 요리할 때 중간중간 맛을 보고 (오류 감지), 싱거우면 소금을 더 넣는 (오류 수정) 과정을 반복하면, 결국 완벽한 요리를 만들 수 있다는 것입니다.

4. 놀라운 발견: "되돌아가기"의 힘 (RUS)

이 연구에서 가장 흥미로운 점은 '되돌아가기 (Repeat-Until-Success)' 전략입니다.

• 상황: 어떤 작업 (예: 마법 상태 준비) 이 실패하면, 처음부터 다시 시작하는 것입니다.
• 발견: 실패할 때마다 다시 시도할 수 있는 횟수 (한도) 를 늘려주니, 프로그램이 아예 멈추고 다시 시작해야 하는 (폐기되는) 경우가 거의 0% 가 되었습니다.
• 비유: 공을 골대에 넣는 게임에서, 실패하면 바로 다시 던질 수 있게 해준다면, 게임이 계속 이어져서 결국 골인할 확률이 매우 높아집니다. 이는 양자 컴퓨터가 대규모로 확장될 수 있는 핵심 열쇠입니다.

5. 결론: 이제 막 시작된 여정

이 논문은 **"완벽한 양자 컴퓨터"**를 만든 것이 아닙니다. 하지만 **"오류가 있는 하드웨어 위에서, 오류를 고쳐가며 복잡한 알고리즘을 실행할 수 있는 시스템"**을 실제로 증명했습니다.

• 지금까지: 오류 수정을 하면 계산이 느려지고 결과가 더 나빠지는 '손해'가 있었습니다.
• 이제부터: 오류 수정을 하면 계산이 더 정확해지고, 복잡한 문제를 풀 수 있는 '이득'이 생기는 전환점에 도달했습니다.

한 줄 요약:

"양자 컴퓨터가 이제 비틀거리던 아기를 넘어, 보호막 (오류 수정) 을 쓰고도 더 잘 달리는 청소년이 되었습니다. 앞으로는 이 기술을 더 발전시켜 실생활의 복잡한 문제 (신약 개발, 금융 최적화 등) 를 해결할 수 있을 것입니다."

이 연구는 JPMorgan Chase 와 Quantinuum 이 협력하여, 실제 양자 컴퓨터 (H2, Helios) 에서 이루어낸 획기적인 성과입니다.

기술 요약

이 논문은 양자 오류 정정 (QEC) 과 결함 허용 (Fault-Tolerant, FT) 기술을 사용하여 실제 양자 알고리즘을 종단 간 (end-to-end) 으로 실행한 최초의 사례 중 하나를 보고합니다. 연구팀은 JPMorgan Chase 와 Quantinuum 이 협력하여 트랩드 이온 (trapped-ion) 양자 프로세서 (Quantinuum H2 및 Helios) 를 활용하여 논리 큐비트 기반의 복잡한 알고리즘을 실행하고 벤치마크했습니다.

주요 내용은 다음과 같습니다.

1. 연구 배경 및 문제 제기

• 배경: 양자 컴퓨팅이 과학 및 산업의 고충격 문제를 해결하기 위해서는 양자 오류 정정 (QEC) 과 결함 허용이 필수적입니다. 최근 하드웨어 발전으로 논리 오류율이 물리 오류율보다 낮아지는 '브레이크 이븐 (break-even)' 지점을 넘어서는 메모리나 기본 연산 (primitive) 실험은 이루어졌으나, 복잡한 알고리즘 전체를 결함 허용 구성 요소만으로 실행하여 물리 연산보다 우수한 성능을 보이는 것은 여전히 달성되지 않았습니다.
• 문제: 기존 연구들은 주로 구성 요소 수준 (component-level) 에서만 검증되었거나, 오류 정정이 없는 상태, 비결함 허용 구성 요소를 사용하거나, 범용 게이트 세트가 아닌 경우에만 제한적으로 수행되었습니다. 전체적인 QEC 스택이 통합되어 실제 알고리즘을 실행하는 데는 여러 장애물이 존재합니다.

2. 방법론 (Methodology)

• 하드웨어 및 코드: Quantinuum 의 트랩드 이온 아키텍처 (H2-1, H2-2, Helios) 를 사용하며, 가장 작고 간단한 오류 정정 코드 중 하나인 **Steane 코드 [7, 1, 3]**를 적용했습니다.
• 결함 허용 구성 요소 (FT Gadgets):
  • T 게이트: 기존 비결함 허용 방식보다 정밀도가 높은 논리 T 게이트 구현을 개발했습니다. (Ramsey 시퀀스 기반 16 개 T 게이트 적용 시 충실도 0.960(6), 비충실도 약 $2.6(4) \times 10^{-3}$).
  • 상태 준비: 논리 $|H\rangle$ 상태 준비를 위한 개선된 'Repeat-until-success (RUS)' 프로토콜을 도입하여 회로 깊이를 줄이고 폐기율 (discard rate) 을 감소시켰습니다.
  • 오류 정정 (QEC): Steane-bare, Steane-swap, Flag-FT 등 다양한 QEC 사이클 전략을 비교 분석하여, Steane-swap 전략이 가장 우수한 성능을 보임을 확인했습니다.
• 알고리즘:
  • QAOA (Quantum Approximate Optimization Algorithm): 저자기 상관 이진 시퀀스 (LABS) 문제와 포트폴리오 최적화 문제를 해결하기 위해 적용했습니다.
  • HHL (Harrow-Hassidim-Lloyd) 알고리즘: 포아송 방정식 (Poisson equation) 과 같은 구조화된 toy 문제를 선형 시스템 문제 (QLSP) 로 변환하여 해결했습니다.
• 컴파일: 논리 회로를 Clifford+T 게이트 세트로 변환 (trasyn 컴파일러 사용) 하고, 물리 큐비트 매핑 및 동적 피드백 (measurement-dependent feedback) 을 지원하는 동적 회로를 구성했습니다.

3. 주요 결과 (Key Results)

• 성능 향상: QAOA 회로에서 QAOA 깊이 (layers) 를 늘리거나 T 게이트 수를 증가시켰음에도 불구하고, 물리 회로의 복잡도가 증가했음에도 성능이 개선되는 것을 관찰했습니다. 이는 더 정밀한 분해가 추가된 오류를 상쇄하고도 남음을 의미합니다.
• 브레이크 이븐 근접 성능: 최대 8 개의 논리 큐비트와 9 개의 논리 T 게이트를 사용하는 QAOA 회로에서, 인코딩된 (오류 정정된) 회로의 성능이 인코딩되지 않은 (물리) 회로와 비슷한 수준으로 나타났습니다.
• 대규모 실행: 최대 12 개의 논리 큐비트 (97 개의 물리 큐비트) 와 2,132 개의 물리 2-큐비트 게이트를 사용하는 포트폴리오 최적화 회로를 실행하여, 무작위 추측보다 더 나은 성능을 보였습니다.
• 동적 RUS 프로토콜의 효과: 상태 준비 서브루틴의 'Repeat-until-success (RUS)' 한도를 늘리면, 하드웨어 실행 중 프로그램이 중단되고 재시작되는 폐기율 (discard rate) 을 거의 0 으로 낮출 수 있었습니다. 이는 확장 가능한 결함 허용 양자 컴퓨팅의 핵심 능력임을 입증했습니다.
• QEC 사이클의 영향: HHL 알고리즘 실행에서 중간에 QEC 사이클을 추가하면 논리 회로의 충실도가 향상되었으나, 너무 많은 QEC 사이클은 오히려 성능을 저하시켰습니다. 이는 현재 Steane 코드가 알고리즘 수준에서 아직 완전한 브레이크 이븐 (물리보다 논리가 더 좋은) 지점에 도달하지는 않았음을 시사합니다.
• 소프트웨어/컴파일러의 중요성: HHL 벤치마크 분석을 통해, 하드웨어 오류뿐만 아니라 동적 프로그램 컴파일 아티팩트가 성능 병목 현상의 원인이 될 수 있음을 발견했습니다. 이는 구성 요소 수준의 벤치마크만으로는 시스템 전체의 동작을 파악하기 어렵고, 애플리케이션 수준의 벤치마크가 필수적임을 보여줍니다.

4. 기여 및 의의 (Significance)

• 초기 결함 허용 시대 (Early-Fault-Tolerant Era) 의 도래: 이 연구는 오류 정정이 된 논리 큐비트를 사용하여 복잡한 알고리즘을 실행하고, 물리 오류율보다 낮은 수준의 논리 오류를 달성하는 데 근접한 성능을 보인 최초의 사례 중 하나입니다.
• 전체 스택 통합 검증: QEC 코드, 게이트 구현, 상태 준비, 오류 정정 사이클, 동적 제어 흐름, 컴파일러 등 모든 구성 요소가 통합되어 실제 알고리즘을 실행할 수 있음을 입증했습니다.
• 확장성 증명: 동적 RUS 프로토콜을 통해 상태 준비 실패로 인한 프로그램 중단 없이 대규모 회로를 실행할 수 있음을 보여주어, 향후 대규모 양자 컴퓨팅의 확장 가능성을 제시했습니다.
• 향후 방향 제시: 구성 요소의 성능 향상뿐만 아니라, 동적 디커플링 (dynamical decoupling), 상관 오류 정정 (correlated decoding), 그리고 컴파일러 최적화 등 시스템 수준의 개선이 필요함을 강조했습니다.

요약하자면, 이 논문은 단순한 오류 정정 실험을 넘어, 실제 응용 알고리즘을 결함 허용 방식으로 실행하여 물리 연산과 경쟁할 수 있는 성능을 달성하는 단계에 도달했음을 보여주며, 양자 컴퓨팅이 '초기 결함 허용' 시대로 진입했음을 시사하는 중요한 이정표입니다.