[논문 리뷰] Sign Problem in Quantum Monte Carlo Simulation

Gaopei Pan, Zi Yang Meng|arXiv (Cornell University)|2022. 04. 19.

Physics of Superconductivity and Magnetism참고 문헌 92인용 수 10

한 줄 요약

이 논문은 다양한 페르미온 및 보존 모델에서 양자 몬테카를로(QMC) 시뮬레이션의 부호 문제에 대한 종합적인 교육적 개요를 제공한다. 부호 문제를 기저 기반에 의존하는 것으로 식별하고, 최근의 진전—특히 유한 크기의 분할 함수 분석—을 통해 저온에서 평균 부호의 대수적 스케일링을 규명함으로써, 이전에는 해결하기 어려웠던 확장된 허브 및 양자 모리 띠 격자 모델의 성공적인 시뮬레이션을 가능하게 한다.

ABSTRACT

Sign problem in quantum Monte Carlo (QMC) simulation appears to be an extremely hard yet interesting problem. In this article, we present a pedagogical overview on the origin of the sign problem in various quantum Monte Carlo simulation techniques, ranging from the world-line and stochastic series expansion Monte Carlo for boson and spin systems to the determinant and momentum-space quantum Monte Carlo for interacting fermions. We point out the basis dependency of the sign problem and summarize the progresses to cure, ease and even make use of the sign problem over the years, such as symmetry analysis of the underlying Hamiltonian, basis optimization in writting down the partition functions and many others. Moreover, we state that although traditional lore saying that in case of sign problem, the average sign in QMC simulation approaches zero exponentially fast with the space-time volume of the configurational space, there are recent breakthroughs showing this is not always the case and based on the properties of the partition function for finite size systems, one could distinguish when the average sign has the usual exponential scaling and when it is bestowed with an algebraic scaling at the low temperature limit. Fermionic QMC simulations with such algebraic sign problems have been successfully carried out for extended Hubbard-type and quantum Moiré lattice models.

연구 동기 및 목표

• 세계선, 스 tochastic 시리즈 전개, 결정식, 및 운동량 공간 QMC를 포함한 다양한 QMC 기법에서 부호 문제의 기원과 기저 의존성을 명확히 하기.
• 저온에서 QMC 시뮬레이션의 평균 부호가 기존의 가정과는 달리 기하급수적 스케일링이 아닌 대수적 스케일링으로 나타나는 조건을 조사하기.
• 대칭 분석, 기저 최적화, 고급 샘플링 기법 등을 포함한 부호 문제를 피하거나 완화하거나 활용하는 데 사용되는 기존 방법들을 요약하기.
• 평균 부호의 대수적 스케일링이 이전에는 해결하기 어려웠던 강한 상호작용 페르미온 시스템의 실현 가능한 QMC 시뮬레이션을 가능하게 한다는 것을 보여주기.
• 위상수학, 대칭성, 및 유한 크기의 분할 함수 분석의 통찰을 통합하여 부호 문제에 대한 통합적 시각을 제공하기.

제안 방법

• 분할 함수의 구조와 기저 의존성의 관점에서 부호 문제를 분석하여, 부호 문제가 본질적이지 않고 선택된 표현에 따라 달라진다는 것을 보여준다.
• 유한 크기의 분할 함수 분석을 적용하여 저온에서 평균 부호의 상한을 유도하고, 기하급수적 스케일링과 대수적 스케일링 행동을 구분한다.
• 기존의 부호 문제 없음 조건을 검토한다. 예를 들어, 반유니터리 대칭성, 모리 시스템에서의 $C_2T + C_2P$ 대칭성, 메이저라나 양성성 등.
• 작도가 상수인(모듈로 $2\pi$) Lefschetz 심플의 응용을 고려하여, 각 심플 내에서 부호 문제가 발생하지 않음을 보장하고, 복소 적분을 통한 정확한 분할 함수 평가를 가능하게 한다.
• 재가중 기법과 교차 수 $n_\sigma = \langle \mathcal{K}_\sigma, \mathbb{R}^n \rangle$을 활용하여 복소 경로 적분을 통한 분할 함수 계산을 수행한다.
• Lefschetz 심플과 하이브리드 몬테카를로를 조합하여, $L=6$, $\beta=20$ 조건에서 유한 화학적 포텐셜에서 허브 모델의 허브락 격자에서의 시뮬레이션을 수행한다.

실험 결과

연구 질문

• RQ1 QMC 시뮬레이션에서 평균 부호가 시스템 크기와 함께 기하급수적으로 스케일링되는 것이 아니라, 어떤 조건에서 대수적으로 스케일링되는가?
• RQ2 기저 선택이 양자 몬테카를로 시뮬레이션에서 부호 문제의 존재나 심각도에 어떤 영향을 미치는가?
• RQ3 대칭 분석, 기저 최적화, 또는 Lefschetz 심플과 같은 위상수학적 방법을 통해 부호 문제를 치유하거나 완화할 수 있는가?
• RQ4 유한 크기의 분할 함수가 저온 근처에서 평균 부호의 스케일링 행동을 결정하는 데 어떤 역할을 하는가?
• RQ5 확장된 허브 모델이나 모리 격자 시스템과 같은 특정 페르미온 모델에서는 대수적 부호 스케일링이 비록 복잡한 부호 문제를 가졌더라도 실현 가능한 QMC 시뮬레이션을 가능하게 하는가?

주요 결과

• QMC 시뮬레이션에서 평균 부호가 항상 시스템 크기와 함께 기하급수적으로 스케일링되는 것은 아니며, 특정 모델에서는 저온에서 대수적 스케일링을 보이며 실현 가능한 시뮬레이션을 가능하게 한다.
• 확장된 허브형 및 양자 모리 격자 모델의 페르미온 QMC 시뮬레이션은 이전에는 해결하기 어려웠지만, 평균 부호의 대수적 스케일링 덕분에 성공적으로 수행되었다.
• 유한 크기의 분할 함수 분석을 통해 부호 문제의 심각도가 시스템 크기와 온도의 상호작용에 따라 달라지며, 특정 저온 영역에서 대수적 스케일링이 나타남을 규명하였다.
• Lefschetz 심플은 작도의 허수 부분이 상수(모듈로 $2\pi$)임을 보장하여 각 심플 내에서 부호 문제가 발생하지 않으며, 정확한 분할 함수 평가를 위한 복소 경로 적분을 가능하게 한다.
• 교차 수 $n_\sigma = \langle \mathcal{K}_\sigma, \mathbb{R}^n \rangle$는 각 안정점이 분할 함수에 기여하는 정도를 결정하며, 심플 분해를 통한 정밀한 계산이 가능하다.
• $L=6$, $\beta=20$ 조건에서 Lefschetz 심플과 하이브리드 몬테카를로를 활용하여 허브 모델의 허브락 격자에서의 시뮬레이션이 성공적으로 수행되었으며, 이는 이 방법이 부호 문제를 가진 시스템에 대해 실현 가능함을 보여준다.