[논문 리뷰] Toward Quantum Computing Phase Diagrams of Gauge Theories with Thermal Pure Quantum States

Zohreh Davoudi, Niklas Mueller외 1명|arXiv (Cornell University)|2022. 08. 28.

Advanced Thermodynamics and Statistical Mechanics참고 문헌 144인용 수 9

한 줄 요약

이 논문은 유한온도 양자역학 이론의 상도를 양자컴퓨터에서 열순수양자(Thermal Pure Quantum, TPQ) 상태를 사용하여 시뮬레이션하는 새로운 방법을 제안한다. 이 방법은 몬테카를로 방법에서 발생하는 부호 문제를 극복하며, 가우스 법칙 페널티를 활용해 허용 가능한 힐베르트 공간으로 임의의 순수 상태를 이미너리 시간 진화를 통해 투영함으로써 열역학적 관측량을 단일 상태로 안정적으로 추정할 수 있다. 이는 물질을 포함한 1+1차원 Z₂ 격자 양자역학 이론에서 카이랄 상전이를 성공적으로 맵핑하는 데 성공하였다.

ABSTRACT

The phase diagram of strong interactions in nature at finite temperature and chemical potential remains largely unexplored theoretically due to inadequacy of Monte-Carlo-based computational techniques in overcoming a sign problem. Quantum computing offers a sign-problem-free approach but evaluating thermal expectation values is generally resource intensive on quantum computers. To facilitate thermodynamic studies of gauge theories, we propose a generalization of thermal-pure-quantum-state formulation of statistical mechanics applied to constrained gauge-theory dynamics, and numerically demonstrate that the phase diagram of a simple low-dimensional gauge theory is robustly determined using this approach, including mapping a chiral phase transition in the model at finite temperature and chemical potential. Quantum algorithms, resource requirements, and algorithmic and hardware error analysis are further discussed to motivate future implementations. Thermal pure quantum states, therefore, may present a suitable candidate for efficient thermal-state preparation in gauge theories in the era of quantum computing.

연구 동기 및 목표

• 유한온도 양자역학 이론의 몬테카를로 시뮬레이션에서 지속적인 부호 문제를 해결하기 위해, 특히 비제로 화학적 포텐셜 조건에서의 문제를 다루는 것.
• 격자 양자역학 이론에서 열기대값을 계산하기 위한 자원 효율적이고 근현실적 양자 알고리즘을 개발하는 것.
• 강한 상관관계를 가진 체계, 예를 들어 QCD 물질과 같은 체계에서 상도, 특히 카이랄 전이를 결정하는 데에 기여하는 것.
• 혼합상태 준비에 비용이 많이 들기 때문에, 단일 순수 양자 상태만을 사용하여 물리적 열상태를 준비하는 프레임워크를 제공하는 것.
• 현재 및 근현실적 양자 프로세서에서의 실용적 구현을 위한 오차 내성 및 하드웨어 요구사항을 분석하는 것.

제안 방법

• 이미너리 시간 진화에 가우스 법칙 페널티 항을 도입하여 제약 조건이 있는 양자역학 이론에 대해 열순수양자(Thermal Pure Quantum, TPQ) 상태 형식을 일반화한다.
• 임의의 초기 순수 상태를 사용하고, 비물리적 상태에 대한 페널티가 포함된 해밀토니안에 따라 이를 진화시켜 물리적 부분공간으로 투영한다.
• 비유니터리 진화를 시뮬레이션하기 위해 양자 이미너리 시간 진화(QITE)를 사용하고, 제품 공식 분해를 통해 이를 구현한다.
• 투영된 상태의 에너지를 최소화하기 위해 변분 양자 알고리즘 프레임워크를 적용하여 열유사 상태로 수렴함을 보장한다.
• 주로 발생하는 하드웨어 노이즈 유형에 맞게 링크 연산자(σᶻ 대비 σˣ)의 이중 약속을 적용하여 오차 내성을 조정할 수 있다.
• 실행 시간 스케일링과 자원 요구사항을 분석하여, 시스템 크기와 오차 허용 오차의 역수에 대해 준다항식 스케일링을 보여준다.

실험 결과

연구 질문

• RQ1 지속적인 대칭을 가진 양자역학 이론에서 열순수양자 상태를 어떻게 응용하여 유한온도 상전이를 시뮬레이션할 수 있는가?
• RQ2 제약 조건이 있는 양자역학 이론 힐베르트 공간에서 단일 순수 상태가 열기대값을 얼마나 정확하게 근사할 수 있는가?
• RQ3 하드웨어 노이즈가 TPQ 상태 준비에 미치는 영향은 무엇이며, 연산자 약속 선택을 통해 오차 내성을 향상시킬 수 있는가?
• RQ4 격자 양자역학 이론에서 QITE 기반 TPQ 상태 준비 시 자원 요구사항은 시스템 크기와 원하는 정확도에 따라 어떻게 스케일링되는가?
• RQ5 이 방법을 사용하여 유한온도와 화학적 포텐셜 조건에서 1+1차원 Z₂ 격자 양자역학 이론에 물질을 포함한 카이랄 상전이를 맵핑할 수 있는가?

주요 결과

• 이 방법은 단일 TPQ 상태만을 사용하여 유한온도와 화학적 포텐셜 조건에서 물질을 포함한 1+1차원 Z₂ 격자 양자역학 이론에서 카이랄 상전이를 성공적으로 맵핑하였다.
• 투영된 TPQ 상태를 통한 열기대값 계산은 시스템 크기가 증가할수록 진짜 열기대값으로 지수적으로 수렴한다.
• 가우스 법칙 위반을 일으키는 유니터리 오차에 대해서도 이 방법은 강건한데, 이미너리 시간 진화 중 페널티 항이 이러한 성분을 억제하기 때문이다.
• 링크 연산자 약속(σᶻ 또는 σˣ)의 선택을 통해 주로 발생하는 하드웨어 노이즈 유형에 맞게 오차 내성을 조정할 수 있어 상태 준비 정확도를 향상시킬 수 있다.
• QITE 알고리즘의 실행 시간 스케일링은 시스템 크기와 오차 허용 오차의 역수에 대해 준다항식이며, 작은 격자에서 실용 가능성을 입증하였다.
• 수치 시뮬레이션은 제한된 큐비트 자원과 노이즈 조건에서도 상도 재구성에 매우 높은 정확도를 달성함을 확인하였다.