दोगुना स्टोकेस्टिक मैट्रिक्स: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
 
(5 intermediate revisions by 3 users not shown)
Line 4: Line 4:
:<math>\sum_i x_{ij}=\sum_j x_{ij}=1,</math>
:<math>\sum_i x_{ij}=\sum_j x_{ij}=1,</math>
इस प्रकार, दोगुना [[स्टोकेस्टिक मैट्रिक्स|स्टोकेस्टिक आव्यूह]] बाएं स्टोकेस्टिक आव्यूह और दायां स्टोकेस्टिक दोनों है।<ref name=":0" /><ref>{{cite book|last=Marshal, Olkin|title=Inequalities: Theory of Majorization and Its Applications|url=https://archive.org/details/inequalitiestheo00olki_067|url-access=limited|year=1979|isbn=978-0-12-473750-1|pages=[https://archive.org/details/inequalitiestheo00olki_067/page/n26 8]}}</ref> वास्तव में, कोई भी आव्यूह जो बाएँ और दाएँ दोनों स्टोकेस्टिक है, वर्ग आव्यूह होना चाहिए: यदि प्रत्येक पंक्ति का योग 1 है तो आव्यूह में सभी प्रविष्टियों का योग पंक्तियों की संख्या के समान होना चाहिए, और चूँकि स्तंभों के लिए भी यही बात प्रयुक्त होती है, संख्या पंक्तियों और स्तंभों की संख्या समान होनी चाहिए.<ref name=":0" />
इस प्रकार, दोगुना [[स्टोकेस्टिक मैट्रिक्स|स्टोकेस्टिक आव्यूह]] बाएं स्टोकेस्टिक आव्यूह और दायां स्टोकेस्टिक दोनों है।<ref name=":0" /><ref>{{cite book|last=Marshal, Olkin|title=Inequalities: Theory of Majorization and Its Applications|url=https://archive.org/details/inequalitiestheo00olki_067|url-access=limited|year=1979|isbn=978-0-12-473750-1|pages=[https://archive.org/details/inequalitiestheo00olki_067/page/n26 8]}}</ref> वास्तव में, कोई भी आव्यूह जो बाएँ और दाएँ दोनों स्टोकेस्टिक है, वर्ग आव्यूह होना चाहिए: यदि प्रत्येक पंक्ति का योग 1 है तो आव्यूह में सभी प्रविष्टियों का योग पंक्तियों की संख्या के समान होना चाहिए, और चूँकि स्तंभों के लिए भी यही बात प्रयुक्त होती है, संख्या पंक्तियों और स्तंभों की संख्या समान होनी चाहिए.<ref name=":0" />
 
==बिरखॉफ़ पॉलीटोप                                                                                                                                                                                                         ==
 
==बिरखॉफ़ पॉलीटोप==
{{Main|बिरखॉफ़ पॉलीटोप}}
{{Main|बिरखॉफ़ पॉलीटोप}}


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


== बिरखॉफ़-वॉन न्यूमैन प्रमेय                                                                     ==
== बिरखॉफ़-वॉन न्यूमैन प्रमेय                                                                                                                                                   ==
बिरखॉफ-वॉन न्यूमैन प्रमेय (जिसे अक्सर बिरखॉफ के प्रमेय <ref name="hetyei" /><ref name="caron" /><ref name="jurkat">W. B. Jurkat and H. J. Ryser, "Term Ranks and Permanents of Nonnegative Matrices" (1967).</ref> के रूप में जाना जाता है) में कहा गया है कि पॉलीटोप <math>B_n</math> <math>n\times n</math> [[क्रमपरिवर्तन मैट्रिक्स|क्रमपरिवर्तन आव्यूह]] के सेट का उत्तल पतवार है और इसके अलावा <math>B_n</math> के शीर्ष बिल्कुल क्रमपरिवर्तन मैट्रिक्स हैं। दूसरे शब्दों में, यदि <math>X</math> एक दोगुना स्टोकेस्टिक मैट्रिक्स है तो <math>\theta_1,\ldots,\theta_k \ge 0, \sum_{i=1}^k \theta_i = 1</math> और क्रमपरिवर्तन मैट्रिक्स <math>P_1,\ldots,P_k</math> मौजूद हैं जैसे कि
बिरखॉफ-वॉन न्यूमैन प्रमेय (जिसे अधिकांशतः बिरखॉफ के प्रमेय <ref name="hetyei" /><ref name="caron" /><ref name="jurkat">W. B. Jurkat and H. J. Ryser, "Term Ranks and Permanents of Nonnegative Matrices" (1967).</ref> के रूप में जाना जाता है) में कहा गया है कि पॉलीटोप <math>B_n</math> <math>n\times n</math> [[क्रमपरिवर्तन मैट्रिक्स|क्रमपरिवर्तन आव्यूह]] के समुच्चय का उत्तल पतवार है और इसके अतिरिक्त <math>B_n</math> के शीर्ष पुर्णतः क्रमपरिवर्तन आव्यूह हैं। दूसरे शब्दों में, यदि <math>X</math> एक दोगुना स्टोकेस्टिक आव्यूह है तो <math>\theta_1,\ldots,\theta_k \ge 0, \sum_{i=1}^k \theta_i = 1</math> और क्रमपरिवर्तन आव्यूह <math>P_1,\ldots,P_k</math> उपस्थित हैं जैसे कि


:<math>X = \theta_1 P_1 + \cdots + \theta_k P_k. </math>
:<math>X = \theta_1 P_1 + \cdots + \theta_k P_k. </math>
(एक्स के ऐसे अपघटन को 'उत्तल संयोजन' के रूप में जाना जाता है।) हॉल के विवाह प्रमेय पर आधारित प्रमेय का प्रमाण डबली स्टोकेस्टिक आव्यूह#बिरखॉफप्रूफ दिया गया है।
(X के ऐसे अपघटन को 'उत्तल संयोजन' के रूप में जाना जाता है।) हॉल के मैरिज प्रमेय पर आधारित प्रमेय का प्रमाण डबली स्टोकेस्टिक आव्यूह बिरखॉफप्रूफ दिया गया है।


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


==अन्य गुण==
==अन्य गुण==
* दो दोहरे स्टोकेस्टिक आव्यूह का उत्पाद दोगुना स्टोकेस्टिक होता है। हालाँकि, गैर-एकवचन दोहरे स्टोकेस्टिक आव्यूह के व्युत्क्रम को दोगुना स्टोकेस्टिक होने की आवश्यकता नहीं है (वास्तव में, यदि इसमें गैर-ऋणात्मक प्रविष्टियाँ हैं तो व्युत्क्रम दोगुना स्टोकेस्टिक है)।
* दो दोहरे स्टोकेस्टिक आव्यूह का उत्पाद दोगुना स्टोकेस्टिक होता है। चूँकि, गैर-एकवचन दोहरे स्टोकेस्टिक आव्यूह के व्युत्क्रम को दोगुना स्टोकेस्टिक होने की आवश्यकता नहीं है (वास्तव में, यदि इसमें गैर-ऋणात्मक प्रविष्टियाँ हैं तो व्युत्क्रम दोगुना स्टोकेस्टिक है)।
* एक इरेड्यूसिबल एपेरियोडिक परिमित [[मार्कोव श्रृंखला]] का स्थिर वितरण समान है यदि और केवल यदि इसका संक्रमण आव्यूह दोगुना स्टोकेस्टिक है।
* एक इरेड्यूसिबल एपेरियोडिक परिमित [[मार्कोव श्रृंखला]] का स्थिर वितरण समान है यदि और केवल यदि इसका संक्रमण आव्यूह दोगुना स्टोकेस्टिक है।
* सिंकहॉर्न के प्रमेय में कहा गया है कि कड़ाई से सकारात्मक प्रविष्टियों वाले किसी भी आव्यूह को [[विकर्ण मैट्रिक्स|विकर्ण आव्यूह]] द्वारा पूर्व और बाद के गुणन द्वारा दोगुना स्टोकेस्टिक बनाया जा सकता है।
* सिंकहॉर्न के प्रमेय में कहा गया है कि कड़ाई से धनात्मक प्रविष्टियों वाले किसी भी आव्यूह को [[विकर्ण मैट्रिक्स|विकर्ण आव्यूह]] द्वारा पूर्व और बाद के गुणन द्वारा दोगुना स्टोकेस्टिक बनाया जा सकता है।
* के लिए <math>n=2</math>, सभी [[यूनिस्टोकैस्टिक मैट्रिक्स|यूनिस्टोकैस्टिक आव्यूह]] अनइस्टोकैस्टिक आव्यूह और [[ऑर्थोस्टोकैस्टिक मैट्रिक्स|ऑर्थोस्टोकैस्टिक आव्यूह]] हैं, लेकिन बड़े के लिए <math>n</math> यह मसला नहीं है।
* <math>n=2</math> के लिए , सभी [[यूनिस्टोकैस्टिक मैट्रिक्स|यूनिस्टोकैस्टिक आव्यूह]] अनइस्टोकैस्टिक आव्यूह और [[ऑर्थोस्टोकैस्टिक मैट्रिक्स|ऑर्थोस्टोकैस्टिक आव्यूह]] हैं, किन्तु बड़े के लिए <math>n</math> यह अंक नहीं है।
* वैन डेर वेर्डन का अनुमान है कि सभी के बीच न्यूनतम [[स्थायी (गणित)]]। {{nowrap|''n'' × ''n''}} दोगुना स्टोकेस्टिक मैट्रिसेस है <math>n!/n^n</math>, आव्यूह द्वारा प्राप्त किया गया जिसके लिए सभी प्रविष्टियाँ समान हैं <math>1/n</math>.<ref>{{citation
*वैन डेर वेर्डन का अनुमान है कि सभी {{nowrap|''n'' × ''n''}} दोहरे स्टोकेस्टिक आव्यूह के बीच न्यूनतम स्थायी <math>n!/n^n</math> है, जो आव्यूह द्वारा प्राप्त किया गया है जिसके लिए सभी प्रविष्टियाँ <math>1/n</math> के समान हैं।<ref>{{citation
  | last = van der Waerden | first = B. L. | author-link = Bartel Leendert van der Waerden
  | last = van der Waerden | first = B. L. | author-link = Bartel Leendert van der Waerden
  | journal = Jber. Deutsch. Math.-Verein.
  | journal = Jber. Deutsch. Math.-Verein.
Line 30: Line 28:
  | title = Aufgabe 45
  | title = Aufgabe 45
  | volume = 35
  | volume = 35
  | year = 1926}}.</ref> इस अनुमान के प्रमाण 1980 में बी. गेयरस द्वारा प्रकाशित किए गए थे<ref>{{citation
  | year = 1926}}.</ref> इस अनुमान के प्रमाण 1980 में बी. गेयरस <ref>{{citation
  | last = Gyires | first = B.
  | last = Gyires | first = B.
  | issue = 3–4
  | issue = 3–4
Line 38: Line 36:
  | title = The common source of several inequalities concerning doubly stochastic matrices
  | title = The common source of several inequalities concerning doubly stochastic matrices
  | volume = 27
  | volume = 27
  | year = 1980}}.</ref> और 1981 में जी. पी. एगोरीचेव द्वारा<ref>{{citation
  | year = 1980}}.</ref> द्वारा और 1981 में जी.पी. एगोरीचेव <ref>{{citation
  | last = Egoryčev | first = G. P.
  | last = Egoryčev | first = G. P.
  | language = Russian
  | language = Russian
Line 65: Line 63:
  | volume = 42
  | volume = 42
  | year = 1981| doi-access = free
  | year = 1981| doi-access = free
  }}.</ref> और डी. आई. फालिकमैन;<ref>{{citation
  }}.</ref> और डी.आई. फालिकमैन द्वारा प्रकाशित किए गए थे;<ref>{{citation
  | last = Falikman | first = D. I.
  | last = Falikman | first = D. I.
  | issue = 6
  | issue = 6
Line 74: Line 72:
  | title = Proof of the van der Waerden conjecture on the permanent of a doubly stochastic matrix
  | title = Proof of the van der Waerden conjecture on the permanent of a doubly stochastic matrix
  | volume = 29
  | volume = 29
  | year = 1981}}.</ref> इस काम के लिए, एगोरीचेव और फालिकमैन ने 1982 में फुलकर्सन पुरस्कार जीता।<ref>[http://www.mathopt.org/?nav=fulkerson Fulkerson Prize], Mathematical Optimization Society, retrieved 2012-08-19.</ref>
  | year = 1981}}.</ref> इस कार्य के लिए, एगोरीचेव और फालिकमैन ने 1982 में फुलकर्सन पुरस्कार जीता था।<ref>[http://www.mathopt.org/?nav=fulkerson Fulkerson Prize], Mathematical Optimization Society, retrieved 2012-08-19.</ref>


==बिरखॉफ़-वॉन न्यूमैन प्रमेय का प्रमाण==
==बिरखॉफ़-वॉन न्यूमैन प्रमेय का प्रमाण==
मान लीजिए कि X दोगुना स्टोकेस्टिक आव्यूह है। फिर हम दिखाएंगे कि क्रमपरिवर्तन आव्यूह P मौजूद है जैसे कि x<sub>ij</sub>≠0 जब भी <sub>ij</sub>≠ 0. इस प्रकार यदि हम λ को सबसे छोटा x मानते हैं<sub>ij</sub>एक गैर-शून्य पी के अनुरूप<sub>ij</sub>, अंतर हम शून्य आव्यूह पर पहुंचते हैं, जिस बिंदु पर हमने मूल एक्स के समान क्रमपरिवर्तन आव्यूह का उत्तल संयोजन बनाया होगा।<ref name=hetyei>[https://webpages.uncc.edu/ghetyei/courses/old/F07.3116/birkhofft.pdf Birkhoff's theorem], notes by Gábor Hetyei.</ref>
मान लीजिए कि X दोगुना स्टोकेस्टिक आव्यूह है। फिर हम दिखाएंगे कि क्रमपरिवर्तन आव्यूह P उपस्थित है जैसे कि x<sub>ij</sub>≠0 जब भी p<sub>ij</sub>≠ 0. इस प्रकार यदि हम λ को सबसे छोटा x<sub>ij</sub> मानते हैं एक गैर-शून्य p<sub>ij</sub>, के अनुरूप अंतर हम शून्य आव्यूह पर पहुंचते हैं, जिस बिंदु पर हमने मूल X के समान क्रमपरिवर्तन आव्यूह का उत्तल संयोजन बनाया गया था।<ref name=hetyei>[https://webpages.uncc.edu/ghetyei/courses/old/F07.3116/birkhofft.pdf Birkhoff's theorem], notes by Gábor Hetyei.</ref>
 
उदाहरण के लिए यदि <math>X=\frac{1}{12}\begin{pmatrix} 7 & 0 & 5 \\ 2 & 6 & 4 \\ 3 & 6 & 3 \end{pmatrix}</math> तब
उदाहरण के लिए यदि <math>X=\frac{1}{12}\begin{pmatrix} 7 & 0 & 5 \\ 2 & 6 & 4 \\ 3 & 6 & 3 \end{pmatrix}</math> तब
  <math>P=\begin{pmatrix} 0 & 0 & 1 \\ 1 & 0 & 0 \\ 0 & 1 & 0 \end{pmatrix}</math>, <math>\lambda = \frac{2}{12}</math>, और
  <math>P=\begin{pmatrix} 0 & 0 & 1 \\ 1 & 0 & 0 \\ 0 & 1 & 0 \end{pmatrix}</math>, <math>\lambda = \frac{2}{12}</math>, और
  <math>X-\lambda P=\frac{1}{12}\begin{pmatrix} 7 & 0 & 3 \\ 0 & 6 & 4 \\ 3 & 4 & 3 \end{pmatrix}</math>.
  <math>X-\lambda P=\frac{1}{12}\begin{pmatrix} 7 & 0 & 3 \\ 0 & 6 & 4 \\ 3 & 4 & 3 \end{pmatrix}</math>.


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


A में प्रत्येक i के लिए, x के <i>A</i>' में j से अधिक का योग<sub>ij</sub>1 है, क्योंकि सभी कॉलम j जिसके लिए x है<sub>ij</sub>≠0 <i>A</i>' में शामिल हैं, और X दोगुना स्टोकेस्टिक है; इसलिए |ए| x के सभी i ∈ A, j ∈ <i>A</i>' का योग है<sub>ij</sub>.
इस बीच |<i>a</i><nowiki/>'| x के सभी i (चाहे A में हो या नहीं) और <i>A</i><nowiki/>' के सभी j<sub>ij</sub> का योग है; और यह ≥ संगत योग है जिसमें i, A में पंक्तियों तक सीमित है। इसलिए |<i>A</i><nowiki/>'| ≥|a|.


इस बीच |<i>ए</i>'| x के सभी i (चाहे A में हो या नहीं) और <i>A</i>' के सभी j का योग है<sub>ij</sub>; और यह ≥ संगत योग है जिसमें i, A में पंक्तियों तक सीमित है। इसलिए |<i>A</i>'| ≥|ए|.
इसका तात्पर्य यह है कि हॉल के मैरिज प्रमेय की नियम संतुष्ट हैं, और इसलिए हम ग्राफ़ में किनारों का समुच्चय पा सकते हैं जो X में प्रत्येक पंक्ति को पुर्णतः (विशिष्ट) कॉलम में जोड़ता है। ये किनारे क्रमपरिवर्तन आव्यूह को परिभाषित करते हैं जिनकी गैर-शून्य कोशिकाएं X में गैर-शून्य सेल्स से मेल खाती हैं।
 
इसका तात्पर्य यह है कि हॉल के विवाह प्रमेय की शर्तें संतुष्ट हैं, और इसलिए हम ग्राफ़ में किनारों का सेट पा सकते हैं जो एक्स में प्रत्येक पंक्ति को बिल्कुल (विशिष्ट) कॉलम में जोड़ता है। ये किनारे क्रमपरिवर्तन आव्यूह को परिभाषित करते हैं जिनकी गैर-शून्य कोशिकाएं एक्स में गैर-शून्य कोशिकाओं से मेल खाती हैं।


===सामान्यीकरण===
===सामान्यीकरण===
अधिक स्तंभों और पंक्तियों वाले आव्यूहों का सरल सामान्यीकरण है जैसे कि i<sup>वें</sup> पंक्ति का योग r के समान है<sub>i</sub>(एक धनात्मक पूर्णांक), स्तंभों का योग 1 के समान है, और सभी कोशिकाएँ गैर-ऋणात्मक हैं (पंक्ति योगों का योग स्तंभों की संख्या के समान है)। इस रूप में किसी भी आव्यूह को 0s और 1s से बने समान रूप में आव्यूह के उत्तल संयोजन के रूप में व्यक्त किया जा सकता है। इसका प्रमाण i को प्रतिस्थापित करना है<sup>आर द्वारा मूल आव्यूह की वें</sup> पंक्ति<sub>i</sub>अलग-अलग पंक्तियाँ, प्रत्येक r से विभाजित मूल पंक्ति के समान<sub>i</sub>; परिणामी वर्ग आव्यूह पर बिरखॉफ़ के प्रमेय को प्रयुक्त करने के लिए; और अंत में r को योगात्मक रूप से पुनः संयोजित करने के लिए<sub>i</sub>एक ही i में पंक्तियाँ<sup>वें</sup> पंक्ति.
अधिक स्तंभों और पंक्तियों वाले आव्यूहों का सरल सामान्यीकरण है जैसे कि i<sup>वें</sup> पंक्ति का योग r<sub>i</sub> के समान है (एक धनात्मक पूर्णांक), स्तंभों का योग 1 के समान है, और सभी सेल गैर-ऋणात्मक हैं (पंक्ति योगों का योग स्तंभों की संख्या के समान है)। इस रूप में किसी भी आव्यूह को 0s और 1s से बने समान रूप में आव्यूह के उत्तल संयोजन के रूप में व्यक्त किया जा सकता है। इसका प्रमाण i को प्रतिस्थापित करना है जिनमें से प्रत्येक r<sub>i</sub> द्वारा विभाजित मूल पंक्ति के समान है; परिणामी वर्ग आव्यूह पर बिरखॉफ़ के प्रमेय को प्रयुक्त करने के लिए; और अंत में r<sub>i</sub> पंक्तियों को एक एकल iवीं पंक्ति में जोड़ने के लिए किया जाता है।
 
उसी तरह से स्तंभों के साथ-साथ पंक्तियों को भी दोहराना संभव है, लेकिन पुनर्संयोजन का परिणाम आवश्यक रूप से 0s और 1s तक सीमित नहीं है। आर.एम. कैरन एट अल द्वारा अलग सामान्यीकरण (काफ़ी कठिन प्रमाण के साथ) सामने रखा गया है।<ref name=caron>R. M. Caron et al., 'Nonsquare "Doubly Stochastic" Matrices', 1996.</ref>
 


==यह भी देखें==
उसी तरह से स्तंभों के साथ-साथ पंक्तियों को भी दोहराना संभव है, किन्तु पुनर्संयोजन का परिणाम आवश्यक रूप से 0s और 1s तक सीमित नहीं है। आर.एम. कैरन एट अल द्वारा अलग सामान्यीकरण (अधिक कठिन प्रमाण के साथ) सामने रखा गया है।<ref name="caron">R. M. Caron et al., 'Nonsquare "Doubly Stochastic" Matrices', 1996.</ref>
==यह भी देखें             ==
*स्टोकेस्टिक आव्यूह
*स्टोकेस्टिक आव्यूह
*यूनिस्टोचैस्टिक आव्यूह
*यूनिस्टोचैस्टिक आव्यूह
Line 104: Line 99:
{{Reflist}}
{{Reflist}}
* {{cite book | last=Brualdi | first=Richard A. | title=Combinatorial matrix classes | series=Encyclopedia of Mathematics and Its Applications | volume=108 | location=Cambridge | publisher=[[Cambridge University Press]] | year=2006 | isbn=978-0-521-86565-4 | zbl=1106.05001 | url-access=registration | url=https://archive.org/details/combinatorialmat0000brua }}
* {{cite book | last=Brualdi | first=Richard A. | title=Combinatorial matrix classes | series=Encyclopedia of Mathematics and Its Applications | volume=108 | location=Cambridge | publisher=[[Cambridge University Press]] | year=2006 | isbn=978-0-521-86565-4 | zbl=1106.05001 | url-access=registration | url=https://archive.org/details/combinatorialmat0000brua }}
==बाहरी संबंध==
==बाहरी संबंध==
* [http://planetmath.org/birkhoffvonneumanntheorem PlanetMath page on Birkhoff–von Neumann theorem]
* [http://planetmath.org/birkhoffvonneumanntheorem PlanetMath page on Birkhoff–von Neumann theorem]
* [http://planetmath.org/proofofbirkhoffvonneumanntheorem PlanetMath page on proof of Birkhoff–von Neumann theorem]
* [http://planetmath.org/proofofbirkhoffvonneumanntheorem PlanetMath page on proof of Birkhoff–von Neumann theorem]
[[Category: मैट्रिसेस]]


[[Category: Machine Translated Page]]
[[Category:Articles with hatnote templates targeting a nonexistent page]]
[[Category:CS1 maint]]
[[Category:Created On 19/07/2023]]
[[Category:Created On 19/07/2023]]
[[Category:Lua-based templates]]
[[Category:Machine Translated Page]]
[[Category:Pages with script errors]]
[[Category:Short description with empty Wikidata description]]
[[Category:Templates Vigyan Ready]]
[[Category:Templates that add a tracking category]]
[[Category:Templates that generate short descriptions]]
[[Category:Templates using TemplateData]]
[[Category:मैट्रिसेस]]

Latest revision as of 10:04, 4 August 2023

गणित में, विशेष रूप से संभाव्यता और कॉम्बिनेटरिक्स में, एक दोगुना स्टोचैस्टिक आव्यूह (जिसे बिस्टोचैस्टिक आव्यूह भी कहा जाता है) गैर-ऋणात्मक वास्तविक संख्याओं का एक वर्ग आव्यूह है, जिसकी प्रत्येक पंक्ति और स्तंभ का योग 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.

बाहरी संबंध