MCMit: Mid-Circuit Measurement Error Mitigation

MCMit 는 저지연 분기 명령어, 고정확도 AI 기반 판별기, 그리고 소프트웨어 기법을 도입하여 분산 양자 컴퓨팅에서의 중간 회로 측정 오류를 완화하고 피드백 지연을 크게 줄이며 큐비트 상태 분류를 개선하고 논리 오류율을 낮추는 하드웨어-소프트웨어 공동 설계입니다.

핵심

당신은 친구 그룹과 고도의 stakes 가 걸린 "전화" 게임을 하려고 상상해 보세요. 하지만 함정이 하나 있습니다: 누군가 메시지를 속삭일 때마다, 심판에게 소리쳐야 하고, 심판이 적어줄 때까지 기다렸다가, 다음 사람에게 무엇을 해야 할지 심판이 알려줄 때까지 기다려야 합니다.

양자 컴퓨팅 세계에서는 이 게임을 **분산 양자 컴퓨팅 (DQC)**과 **양자 오류 정정 (QEC)**이라고 부릅니다. 여기서 "속삭임"은 양자 측정이며, "심판"은 컴퓨터의 제어 시스템입니다.

저자들이 설명하듯 문제는 심판이 너무 느리고 실수가 많다는 점입니다. 만약 심판이 속삭임을 잘못 듣거나 (오류), 적어내는 데 너무 오래 걸린다면 (지연), 게임 전체가 무너집니다. 다음 플레이어가 잘못된 행동을 할 수 있으며, 양자 상태가 매우 취약하기 때문에 그 실수는 전체 계산을 망쳐버립니다.

이 논문은 심판, 마이크, 규칙서를 동시에 업그레이드하여 이 문제를 해결하도록 설계된 새로운 시스템인 MCMit(Mid-Circuit Measurement Error Mitigation, 회로 중간 측정 오류 완화)을 소개합니다. 작동 원리는 세 가지 간단한 부분으로 나누어 설명됩니다:

1. 초고속 심판 (하드웨어)

문제: 현재 심판이 한 사람을 듣는다면 빠릅니다. 하지만 다음 행동을 결정하기 위해 32 명을 한 번에 들어야 한다면 시스템이 마비됩니다. 마치 32 대의 차를 한 대씩 지시하는 교통 경찰이 모든 차가 녹색 신호를 통해 흐르게 하는 대신 한 대씩 지시하는 것과 같습니다.
MCMit 해결책: 그들은 양자 컴퓨터를 위한 새로운 "신호등" 시스템을 구축했습니다. 각 차량을 개별적으로 확인하는 대신, 새로운 시스템은 32 대의 차량을 한 번에 살펴보고 즉시 결정을 내릴 수 있는 특수 명령을 갖추고 있습니다.

• 결과: 이로 인해 대기 시간 (지연) 이 최대 **70%**까지 단축됩니다. 이는 정지하고 출발하는 교통 체증을 매끄러운 고속도로로 바꾸는 것과 같아, 플레이어들이 기다리는 동안 지루해하며 (결어긋남) 사라지지 않고 양자 컴퓨터가 훨씬 더 깊고 복잡한 계산을 수행할 수 있게 합니다.

2. 초정밀 귀 (식별기)

문제: "속삭임"(양자 신호) 은 매우 희미하고 노이즈가 많습니다. 이를 명확히 듣기 위해 심판은 보통 오랫동안 들어야 합니다 (노래가 끝날 때까지 기다려 가사를 추측하는 것처럼). 하지만 기다리는 시간이 너무 길어지면 플레이어들은 지치고 신호는 약해집니다.
MCMit 해결책: 저자들은 심판에게 두 가지 새로운 유형의 "초정밀 귀"(신경망) 를 제공했습니다:

• Transformer: 이 귀는 신호가 매우 짧고 엉망일지라도 신호의 전체 이야기를 이해하는 데 탁월합니다. 노이즈의 서로 다른 부분들 사이의 연결점을 찾아냅니다.
• CNN(합성곱 신경망): 이 귀는 가볍고 빠른 작업자로, 신호의 패턴을 즉시 포착합니다.
• 결과: 이러한 새로운 귀들은 이전 방법들보다 훨씬 높은 정확도로 메시지를 아주 짧은 시간 (최소 250 나노초) 안에 이해할 수 있습니다. 이는 전체 후렴구를 기다리는 대신 처음 두 음만 듣고 노래 가사를 추측할 수 있는 것과 같습니다.

3. 똑똑한 규칙서 (소프트웨어)

문제: 빠른 심판과 예리한 귀가 있더라도 실수는 여전히 발생합니다. 때로는 심판이 "예스"를 "아니오"로 잘못 듣기도 합니다. 구식 시스템에서는 잘못된 지시와 함께 게임이 계속되어 재앙을 초래했습니다.
MCMit 해결책: 소프트웨어는 게임 시작 전에 대본을 살펴보는 똑똑한 편집자처럼 작동합니다.

• 대본 편집: 편집자가 속삭임이 실제로 필요 없는 게임의 일부를 발견하면 그 단계를 완전히 삭제합니다.
• 이중 확인: 속삭임이 필요한 경우, 편집자는 실수를 잡아내기 위해 "안전망"(두 사람에게 같은 것을 속삭이게 하고 표결을 받는 것) 을 추가합니다.
• "아마도" 행동: 편집자가 심판이 특정 단어를 잘못 들을 가능성이 높다는 것을 알고 있다면, 실수 확률에 기반하여 다음 플레이어가 행동의 혼합을 수행하도록 규칙을 조정합니다.
• 결과: 이는 게임 계획을 정리하여 불필요한 단계를 제거하고 계산이 망가지기 전에 오류를 수정합니다.

최종 점수

저자들이 MCMit 을 테스트했을 때 결과는 인상적이었습니다:

• 속도: 심판을 기다리는 데 갇히지 않았기 때문에 양자 컴퓨터는 이전보다 7 배 더 깊은(더 복잡한) 회로를 실행할 수 있었습니다.
• 정확도: 새로운 "귀"들은 짧은 신호를 읽는 데 있어 기존 최선 방법보다 37% 에서 73% 더 정확했습니다.
• 오류 정정: 양자 컴퓨터를 위한 "안전망"인 오류 정정을 시뮬레이션한 테스트에서, 시스템은 논리적 오류 발생률을 최대 **80%**까지 줄였습니다.
• 전체 품질: 표준 방법과 비교하여 최종 결과는 의도한 답변에 대해 18% 에서 30% 더 충실했습니다.

요약하자면: MCMit 은 양자 컴퓨터가 스스로를 듣고 반응하는 방식을 완전히 개편한 것입니다. 심판을 더 빠르게, 귀를 더 예리하게, 규칙서를 더 똑똑하게 만들어 양자 컴퓨팅의 미래를 가로막고 있는 가장 큰 병목 현상을 제거합니다.

기술 요약

"MCMit: Mid-Circuit Measurement Error Mitigation" 논문에 대한 상세한 기술 요약입니다.

1. 문제 제기

본 논문은 **분산 양자 컴퓨팅 (DQC)**의 확장성과 **양자 오류 정정 (QEC)**의 실현 가능성을 저해하는 주요 병목 현상인 **중간 회로 측정 (MCMs)**과 이에 수반되는 고전 피드백 루프를 다룹니다.

• 높은 오류율: MCM 은 현재 초전도 양자 프로세서에서 가장 오류가 빈번한 연산으로, 두 큐비트 게이트보다 종종 2~12 배 높은 오류율을 보입니다. 동적 회로에서 이러한 오류는 측정 결과의 비트 플립을 유발하는 **분기 오류 (branching errors)**를 일으켜, 고전 제어 로직이 잘못된 실행 경로를 따르게 만듭니다. 최종 측정 오류와 달리, 분기 오류는 회로를 통해 되돌릴 수 없이 전파되어 전체 계산을 손상시킵니다.
• 지연 병목 현상: MCM 과 이에 뒤따르는 고전 피드백은 양자 회로에서 가장 느린 연산입니다.
  • 측정 지연: 판독에는 게이트 연산보다 훨씬 긴 1.5~2.5 $\mu$s 가 소요됩니다.
  • 피드백 지연: 측정 결과를 처리하고 조건부 게이트를 발행하는 데 205~701 ns(또는 그 이상) 의 지연이 추가됩니다.
  • 영향: 이러한 결합된 지연은 수정이 적용되기 전에 큐비트가 결맞음 (decoherence) 을 잃게 하여 충실도를 낮추고 QEC 에서 논리적 오류율을 증가시킵니다.
• 종합적 솔루션의 부재: 현재 솔루션들은 분리되어 있습니다. 하드웨어 컨트롤러는 확장 가능한 다중 큐비트 조건부 로직을 위한 네이티브 지원을 제공하지 않습니다. 판별기는 긴 판독 시간에 최적화되어 있어 빠른 QEC 에 필요한 짧은 지속 시간에서는 실패합니다. 소프트웨어 완화는 실행 후 작동하여 실시간 분기 오류를 수정할 수 없습니다.

2. 방법론: MCMit 아키텍처

저자들은 오류와 지연을 동시에 완화하기 위해 세 가지 상호 강화되는 계층을 통합하는 **하드웨어 - 소프트웨어 공동 설계 (co-design)**인 MCMit을 제안합니다.

A. 하드웨어 계층: FPGA 컨트롤러 및 판별기

• 상수 지연 다중 제어 분기 명령:
  • 저자들은 오픈 소스 Qubic FPGA 컨트롤러를 수정하여 새로운 branch_reduce_fproc 명령을 도입했습니다.
  • 기존 컨트롤러에서는 피드백 지연이 큐비트 수에 비례하여 선형적으로 증가하는 반면 (예: 32 큐비트 = 32 배 지연), MCMit 은 FPGA 의 ALU 내에서 룩업 테이블 (LUT) 방식을 사용합니다.
  • 이는 입력 수에 관계없이 최대 32 개 큐비트에 대한 확장 가능한 연산 (AND, OR, XOR, 다수결 투표) 을 상수 지연으로 지원합니다.
• 고정밀 큐비트 상태 판별기:
  • 더 빠른 판독 (짧은 추적 지속 시간) 을 가능하게 하기 위해, 저자들은 무거운 전처리 없이 원시 In-Phase/Quadrature(I/Q) 추적에 직접 작동하는 두 가지 신경망 모델을 설계했습니다.
    1. Transformer: 노이즈가 있는 추적에서 장거리 시간적 의존성을 포착하기 위해 자기 주의 (self-attention) 메커니즘을 사용합니다.
    2. Residual CNN: 지역적 시간적 상관관계를 활용하기 위해 스트라이드 컨볼루션을 사용하는 경량 모델입니다.
  • 이러한 모델들은 기존 모델이 실패하는 매우 짧은 판독 지속 시간 (예: 250 ns) 에서도 높은 정확도를 유지합니다.

B. 소프트웨어 계층: 오류 완화 파이프라인

소프트웨어 계층은 컴파일 시간에 작동하여 회로를 단순화하고 잔여 오류를 완화합니다.

1. 동적 회로 단순화: **양자 상수 전파 (QCP)**를 사용하여 회로를 기호적으로 분석합니다. 이전 게이트에 기반하여 MCM 결과가 결정적으로 알려진 경우, 측정과 이에 의존하는 피드백 로직을 완전히 제거하고 확률적 게이트로 대체합니다.
2. 측정 강화: 비트 플립이 전파되기 전에 이를 감지하고 수정하기 위해 반복 코드, 패리티 체크, 다수결 투표를 통한 반복 측정과 같은 중복성을 추가합니다.
3. 확률적 분기: 컴파일 중 하드웨어가 제공하는 혼동 행렬 (비트 플립 확률) 을 사용하여 분기 조건을 확률적으로 반전시킵니다. 이는 여러 샷 (shots) 에 걸쳐 잘못된 분기 결정을 평균화함으로써 잔여 MCM 오류의 영향을 완화합니다.

3. 주요 기여

1. 최초의 종합적 공동 설계: MCM 오류 완화를 위해 FPGA 컨트롤러, 큐비트 상태 판별기, 소프트웨어 컴파일러를 공동으로 최적화하는 최초의 프레임워크입니다.
2. 확장 가능한 분기 명령: 복잡한 DQC 및 QEC 프로토콜에 필수적인 상수 지연 다중 큐비트 피드백을 가능하게 하는 새로운 FPGA 기반 명령입니다.
3. 짧은 추적 판별기: 짧은 판독 추적 (최대 250 ns) 에서 높은 정확도를 달성하여 더 빠른 측정 사이클을 가능하게 하는 두 가지 새로운 신경망 아키텍처 (Transformer 및 CNN) 입니다.
4. 컴파일러 최적화: 불필요한 MCM 을 제거하고 분기 오류를 확률적으로 완화하여 하드웨어의 부담을 줄이는 소프트웨어 파이프라인입니다.

4. 실험 결과

이 시스템은 Qubic 2.0 프레임워크에 구현되어 Xilinx Alveo XCU280 FPGA에 배포되었으며, 5 큐비트 IBM QPU 의 추적을 사용하여 평가되었습니다.

• 피드백 지연:
  • MCMit 분기 명령은 Qubic 대비 피드백 지연을 최대 70% 감소시킵니다.
  • 32 큐비트 연산의 경우 Qubic 지연은 701 ns 로 증가하는 반면, MCMit 은 상수 지연을 유지합니다.
  • 이는 DQC 응용 프로그램 (예: MECH 컴파일러 벤치마크) 의 유효 회로 깊이를 7 배 개선합니다.
• 판별기 정확도:
  • MCMit-CNN은 짧은 판독 지속 시간 (250 ns) 에서 최첨단 기준 (HERQULES, QubiCML) 대비 37~73% 높은 정확도를 달성합니다.
  • 250 ns 에서 HERQULES 정확도는 무작위 추측 수준인 약 50% 로 떨어지는 반면, MCMit-CNN 은 90% 이상의 정확도를 유지합니다.
  • 이는 현실적인 잡음 환경에서 표면 코드 QEC 의 논리적 오류율을 80% 낮춥니다.
• 소프트웨어 완화:
  • MCMit 소프트웨어는 완화되지 않은 회로 및 표준 IBM 오류 완화 도구인 Qiskit mthree와 비교하여 회로 충실도를 18~30% 개선합니다.
  • 상수 깊이 GHZ 상태의 경우, 원시 실행 대비 충실도 개선이 **56.9%**에 달했습니다.
• QEC 성능:
  • 미래 지향적 잡음 모델에서 MCMit 은 HERQULES 대비 300 배 이상 낮은 논리적 오류율을 달성합니다.
  • 이는 500 ns 만큼 짧은 판독 지속 시간으로도 효과적인 내결함성 실행을 가능하게 하여 결맞음 창을 크게 줄입니다.

5. 의의

MCMit 은 동적 양자 회로를 관리하는 방식의 패러다임 전환을 나타냅니다. MCM 을 단순한 측정 단계가 아닌 공동 설계가 필요한 시스템 전체의 병목 현상으로 간주함으로써, 저자들은 다음과 같은 것을 입증합니다.

• **하드웨어 가속화 (상수 지연 분기)**는 DQC 확장에 가능하고 필수적입니다.
• **AI 기반 신호 처리 (Transformer/CNN)**는 빠른 QEC 사이클을 가능하게 하기 위해 짧은 판독 시간과 같은 물리적 하드웨어 한계를 극복할 수 있습니다.
• 컴파일러 수준 최적화는 필요한 오류가 빈번한 연산의 수를 근본적으로 줄일 수 있습니다.

이 연구는 현재 실용적 배포를 방해하는 지연과 오류율을 직접 해결함으로써, 내결함성 양자 컴퓨팅과 분산 양자 아키텍처 실현을 위한 중요한 경로를 제공합니다.