Dynamical simulations of many-body quantum chaos on a quantum computer

이 논문은 91 개 큐비트 초전도 양자 프로세서를 활용해 이중 단위성 회로를 정밀하게 시뮬레이션하고 오류 완화 기법을 적용하여 비적분 가능 다체 양자 혼돈을 검증함으로써, 고장 허용 전 양자 장치가 새로운 양자 다체 상 탐구에 신뢰할 수 있는 플랫폼임을 입증했습니다.

핵심

1. 배경: 양자 컴퓨터의 '소음' 문제

양자 컴퓨터는 미래의 슈퍼컴퓨터로 불리지만, 현재는 **'소음 (Noise)'**이라는 큰 문제가 있습니다. 마치 아주 미세한 진동이나 바람에 의해 무너질 수 있는 모래성과 같습니다. 양자 컴퓨터가 계산을 할 때 이 '소음' 때문에 결과가 왜곡되어, 큰 규모로 계산을 하면 결과가 전혀 맞지 않는 경우가 많습니다.

2. 해결책: '소음 제거 마법' (TEM)

연구진은 이 소음을 없애기 위해 **'텐서 네트워크 오류 완화 (TEM)'**라는 기술을 사용했습니다. 이를 비유하자면 다음과 같습니다.

• 비유: 양자 컴퓨터가 찍은 사진이 흐릿하고 노이즈가 섞여 있다고 가정해 봅시다. 보통은 사진을 더 선명하게 찍으려고 카메라 (하드웨어) 를 고치려 하지만, 연구진은 사진을 찍은 후 컴퓨터 (클래식) 로 보정하는 기술을 개발했습니다.
• 작동 원리: 그들은 양자 컴퓨터가 얼마나 '흔들리는지' (소음의 패턴) 를 먼저 정밀하게 분석했습니다. 그리고 그 분석 데이터를 바탕으로, 실제 결과에서 소음의 영향을 수학적으로 '역산'하여 제거했습니다. 마치 흐릿한 사진을 AI 로 보정하듯, 양자 컴퓨터의 '노이즈'를 제거하여 진짜 모습을 드러낸 것입니다.

3. 실험: '이중 단위성 (Dual Unitary)'이라는 완벽한 미로

연구진이 시뮬레이션한 대상은 '이중 단위성 (Dual Unitary)' 회로라는 특수한 양자 시스템입니다.

• 비유: 이 시스템은 **시간과 공간이 서로 뒤바뀌어도 규칙이 똑같이 적용되는 '완벽한 미로'**와 같습니다. 보통의 양자 시스템은 너무 복잡해서 고전 컴퓨터로도 계산이 불가능하지만, 이 '이중 단위성' 시스템은 수학적으로 정답을 미리 알고 있는 특수한 경우입니다.
• 왜 중요한가? 연구진은 이 '정답을 알고 있는 미로'를 양자 컴퓨터로 풀어보았습니다. 그리고 소음 제거 기술 (TEM) 을 적용한 결과, 양자 컴퓨터가 내린 답이 수학적으로 계산된 정답과 거의 완벽하게 일치했음을 확인했습니다. 이는 "우리의 소음 제거 기술이 정말로 효과가 있다"는 강력한 증거가 됩니다.

4. 확장: 정답을 모르는 미로로 들어가기

이제 연구진은 한 걸음 더 나아가, 정답을 미리 알 수 없는 더 복잡한 미로로 들어갔습니다.

• 상황: '이중 단위성'을 살짝 비틀어서 (파라미터를 변경) 정답을 알 수 없는 상태로 만들었습니다.
• 결과: 양자 컴퓨터로 계산한 결과를, 고전 컴퓨터의 '텐서 네트워크'라는 강력한 시뮬레이션 도구와 비교했습니다. 놀랍게도, 양자 컴퓨터의 결과 (소음 제거 후) 는 고전 컴퓨터의 시뮬레이션 결과와도 잘 맞았습니다.
• 의미: 이는 고전 컴퓨터로는 계산하기 너무 어려운 (계산 자원이 부족해서 불가능한) 영역에서도, 양자 컴퓨터가 신뢰할 수 있는 결과를 낼 수 있음을 보여줍니다.

5. 결론: 왜 이것이 중요한가?

이 연구는 **"고장 나기 전 (Pre-fault-tolerant) 의 양자 컴퓨터도 이미 유용하다"**는 것을 증명합니다.

• 핵심 메시지: 완벽한 양자 컴퓨터 (오류가 전혀 없는 상태) 가 나오기까지 아직 시간이 걸립니다. 하지만 지금 당장 있는 양자 컴퓨터에 정교한 '소음 제거 기술'을 결합하면, 우리는 새로운 물질의 성질이나 복잡한 양자 현상을 탐구할 수 있는 신뢰할 수 있는 플랫폼을 갖게 된다는 것입니다.
• 일상적인 비유: 마치 아직 완벽하지 않은 자동차로 장거리 여행을 갈 때, 정교한 내비게이션 (오류 완화 기술) 을 사용하면 목적지까지 안전하게 도착할 수 있다는 것과 같습니다.

요약

이 논문은 IBM 의 91 개 큐비트 양자 컴퓨터를 이용해, 소음 제거 기술을 통해 정답을 알고 있는 복잡한 양자 현상을 정확하게 재현하고, 이를 넘어 정답을 모르는 영역에서도 고전 컴퓨터와 경쟁할 수 있는 능력을 보여주었습니다. 이는 양자 컴퓨팅이 이론의 단계를 넘어, 실제 과학 발견을 위한 도구로 쓰일 수 있음을 보여주는 중요한 이정표입니다.

기술 요약

1. 연구 배경 및 문제 제기 (Problem)

• 다체 양자 역학의 시뮬레이션 난제: 전통적으로 다체 양자 시스템의 동역학 연구는 연속 시간 과정을 다루었으나, 디지털 양자 시뮬레이션 알고리즘은 이를 이산적인 단계로 분해하여 구현합니다. 그러나 현재 사용 가능한 노이즈가 있는 중규모 양자 (NISQ) 프로세서에서는 대규모 시스템의 정확한 검증이 매우 어렵습니다.
• 검증의 어려움: 비적분 가능 (non-integrable) 인 시스템이나 일반적인 혼돈적인 양자 회로에서는 고전 컴퓨터로 정확한 해를 구하거나 검증하는 것이 불가능한 규모 (brute-force simulation beyond reach) 에 도달합니다. 따라서 오류가 있는 양자 하드웨어에서 얻은 결과의 신뢰성을 어떻게 확보할지가 핵심 과제입니다.
• 오류 완화의 한계: 기존 오류 완화 (Error Mitigation) 기법들은 주로 클리포드 (Clifford) 회로를 벤치마크로 사용하지만, 이는 관심 있는 매개변수 영역 (비클리퍼드 회로) 의 성능을 대표하지 못할 수 있습니다.

2. 방법론 (Methodology)

이 연구는 이중 유니타리 (Dual Unitary, DU) 회로를 활용하여 양자 혼돈을 시뮬레이션하고 검증하는 새로운 프레임워크를 제시합니다.

• 이중 유니타리 (DU) 회로:
  • 시간 방향뿐만 아니라 공간 방향에서도 유니타리 (unitary) 성질을 만족하는 특수한 2-큐비트 게이트로 구성된 회로입니다.
  • 이러한 회로는 특정 상관 함수에 대해 정확한 해석적 해 (exact analytical solutions) 를 가지며, "최대 혼돈 (maximally chaotic)" 시스템으로 간주됩니다.
  • 연구팀은 킥된 이징 모델 (Kicked Ising Model) 의 Floquet 동역학을 DU 회로로 매핑하여 시뮬레이션했습니다.
• 하드웨어 및 실험 설정:
  • 하드웨어: IBM 의 127 개 초전도 트랜스몬 큐비트를 가진 ibm_strasbourg 프로세서 사용.
  • 규모: 최대 91 개 큐비트 및 4,095 개의 2-큐비트 게이트를 포함하는 회로 실행.
  • 초기 상태: 벨 쌍 (Bell pairs) 과 단일 큐비트 상태의 곱으로 구성된 특수한 초기 상태 사용.
• 텐서 네트워크 오류 완화 (Tensor-Network Error Mitigation, TEM):
  • 양자 하드웨어에서 측정된 노이즈가 있는 데이터를 후처리하여 이상적인 (노이즈가 없는) 관측값을 복원하는 기법입니다.
  • 노이즈 모델링: ECR (Echoed Cross-Resonance) 게이트 층에 대한 희소 파울리 - 린드블라드 (sparse Pauli-Lindblad) 채널 모델을 학습합니다.
  • 클리포드 포인트 활용: DU 회로의 클리포드 포인트 ($h=0$) 에서의 실험 데이터를 추가 학습 회로로 활용하여 노이즈 모델의 자유도를 미세 조정 (fine-tuning) 하고, SPAM (State Preparation and Measurement) 오차를 보정합니다.
  • 구현: 텐서 네트워크 (MPO, Matrix Product Operator) 를 사용하여 노이즈 채널의 역변환을 근사적으로 구현하고, 정보 완전 (Informationally Complete, IC) 측정을 통해 기대값을 추정합니다.
• 고전적 비교 (Classical Benchmarking):
  • DU 포인트 ($h=0$) 에서는 해석적 해와 비교합니다.
  • DU 포인트를 벗어난 영역 ($h \neq 0$) 에서는 고전적인 텐서 네트워크 시뮬레이션 (슈뢰딩거 그림 및 하이젠베르크 그림) 과 비교하여 결과를 검증합니다.

3. 주요 기여 및 결과 (Key Contributions & Results)

• 대규모 DU 회로의 정확한 시뮬레이션:
  • 91 개 큐비트 시스템에서 무한 온도 자기 상관 함수 (autocorrelation function) 를 정확하게 시뮬레이션하여, 이론적으로 예측된 지수적 감쇠 (exponential decay) 를 오류 완화 없이도 재현했습니다.
  • TEM 기법을 적용한 결과, 노이즈로 인한 감쇠가 보정되어 이론 곡선과 높은 일치도를 보였습니다 (그림 2).
• 해석적 해가 없는 영역의 탐구:
  • DU 조건을 위반하는 매개변수 ($b \neq \pi/4$) 로 회로를 변형하여, 해석적 해가 존재하지 않는 영역에서도 동역학을 탐구했습니다.
  • 이 영역에서는 고전적인 슈뢰딩거 그림 시뮬레이션이 결합 차원 (bond dimension) 이 커짐에 따라 수렴하지 않아 실패했으나, 하이젠베르크 그림 시뮬레이션은 상대적으로 적은 자원으로 수렴하는 결과를 보여주었습니다.
  • 양자 하드웨어에서 TEM 으로 얻은 결과는 하이젠베르크 그림의 고전 시뮬레이션 결과와 잘 일치했습니다 (그림 3).
• 오류 완화의 신뢰성 입증:
  • DU 회로의 해석적 해를 벤치마크로 사용하여, 오류 완화된 양자 계산이 비클리퍼드 회로에서도 신뢰할 수 있음을 입증했습니다.
  • 샘플링 오버헤드 (sampling overhead) 분석을 통해 TEM 이 확률적 오류 취소 (PEC) 나 제로 노이즈 외삽 (ZNE) 보다 효율적임을 보였습니다 (표 II).
• 성능 지표:
  • 91 개 큐비트 실험의 전체 데이터 수집 및 처리에 약 3 시간 24 분이 소요되었으며, 샘플링 속도는 1.57 kHz 이상을 기록하여 기존 실험 대비 획기적인 속도 향상을 보였습니다.

4. 의의 및 결론 (Significance)

• NISQ 시대의 신뢰할 수 있는 플랫폼: 이 연구는 오류 정정이 없는 (pre-fault-tolerant) 양자 프로세서에서도 오류 완화 기법과 고전적 계산 (텐서 네트워크) 을 결합하여, 고전 컴퓨터로는 풀 수 없는 규모의 다체 양자 현상을 신뢰할 수 있게 탐구할 수 있음을 증명했습니다.
• 새로운 양자 위상 발견의 길: 이 프레임워크는 응집 물질 물리학의 새로운 위상 (예: 국소화 위상, 시간 결정 등) 을 탐색하고, 수송 특성을 추출하는 데 유용한 도구로 활용될 수 있습니다.
• 양자 - 고전 하이브리드 워크플로우의 진보: 노이즈 학습, 오류 완화, 그리고 고전적 텐서 네트워크 시뮬레이션을 통합한 워크플로우는 양자 하드웨어가 고전 시뮬레이터보다 우위를 점하기 시작하는 '양자 유용성 (Quantum Utility)' 단계로의 전환을 보여주는 중요한 사례입니다.

요약하자면, 이 논문은 91 개 큐비트 규모의 초전도 양자 프로세서에서 이중 유니타리 회로를 시뮬레이션하고, 텐서 네트워크 기반의 오류 완화 기법을 통해 노이즈를 효과적으로 제거하여 이론적 예측 및 고전적 근사값과 일치하는 결과를 도출함으로써, NISQ 장치를 통한 다체 양자 혼돈 연구의 새로운 지평을 열었습니다.