[논문 리뷰] Toward an Automated-Algebra Framework for High Orders in the Virial Expansion of Quantum Matter

A. J. Czejdo, Joaquín E. Drut외 2명|arXiv (Cornell University)|2022. 01. 24.

Cold Atom Physics and Bose-Einstein Condensates참고 문헌 75인용 수 5

한 줄 요약

이 논문은 복소시간 이산화와 전이행렬 분해를 기반으로 한 자동대수 프레임워크를 제안하여 양자 다체계에서 고차항 비르일 계수를 계산한다. 이는 3차 이상의 비가역적, 해석적, 다량 병렬 계산을 가능하게 하여 열역학적 및 상관 함수를 초과한다. 이 방법은 강한 상호작용을 가진 페르미 가스에서 b5까지 정밀한 결과를 도출하며, 트랩에 봉인된 시스템, 중성자 물질, 탄의 접촉 및 운동량 분포와 같은 관측 가능량으로의 확장도 가능하다.

ABSTRACT

The virial expansion provides a non-perturbative view into the thermodynamics of quantum many-body systems in dilute regimes. While powerful, the expansion is challenging as calculating its coefficients at each order n requires analyzing (if not solving) the quantum n-body problem. In this work, we present a comprehensive review of automated algebra methods, which we developed to calculate high-order virial coefficients. The methods are computational but non-stochastic, thus avoiding statistical effects; they are also for the most part analytic, not numerical, and amenable to massively parallel computer architectures. We show formalism and results for coefficients characterizing the thermodynamics (pressure, density, energy, static susceptibilities) of homogeneous and harmonically trapped systems and explain how to generalize them to other observables such as the momentum distribution, Tan contact, and the structure factor.

연구 동기 및 목표

• 각 차수에서 N체 문제를 정확히 해결해야 하는 양자다체계에서 고차항 비르일 계수를 계산하는 데 도전하는 것.
• 스토케스틱 방법과 섭동 접근법의 한계를 극복하기 위해 비스토케스틱, 해석적, 계산적으로 확장 가능한 프레임워크를 개발하는 것.
• 압력과 밀도를 초월하여 탄의 접촉, 운동량 분포, 구조 인자와 같은 복잡한 관측 가능량을 포함한 비르일 전개를 일반화하는 것.
• 강한 상호작용을 가진 시스템에서 희박하고 고온의 영역에서 열역학적 및 상관 함수를 정확하고 비가역적으로 계산할 수 있도록 하는 것.
• 조화진동자에 봉인된 페르미 가스, 중성자 물질, 삼체력이 있는 단위 보스 가스와 같은 다양한 양자 시스템으로 방법을 일반화하는 것.

제안 방법

• 복소시간을 이산화하여 양자 통계 연산자를 전이행렬의 곱으로 분해함으로써 정확한 추적 계산을 가능하게 한다.
• 전이행렬 형식을 사용하여 페르미/보스 통계에 맞는 N체 힐베르트 공간에서의 추적 평가를 통해 캐논리컬 분할함수 QN을 계산한다.
• 자동대수를 구현하여 전이행렬의 고차항의 추적을 기호적으로 체계적으로 계산함으로써 수치적 노이즈를 피한다.
• 단위 페르미 가스에서 b5까지의 비르일 계수 bk를 계산하기 위해 이 방법을 적용하며, 해석적 제어와 병렬화 가능성을 확보한다.
• 동일한 프레임워크 내에서 ˆnσ(p) 및 ˆn(r)ˆn(0)와 같은 연산자들을 포함한 추적 계산을 통해 1체 및 2체 연산자로 형식을 일반화한다.
• 시간순서 추적을 전이행렬 형식에 통합하여 상호작용 붕괴와 같은 실시간 진동 문제로의 접근을 확장한다.

실험 결과

연구 질문

• RQ1 스토케스틱 또는 섭동 방법에 의존하지 않고, 강한 상관관계를 가진 양자다체계에서 b3를 초월하는 고차항 비르일 계수를 신뢰성 있게 계산할 수 있는 방법은 무엇인가?
• RQ2 비르일 전개는 열역학적 잠재력 초월하여 운동량 분포 및 구조 인자와 같은 동적 및 상관 관측 가능량을 포함하여 얼마나 일반화될 수 있는가?
• RQ3 자동대수 프레임워크는 중성자 물질 및 단위 보스 가스와 같이 삼체력이 존재하는 시스템으로 확장될 수 있는가?
• RQ4 다체 상관관계는 유한한 퍼지티티에서 운동량 분포와 탄의 접촉을 어떻게 형성하는가?
• RQ5 고차항 기여는 초저온 양자가스에서 상호작용 붕괴와 같은 비평형 과정의 역학에 어떻게 영향을 미치는가?

주요 결과

• 자동대수 프레임워크는 단위 페르미 가스에서 b5까지의 비르일 계수를 정확하게 계산하여 기호적 정확한 계산을 통해 고정밀 결과를 도출하였다.
• 이 방법은 탄의 접촉 및 운동량 분포와 같은 비정상적인 관측 가능량의 계산을 가능하게 하며, 퍼지티티 z에 대한 명시적 전개를 제공하여 저차항에서 ∆nσ(p) ∝ z² − 4z³를 도출하였다.
• 형식은 밀도-밀도 상관관계 ⟨ˆn(r)ˆn(0)⟩와 같은 2체 상관 함수로 자연스럽게 확장되며, 이는 정적 구조 인자 S(q)의 기초가 된다.
• 실시간 진동 문제, 예를 들어 상호작용 붕괴에 대해서도 전이행렬 형식에 시간순서 추적을 통합함으로써 프레임워크가 일반화될 수 있다.
• 이 방법은 완전히 병렬화 가능하며 통계적 불확실성을 피하므로, 향후 더 높은 차수로의 확장을 위한 증가된 계산 자원에 적합하다.
• 이 방법은 희박한 양자물질에서 열역학적 및 상관 함수를 체계적이고 해석적이며 비가역적으로 계산하는 데 있어 체계적인 경로를 제공하며, 강한 상호작용과 복잡한 통계를 가진 시스템을 포함한다.