Error Mitigation by Zero-Noise Extrapolation (ZNE) in Indirect-Control System

기술 요약: 간접 제어 시스템에서의 제로 노이즈 외삽(ZNE)을 통한 오류 완화

문제 정의
간접 제어 양자 컴퓨팅은 외부 연산이 소수의 큐비트(제어 유닛)로 제한되는 반면, 나머지 시스템은 고유의 다체 해밀토니안(many-body Hamiltonian)에 따라 진화하는 확장 가능한 아키텍처를 제공한다. 이 패러다임은 하드웨어 복잡성을 줄이고 제어 채널로부터의 노이즈 주입을 제한한다. 최근의 연구(Anan 등)는 이 프레임워크 내에서 변분 양자 고유치 솔버(VQE) 구현의 타당성을 입증했으나, 양자 오류 완화(QEM) 기술의 통합은 아직 탐구되지 않은 영역이다. 특히, "유니터리 폴딩(unitary folding)"($G^\dagger G$ 시퀀스 삽입)을 통해 노이즈를 제어된 방식으로 증폭하는 데 의존하는 주요 QEM 전략인 제로 노이즈 외삽(ZNE)의 경우, 간접 제어 시스템의 주된 계산 자원은 시스템 해밀토니안에 따른 연속적인 시간 진화이다. 이러한 진화의 역연산($U^\dagger$)을 구성하기 위해 시간 진화를 되돌리는 것은 쉽지 않은데, 이는 간접 제어 시스템이 일반적으로 제어 유닛에 대한 국소 연산만으로는 시간 가역성을 갖추지 못하기 때문이다. 결과적으로, 표준 ZNE 기법을 직접 적용할 수 없다.

방법론
저자들은 1차원 XY 스핀 체인을 사용하여 간접 제어 VQE 프레임워크 내에서 ZNE 구현의 타당성을 조사한다. 연구는 다음과 같은 방법론적 단계를 거친다:

1. 시스템 정의: 시스템은 첫 두 큐비트가 제어 유닛 역할을 하는 1D XY 스핀 체인으로 모델링된다. 안사츠(ansatz) 회로는 시스템 해밀토니안 $H_{XY}$ 하에서의 자유 시간 진화와 제어 유닛 상의 즉각적인 유니터리 연산이 교차되는 구조를 가진다.
2. 시간 가역성 해결: 시간 진화 게이트($U(t_n, t_{n+1})$)를 위한 유니터리 폴딩을 구현하려면 역 게이트 $U^\dagger$가 필요하다. 저자들은 1D XY 해밀토니언의 특정 대칭성(국소 자기장이 없는 경우)을 활용한다: 모든 홀수 번호 큐비트에 Pauli-Y 게이트를 적용하면 해밀토니안이 $H_{XY} \to -H_{XY}$로 변환된다. 시간 진화 전후에 (접근 가능하거나 불가능한 큐비트 모두를 포함하여) 홀수 번호 큐비트에 Y-게이트를 적용하도록 간접 제어 제약을 완화함으로써, $U^\dagger$를 효과적으로 합성할 수 있음을 입증한다.
3. 노이즈 모델링: 글로벌 데폴라라이징 노이즈를 가정하는 기존의 ZNE 연구와 달리, 본 연구는 각 큐비트에 독립적으로 작용하는 국소 데폴라라이징 채널로서 노이즈를 모델링한다. 이는 다체 시스템에 더 물리적으로 현실적이라고 간주된다. 저자들은 국소 노이즈와 유니터리 폴딩 사이의 가환성(commutation) 특성을 분석하며, 글로벌 노이즈에서 유효한 단순 선형 노이즈 파라미터 스케일링이 국소 노이즈에서는 엄격하게 성립하지 않더라도 해당 기법이 여전히 효과적임을 언급한다.
4. 시뮬레이션 프레임워크: 수치 시뮬레이션은 Qulacs 라이브러리를 사용하여 수행되었다. 연구에는 7-큐비트 및 8-큐비트 시스템과 30-레이어 간접 제어 VQE 안사츠가 사용되었다. 대상 해밀토니안은 횡장 이징 모델(transverse-field Ising model)이다. 시뮬레이션은 결맞음(decoherence)을 모델링하기 위해 트로터 분해(Trotter decomposition)로 근사된 린드블라드 마스터 방정식(Lindblad master equation)을 채택하였다.
5. ZNE 구현: 저자들은 다양한 노이즈 레벨을 가진 회로로부터 얻은 기대값에 리처드슨 외삽(Richardson extrapolation)을 적용하였다. 노이즈 레벨은 시간 진화 게이트(및 다변량 시나리오에서의 다른 게이트들)의 폴딩 횟수($K$)를 증가시켜 스케일링되었다. 단변량 및 다변량 ZNE 접근 방식이 모두 테스트되었다.

주요 기여

• 간접 제어에서의 ZNE 타당성 확보: 본 논문은 1D XY 모델의 대칭성을 활용하여 역 시간 진화 연산자를 구성함으로써, 간접 제어 VQE에서 ZNE를 구현할 수 있음을 확립한다.
• 제어 제약의 완화: 본 연구는 홀수 번호 큐비트에 대한 Y-게이트 연산을 허용함으로써 간접 제어 패러다임을 최소한으로 완화하는 방안을 제안한다. 저자들은 서로 다른 공명 주파수를 가진 두 종류의 큐비트를 포함하는 스핀 체인을 사용하면 글로벌 공명 펄스를 통해 선택적 어드레싱이 가능하므로, 이것이 물리적으로 실현 가능하다는 점을 주장한다.
• 국소 노이즈 분석: 본 연구는 ZNE 분석을 국소 데폴라라이징 노이즈 모델로 확장하여, 노이즈가 1차 근사에서 유니터리 변환과 가환하지 않는 경우에도 유니터리 폴딩이 여전히 효과적임을 입증한다.
• 다변량 ZNE: 저자들은 서로 다른 게이트 유형(단일 큐비트, 2-큐비트, 시간 진화 게이트)에 걸친 이질적인 노이즈 소스를 처리하기 위해 다변량 리처드슨 외사법을 성공적으로 적용하였다.

결과

• 오류 완화 효능: 결맞음율 $\gamma = 0.001$인 7-큐비트 시스템에 대해, ZNE는 노이즈가 없는 상태의 바닥 상태 에너지 추정치를 성공적으로 회복하였다. 구체적으로, 3차 리처드슨 외삽은 노이즈 없는 시뮬레이션의 통계적 불확실성 범위 내의 결과(98% 상대 정확도)를 달성하였다.
• 스케일링 및 분산: ZNE 이론과 일치하게, 추정치의 분산은 외삽 차수가 높아짐에 따라 증가하였다. 본 연구는 높은 차수의 외삽이 편향(bias) 감소에는 개선을 가져오지만, 상당한 샘플링 오버헤드를 초래한다는 점을 확인하였다.
• 파라미터 민감도: ZNE의 정확도는 초기 시간 파라미터($T_{max}$)의 범위에 민감한 것으로 나타났다. $T_{max}$가 클 경우, 노이즈가 있는 회로에 축적된 결맞음이 너무 심각하여 ZNE가 완전히 보정하기 어려워졌고, 이로 인해 노이즈가 있는 추정치와 노이즈 없는 추정치 사이에 발산가 발생하였다.
• 다변량 성능: 이질적인 노이즈 확률(단일 큐비트 게이트 0.001, CZ 게이트 0.005, 시간 진화 게이트 $\gamma=0.001$)을 가진 8-큐비트 시뮬레이션에서, 다변량 ZNE(3~5차)는 오류를 성공적으로 완화하여 추정치를 노이즈 없는 베이스라인에 가깝게 가져왔다.

의의 및 주장
본 논문은 간접 제어 시스템이 노이즈 주입 경로를 제한함으로써 NISQ 장치에 대한 유망한 대안 아키텍처를 제공한다고 주장한다. 그러나 이 잠재력의 실현은 효과적인 오류 완화에 달려 있다. 본 연구의 주요 의의는 ZNE라는 표준 오류 완화 기술이 간접 제어 패러다임에 적응될 수 있음을 보여준 데 있다.

저자들은 다음과 같이 자신의 접근 방식에 대한 한계를 명시적으로 언급한다:

• 대칭성 의존성: 이 방법은 1D XY 모델의 특정 대칭성에 크게 의존한다. 저자들은 다른 대칭성을 가진 일반적인 다체 시스템(예: 하이젠베르크 모델)으로 이 유니터리 폴딩 기법을 확장하는 것이 어렵다고 밝히고 있다.
• 적용 범위: 본 연구는 수치 시뮬레이션에 국한된다. 저자들은 현재의 메인스트림 하드웨어(예: IBM, Google)가 간접 제어를 사용하지 않기 때문에, 해당 플랫폼에서의 실험적 구현은 불가능하다고 인정한다.
• 향향 방향: 논문은 특정 대칭성이 없는 시스템의 경우, 다른 ZNE 방법(비유니터리 폴딩)이나 간접 제어에 적응된 확률적 오류 제거(PEC)가 향후 연구가 필요한 분야라고 제안한다. 또한 실험적 환경에서 간접 제어 방식에 가장 적합한 다체 양자 시스템이 무엇인지 식별할 필요가 있음을 강조한다.

요약하자면, 본 연구는 시스템 해밀토니안이 역 시간 진화 연산자를 구성할 수 있는 특정 대칭성을 갖춘 경우, 오류 완화가 간접 제어 VQE에서 가능하다는 이론적 및 수치적 개념 증명을 제공한다.