फ़फ़ियान

From Vigyanwiki
Revision as of 18:34, 29 November 2023 by alpha>Indicwiki (Created page with "{{Short description|Square root of the determinant of a skew-symmetric square matrix}} {{distinguish|Pfaffian function|Pfaffian system|Pfaffian orientation}} गणित म...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

गणित में, m×m तिरछा-सममित मैट्रिक्स के निर्धारक को हमेशा मैट्रिक्स प्रविष्टियों में एक बहुपद के वर्ग के रूप में लिखा जा सकता है, पूर्णांक गुणांक वाला एक बहुपद जो केवल m पर निर्भर करता है। जब m विषम होता है, तो बहुपद शून्य होता है। जब m सम होता है, तो यह घात m/2 का एक शून्येतर बहुपद होता है, और ±1 से गुणा करने तक अद्वितीय होता है। नीचे दिए गए उदाहरणों में तिरछा-सममित त्रिविकर्ण मैट्रिक्स पर सम्मेलन, फिर एक विशिष्ट बहुपद निर्धारित करता है, जिसे 'फ़फ़ियन' बहुपद कहा जाता है। इस बहुपद का मान, जब एक तिरछा-सममित मैट्रिक्स की प्रविष्टियों पर लागू किया जाता है, तो उस मैट्रिक्स का 'फ़फ़ियन' कहा जाता है। पफैफ़ियन शब्द की शुरुआत किसके द्वारा की गई थी? Cayley (1852), जिन्होंने अप्रत्यक्ष रूप से उनका नाम जोहान फ्रेडरिक पफैफ़ के नाम पर रखा।

स्पष्ट रूप से, एक तिरछा-सममित मैट्रिक्स के लिए ,

जो सबसे पहले साबित हुआ था Cayley (1849), जो विभेदक समीकरणों की पफैफियन प्रणाली प्रणालियों पर काम में इन बहुपदों को पेश करने के लिए कार्ल गुस्ताव जैकब जैकोबी का हवाला देते हैं। केली केवल पहली पंक्ति और पहले कॉलम में तिरछी समरूपता से विचलित होने वाले मैट्रिक्स पर अधिक सामान्य परिणाम पर विशेष ध्यान देकर यह संबंध प्राप्त करता है। ऐसे मैट्रिक्स का निर्धारक मूल मैट्रिक्स में पहले ऊपरी बाएँ प्रविष्टि को शून्य पर सेट करके प्राप्त किए गए दो मैट्रिक्स के Pfaffians का उत्पाद है और फिर क्रमशः, पहली पंक्ति के नकारात्मक स्थानान्तरण को पहले कॉलम में और नकारात्मक को कॉपी करता है। पहले कॉलम को पहली पंक्ति में स्थानांतरित करें। यह अवयस्कों पर निर्धारक का विस्तार करके और नीचे दिए गए प्रत्यावर्तन सूत्र को नियोजित करके प्रेरण द्वारा सिद्ध किया जाता है।

उदाहरण

(3 विषम है, इसलिए B का Pfaffian 0 है)

2n × 2n तिरछा-सममित त्रिविकर्ण मैट्रिक्स का Pfaffian इस प्रकार दिया गया है

(ध्यान दें कि किसी भी तिरछा-सममित मैट्रिक्स को इस रूप में कम किया जा सकता है; तिरछा-सममित मैट्रिक्स #स्पेक्ट्रल सिद्धांत | तिरछा-सममित मैट्रिक्स का स्पेक्ट्रल सिद्धांत देखें।)

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

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

जहां एस2n (2n) क्रम का सममित समूह है! और sgn(σ) σ का [[हस्ताक्षर (क्रमपरिवर्तन)]] है।

सभी संभावित क्रमपरिवर्तनों के योग से बचने के लिए ए की तिरछी-समरूपता का उपयोग किया जा सकता है। मान लीजिए Π किसी समुच्चय के सभी विभाजनों का समुच्चय है {1, 2, ..., 2n} आदेश की परवाह किए बिना जोड़े में। वहाँ हैं (2n)!/(2nn!) = (2n − 1)!! ऐसे विभाजन. तत्व α ∈ Π के रूप में लिखा जा सकता है

साथ ik < jk और . होने देना

संगत क्रमपरिवर्तन हो. ऊपर दिए गए विभाजन α को देखते हुए, परिभाषित करें

A का Pfaffian तब द्वारा दिया जाता है

n विषम के लिए n×n तिरछा-सममित मैट्रिक्स का Pfaffian शून्य के रूप में परिभाषित किया गया है, क्योंकि एक विषम तिरछा-सममित मैट्रिक्स का निर्धारक शून्य है, क्योंकि एक तिरछा-सममित मैट्रिक्स के लिए,

और n विषम के लिए, इसका तात्पर्य है .

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

परंपरा के अनुसार, 0×0 मैट्रिक्स का Pfaffian एक के बराबर है। तिरछा-सममित 2n×2n मैट्रिक्स A का Pfaffian n > 0 की गणना पुनरावर्ती रूप से की जा सकती है

जहां सूचकांक I को मनमाने ढंग से चुना जा सकता है, हेविसाइड स्टेप फ़ंक्शन है, और ith और jth दोनों पंक्तियों और स्तंभों को हटाकर मैट्रिक्स A को दर्शाता है।[1] ध्यान दें कि विशेष विकल्प के लिए कैसे यह सरल अभिव्यक्ति को कम करता है:


वैकल्पिक परिभाषाएँ

कोई भी किसी भी तिरछा-सममित 2n×2n मैट्रिक्स से जुड़ सकता है A = (aij) बाहरी बीजगणित के लिए

कहाँ {e1, e2, ..., e2n} R का मानक आधार है2n. फ़फ़ियन को फिर समीकरण द्वारा परिभाषित किया गया है

यहाँ ωn ω की n प्रतियों के वेज उत्पाद को दर्शाता है।

समान रूप से, हम बायवेक्टर पर विचार कर सकते हैं (जो तब अधिक सुविधाजनक होता है जब हम योग बाधा लागू नहीं करना चाहते हैं ):

जो देता है निर्धारकों से जुड़े कई इंटीग्रल पर डी ब्रुइज़न के काम में पफैफ़ियन से विषम-आयामी मैट्रिक्स का एक गैर-शून्य सामान्यीकरण दिया गया है।[2] विशेष रूप से किसी के लिए -मैट्रिक्स ए, हम उपरोक्त औपचारिक परिभाषा का उपयोग करते हैं लेकिन सेट करते हैं . एम ऑड के लिए, कोई यह दिखा सकता है कि यह एन के सामान्य पफैफियन के बराबर है -आयामी तिरछा सममित मैट्रिक्स जहां हमने एक जोड़ा है वें स्तंभ में एम तत्व 1, ए शामिल है वीं पंक्ति में m तत्व -1 शामिल है, और कोने का तत्व शून्य है। Pfaffians के सामान्य गुण, उदाहरण के लिए निर्धारक से संबंध, फिर इस विस्तारित मैट्रिक्स पर लागू होते हैं।

गुण और पहचान

पफैफियंस में निम्नलिखित गुण होते हैं, जो निर्धारकों के समान होते हैं।

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

इन गुणों का उपयोग करके, निर्धारकों की गणना के समान, Pfaffians की शीघ्रता से गणना की जा सकती है।

विविध

2n × 2n तिरछा-सममित मैट्रिक्स ए के लिए

एक मनमाना 2n × 2n मैट्रिक्स बी के लिए,

इस समीकरण में B = A प्रतिस्थापित करने परm, सभी पूर्णांकों के लिए m प्राप्त होता है

Proof of

As previously said, . The same with :

where we defined .

Since the proof is finished.

Proof of :

Since 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 spectral theory of skew-symmetric real matrices, , where is orthogonal and

for real numbers . Now apply the previous theorem, we have .

व्युत्पन्न पहचान

यदि A किसी चर x पर निर्भर करता हैi, तो एक Pfaffian की ग्रेडिएंट द्वारा दी गई है

और Pfaffian का हेस्सियन मैट्रिक्स द्वारा दिया गया है


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

तिरछा-सममित मैट्रिक्स ए और बी के Pfaffians के उत्पाद को एक घातांक के रूप में दर्शाया जा सकता है

मान लीजिए कि A और B 2n × 2n तिरछा-सममित आव्यूह हैं

और बीn(एस1,एस2,...,एसn) बेल बहुपद हैं।

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

एक ब्लॉक-विकर्ण मैट्रिक्स के लिए

एक मनमाना n × n मैट्रिक्स M के लिए:

तिरछा-सममित मैट्रिक्स के फ़फ़ियन की गणना करने के लिए अक्सर इसकी आवश्यकता होती है ब्लॉक संरचना के साथ

कहाँ और तिरछा-सममित मैट्रिक्स हैं और एक सामान्य आयताकार मैट्रिक्स है.

कब उलटा है, एक के पास है

इसे ऐटकेन ब्लॉक-विकर्णीकरण सूत्र से देखा जा सकता है,[3][4][5]

इस अपघटन में एक सर्वांगसमता परिवर्तन शामिल है जो पफैफ़ियन संपत्ति का उपयोग करने की अनुमति देता है .

इसी प्रकार, जब उलटा है, एक के पास है

जैसा कि अपघटन को नियोजित करके देखा जा सकता है


पफैफ़ियन की संख्यात्मक गणना करना

मान लीजिए A एक 2n × 2n तिरछा-सममित आव्यूह है

कहाँ दूसरा पॉल के मैट्रिक्स है, आयाम n का एक पहचान मैट्रिक्स है और हमने मैट्रिक्स लघुगणक पर ट्रेस लिया।

यह समानता Pfaffian#Trace पहचान पर आधारित है

और उस अवलोकन पर .

चूंकि मैट्रिक्स के लघुगणक की गणना एक कम्प्यूटेशनल रूप से मांग वाला कार्य है, इसके बजाय कोई इसके सभी eigenvalues ​​​​की गणना कर सकता है , इन सभी का लॉग लें और उन्हें सारांशित करें। यह प्रक्रिया केवल मैट्रिक्स#गुणों के लघुगणक का उपयोग करती है . इसे वोल्फ्राम मैथमैटिका में एक ही कथन के साथ लागू किया जा सकता है:

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] ]]]]]

हालाँकि, Pfaffian बड़ा होने पर यह एल्गोरिथ्म अस्थिर है। के eigenvalues आम तौर पर जटिल होगा, और इन जटिल eigenvalues ​​​​के लघुगणक को आम तौर पर लिया जाता है . सारांश के तहत, वास्तविक मूल्यवान पफैफ़ियन के लिए, घातांक का तर्क फॉर्म में दिया जाएगा कुछ पूर्णांक के लिए . कब बहुत बड़ी है, जटिल चरण से परिणामी संकेत की गणना में गोलाई त्रुटियां एक गैर-शून्य काल्पनिक घटक को जन्म दे सकती हैं।

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

अनुप्रयोग

यह भी देखें

टिप्पणियाँ

  1. "संग्रहीत प्रति" (PDF). Archived from the original (PDF) on 2016-03-05. Retrieved 2015-03-31.
  2. 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)
  3. A. C. Aitken. Determinants and matrices. Oliver and Boyd, Edinburgh, fourth edition, 1939.
  4. Zhang, Fuzhen, ed. The Schur complement and its applications. Vol. 4. Springer Science & Business Media, 2006.
  5. Bunch, James R. "A note on the stable decomposition of skew-symmetric matrices." Mathematics of Computation 38.158 (1982): 475-479.


संदर्भ


बाहरी संबंध