स्थायी (गणित)

रैखिक बीजगणित में, वर्ग मैट्रिक्स का स्थाई, सारणिक के समान मैट्रिक्स का कार्य है। स्थायी, साथ ही निर्धारक, मैट्रिक्स की प्रविष्टियों में बहुपद है। दोनों मैट्रिक्स के अधिक सामान्य कार्य के विशेष मामले हैं जिन्हें िम्मनत कहा जाता है।

परिभाषा

एक का स्थायी n×n आव्यूह A = (a_i,j) परिभाषित किया जाता है

$$\operatorname {perm} (A)=\sum _{\sigma \in S_{n}}\prod _{i=1}^{n}a_{i,\sigma (i)}.$$

यहां का योग सममित समूह एस के सभी तत्वों σ तक फैला हुआ है_n; यानी संख्या 1, 2, ..., एन के सभी क्रमपरिवर्तन पर।

उदाहरण के लिए,

$$\operatorname {perm} {\begin{pmatrix}a&b\\c&d\end{pmatrix}}=ad+bc,$$

और

$$\operatorname {perm} {\begin{pmatrix}a&b&c\\d&e&f\\g&h&i\end{pmatrix}}=aei+bfg+cdh+ceg+bdi+afh.$$

ए के स्थायी की परिभाषा ए के निर्धारक से भिन्न है जिसमें क्रमपरिवर्तन के हस्ताक्षर (क्रमपरिवर्तन) को ध्यान में नहीं रखा जाता है।

मैट्रिक्स ए के स्थायी को प्रति ए, पर्म ए, या प्रति ए द्वारा दर्शाया जाता है, कभी-कभी तर्क के चारों ओर कोष्ठक के साथ। मिनक आयताकार मैट्रिक्स के स्थायीकरण के लिए Per(A) का उपयोग करता है, और जब A वर्ग मैट्रिक्स है तो per(A) का उपयोग करता है। मुइर और मेट्ज़लर अंकन का उपयोग करते हैं ${\overset {+}{|}}\quad {\overset {+}{|}}$. स्थायी शब्द की उत्पत्ति 1812 में कॉची के साथ संबंधित प्रकार के फ़ंक्शन के लिए "फॉन्क्शन सिमेट्रिक्स परमानेंटेस" के रूप में हुई थी, और इसका उपयोग मुइर और मेट्ज़लर द्वारा किया गया था आधुनिक, अधिक विशिष्ट, अर्थ में।

गुण

यदि कोई स्थायी को मानचित्र के रूप में देखता है जो n वैक्टर को तर्क के रूप में लेता है, तो यह बहुरेखीय मानचित्र है और यह सममित है (जिसका अर्थ है कि वैक्टर के किसी भी क्रम का परिणाम समान स्थायी होता है)। इसके अलावा, वर्ग मैट्रिक्स दिया गया है $A=\left(a_{ij}\right)$ क्रम का n:

• ए की पंक्तियों और/या स्तंभों के मनमाने क्रमपरिवर्तन के तहत पर्म(ए) अपरिवर्तनीय है। इस संपत्ति को किसी भी उचित आकार के क्रमपरिवर्तन मैट्रिक्स पी और क्यू के लिए प्रतीकात्मक रूप से पर्म(ए) = पर्म(पीएक्यू) के रूप में लिखा जा सकता है।
• A की किसी पंक्ति या स्तंभ को अदिश (गणित) s से गुणा करने पर perm(A) से s⋅perm(A) बदल जाता है,
• खिसकाना के तहत पर्म (ए) अपरिवर्तनीय है, यानी, पर्म (ए) = पर्म (ए)^टी).
• अगर $A=\left(a_{ij}\right)$ और $B=\left(b_{ij}\right)$ तब क्रम n के वर्ग आव्यूह हैं,
  $$\operatorname {perm} \left(A+B\right)=\sum _{s,t}\operatorname {perm} \left(a_{ij}\right)_{i\in s,j\in t}\operatorname {perm} \left(b_{ij}\right)_{i\in {\bar {s}},j\in {\bar {t}}},$$
  जहां s और t {1,2,...,n} और के समान आकार के उपसमुच्चय हैं ${\bar {s}},{\bar {t}}$ उस सेट में उनके संबंधित पूरक हैं।
• अगर $A$ त्रिकोणीय मैट्रिक्स है, अर्थात $a_{ij}=0$, जब कभी भी $i>j$ या, वैकल्पिक रूप से, जब भी $i<j$, तो इसका स्थायी (और निर्धारक भी) विकर्ण प्रविष्टियों के उत्पाद के बराबर होता है:
  $$\operatorname {perm} \left(A\right)=a_{11}a_{22}\cdots a_{nn}=\prod _{i=1}^{n}a_{ii}.$$

निर्धारकों से संबंध

एक पंक्ति, स्तंभ या विकर्ण के साथ निर्धारक की गणना के लिए नाबालिगों द्वारा लाप्लास का विस्तार सभी संकेतों को अनदेखा करके स्थायी तक विस्तारित होता है।

हरएक के लिए ${\textstyle i}$,

$$\mathbb {perm} (B)=\sum _{j=1}^{n}B_{i,j}M_{i,j},$$

कहाँ $B_{i,j}$ B की iवीं पंक्ति और jवें कॉलम की प्रविष्टि है, और ${\textstyle M_{i,j}}$ B की iवीं पंक्ति और jवें कॉलम को हटाकर प्राप्त सबमैट्रिक्स का स्थायी मान है।

उदाहरण के लिए, पहले कॉलम के साथ विस्तार करते हुए,

$${\begin{aligned}\operatorname {perm} \left({\begin{matrix}1&1&1&1\\2&1&0&0\\3&0&1&0\\4&0&0&1\end{matrix}}\right)={}&1\cdot \operatorname {perm} \left({\begin{matrix}1&0&0\\0&1&0\\0&0&1\end{matrix}}\right)+2\cdot \operatorname {perm} \left({\begin{matrix}1&1&1\\0&1&0\\0&0&1\end{matrix}}\right)\\&{}+\ 3\cdot \operatorname {perm} \left({\begin{matrix}1&1&1\\1&0&0\\0&0&1\end{matrix}}\right)+4\cdot \operatorname {perm} \left({\begin{matrix}1&1&1\\1&0&0\\0&1&0\end{matrix}}\right)\\={}&1(1)+2(1)+3(1)+4(1)=10,\end{aligned}}$$

अंतिम पंक्ति के साथ विस्तार करते समय देता है,

$${\begin{aligned}\operatorname {perm} \left({\begin{matrix}1&1&1&1\\2&1&0&0\\3&0&1&0\\4&0&0&1\end{matrix}}\right)={}&4\cdot \operatorname {perm} \left({\begin{matrix}1&1&1\\1&0&0\\0&1&0\end{matrix}}\right)+0\cdot \operatorname {perm} \left({\begin{matrix}1&1&1\\2&0&0\\3&1&0\end{matrix}}\right)\\&{}+\ 0\cdot \operatorname {perm} \left({\begin{matrix}1&1&1\\2&1&0\\3&0&0\end{matrix}}\right)+1\cdot \operatorname {perm} \left({\begin{matrix}1&1&1\\2&1&0\\3&0&1\end{matrix}}\right)\\={}&4(1)+0+0+1(6)=10.\end{aligned}}$$

दूसरी ओर, निर्धारकों की मूल गुणात्मक संपत्ति स्थायी के लिए मान्य नहीं है। साधारण उदाहरण से पता चलता है कि ऐसा ही है।

$${\begin{aligned}4&=\operatorname {perm} \left({\begin{matrix}1&1\\1&1\end{matrix}}\right)\operatorname {perm} \left({\begin{matrix}1&1\\1&1\end{matrix}}\right)\\&\neq \operatorname {perm} \left(\left({\begin{matrix}1&1\\1&1\end{matrix}}\right)\left({\begin{matrix}1&1\\1&1\end{matrix}}\right)\right)=\operatorname {perm} \left({\begin{matrix}2&2\\2&2\end{matrix}}\right)=8.\end{aligned}}$$

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

अनुप्रयोग

सममित टेंसर

हिल्बर्ट स्थानों की सममित टेंसर शक्ति के अध्ययन में स्थायी स्वाभाविक रूप से उत्पन्न होता है। विशेष रूप से, हिल्बर्ट स्थान के लिए $H$, होने देना $\vee ^{k}H$ निरूपित करें $k$की वें सममित टेंसर शक्ति $H$, जो टेन्सर उत्पाद#बाहरी और सममित बीजगणित का स्थान है। उस पर विशेष ध्यान दें $\vee ^{k}H$ तत्वों के सममित टेंसर#सममित उत्पाद द्वारा फैलाया गया है $H$. के लिए $x_{1},x_{2},\dots ,x_{k}\in H$, हम इन तत्वों के सममित उत्पाद को परिभाषित करते हैं

$$x_{1}\vee x_{2}\vee \cdots \vee x_{k}=(k!)^{-1/2}\sum _{\sigma \in S_{k}}x_{\sigma (1)}\otimes x_{\sigma (2)}\otimes \cdots \otimes x_{\sigma (k)}$$

अगर हम विचार करें $\vee ^{k}H$ (के उप-स्थान के रूप में $\otimes ^{k}H$, हिल्बर्ट रिक्त स्थान का kth टेंसर उत्पाद $H$) और आंतरिक उत्पाद को परिभाषित करें $\vee ^{k}H$ तदनुसार, हम इसके लिए पाते हैं $x_{j},y_{j}\in H$

$$\langle x_{1}\vee x_{2}\vee \cdots \vee x_{k},y_{1}\vee y_{2}\vee \cdots \vee y_{k}\rangle =\operatorname {perm} \left[\langle x_{i},y_{j}\rangle \right]_{i,j=1}^{k}$$

कॉची-श्वार्ज़ असमानता को लागू करने पर, हम पाते हैं $\operatorname {perm} \left[\langle x_{i},x_{j}\rangle \right]_{i,j=1}^{k}\geq 0$, ओर वो

$$\left|\operatorname {perm} \left[\langle x_{i},y_{j}\rangle \right]_{i,j=1}^{k}\right|^{2}\leq \operatorname {perm} \left[\langle x_{i},x_{j}\rangle \right]_{i,j=1}^{k}\cdot \operatorname {perm} \left[\langle y_{i},y_{j}\rangle \right]_{i,j=1}^{k}$$

साइकिल कवर

Main article: Vertex cycle cover

कोई भी वर्ग मैट्रिक्स $A=(a_{ij})_{i,j=1}^{n}$ शीर्ष सेट पर भारित निर्देशित ग्राफ के आसन्न मैट्रिक्स के रूप में देखा जा सकता है $V=\{1,2,\dots ,n\}$, साथ $a_{ij}$ शीर्ष i से शीर्ष j तक चाप के भार का प्रतिनिधित्व करना। भारित निर्देशित ग्राफ का वर्टेक्स चक्र कवर डिग्राफ में शीर्ष-असंबद्ध निर्देशित चक्रों का संग्रह है जो ग्राफ में सभी शीर्षों को कवर करता है। इस प्रकार, डिग्राफ में प्रत्येक शीर्ष i का अद्वितीय उत्तराधिकारी होता है $\sigma (i)$ चक्र आवरण में, इत्यादि $\sigma$ वी पर क्रमपरिवर्तन का प्रतिनिधित्व करता है। इसके विपरीत, कोई भी क्रमपरिवर्तन $\sigma$ V पर प्रत्येक शीर्ष i से शीर्ष तक चाप के साथ चक्र कवर से मेल खाता है $\sigma (i)$.

यदि चक्र-कवर का वजन प्रत्येक चक्र में चापों के वजन के उत्पाद के रूप में परिभाषित किया गया है, तो

$$\operatorname {weight} (\sigma )=\prod _{i=1}^{n}a_{i,\sigma (i)},$$

इसका तात्पर्य यह है कि

$$\operatorname {perm} (A)=\sum _{\sigma }\operatorname {weight} (\sigma ).$$

इस प्रकार A का स्थायी मान डिग्राफ के सभी चक्र-कवरों के भार के योग के बराबर है।

उत्तम मिलान

एक वर्ग मैट्रिक्स $A=(a_{ij})$ इसे द्विदलीय ग्राफ के आसन्न मैट्रिक्स के रूप में भी देखा जा सकता है जिसमें शीर्ष (ग्राफ सिद्धांत) है $x_{1},x_{2},\dots ,x_{n}$ तरफ और $y_{1},y_{2},\dots ,y_{n}$ दूसरी ओर, साथ में $a_{ij}$ शीर्ष से किनारे के भार का प्रतिनिधित्व करना $x_{i}$ शिखर तक $y_{j}$. यदि वजन का पूर्ण मिलान हो $\sigma$ यह मेल खाता है $x_{i}$ को $y_{\sigma (i)}$ तब, इसे मिलान में किनारों के भार के गुणनफल के रूप में परिभाषित किया गया है

$$\operatorname {weight} (\sigma )=\prod _{i=1}^{n}a_{i,\sigma (i)}.$$

इस प्रकार A का स्थायी मान ग्राफ़ के सभी पूर्ण मिलानों के भारों के योग के बराबर है।

(0, 1) आव्यूहों के स्थायी मान

गणना

गिनती के कई प्रश्नों के उत्तरों की गणना उन आव्यूहों के स्थायी मानों के रूप में की जा सकती है जिनमें प्रविष्टियों के रूप में केवल 0 और 1 हैं।

मान लीजिए Ω(n,k) क्रम n के सभी (0, 1)-आव्यूहों का वर्ग है और प्रत्येक पंक्ति और स्तंभ का योग k के बराबर है। इस वर्ग के प्रत्येक मैट्रिक्स ए में पर्म(ए) > 0 है। प्रक्षेप्य तलों के आपतन मैट्रिक्स वर्ग Ω(n) में हैं² + n + 1, n + 1) n पूर्णांक > 1 के लिए। सबसे छोटे प्रक्षेप्य तलों के अनुरूप स्थायी की गणना की गई है। n = 2, 3, और 4 के लिए मान क्रमशः 24, 3852 और 18,534,400 हैं।मान लीजिए Z, n = 2, फैनो विमान के साथ प्रक्षेप्य तल का आपतन मैट्रिक्स है। उल्लेखनीय रूप से, perm(Z) = 24 = |det (Z)|, Z के निर्धारक का निरपेक्ष मान। यह Z के परिसंचरण मैट्रिक्स और प्रमेय होने का परिणाम है:

यदि A वर्ग Ω(n,k) में परिसंचरण मैट्रिक्स है तो यदि k > 3, perm(A) > |det (A)| और यदि k = 3, perm(A)=|det (A)| इसके अलावा, जब k = 3, पंक्तियों और स्तंभों को क्रमपरिवर्तित करके, A को मैट्रिक्स Z की e प्रतियों के प्रत्यक्ष योग के रूप में रखा जा सकता है और परिणामस्वरूप, n = 7e और perm(A) = 24^इ.

स्थायी का उपयोग प्रतिबंधित (निषिद्ध) पदों के साथ क्रमपरिवर्तन की संख्या की गणना करने के लिए भी किया जा सकता है। मानक n-सेट {1, 2, ..., n} के लिए, मान लीजिए $A=(a_{ij})$ (0, 1)-मैट्रिक्स बनें जहां ए_ij = 1 यदि i → j को क्रमपरिवर्तन में अनुमति दी गई है और a_ij = 0 अन्यथा. तब पर्म(ए) एन-सेट के क्रमपरिवर्तन की संख्या के बराबर है जो सभी प्रतिबंधों को पूरा करता है।इसके दो प्रसिद्ध विशेष मामले विक्षोभ समस्या और मेनेज समस्या का समाधान हैं: बिना किसी निश्चित बिंदु (विक्षोभ) वाले एन-सेट के क्रमपरिवर्तन की संख्या दी गई है

$$\operatorname {perm} (J-I)=\operatorname {perm} \left({\begin{matrix}0&1&1&\dots &1\\1&0&1&\dots &1\\1&1&0&\dots &1\\\vdots &\vdots &\vdots &\ddots &\vdots \\1&1&1&\dots &0\end{matrix}}\right)=n!\sum _{i=0}^{n}{\frac {(-1)^{i}}{i!}},$$

जहां J सभी 1 का मैट्रिक्स n×n है और I पहचान मैट्रिक्स है, और मेनेज संख्याएं इस प्रकार दी गई हैं

$${\begin{aligned}\operatorname {perm} (J-I-I')&=\operatorname {perm} \left({\begin{matrix}0&0&1&\dots &1\\1&0&0&\dots &1\\1&1&0&\dots &1\\\vdots &\vdots &\vdots &\ddots &\vdots \\0&1&1&\dots &0\end{matrix}}\right)\\&=\sum _{k=0}^{n}(-1)^{k}{\frac {2n}{2n-k}}{2n-k \choose k}(n-k)!,\end{aligned}}$$

जहां I' (0, 1)-स्थिति (i, i + 1) और (n, 1) में गैर-शून्य प्रविष्टियों वाला मैट्रिक्स है।

सीमा

ब्रेगमैन-मिन्क असमानता, 1963 में एच. मिन्क द्वारा अनुमानित और लेव एम ब्रेगमैन|एल द्वारा सिद्ध किया गया। 1973 में एम. ब्रैगमैन, n × n (0, 1)-मैट्रिक्स के स्थायी के लिए ऊपरी सीमा देता है। यदि A के पास r है_i पंक्ति i में प्रत्येक 1 ≤ i ≤ n के लिए, असमानता बताती है कि

$$\operatorname {perm} A\leq \prod _{i=1}^{n}(r_{i})!^{1/r_{i}}.$$

वैन डेर वेर्डन का अनुमान

1926 में, बार्टेल लिएन्डर्ट वान डेर वेर्डन ने अनुमान लगाया कि सभी के बीच न्यूनतम स्थायी n × n दोगुना स्टोकेस्टिक मैट्रिक्स n!/n हैⁿ, मैट्रिक्स द्वारा प्राप्त किया गया जिसके लिए सभी प्रविष्टियाँ 1/n के बराबर हैं। इस अनुमान के प्रमाण 1980 में बी. गेयरस द्वारा प्रकाशित किए गए थे और 1981 में जी. पी. एगोरीचेव द्वारा और डी. आई. फालिकमैन; एगोरीचेव का प्रमाण अलेक्जेंड्रोव-फेन्चेल असमानता का अनुप्रयोग है। इस काम के लिए, एगोरीचेव और फालिकमैन ने 1982 में फुलकर्सन पुरस्कार जीता।

गणना

Main articles: Computing the permanent and Sharp-P-completeness of 01-permanent

परिभाषा का उपयोग करते हुए, स्थायी कंप्यूटिंग का भोला दृष्टिकोण अपेक्षाकृत छोटे मैट्रिक्स के लिए भी कम्प्यूटेशनल रूप से संभव नहीं है। सबसे तेज़ ज्ञात एल्गोरिदम में से H. J. Ryser के कारण है। रायसर का सूत्र|राइसर की विधि समावेशन-बहिष्करण सिद्धांत पर आधारित है|समावेश-बहिष्करण सूत्र जिसे दिया जा सकता है इस प्रकार: चलो $A_{k}$ K कॉलम को हटाकर A से प्राप्त किया जा सकता है $P(A_{k})$ की पंक्ति-योग का उत्पाद बनें $A_{k}$, और जाने $\Sigma _{k}$ के मानों का योग हो $P(A_{k})$ हर संभव से अधिक $A_{k}$. तब

$$\operatorname {perm} (A)=\sum _{k=0}^{n-1}(-1)^{k}\Sigma _{k}.$$

इसे मैट्रिक्स प्रविष्टियों के संदर्भ में निम्नानुसार फिर से लिखा जा सकता है:

$$\operatorname {perm} (A)=(-1)^{n}\sum _{S\subseteq \{1,\dots ,n\}}(-1)^{|S|}\prod _{i=1}^{n}\sum _{j\in S}a_{ij}.$$

ऐसा माना जाता है कि निर्धारक की तुलना में स्थायी की गणना करना अधिक कठिन है। जबकि निर्धारक की गणना गाऊसी विलोपन द्वारा बहुपद समय में की जा सकती है, गाऊसी विलोपन का उपयोग स्थायी की गणना के लिए नहीं किया जा सकता है। इसके अलावा, (0,1)-मैट्रिक्स के स्थायी की गणना तीव्र-पी-पूर्ण|#पी-पूर्ण है। इस प्रकार, यदि स्थायी की गणना किसी भी विधि द्वारा बहुपद समय में की जा सकती है, तो एफपी (जटिलता) = तेज-पी | # पी, जो पी = एनपी समस्या | पी = एनपी से भी अधिक मजबूत कथन है। हालाँकि, जब ए की प्रविष्टियाँ गैर-नकारात्मक होती हैं, तो स्थायी की गणना यादृच्छिक एल्गोरिथ्म बहुपद समय में सन्निकटन एल्गोरिथ्म से की जा सकती है, त्रुटि तक $\varepsilon M$, कहाँ $M$ स्थायी और का मान है $\varepsilon >0$ मनमाना है. सकारात्मक निश्चित मैट्रिक्स के निश्चित सेट के स्थायी को संभाव्य बहुपद समय में भी अनुमानित किया जा सकता है: इस सन्निकटन की सबसे अच्छी प्राप्य त्रुटि है $\varepsilon {\sqrt {M}}$ ($M$ पुनः स्थायी का मान है)।

मैकमोहन का मास्टर प्रमेय

Main article: MacMahon's master theorem

स्थायी को देखने का दूसरा तरीका बहुभिन्नरूपी जनरेटिंग फ़ंक्शन के माध्यम से है। होने देना $A=(a_{ij})$ क्रम n का वर्ग मैट्रिक्स बनें। बहुभिन्नरूपी जनरेटिंग फ़ंक्शन पर विचार करें:

$${\begin{aligned}F(x_{1},x_{2},\dots ,x_{n})&=\prod _{i=1}^{n}\left(\sum _{j=1}^{n}a_{ij}x_{j}\right)\\&=\left(\sum _{j=1}^{n}a_{1j}x_{j}\right)\left(\sum _{j=1}^{n}a_{2j}x_{j}\right)\cdots \left(\sum _{j=1}^{n}a_{nj}x_{j}\right).\end{aligned}}$$

का गुणांक $x_{1}x_{2}\dots x_{n}$ में $F(x_{1},x_{2},\dots ,x_{n})$ पर्म(ए) है.

सामान्यीकरण के रूप में, n गैर-नकारात्मक पूर्णांकों के किसी भी अनुक्रम के लिए, $s_{1},s_{2},\dots ,s_{n}$ परिभाषित करना:

$$\operatorname {perm} ^{(s_{1},s_{2},\dots ,s_{n})}(A)$$

के गुणांक के रूप में $x_{1}^{s_{1}}x_{2}^{s_{2}}\cdots x_{n}^{s_{n}}$ में$\left(\sum _{j=1}^{n}a_{1j}x_{j}\right)^{s_{1}}\left(\sum _{j=1}^{n}a_{2j}x_{j}\right)^{s_{2}}\cdots \left(\sum _{j=1}^{n}a_{nj}x_{j}\right)^{s_{n}}.$ स्थायी और निर्धारक से संबंधित मैकमोहन का मास्टर प्रमेय है:

$$\operatorname {perm} ^{(s_{1},s_{2},\dots ,s_{n})}(A)={\text{ coefficient of }}x_{1}^{s_{1}}x_{2}^{s_{2}}\cdots x_{n}^{s_{n}}{\text{ in }}{\frac {1}{\det(I-XA)}},$$

जहां I क्रम n पहचान मैट्रिक्स है और X विकर्ण के साथ विकर्ण मैट्रिक्स है $[x_{1},x_{2},\dots ,x_{n}].$

आयताकार आव्यूह

गैर-वर्ग मैट्रिक्स पर लागू करने के लिए स्थायी फ़ंक्शन को सामान्यीकृत किया जा सकता है। दरअसल, कई लेखक इसे स्थायी की परिभाषा बनाते हैं और वर्ग आव्यूहों पर प्रतिबंध को विशेष मामला मानते हैं। विशेष रूप से, m×n मैट्रिक्स के लिए $A=(a_{ij})$ एम ≤ एन के साथ, परिभाषित करें

$$\operatorname {perm} (A)=\sum _{\sigma \in \operatorname {P} (n,m)}a_{1\sigma (1)}a_{2\sigma (2)}\ldots a_{m\sigma (m)}$$

जहाँ P(n,m) n-सेट {1,2,...,n} के सभी m-क्रमपरिवर्तन का समुच्चय है।

स्थायी लोगों के लिए रायसर का कम्प्यूटेशनल परिणाम भी सामान्यीकृत होता है। यदि A, m≤n के साथ m×n मैट्रिक्स है, तो मान लीजिए $A_{k}$ K कॉलम को हटाकर A से प्राप्त किया जा सकता है $P(A_{k})$ की पंक्ति-योग का उत्पाद बनें $A_{k}$, और जाने $\sigma _{k}$ के मानों का योग हो $P(A_{k})$ हर संभव से अधिक $A_{k}$. तब

$$\operatorname {perm} (A)=\sum _{k=0}^{m-1}(-1)^{k}{\binom {n-m+k}{k}}\sigma _{n-m+k}.$$

विशिष्ट प्रतिनिधियों की प्रणालियाँ

गैर-वर्ग मैट्रिक्स के लिए स्थायी की परिभाषा का सामान्यीकरण कुछ अनुप्रयोगों में अवधारणा को अधिक प्राकृतिक तरीके से उपयोग करने की अनुमति देता है। उदाहरण के लिए:

आइए एस₁, एस₂, ..., एस_m m ≤ n के साथ n-सेट के उपसमुच्चय (जरूरी नहीं कि अलग) हों। उपसमुच्चय के इस संग्रह की घटना मैट्रिक्स एम × एन (0,1)-मैट्रिक्स ए है। इस संग्रह की ट्रांसवर्सल (कॉम्बिनेटरिक्स) (एसडीआर) की संख्या पर्म (ए) है।

यह भी देखें

• स्थायी गणना
• बापट-बेग प्रमेय, क्रम में स्थायी आँकड़ों का अनुप्रयोग
• स्लेटर निर्धारक, क्वांटम यांत्रिकी में स्थायी का अनुप्रयोग
• हफ़नियन

संदर्भ

• Brualdi, Richard A. (2006). Combinatorial matrix classes. Encyclopedia of Mathematics and Its Applications. Vol. 108. Cambridge: Cambridge University Press. ISBN 978-0-521-86565-4. Zbl 1106.05001.
• Minc, Henryk (1978). Permanents. Encyclopedia of Mathematics and its Applications. Vol. 6. With a foreword by Marvin Marcus. Reading, MA: Addison–Wesley. ISSN 0953-4806. OCLC 3980645. Zbl 0401.15005.
• Muir, Thomas; Metzler, William H. (1960) [1882]. A Treatise on the Theory of Determinants. New York: Dover. OCLC 535903.
• Percus, J.K. (1971), Combinatorial Methods, Applied Mathematical Sciences #4, New York: Springer-Verlag, ISBN 978-0-387-90027-8
• Ryser, Herbert John (1963), Combinatorial Mathematics, The Carus Mathematical Monographs #14, The Mathematical Association of America
• van Lint, J.H.; Wilson, R.M. (2001), A Course in Combinatorics, Cambridge University Press, ISBN 978-0521422604

अग्रिम पठन

• Hall Jr., Marshall (1986), Combinatorial Theory (2nd ed.), New York: John Wiley & Sons, pp. 56–72, ISBN 978-0-471-09138-7 Contains a proof of the Van der Waerden conjecture.
• Marcus, M.; Minc, H. (1965), "Permanents", The American Mathematical Monthly, 72 (6): 577–591, doi:10.2307/2313846, JSTOR 2313846

बाहरी संबंध

• Permanent at PlanetMath.
• Van der Waerden's permanent conjecture at PlanetMath.