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

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

परिभाषा

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

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

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

इस प्रकार उदाहरण के लिए,

$$\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.$$

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

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

इस प्रकार से स्थायी शब्द की उत्पत्ति 1812 में कॉची के साथ संबंधित प्रकार के फलन के लिए "फॉन्क्शन सिमेट्रिक्स परमानेंटेस" के रूप में हुई थी, और इसका उपयोग मुइर और मेट्ज़लर द्वारा किया गया था आधुनिक, अधिक विशिष्ट, अर्थ में किया गया था।

गुण

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

• A की पंक्तियों और/या स्तंभों के मनमाने क्रमपरिवर्तन के तहत पर्म(A) अपरिवर्तनीय है। इस गुण को किसी भी उचित आकार के क्रमपरिवर्तन आव्युह P और Q के लिए प्रतीकात्मक रूप से पर्म(A) = पर्म(PAQ) के रूप में लिखा जा सकता है।
• A की किसी पंक्ति या स्तंभ को अदिश (गणित) s से गुणा करने पर perm(A) से s⋅perm(A) में परिवर्तित हो जाता है,
• पर्म(A) स्थानान्तरण के तहत अपरिवर्तनीय है, अर्थात, पर्म(A) = perm(A^T).
• यदि $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}$ ith पंक्ति की प्रविष्टि है यदि ${\textstyle M_{i,j}}$ और B का jth कॉलम, ith पंक्ति और B के jth कॉलम को घटा कर प्राप्त उपआव्युह का स्थायी है।

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

$${\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$, $H$ की $k$ सममित टेंसर पॉवर को दर्शाता है जो सममित टेंसर का स्थान है। विशेष रूप से ध्यान दें कि $\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$ के उप-स्थान के रूप में $H$ की kth टेंसर पॉवर ) पर विचार करते हैं और तदनुसार $\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: शीर्ष चक्र कवर

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

इस प्रकार से भारित निर्देशित ग्राफ का वर्टेक्स चक्र कवर डिग्राफ में शीर्ष-असंबद्ध निर्देशित चक्रों का संग्रह है जो की ग्राफ में सभी शीर्षों को कवर करता है। इस प्रकार, डिग्राफ में प्रत्येक शीर्ष i का अद्वितीय "उत्तराधिकारी" $\sigma (i)$ होता है चक्र आवरण में, इत्यादि $\sigma$ V पर क्रमपरिवर्तन का प्रतिनिधित्व करता है। इसके विपरीत, V पर कोई भी क्रमपरिवर्तन $\sigma$ प्रत्येक शीर्ष 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 के समान है। इस वर्ग में प्रत्येक आव्युह A का पर्म(A) > 0 है। प्रक्षेप्य तलों के आपतन आव्युह n पूर्णांक > 1 के लिए वर्ग Ω(n² + 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^e.

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

$$\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 में H. मिन्क द्वारा अनुमानित और लेव M ब्रेगमैन L द्वारा सिद्ध किया गया। 1973 में M. ब्रैगमैन, 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 में B. गेयरस द्वारा प्रकाशित किए गए थे और 1981 में G. P. एगोरीचेव द्वारा और D. I. फालिकमैन; एगोरीचेव का प्रमाण अलेक्जेंड्रोव-फेन्चेल असमानता का अनुप्रयोग है। इस काम के लिए, एगोरीचेव और फालिकमैन ने 1982 में फुलकर्सन पुरस्कार प्राप्त किया था।

गणना

Main articles: स्थायी की गणना and 01-स्थायी की तीव्र-पी-पूर्णता

इस प्रकार से परिभाषा का उपयोग करते हुए, स्थायी कंप्यूटिंग का भोला दृष्टिकोण अपेक्षाकृत छोटे आव्युह के लिए भी कम्प्यूटेशनल रूप से संभव नहीं है। और अधिक तीव्र ज्ञात एल्गोरिदम में से एक H. J. रायसर के कारण है। अतः राइसर की विधि समावेशन-बहिष्करण सूत्र पर आधारित है जिसे इस प्रकार दिया जा सकता है: मान लीजिए कि K कॉलम को घटा कर $A_{k}$ को A से प्राप्त किया जाता है, $P(A_{k})$ को $A_{k}$ की पंक्ति-योग का उत्पाद माना जाता है और $\Sigma _{k}$ को सभी संभावित $A_{k}$ पर $P(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)-आव्युह के स्थाई की गणना #P-पूर्ण है। इस प्रकार, यदि किसी विधि द्वारा बहुपद समय में स्थायी की गणना की जा सकती है, तो FP = #P, जो P = NP से भी अधिक स्थिर कथन है। चूंकि, जब A की प्रविष्टियाँ गैर-ऋणात्मक होती हैं, तो स्थायी की गणना लगभग संभाव्य बहुपद समय में की जा सकती है, यदि $\varepsilon M$ की त्रुटि तक, जहाँ $M$ स्थायी का मान है और $\varepsilon >0$ मनमाना है। इस प्रकार से धनात्मक अर्धनिश्चित आव्यूहों के एक निश्चित समुच्चय के स्थायी को संभाव्य बहुपद समय में भी अनुमानित किया जा सकता है: इस सन्निकटन एल्गोरिथ्म की सर्वोत्तम प्राप्य त्रुटि $\varepsilon {\sqrt {M}}$ ($M$ पुनः स्थायी का मान है)।

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

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

स्थायी को देखने का दूसरा तरीका बहुभिन्नरूपी जनरेटिंग फलन के माध्यम से है। मान लीजिये $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})$ पर्म(A) है.

सामान्यीकरण के रूप में, 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})$ के लिए m × n के साथ, परिभाषित करें

$$\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 आव्युह है, तो मान लीजिए कि K कॉलम को घटा कर $A_{k}$ को A से प्राप्त किया जाता है, मान लीजिए कि $P(A_{k})$ $A_{k}$ की पंक्ति-योग का उत्पाद है और मान लीजिए कि $\sigma _{k}$ सभी संभावित $A_{k}$ पर $P(A_{k})$ के मानों का योग है।तब:

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

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

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

मान लीजिए कि S₁, S₂, ..., S_m, m ≤ n वाले n-समुच्चय के उपसमुच्चय (आवश्यक नहीं कि अलग) हों। उपसमुच्चय के इस संग्रह की घटना आव्युह एक m × n (0,1)-आव्युह A है। इस संग्रह के विशिष्ट प्रतिनिधियों (एसडीआर) की प्रणालियों की संख्या पर्म (A) है।

यह भी देखें

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

संदर्भ

• 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.