शूर बहुपद: Difference between revisions

From Vigyanwiki
(text)
(text)
Line 140: Line 140:
शूर बहुपद सममित समूहों, सामान्य रैखिक समूहों और [[एकात्मक समूह]]ों के प्रतिनिधित्व सिद्धांत में पाए जाते हैं। वेइल चरित्र सूत्र का अर्थ है कि शूर बहुपद सामान्य रैखिक समूहों के परिमित-आयामी अलघुकरणीय प्रतिनिधित्व के वर्ण हैं, और शूर के काम को अन्य सघन और अर्धसूत्रीय [[झूठ समूह]]ों में सामान्य बनाने में मदद करता है।
शूर बहुपद सममित समूहों, सामान्य रैखिक समूहों और [[एकात्मक समूह]]ों के प्रतिनिधित्व सिद्धांत में पाए जाते हैं। वेइल चरित्र सूत्र का अर्थ है कि शूर बहुपद सामान्य रैखिक समूहों के परिमित-आयामी अलघुकरणीय प्रतिनिधित्व के वर्ण हैं, और शूर के काम को अन्य सघन और अर्धसूत्रीय [[झूठ समूह]]ों में सामान्य बनाने में मदद करता है।


इ'''स संबंध के''' लिए कई अभिव्यक्तियाँ उत्पन्न होती हैं, जिनमें से एक सबसे महत्वपूर्ण शूर कार्यों का विस्तार है<sub>&lambda;</sub> सममित शक्ति कार्यों के संदर्भ में <math>p_k=\sum_i x_i^k</math>. अगर हम χ लिखते हैं{{su|p=&lambda;|b=&rho;}} विभाजन λ द्वारा अनुक्रमित सममित समूह के प्रतिनिधित्व के चरित्र के लिए विभाजन ρ द्वारा अनुक्रमित चक्र प्रकार के तत्वों पर मूल्यांकन किया गया, फिर
इस संबंध के लिए कई अभिव्यक्तियाँ उत्पन्न होती हैं, सममित शक्ति कार्यों <math>p_k=\sum_i x_i^k</math> के संदर्भ में जिनमें से एक सबसे महत्वपूर्ण शूर कार्यों s<sub>&lambda;</sub> का विस्तार है। अगर हम χ{{su|p=&lambda;|b=&rho;}} लिखते हैं विभाजन λ द्वारा अनुक्रमित सममित समूह के प्रतिनिधित्व के चरित्र के लिए विभाजन ρ द्वारा अनुक्रमित चक्र प्रकार के तत्वों पर मूल्यांकन किया गया, फिर
:<math>s_\lambda = \sum_{\nu} \frac{\chi^\lambda_\nu}{z_\nu} p_\nu = \sum_{\rho=(1^{r_1},2^{r_2},3^{r_3},\dots)}\chi^\lambda_\rho \prod_k \frac{p^{r_k}_k}{r_k! k^{r_k} },</math>
:<math>s_\lambda = \sum_{\nu} \frac{\chi^\lambda_\nu}{z_\nu} p_\nu = \sum_{\rho=(1^{r_1},2^{r_2},3^{r_3},\dots)}\chi^\lambda_\rho \prod_k \frac{p^{r_k}_k}{r_k! k^{r_k} },</math>
जहां ρ = (1<sup>r<sub>1</sub></सुप>, 2<sup>r<sub>2</sub></सुप>, 3<sup>r<sub>3</sub></sup>, ...) का अर्थ है कि विभाजन ρ में r है<sub>''k''</sub> लंबाई के हिस्से k।
जहां ρ = (1<sup>''r''<sub>1</sub></sup>, 2<sup>''r''<sub>2</sub></sup>, 3<sup>''r''<sub>3</sub></sup>, ...) इसका अर्थ है कि विभाजन ρ में लंबाई k के rk भाग हैं।


इसका एक प्रमाण आर. स्टेनली के एन्युमरेटिव कॉम्बिनेटरिक्स वॉल्यूम 2, कोरोलरी 7.17.5 में पाया जा सकता है।
इसका एक प्रमाण R. स्टेनली के गणनासूचक साहचर्य खंड 2, कोरोलरी 7.17.5 में पाया जा सकता है।


पूर्णांक χ{{su|p=&lambda;|b=&rho;}} मुर्नाघन-नाकायमा नियम का उपयोग करके गणना की जा सकती है।
पूर्णांक χ{{su|p=&lambda;|b=&rho;}} मुर्नाघन-नाकायमा नियम का उपयोग करके गणना की जा सकती है।
Line 150: Line 150:
== शूर सकारात्मकता ==
== शूर सकारात्मकता ==


प्रतिनिधित्व सिद्धांत के साथ संबंध के कारण, एक सममित कार्य जो शूर कार्यों में सकारात्मक रूप से फैलता है, के होते हैं
प्रतिनिधित्व सिद्धांत के साथ संबंध के कारण, एक सममित कार्य जो शूर कार्यों में सकारात्मक रूप से फैलता है, विशेष रुचि के होते हैं। उदाहरण के लिए, तिर्यक् शूर कार्य सामान्य शूर कार्यों में सकारात्मक रूप से विस्तारित होता है, और गुणांक लिटिलवुड-रिचर्डसन गुणांक हैं।
विशेष रुचि। उदाहरण के लिए, तिरछा शूर कार्य सामान्य शूर कार्यों में सकारात्मक रूप से विस्तारित होता है,
और गुणांक लिटिलवुड-रिचर्डसन गुणांक हैं।


इसका एक विशेष मामला पूर्ण सजातीय सममित कार्यों का विस्तार है<sub>λ</sub> शूर कार्यों में।
इसकी एक विशेष स्तिथि शूर कार्यों में पूर्ण सजातीय सममित कार्य h<sub>λ</sub> का विस्तार है ।
यह अपघटन दर्शाता है कि कैसे एक क्रमचय मॉड्यूल अप्रासंगिक अभ्यावेदन में विघटित हो जाता है।
 
यह अपघटन दर्शाता है कि कैसे एक क्रमचय इकाई अप्रासंगिक अभ्यावेदन में विघटित हो जाता है।


===शुर सकारात्मकता सिद्ध करने की विधियाँ===
===शुर सकारात्मकता सिद्ध करने की विधियाँ===


किसी दिए गए सममित समारोह एफ की शूर सकारात्मकता साबित करने के लिए कई दृष्टिकोण हैं।
किसी दिए गए सममित फलन F की शूर सकारात्मकता साबित करने के लिए कई दृष्टिकोण हैं। यदि F को संयोजन तरीके से वर्णित किया गया है, तो अर्ध-मानक युवा झांकी के साथ एक आक्षेप का उत्पादन करने के लिए एक सीधा दृष्टिकोण है।एडेलमैन-ग्रीन पत्राचार और रॉबिन्सन-शेंस्टेड-नुथ पत्राचार ऐसे पूर्वाग्रहों के उदाहरण हैं।
यदि एफ को संयोजन तरीके से वर्णित किया गया है, तो अर्ध-मानक युवा झांकी के साथ एक आक्षेप का उत्पादन करने के लिए एक सीधा दृष्टिकोण है।
एडेलमैन-ग्रीन पत्राचार और रॉबिन्सन-शेंस्टेड-नुथ पत्राचार ऐसे पूर्वाग्रहों के उदाहरण हैं।


अधिक संरचना वाला एक आक्षेप तथाकथित क्रिस्टल_बेस का उपयोग करके एक प्रमाण है। इस पद्धति को अंतर्निहित संयोजी वस्तुओं पर स्थानीय नियमों के साथ वर्णित एक निश्चित ग्राफ संरचना को परिभाषित करने के रूप में वर्णित किया जा सकता है।
अधिक संरचना वाला एक आक्षेप तथाकथित स्फटिक आधार का उपयोग करके एक प्रमाण है। इस पद्धति को अंतर्निहित संयोजी वस्तुओं पर स्थानीय नियमों के साथ वर्णित एक निश्चित ग्राफ संरचना को परिभाषित करने के रूप में वर्णित किया जा सकता है।


इसी तरह का विचार द्वैत तुल्यता की धारणा है। यह दृष्टिकोण एक ग्राफ़ संरचना का भी उपयोग करता है, लेकिन मूलभूत क्वासिमेट्रिक आधार में विस्तार का प्रतिनिधित्व करने वाली वस्तुओं पर। यह आरएसके-पत्राचार से निकटता से संबंधित है।
इसी तरह का विचार द्वैत तुल्यता की धारणा है। यह दृष्टिकोण मूलभूत क्वासिमेट्रिक आधार में विस्तार का प्रतिनिधित्व करने वाली वस्तुओं पर एक लेखाचित्र संरचना का भी उपयोग करता है। यह आरएसके-पत्राचार से निकटता से संबंधित है।


== सामान्यीकरण ==
== सामान्यीकरण ==


=== तिरछा शूर कार्य ===
=== तिर्यक् शूर कार्य ===


तिरछा शूर कार्य करता है<sub>&lambda;/&mu;</sub> दो विभाजन λ और μ पर निर्भर करता है, और संपत्ति द्वारा परिभाषित किया जा सकता है
तिर्यक् शूर <sub>&lambda;/&mu;</sub> दो विभाजन λ और μ पर निर्भर करता है, और निम्न विशेषता द्वारा परिभाषित किया जा सकता है
:<math>\langle s_{\lambda/\mu},s_\nu\rangle = \langle s_{\lambda},s_\mu  s_\nu\rangle. </math>
:<math>\langle s_{\lambda/\mu},s_\nu\rangle = \langle s_{\lambda},s_\mu  s_\nu\rangle. </math>
यहां, आंतरिक उत्पाद हॉल आंतरिक उत्पाद है, जिसके लिए शूर बहुपद एक ऑर्थोनॉर्मल आधार बनाते हैं।
यहां, आंतरिक उत्पाद हॉल आंतरिक उत्पाद है, जिसके लिए शूर बहुपद एक प्रसामान्य लांबिक आधार बनाते हैं।


साधारण शूर बहुपदों के समान, इनकी गणना करने के कई तरीके हैं। संबंधित जैकोबी-ट्रुडी सर्वसमिका हैं
साधारण शूर बहुपदों के समान, इनकी गणना करने के कई तरीके हैं। संबंधित जैकोबी-ट्रुडी सर्वसमिका हैं
:<math>s_{\lambda/\mu} = \det(h_{\lambda_i - \mu_j -i + j})_{i,j = 1}^{l(\lambda)}</math>
:<math>s_{\lambda/\mu} = \det(h_{\lambda_i - \mu_j -i + j})_{i,j = 1}^{l(\lambda)}</math>
:<math>s_{\lambda'/\mu'} = \det(e_{\lambda_i - \mu_j -i + j})_{i,j = 1}^{l(\lambda)}</math>
:<math>s_{\lambda'/\mu'} = \det(e_{\lambda_i - \mu_j -i + j})_{i,j = 1}^{l(\lambda)}</math>
तिरछा शूर बहुपदों की एक मिश्रित व्याख्या भी है,
तिर्यक् शूर बहुपदों की एक मिश्रित व्याख्या भी है, अर्थात् यह तिरछी आकृति के सभी अर्ध-मानक युवा झांकी (या स्तंभ-सख्त झांकी) का योग <math>\lambda/\mu</math> है
अर्थात् यह तिरछी आकृति के सभी अर्ध-मानक युवा झांकी (या स्तंभ-सख्त झांकी) का योग है <math>\lambda/\mu</math>.


तिरछा शूर बहुपद शूर बहुपद में सकारात्मक रूप से फैलता है। गुणांक के लिए एक नियम है
तिर्यक् शूर बहुपद शूर बहुपद में सकारात्मक रूप से फैलता है। गुणांक के लिए एक नियम [[लिटिलवुड-रिचर्डसन नियम]] द्वारा दिया गया है।
[[लिटिलवुड-रिचर्डसन नियम]] द्वारा दिया गया।


=== डबल शूर बहुपद ===
=== युग्म शूर बहुपद ===


डबल शूर बहुपद<ref name="Molev2008.02">{{cite journal|last1=Molev|first1=A.I.|title=Littlewood–Richardson polynomials|journal=Journal of Algebra|date=June 2009|volume=321|issue=11|pages=3450–68|doi=10.1016/j.jalgebra.2008.02.034|arxiv=0704.0065}}</ref> स्थानांतरित शूर बहुपदों के सामान्यीकरण के रूप में देखा जा सकता है।
युग्म शूर बहुपद<ref name="Molev2008.02">{{cite journal|last1=Molev|first1=A.I.|title=Littlewood–Richardson polynomials|journal=Journal of Algebra|date=June 2009|volume=321|issue=11|pages=3450–68|doi=10.1016/j.jalgebra.2008.02.034|arxiv=0704.0065}}</ref> स्थानांतरित शूर बहुपदों के सामान्यीकरण के रूप में देखा जा सकता है।
ये बहुपद भी फैक्टोरियल शूर बहुपदों से निकटता से संबंधित हैं।
ये बहुपद भी क्रमगुणित शूर बहुपदों से निकटता से संबंधित हैं। एक विभाजन {{math|''λ''}} दिया, और एक क्रम {{math|''a''<sub>1</sub>, ''a''<sub>2</sub>,&hellip;}} कोई दोहरे शूर बहुपद {{math|''s''<sub>λ</sub>(''x'' {{!}}{{!}} ''a'')}} को परिभाषित कर सकता है, जैसे
एक विभाजन दिया {{math|''λ''}}, और एक क्रम {{math|''a''<sub>1</sub>, ''a''<sub>2</sub>,&hellip;}}
कोई दोहरे शूर बहुपद को परिभाषित कर सकता है {{math|''s''<sub>λ</sub>(''x'' {{!}}{{!}} ''a'')}} जैसा
<math display=block>s_\lambda(x||a) = \sum_T \prod_{\alpha \in \lambda}(x_{T(\alpha)} - a_{T(\alpha)-c(\alpha)})</math>
<math display=block>s_\lambda(x||a) = \sum_T \prod_{\alpha \in \lambda}(x_{T(\alpha)} - a_{T(\alpha)-c(\alpha)})</math>
जहां योग सभी अर्ध-मानक युवा झांकी के ऊपर ले जाया जाता है {{math|''T''}} आकार का {{math|''λ''}}, और पूर्णांक प्रविष्टियाँ
जहां योग {{math|''λ''}} आकार के सभी उल्टे अर्ध-मानक नवोदित टेबलऑक्स {{math|''T''}} पर लिया जाता है, और पूर्णांक प्रविष्टियाँ में {{math|1, &hellip;, ''n''}}यहाँ T(α) बॉक्स α में T के मान को दर्शाता है और c(α) बॉक्स की सामग्री है।
में {{math|1, &hellip;, ''n''}}. यहाँ {{math|''T''(α)}} बॉक्स में मान को दर्शाता है {{math|α}} में {{math|''T''}} और {{math|c(α)}} बॉक्स की सामग्री है।


लिटिलवुड-रिचर्डसन गुणांक (अनुक्रम के आधार पर) के लिए एक संयोजी नियम एआई मोलेव द्वारा दिया गया था।<ref name="Molev2008.02" />विशेष रूप से, इसका तात्पर्य है कि शिफ्ट किए गए शूर बहुपदों में गैर-नकारात्मक लिटलवुड-रिचर्डसन गुणांक हैं।
लिटिलवुड-रिचर्डसन गुणांक (अनुक्रम a के आधार पर) के लिए एक संयोजी नियम एआई मोलेव द्वारा दिया गया था।<ref name="Molev2008.02" /> विशेष रूप से, इसका तात्पर्य है कि स्थानान्तरित किए गए शूर बहुपदों में गैर-नकारात्मक लिटलवुड-रिचर्डसन गुणांक हैं।


स्थानांतरित शूर बहुपद {{math|''s''<sup>*</sup><sub>λ</sub>(''y'')}} विशेषज्ञता द्वारा डबल शूर बहुपद से प्राप्त किया जा सकता है {{math|''a''<sub>''i''</sub> {{=}} −''i''}} और {{math|''y''<sub>''i''</sub> {{=}} ''x''<sub>''i''</sub> + ''i''}}.
स्थानांतरित शूर बहुपद {{math|''s''<sup>*</sup><sub>λ</sub>(''y'')}} {{math|''a''<sub>''i''</sub> {{=}} −''i''}} और {{math|''y''<sub>''i''</sub> {{=}} ''x''<sub>''i''</sub> + ''i''}} विशेषज्ञता द्वारा युग्म शूर बहुपद से प्राप्त किया जा सकता है।


डबल शूर बहुपद दोहरे [[शुबर्ट बहुपद]] के विशेष मामले हैं।
युग्म शूर बहुपद दोहरे [[शुबर्ट बहुपद]] की विशेष स्तिथि है।


=== क्रमगुणित शूर बहुपद ===
=== क्रमगुणित शूर बहुपद ===


फैक्टोरियल शूर बहुपदों को निम्नानुसार परिभाषित किया जा सकता है।
क्रमगुणित शूर बहुपदों को निम्नानुसार परिभाषित किया जा सकता है। एक विभाजन λ दिया गया है, और एक दोगुना अनंत अनुक्रम …,''a''<sub>−1</sub>, ''a''<sub>0</sub>, ''a''<sub>1</sub>, … कोई क्रमगुणित शूर बहुपद ''s''<sub>λ</sub>(''x''|''a'') को निम्न रूप में परिभाषित कर सकता है 
एक विभाजन λ दिया गया है, और एक दोगुना अनंत अनुक्रम …, <sub>−1</sub>, <sub>0</sub>, <sub>1</sub>, …
कोई फैक्टोरियल शूर बहुपद एस को परिभाषित कर सकता है<sub>λ</sub>(एक्स | ) के रूप में
<math display=block>s_\lambda(x|a) = \sum_T \prod_{\alpha \in \lambda}(x_{T(\alpha)} - a_{T(\alpha)+c(\alpha)})</math>
<math display=block>s_\lambda(x|a) = \sum_T \prod_{\alpha \in \lambda}(x_{T(\alpha)} - a_{T(\alpha)+c(\alpha)})</math>
जहां आकार λ, और पूर्णांक प्रविष्टियों के सभी अर्ध-मानक युवा टेबलॉक्स टी पर योग लिया जाता है
जहां आकार λ, और पूर्णांक प्रविष्टियों के सभी अर्ध-मानक युवा टेबलॉक्स T पर योग 1, …, ''n'' लिया जाता है। यहाँ T(α) बॉक्स α में T के मान को दर्शाता है और c(α) बॉक्स की सामग्री है।
1 में, …, एन। यहाँ T(α) बॉक्स α में T के मान को दर्शाता है और c(α) सामग्री है
बॉक्स का।


एक निर्धारक सूत्र भी है,
एक निर्धारक सूत्र निम्न भी है,
<math display=block>
<math display=block>
s_\lambda(x|a) = \frac{\det[(x_j|a)^{\lambda_i+n-i}]_{i,j = 1}^{l(\lambda)}}{\prod_{i<j}(x_i-x_j)}
s_\lambda(x|a) = \frac{\det[(x_j|a)^{\lambda_i+n-i}]_{i,j = 1}^{l(\lambda)}}{\prod_{i<j}(x_i-x_j)}
</math>
</math>
कहाँ (वाई|)<sup>के </सुप> = (वाई - ए<sub>1</sub>) ... (वाई - ए<sub>''k''</sub>). यह स्पष्ट है कि अगर हम जाने देते हैं {{math|''a''<sub>''i''</sub> {{=}} 0}} मैं सभी के लिए,
जहाँ (''y''|''a'')<sup>''k''</sup> = (''y'' − ''a''<sub>1</sub>) ... (''y'' − ''a<sub>k</sub>'') यह स्पष्ट है कि यदि हम सभी i के लिए a = 0 दें, तो हम सामान्य शूर बहुपद sλ को पुनः प्राप्त कर सकते हैं।
हम सामान्य शूर बहुपद एस पुनर्प्राप्त करते हैं<sub>λ</sub>.


n वेरिएबल्स में डबल शूर बहुपद और फैक्टोरियल शूर बहुपद सर्वसमिका के माध्यम से संबंधित हैं
n परिवर्त्य में युग्म शूर बहुपद और क्रमगुणित शूर बहुपद सर्वसमिका ''s''<sub>λ</sub>(''x''||''a'') = ''s''<sub>λ</sub>(''x''|''u'') के माध्यम से संबंधित हैं, जहाँ ''a<sub>n</sub>''<sub>−''i''+1</sub> = ''u<sub>i</sub>''
एस<sub>λ</sub>(x||) = एस<sub>λ</sub>(एक्स | यू) जहां ए<sub>''n''−''i''+1</sub> = यू<sub>''i''</sub>.


=== अन्य सामान्यीकरण ===
=== अन्य सामान्यीकरण ===
Line 229: Line 215:
* [[शुबर्ट बहुपद]]
* [[शुबर्ट बहुपद]]
* स्टेनली सममित कार्य (स्थिर शुबर्ट बहुपद के रूप में भी जाना जाता है)
* स्टेनली सममित कार्य (स्थिर शुबर्ट बहुपद के रूप में भी जाना जाता है)
* प्रमुख बहुपद (जिन्हें Demazure वर्णों के रूप में भी जाना जाता है)
* प्रमुख बहुपद (जिन्हें डीमाज़ूर वर्णों के रूप में भी जाना जाता है)
* अर्ध-सममित शूर बहुपद
* अर्ध-सममित शूर बहुपद
* पंक्ति-सख्त शूर बहुपद
* पंक्ति-सख्त शूर बहुपद
* [[जैक बहुपद]]
* [[जैक बहुपद]]
* मॉड्यूलर शूर बहुपद
* इकाईर शूर बहुपद
* लूप शूर कार्य करता है
* लूप शूर कार्य करता है
* [[मैकडोनाल्ड बहुपद]]
* [[मैकडोनाल्ड बहुपद]]
* सहानुभूतिपूर्ण और ऑर्थोगोनल समूह के लिए शूर बहुपद।
* संसुघटित और आयतीय समूह के लिए शूर बहुपद।
* के-शूर कार्य करता है
* के-शूर कार्य करता है
* ग्रोथेंडिक बहुपद (के-सिद्धांत| शूर बहुपदों का के-सैद्धांतिक अनुरूप)
* ग्रोथेंडिक बहुपद (के-सिद्धांत| शूर बहुपदों का के-सैद्धांतिक अनुरूप)

Revision as of 10:36, 16 March 2023

गणित में, शूर बहुपद, जिसका नाम ईसाई स्कूर के नाम पर रखा गया है, n चरों में कुछ सममित बहुपद हैं, जो पूर्णांक विभाजनों द्वारा अनुक्रमित हैं, जो प्राथमिक सममित बहुपदों और पूर्ण सजातीय सममित बहुपदों का सामान्यीकरण करते हैं। प्रतिनिधित्व सिद्धांत में वे सामान्य रेखीय समूहों के बहुपद अलघुकरणीय अभ्यावेदन के पात्र हैं। शूर बहुपद सभी सममित बहुपदों के स्थान के लिए एक आधार (रैखिक बीजगणित) बनाते हैं। शूर बहुपदों के किसी भी गुणनफल को शूर बहुपदों के रैखिक संयोजन के रूप में गैर-ऋणात्मक समाकल गुणांकों के साथ लिखा जा सकता है; इन गुणांकों के मूल्यों को लिटिलवुड-रिचर्डसन नियम द्वारा संयुक्त रूप से दिया गया है। अधिक सामान्यतः, स्कू शूर बहुपद विभाजन के जोड़े से जुड़े होते हैं और शूर बहुपदों के समान गुण होते हैं।

परिभाषा (जैकोबी का द्विवार्षिक सूत्र)

शूर बहुपदों को पूर्णांक विभाजनों द्वारा अनुक्रमित किया जाता है। एक विभाजन λ = (λ1, λ2, …,λn) दिया गया, जहाँ λ1λ2 ≥ … ≥ λn, और प्रत्येक λj एक गैर-नकारात्मक पूर्णांक है, निम्न कार्य करता है

निर्धारक के गुणों द्वारा बहुपदों को वैकल्पिक कर रहे हैं। एक बहुपद वैकल्पिक है यदि यह चर के किसी भी स्थानान्तरण (गणित) के तहत संकेत बदलता है।

चूंकि वे वैकल्पिक हैं, वे सभी वांडरमोंडे निर्धारक द्वारा विभाज्य हैं

शूर बहुपदों को अनुपात के रूप में परिभाषित किया गया है
इसे जैकोबी के द्विअर्थी सूत्र के रूप में जाना जाता है। यह वेइल वर्ण सूत्र की एक विशेष स्तिथि है।

यह एक सममित कार्य है क्योंकि अंश और भाजक दोनों वैकल्पिक हैं, और एक बहुपद है क्योंकि सभी वैकल्पिक बहुपद वैंडरमोंड निर्धारक द्वारा विभाज्य हैं।

गुण

श्रेणी d शूर बहुपद में n चर सजातीय घात d के स्थान के लिए सममित बहुपद n चर एक रेखीय आधार हैं। एक विभाजन λ = (λ1, λ2, ..., λn) के लिए, शूर बहुपद एकपदी का योग निम्न है,

जहां योग सभी अर्धमानक युवा झांकी पर T का आकार λ है। प्रतिपादक t1, ..., tn T का भार देता है, दूसरे शब्दों में प्रत्येक ti संख्या की घटनाओं की गणना i में T करता है। यह लिंडस्ट्रॉम-गेसेल-वियनॉट लेम्मा (जैसा कि उस पृष्ठ पर उल्लिखित है) का उपयोग करके पहले गियाम्बेली सूत्र की परिभाषा के बराबर दिखाया जा सकता है।

शूर बहुपदों को एकपद सममित बहुपद mμ के रैखिक संयोजनों के रूप में व्यक्त किया जा सकता है, गैर-नकारात्मक पूर्णांक गुणांक Kλμ के साथ निम्न संख्या घन कहा जाता है,

कोस्तका संख्या Kλμ आकार λ और वजन μ के अर्ध-मानक युवा झांकी की संख्या द्वारा दिए गए हैं।

जैकोबी-ट्रुडी सर्वसमिका

पहला जैकोबी-ट्रूडी सूत्र शूर बहुपद को पूर्ण सजातीय सममित बहुपदों के संदर्भ में एक निर्धारक के रूप में व्यक्त करता है,

जहाँ hi := s(i).[1]

दूसरा जैकोबी-ट्रुडी सूत्र शूर बहुपद को प्रारंभिक सममित बहुपदों के संदर्भ में एक निर्धारक के रूप में व्यक्त करता है,

जहाँ ei := s(1i) और λ' λ के संयुग्मी विभाजन है .[2]

दोनों सर्वसमिकाओं में, नकारात्मक पादांक वाले कार्यों को शून्य के रूप में परिभाषित किया गया है।

गियाम्बेली सर्वसमिका

एक अन्य निर्धारक सर्वसमिका गियाम्बेली का सूत्र है, जो नवोदित आरेख के भीतर निहित हुक विभाजनों के संदर्भ में मनमाने ढंग से विभाजन के लिए शूर फलन को व्यक्त करता है। फ्रोबेनियस के अंकन में, विभाजन को निरूपित किया गया है

जहां, स्थिति में प्रत्येक विकर्ण तत्व के लिए ii, ai एक ही पंक्ति में दाईं ओर बक्सों की संख्या को दर्शाता है और bi एक ही पंक्ति (क्रमशः हाथ और पैर की लंबाई) में इसके नीचे के बक्सों की संख्या को दर्शाता है।

'गियाम्बेली सर्वसमिका' निर्धारक के रूप में इस विभाजन के अनुरूप शूर फलन को व्यक्त करता है

उनमें से हुक विभाजन के लिए व्यक्त करता है।

कॉची सर्वसमिका

शूर कार्यों के लिए कॉची सर्वसमिका (अब असीम रूप से कई चर में), और इसकी दोहरी स्थिति निम्न है

और

जहां सभी विभाजन λ पर योग लिया जाता है, और , क्रमशः पूर्ण सममित कार्यों और प्राथमिक सममित कार्यों को निरूपित करता है। यदि शूर बहुपदों के उत्पादों पर चर योग लिया जाता है, योग में केवल लंबाई के विभाजन सम्मिलित हैं अन्यथा शूर बहुपद गायब हो जाते हैं।

सममित कार्यों के अन्य परिवारों के लिए इन सर्वसमिकाों के कई सामान्यीकरण हैं। उदाहरण के लिए, मैकडोनाल्ड बहुपद, शुबर्ट बहुपद और ग्रोथेंडिक बहुपद कॉची जैसी सर्वसमिका स्वीकार करते हैं।

आगे की सर्वसमिका

शूर बहुपद की गणना हॉल-लिटिलवुड बहुपद के लिए सूत्र की विशेषज्ञता के माध्यम से भी की जा सकती है,

जहाँ क्रमपरिवर्तन का उपसमूह है जैसे कि सभी के लिए i, और w सूचकांकों की अनुमति देकर चर पर कार्य करता है।

मुरनाघन-नाकायमा नियम

मर्नाघन-नाकायामा नियम शूर बहुपद के संदर्भ में एक शूर बहुपद के साथ एक शक्ति-योग सममित समारोह का एक उत्पाद व्यक्त करता है:

जहां योग सभी विभाजन μ पर है जैसे कि μ/λ आकार r का रिम-हुक है और ht(μ/λ) आरेख μ/λ में पंक्तियों की संख्या है।

लिटिलवुड-रिचर्डसन नियम और पियरी का सूत्र

लिटिलवुड-रिचर्डसन गुणांक तीन पूर्णांक विभाजनों पर निर्भर करते हैं, कहते हैं , जिसका कि और गुणा किए जा रहे शूर कार्यों का वर्णन करें, और शूर फलन देता है जिसका यह रैखिक संयोजन में गुणांक है; दूसरे शब्दों में वे गुणांक हैं ऐसा है कि

लिटिलवुड-रिचर्डसन नियम कहता है कि तिरछी झांकी की लिटिलवुड-रिचर्डसन झांकी की संख्या और वजन का के बराबर है।

पियरी का सूत्र लिटिलवुड-रिचर्डसन नियम की एक विशेष स्तिथि है, जो शूर बहुपदों के संदर्भ में उत्पाद को व्यक्त करता है। दोहरा संस्करण शूर बहुपद के संदर्भ में व्यक्त करता है।

विशेषज्ञता

शूर बहुपद का मूल्यांकन sλ में (1, 1, ..., 1) आकार की अर्ध-मानक युवा झाँकी की संख्या λ में प्रविष्टियों के साथ 1, 2, ..., n देता है।

उदाहरण के लिए, वेइल वर्ण सूत्र का उपयोग करके

इस सूत्र में, λ, यंग डायग्राम की प्रत्येक पंक्ति की चौड़ाई को इंगित करने वाला टपल, शून्य के साथ तब तक विस्तारित होता है जब तक कि इसकी लंबाई n न हो। λi तत्वों का योग d है। हुक लंबाई सूत्र भी देखें जो निश्चित λ के लिए समान मात्रा की गणना करता है।

उदाहरण

निम्नलिखित विस्तारित उदाहरण से इन विचारों को स्पष्ट करने में मदद मिलेगी। स्थिति n = 3, d = 4 पर विचार करें। फेरर्स आरेखों या किसी अन्य विधि का उपयोग करके, हम पाते हैं कि अधिकतम तीन भागों में 4 के केवल चार विभाजन हैं। अपने पास

और इतने पर, जहाँ वैंडरमोंड निर्धारक है। संक्षेप:

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

स्पष्ट रूप से एक सममित बहुपद है जो घात चार का सजातीय है, और हमारे पास है


प्रतिनिधित्व सिद्धांत से संबंध

शूर बहुपद सममित समूहों, सामान्य रैखिक समूहों और एकात्मक समूहों के प्रतिनिधित्व सिद्धांत में पाए जाते हैं। वेइल चरित्र सूत्र का अर्थ है कि शूर बहुपद सामान्य रैखिक समूहों के परिमित-आयामी अलघुकरणीय प्रतिनिधित्व के वर्ण हैं, और शूर के काम को अन्य सघन और अर्धसूत्रीय झूठ समूहों में सामान्य बनाने में मदद करता है।

इस संबंध के लिए कई अभिव्यक्तियाँ उत्पन्न होती हैं, सममित शक्ति कार्यों के संदर्भ में जिनमें से एक सबसे महत्वपूर्ण शूर कार्यों sλ का विस्तार है। अगर हम χλ
ρ
लिखते हैं विभाजन λ द्वारा अनुक्रमित सममित समूह के प्रतिनिधित्व के चरित्र के लिए विभाजन ρ द्वारा अनुक्रमित चक्र प्रकार के तत्वों पर मूल्यांकन किया गया, फिर

जहां ρ = (1r1, 2r2, 3r3, ...) इसका अर्थ है कि विभाजन ρ में लंबाई k के rk भाग हैं।

इसका एक प्रमाण R. स्टेनली के गणनासूचक साहचर्य खंड 2, कोरोलरी 7.17.5 में पाया जा सकता है।

पूर्णांक χλ
ρ
मुर्नाघन-नाकायमा नियम का उपयोग करके गणना की जा सकती है।

शूर सकारात्मकता

प्रतिनिधित्व सिद्धांत के साथ संबंध के कारण, एक सममित कार्य जो शूर कार्यों में सकारात्मक रूप से फैलता है, विशेष रुचि के होते हैं। उदाहरण के लिए, तिर्यक् शूर कार्य सामान्य शूर कार्यों में सकारात्मक रूप से विस्तारित होता है, और गुणांक लिटिलवुड-रिचर्डसन गुणांक हैं।

इसकी एक विशेष स्तिथि शूर कार्यों में पूर्ण सजातीय सममित कार्य hλ का विस्तार है ।

यह अपघटन दर्शाता है कि कैसे एक क्रमचय इकाई अप्रासंगिक अभ्यावेदन में विघटित हो जाता है।

शुर सकारात्मकता सिद्ध करने की विधियाँ

किसी दिए गए सममित फलन F की शूर सकारात्मकता साबित करने के लिए कई दृष्टिकोण हैं। यदि F को संयोजन तरीके से वर्णित किया गया है, तो अर्ध-मानक युवा झांकी के साथ एक आक्षेप का उत्पादन करने के लिए एक सीधा दृष्टिकोण है।एडेलमैन-ग्रीन पत्राचार और रॉबिन्सन-शेंस्टेड-नुथ पत्राचार ऐसे पूर्वाग्रहों के उदाहरण हैं।

अधिक संरचना वाला एक आक्षेप तथाकथित स्फटिक आधार का उपयोग करके एक प्रमाण है। इस पद्धति को अंतर्निहित संयोजी वस्तुओं पर स्थानीय नियमों के साथ वर्णित एक निश्चित ग्राफ संरचना को परिभाषित करने के रूप में वर्णित किया जा सकता है।

इसी तरह का विचार द्वैत तुल्यता की धारणा है। यह दृष्टिकोण मूलभूत क्वासिमेट्रिक आधार में विस्तार का प्रतिनिधित्व करने वाली वस्तुओं पर एक लेखाचित्र संरचना का भी उपयोग करता है। यह आरएसके-पत्राचार से निकटता से संबंधित है।

सामान्यीकरण

तिर्यक् शूर कार्य

तिर्यक् शूर λ/μ दो विभाजन λ और μ पर निर्भर करता है, और निम्न विशेषता द्वारा परिभाषित किया जा सकता है

यहां, आंतरिक उत्पाद हॉल आंतरिक उत्पाद है, जिसके लिए शूर बहुपद एक प्रसामान्य लांबिक आधार बनाते हैं।

साधारण शूर बहुपदों के समान, इनकी गणना करने के कई तरीके हैं। संबंधित जैकोबी-ट्रुडी सर्वसमिका हैं

तिर्यक् शूर बहुपदों की एक मिश्रित व्याख्या भी है, अर्थात् यह तिरछी आकृति के सभी अर्ध-मानक युवा झांकी (या स्तंभ-सख्त झांकी) का योग है

तिर्यक् शूर बहुपद शूर बहुपद में सकारात्मक रूप से फैलता है। गुणांक के लिए एक नियम लिटिलवुड-रिचर्डसन नियम द्वारा दिया गया है।

युग्म शूर बहुपद

युग्म शूर बहुपद[3] स्थानांतरित शूर बहुपदों के सामान्यीकरण के रूप में देखा जा सकता है। ये बहुपद भी क्रमगुणित शूर बहुपदों से निकटता से संबंधित हैं। एक विभाजन λ दिया, और एक क्रम a1, a2,… कोई दोहरे शूर बहुपद sλ(x || a) को परिभाषित कर सकता है, जैसे

जहां योग λ आकार के सभी उल्टे अर्ध-मानक नवोदित टेबलऑक्स T पर लिया जाता है, और पूर्णांक प्रविष्टियाँ में 1, …, n। यहाँ T(α) बॉक्स α में T के मान को दर्शाता है और c(α) बॉक्स की सामग्री है।

लिटिलवुड-रिचर्डसन गुणांक (अनुक्रम a के आधार पर) के लिए एक संयोजी नियम एआई मोलेव द्वारा दिया गया था।[3] विशेष रूप से, इसका तात्पर्य है कि स्थानान्तरित किए गए शूर बहुपदों में गैर-नकारात्मक लिटलवुड-रिचर्डसन गुणांक हैं।

स्थानांतरित शूर बहुपद s*λ(y) ai = −i और yi = xi + i विशेषज्ञता द्वारा युग्म शूर बहुपद से प्राप्त किया जा सकता है।

युग्म शूर बहुपद दोहरे शुबर्ट बहुपद की विशेष स्तिथि है।

क्रमगुणित शूर बहुपद

क्रमगुणित शूर बहुपदों को निम्नानुसार परिभाषित किया जा सकता है। एक विभाजन λ दिया गया है, और एक दोगुना अनंत अनुक्रम …,a−1, a0, a1, … कोई क्रमगुणित शूर बहुपद sλ(x|a) को निम्न रूप में परिभाषित कर सकता है

जहां आकार λ, और पूर्णांक प्रविष्टियों के सभी अर्ध-मानक युवा टेबलॉक्स T पर योग 1, …, n लिया जाता है। यहाँ T(α) बॉक्स α में T के मान को दर्शाता है और c(α) बॉक्स की सामग्री है।

एक निर्धारक सूत्र निम्न भी है,

जहाँ (y|a)k = (ya1) ... (yak) यह स्पष्ट है कि यदि हम सभी i के लिए a = 0 दें, तो हम सामान्य शूर बहुपद sλ को पुनः प्राप्त कर सकते हैं।

n परिवर्त्य में युग्म शूर बहुपद और क्रमगुणित शूर बहुपद सर्वसमिका sλ(x||a) = sλ(x|u) के माध्यम से संबंधित हैं, जहाँ ani+1 = ui

अन्य सामान्यीकरण

शूर बहुपदों के कई सामान्यीकरण हैं:

  • हॉल-लिटिलवुड बहुपद
  • स्थानांतरित शूर बहुपद
  • ध्वजांकित शूर बहुपद
  • शुबर्ट बहुपद
  • स्टेनली सममित कार्य (स्थिर शुबर्ट बहुपद के रूप में भी जाना जाता है)
  • प्रमुख बहुपद (जिन्हें डीमाज़ूर वर्णों के रूप में भी जाना जाता है)
  • अर्ध-सममित शूर बहुपद
  • पंक्ति-सख्त शूर बहुपद
  • जैक बहुपद
  • इकाईर शूर बहुपद
  • लूप शूर कार्य करता है
  • मैकडोनाल्ड बहुपद
  • संसुघटित और आयतीय समूह के लिए शूर बहुपद।
  • के-शूर कार्य करता है
  • ग्रोथेंडिक बहुपद (के-सिद्धांत| शूर बहुपदों का के-सैद्धांतिक अनुरूप)
  • एलएलटी बहुपद

यह भी देखें

  • मैं काम कर रहा हूं
  • लिटिलवुड-रिचर्डसन नियम, जहां शूर बहुपदों से जुड़ी कुछ सर्वसमिकाएं मिलती हैं।

संदर्भ

  • Macdonald, I. G. (1995). Symmetric functions and Hall polynomials. Oxford Mathematical Monographs (2nd ed.). Oxford University Press. ISBN 978-0-19-853489-1. MR 1354144.
  • Sagan, Bruce E. (2001) [1994], "Schur functions in algebraic combinatorics", Encyclopedia of Mathematics, EMS Press
  • Sturmfels, Bernd (1993). Algorithms in Invariant Theory. Springer. ISBN 978-0-387-82445-1.
  • Fulton, William; Harris, Joe (1991). Representation theory. A first course. Graduate Texts in Mathematics, Readings in Mathematics (in British English). Vol. 129. New York: Springer-Verlag. doi:10.1007/978-1-4612-0979-9. ISBN 978-0-387-97495-8. MR 1153249. OCLC 246650103.
  1. Fulton & Harris 1991, Formula A.5
  2. Fulton & Harris 1991, Formula A.6
  3. 3.0 3.1 Molev, A.I. (June 2009). "Littlewood–Richardson polynomials". Journal of Algebra. 321 (11): 3450–68. arXiv:0704.0065. doi:10.1016/j.jalgebra.2008.02.034.