2025-11-18T17:19:13.403952

Digital quantum simulation of many-body localization crossover in a disordered kicked Ising model

Hayata, Seki, Yunoki
Simulating nonequilibrium dynamics of quantum many-body systems is one of the most promising applications of quantum computers. However, a faithful digital quantum simulation of the Hamiltonian evolution is very challenging in the present noisy quantum devices. Instead, nonequilibrium dynamics under the Floquet evolution realized by the Trotter decomposition of the Hamiltonian evolution with a large Trotter step size is considered to be a suitable problem for simulating in the present or near-term quantum devices. In this work, we propose simulating the many-body localization crossover as such a nonequilibrium problem in the disordered Floquet many-body systems. As a demonstration, we simulate the many-body localization crossover in a disordered kicked Ising model on a heavy-hex lattice using $60$ qubits from $156$ qubits available in the IBM Heron r2 superconducting qubit device named ibm\_fez. We compute out-of-time-ordered correlators as an indicator of the many-body localization crossover. From the late-time behavior of out-of-time-ordered correlators, we locate the quantum chaotic and many-body localized regimes as a function of the disorder strength. The validity of the results is confirmed by comparing two independent error mitigation methods, that is, the operator renormalization method and zero-noise extrapolation.
academic

무질서한 킥 이징 모델에서 다체 국소화 교차의 디지털 양자 시뮬레이션

기본 정보

  • 논문 ID: 2510.01983
  • 제목: Digital quantum simulation of many-body localization crossover in a disordered kicked Ising model
  • 저자: Tomoya Hayata, Kazuhiro Seki, Seiji Yunoki
  • 분류: quant-ph cond-mat.stat-mech hep-lat hep-th
  • 발표 시간: 2025년 10월 15일
  • 논문 링크: https://arxiv.org/abs/2510.01983

초록

본 논문은 최근의 양자 장치에서 다체 국소화(Many-body localization, MBL) 교차 현상을 시뮬레이션하는 방법을 제안한다. 연구자들은 IBM Heron r2 초전도 양자 프로세서 ibm_fez의 60개 양자 비트를 활용하여 무거운 육각형 격자 위의 무질서한 킥 이징 모델에서 다체 국소화 교차 현상을 시뮬레이션했다. 시간 무질서 상관함수(Out-of-time-ordered correlators, OTOCs)를 계산하여 MBL 교차의 지표로 사용하고, 그 후기 거동에서 양자 혼돈 영역과 다체 국소화 영역을 식별했다. 연구 결과는 연산자 재정규화 방법과 영 노이즈 외삽이라는 두 가지 독립적인 오류 완화 방법으로 검증되었다.

연구 배경 및 동기

핵심 문제

  1. 양자 다체 시스템의 비평형 동역학 시뮬레이션: 이는 양자 컴퓨터의 가장 유망한 응용 중 하나이지만, 현재의 노이즈가 있는 양자 장치에서 해밀턴 진화를 충실하게 시뮬레이션하는 것은 극히 도전적이다.
  2. 다체 국소화 현상: MBL은 무질서한 양자 다체 시스템의 열화를 방지하는 메커니즘으로, 양자 시스템의 에르고딕성 파괴를 이해하는 데 중요한 의미를 갖는다.
  3. Floquet 시스템: 주기적으로 구동되는 양자 시스템은 평형 시스템에서 실현될 수 없는 이상한 상을 나타낼 수 있으며, 예를 들어 시간 결정체가 있다.

연구 동기

  • 기술적 동기: 기존 양자 장치의 노이즈는 정확한 해밀턴 진화 시뮬레이션을 제한하지만, Floquet 진화는 Trotter 분해를 통해 구현되어 최근의 양자 장치에 더 적합하다.
  • 과학적 동기: MBL 전이는 비평형 동역학과 완전한 고유 스펙트럼을 포함하며, 고전 컴퓨터는 대규모 시스템을 처리하기 어렵지만 양자 시뮬레이션은 자연스러운 이점을 갖는다.
  • 실용적 동기: 오류 허용 양자 컴퓨팅 실현 이전의 근기 응용을 위한 새로운 방향 탐색

핵심 기여

  1. 60개 양자 비트 시스템에서 MBL 교차의 디지털 양자 시뮬레이션을 최초로 구현, 시스템 규모가 고전 정확 대각화 방법의 능력 범위를 초과함
  2. OTOCs 기반의 MBL 교차 식별 방법 제안, 후기 거동을 통해 양자 혼돈 영역과 다체 국소화 영역 위치 파악
  3. 무거운 육각형 격자에 적합한 무질서한 킥 이징 모델 개발, IBM 양자 장치의 고유 연결성과 게이트 연산을 충분히 활용
  4. 두 가지 독립적인 오류 완화 방법 구축: 연산자 재정규화 및 영 노이즈 외삽, 상호 검증을 통한 결과 신뢰성 확보
  5. 최근의 양자 장치에서 Floquet 다체 시스템의 비평형 동역학 시뮬레이션 가능성 입증

방법론 상세 설명

작업 정의

무거운 육각형 격자 위의 무질서한 킥 이징 모델에서 다체 국소화 교차 현상을 연구하고, 무질서 강도 W를 조절하여 양자 혼돈 영역(W < Wc)과 다체 국소화 영역(W > Wc)의 경계를 식별한다.

모델 구조

무질서한 킥 이징 모델

시간 의존 해밀턴 연산자는 다음과 같이 정의된다:

H_X = \sum_{i=1}^N B_X(i)X_i, & t \in [0,T/2) \\ H_Z = J\sum_{(i,j)} Z_iZ_j + B_Z\sum_{i=1}^N Z_i, & t \in [T/2,T) \end{cases}$$ 여기서: - $X_i$, $Z_i$는 i번째 격자점의 파울리 연산자 - $B_X(i)$는 $[B_{X0}-W, B_{X0}+W]$에 균등 분포하는 무작위 장 - $J$, $B_Z$, $B_{X0}$는 고정 매개변수 - $W$는 무질서 강도 매개변수 #### Floquet 진화 연산자 단일 구동 주기의 진화 연산자: $$U_F = e^{-iH_ZT/2}e^{-iH_XT/2}$$ 매개변수 설정: $JT = π/2$, $B_ZT = 1.3$, $B_{X0}T = π/2$, $W=0$일 때 시스템이 최대 혼돈 상태에 있도록 함. #### 시간 무질서 상관함수(OTOCs) 다음과 같이 정의된다: $$\text{OTOC} = \langle 0^N|(U_F)^{\dagger n}X_1(U_F)^nZ_m(U_F)^{\dagger n}X_1(U_F)^n|0^N\rangle$$ 정규화 형태: $$\text{OTOC} = \frac{\langle 0^N|(U_F)^{\dagger n}X_1(U_F)^nZ_m(U_F)^{\dagger n}X_1(U_F)^n|0^N\rangle}{\langle 0^N|(U_F)^{\dagger n}I_1(U_F)^nZ_m(U_F)^{\dagger n}I_1(U_F)^n|0^N\rangle}$$ ### 기술 혁신점 1. **회로 최적화**: 인과 원뿔 외부의 중복 게이트를 수동으로 제거하여 오류 완화 품질을 현저히 향상 2. **유효 양자 부피**: 분모 항을 이용한 인과 원뿔 증가 추정, MBL의 보완 지표로 사용 3. **이중 오류 완화**: 연산자 재정규화와 ZNE 방법 결합, 상호 검증 제공 4. **거리 의존성 분석**: 서로 다른 거리 x의 OTOC 거동을 통해 파동 전면 전파 특성 식별 ## 실험 설정 ### 양자 장치 - **장치**: IBM Heron r2 초전도 양자 프로세서 ibm_fez (156개 양자 비트) - **사용 규모**: 2×3 무거운 육각형 격자를 구성하는 60개 양자 비트 - **게이트 오류율**: CZ 게이트 ~3.7×10⁻³, SX 게이트 ~2.93×10⁻⁴, 읽기 오류 ~1.76×10⁻² ### 실험 매개변수 - **무질서 구현 수**: 25개 - **Trotter 단계 수**: 10단계 - **총 회로 수**: 250개 (25×10) - **회로당 측정 횟수**: 16,000회 - **파울리 감싸기 회로 수**: 32개 ### 평가 지표 1. **정규화 OTOC**: 주요 지표, 정보 교란 전파 반영 2. **유효 양자 부피**: $V_{eff} = \log F / \log(1-p)$, 인과 원뿔 크기 특성화 3. **교차점 위치 결정**: $W_c = \arg\max_W \partial\langle\langle\text{OTOC}\rangle\rangle/\partial W$ ### 오류 완화 방법 1. **연산자 재정규화**: 분모 항을 사용한 노이즈 영향 보정 2. **영 노이즈 외삽(ZNE)**: 노이즈 증폭 인자 f=1.0, 1.5를 통한 외삽 ## 실험 결과 ### 주요 결과 #### OTOC 거동 특성 - **약한 무질서 영역(W≤0.18)**: 거리 x=n에서 OTOC가 급격히 감소, 후기에 강하게 감쇠하여 양자 혼돈 거동을 나타냄 - **강한 무질서 영역(W≥0.18)**: OTOC가 1에 가깝게 유지되거나 천천히 감쇠하여 다체 국소화 특성을 나타냄 - **교차점**: $W_c \sim 0.18$, 두 가지 오류 완화 방법 결과 일치 #### 파동 전면 전파 분석 - **W=0.05**: x=n 근처에서 명확한 파동 전면 전파 - **W=0.5**: 파동 전면 소실, 정보 전파 제한 #### 유효 양자 부피 - **약한 무질서**: 후기 초선형 증가, 인과 원뿔의 빠른 확장 반영 - **강한 무질서**: 선형 증가, 인과 원뿔이 더 이상 증가하지 않음을 나타냄 ### 오류 완화 검증 두 가지 오류 완화 방법이 혼돈 및 MBL 영역에서 일치하는 결과를 보이며, 교차 영역(0.14≤W≤0.2)에서는 신중한 분석이 필요하다. ZNE 방법은 상전이 거동을 더욱 명확하게 하지만 오류 막대가 상대적으로 크다. ### 실험 발견 1. **거리 의존성**: x=n/2=5에서의 OTOC가 교차 지표로 가장 적합함 2. **시스템 크기 효과**: 60개 양자 비트 시스템이 고전 계산으로 도달할 수 없는 규모를 나타냄 3. **노이즈 견고성**: 정규화 OTOC는 노이즈에 대한 일정한 저항성을 가짐 ## 관련 연구 ### MBL 이론 연구 - 고유 상태 열화 가설 파괴에 기반한 이론 틀 - 일차원 시스템의 로그 광원뿔 거동 - 고차원 시스템 MBL 안정성의 논쟁 ### 양자 시뮬레이션 실험 - 초전도 양자 비트에서의 시간 결정체 구현 - 국소 적분 운동 연산자의 식별 - 여기 상태 변분 양자 고유 해법기 응용 ### Floquet 시스템 - 주기 구동 시스템의 이상한 상 - Trotter 동역학과 Floquet 시스템의 동등성 - 사전 열화 현상의 양자 시뮬레이션 ## 결론 및 논의 ### 주요 결론 1. **60개 양자 비트 MBL 교차 시뮬레이션 성공적 구현**, 교차점 $W_c \sim 0.18$ 위치 결정 2. **MBL 지표로서 OTOC의 유효성 검증**, 혼돈 및 국소화 영역 구분 3. **최근의 양자 장치의 실용 능력 입증**, 오류 허용 이전 응용을 위한 새로운 방향 제시 ### 제한 사항 1. **Trotter 단계 제한**: 노이즈 제약으로 인해 장시간 점근 거동을 관찰할 수 없음 2. **단일 시스템 크기**: 유한 크기 스케일링 분석 부재, 진정한 상전이 존재 여부 확인 불가 3. **이차원 MBL 안정성**: 이론적으로 고차원 MBL 상의 안정성에 논쟁 존재 4. **인과 원뿔 제한**: 인과 원뿔이 모든 양자 비트를 덮을 때 회로 확장 불가 ### 향후 방향 1. **더 낮은 노이즈 장치**: 더 긴 시간의 로그 광원뿔 거동 탐색 2. **유한 크기 스케일링**: 다중 시스템 크기 연구로 상전이 특성 결정 3. **다른 비평형 상**: 시간 준결정체 등 이상한 상으로 확장 4. **고전적으로 어려운 문제**: 더 많은 양자 우월성 응용 탐색 ## 심층 평가 ### 장점 1. **기술 혁신성**: 대규모 양자 장치에서 MBL 시뮬레이션을 최초로 구현, 회로 최적화 및 오류 완화 방법의 보편성 2. **실험 충분성**: 25개의 무질서 구현, 이중 오류 완화, 다중 거리 분석으로 결과 신뢰성 확보 3. **물리적 의미**: MBL 교차 성공적 식별, 양자 다체 물리를 위한 새로운 실험 플랫폼 제공 4. **방법론적 기여**: 노이즈가 있는 양자 장치에서 비평형 동역학 연구의 패러다임 수립 ### 부족한 점 1. **이론적 깊이**: 교차점 수치에 대한 이론 예측 및 비교 부재 2. **스케일링 분석**: 단일 시스템 크기로 인한 상전이 특성 이해의 제한 3. **노이즈 모델**: 탈극화 채널 가정이 과도하게 단순화될 수 있음 4. **보편성**: 다른 양자 장치 및 모델에 대한 방법의 적용 가능성 미검증 ### 영향력 1. **학술적 가치**: 양자 다체 물리와 양자 컴퓨팅 교차 분야에 중요한 실험 기준 제공 2. **기술 추진**: 오류 완화 및 회로 최적화 방법을 다른 양자 시뮬레이션 문제로 확대 가능 3. **응용 전망**: 최근의 양자 장치의 과학 계산 잠재력 입증 4. **재현성**: 상세한 실험 매개변수 및 공개 데이터로 결과 재현 지원 ### 적용 분야 1. **양자 다체 물리 연구**: 비평형 동역학, 상전이, 임계 현상 2. **양자 알고리즘 개발**: 오류 완화, 회로 최적화 기술 3. **양자 장치 평가**: 벤치마크 테스트 및 성능 특성화 4. **교육 훈련**: 양자 시뮬레이션 및 다체 물리 교육 사례 ## 참고문헌 본 논문은 48편의 중요 문헌을 인용하며, 다음을 포함한다: - MBL 이론 기초 [10-17, 25, 29-33] - 양자 시뮬레이션 실험 [19, 26-28, 35] - Floquet 시스템 [1-6, 15-17] - 오류 완화 방법 [22, 34, 35, 44] - 양자 혼돈 이론 [36-39] 주요 참고문헌에는 Nandkishore & Huse의 MBL 종설, IBM 팀의 양자 우월성 증명, OTOC 이론 기초 등이 포함된다. --- **종합 평가**: 이는 양자 다체 물리와 양자 컴퓨팅 교차 분야에서 중요한 의미를 갖는 실험 논문이다. 저자들은 대규모 양자 장치에서 MBL 교차의 디지털 시뮬레이션을 성공적으로 구현했으며, 기술 방법이 혁신적이고 결과가 신뢰할 수 있다. 이론적 깊이와 시스템 크기의 일부 제한에도 불구하고, 최근의 양자 장치의 과학 응용을 위한 새로운 방향을 개척했으며, 중요한 학술적 가치와 기술 추진 작용을 갖는다.