[논문 리뷰] The strictly-correlated electron functional for spherically symmetric systems revisited

Michael Seidl, Simone Di Marino외 4명|arXiv (Cornell University)|2017. 02. 16.

Superconductivity in MgB2 and Alloys참고 문헌 1인용 수 19

한 줄 요약

이 논문은 구형 대칭 시스템에 대한 엄격히 상관관계 있는 전자(SCE) 기능을 재검토하며, 널리 사용되는 공동운동 함수 추측이 항상 최적은 아니지만, 실제 최소값과 수치적으로 구분되지 않는 상호작용 에너지를 제공한다는 것을 보여준다. 이러한 추측된 사상으로 유도된 기능은 이론적으로 최적화되지 않았음에도 불구하고 정확한 기능 도함수를 생성하므로 실용적인 밀도함수이론 근사에서의 사용이 정당화된다.

ABSTRACT

The strong-interaction limit of the Hohenberg-Kohn functional defines a multimarginal optimal transport problem with Coulomb cost. From physical arguments, the solution of this limit is expected to yield strictly-correlated particle positions, related to each other by co-motion functions (or optimal maps), but the existence of such a deterministic solution in the general three-dimensional case is still an open question. A conjecture for the co-motion functions for radially symmetric densities was presented in Phys.~Rev.~A {\bf 75}, 042511 (2007), and later used to build approximate exchange-correlation functionals for electrons confined in low-density quantum dots. Colombo and Stra [Math.~Models Methods Appl.~Sci., {\bf 26} 1025 (2016)] have recently shown that these conjectured maps are not always optimal. Here we revisit the whole issue both from the formal and numerical point of view, finding that even if the conjectured maps are not always optimal, they still yield an interaction energy (cost) that is numerically very close to the true minimum. We also prove that the functional built from the conjectured maps has the expected functional derivative also when they are not optimal.

연구 동기 및 목표

• 밀도함수이론의 강한 상호작용 한계에서 구형 대칭 밀도에 대한 공동운동 함수 추측의 타당성을 재평가하기 위해.
• 추측된 사상이 엄격히 상관관계 있는 전자(SCE) 체계에서 전자 간 상호작용 에너지의 진정한 최소값을 제공하는지 확인하기 위해.
• 비최적의 공동운동 함수로부터 구성된 SCE 기능의 기능 도함수를 조사하기 위해.
• Colombo와 Stra(2016)가 이전에 보여준 바와 같이, 추측된 사상의 수치적 성공과 이론적 열등성 간의 모순을 해소하기 위해.

제안 방법

• 쿠론 상호작용 비용을 갖는 다중모멘트 최적 운반 문제로 강한 상호작용 한계를 재구성한다.
• Phys. Rev. A 75, 042511 (2007)에서 제안한 추측된 공동운동 함수를 구형 대칭 밀도에 대한 후보 해로 사용한다.
• 추측된 사상으로부터 유도된 상호작용 에너지를 진정한 최소 에너지와 수치적으로 비교하기 위해 수치 계산을 수행한다.
• 해석적으로, 공동운동 함수가 최적이 아닐 경우에도 SCE 기능의 기능 도함수가 여전히 정확함을 증명한다.
• 최적 운반 이론과 함수해석학 도구를 활용하여 추측된 사상의 최적성과 안정성을 평가한다.
• 엔트로피 기반 하한과 로그-소볼레프 부등식을 사용하여 Levy-Lieb 기능과의 이론적 연결을 확립한다.

실험 결과

연구 질문

• RQ1 밀도함수이론의 강한 상호작용 한계에서 구형 대칭 밀도에 대한 공동운동 함수 추측이 최적일까?
• RQ2 추측된 공동운동 함수로부터 계산된 상호작용 에너지와 진정한 최소 에너지 사이의 정량적 차이는 무엇인가?
• RQ3 비최적의 공동운동 함수로부터 구성된 SCE 기능이 여전히 정확한 기능 도함수를 제공하는가?
• RQ4 추측된 사상의 수치적 성공은 이론적 열등성과 어떻게 조화를 이룰 수 있는가?
• RQ5 강한 상호작용 한계에서 SCE 기능과 Levy-Lieb 기능 간의 관계는 무엇인가?

주요 결과

• 추측된 공동운동 함수가 모든 경우에서 상호작용 에너지의 전역 최소값을 제공하지는 않으며, Colombo와 Stra(2016)의 결과를 확인한다.
• 비최적임에도 불구하고, 추측된 사상으로부터 유도된 상호작용 에너지는 테스트된 모든 구형 대칭 시스템에서 진정한 최소값과 수치적으로 구분되지 않는다.
• 사상이 최적이 아닐지라도 추측된 사상으로 구성된 SCE 기능의 기능 도함수는 정확하므로, 코한-샤모 타입 구현에서 일관성이 유지된다.
• 비최적의 공동운동 함수로부터 유도된 기능은 저밀도 양자점에서의 교환-상관 기능의 유효한 근사로 남아 있다.
• 이론적 분석을 통해 추측된 사상으로부터 유도된 SCE 기능이 비최적 조건에서도 유효한 밀도기능이 되기 위한 필요 조건을 충족함을 확인한다.
• 엔트로피 기반 하한을 통해 SCE 기능과 Levy-Lieb 기능 간의 연결을 확립하여, SCE 접근의 강건성을 뒷받침한다.