फ़फ़ियान: Difference between revisions
No edit summary |
m (4 revisions imported from alpha:फ़फ़ियान) |
||
(2 intermediate revisions by 2 users not shown) | |||
Line 1: | Line 1: | ||
गणित में, m×m [[तिरछा-सममित मैट्रिक्स]] के निर्धारक को | गणित में, m×m [[तिरछा-सममित मैट्रिक्स|विकर्ण-सममित आव्यूह]] के निर्धारक को सदैव आव्यूह प्रविष्टियों में [[बहुपद]] के वर्ग के रूप में लिखा जा सकता है, इस प्रकार किसी पूर्णांक के लिए उसके गुणांक वाले बहुपद में जो केवल m पर निर्भर करता है। जब m विषम होता है, तो बहुपद शून्य होता है। जब m सम होता है, तो यह घात m/2 का शून्येतर बहुपद के समान होता है, और इस प्रकार ±1 से गुणा करने तक अद्वितीय होता है। नीचे दिए गए उदाहरणों में विकर्ण-सममित त्रिविकर्ण आव्यूह पर संयोजन पुनः विशिष्ट बहुपद निर्धारित करता है, जिसे ''''फ़फ़ियान'''<nowiki/>' बहुपद कहा जाता है। इस बहुपद का मान, जब विकर्ण-सममित आव्यूह की प्रविष्टियों पर लागू किया जाता है, तो उस आव्यूह का 'फ़फ़ियान' कहा जाता है। फ़फ़ियान शब्द का प्रारंभ किसके द्वारा की गई थी? {{harvs|txt|authorlink=आर्थर कैयलेय|last=कैयलेय|year=1852}}, जिन्होंने अप्रत्यक्ष रूप से उनका नाम [[जोहान फ्रेडरिक पफैफ़]] के नाम पर रखा था। | ||
स्पष्ट रूप से, | स्पष्ट रूप से, विकर्ण-सममित आव्यूह के लिए <math>A</math> का मान इस प्रकार प्रदर्शित किया जा सकता हैं, | ||
: <math> \operatorname{pf}(A)^2=\det(A),</math> | : <math> \operatorname{pf}(A)^2=\det(A),</math> | ||
जो | जो सर्वप्रथम {{harvs|txt|authorlink=Arthur Cayley|last=कैयलेय|year=1849}} द्वारा प्रमाणित हुआ था, जो विभेदक समीकरणों की फ़फ़ियान प्रणाली पर कार्य करने वाले इन बहुपदों को प्रस्तुत करने के लिए [[कार्ल गुस्ताव जैकब जैकोबी]] का संकेत देते हैं। केली केवल पहली पंक्ति और पहले कॉलम में विकर्ण समरूपता से विचलित होने वाले आव्यूह पर अधिक सामान्य परिणाम पर विशेष ध्यान देकर यह संबंध प्राप्त करता है। ऐसे आव्यूह का निर्धारक मूल आव्यूह में पहले ऊपरी बाएँ प्रविष्टि को शून्य पर स्थित करके प्राप्त किए गए दो आव्यूह के फ़फ़ियान का उत्पाद है और पुनः क्रमशः, पहली पंक्ति के ऋणात्मक स्थानान्तरण को पहले कॉलम में और ऋणात्मक को कॉपी करता है। पहले कॉलम को पहली पंक्ति में स्थानांतरित किया जाता हैं। यह अवयस्कों पर निर्धारक का विस्तार करके और नीचे दिए गए प्रत्यावर्तन सूत्र को नियोजित करके प्रेरण द्वारा सिद्ध किया जाता है। | ||
== उदाहरण == | == उदाहरण == | ||
: <math>A=\begin{bmatrix} 0 & a \\ -a & 0 \end{bmatrix}.\qquad\operatorname{pf}(A)=a.</math> | : <math>A=\begin{bmatrix} 0 & a \\ -a & 0 \end{bmatrix}.\qquad\operatorname{pf}(A)=a.</math> | ||
: <math>B=\begin{bmatrix} 0 & a & b \\ -a & 0 & c \\ -b & -c & 0 \end{bmatrix}.\qquad\operatorname{pf}(B)=0.</math> | : <math>B=\begin{bmatrix} 0 & a & b \\ -a & 0 & c \\ -b & -c & 0 \end{bmatrix}.\qquad\operatorname{pf}(B)=0.</math> | ||
(3 विषम है, इसलिए B का | (3 विषम है, इसलिए B का फ़फ़ियान 0 है) | ||
: <math>\operatorname{pf}\begin{bmatrix} 0 & a & b & c \\ -a & 0 & d & e \\ -b & -d & 0& f \\-c & -e & -f & 0 \end{bmatrix}=af-be+dc.</math> | : <math>\operatorname{pf}\begin{bmatrix} 0 & a & b & c \\ -a & 0 & d & e \\ -b & -d & 0& f \\-c & -e & -f & 0 \end{bmatrix}=af-be+dc.</math> | ||
2n × 2n | 2n × 2n विकर्ण-सममित त्रिविकर्ण आव्यूह का फ़फ़ियान इस प्रकार दिया गया है। | ||
: <math>\operatorname{pf}\begin{bmatrix} | : <math>\operatorname{pf}\begin{bmatrix} | ||
0 & a_1 & 0 & 0\\ -a_1 & 0 & 0 & 0\\ 0 & 0 &0 & a_2 \\ 0 & 0 & -a_2 &0&\ddots\\ | 0 & a_1 & 0 & 0\\ -a_1 & 0 & 0 & 0\\ 0 & 0 &0 & a_2 \\ 0 & 0 & -a_2 &0&\ddots\\ | ||
Line 18: | Line 18: | ||
&&&&&-a_n&0 | &&&&&-a_n&0 | ||
\end{bmatrix} = a_1 a_2\cdots a_n.</math> | \end{bmatrix} = a_1 a_2\cdots a_n.</math> | ||
(ध्यान दें कि किसी भी | (ध्यान दें कि किसी भी विकर्ण-सममित आव्यूह को इस रूप में कम किया जा सकता है, इसके आधार पर विकर्ण-सममित आव्यूह स्पेक्ट्रल सिद्धांत या विकर्ण-सममित आव्यूह का स्पेक्ट्रल सिद्धांत देखें।) | ||
== औपचारिक परिभाषा == | == औपचारिक परिभाषा == | ||
माना A = (a<sub>''i,j''</sub>) 2n × 2n | माना A = (a<sub>''i,j''</sub>) 2n × 2n विकर्ण-सममित आव्यूह हो। A के फ़फ़ियान को सूत्र द्वारा स्पष्ट रूप से परिभाषित किया गया है | ||
:<math>\operatorname{pf}(A) = \frac{1}{2^n n!}\sum_{\sigma\in S_{2n}}\operatorname{sgn}(\sigma)\prod_{i=1}^{n}a_{\sigma(2i-1),\sigma(2i)} \,, </math> | :<math>\operatorname{pf}(A) = \frac{1}{2^n n!}\sum_{\sigma\in S_{2n}}\operatorname{sgn}(\sigma)\prod_{i=1}^{n}a_{\sigma(2i-1),\sigma(2i)} \,, </math> | ||
जहां | जहां s<sub>2''n''</sub> (2n) क्रम का [[सममित समूह]] है! और sgn(σ) σ का [[हस्ताक्षर (क्रम[[परिवर्तन]])]] है। | ||
सभी संभावित क्रमपरिवर्तनों के योग से बचने के लिए | सभी संभावित क्रमपरिवर्तनों के योग से बचने के लिए A की विकर्ण-समरूपता का उपयोग किया जा सकता है। मान लीजिए Π किसी समुच्चय के सभी विभाजनों का समुच्चय {{mset|1, 2, ..., 2''n''}} है, जिसके आदेश के बारे में सोचे बिना इसे जोड़े में प्रदर्शित कर सकते हैं। इसके लिए {{nowrap|1=(2''n'')!/(2<sup>''n''</sup>''n''!) = (2''n'' − 1)[[double factorial|!!]]}} ऐसे विभाजन तत्व हैं जिसे {{nowrap|''α'' ∈ Π}} के रूप में लिखा जा सकता है। | ||
: <math>\alpha=\{(i_1,j_1),(i_2,j_2),\cdots,(i_n,j_n)\}</math> | : <math>\alpha=\{(i_1,j_1),(i_2,j_2),\cdots,(i_n,j_n)\}</math> | ||
इस प्रकार {{nowrap|''i''<sub>''k''</sub> < ''j''<sub>''k''</sub>}} और <math>i_1 < i_2 < \cdots < i_n</math> के लिए | |||
: <math>\pi_\alpha=\begin{bmatrix} 1 & 2 & 3 & 4 & \cdots & 2n -1 & 2n \\ i_1 & j_1 & i_2 & j_2 & \cdots & i_n & j_{n} \end{bmatrix}</math> | : <math>\pi_\alpha=\begin{bmatrix} 1 & 2 & 3 & 4 & \cdots & 2n -1 & 2n \\ i_1 & j_1 & i_2 & j_2 & \cdots & i_n & j_{n} \end{bmatrix}</math> | ||
संगत क्रमपरिवर्तन हो. ऊपर दिए गए विभाजन α को देखते हुए | संगत क्रमपरिवर्तन हो. ऊपर दिए गए विभाजन α को देखते हुए इसे इस प्रकार परिभाषित करते हैं। | ||
: <math> A_\alpha =\operatorname{sgn}(\pi_\alpha)a_{i_1,j_1}a_{i_2,j_2}\cdots a_{i_n,j_n}.</math> | : <math> A_\alpha =\operatorname{sgn}(\pi_\alpha)a_{i_1,j_1}a_{i_2,j_2}\cdots a_{i_n,j_n}.</math> | ||
A का | A का फ़फ़ियान तब इस प्रकार प्रदर्शित किया जाता है। | ||
: <math>\operatorname{pf}(A)=\sum_{\alpha\in\Pi} A_\alpha.</math> | : <math>\operatorname{pf}(A)=\sum_{\alpha\in\Pi} A_\alpha.</math> | ||
n विषम के लिए n×n | n विषम के लिए n×n विकर्ण-सममित आव्यूह का फ़फ़ियान शून्य के रूप में परिभाषित किया गया है, क्योंकि विषम विकर्ण-सममित आव्यूह का निर्धारक शून्य है, क्योंकि विकर्ण-सममित आव्यूह के लिए, | ||
<math display="block">\det\,A = \det\,A^\text{T} = \det\left(-A\right) = (-1)^n \det\,A,</math> | <math display="block">\det\,A = \det\,A^\text{T} = \det\left(-A\right) = (-1)^n \det\,A,</math> | ||
और n विषम के लिए, इसका तात्पर्य | और n विषम के लिए, इसका तात्पर्य <math>\det\,A = 0</math> है। | ||
=== पुनरावर्ती परिभाषा === | === पुनरावर्ती परिभाषा === | ||
इसके अनुसार 0×0 आव्यूह का फ़फ़ियान के समान है। जिसके लिए विकर्ण-सममित 2n×2n आव्यूह A का फ़फ़ियान {{nowrap|''n'' > 0}} की गणना पुनरावर्ती रूप से की जा सकती है। | |||
: <math>\operatorname{pf}(A)=\sum_{{j=1}\atop{j\neq i}}^{2n}(-1)^{i+j+1+\theta(i-j)}a_{ij}\operatorname{pf}(A_{\hat{\imath}\hat{\jmath}}),</math> | : <math>\operatorname{pf}(A)=\sum_{{j=1}\atop{j\neq i}}^{2n}(-1)^{i+j+1+\theta(i-j)}a_{ij}\operatorname{pf}(A_{\hat{\imath}\hat{\jmath}}),</math> | ||
जहां सूचकांक I को | जहां सूचकांक I को इस प्रकार चुना जा सकता है, जहाँ <math>\theta(i-j)</math> [[हेविसाइड स्टेप फ़ंक्शन|हेविसाइड स्टेप फलन]] है, और <math>A_{\hat{\imath}\hat{\jmath}}</math> iवें और jवें दोनों पंक्तियों और स्तंभों को हटाकर आव्यूह A को दर्शाता है।<ref>{{Cite web |url=http://jesusmtz.public.iastate.edu/soliton/REPORT%202.pdf |title=संग्रहीत प्रति|access-date=2015-03-31 |archive-url=https://web.archive.org/web/20160305005223/http://jesusmtz.public.iastate.edu/soliton/REPORT%202.pdf |archive-date=2016-03-05 |url-status=dead }}</ref> यहाँ ध्यान दें कि विशेष विकल्प के लिए कैसे <math>i=1</math> यह सरल अभिव्यक्ति को कम करता है: | ||
: <math>\operatorname{pf}(A)=\sum_{j=2}^{2n}(-1)^{j}a_{1j}\operatorname{pf}(A_{\hat{1}\hat{\jmath}}).</math> | : <math>\operatorname{pf}(A)=\sum_{j=2}^{2n}(-1)^{j}a_{1j}\operatorname{pf}(A_{\hat{1}\hat{\jmath}}).</math> | ||
=== वैकल्पिक परिभाषाएँ === | === वैकल्पिक परिभाषाएँ === | ||
कोई भी किसी भी | कोई भी किसी भी विकर्ण-सममित 2n×2n आव्यूह से जुड़ सकता है, इस प्रकार {{nowrap|1=''A'' = (''a''<sub>''ij''</sub>)}} [[बाहरी बीजगणित|बाह्य बीजगणित]] के लिए | ||
: <math>\omega=\sum_{i<j} a_{ij}\;e_i\wedge e_j ,</math> | : <math>\omega=\sum_{i<j} a_{ij}\;e_i\wedge e_j ,</math> | ||
जहाँ {{mset|''e''<sub>1</sub>, ''e''<sub>2</sub>, ..., ''e''<sub>2''n''</sub>}} R<sup>2n</sup> का मानक आधार है। यहाँ पर फ़फ़ियान को पुनः समीकरण द्वारा परिभाषित किया गया है। | |||
: <math>\frac{1}{n!}\omega^n = \operatorname{pf}(A)\;e_1\wedge e_2\wedge\cdots\wedge e_{2n},</math> | : <math>\frac{1}{n!}\omega^n = \operatorname{pf}(A)\;e_1\wedge e_2\wedge\cdots\wedge e_{2n},</math> | ||
यहाँ ω<sup>n</sup> ω की n प्रतियों के वेज उत्पाद को दर्शाता है। | यहाँ ω<sup>n</sup> ω की n प्रतियों के वेज उत्पाद को दर्शाता है। | ||
समान रूप से | समान रूप से हम बायवेक्टर पर विचार कर सकते हैं (जो तब अधिक सुविधाजनक होता है जब हम योग बाधा <math>i < j</math> लागू नहीं करना चाहते हैं):<math display="block">\omega'=2 \omega = \sum_{i, j} a_{ij}\;e_i\wedge e_j,</math>जो <math>\omega'^n = 2^n n! \operatorname{pf}(A)\;e_1\wedge e_2\wedge\cdots\wedge e_{2n}.</math> मान प्रदान करता है। निर्धारकों से जुड़े कई इंटीग्रल पर डी ब्रुइज़न के कार्य में फ़फ़ियान से विषम-आयामी आव्यूह का गैर-शून्य सामान्यीकरण दिया गया है।<ref>{{Cite journal |last=Bruijn |first=de, N.G. |date=1955 |title=निर्धारकों से जुड़े कुछ एकाधिक अभिन्नों पर|url=https://research.tue.nl/en/publications/on-some-multiple-integrals-involving-determinants |journal=Journal of the Indian Mathematical Society |series=New Series |volume=19 |pages=133–151 |issn=0019-5839}}</ref> इस प्रकार विशेष रूप से किसी के लिए <math>m\times m</math>-आव्यूह A, हम उपरोक्त औपचारिक परिभाषा का उपयोग करते हैं, किन्तु <math>n = \lfloor m/2\rfloor </math> स्थित करते हैं। यहाँ पर m विषम होने पर कोई यह दिखा सकता है कि यह एन के सामान्य फ़फ़ियान के समान है, इस प्रकार <math>(m+1) \times (m+1)</math>-आयामी विकर्ण सममित आव्यूह हैं जहाँ हमने <math>(m+1)</math>वें स्तंभ में m तत्व को जोड़ा है, इस प्रकार a में में 1 सम्मिलित है, तथा <math>(m+1)</math>वीं पंक्ति में m तत्व -1 सम्मिलित है, और कोने का तत्व शून्य है। इसके आधार पर फ़फ़ियान के सामान्य गुण, उदाहरण के लिए निर्धारक से संबंध, पुनः इस विस्तारित आव्यूह पर लागू होते हैं। | ||
<math display="block">\omega'=2 \omega = \sum_{i, j} a_{ij}\;e_i\wedge e_j,</math> | |||
जो | |||
निर्धारकों से जुड़े कई इंटीग्रल पर डी ब्रुइज़न के | |||
== गुण और | == गुण और अभिन्न == | ||
पफैफियंस में निम्नलिखित गुण होते हैं, जो निर्धारकों के समान होते हैं। | पफैफियंस में निम्नलिखित गुण होते हैं, जो निर्धारकों के समान होते हैं। | ||
* एक पंक्ति और स्तंभ को स्थिरांक से गुणा करना | * एक पंक्ति और स्तंभ को स्थिरांक से गुणा करना फ़फ़ियान को उसी स्थिरांक से गुणा करने के समान होते हैं। | ||
* दो अलग-अलग पंक्तियों और संबंधित स्तंभों के साथ आदान-प्रदान से | * दो अलग-अलग पंक्तियों और संबंधित स्तंभों के साथ आदान-प्रदान से फ़फ़ियान का चिह्न परिवर्तित हो जाता है। | ||
* एक पंक्ति और संबंधित कॉलम का गुणज दूसरी पंक्ति और संबंधित कॉलम में जोड़ा जाने से | * एक पंक्ति और संबंधित कॉलम का गुणज दूसरी पंक्ति और संबंधित कॉलम में जोड़ा जाने से फ़फ़ियान का मान परिवर्तित नहीं होता हैं। | ||
इन गुणों का उपयोग करके, निर्धारकों की गणना के समान, | इन गुणों का उपयोग करके, निर्धारकों की गणना के समान, फ़फ़ियान की शीघ्रता से गणना की जा सकती है। | ||
=== विविध === | === विविध === | ||
2n × 2n | 2n × 2n विकर्ण-सममित आव्यूह A के लिए | ||
: <math>\operatorname{pf}(A^\text{T}) = (-1)^n\operatorname{pf}(A).</math> | : <math>\operatorname{pf}(A^\text{T}) = (-1)^n\operatorname{pf}(A).</math> | ||
: <math>\operatorname{pf}(\lambda A) = \lambda^n \operatorname{pf}(A).</math> | : <math>\operatorname{pf}(\lambda A) = \lambda^n \operatorname{pf}(A).</math> | ||
: <math>\operatorname{pf}(A)^2 = \det(A).</math> | : <math>\operatorname{pf}(A)^2 = \det(A).</math> | ||
इसके आधार पर 2n × 2n आव्यूह B के लिए, | |||
: <math>\operatorname{pf}(BAB^\text{T})= \det(B)\operatorname{pf}(A).</math> | : <math>\operatorname{pf}(BAB^\text{T})= \det(B)\operatorname{pf}(A).</math> | ||
इस समीकरण में B = A | इस समीकरण में B = A<sup>m</sup> प्रतिस्थापित करने पर, सभी पूर्णांकों के लिए m प्राप्त होता है | ||
: <math>\operatorname{pf}(A^{2m+1})= (-1)^{nm}\operatorname{pf}(A)^{2m+1}.</math> | : <math>\operatorname{pf}(A^{2m+1})= (-1)^{nm}\operatorname{pf}(A)^{2m+1}.</math> | ||
{{math proof|title=Proof of <math>\operatorname{pf}(BAB^\text{T})= \det(B)\operatorname{pf}(A)</math>|proof= | {{math proof|title=Proof of <math>\operatorname{pf}(BAB^\text{T})= \det(B)\operatorname{pf}(A)</math>|proof= | ||
जैसा कि पहले से कहा गया हैं कि <math>A \mapsto \sum_{ij} A_{ij} e_i \wedge e_j \mapsto^{\wedge n} {2^n n!}Pf(A) e_1 \wedge \cdots \wedge e_{2n}</math>. इसी प्रकार B के लिए <math>BAB^\mathrm{T}</math>: | |||
<math display="block">BAB^\mathrm{T} \mapsto \sum_{ijkl}B_{ik}B_{jl}A_{kl} e_i \wedge e_j = \sum_{kl} A_{il} f_k \wedge f_l \mapsto^{\wedge n} {2^n n!}Pf(A) f_1 \wedge \cdots \wedge f_{2n} = {2^n n!}Pf(BAB^\mathrm{T}) e_1 \wedge \cdots \wedge e_{2n},</math> | <math display="block">BAB^\mathrm{T} \mapsto \sum_{ijkl}B_{ik}B_{jl}A_{kl} e_i \wedge e_j = \sum_{kl} A_{il} f_k \wedge f_l \mapsto^{\wedge n} {2^n n!}Pf(A) f_1 \wedge \cdots \wedge f_{2n} = {2^n n!}Pf(BAB^\mathrm{T}) e_1 \wedge \cdots \wedge e_{2n},</math> | ||
जहाँ हमने यह माना था कि <math>f_k = \sum_i B_{ik}e_i</math>. | |||
चूंकि <math>f_1 \wedge \cdots \wedge f_{2n} = \det(B) e_1 \wedge \cdots \wedge e_{2n},</math> के आधार पर हम प्रमाण प्राप्त कर सकते हैं। | |||
}} | }} | ||
{{Math proof|title=Proof of <math>\operatorname{pf}(A)^2 = \det(A)</math>:|proof= | {{Math proof|title=Proof of <math>\operatorname{pf}(A)^2 = \det(A)</math>:|proof= | ||
चूंकि <math>\operatorname{pf}(A)^2 = \det(A)</math> बहुपदों का एक समीकरण है, यह वास्तविक आव्यूहों के लिए इसे सिद्ध करने के लिए पर्याप्त है, और यह स्वचालित रूप से जटिल आव्यूहों के लिए भी लागू होगा। | |||
[[तिरछा-सममित मैट्रिक्स#स्पेक्ट्रल सिद्धांत|तिरछा-सममित वास्तविक मैट्रिक्स का वर्णक्रमीय सिद्धांत]] द्वारा, <math>A = Q\Sigma Q^\mathrm{T}</math>, जहाँ <math>Q</math> ओर्थोगोनल है और | |||
<math display="block">\Sigma = \begin{bmatrix} | <math display="block">\Sigma = \begin{bmatrix} | ||
0 & a_1 & 0 & 0\\ -a_1 & 0 & 0 & 0\\ 0 & 0 &0 & a_2 \\ 0 & 0 & -a_2 &0&\ddots\\ | 0 & a_1 & 0 & 0\\ -a_1 & 0 & 0 & 0\\ 0 & 0 &0 & a_2 \\ 0 & 0 & -a_2 &0&\ddots\\ | ||
Line 98: | Line 93: | ||
\end{bmatrix} | \end{bmatrix} | ||
</math> | </math> | ||
वास्तविक संख्या के लिए <math>a_k</math>. अब पिछले प्रमेय को लागू करें, जिसके लिए <math>pf(A)^2 = pf(\Sigma)^2 \det(Q)^4 = pf(\Sigma)^2 = \left(\prod a_i\right)^2 = \det(A)</math> के समान हैं। | |||
}} | }} | ||
=== व्युत्पन्न | === व्युत्पन्न अभिन्न === | ||
यदि A किसी चर x पर निर्भर करता है<sub>''i''</sub>, तो | यदि A किसी चर x पर निर्भर करता है<sub>''i''</sub>, तो फ़फ़ियान की ग्रेडिएंट द्वारा दी गई है | ||
: <math>\frac{1}{\operatorname{pf}(A)}\frac{\partial\operatorname{pf}(A)}{\partial x_i}=\frac{1}{2}\operatorname{tr}\left(A^{-1}\frac{\partial A}{\partial x_i}\right),</math> | : <math>\frac{1}{\operatorname{pf}(A)}\frac{\partial\operatorname{pf}(A)}{\partial x_i}=\frac{1}{2}\operatorname{tr}\left(A^{-1}\frac{\partial A}{\partial x_i}\right),</math> | ||
और | और फ़फ़ियान का [[ हेस्सियन मैट्रिक्स |हेस्सियन आव्यूह]] द्वारा दिया गया है | ||
: <math>\frac{1}{\operatorname{pf}(A)}\frac{\partial^2\operatorname{pf}(A)}{\partial x_i\partial x_j}=\frac{1}{2}\operatorname{tr}\left(A^{-1}\frac{\partial^2 A}{\partial x_i\partial x_j}\right)-\frac{1}{2}\operatorname{tr}\left(A^{-1}\frac{\partial A}{\partial x_i}A^{-1}\frac{\partial A}{\partial x_j}\right)+\frac{1}{4}\operatorname{tr}\left(A^{-1}\frac{\partial A}{\partial x_i}\right)\operatorname{tr}\left(A^{-1}\frac{\partial A}{\partial x_j}\right).</math> | : <math>\frac{1}{\operatorname{pf}(A)}\frac{\partial^2\operatorname{pf}(A)}{\partial x_i\partial x_j}=\frac{1}{2}\operatorname{tr}\left(A^{-1}\frac{\partial^2 A}{\partial x_i\partial x_j}\right)-\frac{1}{2}\operatorname{tr}\left(A^{-1}\frac{\partial A}{\partial x_i}A^{-1}\frac{\partial A}{\partial x_j}\right)+\frac{1}{4}\operatorname{tr}\left(A^{-1}\frac{\partial A}{\partial x_i}\right)\operatorname{tr}\left(A^{-1}\frac{\partial A}{\partial x_j}\right).</math> | ||
===अभिन्न का पता लगाना === | |||
विकर्ण-सममित आव्यूह A और B के फ़फ़ियान के उत्पाद को घातांक के रूप में दर्शाया जा सकता है | |||
: <math>\textrm{pf}(A)\,\textrm{pf}(B) = \exp(\tfrac{1}{2}\mathrm{tr}\log(A^\text{T}B)).</math> | : <math>\textrm{pf}(A)\,\textrm{pf}(B) = \exp(\tfrac{1}{2}\mathrm{tr}\log(A^\text{T}B)).</math> | ||
मान लीजिए कि A और B 2n × 2n | मान लीजिए कि A और B 2n × 2n विकर्ण-सममित आव्यूह हैं | ||
: <math> \mathrm{pf}(A)\,\mathrm{pf}(B) = \tfrac{1}{n!} B_n(s_1, s_2, \ldots, s_n), \qquad \mathrm{where} \qquad s_l = - \tfrac{1}{2}(l - 1)!\,\mathrm{tr}((AB)^l)</math> | : <math> \mathrm{pf}(A)\,\mathrm{pf}(B) = \tfrac{1}{n!} B_n(s_1, s_2, \ldots, s_n), \qquad \mathrm{where} \qquad s_l = - \tfrac{1}{2}(l - 1)!\,\mathrm{tr}((AB)^l)</math> | ||
और | और B<sub>''n''</sub>(s<sub>1</sub>,s<sub>2</sub>,...,s<sub>n</sub>) [[बेल बहुपद]] हैं। | ||
=== ब्लॉक | === ब्लॉक आव्यूह === | ||
एक ब्लॉक-विकर्ण | एक ब्लॉक-विकर्ण आव्यूह के लिए | ||
:: <math>A_1\oplus A_2=\begin{bmatrix} A_1 & 0 \\ 0 & A_2 \end{bmatrix},</math> | :: <math>A_1\oplus A_2=\begin{bmatrix} A_1 & 0 \\ 0 & A_2 \end{bmatrix},</math> | ||
: <math>\operatorname{pf}(A_1\oplus A_2) =\operatorname{pf}(A_1)\operatorname{pf}(A_2).</math> | : <math>\operatorname{pf}(A_1\oplus A_2) =\operatorname{pf}(A_1)\operatorname{pf}(A_2).</math> | ||
इसी प्रकार n × n आव्यूह में M मान के लिए: | |||
: <math>\operatorname{pf}\begin{bmatrix} 0 & M \\ -M^\text{T} & 0 \end{bmatrix} = | : <math>\operatorname{pf}\begin{bmatrix} 0 & M \\ -M^\text{T} & 0 \end{bmatrix} = | ||
(-1)^{n(n-1)/2}\det M.</math> | (-1)^{n(n-1)/2}\det M.</math> | ||
विकर्ण-सममित आव्यूह के फ़फ़ियान की गणना करने के लिए अधिकांशतः <math> S </math> ब्लॉक संरचना के साथ इसकी आवश्यकता होती है। | |||
: <math> | : <math> | ||
S = \begin{pmatrix} M & Q\\-Q^\mathrm{T} & N \end{pmatrix}\, | S = \begin{pmatrix} M & Q\\-Q^\mathrm{T} & N \end{pmatrix}\, | ||
</math> | </math> | ||
जहाँ <math> M </math> और <math> N </math> विकर्ण-सममित आव्यूह हैं और <math> Q </math> सामान्य आयताकार आव्यूह है। | |||
इस प्रकार जब <math> M </math> व्युत्क्रम होता है, तब हमारे पास निम्नलिखित समीकरण प्राप्त होता हैं। | |||
: <math> | : <math> | ||
\operatorname{pf}( S) = \operatorname{pf}( M)\operatorname{pf}( N+ Q^\mathrm{T} M^{-1} Q). | \operatorname{pf}( S) = \operatorname{pf}( M)\operatorname{pf}( N+ Q^\mathrm{T} M^{-1} Q). | ||
Line 139: | Line 132: | ||
Zhang, Fuzhen, ed. The Schur complement and its applications. Vol. 4. Springer Science & Business Media, 2006.</ref><ref>Bunch, James R. "A note on the stable decomposition of skew-symmetric matrices." Mathematics of Computation 38.158 (1982): 475-479.</ref> | Zhang, Fuzhen, ed. The Schur complement and its applications. Vol. 4. Springer Science & Business Media, 2006.</ref><ref>Bunch, James R. "A note on the stable decomposition of skew-symmetric matrices." Mathematics of Computation 38.158 (1982): 475-479.</ref> | ||
: <math>\begin{pmatrix}M& 0\\ 0 & N+Q^\mathrm{T} M^{-1} Q\end{pmatrix} = \begin{pmatrix}I& 0\\ Q^\mathrm{T} M^{-1} & I\end{pmatrix}\begin{pmatrix} M& Q\\ -Q^\mathrm{T} & N\end{pmatrix} \begin{pmatrix}I& -M^{-1} Q\\ 0& I \end{pmatrix}.</math> | : <math>\begin{pmatrix}M& 0\\ 0 & N+Q^\mathrm{T} M^{-1} Q\end{pmatrix} = \begin{pmatrix}I& 0\\ Q^\mathrm{T} M^{-1} & I\end{pmatrix}\begin{pmatrix} M& Q\\ -Q^\mathrm{T} & N\end{pmatrix} \begin{pmatrix}I& -M^{-1} Q\\ 0& I \end{pmatrix}.</math> | ||
इस अपघटन में सर्वांगसमता परिवर्तन | इस अपघटन में सर्वांगसमता परिवर्तन सम्मिलित है, जो फ़फ़ियान मान <math> \operatorname{pf}(BAB^\mathrm{T}) = \operatorname{det}(B)\operatorname{pf}(A)</math> का उपयोग करने की अनुमति देता है। | ||
इसी प्रकार, जब <math> N </math> | इसी प्रकार, जब <math> N </math> व्युत्क्रम होता है तब हमारे पास निम्नलिखित समीकरण प्राप्त होता है। | ||
: <math> | : <math> | ||
\operatorname{pf}( S) = | \operatorname{pf}( S) = | ||
\operatorname{pf}(N)\operatorname{pf}( M+ Q N^{-1} Q^\mathrm{T}), | \operatorname{pf}(N)\operatorname{pf}( M+ Q N^{-1} Q^\mathrm{T}), | ||
</math> | </math> | ||
जैसा कि अपघटन को नियोजित करके देखा जा सकता | जैसा कि अपघटन को नियोजित करके देखा जा सकता है। | ||
: <math>\begin{pmatrix}M+Q N^{-1} Q^\mathrm{T}& 0\\ 0 & N\end{pmatrix} = \begin{pmatrix}I& -Q N^{-1}\\ 0 & I\end{pmatrix}\begin{pmatrix} M& Q\\ -Q^\mathrm{T} & N\end{pmatrix} \begin{pmatrix}I& 0\\ N^{-1} Q^\mathrm{T}& I \end{pmatrix}.</math> | : <math>\begin{pmatrix}M+Q N^{-1} Q^\mathrm{T}& 0\\ 0 & N\end{pmatrix} = \begin{pmatrix}I& -Q N^{-1}\\ 0 & I\end{pmatrix}\begin{pmatrix} M& Q\\ -Q^\mathrm{T} & N\end{pmatrix} \begin{pmatrix}I& 0\\ N^{-1} Q^\mathrm{T}& I \end{pmatrix}.</math> | ||
== फ़फ़ियान की संख्यात्मक गणना करना == | |||
मान लीजिए A 2n × 2n विकर्ण-सममित आव्यूह है | |||
== | |||
मान लीजिए A 2n × 2n | |||
: <math>\textrm{pf}(A) = i^{(n^2)} \exp\left(\tfrac{1}{2}\mathrm{tr}\log((\sigma_y\otimes I_n)^\mathrm{T}\cdot A)\right), </math> | : <math>\textrm{pf}(A) = i^{(n^2)} \exp\left(\tfrac{1}{2}\mathrm{tr}\log((\sigma_y\otimes I_n)^\mathrm{T}\cdot A)\right), </math> | ||
जहाँ <math>\sigma_y</math> दूसरा [[पॉल के मैट्रिक्स|पॉल के आव्यूह]] है, इस प्रकार <math>I_n</math> आयाम n का अभिन्न आव्यूह है, और हमने [[मैट्रिक्स लघुगणक|आव्यूह लघुगणक]] पर ट्रेस कर लिया जाता हैं। | |||
यह समानता | यह समानता फ़फ़ियान ट्रेस करके अभिन्नता पर इसे आधारित किया जाता है। | ||
: <math>\textrm{pf}(A)\,\textrm{pf}(B) = \exp\left(\tfrac{1}{2}\mathrm{tr}\log(A^\text{T}B)\right)</math> | : <math>\textrm{pf}(A)\,\textrm{pf}(B) = \exp\left(\tfrac{1}{2}\mathrm{tr}\log(A^\text{T}B)\right)</math> | ||
और उस अवलोकन | और उस अवलोकन <math>\textrm{pf}(\sigma_y\otimes I_n)=(-i)^{n^2}</math> पर यह मान प्राप्त होता हैं। | ||
चूंकि | चूंकि आव्यूह के लघुगणक की गणना कम्प्यूटरीकृत रूप से प्राप्त किये जाने वाला एक फलन है, इसके अतिरिक्त कोई इसके सभी आईजन मान <math>((\sigma_y\otimes I_n)^\mathrm{T}\cdot A)</math> की गणना कर सकता है, इन सभी का लॉग लेकर उन्हें सारांशित किया जाता हैं। यह प्रक्रिया केवल आव्यूह गुणों के लघुगणक <math>\operatorname{tr}{\log{(AB)}} = \operatorname{tr}{\log{(A)}} + \operatorname{tr}{\log{(B)}} </math> का उपयोग करती है, इसे [[ वोल्फ्राम मैथमैटिका |वोल्फ्राम मैथमैटिका]] में ही कथन के साथ लागू किया जाता है: | ||
: <code> Pf[x_] := Module[{n = Dimensions[x]{{brackets|1}} / 2}, I^(n^2) Exp[ 1/2 Total[ Log[Eigenvalues[ Dot[Transpose[KroneckerProduct[PauliMatrix[2], IdentityMatrix[n]]], x] ]]]]] </code> | : <code> Pf[x_] := Module[{n = Dimensions[x]{{brackets|1}} / 2}, I^(n^2) Exp[ 1/2 Total[ Log[Eigenvalues[ Dot[Transpose[KroneckerProduct[PauliMatrix[2], IdentityMatrix[n]]], x] ]]]]] </code> | ||
चूंकि, फ़फ़ियान बड़ा होने पर यह एल्गोरिथ्म अस्थिर है। इसके लिए आइजन मान <math>(\sigma_y\otimes I_n)^\mathrm{T}\cdot A </math> आम तौर पर जटिल होगा, और इन जटिल आइजन मान के लघुगणक को सामान्यतः <math> [-\pi, \pi] </math> पर प्राप्त कर लिया जाता है। इसे सारांशित करके वास्तविक मूल्यवान फ़फ़ियान के लिए, घातांक का तर्क फॉर्म <math> x + k\pi/2 </math> में दिया जाएगा। इस प्रकार कुछ पूर्णांकों के लिए <math>k</math> जब <math>x</math> के लिए अधिक होता है, इस स्थिति में जटिलता के क्रम में परिणामी संकेत की गणना में इस गोलाई में आने वाली त्रुटियां गैर-शून्य काल्पनिक घटक को जन्म दे सकती हैं। | |||
अन्य (अधिक) कुशल एल्गोरिदम के लिए | इसके अन्य (अधिक) कुशल एल्गोरिदम के लिए {{harvnb|विम्मर|2012}} देखें। | ||
== अनुप्रयोग == | == अनुप्रयोग == | ||
* विभिन्न प्लेटफार्मों (पायथन, मैटलैब, मैथमेटिका) पर | * विभिन्न प्लेटफार्मों (पायथन, मैटलैब, मैथमेटिका) पर फ़फ़ियान की संख्यात्मक गणना के लिए यह फलन {{harv|विम्मर|2012}} उपस्थित हैं। | ||
* | * फ़फ़ियान आधार के उचित [[ऑर्थोगोनल समूह]] परिवर्तन के अनुसार विकर्ण-सममित आव्यूह का [[अपरिवर्तनीय बहुपद]] है। इसी प्रकार यह चारित्रिक वर्गों के सिद्धांत में महत्वपूर्ण है। विशेष रूप से, इसका उपयोग [[रीमैनियन मैनिफोल्ड]] के [[यूलर वर्ग]] को परिभाषित करने के लिए किया जा सकता है, जिसका उपयोग सामान्यीकृत गॉस-बोनट प्रमेय में किया जाता है। | ||
* | * इस प्रकार किसी [[समतलीय ग्राफ]] में पूर्ण संयोजन की संख्या फ़फ़ियान द्वारा प्राप्त की जाती है, इसलिए एफकेटी एल्गोरिथ्म के माध्यम से बहुपद समय की गणना की जा सकती है। यह आश्चर्य की बात है कि सामान्य ग्राफ़ के लिए यह इस समस्या से बहुत कठिन है, तथाकथित शार्प-पी-कम्प्लीट या पी-कम्प्लीट के समान होता हैं। इस परिणाम का उपयोग आयत के [[डोमिनोज़ टाइलिंग]] की संख्या, भौतिकी में [[आइसिंग मॉडल|आइसिंग प्रारूप]] के [[विभाजन फ़ंक्शन (सांख्यिकीय यांत्रिकी)|विभाजन फलन (सांख्यिकीय यांत्रिकी)]], या [[ यंत्र अधिगम |यंत्र अधिगम]] में [[मार्कोव यादृच्छिक क्षेत्र|मार्कोव यादृच्छिक क्षेत्रों]] ({{harvnb|ग्लोबर्सन|जैक्कालो|2007}}, {{harvnb|श्राडोल्फ|कामेनेत्स्की|2009}}) की गणना करने के लिए किया जाता है। जहां अंतर्निहित ग्राफ समतलीय है। इसका उपयोग कुछ अन्यथा प्रतीत होने वाली कठिन समस्याओं के लिए कुशल एल्गोरिदम प्राप्त करने के लिए भी किया जाता है, जिसमें कुछ प्रकार के [[प्रतिबंधित क्वांटम गणना]] के कुशल सिमुलेशन भी सम्मिलित हैं। इसकी अधिक जानकारी के लिए [[ होलोग्राफिक एल्गोरिदम |होलोग्राफिक एल्गोरिदम]] पढ़ें। | ||
== यह भी देखें == | == यह भी देखें == | ||
*निर्धारक | *निर्धारक | ||
* [[डिमर मॉडल]] | * [[डिमर मॉडल|डिमर प्रारूप]] | ||
* [[हफ़नियन]] | * [[हफ़नियन]] | ||
* [[पॉलीओमिनो]] | * [[पॉलीओमिनो]] | ||
Line 215: | Line 206: | ||
[[Category: Machine Translated Page]] | [[Category: Machine Translated Page]] | ||
[[Category:Created On 29/11/2023]] | [[Category:Created On 29/11/2023]] | ||
[[Category:Vigyan Ready]] |
Latest revision as of 11:05, 11 December 2023
गणित में, m×m विकर्ण-सममित आव्यूह के निर्धारक को सदैव आव्यूह प्रविष्टियों में बहुपद के वर्ग के रूप में लिखा जा सकता है, इस प्रकार किसी पूर्णांक के लिए उसके गुणांक वाले बहुपद में जो केवल m पर निर्भर करता है। जब m विषम होता है, तो बहुपद शून्य होता है। जब m सम होता है, तो यह घात m/2 का शून्येतर बहुपद के समान होता है, और इस प्रकार ±1 से गुणा करने तक अद्वितीय होता है। नीचे दिए गए उदाहरणों में विकर्ण-सममित त्रिविकर्ण आव्यूह पर संयोजन पुनः विशिष्ट बहुपद निर्धारित करता है, जिसे 'फ़फ़ियान' बहुपद कहा जाता है। इस बहुपद का मान, जब विकर्ण-सममित आव्यूह की प्रविष्टियों पर लागू किया जाता है, तो उस आव्यूह का 'फ़फ़ियान' कहा जाता है। फ़फ़ियान शब्द का प्रारंभ किसके द्वारा की गई थी? कैयलेय (1852), जिन्होंने अप्रत्यक्ष रूप से उनका नाम जोहान फ्रेडरिक पफैफ़ के नाम पर रखा था।
स्पष्ट रूप से, विकर्ण-सममित आव्यूह के लिए का मान इस प्रकार प्रदर्शित किया जा सकता हैं,
जो सर्वप्रथम कैयलेय (1849) द्वारा प्रमाणित हुआ था, जो विभेदक समीकरणों की फ़फ़ियान प्रणाली पर कार्य करने वाले इन बहुपदों को प्रस्तुत करने के लिए कार्ल गुस्ताव जैकब जैकोबी का संकेत देते हैं। केली केवल पहली पंक्ति और पहले कॉलम में विकर्ण समरूपता से विचलित होने वाले आव्यूह पर अधिक सामान्य परिणाम पर विशेष ध्यान देकर यह संबंध प्राप्त करता है। ऐसे आव्यूह का निर्धारक मूल आव्यूह में पहले ऊपरी बाएँ प्रविष्टि को शून्य पर स्थित करके प्राप्त किए गए दो आव्यूह के फ़फ़ियान का उत्पाद है और पुनः क्रमशः, पहली पंक्ति के ऋणात्मक स्थानान्तरण को पहले कॉलम में और ऋणात्मक को कॉपी करता है। पहले कॉलम को पहली पंक्ति में स्थानांतरित किया जाता हैं। यह अवयस्कों पर निर्धारक का विस्तार करके और नीचे दिए गए प्रत्यावर्तन सूत्र को नियोजित करके प्रेरण द्वारा सिद्ध किया जाता है।
उदाहरण
(3 विषम है, इसलिए B का फ़फ़ियान 0 है)
2n × 2n विकर्ण-सममित त्रिविकर्ण आव्यूह का फ़फ़ियान इस प्रकार दिया गया है।
(ध्यान दें कि किसी भी विकर्ण-सममित आव्यूह को इस रूप में कम किया जा सकता है, इसके आधार पर विकर्ण-सममित आव्यूह स्पेक्ट्रल सिद्धांत या विकर्ण-सममित आव्यूह का स्पेक्ट्रल सिद्धांत देखें।)
औपचारिक परिभाषा
माना A = (ai,j) 2n × 2n विकर्ण-सममित आव्यूह हो। A के फ़फ़ियान को सूत्र द्वारा स्पष्ट रूप से परिभाषित किया गया है
जहां s2n (2n) क्रम का सममित समूह है! और sgn(σ) σ का [[हस्ताक्षर (क्रमपरिवर्तन)]] है।
सभी संभावित क्रमपरिवर्तनों के योग से बचने के लिए A की विकर्ण-समरूपता का उपयोग किया जा सकता है। मान लीजिए Π किसी समुच्चय के सभी विभाजनों का समुच्चय {1, 2, ..., 2n} है, जिसके आदेश के बारे में सोचे बिना इसे जोड़े में प्रदर्शित कर सकते हैं। इसके लिए (2n)!/(2nn!) = (2n − 1)!! ऐसे विभाजन तत्व हैं जिसे α ∈ Π के रूप में लिखा जा सकता है।
इस प्रकार ik < jk और के लिए
संगत क्रमपरिवर्तन हो. ऊपर दिए गए विभाजन α को देखते हुए इसे इस प्रकार परिभाषित करते हैं।
A का फ़फ़ियान तब इस प्रकार प्रदर्शित किया जाता है।
n विषम के लिए n×n विकर्ण-सममित आव्यूह का फ़फ़ियान शून्य के रूप में परिभाषित किया गया है, क्योंकि विषम विकर्ण-सममित आव्यूह का निर्धारक शून्य है, क्योंकि विकर्ण-सममित आव्यूह के लिए,
पुनरावर्ती परिभाषा
इसके अनुसार 0×0 आव्यूह का फ़फ़ियान के समान है। जिसके लिए विकर्ण-सममित 2n×2n आव्यूह A का फ़फ़ियान n > 0 की गणना पुनरावर्ती रूप से की जा सकती है।
जहां सूचकांक I को इस प्रकार चुना जा सकता है, जहाँ हेविसाइड स्टेप फलन है, और iवें और jवें दोनों पंक्तियों और स्तंभों को हटाकर आव्यूह A को दर्शाता है।[1] यहाँ ध्यान दें कि विशेष विकल्प के लिए कैसे यह सरल अभिव्यक्ति को कम करता है:
वैकल्पिक परिभाषाएँ
कोई भी किसी भी विकर्ण-सममित 2n×2n आव्यूह से जुड़ सकता है, इस प्रकार A = (aij) बाह्य बीजगणित के लिए
जहाँ {e1, e2, ..., e2n} R2n का मानक आधार है। यहाँ पर फ़फ़ियान को पुनः समीकरण द्वारा परिभाषित किया गया है।
यहाँ ωn ω की n प्रतियों के वेज उत्पाद को दर्शाता है।
समान रूप से हम बायवेक्टर पर विचार कर सकते हैं (जो तब अधिक सुविधाजनक होता है जब हम योग बाधा लागू नहीं करना चाहते हैं):
गुण और अभिन्न
पफैफियंस में निम्नलिखित गुण होते हैं, जो निर्धारकों के समान होते हैं।
- एक पंक्ति और स्तंभ को स्थिरांक से गुणा करना फ़फ़ियान को उसी स्थिरांक से गुणा करने के समान होते हैं।
- दो अलग-अलग पंक्तियों और संबंधित स्तंभों के साथ आदान-प्रदान से फ़फ़ियान का चिह्न परिवर्तित हो जाता है।
- एक पंक्ति और संबंधित कॉलम का गुणज दूसरी पंक्ति और संबंधित कॉलम में जोड़ा जाने से फ़फ़ियान का मान परिवर्तित नहीं होता हैं।
इन गुणों का उपयोग करके, निर्धारकों की गणना के समान, फ़फ़ियान की शीघ्रता से गणना की जा सकती है।
विविध
2n × 2n विकर्ण-सममित आव्यूह A के लिए
इसके आधार पर 2n × 2n आव्यूह B के लिए,
इस समीकरण में B = Am प्रतिस्थापित करने पर, सभी पूर्णांकों के लिए m प्राप्त होता है
जैसा कि पहले से कहा गया हैं कि . इसी प्रकार B के लिए :
चूंकि के आधार पर हम प्रमाण प्राप्त कर सकते हैं।
चूंकि बहुपदों का एक समीकरण है, यह वास्तविक आव्यूहों के लिए इसे सिद्ध करने के लिए पर्याप्त है, और यह स्वचालित रूप से जटिल आव्यूहों के लिए भी लागू होगा।
तिरछा-सममित वास्तविक मैट्रिक्स का वर्णक्रमीय सिद्धांत द्वारा, , जहाँ ओर्थोगोनल है और
व्युत्पन्न अभिन्न
यदि A किसी चर x पर निर्भर करता हैi, तो फ़फ़ियान की ग्रेडिएंट द्वारा दी गई है
और फ़फ़ियान का हेस्सियन आव्यूह द्वारा दिया गया है
अभिन्न का पता लगाना
विकर्ण-सममित आव्यूह A और B के फ़फ़ियान के उत्पाद को घातांक के रूप में दर्शाया जा सकता है
मान लीजिए कि A और B 2n × 2n विकर्ण-सममित आव्यूह हैं
और Bn(s1,s2,...,sn) बेल बहुपद हैं।
ब्लॉक आव्यूह
एक ब्लॉक-विकर्ण आव्यूह के लिए
इसी प्रकार n × n आव्यूह में M मान के लिए:
विकर्ण-सममित आव्यूह के फ़फ़ियान की गणना करने के लिए अधिकांशतः ब्लॉक संरचना के साथ इसकी आवश्यकता होती है।
जहाँ और विकर्ण-सममित आव्यूह हैं और सामान्य आयताकार आव्यूह है।
इस प्रकार जब व्युत्क्रम होता है, तब हमारे पास निम्नलिखित समीकरण प्राप्त होता हैं।
इसे ऐटकेन ब्लॉक-विकर्णीकरण सूत्र से देखा जा सकता है,[3][4][5]
इस अपघटन में सर्वांगसमता परिवर्तन सम्मिलित है, जो फ़फ़ियान मान का उपयोग करने की अनुमति देता है।
इसी प्रकार, जब व्युत्क्रम होता है तब हमारे पास निम्नलिखित समीकरण प्राप्त होता है।
जैसा कि अपघटन को नियोजित करके देखा जा सकता है।
फ़फ़ियान की संख्यात्मक गणना करना
मान लीजिए A 2n × 2n विकर्ण-सममित आव्यूह है
जहाँ दूसरा पॉल के आव्यूह है, इस प्रकार आयाम n का अभिन्न आव्यूह है, और हमने आव्यूह लघुगणक पर ट्रेस कर लिया जाता हैं।
यह समानता फ़फ़ियान ट्रेस करके अभिन्नता पर इसे आधारित किया जाता है।
और उस अवलोकन पर यह मान प्राप्त होता हैं।
चूंकि आव्यूह के लघुगणक की गणना कम्प्यूटरीकृत रूप से प्राप्त किये जाने वाला एक फलन है, इसके अतिरिक्त कोई इसके सभी आईजन मान की गणना कर सकता है, इन सभी का लॉग लेकर उन्हें सारांशित किया जाता हैं। यह प्रक्रिया केवल आव्यूह गुणों के लघुगणक का उपयोग करती है, इसे वोल्फ्राम मैथमैटिका में ही कथन के साथ लागू किया जाता है:
Pf[x_] := Module[{n = Dimensions[x][[1]] / 2}, I^(n^2) Exp[ 1/2 Total[ Log[Eigenvalues[ Dot[Transpose[KroneckerProduct[PauliMatrix[2], IdentityMatrix[n]]], x] ]]]]]
चूंकि, फ़फ़ियान बड़ा होने पर यह एल्गोरिथ्म अस्थिर है। इसके लिए आइजन मान आम तौर पर जटिल होगा, और इन जटिल आइजन मान के लघुगणक को सामान्यतः पर प्राप्त कर लिया जाता है। इसे सारांशित करके वास्तविक मूल्यवान फ़फ़ियान के लिए, घातांक का तर्क फॉर्म में दिया जाएगा। इस प्रकार कुछ पूर्णांकों के लिए जब के लिए अधिक होता है, इस स्थिति में जटिलता के क्रम में परिणामी संकेत की गणना में इस गोलाई में आने वाली त्रुटियां गैर-शून्य काल्पनिक घटक को जन्म दे सकती हैं।
इसके अन्य (अधिक) कुशल एल्गोरिदम के लिए विम्मर 2012 देखें।
अनुप्रयोग
- विभिन्न प्लेटफार्मों (पायथन, मैटलैब, मैथमेटिका) पर फ़फ़ियान की संख्यात्मक गणना के लिए यह फलन (विम्मर 2012) उपस्थित हैं।
- फ़फ़ियान आधार के उचित ऑर्थोगोनल समूह परिवर्तन के अनुसार विकर्ण-सममित आव्यूह का अपरिवर्तनीय बहुपद है। इसी प्रकार यह चारित्रिक वर्गों के सिद्धांत में महत्वपूर्ण है। विशेष रूप से, इसका उपयोग रीमैनियन मैनिफोल्ड के यूलर वर्ग को परिभाषित करने के लिए किया जा सकता है, जिसका उपयोग सामान्यीकृत गॉस-बोनट प्रमेय में किया जाता है।
- इस प्रकार किसी समतलीय ग्राफ में पूर्ण संयोजन की संख्या फ़फ़ियान द्वारा प्राप्त की जाती है, इसलिए एफकेटी एल्गोरिथ्म के माध्यम से बहुपद समय की गणना की जा सकती है। यह आश्चर्य की बात है कि सामान्य ग्राफ़ के लिए यह इस समस्या से बहुत कठिन है, तथाकथित शार्प-पी-कम्प्लीट या पी-कम्प्लीट के समान होता हैं। इस परिणाम का उपयोग आयत के डोमिनोज़ टाइलिंग की संख्या, भौतिकी में आइसिंग प्रारूप के विभाजन फलन (सांख्यिकीय यांत्रिकी), या यंत्र अधिगम में मार्कोव यादृच्छिक क्षेत्रों (ग्लोबर्सन & जैक्कालो 2007 , श्राडोल्फ & कामेनेत्स्की 2009 ) की गणना करने के लिए किया जाता है। जहां अंतर्निहित ग्राफ समतलीय है। इसका उपयोग कुछ अन्यथा प्रतीत होने वाली कठिन समस्याओं के लिए कुशल एल्गोरिदम प्राप्त करने के लिए भी किया जाता है, जिसमें कुछ प्रकार के प्रतिबंधित क्वांटम गणना के कुशल सिमुलेशन भी सम्मिलित हैं। इसकी अधिक जानकारी के लिए होलोग्राफिक एल्गोरिदम पढ़ें।
यह भी देखें
- निर्धारक
- डिमर प्रारूप
- हफ़नियन
- पॉलीओमिनो
- सांख्यिकीय यांत्रिकी
टिप्पणियाँ
- ↑ "संग्रहीत प्रति" (PDF). Archived from the original (PDF) on 2016-03-05. Retrieved 2015-03-31.
- ↑ Bruijn, de, N.G. (1955). "निर्धारकों से जुड़े कुछ एकाधिक अभिन्नों पर". Journal of the Indian Mathematical Society. New Series. 19: 133–151. ISSN 0019-5839.
{{cite journal}}
: CS1 maint: multiple names: authors list (link) - ↑ A. C. Aitken. Determinants and matrices. Oliver and Boyd, Edinburgh, fourth edition, 1939.
- ↑ Zhang, Fuzhen, ed. The Schur complement and its applications. Vol. 4. Springer Science & Business Media, 2006.
- ↑ Bunch, James R. "A note on the stable decomposition of skew-symmetric matrices." Mathematics of Computation 38.158 (1982): 475-479.
संदर्भ
- Cayley, Arthur (1849). "Sur les déterminants gauches". Journal für die reine und angewandte Mathematik. 38: 93–96.
- Cayley, Arthur (1852). "On the theory of permutants". Cambridge and Dublin Mathematical Journal. VII: 40–51. Reprinted in Collected mathematical papers, volume 2.
- Kasteleyn, P. W. (1961). "The statistics of dimers on a lattice. I. The number of dimer arrangements on a quadratic lattice". Physica. 27 (12): 1209–1225. Bibcode:1961Phy....27.1209K. doi:10.1016/0031-8914(61)90063-5.
- Propp, James (2004). "Lambda-determinants and domino-tilings". arXiv:math/0406301.
- Globerson, Amir; Jaakkola, Tommi (2007). "Approximate inference using planar graph decomposition" (PDF). Advances in Neural Information Processing Systems 19. MIT Press.
- Schraudolph, Nicol; Kamenetsky, Dmitry (2009). "Efficient exact inference in planar Ising models" (PDF). Advances in Neural Information Processing Systems 21. MIT Press.
- Jeliss, G. P.; Chapman, Robin J. (1996). "Dominizing the Chessboard". The Games and Puzzles Journal. 2 (14): 204–5.
- Sellers, James A. (2002). "Domino Tilings and Products of Fibonacci and Pell numbers". Journal of Integer Sequences. 5 (1): 02.1.2. Bibcode:2002JIntS...5...12S.
- Wells, David (1997). The Penguin Dictionary of Curious and Interesting Numbers (revised ed.). Penguin. p. 182. ISBN 0-14-026149-4.
- Muir, Thomas (1882). A Treatise on the Theory of Determinants. Macmillan and Co. Online
- Parameswaran, S. (1954). "Skew-Symmetric Determinants". The American Mathematical Monthly. 61 (2): 116. doi:10.2307/2307800. JSTOR 2307800.
- Wimmer, M. (2012). "Efficient numerical computation of the Pfaffian for dense and banded skew-symmetric matrices". ACM Trans. Math. Softw. 38: 30. arXiv:1102.3440. doi:10.1145/2331130.2331138. S2CID 15331538.
- de Bruijn, N. G. (1955). "On some multiple integrals involving determinants". J. Indian Math. Soc. 19: 131–151.
बाहरी संबंध
- "Pfaffian", Encyclopedia of Mathematics, EMS Press, 2001 [1994]
- Pfaffian at PlanetMath.org
- T. Jones, The Pfaffian and the Wedge Product (a demonstration of the proof of the Pfaffian/determinant relationship)
- R. Kenyon and A. Okounkov, What is ... a dimer?
- OEIS sequence A004003 (Number of domino tilings (or dimer coverings))
- W. Ledermann "A note on skew-symmetric determinants" https://www.researchgate.net/publication/231827602_A_note_on_skew-symmetric_determinants