[논문 리뷰] Gibbs measures based on 1D (an)harmonic oscillators as mean-field limits

Mathieu Lewin, Phan Thành Nam외 1명|arXiv (Cornell University)|2017. 03. 28.

Advanced Mathematical Physics Problems참고 문헌 34인용 수 16

한 줄 요약

이 논문은 1차원 (비조화) 진동자와 비조화 잡힘 포텐셜을 갖는 기브스 측도가 다체 보존 양자 시스템의 평균장 또는 고온 근사에서 유도될 수 있음을 밝힌다. 비트레이스클래스 밀도 행렬의 과제를 극복하기 위해 힐베르트-슈미트 추정을 도입함으로써, 저자들은 비선형 슈뢰딩거 기반 기브스 측도의 밀도 행렬로의 강한 수렴을 증명한다.

ABSTRACT

We prove that Gibbs measures based on 1D defocusing nonlinear Schr{\\"o}dinger functionals with sub-harmonic trapping can be obtained as the mean-field/large temperature limit of the corresponding grand-canonical ensemble for many bosons. The limit measure is supported on Sobolev spaces of negative regularity and the corresponding density matrices are not trace-class. The general proof strategy is that of a previous paper of ours, but we have to complement it with Hilbert-Schmidt estimates on reduced density matrices.

연구 동기 및 목표

• 기본 가우시안 측도가 L²에 지지되지 않으며, 감소 밀도 행렬이 비트레이스클래스가 아닐 경우에도 비선형 기브스 측도의 평균장 유도를 확장하는 것.
• 비조화 포텐셜이 $-\partial_x^2 + |x|^s$, $s > 1$ 형태인 1차원 (비조화) 진동자에 대해, 이는 비트레이스클래스와 위크-정규화된 경우 사이의 중간 영역에 해당한다.
• 기존의 비트레이스클래스 수렴이 실패할 경우, 더 약한 위상공간—특히 힐베르트-슈미트 및 국소 비트레이스클래스—에서 수렴을 가능하게 하는 새로운 분석 프레임워크를 개발하는 것.
• 비트레이스클래스 감소 밀도 행렬이 평균장 근사에서 기술적 장벽을 만드는 문제를 해결함으로써 [34]에서 시작된 프로그램을 완성하는 것.

제안 방법

• 기존에 비트레이스클래스 감소 밀도 행렬에 대해서만 유효했던 [34]의 평균장 근사 전략을, 이러한 연산자가 비트레이스클래스가 아닐 경우에도 적용 가능하도록 조정하는 것.
• 약한 위상공간에서의 수렴을 제어하기 위해 감소 밀도 행렬 $\Gamma_n^{(k)}$ 에 대한 힐베르트-슈미트 추정을 도입하는 것.
• 저에너지 및 고에너지 성분의 기여를 분리하기 위해 분해식 $\Gamma_n^{(k)} = P^{\otimes k} \Gamma_n^{(k)} + Q \otimes \mathbb{1}^{\otimes k-1} \Gamma_n^{(k)}$ 를 사용하는 것.
• 입자 수에 대한 합을 $\varepsilon_n m \leq M$ 과 $\varepsilon_n m > M$ 으로 분할하여 $\varepsilon_n m$ 에 대한 거듭제곱 상한을 사용해 $\varepsilon_n^k \Gamma_n^{(k)}$ 의 트레이스를 추정하는 것.
• 비트레이스클래스에서의 약한-* 수렴성과 $\operatorname{Tr}[(\varepsilon_n \mathcal{N})^{\ell} \Gamma_n]$ 의 균일 유계성을 활용하여 나머지 항을 제어하는 것.
• 최종적으로 $P \to \mathbb{1}$ 과 $M \to \infty$ 의 극한을 취함으로써, $\varepsilon_n^k \Gamma_n^{(k)}$ 가 비트레이스클래스에서 $\gamma^{(k)}$ 로의 강한 수렴을 도출하는 것.

실험 결과

연구 질문

• RQ1 비트레이스클래스 감소 밀도 행렬이 존재함에도 불구하고, $s > 1$ 인 1차원 (비조화) 진동자 기반 기브스 측도가 다체 양자 시스템의 평균장 근사로 유도될 수 있는가?
• RQ2 기존의 비트레이스클래스 위상공간에서 수렴이 실패할 경우, 어떤 분석 기법이 필요할까?
• RQ3 [34]의 평균장 유도 프로그램을, $L^2$ 에선 지지되지 않지만 $L^p$ ($p > 2$) 에서 지지되는 가우시안 측도에 대해 확장할 수 있는가?
• RQ4 힐베르트-슈미트 추정을 어떻게 활용하여 비트레이스클래스와 정규화된 영역 사이의 간극을 메워 기브스 측도의 유도를 가능하게 할 수 있는가?
• RQ5 초기 밀도 행렬이 비트레이스클래스가 아닐 경우, 평균장 근사에서 감소 밀도 행렬의 강한 수렴이 성립하는가?

주요 결과

• 한계 기브스 측도는 낮은 정규성의 소볼레프 공간에 지지되어 있어, 기저가 되는 장의 적분 가능성과 정규성의 낮음을 시사한다.
• 한계 측도의 감소 밀도 행렬은 비트레이스클래스가 아니며, 이는 이전 연구에서 사용된 표준 수렴 기법을 무효화한다.
• 비트레이스클래스의 구조가 없음에도 불구하고, 저자들은 힐베르트-슈미트 추정을 통해 모든 $k \geq 1$ 에 대해 $\varepsilon_n^k \Gamma_n^{(k)}$ 가 비트레이스클래스에서 $\gamma^{(k)}$ 로의 강한 수렴을 증명한다.
• 비조화 포텐셜이 $-\partial_x^2 + |x|^s$ 인 1차원 (비조화) 진동자에 대해, $s > 1$ 인 경우에 대해 수렴이 성립하며, 조화 진동자 경우 $s = 2$ 도 포함된다.
• 특정 포텐셜의 감쇠 성질을 활용함으로써 정규화(예: 위크 순서)를 피함으로써 상호작용 측도가 정규화 없이 잘 정의됨을 보장한다.
• 증명 과정에서 $\limsup_{n\to\infty} \varepsilon_n^k \operatorname{Tr}[\Gamma_n^{(k)}] \leq \operatorname{Tr}[\gamma^{(k)}]$ 를 확립하였으며, 극한에서 등호가 성립함을 확인함으로써 비트레이스클래스에서의 수렴이 확인된다.