Absence of non-compactly supported minimisers for the Lieb-Oxford bound

기술적 요약: Lieb–Oxford Bound에 대한 비콤팩트 지지(Non-Compactly Supported) 최소화자의 부재

문제 정의
본 논문은 전하를 띤 입자계의 간접적인 쿨롱 또는 리스(Riesz) 에너지에 대한 근본적인 하한인 Lieb–Oxford (LO) 바운드의 수학적 성질을 다룬다. LO 부등식은 임의의 일입자 밀도 $\rho_P$를 갖는 $(\mathbb{R}^d)^N$ 상의 확률 측도 $P$에 대하여, 다체 상호작용 에너지와 하트리(Hartree) 에너지의 차이가 $-c_{LO} \int \rho_P^{1+s/d}$보다 작거나 같음을 보장하는 보편적인 상수 $c_{LO}(s, d)$가 존재함을 주장한다.

$c_{LO}(s, d)$는 보편적인 상수(입자 수 $N$에 독립적)이지만, 저자들은 $N$이 고정된 유한한 경우를 조사한다. 이들은 모든 $N$-입자 분포에 대해 부등식이 성립하도록 하는 가장 작은 상수 $c_{LO}(s, d, N)$를 찾는 최적화 문제를 고려한다. 핵심 질문은 이 범함수의 밀도 $\rho$가 갖는 구조적 본질이다. 구체적으로, 저자들은 이러한 최소화자가 콤팩트 지지(compactly supported)를 가져야 하는지 여부를 탐구한다. 이 성질은 Lieb와 Oxford에 의해 단일 입자 사례($N=1$)에 대해서는 이미 확립되었으나, 화학 문헌의 휴리스틱한 논거들은 이것이 일반적인 $N$에 대해서도 성립할 수 있음을 시사해 왔다.

방법론
증명은 범함수 $F(\eta) = C(\eta) - \frac{1}{2}D(\eta) + c_{LO} \int \eta^{1+s/d}$에 대한 변분 분석에 의존한다. 여기서 $C(\eta)$는 최적 운송 비용(리스 비용을 갖는 멀티마진 최적 운송)을 나타내고, $D(\eta)$는 하트리 에너지를 나타낸다.

1. 최적 운송 쌍대성 (Optimal Transport Duality): 저자들은 멀티마진 최적 운송 문제에 대한 칸토로비치 쌍대성(Kantorovich duality)을 활용한다. 이들은 칸토로비치 포텐셜(KP) $\phi$가 모든 곳에서 엄격하게 연속인 함수가 아니라 르베그 공간의 원소인 "강한" 형태의 쌍대성(KD'로 표기)을 사용하여 작업한다. 이들은 이 쌍대 문제의 극대화자의 존재를 확립하고, 이를 변분 부등식을 통해 특징짓는다.
2. 변분적 특징 규명 (Variational Characterization): LO 최소화를 볼록 최적화 문제로 취급함으로써, 저자들은 최적성을 위한 필요 조건을 도출한다. 이들은 $\phi_\rho = U_\rho - \beta_s c_{LO} \rho^{s/d}$ ($\beta_s = 1+s/d$, $U_\rho$는 $\rho$의 리스 포텐셜)가 쌍대 문제의 칸토로비치 포텐셜 역할을 함을 보인다.
3. 정칙성 부트스트래핑 (Regularity Bootstrapping): 밀도의 정칙성을 증명하는 것은 결정적인 기술적 단계이다. 최적성 조건으로부터 도출된 내부 추정치와 하디-리틀우드-소볼레프(HLS) 부등식을 사용하여, 저자들은 만약 $\rho$가 최소화자라면 그것이 더 높은 국소 적분 가능성을 가져야 함을 입증한다. 반복적인 논증을 통해, 저자들은 $\rho$가 연속이며 그 지지의 경계에서 0으로 소멸함을 증명한다.
4. 점근적 분석 (Asymptotic Analysis): 저자들은 칸토로비치 포텐셜의 점근적 거동에 관한 최근 결과들을 활용한다. 구체적으로, 지지(support)가 유계가 아닌 밀도와 관련된 포텐셜의 경우, 포텐셜이 무한대에서 $N-1/|x|^s + C_\phi$처럼 행동한다는 사실을 이용한다.

주요 기여 및 결과
본 논문의 주요 결과는 다음과 같은 **정리 1 (Theorem 1)**이다:

$0 < s < d$이고, $\int \rho = N \ge 1$을 만족하는 $\rho \in L^1 \cap L^{1+s/d}(\mathbb{R}^d, \mathbb{R}^+)$인 $\들이$ 고정된 입자 수 $N$에 대한 Lieb-Oxford 바운드의 최소자라면, $\rho$는 반드시 콤팩트 지지되어야 한다.

증명은 귀류법으로 진행된다:

• 저자들은 $\rho$의 지지가 유계가 아니라고 가정한다.
• 최적성 조건에 나타나는 상수 $c$가 칸토로비치 포텐셜의 무한대에서의 극한($C_\phi$)과 같음을 확립한다.
• 무한대에서의 리스 포텐셜 $U_\rho$와 포텐셜 $\phi$의 거동을 분석한다.
• 리스 포텐셜의 점근적 하한(이는 $N/|x|^s$에 비례함)을 칸토로비치 포텐셜의 점근적 거동(이는 $(N-1)/|x|^s$에 비례함)과 비교함으로써 모순을 도출한다. 만약 지지가 무한대까지 확장된다면 최적성을 위한 부등식을 만족할 수 없다.

또한, 논문은 **정리 2 (Theorem 2)**를 제공하여 강한 쌍대성 형식(KD')에 대한 칸토로비치 포텐셜의 존재 및 정칙성 성질을 공식화하며, 이들이 $c$-공액(c-conjugated)이고, 립시츠 연속(Lipschitz-continuous)이며, 균등 유계(uniformly bounded)될 수 있음을 보여준다.

의의 및 주장
본 논문은 알려진 단일 입자 사례의 결과를 임의의 유한한 입자 수 $N \ge 1$에 대해 확장한다고 주장한다. 저자들은 이러한 최소자의 존재를 증명하는 것이 아님을 명시하며, 이는 여전히 미해결 과제로 남아 있다고 언급한다. 대신, 이들의 기여는 구조적 특징 규명에 있다: 만약 고정된 $N$에 대해 최소자가 존재한다면, 그것은 반드시 콤팩트 지지되어야 한다.

이 결과는 비콤팩트 지지 최소자의 가능성을 배제함으로써, Lieb-Oxford 문제에서 최적 밀도를 탐색하는 범위를 좁혀준다. 저자들은 자신의 증명이 최근 문헌에서 확립된 칸토로비치 포텐셜의 점근적 거동에 의존하고 있으며, 결과가 임의의 차원 $d$에서 일반적인 리스 상호작용($0 < s < d$)에 대해 성립함을 강조한다. 이 연구는 밀도 범함수 이론(DFT)에서 최적 밀도의 국소화(localization)와 관련하여 흔히 가설로 세워지는 가정들에 대한 엄밀한 수학적 토대를 제공한다.