Adiabatic preparation of thermal states and entropy-noise relation on noisy quantum computers

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

• 배경: 양자 컴퓨터는 고전 컴퓨터로 시뮬레이션하기 어려운 응집물질 물리 및 재료 과학 문제, 특히 고온의 열적 평형 상태 (Finite-temperature equilibrium states) 나 비평형 동역학을 연구하는 데 필수적입니다.
• 문제점:
  • 기존 알고리즘 (허상 시간 진화, Lindbladian 진화, 변분 양자 알고리즘 등) 은 전체 시스템에 대한 정확한 깁스 상태 (Gibbs state, $e^{-\beta H}$) 를 준비하는 데 초점을 맞추고 있으나, 이는 계산 비용이 매우 크거나 물리적으로 비현실적일 수 있습니다.
  • 닫힌 양자 시스템에서 순수한 유니타리 진화 (Unitary evolution) 만으로는 전체 시스템이 열적 평형에 도달할 수 없으며, 오직 국소적 열 평형 (Local thermal equilibrium) 만 가능합니다.
  • 실제 양자 하드웨어에는 게이트 잡음 (Noise) 이 존재하여 엔트로피가 증가하고, 이로 인해 이상적인 단열 진화 (Adiabatic evolution) 가 깨질 수 있습니다.

2. 방법론 (Methodology)

이 논문은 단열 상태 준비 (Adiabatic State Preparation) 기법을 바닥 상태 (Ground state) 에서 열 상태로 확장하는 새로운 프로토콜을 제안합니다.

• 국소적 열 평형 준비 프로토콜:
  1. 초기화: 간단한 해밀토니안 ($H_0$) 의 열적 깁스 상태 (예: $X$ 기저에서의 곱 상태) 를 효율적으로 준비합니다.
  2. 단열 진화: $H_0$ 에서 목표 해밀토니안 ($H_f$) 으로 천천히 변화하는 시간 의존 해밀토니안 $H(t)$ 를 통해 시스템을 진화시킵니다.
  3. 핵심 가정: 시스템이 열화 (Thermalization) 성질을 만족한다고 가정합니다. 즉, 초기 상태의 에너지 분산이 작을 때, 국소적 서브시스템은 시간이 지남에 따라 해당 해밀토니안의 깁스 상태로 수렴합니다.
• 엔트로피 보존 원리:
  • 이상적인 단열 진화에서 전체 시스템의 엔트로피는 보존되지만, 국소적 엔트로피 밀도 (Entropy density of local reduced density matrices) 는 열역학적 극한 (Thermodynamic limit) 에서 보존된다는 것을 수학적으로 증명했습니다.
  • 이를 통해 초기 엔트로피와 최종 에너지 밀도를 측정하여 최종 온도 ($\beta_f$) 를 계산할 수 있습니다:
    $$\beta_f = \frac{\partial_{\beta_0} S_0}{\partial_{\beta_0} E_f}$$
• 잡음 측정 및 보정 (Mirror Circuit):
  • 하드웨어 잡음으로 인한 엔트로피 증가를 정량화하기 위해 미러 회로 (Mirror Circuit) 기법을 사용합니다.
  • 단열 진화의 절반까지 진행한 후, 게이트를 역순으로 적용하여 초기 상태로 되돌리는 회로를 구성합니다.
  • 잡음이 없는 경우 초기 상태로 완전히 돌아오지만, 잡음이 있는 경우 엔트로피가 증가합니다. 이 과정에서 $X$ 관측량을 측정하여 엔트로피 밀도를 추정합니다.
• 단열성 (Adiabaticity) 검증:
  • 진화가 충분히 느려 단열적인지 확인하기 위해, 역회로 사이에 목표 해밀토니안 ($H_f$) 의 짧은 시간 진화를 삽입하는 테스트를 제안합니다. 단열성이 유지되면 엔트로피 측정값이 변하지 않지만, 단열성이 깨지면 측정값이 크게 달라집니다.

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

A. 이론적 증명 및 수치적 검증

• 국소적 열 상태의 단열 준비: 이상적인 단열 진화가 국소적 열 평형 상태를 생성함을 증명했습니다.
• 엔트로피 밀도 보존: 열역학적 극한에서 단열 진화가 국소적 엔트로피 밀도를 보존함을 유도하고, 수치 시뮬레이션 (1D Ising 모델) 을 통해 검증했습니다.
• 잡음에 대한 강건성 (Noise Resilience):
  • 핵심 발견: 디폴라라이징 잡음 (Depolarizing noise) 하에서, 잡음이 에너지와 엔트로피 모두에 영향을 미치지만, 에너지 - 온도 ($E-\beta$) 곡선은 잡음 강도에 거의 무관하게 동일한 곡선을 따릅니다.
  • 이는 잡음이 있는 하드웨어에서 준비된 상태가 잡음 없는 하드웨어에서 더 높은 온도에서 준비된 상태와 동등함을 의미하며, 프로토콜이 잡음에 매우 강건함을 보여줍니다.
  • 다만, 잡음은 달성 가능한 최소 온도 (최대 $\beta$) 를 제한합니다.

B. 실제 하드웨어 실험 (Quantinuum H1-1)

• 실험 설정: Quantinuum 의 이온 트랩 장치 (H1-1, 20 큐비트) 를 사용하여 $5 \times 4$ 크기의 2 차원 Ising 모델의 열 상태를 준비했습니다.
• 구현: 640 개의 2-큐비트 게이트로 구성된 회로를 실행했습니다.
• 측정 결과:
  • 엔트로피 밀도: $0.166 \pm 0.0045$ (하드웨어 잡음으로 인한 엔트로피 증가 측정).
  • 준비된 상태의 온도: Ising 모델의 갭 (Gap) 대비 약 0.52 배인 $T = 2.56 \pm 0.26$ (단위: 에너지 스케일).
  • 오차 분석: 하드웨어에서 측정된 에너지와 엔트로피의 불일치는 주로 누출 (Leakage) 오류 (큐비트가 계산 공간 밖으로 이탈) 에 기인한 것으로 분석되었습니다. 누출은 엔트로피를 증가시키지 않고 측정값을 왜곡할 수 있습니다.

4. 의의 및 결론 (Significance)

1. 실용적인 열 상태 준비: 전체 시스템의 정확한 깁스 상태 대신 국소적 열 평형 상태를 목표로 함으로써, 실제 양자 하드웨어에서 실행 가능한 효율적인 프로토콜을 제시했습니다.
2. 잡음 내성 (Noise Resilience): 제안된 프로토콜이 하드웨어 잡음에 대해 매우 강건하며, 에너지 - 온도 관계를 통해 잡음의 영향을 보정하거나 무시할 수 있음을 입증했습니다. 이는 NISQ (Noisy Intermediate-Scale Quantum) 시대에 의미 있는 결과입니다.
3. 새로운 벤치마킹 도구:
   • 미러 회로를 이용한 엔트로피 측정법은 양자 하드웨어의 잡음 특성을 정밀하게 벤치마킹하는 새로운 지표가 됩니다.
   • 단열성 검증 프로토콜은 실제 하드웨어에서 진화의 품질을 평가하는 데 유용합니다.
4. 향후 전망: 이 연구는 양자 시뮬레이션의 새로운 패러다임을 제시하며, 향후 시스템 크기, 온도, 해밀토니안 특성에 따른 알고리즘의 실행 시간 스케일링 연구와 다른 열 상태 준비 프로토콜과의 효율성 비교 연구가 필요함을 시사합니다.

요약하자면, 이 논문은 잡음 있는 양자 컴퓨터에서 단열 진화를 통해 국소적 열 상태를 준비하는 새로운 방법을 제안하고, 이론적 증명, 수치 시뮬레이션, 그리고 실제 하드웨어 실험 (Quantinuum H1-1) 을 통해 그 유효성과 잡음 내성을 입증했습니다. 특히, 엔트로피와 잡음의 관계를 규명하여 양자 하드웨어의 성능을 벤치마킹하는 새로운 기준을 마련했다는 점에서 큰 의의가 있습니다.