🔢 mathematics

The Lee-Huang-Yang energy for a dilute gas of hard spheres: an upper bound

यह शोध पत्र थर्मोडायनामिक सीमा में हार्ड स्फेयर्स (hard spheres) के एक विरल बोस गैस (dilute Bose gas) के ग्राउंड स्टेट ऊर्जा घनत्व के लिए एक ऊपरी सीमा स्थापित करता है जो निम्न-क्रम के पदों तक प्रसिद्ध ली-हुयांग-यांग (Lee-Huang-Yang) सूत्र से मेल खाती है।

मूल लेखक: Giulia Basti, Morris Brooks, Serena Cenatiempo, Alessandro Olgiati, Benjamin Schlein

प्रकाशित 2026-03-16

📖 6 मिनट में पढ़ें🧠 गहराई से पढ़ें

CC BY 4.0

मूल लेखक: Giulia Basti, Morris Brooks, Serena Cenatiempo, Alessandro Olgiati, Benjamin Schlein

मूल पेपर CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) के तहत लाइसेंस किया गया है। ✨ नीचे दिए गए पेपर की यह व्याख्या AI से तैयार की गई है। इसे लेखकों ने न तो लिखा है, न इसका समर्थन किया है। तकनीकी सटीकता के लिए मूल पेपर देखें। पूरा डिस्क्लेमर पढ़ें

एक विशाल, अदृश्य बक्से के भीतर एक भीड़भाड़ वाले डांस फ्लोर की कल्पना करें। नर्तक बोसॉन्स (bosons) हैं—एक विशेष प्रकार के क्वांटम कण जो एक साथ रहना पसंद करते हैं, लगभग एक सिंक्रोनाइज्ड स्विमिंग टीम की तरह। हालाँकि, ये नर्तक हार्ड स्फेयर्स (hard spheres) भी हैं। इसका मतलब है कि वे कठोर बिलियर्ड बॉल्स की तरह हैं: वे एक ही स्थान पर नहीं रह सकते। यदि दो नर्तक एक-दूसरे के बहुत करीब आते हैं (एक सूक्ष्म त्रिज्या $a$ से भी कम), तो वे तुरंत एक-दूसरे से टकराकर दूर हो जाते हैं। वे एक-दूसरे के ऊपर ओवरलैप नहीं हो सकते।

इस पेपर के भौतिक विज्ञानी, जूलिया बास्टी और उनकी टीम, एक बहुत ही विशिष्ट प्रश्न का उत्तर देने की कोशिश कर रहे हैं: जब कमरा बहुत बड़ा हो और नर्तक एक-दूसरे से बहुत दूर हों, तो इस डांस फ्लोर को चलते रहने के लिए कितनी ऊर्जा की आवश्यकता होती है?

क्वांटम भौतिकी की दुनिया में, यह "ऊर्जा" ग्राउंड स्टेट एनर्जी (ground state energy) है। यह वह न्यूनतम ऊर्जा है जो सिस्टम में तब होती है जब वह जितना संभव हो सके उतना शांत होता है।

प्रसिद्ध रेसिपी (ली-हुआंग-यांग फॉर्मूला)

1957 में, तीन प्रतिभाशाली भौतिकविदों (ली, हुआंग और यांग) ने इस ऊर्जा की भविष्यवाणी करने के लिए एक रेसिपी बनाई। उन्होंने कहा कि ऊर्जा दो मुख्य चीजों पर निर्भर करती है:

घनत्व (Density): डांस फ्लोर पर कितने नर्तक हैं।
"कठोरता" (Hardness): बिलियर्ड बॉल्स कितनी बड़ी हैं।

उनका फॉर्मूला दो भागों में था:

मुख्य व्यंजन (The Main Dish): ऊर्जा का एक बड़ा, स्पष्ट हिस्सा जिस पर सभी सहमत हो सकते थे।
सीक्रेट सॉस (The Secret Sauce): एक सूक्ष्म सुधार (ली-हुआंग-यांग टर्म), जो उस जटिल तरीके को दर्शाता है जिससे नर्तक आपस में क्रिया करते हैं जब वे बस एक-दूसरे को छू रहे होते हैं।

द दशकों तक, गणितज्ञों ने यह सिद्ध किया कि "मुख्य व्यंजन" सही था। लेकिन हार्ड स्फेयर्स (बिलियर्ड बॉल्स) के लिए "सीक्रेट सॉस" को सिद्ध करना एक दुःस्वप्न जैसा था। पिछले प्रयास "सॉफ्ट" इंटरैक्शन (जैसे ऐसे नर्तक जो एक-दूसरे को धीरे से धकेलते हैं) के लिए काम कर रहे थे, लेकिन बिलियर्ड बॉल्स के कठोर नियम ने गणित को बिगाड़ दिया।

समस्या: "हार्ड" दीवार

हार्ड स्फेयर्स के साथ कठिनाई यह है कि उनका एक सख्त नियम है: ओवरलैप होने की शून्य संभावना।

यदि आप मानक गणितीय युक्तियों का उपयोग करके ऊर्जा की गणना करने का प्रयास करते हैं, तो आप एक दीवार (शाब्दिक रूप से) से टकरा जाते हैं। गणित फट जाता है क्योंकि "हार्ड कोर" की स्थिति बहुत अचानक और तीव्र होती है।
इसे ठीक करने के पिछले प्रयासों में एक "पैचवर्क" विधि का उपयोग किया गया था: उन्होंने डांस फ्लोर के छोटे मॉडल बनाए और उन्हें आपस में जोड़ दिया। लेकिन यह हार्ड स्फेयर्स के लिए सही "सीक्रेट सॉस" स्थिरांक (constant) को पूरी तरह से नहीं पकड़ सका।

समाधान: एक नया डांस मूव

इस पेपर के लेखकों (बस्टी, ब्रूक्स, सेनाटिएम्पो, ओल्गियाटी और श्लेन) ने चीजों को जोड़ने के बजाय, सीधे संपूर्ण अनंत डांस फ्लोर (थर्मोडायनामिक लिमिट) पर काम करने का निर्णय लिया।

यहाँ बताया गया है कि उन्होंने इसे कैसे किया, एक रचनात्मक उपमा का उपयोग करते हुए:

1. जैस्ट्रो फैक्टर (The Jastrow Factor - "पर्सनल स्पेस" का बुलबुला)

सबसे पहले, उन्होंने स्वीकार किया कि प्रत्येक नर्तक को व्यक्तिगत स्थान की आवश्यकता होती है। उन्होंने प्रत्येक नर्तक के चारों ओर एक गणितीय "बुलबुला" बनाया (जिसे जैस्ट्रो फैक्टर कहा जाता है) जो अन्य नर्तकों को पास आने से रोकता है। यह "हार्ड स्फीयर" नियम को पूरी तरह से संभालता है।

2. बोगोल्यूबोव ट्रांसफॉर्मेशन (The Bogoliubov Transformation - "ग्रुप सिंक")

लेकिन केवल व्यक्तिगत स्थान पर्याप्त नहीं है। जब नर्तक चलते हैं, तो वे केवल व्यक्तिगत रूप से नहीं चलते; वे लहरों के रूप में चलते हैं। यदि एक नर्तक हिलता है, तो पूरी भीड़ में लहर उठती है।

लेखकों ने गणित की दूसरी परत जोड़ी जिसे बोगोल्यूबोव ट्रांसफॉर्मेशन कहा जाता है। इसे एक कोरियोग्राफर के रूप में सोचें जो नर्तकों को सिंक्रोनाइज्ड लहरों में व्यवस्थित करता है।
यह लंबी दूरी की अंतःक्रियाओं (डांस फ्लोर पर उठने वाली "लहरों") को संभालता है जिसे साधारण "पर्सनल स्पेस" बुलबुला मिस कर देता है।

3. ग्रैंड कैनोनिकल एनसेंबल (The Grand Canonical Ensemble - "अनंत भीड़" की ट्रिक)

आमतौर पर, नर्तकों की एक निश्चित संख्या की गणना करना कठिन होता है क्योंकि आपको प्रत्येक एक को गिनना पड़ता है। लेखकों ने एक चतुर ट्रिक का उपयोग किया: उन्होंने कल्पना की कि एक जादुई दरवाजा है जहाँ से नर्तक बॉक्स में स्वतंत्र रूप से प्रवेश कर सकते हैं और बाहर निकल सकते हैं, जब तक कि नर्तकों की औसत संख्या वही बनी रहे।

इसे ग्रैंड कैनिकल एनसेंबल कहा जाता है।
यह क्यों सहायक है? यह "नॉर्मलाइजेशन" (यह सुनिश्चित करना कि कुल प्रायिकता 1 के बराबर हो) के सिरदर्द को दूर कर देता है। उनके पिछले प्रयासों में, गणित बहुत जटिल हो गया था क्योंकि "बुलबुला" और "लहरें" नॉर्मलाइजेशन के लिए आपस में लड़ रहे थे। भीड़ के आकार को थोड़ा उतार-चढ़ाव वाला बनाकर, गणित बहुत अधिक साफ और सरल हो गया, जिससे उन्हें "सीक्रेट सॉस" टर्म को पूरी तरह से अलग करने की अनुमति मिली।

परिणाम: फॉर्मूला सिद्ध हो गया!

"पर्सनल स्पेस" के बुलबुले (हार्ड दीवारों के लिए) को "ग्रुप सिंक" लहरों (लॉन्ग-रेंज रिपल्स के लिए) के साथ मिलाकर और "जादुई दरवाजे" की ट्रिक का उपयोग करके, उन्होंने अंततः ऊर्जा की गणना की।

उन्होंने पाया कि ऊर्जा घनत्व बिल्कुल प्रसिद्ध ली-हुआंग-यांग फॉर्मूला से मेल खाता है, यहाँ तक कि "सीक्रेट सॉस" टर्म तक भी:
$\text{Energy} \approx \text{Main Dish} + \frac{128}{15\sqrt{\pi}} (\text{Density} \times \text{Size})^{1/2}$

यह क्यों मायने रखता है?

यह कठोरता (Rigor) की जीत है: पहली बार, हमारे पास एक गणितीय रूप से पुख्ता प्रमाण है कि यह प्रसिद्ध 1957 का फॉर्मूला सबसे चरम मामले के लिए काम करता है: हार्ड स्फेयर्स।
यह सिद्धांत को वास्तविकता से जोड़ता है: हालांकि "हार्ड स्फेयर्स" एक आदर्श स्थिति है, लेकिन यह वास्तविक दुनिया के परमाणुओं का एक बेहतरीन मॉडल है जो एक-दूसरे को मजबूती से धकेलते हैं। यह हमें विश्वास दिलाता है कि क्वांटम गैसों (जैसे कि अत्यधिक ठंडे प्रयोगों में उपयोग किए जाने वाले गैसों) के बारे में हमारी समझ सही है।
यह 60 साल की पहेली को सुलझाता है: यह साहित्य के उस अंतर को भरता है जो शुरुआती क्वांटम अग्रदूतों के समय से खुला था।

संक्षेप में: लेखकों ने बिलियर्ड बॉल्स के भीड़भाड़ वाले डांस फ्लोर का एक आदर्श गणितीय मॉडल बनाया, यह पता लगाया कि उन्हें नाचते रहने के लिए कितनी ऊर्जा की आवश्यकता होती है, और सिद्ध किया कि ली, हुआंग और यांग द्वारा 1957 में की गई भविष्यवाणी पूरी तरह से सही थी।

यहाँ बास्टी, ब्रूक्स, सेनाटिएम्पो, ओल्गियाटी और श्लेइन के शोध पत्र "The Lee-Huang-Yang energy for a dilute gas of hard spheres: an upper bound" का विस्तृत तकनीकी सारांश दिया गया है।

1. समस्या विवरण (Problem Statement)

यह शोध पत्र क्वांटम मेनी-बॉडी फिजिक्स की एक मौलिक समस्या को संबोधित करता है: एक बॉक्स $\Lambda = [0, L]^3$ में आवधिक सीमा स्थितियों (periodic boundary conditions) के साथ $N$ हार्ड स्फेयर्स (hard spheres) के त्रिज्या $a$ वाले विरल बोस गैस (dilute Bose gas) की ग्राउंड स्टेट ऊर्जा घनत्व (ground state energy density) का निर्धारण करना।

लक्ष्य थर्मोडायनामिक लिमिट ( $N, L \to \infty$ के साथ स्थिर घनत्व $\rho = N/L^3$ ) और विरल सीमा ( $\rho a^3 \ll 1$ ) में प्रति इकाई आयतन के लिए ली-हंग-यांग (LHY) सूत्र $e(\rho)$ को कठोरता से व्युत्पन्न करना है। यह सूत्र इस प्रकार है:
$e(\rho) = 4\pi a \rho^2 \left[ 1 + \frac{128}{15\sqrt{\pi}}(\rho a^3)^{1/2} + \dots \right]$
जबकि अग्रणी क्रम का पद ( $4\pi a \rho^2$ ) दशकों पहले स्थापित किया जा चुका था (ऊपरी सीमा के लिए डायसन और निचली सीमा के लिए लीब-यिंगवासोन), LHY सुधार पद को हाल ही में हार्ड स्फेयर्स के लिए एक निचली सीमा (lower bound) के रूप में सिद्ध किया गया था (बेनेडिक्टर आदि, [20]), लेकिन सही स्थिरांक के साथ एक मिलान करने वाली ऊपरी सीमा (upper bound) एक खुला प्रश्न बना हुआ था। पिछले ऊपरी सीमा वाले कार्यों ने या तो सही LHY स्थिरांक को पकड़ने में विफलता दिखाई या उन्हें इंटीग्रेबल पोटेंशियल (integrable potentials) की आवश्यकता थी, जो भौतिक रूप से प्रासंगिक हार्ड-स्फेयर मामले को बाहर करता है।

2. कार्यप्रणाली (Methodology)

लेखक बोसोनिक फॉक स्पेस (bosonic Fock space) $\mathcal{F}$ पर ग्रैंड कैनोनिकल एन्सेम्बल (grand canonical ensemble) के भीतर एक परिष्कृत वेरिएशनल दृष्टिकोण का उपयोग करते हैं। उनकी कार्यप्रणाली का मूल आधार एक अत्यधिक परिष्कृत ट्रायल स्टेट (trial state) $\Psi$ का निर्माण करना है जो कई लंबाई पैमानों (length scales) पर सहसंबंधों (correlations) को कैप्चर करता है।

A. ट्रायल स्टेट का निर्माण (The Trial State Construction)

ट्रायल स्टेट को इस प्रकार परिभाषित किया गया है:
$\Psi = Z^{-1} J W(\rho_0) T \Omega$
जहाँ:

$\Omega$ वैक्यूम वेक्टर है।
$W(\rho_0)$ एक वेइल ऑपरेटर (Weyl operator) है जो एक बोस-आइंस्टीन कंडेनसेट (BEC) के घनत्व $\rho_0$ को मॉडल करने वाला कोहेरेंट स्टेट उत्पन्न करता है।
$J$ एक जैस्ट्रौ फैक्टर (Jastrow factor) ऑपरेटर है जिसे एक फलन $f_\ell(x)$ द्वारा गुणा करके लागू किया जाता है, जो हार्ड-कोर स्थिति ( $\psi=0$ यदि $|x_i - x_j| \le a$ ) को लागू करता है और पैमाने $\ell \gg a$ तक लघु-दूरी के सहसंबंधों का वर्णन करता है।
$T$ एक बोगोल्युबोव ट्रांसफॉर्मेशन (Bogoliubov transformation) (एक यूनिटरी ऑपरेटर) है जिसे लंबी दूरी के सहसंबंधों को कैप्चर करने के लिए डिज़ाइन किया गया है जो हीलिंग लेंथ (healing length) $\xi \sim (\rho a)^{-1/2}$ तक और उससे थोड़ा आगे तक जाता है।
$Z$ एक नॉर्मलाइजेशन स्थिरांक है।

B. हार्ड स्फेयर्स को संभालना (Handling Hard Spheres)

हार्ड स्फेयर्स के साथ प्राथमिक चुनौती यह है कि मानक बोगोल्युबोव ट्रांसफॉर्मेशन (जो कि क्वासी-फ्री अवस्थाएं हैं) स्वाभाविक रूप से हार्ड-कोर स्थिति को संतुष्ट नहीं करते हैं। लेखक इसे इस प्रकार हल करते हैं:

लघु पैमानों ( $a \ll |x| \lesssim \ell$ ) पर हार्ड-कोर स्थिति को सख्ती से लागू करने के लिए जैस्ट्रौ फैक्टर $J$ का उपयोग करना।
बड़े पैमानों ( $\ell \lesssim |x| \lesssim \ell_0$ ), जहाँ $\ell_0$ हीलिंग लेंथ से थोड़ा बड़ा है, पर "सॉफ्ट" सहसंबंधों को मॉडल करने के लिए बोगोल्युबोव ट्रांसफॉर्मेशन $T$ का उपयोग करना।
इंटरैक्शन से उभरने वाले प्रभावी द्विघाती हैमिल्टोनियन (quadratic Hamiltonian) को विक्रिस्टलाइज (diagonalize) करने के लिए बोगोल्युबोव ट्रांसफॉर्मेशन के कर्नेल (kernel) का सावधानीपूर्वक चयन करना, जिससे सही LHY पद सुनिश्चित हो सके।

C. प्रमुख तकनीकी नवाचार (Key Technical Innovations)

प्रत्यक्ष थर्मोडायनामिक लिमिट (Direct Thermodynamic Limit): छोटे बॉक्सेज़ को जोड़ने (patching together) के बजाय, यह कार्य सीधे थर्मोडायनामिक बॉक्स में काम करता है, जिससे सीमा स्थितियों और परिमित-आकार प्रभावों (finite-size effects) से जुड़ी समस्याओं से बचा जा सके।
ऑपरेटर पहचान (Operator Identities): लेखक ट्रायल स्टेट $\Psi$ पर एनिहिलेशन ऑपरेटर $a_x$ की क्रिया के लिए एक महत्वपूर्ण पहचान (लेम्मा 2.3) व्युत्पन्न करते हैं:
$a_x \Psi = \sqrt{\rho_0} J(x) \Psi + J(x) \int dy \, (\gamma^{-1} * \sigma)(x-y) a_y^* J(y) \Psi$
यह पहचान उन्हें संख्या ऑपरेटर (number operator) और गतिज ऊर्जा (kinetic energy) के प्रत्याशनों (expectations) की गणना करने की अनुमति देती है, बिना विशाल नॉर्मलाइजेशन कारकों को हटाने की आवश्यकता के (जो जैस्ट्रौ-आधारित गणनाओं में एक सामान्य कठिनाई है)।
ए-प्रायोरी बाउंड्स (A-priori Bounds): वे सहसंबंधों के ट्रंकेशन (truncation) और हार्ड-कोर पोटेंशियल के सन्निकटन (approximation) से उत्पन्न त्रुटि पदों को नियंत्रित करने के लिए कणों की स्थानीय संख्या और उत्तेजनाओं (excitations) पर कठोर सीमाएँ स्थापित करते हैं (लेम्मा 4.1–4.6)।

3. मुख्य योगदान (Key Contributions)

हार्ड स्फेयर्स के लिए प्रथम कठोर ऊपरी सीमा (First Rigorous Upper Bound for Hard Spheres): यह शोध पत्र हार्ड स्फेयर बोस गैस के लिए पहली कठोर ऊपरी सीमा प्रदान करता है जो ली-हंग-यांग सूत्र को लोअर-ऑर्डर पदों तक मैच करती है।
सही स्थिरांक (Correct Constant): व्युत्पन्न सीमा $(\rho a^3)^{1/2}$ पद के लिए सटीक गुणांक $\frac{128}{15\sqrt{\pi}}$ शामिल करती है, जो साहित्य के लंबे समय से चले आ रहे अंतराल को हल करती है।
हाइब्रिड दृष्टिकोण (Hybrid Approach): जैस्ट्रौ फैक्टर (हार्ड-कोर प्रवर्तन के लिए) और बोगोल्युबोव ट्रांसफॉर्मेशन (लंबी दूरी के सहसंबंधों के लिए) का थर्मोडायनामिक लिमिट में सफल संयोजन। यह प्रदर्शित करता है कि "सॉफ्ट" पोटेंशियल तकनीकों को लंबाई के पैमाने को अलग करके हार्ड स्फेयर्स के लिए अनुकूलित किया जा सकता है।
तकनीकों का सामान्यीकरण (Generalization of Techniques): विकसित की गई विधियाँ, विशेष रूप से ग्रैंड कैनोनिकल एन्सेम्बल में जैस्ट्रौ-बोगोल्युबोव हाइब्रिड स्टेट को संभालना, भविष्य के अध्ययन के लिए एक मजबूत ढांचा प्रदान करती हैं।

4. मुख्य परिणाम (Main Results)

प्रमेय 1.1 (Theorem 1.1): पर्याप्त छोटे घनत्व $\rho > 0$ के लिए, एक स्थिरांक $C > 0$ और एक छोटा $\delta > 0$ मौजूद है जिससे ग्राउंड स्टेट ऊर्जा घनत्व $e(\rho)$ निम्नलिखित को संतुष्ट करता है:
$e(\rho) \le 4\pi a \rho^2 \left[ 1 + \frac{128}{15\sqrt{\pi}}(\rho a^3)^{1/2} + C(\rho a^3)^{1/2+\delta} \right]$

[20] से प्राप्त मौजूदा निचली सीमा के साथ मिलकर, यह परिणाम हार्ड स्फेयर्स के लिए ली-हंग-यांग सूत्र की वैधता को सिद्ध करता है:
$e(\rho) = 4\pi a \rho^2 \left[ 1 + \frac{128}{15\sqrt{\pi}}(\rho a^3)^{1/2} + o((\rho a^3)^{1/2}) \right]$

5. महत्व (Significance)

गणितीय भौतिकी (Mathematical Physics): यह कार्य बोस गैस के कठोर गणितीय सिद्धांत में एक महत्वपूर्ण अध्याय को समाप्त करता है। यह पुष्टि करता है कि ली, हंग और यांग (1957) द्वारा किए गए अनुमानित भविष्यवाणियां सबसे विलक्षण इंटरैक्शन पोटेंशियल (हार्ड स्फेयर्स) के लिए भी सत्य हैं, जिसे कठोरता से उपचारित करना सबसे कठिन था।
भौतिक प्रासंगिकता (Physical Relevance): हार्ड स्फेयर्स विरल परमाणु गैसों (जैसे हीलियम-4 या तीव्र प्रतिकर्षण की सीमा में अल्काली परमाणुओं) के लिए एक मानक मॉडल हैं। LHY सुधार को स्थापित करना समीकरण अवस्था (equation of state), स्थिरता और क्वांटम तरल के गुणों को समझने के लिए महत्वपूर्ण है।
पद्धतिगत प्रगति (Methodological Advancement): यह शोध पत्र प्रदर्शित करता है कि "बोगोल्युबोव + जैस्ट्रौ" रणनीति थर्मोडायनामिक लिमिट में व्यवहार्य है, जो हार्ड-कोर पोटेंशियल की गैर-इंटीग्रिबिलिटी से संबंधित पिछली बाधाओं को दूर करती है। यह हार्ड स्फेयर्स के लिए उच्च-क्रम सुधारों (जैसे कि वू टर्म) को सिद्ध करने के द्वार खोलता है।

संक्षेप में, यह शोध पत्र क्वांटम मेनी-बॉडी सिस्टम के कठोर विश्लेषण में एक बड़ी सफलता का प्रतिनिधित्व करता है, जो भौतिक विज्ञान के सबसे मौलिक मॉडलों में से एक के लिए अनुमानित भौतिक भविष्यवाणियों और गणितीय प्रमाण के बीच के अंतर को सफलतापूर्वक पाटता है।