दोगुना स्टोकेस्टिक मैट्रिक्स

From Vigyanwiki
Revision as of 17:28, 24 July 2023 by alpha>Neetua08

गणित में, विशेष रूप से संभाव्यता और कॉम्बिनेटरिक्स में, एक दोगुना स्टोचैस्टिक आव्यूह (जिसे बिस्टोचैस्टिक आव्यूह भी कहा जाता है) गैर-ऋणात्मक वास्तविक संख्याओं का एक वर्ग आव्यूह है, जिसकी प्रत्येक पंक्ति और स्तंभ का योग 1 होता है, [1] अर्थात,

इस प्रकार, दोगुना स्टोकेस्टिक आव्यूह बाएं स्टोकेस्टिक आव्यूह और दायां स्टोकेस्टिक दोनों है।[1][2] वास्तव में, कोई भी आव्यूह जो बाएँ और दाएँ दोनों स्टोकेस्टिक है, वर्ग आव्यूह होना चाहिए: यदि प्रत्येक पंक्ति का योग 1 है तो आव्यूह में सभी प्रविष्टियों का योग पंक्तियों की संख्या के समान होना चाहिए, और चूँकि स्तंभों के लिए भी यही बात प्रयुक्त होती है, संख्या पंक्तियों और स्तंभों की संख्या समान होनी चाहिए.[1]


बिरखॉफ़ पॉलीटोप

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

बिरखॉफ़-वॉन न्यूमैन प्रमेय

बिरखॉफ-वॉन न्यूमैन प्रमेय (जिसे अधिकांशतः बिरखॉफ के प्रमेय [3][4][5] के रूप में जाना जाता है) में कहा गया है कि पॉलीटोप क्रमपरिवर्तन आव्यूह के समुच्चय का उत्तल पतवार है और इसके अतिरिक्त के शीर्ष पुर्णतः क्रमपरिवर्तन आव्यूह हैं। दूसरे शब्दों में, यदि एक दोगुना स्टोकेस्टिक आव्यूह है तो और क्रमपरिवर्तन आव्यूह उपस्थित हैं जैसे कि

(X के ऐसे अपघटन को 'उत्तल संयोजन' के रूप में जाना जाता है।) हॉल के मैरिज प्रमेय पर आधारित प्रमेय का प्रमाण डबली स्टोकेस्टिक आव्यूह बिरखॉफप्रूफ दिया गया है।

इस प्रतिनिधित्व को 'बिरखॉफ़-वॉन न्यूमैन अपघटन' के रूप में जाना जाता है, और यह अद्वितीय नहीं हो सकता है। इसे अधिकांशतः कोनिग के प्रमेय (ग्राफ सिद्धांत) के वास्तविक-मूल्यवान सामान्यीकरण के रूप में वर्णित किया जाता है | कोनिग के प्रमेय, जहां पत्राचार ग्राफ के आसन्न आव्यूह के माध्यम से स्थापित किया जाता है।

अन्य गुण

  • दो दोहरे स्टोकेस्टिक आव्यूह का उत्पाद दोगुना स्टोकेस्टिक होता है। चूँकि, गैर-एकवचन दोहरे स्टोकेस्टिक आव्यूह के व्युत्क्रम को दोगुना स्टोकेस्टिक होने की आवश्यकता नहीं है (वास्तव में, यदि इसमें गैर-ऋणात्मक प्रविष्टियाँ हैं तो व्युत्क्रम दोगुना स्टोकेस्टिक है)।
  • एक इरेड्यूसिबल एपेरियोडिक परिमित मार्कोव श्रृंखला का स्थिर वितरण समान है यदि और केवल यदि इसका संक्रमण आव्यूह दोगुना स्टोकेस्टिक है।
  • सिंकहॉर्न के प्रमेय में कहा गया है कि कड़ाई से धनात्मक प्रविष्टियों वाले किसी भी आव्यूह को विकर्ण आव्यूह द्वारा पूर्व और बाद के गुणन द्वारा दोगुना स्टोकेस्टिक बनाया जा सकता है।
  • के लिए , सभी यूनिस्टोकैस्टिक आव्यूह अनइस्टोकैस्टिक आव्यूह और ऑर्थोस्टोकैस्टिक आव्यूह हैं, किन्तु बड़े के लिए यह अंक नहीं है।
  • वैन डेर वेर्डन का अनुमान है कि सभी n × n दोहरे स्टोकेस्टिक आव्यूह के बीच न्यूनतम स्थायी है, जो आव्यूह द्वारा प्राप्त किया गया है जिसके लिए सभी प्रविष्टियाँ के समान हैं।[6] इस अनुमान के प्रमाण 1980 में बी. गेयरस [7] द्वारा और 1981 में जी.पी. एगोरीचेव [8] और डी.आई. फालिकमैन द्वारा प्रकाशित किए गए थे;[9] इस कार्य के लिए, एगोरीचेव और फालिकमैन ने 1982 में फुलकर्सन पुरस्कार जीता था।[10]

बिरखॉफ़-वॉन न्यूमैन प्रमेय का प्रमाण

मान लीजिए कि X दोगुना स्टोकेस्टिक आव्यूह है। फिर हम दिखाएंगे कि क्रमपरिवर्तन आव्यूह P उपस्थित है जैसे कि xij≠0 जब भी pij≠ 0. इस प्रकार यदि हम λ को सबसे छोटा xij मानते हैं एक गैर-शून्य pij, के अनुरूप अंतर हम शून्य आव्यूह पर पहुंचते हैं, जिस बिंदु पर हमने मूल X के समान क्रमपरिवर्तन आव्यूह का उत्तल संयोजन बनाया गया था।[3]

उदाहरण के लिए यदि तब

, , और
.

प्रमाण: द्विदलीय ग्राफ बनाएं जिसमें X की पंक्तियाँ भाग में और कॉलम दूसरे भाग में सूचीबद्ध हैं, और किस पंक्ति में i कॉलम j से जुड़ा है यदि xij≠ 0. A को पंक्तियों का कोई भी समुच्चय होने दें, और A' को ग्राफ़ में A में पंक्तियों से जुड़े स्तंभों के समुच्चय के रूप में परिभाषित करें। हम आकार व्यक्त करना चाहते हैं |a| और |a| xij के संदर्भ में दो समुच्चयों में से. A में प्रत्येक i के लिए, x के Aij' में j से अधिक का योग 1 है, क्योंकि सभी कॉलम j जिसके लिए xij≠0 A में सम्मिलित हैं, और X दोगुना स्टोकेस्टिक है; इसलिए |a| x के सभी i ∈ A, j ∈ Aij' का योग है.

इस बीच |a'| x के सभी i (चाहे A में हो या नहीं) और A' के सभी jij का योग है; और यह ≥ संगत योग है जिसमें i, A में पंक्तियों तक सीमित है। इसलिए |A'| ≥|a|.

इसका तात्पर्य यह है कि हॉल के मैरिज प्रमेय की नियम संतुष्ट हैं, और इसलिए हम ग्राफ़ में किनारों का समुच्चय पा सकते हैं जो X में प्रत्येक पंक्ति को पुर्णतः (विशिष्ट) कॉलम में जोड़ता है। ये किनारे क्रमपरिवर्तन आव्यूह को परिभाषित करते हैं जिनकी गैर-शून्य कोशिकाएं X में गैर-शून्य सेल्स से मेल खाती हैं।

सामान्यीकरण

अधिक स्तंभों और पंक्तियों वाले आव्यूहों का सरल सामान्यीकरण है जैसे कि iवें पंक्ति का योग ri के समान है (एक धनात्मक पूर्णांक), स्तंभों का योग 1 के समान है, और सभी सेल गैर-ऋणात्मक हैं (पंक्ति योगों का योग स्तंभों की संख्या के समान है)। इस रूप में किसी भी आव्यूह को 0s और 1s से बने समान रूप में आव्यूह के उत्तल संयोजन के रूप में व्यक्त किया जा सकता है। इसका प्रमाण i को प्रतिस्थापित करना है जिनमें से प्रत्येक ri द्वारा विभाजित मूल पंक्ति के समान है; परिणामी वर्ग आव्यूह पर बिरखॉफ़ के प्रमेय को प्रयुक्त करने के लिए; और अंत में ri पंक्तियों को एक एकल iवीं पंक्ति में जोड़ने के लिए किया जाता है।


उसी तरह से स्तंभों के साथ-साथ पंक्तियों को भी दोहराना संभव है, किन्तु पुनर्संयोजन का परिणाम आवश्यक रूप से 0s और 1s तक सीमित नहीं है। आर.एम. कैरन एट अल द्वारा अलग सामान्यीकरण (अधिक कठिन प्रमाण के साथ) सामने रखा गया है।[4]


यह भी देखें

संदर्भ

  1. 1.0 1.1 1.2 Gagniuc, Paul A. (2017). Markov Chains: From Theory to Implementation and Experimentation. USA, NJ: John Wiley & Sons. pp. 9–11. ISBN 978-1-119-38755-8.
  2. Marshal, Olkin (1979). Inequalities: Theory of Majorization and Its Applications. pp. 8. ISBN 978-0-12-473750-1.
  3. 3.0 3.1 Birkhoff's theorem, notes by Gábor Hetyei.
  4. 4.0 4.1 R. M. Caron et al., 'Nonsquare "Doubly Stochastic" Matrices', 1996.
  5. W. B. Jurkat and H. J. Ryser, "Term Ranks and Permanents of Nonnegative Matrices" (1967).
  6. van der Waerden, B. L. (1926), "Aufgabe 45", Jber. Deutsch. Math.-Verein., 35: 117.
  7. Gyires, B. (1980), "The common source of several inequalities concerning doubly stochastic matrices", Publicationes Mathematicae Institutum Mathematicum Universitatis Debreceniensis, 27 (3–4): 291–304, MR 0604006.
  8. Egoryčev, G. P. (1980), Reshenie problemy van-der-Vardena dlya permanentov (in Russian), Krasnoyarsk: Akad. Nauk SSSR Sibirsk. Otdel. Inst. Fiz., p. 12, MR 0602332{{citation}}: CS1 maint: unrecognized language (link). Egorychev, G. P. (1981), "Proof of the van der Waerden conjecture for permanents", Akademiya Nauk SSSR (in Russian), 22 (6): 65–71, 225, MR 0638007{{citation}}: CS1 maint: unrecognized language (link). Egorychev, G. P. (1981), "The solution of van der Waerden's problem for permanents", Advances in Mathematics, 42 (3): 299–305, doi:10.1016/0001-8708(81)90044-X, MR 0642395.
  9. Falikman, D. I. (1981), "Proof of the van der Waerden conjecture on the permanent of a doubly stochastic matrix", Akademiya Nauk Soyuza SSR (in Russian), 29 (6): 931–938, 957, MR 0625097{{citation}}: CS1 maint: unrecognized language (link).
  10. Fulkerson Prize, Mathematical Optimization Society, retrieved 2012-08-19.


बाहरी संबंध