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

तकनीकी सारांश: लीब-ऑक्सफोर्ड बाउंड के लिए गैर-कॉम्पैक्टली सपोर्टेड मिनिमाइज़र्स की अनुपस्थिति

समस्या विवरण
यह शोध पत्र लीब-ऑक्सफोर्ड (LO) बाउंड के मिनिमाइज़र्स के गणितीय गुणों को संबोधित करता है, जो आवेशित कणों के तंत्र में कूलम्ब या रीज़ (Riesz) ऊर्जा के अप्रत्यक्ष भाग के लिए एक मौलिक निचला बाउंड है। LO असमिका यह दावा करती है कि $(\mathbb{R}^d)^N$ पर किसी प्रायिकता माप $P$ के लिए, जिसका एक-शरी घनत्व (one-body density) $\rho_P$ है, एक सार्वभौमिक स्थिरांक $c_{LO}(s, d)$ मौजूद है, जिससे कई-शरी अंतःक्रिया ऊर्जा और हार्टी (Hartree) ऊर्जा के बीच का अंतर $-c_{LO} \int \rho_P^{1+s/d}$ से नीचे सीमित रहता है। यहाँ $C(\eta)$ बहु-मार्जनल ऑप्टिमल ट्रांसपोर्ट लागत (multimarginal optimal transport cost) और $D(\eta)$ हार्टी ऊर्जा को दर्शाता है।

यद्यपि स्थिरांक $c_{LO}(s, d)$ सार्वभौमिक है (कण संख्या $N$ से स्वतंत्र), लेखक उस विशिष्ट मामले की जांच करते हैं जहाँ $N$ निश्चित और परिमित है। वे उस अनुकूलन समस्या (optimization problem) पर विचार करते हैं जहाँ $c_{LO}(s, d, N)$ के लिए सबसे छोटे स्थिरांक को ज्ञात किया जा सके, जिसके लिए सभी $N$-कण वितरणों हेतु असमिका लागू होती है। केंद्रीय प्रश्न घनत्व $\rho$ की संरचनात्मक प्रकृति है जो इस फलन (functional) को न्यूनतम करता है। विशेष रूप से, शोध पत्र यह जांचता है कि क्या ऐसे मिनिमाइज़र्स को कॉम्पैक्टली सपोर्टेड (compactly supported) होना चाहिए। यह गुण पहले केवल एकल-कण मामले ($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) का उपयोग करते हैं। वे द्वैतता के एक "मजबूत" सूत्रीकरण (जिसे KD' कहा जाता है) के साथ काम करते हैं, जहाँ कांतोरोविच क्षमता (Kantorovich potential) $\phi$ एक लेबेग स्पेस का तत्व है, न कि हर जगह परिभाषित एक सख्त निरंतर फलन। वे इस द्वैत समस्या के लिए मैक्सिमाइज़र्स की उपस्थिति स्थापित करते हैं और उन्हें वेरिएशनल असमानताओं के माध्यम से अभिलक्षणिक (characterize) करते हैं।
2. वेरिएशनल अभिलक्षण (Variational Characterization): LO मिनिमाइजेशन को एक उत्तल अनुकूलन समस्या (convex optimization problem) के रूप में मानकर, लेखक $\phi_\rho = U_\rho - \beta_s c_{LO} \rho^{s/d}$ (जहाँ $U_\rho$, $\rho$ का रीज़ पोटेंशियल है और $\beta_s = 1+s/d$) के रूप में द्वैत समस्या के लिए एक कांतोरोविच क्षमता के रूप में कार्य करने के लिए आवश्यक स्थिति व्युत्पन्न करते हैं।
3. रेगुलैरिटी बूटस्ट्रैपिंग (Regularity Bootstrapping): एक महत्वपूर्ण तकनीकी चरण घनत्व $\rho$ की रेगुलैरिटी सिद्ध करना है। अनुकूलन स्थिति से प्राप्त आंतरिक अनुमान और हार्डी-लिटिलवुड-सोलेव (HLS) असमिका का उपयोग करते हुए, लेखक यह प्रदर्शित करते हैं कि यदि $\rho$ एक मिनिमाइज़र है, तो उसमें उच्च स्थानीय समाकलनीयता (local integrability) होनी चाहिए। एक पुनरावृत्ति तर्क (iterative argument) के माध्यम से, वे सिद्ध करते हैं कि $\rho$ निरंतर है और अपने सपोर्ट के किनारे पर शून्य हो जाता है।
4. एसिम्प्टोटिक विश्लेषण (Asymptotic Analysis): लेखक कांतोरोविच पोटेंशियल के एसिम्प्टोटिक व्यवहार के संबंध में हाल के परिणामों का लाभ उठाते हैं। विशेष रूप से, वे इस तथ्य का उपयोग करते हैं कि अनबाउंड सपोर्ट वाले घनत्व से जुड़े पोटेंशियल का अनंत पर व्यवहार $N-1/|x|^s + C_\phi$ के रूप में होता है।

प्रमुख योगदान और परिणाम
शोध पत्र का प्राथमिक परिणाम थ्योरम 1 है, जो कहता है:

मान लीजिए $0 < s < d$ और $\rho \in L^1 \cap L^{1+s/d}(\mathbb{R}^d, \mathbb{R}^+)$ हो जिसका $\int \rho = N \ge 1$ है, जो निश्चित कण संख्या $N$ के लिए लीब-ऑक्सफोर्ड बाउंड के लिए एक मिनिमाइज़र है। तो, $\rho$ को कॉम्पैक्टली सपोर्टेड होना चाहिए।

प्रमाण विरोधाभास द्वारा आगे बढ़ता है:

• लेखक मानते हैं कि $\rho$ का सपोर्ट अनबाउंड है।
• वे स्थापित करते हैं कि अनुकूलन स्थितियों में आने वाला स्थिरांक $c$, अनंत पर कांतोरोविच पोटेंशियल की सीमा ($C_\phi$) के बराबर है।
• वे अनंत पर रीज़ पोटेंशियल $U_\rho$ और पोटेंशियल $\phi$ के व्यवहार का विश्लेषण करते हैं।
• रीज़ पोटेंशियल के एसिम्प्टोटिक लोअर बाउंड (जो $N/|x|^s$ के रूप में स्केल करता है) की कांतोरोविच पोटेंशियल (जो $(N-1)/|x|^s$ के रूप में स्केल करता है) के एसिम्प्टोटिक व्यवहार के साथ तुलना करके, वे एक विरोधाभास उत्पन्न करते हैं। यदि सपोर्ट अनंत तक फैला हुआ है, तो अनुकूलता के लिए आवश्यक असमानता को संतुष्ट नहीं किया जा सकता है।

इसके अतिरिक्त, शोध पत्र थ्योरम 2 प्रदान करता है, जो मजबूत द्वैतता सूत्रीकरण (KD') के लिए कांतोरोविच पोटेंशियल के अस्तित्व और रेगुलैरिटी गुणों को औपचारिक रूप देता है, यह दिखाते हुए कि उन्हें $c$-कंजुगेटेड, लिप्सचिट्ज़-निरंतर (Lipschitz-continuous) और यूनिफॉर्मली बाउंडेड चुना जा सकता है।

महत्व और दावे
शोध पत्र यह दावा करता है कि वह एक-कण मामले से ज्ञात परिणाम को किसी भी परिमित कण संख्या $N \ge 1$ के लिए विस्तारित करता है। लेखक स्पष्ट रूप से कहते हैं कि वे ऐसे मिनिमाइज़र्स के अस्तित्व को सिद्ध नहीं कर रहे हैं, यह नोट करते हुए कि यह एक खुला प्रश्न बना हुआ है। इसके बजाय, उनका योगदान एक संरचनात्मक अभिलक्षण है: यदि निश्चित $N$ के लिए एक मिनिमाइज़र मौजूद है, तो वह अनिवार्य रूप से कॉम्पैक्टली सपोर्टेड होगा।

यह परिणाम गैर-कॉम्पैक्टली सपोर्टेड मिनिमाइज़र्स की संभावना को खारिज करता है, जिससे लीब-ऑक्सफोर्ड समस्या के लिए इष्टतम घनत्व की खोज क्षेत्र को सीमित किया जा सके। लेखक इस बात पर जोर देते हैं कि उनका प्रमाण कांतोरोविच पोटेंशियल के एसिम्प्टोटिक व्यवहार पर निर्भर करता है, जो हाल ही में साहित्य में स्थापित किया गया है, और यह परिणाम किसी भी आयाम $d$ में सामान्य रीज़ इंटरैक्शन ($0 < s < d$) के लिए मान्य है। यह कार्य भौतिकी और रसायन विज्ञान के साहित्य में अक्सर किए जाने वाले घनत्व के स्थानीयकरण (localization) संबंधी धारणाओं के लिए एक कठोर गणितीय आधार प्रदान करता है।