🔢 mathematics

Strong-disorder expansion of the root-averaged density of states for the Anderson model on the Bethe lattice

यह शोध पत्र सिद्ध करता है कि कॉम्पैक्टली सपोर्टेड (compactly supported), स्थानीय रूप से विश्लेषणात्मक एकल-साइट वितरणों के साथ बेट लैटिस (Bethe lattice) पर एंडरसन मॉडल के लिए, प्रबल-विक्षोभ शासन (strong-disorder regime) में, रूट-एवरेज्ड डेंसिटी ऑफ स्टेट्स (root-averaged density of states) पूर्णतः सतत (absolutely continuous) है और एक परिमित-क्रम, वास्तविक-विश्लेषणात्मक विस्तार (finite-order, real-analytic expansion) को स्वीकार करती है जहाँ सभी विषम गुणांक शून्य होते हैं और उच्च-क्रम के पद वृक्ष पर लघु बंद पथों (short closed walks) द्वारा निर्धारित होते हैं।

मूल लेखक: Masahiro Kaminaga

प्रकाशित 2026-05-04

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

CC BY 4.0

मूल लेखक: Masahiro Kaminaga

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

कल्पना कीजिए कि आप एक अनंत, पूर्णतः सममित (perfectly symmetrical) जंगल के बीच में खड़े हैं। इस जंगल के हर पेड़ के पास ठीक समान संख्या में पड़ोसी हैं (मान लीजिए $q+1$ )। यह एक बेटे लैटिस (Bethe lattice) है, जो एक गणितीय आकार है जो एक पेड़ की तरह दिखता है लेकिन बिना किसी लूप के अनंत तक जाता है।

अब, कल्पना कीजिए कि हर पेड़ के साथ एक छिपा हुआ, यादृच्छिक (random) "भार" (weight) जुड़ा हुआ है। कुछ पेड़ भारी हैं, कुछ हल्के, और ये भार एक विशिष्ट नियम के अनुसार यादृच्छिक रूप से चुने गए हैं। यह एंडरसन मॉडल (Anderson model) है।

भौतिक विज्ञानी और गणितज्ञ जानना चाहते हैं: "यदि मैं इस जंगल के माध्यम से ऊर्जा की एक तरंग भेजता हूँ, तो वह कैसे फैलती है? उन ऊर्जा तरंगों का 'घनत्व' (density) कैसा दिखता है?" इसे स्टेट्स का घनत्व (Density of States) कहा जाता है।

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

यहाँ लेखक, मसाहिरो कामिनगा द्वारा की गई खोज का सरल विवरण दिया गया है:

1. "ज़ूम-इन" किया हुआ दृश्य

चूँकि विक्षोभ बहुत प्रबल है, लेखक सुझाव देते हैं कि हमें अपना दृश्य "ज़ूम आउट" या रीस्केल करना चाहिए। कच्चे ऊर्जा नंबरों को देखने के बजाय, हम उन्हें विक्षोभ की शक्ति ( $\lambda$ ) के सापेक्ष देखते हैं। यह एक दूरबीन से पर्वत श्रृंखला को देखने जैसा है; व्यक्तिगत चट्टानें (यादृच्छिक भार) मुख्य विशेषता बन जाती हैं, और उनके बीच के छोटे रास्ते (पेड़ के कनेक्शन) माध्यमिक विवरण बन जाते हैं।

2. "पेड़" के आकार का जादू

जंगल केवल कोई भी आकार नहीं है; यह एक पेड़ है। एक पेड़ में, यदि आप जड़ (root) से शुरू करते हैं और कुछ कदम चलते हैं, तो आप वापस शुरुआत पर तभी पहुँच सकते हैं जब आप सम (even) संख्या में कदम चलें। यदि आप विषम (odd) संख्या में कदम चलते हैं, तो आप निश्चित रूप से कहीं और होंगे।

लेखक इस सरल तथ्य का उपयोग यह सिद्ध करने के लिए करते हैं कि: ऊर्जा घनत्व के सभी "विषम-संख्या वाले" सुधार (odd-numbered corrections) लुप्त हो जाते हैं।

सोचिए कि गणना एक रेसिपी (विधि) की तरह है। आपके पास मुख्य सामग्री (यादृच्छिक भार) है।
आप पेड़ के कनेक्शनों को ध्यान में रखने के लिए "सुधार" सामग्री जोड़ते हैं।
लेखक सिद्ध करते हैं कि पहली, तीसरी, पाँचवीं, आदि सुधार सामग्री बिल्कुल शून्य है। आपको केवल दूसरी, चौथी, छठी, आदि सामग्रियों की चिंता करने की आवश्यकता है।

3. "वॉक" (चलने) का सादृश्य

ऊर्जा घनत्व वास्तव में कैसा दिखता है, यह पता लगाने के लिए, लेखक जंगल के माध्यम से चलने वाले एक "यादृच्छिक यात्री" (random walker) की कल्पना करते हैं।

यात्री जड़ से शुरू होता है, कुछ कदम चलता है, और उसे वापस जड़ पर लौटना चाहिए।
लेखक गणना करते हैं कि यात्री के वापस लौटने के कितने अलग-अलग तरीके हैं और वह कितनी बार विशिष्ट पेड़ों पर जाता है।
चूँकि जंगल एक पेड़ है, ये "चलने के पैटर्न" बहुत व्यवस्थित होते हैं। वे लूप में नहीं फंसते (क्योंकि वहां कोई लूप नहीं है)।
ऊर्जा घनत्व के लिए अंतिम सूत्र इन विशिष्ट चलने के पैटर्न का एक योग (sum) है।

4. परिणाम: एक सुचारू, पूर्वानुमेय वक्र (Curve)

भले ही भार यादृच्छिक हों, लेखक सिद्ध करते हैं कि यदि आप एक विशिष्ट सीमा में औसत ऊर्जा घनत्व को देखते हैं, तो यह सुचारू (smooth) और पूर्वानुमेय है।

प्रमुख पद (Leading Term): उत्तर का सबसे महत्वपूर्ण हिस्सा स्वयं यादृच्छिक भारों का वितरण है। यदि भार समान रूप से वितरित (uniformly distributed) हैं (जैसे एक सीधी रेखा), तो ऊर्जा घनत्व एक सीधी रेखा के रूप में शुरू होता है।
सुधार (Corrections): पेड़ के कनेक्शन इस रेखा में छोटी लहरें जोड़ते हैं। लेखक इन लहरों के लिए एक सटीक सूत्र प्रदान करते हैं।
- पहली लहर (दूसरा क्रम का सुधार) इस बात पर निर्भर करती है कि प्रत्येक पेड़ के कितने पड़ोसी ( $q$ ) हैं और यादृच्छिक भार का स्वरूप क्या है।
- लेखक समान रूप से वितरित भारों के मामले के लिए इस पहली लहर की स्पष्ट रूप से गणना करते हैं।

5. यह क्यों महत्वपूर्ण है (शोध पत्र के अनुसार)

इस शोध पत्र से पहले, हम जानते थे कि ऊर्जा घनत्व मौजूद है, लेकिन हमारे पास इसे प्रबल विक्षोभ के लिए गणना करने का एक सटीक, चरण-दर-चरण तरीका नहीं था।

यह पत्र एक परिमित-क्रम विस्तार (finite-order expansion) प्रदान करता है। इसका अर्थ है कि आप रेसिपी में अधिक पद जोड़कर उत्तर को जितनी चाहें उतनी सटीकता से कैलकुलेट कर सकते हैं।
यह सिद्ध करता है कि उत्तर एनालिटिक (analytic) है, जिसका अर्थ है कि जिस क्षेत्र में उन्होंने अध्ययन किया है, वह बिना किसी तीखे मोड़ या ऊबड़-खाबड़ किनारों के एक बहुत ही सुचारू वक्र है।
यह "पेड़ों पर यादृच्छिक चाल" (random walks on trees) के जटिल गणित को "ऊर्जा कैसे वितरित होती है" के भौतिक गुण से सीधे जोड़ता है।

सारांश सादृश्य

कल्पना कीजिए कि आप लोगों की भीड़ की औसत ऊंचाई का अनुमान लगाने की कोशिश कर रहे हैं जो एक ऊबड़-खाबड़, असमान फर्श (यादृच्छिक भार) पर खड़ी है।

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

संक्षेप में, यह शोध पत्र एक अराजक, यादृच्छिक प्रणाली को यह दिखाने के लिए लेती है कि प्रबल विक्षोभ के तहत, यह एक आश्चर्यजनक रूप से व्यवस्थित, गणना योग्य और सुचारू तरीके से व्यवहार करती है, जो पेड़ जैसे आकार की अनूठी ज्यामिति के कारण संभव हुआ है।

यहाँ मसाहिरो कामिनगा के शोध पत्र "Strong-disorder expansion of the root-averaged density of states for the Anderson model on the Bethe lattice" का विस्तृत तकनीकी सारांश दिया गया है।

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

यह शोध पत्र अनंत $(q+1)$ -रेगुलर ट्री (बेटे लैटिस) पर एंडर्सन मॉडल (Anderson model) की जांच करता है, जिसे इस हैमिल्टनियन द्वारा परिभाषित किया गया है:
$H_{\lambda, \omega} = A + \lambda V_\omega$
जहाँ $A$ एक एडजेसेंसी ऑपरेटर है, $\lambda > 0$ विकार की शक्ति (disorder strength) है, और $V_\omega$ एक मल्टीप्लिकेशन ऑपरेटर है जिसके स्वतंत्र, समान रूप से वितरित (i.i.d.) रैंडम पोटेंशियल $\{\omega_x\}$ हैं जिनका सामान्य नियम $\mu$ है।

मुख्य उद्देश्य प्रबल-विकार शासन (strong-disorder regime) ( $\lambda \to \infty$ ) में रूट-एवरेज्ड डेंसिटी ऑफ स्टेट्स (DOS) का विश्लेषण करना है। विशेष रूप से, यह पेपर स्केल्ड एनर्जी विंडो $E = \lambda \xi$ पर ध्यान केंद्रित करता है, जहाँ $\xi$ , सिंगल-साइट डिस्ट्रीब्यूशन $\mu$ के सपोर्ट के भीतर स्थित है।

मुख्य अंतर: एमेनेबल ग्राफों (जैसे $\mathbb{Z}^d$ ) के विपरीत, जहाँ DOS को परिमित-आयतन आइगेनवैल्यू काउंटिंग लिमिट के माध्यम से परिभाषित किया जाता है, बेटे लैटिस एक नॉन-एमेनेबल संरचना है। यहाँ बाउंड्री वॉल्यूम, बल्क वॉल्यूम के तुल्य होता है। इसलिए, लेखक DOS माप $N_\lambda$ को सख्ती से रूट-एवरेज्ड स्पेक्ट्रल मेजर के रूप में परिभाषित करते हैं:
$N_\lambda(B) = \mathbb{E}[\langle \delta_0, E_{H_{\lambda, \omega}}(B) \delta_0 \rangle]$
जहाँ $\delta_0$ रूट पर बेसिस वेक्टर है। लक्ष्य इस माप की एब्सोल्यूट कॉन्टिन्यूटी (absolute continuity) को सिद्ध करना और इसके घनत्व $n_\lambda(E)$ का $\lambda^{-1}$ की घातों में एक स्पष्ट एसिम्प्टोटिक एक्सपेंशन (asymptotic expansion) प्राप्त करना है।

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

लेखक ने वास्तविक अक्ष (real axis) के पास रेज़ोलवेंट (resolvent) को नियंत्रित करने की चुनौती से निपटने के लिए रैंडम-वॉक एक्सपेंशन और कॉम्प्लेक्स एनालिसिस के संयोजन का उपयोग किया है।

A. रैंडम-वॉक एक्सपेंशन (Random-Walk Expansion)

रेज़ोलवेंट $G_\lambda(0,0;z) = \langle \delta_0, (H_{\lambda, \omega} - z)^{-1} \delta_0 \rangle$ को उस क्षेत्र में न्यूमैन सीरीज़ (Neumann series) का उपयोग करके विस्तारित किया जाता है जहाँ $\text{Im}(z)$ बड़ा है। होपिंग टर्म $A$ को डायगोनल टर्म $\lambda V_\omega - z$ के लिए एक परटर्बेशन के रूप में मानकर, रेज़ोलवेंट को ट्री पर क्लोज्ड वॉक $\gamma$ के योग के रूप में व्यक्त किया जाता है:
$G_\lambda(0,0;z) = \sum_{n=0}^\infty (-1)^n \sum_{\gamma \in \Gamma_n(0,0)} \prod_{j=0}^n \frac{1}{\lambda \omega_{x_j} - z}$
जहाँ $\Gamma_n(0,0)$ रूट से शुरू होने वाले और रूट पर समाप्त होने वाले लंबाई $n$ के क्लोज्ड वॉक का सेट है। एक्सपेक्टेशन $\mathbb{E}$ लेने और $z = \lambda \zeta$ स्केलिंग करने से इसमें सिंगल-साइट स्टिल्जेस ट्रांसफॉर्म्स (Stieltjes transforms) $s_k(\zeta) = \int \frac{d\mu(t)}{(t-\zeta)^k}$ के उत्पादों वाला विस्तार प्राप्त होता है।

B. कॉम्प्लेक्स-एनालिटिक कंटीन्यूएशन (Complex-Analytic Continuation)

एक बड़ी बाधा यह है कि मानक न्यूमैन सीरीज़ केवल $\text{Im}(z) > q+1$ के लिए अभिसरित (converge) होती है, जो वास्तविक अक्ष से बहुत दूर है जहाँ DOS की आवश्यकता है।

धारणा: सिंगल-साइट डिस्ट्रीब्यूशन $\mu$ का कॉम्पैक्ट सपोर्ट है और इसका घनत्व $\rho$ टारगेट इंटरवल $I$ को समाहित करने वाले एक अंतराल $I^\sharp$ पर लोकल एनालिटिक है।
तकनीक: लेखक एक कॉची इंटीग्रल तर्क (Cauchy integral argument) का उपयोग करते हैं यह दिखाने के लिए कि सिंगल-साइट स्टिल्जेस ट्रांसफॉर्म्स $s_k(\zeta)$ ऊपरी अर्ध-तल (upper half-plane) से वास्तविक अंतराल $I$ के एक कॉम्प्लेक्स नेबरहुड $\Omega_\delta(I)$ तक होलोमोर्फिक कंटीन्यूएशन (holomorphic continuation) स्वीकार करते हैं।
विस्तार: चूंकि रैंडम-वॉक एक्सपेंशन के गुणांक इन $s_k(\zeta)$ के उत्पादों के परिमित योग हैं, इसलिए पूरा औसत रेज़ोलवेंट $m_\lambda(\lambda \zeta)$ इस होलोमोर्फिक कंटीन्यूएशन को विरासत में प्राप्त करता है।

C. ट्री स्ट्रक्चर का उपयोग (Tree Structure Exploitation)

बेटे लैटिस की विशिष्ट ज्यामिति अत्यंत महत्वपूर्ण है:

बाइपार्टाइट प्रकृति (Bipartite Nature): ट्री एक बाइपार्टाइट ग्राफ है, जिसका अर्थ है कि रूट से शुरू होने वाला और रूट पर समाप्त होने वाला कोई भी क्लोज्ड वॉक हमेशा सम लंबाई (even length) का होगा। फलस्वरूप, एक्सपेंशन के सभी विषम-क्रम (odd-order) पद शून्य हो जाते हैं ( $M_n \equiv 0$ विषम $n$ के लिए)।
ऑक्यूपेशन प्रोफाइल्स (Occupation Profiles): क्योंकि ग्राफ एक ट्री है (बैकट्रैकिंग के अलावा कोई लूप नहीं है), एक क्लोजed वॉक का योगदान पूरी तरह से ऑक्यक्यूपेशन प्रोफाइल (प्रत्येक वर्टेक्स कितनी बार विज़िट किया गया) और विज़िट किए गए परिमित सब-ट्री द्वारा निर्धारित होता है। यह गुणांकों को परिमित कॉम्बिनेटरियल योग के रूप में गणना करने की अनुमति देता है।

3. मुख्य योगदान और परिणाम (Key Contributions and Results)

A. मुख्य प्रमेय (रेज़ोलवेंट एक्सपेंशन)

$\mu$ पर लोकल एनालिटिसिटी की धारणा के तहत, लेखक सिद्ध करते हैं कि पर्याप्त बड़े $\lambda$ के लिए, स्केल्ड एवरेज्ड डायगोनल रेज़ोलवेंट $m_\lambda(\lambda \zeta)$ का $I$ के एक कॉम्प्लेक्स नेबरहुड तक होलोमोर्फिक कंटीन्यूएशन होता है। इसमें एक यूनिफॉर्म एसिम्प्टोटिक एक्सपेंशन है:
$m_\lambda(\lambda \zeta) = \sum_{n=0}^N \lambda^{-n-1} M_n(\zeta) + R_{N,\lambda}(\zeta)$
जहाँ:

$M_n(\zeta)$ लंबाई $n$ के क्लोज्ड वॉक के परिमित योग द्वारा दिए गए होलोमोर्फिक फलन हैं।
शेषफल (remainder) $R_{N,\lambda}$ $O(\lambda^{-N-2})$ द्वारा सीमित है।
विषम गुणांक शून्य होते हैं: सभी विषम $n$ के लिए $M_n \equiv 0$ ।

B. डेंसिटी ऑफ स्टेट्स एक्सपेंशन (Density of States Expansion)

होलोमोर्फिक कंटीन्यूएशन पर स्टिल्जेस इन्वर्जन फॉर्मूला लागू करके, यह पेपर स्थापित करता है कि रूट-एवरेज्ड DOS माप स्केल्ड विंडो $\lambda I$ पर एब्सोल्यूटली कंटीन्यूअस है। इसका घनत्व $n_\lambda(E)$ इस प्रकार का विस्तार रखता है:
$n_\lambda(\lambda \xi) = \sum_{n=0}^N \lambda^{-n-1} a_n(\xi) + r_{N,\lambda}(\xi)$
जहाँ $a_n(\xi) = \pi^{-1} \text{Im} M_n(\xi)$ ।

गुणांकों के विशिष्ट गुण:

लीडिंग टर्म ( $n=0$ ): $a_0(\xi) = \rho(\xi)$ , सिंगल-साइट डिस्ट्रीब्यूशन का घनत्व है। यह इस ह्यूरिस्टिक की पुष्टि करता है कि प्रबल-विकार सीमा में, DOS सिंगल-साइट पोटेंशियल द्वारा डोमिनेट होता है।
शून्य विषम पद: सभी विषम $n$ के लिए $a_n(\xi) = 0$ ।
उच्च क्रम के पद: $n \geq 2$ के लिए सम $a_n$ ट्री पर छोटे क्लोज्ड वॉक के ऑक्यूपेशन प्रोफाइल्स द्वारा निर्धारित परिमित योग हैं। वे स्पष्ट रूप से ब्रांचिंग नंबर $q$ और स्टिल्जेस ट्रांसफॉर्म्स के डेरिवेटिव्स पर निर्भर करते हैं।

C. यूनिफॉर्म डिस्ट्रीब्यूशन के लिए स्पष्ट गणना

यह पेपर स्पष्ट रूप से गणना करता है कि यदि $\mu$ , $[-a, a]$ पर यूनिफॉर्म डिस्ट्रीब्यूशन है, तो पहला गैर-शून्य करेक्शन टर्म क्या होगा।

$a_0(\xi) = \frac{1}{2a}$
$a_2(\xi) = -\frac{q+1}{2a(a^2 - \xi^2)}$
एक्सपेंशन बनता है:
$n_\lambda(\lambda \xi) = \frac{1}{2a}\lambda^{-1} - \frac{q+1}{2a(a^2 - \xi^2)}\lambda^{-3} + O(\lambda^{-5})$
यह परिणाम दर्शाता है कि करेक्शन टर्म $\xi$ के सपोर्ट के किनारों ( $\pm a$ ) के पास पहुँचते ही डाइवर्ज (diverge) हो जाता है, जो इस आवश्यकता के अनुरूप है कि एक्सपेंशन सख्ती से सपोर्ट के भीतर ही मान्य है।

4. महत्व (Significance)

प्रथम स्पष्ट गुणांक-स्तर एक्सपेंशन: इस कार्य से पहले, बेटे लैटिस पर DOS के लिए स्ट्रॉन्ग-डिसऑर्डर एक्सपेंशन या तो गुणात्मक थे या उनमें स्पष्ट गुणांक सूत्र का अभाव था। यह पेपर पहला कठोर व्युत्पन्न प्रदान करता है जहाँ गुणांक ट्री वॉक के कॉम्बिनेटरियल योग हैं।
ह्यूरिस्टिक्स का कठोर औचित्य: यह गणितीय रूप से इस भौतिक अंतर्ज्ञान को मान्य करता है कि प्रबल विकार से एक ऐसा DOS उत्पन्न होता है जो सिंगल-साइट डिस्ट्रीब्यूशन द्वारा डोमिनेट होता है, जिसमें होपिंग टर्म व्यवस्थित, गणनीय सुधार (corrections) प्रदान करते हैं।
मेथोडोलॉजिकल प्रगति: रैंडम-वॉक एक्सपेंशन को स्टिल्जेस ट्रांसफॉर्म्स के कॉम्प्लेक्स-एनालिटिक कंटीन्यूएशन के साथ जोड़ना, नॉन-एमेनेबल ग्राफों पर रैंडम ऑपरेटर्स के स्पेक्ट्रल गुणों के अध्ययन के लिए एक मजबूत ढांचा प्रदान करता है, जो परिमित-आयतन सन्निकटन की सीमाओं को पार करता है।
संरचनात्मक अंतर्दृष्टि: इसका प्रमाण सुरुचिपूर्ण ढंग से ट्री स्ट्रक्चर (बाइपार्टाइटनेस और चक्रों की अनुपस्थिति) का उपयोग करके एक्सपेंशन को सरल बनाता है, यह दिखाते हुए कि "ट्री-नेस" विषम-क्रम के पदों के शून्य होने और उच्च-क्रम के पदों की गणना योग्यता की ओर ले जाती है।

संक्षेप में, कामिनगा बेटे लैटिस पर एंडर्सन मॉडल के स्ट्रॉन्ग-डिसऑर्डर व्यवहार के लिए एक कठोर गणितीय आधार प्रदान करते हैं, जो डेंसिटी ऑफ स्टेट्स के लिए एक सटीक एसिम्प्टोटिक सीरीज़ प्रदान करते हैं जो स्थानीय विकार सांख्यिकी को ट्री की ज्यामिति के माध्यम से वैश्विक स्पेक्ट्रल गुणों से जोड़ती है।