[논문 리뷰] OPTIMAL TRANSPORT WITH COULOMB COST AND THE SEMICLASSICAL LIMIT OF DENSITY FUNCTIONAL THEORY

Ugo Bindini, Luigi De Pascale|arXiv (Cornell University)|2017. 01. 01.

Spectral Theory in Mathematical Physics참고 문헌 22인용 수 4

한 줄 요약

이 논문은 쿨롱 상호작용을 갖는 시스템에 대해 밀도-functional 이론(DFT)에서 Hohenberg-Kohn의 보편적 기능의 양자역학적 한계를 증명함으로써, 플랑크 상수 ℏ → 0일 때의 극한에서, 운동에너지 및 전자-전자 상호작용 기능이 쿨롱 비용을 갖는 다중경계 최적 운반 문제로 수렴함을 보였다. 스칼라 입자 수를 가진 보존계와 2 또는 3개의 입자를 가진 페르미온계의 경우, Γ-수렴과 운동에너지 및 입자 상관관계의 필요한 점근적 행동을 달성하는 새로운 파동함수 구성법을 통해 이 극한이 최적 운반 비용 C(ρ)로 정확히 수렴함을 엄밀히 보였다.

ABSTRACT

We present some progress in the direction of determining the semiclassical limit of the Hoenberg-Kohn universal functional in Density Functional Theory for Coulomb systems. In particular we give a proof of the fact that for Bosonic systems with an arbitrary number of particles the limit is the multimarginal optimal transport problem with Coulomb cost and that the same holds for Fermionic systems with 2 or 3 particles. Comparisons with previous results are reported . The approach is based on some techniques from the optimal transportation theory.

연구 동기 및 목표

• 쿨롱 시스템에 대한 밀도-functional 이론(DFT)에서 Hohenberg-Kohn 보편 기능의 양자역학적 한계를 규명하는 것.
• 다체 양자역학과 쿨롱 비용을 갖는 다중경계 최적 운반 문제 사이의 엄밀한 연결 고리를 설정하는 것.
• 이전 결과를 확장하여 최적 운반 기법을 사용한 직접 증명을 제공함으로써 이전 접근법을 단순화하는 것.
• ℏ → 0 극한에서 최적 운반 비용을 달성하는 명시적 보존 및 페르미온 파동함수 가족을 구성하는 것.
• 대칭 및 반대칭 파동함수 모두에 대해 양자 에너지 기능이 최적 운반 비용 기능 C(ρ)로 Γ-수렴함을 증명하는 것.

제안 방법

• ℏ → 0 근처에서 양자 에너지 기능의 극한을 연구하기 위해 주로 Γ-수렴을 분석적 도구로 사용한다.
• 최적 운반 비용 C(ρ)를 N-체계에 대해 특성화하기 위해 이중성 이론과 Monge-Kantorovich 문제의 성질을 적용한다.
• 위치 공간 밀도가 주어진 ρ ∈ H로 수렴하는 대칭(보존계) 또는 반대칭(페르미온계)인 정규화된 명시적 파동함수(ψℏ)를 구성한다.
• 공간적 국소화와 위상 구조를 갖춘 파동함수 가족을 ε(ℏ) = √ℏ로 매개변수화하여 운동에너지 최소화와 동시에 전자 상관관계 유지함.
• 기울기 추정과 Lp 유계성 추정을 사용하여 운동에너지 항 Tℏ(ψℏ) → 0으로 제어함.
• 전자-전자 상호작용 에너지 Vee(ψℏ)가 관련된 운반 계획 P에 대해 최적 운반 비용 CS(P)로 수렴함을 보임.

실험 결과

연구 질문

• RQ1 쿨롱 시스템에 대한 DFT에서 Hohenberg-Kohn 기능의 양자역학적 한계가 쿨롱 비용을 갖는 다중경계 최적 운반 문제로 수렴하는가?
• RQ2 이 수렴은 보존계와 페르미온계 모두에 대해 성립하는가, 특히 N = 2 및 N = 3 페르미온의 경우에 대해 성립하는가?
• RQ3 파동함수 구성법이 ℏ → 0 극한에서 최적 운반 비용을 달성하는 데 어떤 역할을 하는가?
• RQ4 Γ-수렴을 어떻게 사용하여 양자 다체 에너지 기능과 최적 운반 비용 사이의 엄밀한 연결을 확립할 수 있는가?
• RQ5 근사 파동함수의 운동에너지가 양자역학적 극한에서 0으로 수렴하도록 제어할 수 있는가?

주요 결과

• 모든 ρ ∈ H 및 임의의 N ∈ ℕ에 대해, 보존계 기능 F^S_ℏ(ρ)는 ℏ → 0일 때 C(ρ)로 Γ-수렴한다.
• d = 1, 2, 3, 4 및 N = 2, 3에 대해, 페르미온계 기능 F^A_ℏ(ρ)는 ℏ → 0일 때 C(ρ)로 Γ-수렴한다.
• 구성된 파동함수 ψℏ의 운동에너지 Tℏ(ψℏ)는 ℏ → 0일 때 0으로 수렴하며, ∥√ρ∥_{H^1}과 ℏ를 포함한 명시적 유계성이 존재한다.
• 전자-전자 상호작용 에너지 Vee(ψℏ)는 관련된 운반 계획 P에 대해 최적 운반 비용 CS(P)로 수렴한다.
• 파동함수 구성법은 필요한 점근적 행동을 달성한다: |ψℏ|² → P 이고, ∇ψℏ는 Tℏ(ψℏ) → 0로 제어된다.
• 증명은 등비강성 및 Γ-하한/Γ-상한 부등식을 확립하여 보존계 및 페르미온계의 Γ-수렴 증명을 완성한다.