View source for फ़फ़ियान

{{Short description|Square root of the determinant of a skew-symmetric square matrix}}
{{distinguish|Pfaffian function|Pfaffian system|Pfaffian orientation}}
गणित में, m×m [[तिरछा-सममित मैट्रिक्स]] के निर्धारक को हमेशा मैट्रिक्स प्रविष्टियों में एक [[बहुपद]] के वर्ग के रूप में लिखा जा सकता है, पूर्णांक गुणांक वाला एक बहुपद जो केवल m पर निर्भर करता है। जब m विषम होता है, तो बहुपद शून्य होता है। जब m सम होता है, तो यह घात m/2 का एक शून्येतर बहुपद होता है, और &pm;1 से गुणा करने तक अद्वितीय होता है। नीचे दिए गए उदाहरणों में तिरछा-सममित त्रिविकर्ण मैट्रिक्स पर सम्मेलन, फिर एक विशिष्ट बहुपद निर्धारित करता है, जिसे 'फ़फ़ियन' बहुपद कहा जाता है। इस बहुपद का मान, जब एक तिरछा-सममित मैट्रिक्स की प्रविष्टियों पर लागू किया जाता है, तो उस मैट्रिक्स का 'फ़फ़ियन' कहा जाता है। पफैफ़ियन शब्द की शुरुआत किसके द्वारा की गई थी? {{harvs|txt|authorlink=Arthur Cayley|last=Cayley|year=1852}}, जिन्होंने अप्रत्यक्ष रूप से उनका नाम [[जोहान फ्रेडरिक पफैफ़]] के नाम पर रखा।

स्पष्ट रूप से, एक तिरछा-सममित मैट्रिक्स के लिए <math>A</math>,
: <math> \operatorname{pf}(A)^2=\det(A),</math>
जो सबसे पहले साबित हुआ था {{harvs|txt|authorlink=Arthur Cayley|last=Cayley|year=1849}}, जो विभेदक समीकरणों की पफैफियन प्रणाली प्रणालियों पर काम में इन बहुपदों को पेश करने के लिए [[कार्ल गुस्ताव जैकब जैकोबी]] का हवाला देते हैं। केली केवल पहली पंक्ति और पहले कॉलम में तिरछी समरूपता से विचलित होने वाले मैट्रिक्स पर अधिक सामान्य परिणाम पर विशेष ध्यान देकर यह संबंध प्राप्त करता है। ऐसे मैट्रिक्स का निर्धारक मूल मैट्रिक्स में पहले ऊपरी बाएँ प्रविष्टि को शून्य पर सेट करके प्राप्त किए गए दो मैट्रिक्स के Pfaffians का उत्पाद है और फिर क्रमशः, पहली पंक्ति के नकारात्मक स्थानान्तरण को पहले कॉलम में और नकारात्मक को कॉपी करता है। पहले कॉलम को पहली पंक्ति में स्थानांतरित करें। यह अवयस्कों पर निर्धारक का विस्तार करके और नीचे दिए गए प्रत्यावर्तन सूत्र को नियोजित करके प्रेरण द्वारा सिद्ध किया जाता है।

== उदाहरण ==
: <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>
(3 विषम है, इसलिए B का Pfaffian 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>
2n × 2n तिरछा-सममित त्रिविकर्ण मैट्रिक्स का Pfaffian इस प्रकार दिया गया है
: <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\\
&&&\ddots&\ddots& \\
&&&& &0&a_n\\
&&&&&-a_n&0
\end{bmatrix} = a_1 a_2\cdots a_n.</math>
(ध्यान दें कि किसी भी तिरछा-सममित मैट्रिक्स को इस रूप में कम किया जा सकता है; तिरछा-सममित मैट्रिक्स #स्पेक्ट्रल सिद्धांत | तिरछा-सममित मैट्रिक्स का स्पेक्ट्रल सिद्धांत देखें।)

== औपचारिक परिभाषा ==

माना A = (a<sub>''i,j''</sub>) एक 2n × 2n तिरछा-सममित मैट्रिक्स हो। A के Pfaffian को सूत्र द्वारा स्पष्ट रूप से परिभाषित किया गया है

:<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>
जहां एस<sub>2''n''</sub> (2n) क्रम का [[सममित समूह]] है! और sgn(σ) σ का [[हस्ताक्षर (क्रम[[परिवर्तन]])]] है।

सभी संभावित क्रमपरिवर्तनों के योग से बचने के लिए ए की तिरछी-समरूपता का उपयोग किया जा सकता है। मान लीजिए Π किसी समुच्चय के सभी विभाजनों का समुच्चय है {{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>
साथ {{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> A_\alpha =\operatorname{sgn}(\pi_\alpha)a_{i_1,j_1}a_{i_2,j_2}\cdots a_{i_n,j_n}.</math>
A का Pfaffian तब द्वारा दिया जाता है
: <math>\operatorname{pf}(A)=\sum_{\alpha\in\Pi} A_\alpha.</math>
n विषम के लिए n×n तिरछा-सममित मैट्रिक्स का Pfaffian शून्य के रूप में परिभाषित किया गया है, क्योंकि एक विषम तिरछा-सममित मैट्रिक्स का निर्धारक शून्य है, क्योंकि एक तिरछा-सममित मैट्रिक्स के लिए,
<math display="block">\det\,A = \det\,A^\text{T} = \det\left(-A\right) = (-1)^n \det\,A,</math>
और n विषम के लिए, इसका तात्पर्य है <math>\det\,A = 0</math>.

=== पुनरावर्ती परिभाषा ===

परंपरा के अनुसार, 0×0 मैट्रिक्स का Pfaffian एक के बराबर है। तिरछा-सममित 2n×2n मैट्रिक्स A का Pfaffian {{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>
जहां सूचकांक I को मनमाने ढंग से चुना जा सकता है, <math>\theta(i-j)</math> [[हेविसाइड स्टेप फ़ंक्शन]] है, और <math>A_{\hat{\imath}\hat{\jmath}}</math> ith और jth दोनों पंक्तियों और स्तंभों को हटाकर मैट्रिक्स 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>


=== वैकल्पिक परिभाषाएँ ===
कोई भी किसी भी तिरछा-सममित 2n×2n मैट्रिक्स से जुड़ सकता है {{nowrap|1=''A'' = (''a''<sub>''ij''</sub>)}} [[बाहरी बीजगणित]] के लिए
: <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>
यहाँ ω<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>-मैट्रिक्स ए, हम उपरोक्त औपचारिक परिभाषा का उपयोग करते हैं लेकिन सेट करते हैं <math>n = \lfloor m/2\rfloor </math>. एम ऑड के लिए, कोई यह दिखा सकता है कि यह एन के सामान्य पफैफियन के बराबर है <math>(m+1) \times (m+1)</math>-आयामी तिरछा सममित मैट्रिक्स जहां हमने एक जोड़ा है <math>(m+1)</math>वें स्तंभ में एम तत्व 1, ए शामिल है <math>(m+1)</math>वीं पंक्ति में m तत्व -1 शामिल है, और कोने का तत्व शून्य है। Pfaffians के सामान्य गुण, उदाहरण के लिए निर्धारक से संबंध, फिर इस विस्तारित मैट्रिक्स पर लागू होते हैं।

== गुण और पहचान ==

पफैफियंस में निम्नलिखित गुण होते हैं, जो निर्धारकों के समान होते हैं।
* एक पंक्ति और एक स्तंभ को एक स्थिरांक से गुणा करना पफैफ़ियन को उसी स्थिरांक से गुणा करने के बराबर है।
* दो अलग-अलग पंक्तियों और संबंधित स्तंभों के एक साथ आदान-प्रदान से पफैफ़ियन का चिह्न बदल जाता है।
* एक पंक्ति और संबंधित कॉलम का एक गुणज दूसरी पंक्ति और संबंधित कॉलम में जोड़ा जाने से Pfaffian का मान नहीं बदलता है।
इन गुणों का उपयोग करके, निर्धारकों की गणना के समान, Pfaffians की शीघ्रता से गणना की जा सकती है।

=== विविध ===

2n × 2n तिरछा-सममित मैट्रिक्स ए के लिए
: <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}(A)^2 = \det(A).</math>
एक मनमाना 2n × 2n मैट्रिक्स बी के लिए,
: <math>\operatorname{pf}(BAB^\text{T})= \det(B)\operatorname{pf}(A).</math>
इस समीकरण में B = A प्रतिस्थापित करने पर<sup>m</sup>, सभी पूर्णांकों के लिए m प्राप्त होता है
: <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=
As previously said, <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>. The same with <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>
where we defined <math>f_k = \sum_i B_{ik}e_i</math>.

Since <math>f_1 \wedge \cdots \wedge f_{2n} = \det(B) e_1 \wedge \cdots \wedge e_{2n},</math> the proof is finished.
}}

{{Math proof|title=Proof of <math>\operatorname{pf}(A)^2 = \det(A)</math>:|proof=

Since <math>\operatorname{pf}(A)^2 = \det(A)</math> is an equation of polynomials, it suffices to prove it for real matrices, and it would automatically apply for complex matrices as well. 

By the [[Skew-symmetric matrix#Spectral theory|spectral theory of skew-symmetric real matrices]], <math>A = Q\Sigma Q^\mathrm{T}</math>, where <math>Q</math> is orthogonal and 
<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\\
&&&\ddots&\ddots& \\
&&&& &0&a_n\\
&&&&&-a_n&0
\end{bmatrix}
</math>
for real numbers <math>a_k</math>. Now apply the previous theorem, we have <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>, तो एक Pfaffian की ग्रेडिएंट द्वारा दी गई है
: <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>
और Pfaffian का [[ हेस्सियन मैट्रिक्स ]] द्वारा दिया गया है
: <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>


===पहचान का पता लगाएं ===

तिरछा-सममित मैट्रिक्स ए और बी के Pfaffians के उत्पाद को एक घातांक के रूप में दर्शाया जा सकता है
: <math>\textrm{pf}(A)\,\textrm{pf}(B) = \exp(\tfrac{1}{2}\mathrm{tr}\log(A^\text{T}B)).</math>
मान लीजिए कि 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>
और बी<sub>''n''</sub>(एस<sub>1</sub>,एस<sub>2</sub>,...,एस<sub>n</sub>) [[बेल बहुपद]] हैं।

=== ब्लॉक मैट्रिसेस ===

एक ब्लॉक-विकर्ण मैट्रिक्स के लिए
:: <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>
एक मनमाना n × n मैट्रिक्स M के लिए:
: <math>\operatorname{pf}\begin{bmatrix}  0 & M \\ -M^\text{T} & 0  \end{bmatrix} = 
(-1)^{n(n-1)/2}\det M.</math>
तिरछा-सममित मैट्रिक्स के फ़फ़ियन की गणना करने के लिए अक्सर इसकी आवश्यकता होती है <math> S </math> ब्लॉक संरचना के साथ
: <math>
 S = \begin{pmatrix} M & Q\\-Q^\mathrm{T} & N \end{pmatrix}\,
</math>
कहाँ <math> M </math> और <math> N </math> तिरछा-सममित मैट्रिक्स हैं और <math> Q </math> एक सामान्य आयताकार मैट्रिक्स है.

कब <math> M </math> उलटा है, एक के पास है
: <math>
\operatorname{pf}( S) = \operatorname{pf}( M)\operatorname{pf}( N+  Q^\mathrm{T}   M^{-1}  Q).
</math>
इसे ऐटकेन ब्लॉक-विकर्णीकरण सूत्र से देखा जा सकता है,<ref>A. C. Aitken. Determinants and matrices. Oliver and Boyd, Edinburgh, fourth edition, 1939.</ref><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> \operatorname{pf}(BAB^\mathrm{T}) = \operatorname{det}(B)\operatorname{pf}(A)</math>.

इसी प्रकार, जब <math> N </math> उलटा है, एक के पास है
: <math>
\operatorname{pf}( S) =
\operatorname{pf}(N)\operatorname{pf}( M+ Q  N^{-1} Q^\mathrm{T}),
</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 तिरछा-सममित आव्यूह है
: <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 का एक पहचान मैट्रिक्स है और हमने [[मैट्रिक्स लघुगणक]] पर ट्रेस लिया।

यह समानता Pfaffian#Trace पहचान पर आधारित है
: <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>.

चूंकि मैट्रिक्स के लघुगणक की गणना एक कम्प्यूटेशनल रूप से मांग वाला कार्य है, इसके बजाय कोई इसके सभी eigenvalues की गणना कर सकता है <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>
हालाँकि, Pfaffian बड़ा होने पर यह एल्गोरिथ्म अस्थिर है। के eigenvalues <math>(\sigma_y\otimes I_n)^\mathrm{T}\cdot A </math> आम तौर पर जटिल होगा, और इन जटिल eigenvalues के लघुगणक को आम तौर पर लिया जाता है <math> [-\pi, \pi] </math>. सारांश के तहत, वास्तविक मूल्यवान पफैफ़ियन के लिए, घातांक का तर्क फॉर्म में दिया जाएगा <math> x + k\pi/2 </math> कुछ पूर्णांक के लिए <math>k</math>. कब <math>x</math> बहुत बड़ी है, जटिल चरण से परिणामी संकेत की गणना में गोलाई त्रुटियां एक गैर-शून्य काल्पनिक घटक को जन्म दे सकती हैं।

अन्य (अधिक) कुशल एल्गोरिदम के लिए देखें {{harvnb|Wimmer|2012}}.

== अनुप्रयोग ==
* विभिन्न प्लेटफार्मों (पायथन, मैटलैब, मैथमेटिका) पर पफैफ़ियन की संख्यात्मक गणना के लिए कार्यक्रम मौजूद हैं। {{harv|Wimmer|2012}}.
* Pfaffian आधार के उचित [[ऑर्थोगोनल समूह]] परिवर्तन के तहत एक तिरछा-सममित मैट्रिक्स का एक [[अपरिवर्तनीय बहुपद]] है। इस प्रकार, यह चारित्रिक वर्गों के सिद्धांत में महत्वपूर्ण है। विशेष रूप से, इसका उपयोग [[रीमैनियन मैनिफोल्ड]] के [[यूलर वर्ग]] को परिभाषित करने के लिए किया जा सकता है जिसका उपयोग सामान्यीकृत गॉस-बोनट प्रमेय में किया जाता है।
* एक [[समतलीय ग्राफ]]़ में पूर्ण मिलान की संख्या Pfaffian द्वारा दी जाती है, इसलिए FKT एल्गोरिथ्म के माध्यम से बहुपद समय की गणना की जा सकती है। यह आश्चर्य की बात है कि सामान्य ग्राफ़ के लिए, समस्या बहुत कठिन है (तथाकथित शार्प-पी-कम्प्लीट|#पी-कम्प्लीट)। इस परिणाम का उपयोग आयत के [[डोमिनोज़ टाइलिंग]] की संख्या, भौतिकी में [[आइसिंग मॉडल]] के [[विभाजन फ़ंक्शन (सांख्यिकीय यांत्रिकी)]], या [[ यंत्र अधिगम ]] में [[मार्कोव यादृच्छिक क्षेत्र]]ों की गणना करने के लिए किया जाता है ({{harvnb|Globerson|Jaakkola|2007}}; {{harvnb|Schraudolph|Kamenetsky|2009}}), जहां अंतर्निहित ग्राफ समतलीय है। इसका उपयोग कुछ अन्यथा प्रतीत होने वाली कठिन समस्याओं के लिए कुशल एल्गोरिदम प्राप्त करने के लिए भी किया जाता है, जिसमें कुछ प्रकार के [[प्रतिबंधित क्वांटम गणना]] के कुशल सिमुलेशन भी शामिल हैं। अधिक जानकारी के लिए [[ होलोग्राफिक एल्गोरिदम ]] पढ़ें।

== यह भी देखें ==
*निर्धारक
* [[डिमर मॉडल]]
* [[हफ़नियन]]
* [[पॉलीओमिनो]]
*[[सांख्यिकीय यांत्रिकी]]

== टिप्पणियाँ ==
{{reflist}}


== संदर्भ ==
{{refbegin}}
* {{cite journal | first=Arthur | last=Cayley  |title=Sur les déterminants gauches | journal=Journal für die reine und angewandte Mathematik | volume=38 | year=1849 | pages= 93–96 |url=http://eudml.org/doc/183267}}
* {{Cite journal | last1=Cayley | first1=Arthur | author1-link=Arthur Cayley | title=On the theory of permutants | url=https://archive.org/stream/collectedmathema02cayluoft#page/16/mode/2up | year=1852 | journal=Cambridge and Dublin Mathematical Journal  | volume=VII | pages=40–51 }} Reprinted in Collected mathematical papers, volume 2.
* {{cite journal | title = The statistics of dimers on a lattice. I. The number of dimer arrangements on a quadratic lattice
 | journal = Physica
 | volume = 27 | issue = 12 | year = 1961 | pages = 1209–1225
 | first = P. W. | last = Kasteleyn
 | authorlink = Pieter_Kasteleyn
 | doi = 10.1016/0031-8914(61)90063-5| bibcode = 1961Phy....27.1209K }}
* {{cite arXiv | first=James | last=Propp | year=2004 |title=Lambda-determinants and domino-tilings |eprint=math/0406301 }}
* {{Cite book | first1=Amir | last1=Globerson | first2=Tommi | last2=Jaakkola | year = 2007 | contribution= Approximate inference using planar graph decomposition | contribution-url= http://books.nips.cc/papers/files/nips19/NIPS2006_0703.pdf | title=Advances in Neural Information Processing Systems 19  | url=http://books.nips.cc/ | publisher=MIT Press }}
* {{Cite book | first1=Nicol | last1=Schraudolph | first2=Dmitry | last2=Kamenetsky | year = 2009 | contribution= Efficient exact inference in planar Ising models | contribution-url= http://books.nips.cc/papers/files/nips21/NIPS2008_0401.pdf | title=Advances in Neural Information Processing Systems 21  | url=http://books.nips.cc/ | publisher=MIT Press }}
* {{cite journal | journal=The Games and Puzzles Journal | volume=2 | year=1996 | pages=204–5 | first1=G. P. |last1=Jeliss | first2=Robin J. | last2=Chapman | title=Dominizing the Chessboard | issue=14 }}
* {{cite journal | title=Domino Tilings and Products of Fibonacci and Pell numbers| journal=Journal of Integer Sequences | volume=5 | year=2002 | first=James A. | last=Sellers | issue=1 |page=02.1.2 | bibcode=2002JIntS...5...12S | url=http://www.cs.uwaterloo.ca/journals/JIS/VOL5/Sellers/sellers4.html }}
* {{cite book | title=The Penguin Dictionary of Curious and Interesting Numbers | edition=revised | year=1997 | isbn=0-14-026149-4 |  first=David | last=Wells | author-link=David G. Wells | title-link=The Penguin Dictionary of Curious and Interesting Numbers | page=182 | publisher=Penguin }}
* {{cite book | title=A Treatise on the Theory of Determinants | url=https://archive.org/details/atreatiseontheo00muirgoog | year=1882 | publisher=Macmillan and Co. | first=Thomas | last=Muir }} [https://archive.org/details/atreatiseontheo00muirgoog <!-- quote=thomas muir treatise on the theory of determinant. --> ''Online'']
* {{cite journal | title=Skew-Symmetric Determinants | journal=The American Mathematical Monthly | volume=61 | year=1954 | page=116 | first=S. | last=Parameswaran | jstor=2307800 | issue=2|doi=10.2307/2307800 }}
* {{cite journal |title=Efficient numerical computation of the Pfaffian for dense and banded skew-symmetric matrices|journal=[[ACM Trans. Math. Softw.]]|volume=38|page=30|year=2012 | first=M. | last=Wimmer | arxiv=1102.3440 | doi = 10.1145/2331130.2331138 |s2cid=15331538 }}
* {{cite journal |title=On some multiple integrals involving determinants |journal=[[J. Indian Math. Soc.]] |volume=19 |pages=131–151 |year=1955 | first=N. G. | last=de Bruijn}}
{{refend}}


== बाहरी संबंध ==
{{refbegin}}
* {{springer|title=Pfaffian|id=p/p072500}}
* [http://planetmath.org/encyclopedia/Pfaffian.html Pfaffian at PlanetMath.org]
* T. Jones, [http://www.physics.drexel.edu/~tim/open/pfaff/pfaff.pdf  ''The Pfaffian and the Wedge Product'' (a demonstration of the proof of the Pfaffian/determinant relationship)]
* R. Kenyon and [[Andrei Okounkov|A. Okounkov]], [https://www.ams.org/notices/200503/what-is.pdf ''What is ... a dimer?'']
* {{OEIS el|1=A004003|2=Number of domino tilings (or dimer coverings)|formalname=Number of domino tilings (or dimer coverings) of a 2n X 2n square}}
* W. Ledermann "A note on skew-symmetric determinants" https://www.researchgate.net/publication/231827602_A_note_on_skew-symmetric_determinants
{{refend}}
[[Category: निर्धारकों]] [[Category: बहुरेखीय बीजगणित]] 



[[Category: Machine Translated Page]]
[[Category:Created On 29/11/2023]]