A clarification of Fermi's formula for the maximum of partial sums

तकनीकी सारांश: आंशिक योगों के अधिकतम मान के लिए फर्मी के सूत्र का स्पष्टीकरण

समस्या विवरण
यह टिप्पणी एनरिको फर्मी के 1926 के प्रकाशन में एक विसंगति को संबोधित करती है, जो स्वतंत्र यादृच्छिक चरों (independent random variables) के सभी आंशिक योगों (partial sums) के एक विशिष्ट सीमा $a$ से नीचे रहने की प्रायिकता से संबंधित है। फर्मी ने घटना $Q_n(a) = P(S_1 \le a, \dots, S_n \le a)$ को परिभाषित किया, जहाँ $S_k$ शून्य-माध्य (zero-mean) वाले स्वतंत्र चरों के आंशिक योग हैं जिनका परिमित प्रसरण (finite variance) है। फर्मी का मुद्रित सूत्र (उनके नोट में सूत्र 9) इस प्रायिकता के लिए $\text{erfc}(a/\sqrt{2V_n})$ व्यंजक को निर्दिष्ट करता है, जहाँ $V_n$ कुल प्रसरण है।

लेखक एक मौलिक विसंगति की पहचान करता है: मुद्रित सूत्र एक ऐसा फलन (function) वर्णित करता है जो $a \to \infty$ होने पर शून्य की ओर जाता है और $a$ के साथ घटता है। हालाँकि, घटना $Q_n(a)$ $a$ के सापेक्ष गैर-घटता (nondecreasing) है और $a \to \infty$ होने पर 1 की ओर बढ़ना चाहिए। मुद्रित व्यंजक वास्तव में पूरक घटना (complementary event) यानी क्रॉसिंग प्रायिकता (crossing probability) के अनुरूप है, न कि सर्वाइवल प्रायिकता (survival probability) के।

कार्यप्रणाली
यह शोध पत्र विसंगति को हल करने और असतत सीमा (discrete limit) के लिए शर्तों को स्पष्ट करने के लिए संभाव्य विश्लेषण (probabilistic analysis), विसरण सन्निकटन (diffusion approximation) और सीमा प्रमेयों (limit theorems) के संयोजन का उपयोग करता है।

1. विसरण समीकरण और परावर्तन सिद्धांत (Diffusion Equation and Reflection Principle): लेखक मानक ब्राउनियन गति ($B_t$) और परावर्तन सिद्धांत का उपयोग करके फर्मी के व्युत्पन्न का पुनर्निर्माण करता है। उन पथों के घनत्व (density) को परिभाषित करके जो अभी तक सीमा $a$ तक नहीं पहुँचे हैं, $q_a(t, x) = g_t(x) - g_t(2a-x)$, जहाँ $g_t$ मुक्त गॉसियन घनत्व (free Gaussian density) है, शोध पत्र सही सर्वाइवल प्रायोेता $Q(a, t) = 2\Phi(a/\sqrt{t}) - 1$ व्युत्पन्न करता है।
2. एकीकरण विश्लेषण (Integration Analysis): शोध पत्र फर्मी के मूल गणना में त्रुटि का पता लगाता है। जबकि फर्मी का सूत्र (19) जीवित पथों के घनत्व को घटाकर सही ढंग से स्थापित करता है, पृष्ठ 318 पर उसके बाद का एकीकरण जीवित घनत्व (surviving density) के बजाय अवशोषित द्रव्यमान (absorbed mass - प्रथम-पारगमन प्रायोेता) के एकीकरण को गलत तरीके से पहचानता है। लेखक प्रदर्शित करता है कि सही घनत्व का एकीकरण करने पर सर्वाइवल प्रायोेता प्राप्त होती है, जबकि मुद्रित गणना क्रॉसिंग प्रायोेता प्रदान करती है।
3. असतत सीमा विश्लेषण (Discrete Limit Analysis): शोध पत्र ब्राउनियन सीमा की ओर स्वतंत्र आंशिक योगों के अभिसरण (convergence) की जांच करता है। यह ब्राउनियन गति की ओर अभिसरण स्थापित करने के लिए संचित प्रसरण द्वारा योगों को पैरामीटराइज़ करते हुए कार्यात्मक लिंडबर्ग प्रमेय (functional Lindeberg theorem) का उपयोग करता है।
4. प्रति-उदाहरण निर्माण (Counterexample Construction): "छोटे व्यक्तिगत प्रसरणों" को सीमा के लिए पर्याप्त शर्त के रूप में परीक्षण करने के लिए, लेखक सुचारू घनत्वों (smooth densities) वाले स्वतंत्र वृद्धियों (independent increments) का एक प्रति-उदाहरण बनाता है। ये वृद्धियाँ दुर्लभ इकाई जंप (unit jumps) और गॉसियन शोर (Gaussian noise) का मिश्रण हैं।

मुख्य योगदान और परिणाम

• फर्मी के सूत्र का सुधार: शोध पत्र स्पष्ट रूप से फर्मी के सूत्र (9) और (19) को सुधारता है। यह स्थापित करता है कि आंशिक योगों के अधिकतम के $a$ से नीचे रहने की सही प्रायोेता $2\Phi(a/\sqrt{V_n}) - 1$ (या $\text{erf}(a/\sqrt{2V_n})$) है, जबकि मुद्रित सूत्र $\text{erfc}(a/\sqrt{2V_n})$ उस प्रायोेता के अनुरूप है जिसमें अधिकतम $a$ से अधिक हो जाता है।
• स्पष्ट सीमा प्रमेय (प्रस्ताव 1): शोध पत्र लिंडबर्ग स्थिति (Lindeberg condition) के तहत स्वतंत्र वृद्धियों के लिए एक सटीक सीमा बताता है। यह सिद्ध करता है कि यदि लिंडबर्ग स्थिति लागू होती है और सामान्यीकृत सीमा $a_n/\sqrt{V_n}$ मान $b$ की ओर अभिसरित होती है, तो:
  $$\lim_{n \to \infty} P(M_n \le a_n) = 2\Phi(b) - 1$$
  यह परिणाम सन्निकटन की पूर्ण त्रुटि (absolute error) को नियंत्रित करता है।
• लिंडबर्ग स्थिति की आवश्यकता: शोध पत्र यह प्रदर्शित करता है कि कुल योग के सापेक्ष "छोटे व्यक्तिगत प्रसरणों" की स्थिति विसरण सीमा को न्यायोचित ठहराने के लिए अपर्याप्त है। निर्मित प्रति-उदाहरण दिखाता है कि सुचारू घनत्वों और कुल के सापेक्ष लुप्त होते व्यक्तिगत प्रसरणों के बावजूद, दुर्लभ, बड़े जंप (इकाई आकार के) जो सामान्यीकरण (normalization) से बच जाते हैं, विसरण सीमा से वास्तविक प्रायोेता को महत्वपूर्ण रूप से विचलित कर सकते हैं। इस उदाहरण में, असतत प्रायोेता गॉसियन भविष्यवाणी से दूर रहती है क्योंकि दुर्लभ जंप लिंडबर्ग स्थिति को संतुष्ट होने से रोकते हैं।
• असतत बनाम निरंतर अवशोषण (Discrete vs. Continuous Absorption): लेखक स्पष्ट करता है कि जबकि निरंतर मॉडल शून्य सीमा स्थिति ($q_a(t, a) = 0$) लागू करता है, पथ घनत्वों के लिए असतत पुनरावृत्ति (discrete recursion) सीमा पर अनिवार्य रूप से शून्य मान लागू नहीं करती है, हालांकि लिंडबर्ग स्थिति के तहत प्रायोेताएँ अभिसरित होती हैं।

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

यह शोध पत्र नए अनुप्रयोगों या भविष्य की प्रयोगात्मक दिशाओं का प्रस्ताव नहीं करता है, बल्कि गणितीय भौतिकी में एक विशिष्ट ऐतिहासिक व्युत्पत्ति के तकनीकी स्पष्टीकरण के रूप में कार्य करता है।