[논문 리뷰] The effect of quantization on the FCIQMC sign problem

Michael Kolodrubetz, James S. Spencer외 2명|arXiv (Cornell University)|2012. 09. 13.

Advanced Chemical Physics Studies참고 문헌 8인용 수 12

한 줄 요약

이 논문은 풀 구성상호작용 양자 몬테카를로(FCIQMC)에서 페르미온 부호 문제를 제1 양자화(Hartree 곱) 및 제2 양자화(Slater 행렬식) 기저 간 비교를 통해 분석한다. 특정 대칭 조건이 충족되지 않는 한, 제2 양자화 기저에서의 부호 문제의 심각도는 항상 제1 양자화 기저보다 덜 심각하다는 것을 증명하며, 이는 FCIQMC가 영구적으로 부호 문제를 완화시킨다는 것을 보여주며, 특히 소멸 없이도 제1 양자화 방법보다 부호 문제를 더 잘 다룬다는 점을 시사한다.

ABSTRACT

The sign problem in Full Configuration Interaction Quantum Monte Carlo (FCIQMC) without annihilation can be understood as an instability of the psi-particle population to the ground state of the matrix obtained by making all off-diagonal elements of the Hamiltonian negative. Such a matrix, and hence the sign problem, is basis dependent. In this paper we discuss the properties of a physically important basis choice: first versus second quantization. For a given choice of single-particle orbitals, we identify the conditions under which the fermion sign problem in the second quantized basis of antisymmetric Slater determinants is identical to the sign problem in the first quantized basis of unsymmetrized Hartree products. We also show that, when the two differ, the fermion sign problem is always less severe in the second quantized basis. This supports the idea that FCIQMC, even in the absence of annihilation, improves the sign problem relative to first quantized methods. Finally, we point out some theoretically interesting classes of Hamiltonians where first and second quantized sign problems differ, and others where they do not.

연구 동기 및 목표

• 기저 선택이 FCIQMC에서 페르미온 부호 문제에 미치는 영향을 이해하는 것.
• 제1 양자화(Hartree 곱) 및 제2 양자화(Slater 행렬식) 표현 간의 부호 문제 심각도를 비교하는 것.
• 두 기저 간에 부호 문제가 동일하거나 다른 조건을 규명하는 것.
• FCIQMC가 소멸 없이도 제1 양자화 방법에 비해 부호 문제를 개선한다는 것을 입증하는 것.
• 기저 간에 부호 문제가 다를지라도 동일한 경우가 되는 해밀토니안의 유형을 규명하는 것.

제안 방법

• 모든 비대각선 해밀토니안 요소가 음수인 행렬의 기본 상태에 대한 ψ-입자 수의 불안정성으로 FCIQMC 부호 문제를 공식화한다.
• 가상 시간 진화를 모델링하기 위해 전이 행렬 U = I - HΔτ 를 사용한다.
• 부호 문제의 심각도를 정량화하기 위해 제1 및 제2 양자화 표현에서의 전이 행렬의 최대 고유값을 비교한다.
• 변분 원리를 적용하여 제1 양자화 행렬의 주요 고유값이 제2 양자화 행렬의 고유값보다 크거나 같음을 보여준다.
• 부호 문제가 두 기저에서 동일한 조건을 유도하기 위해 해밀토니안의 대칭 성질에 기반한 조건을 유도한다.
• 행렬 요소 간의 관계를 정의하기 위해 반대칭화 연산자 A 를 사용하고, 삼각 부등식 및 부호 상쇄를 이용하여 부등식 t̃F′ > t̃D 를 증명한다.

실험 결과

연구 질문

• RQ1 FCIQMC에서 제1 및 제2 양자화 기저 간에 페르미온 부호 문제가 동일한 조건은 무엇인가?
• RQ2 제2 양자화 기저에서의 부호 문제는 항상 제1 양자화 기저보다 덜 심각한가?
• RQ3 기저 선택은 FCIQMC의 전이 행렬의 주요 고유값에 어떤 영향을 미치는가?
• RQ4 어떤 해밀토니안 유형에서 제1 및 제2 양자화 표현 간에 부호 문제가 다를까?
• RQ5 소멸이 없이도 FCIQMC는 제1 양자화 방법에 비해 부호 문제를 완화시킬 수 있는가?

주요 결과

• 제2 양자화 기저에서의 부호 문제의 심각도는 항상 제1 양자화 기저의 부호 문제보다 덜 심각하거나 동일하다.
• 두 부호 문제가 동일한 것은 해밀토니안이 식 (17)에서 정의된 특정 대칭 조건을 만족할 때에만 성립한다.
• 대칭 조건이 충족되지 않을 경우, 제1 양자화 전이 행렬의 최대 고유값은 제2 양자화 행렬의 고유값보다 엄격히 크며, 이는 더 심각한 부호 문제를 의미한다.
• FCIQMC는 소멸 없이도 기저 선택 덕분에 제1 양자화 방법에 비해 부호 문제를 본질적으로 개선한다.
• 기저 간에 부호 문제가 다를 수 있는 해밀토니안 이론적 유형과 그렇지 않은 유형이 존재하며, 이는 해밀토니안의 구조와 대칭성에 따라 달라진다.
• Δτ → 0 근처에서 해밀토니안 행렬의 기본 상태는 전이 행렬의 주요 고유벡터와 동일하며, 이는 주요 고유값을 부호 문제 심각도의 척도로 사용하는 것이 타당함을 검증한다.