शूर बहुपद: Difference between revisions
(Created page with "{{redirect|S-polynomial|the polynomials used in computing Gröbner bases|Gröbner basis#S-polynomial}} गणित में, शूर बहुपद, जिसका न...") |
No edit summary |
||
(7 intermediate revisions by 4 users not shown) | |||
Line 1: | Line 1: | ||
गणित में, शूर बहुपद, जिसका नाम [[कुछ नहीं|ईसाई स्कूर]] के नाम पर रखा गया है, ''n'' चरों में कुछ [[सममित बहुपद]] हैं, जो [[पूर्णांक विभाजन|पूर्णांक विभाजनों]] द्वारा अनुक्रमित हैं, जो [[प्राथमिक सममित बहुपद|प्राथमिक सममित]] बहुपदों और [[पूर्ण सजातीय सममित बहुपद|पूर्ण सजातीय सममित]] बहुपदों का सामान्यीकरण करते हैं। [[प्रतिनिधित्व सिद्धांत]] में वे सामान्य रेखीय समूहों के बहुपद अलघुकरणीय अभ्यावेदन के पात्र हैं। शूर बहुपद सभी सममित बहुपदों के स्थान के लिए एक [[आधार (रैखिक बीजगणित)]] बनाते हैं। शूर बहुपदों के किसी भी गुणनफल को शूर बहुपदों के रैखिक संयोजन के रूप में गैर-ऋणात्मक समाकल गुणांकों के साथ लिखा जा सकता है; इन गुणांकों के मूल्यों को लिटिलवुड-रिचर्डसन नियम द्वारा संयुक्त रूप से दिया गया है। अधिक सामान्यतः, स्कू शूर बहुपद विभाजन के जोड़े से जुड़े होते हैं और शूर बहुपदों के समान गुण होते हैं। | |||
गणित में, शूर बहुपद, जिसका नाम [[कुछ नहीं]] के नाम पर रखा गया है, ''n'' चरों में कुछ [[सममित बहुपद]] हैं, जो [[पूर्णांक विभाजन]] | |||
== परिभाषा (जैकोबी का द्विवार्षिक सूत्र) == | == परिभाषा (जैकोबी का द्विवार्षिक सूत्र) == | ||
शूर बहुपदों को पूर्णांक विभाजनों द्वारा अनुक्रमित किया जाता है। एक विभाजन | शूर बहुपदों को पूर्णांक विभाजनों द्वारा अनुक्रमित किया जाता है। एक विभाजन {{math|''λ'' {{=}} (''λ''<sub>1</sub>, ''λ''<sub>2</sub>, …,''λ''<sub>''n''</sub>)}} दिया गया, जहाँ {{math|''λ''<sub>1</sub> ≥ ''λ''<sub>2</sub> ≥ … ≥ ''λ''<sub>''n''</sub>}}, और प्रत्येक {{math|''λ''<sub>''j''</sub>}} एक गैर-नकारात्मक पूर्णांक है, निम्न कार्य करता है | ||
<math display=block> a_{(\lambda_1+n-1, \lambda_2+n-2, \dots , \lambda_n)} (x_1, x_2, \dots , x_n) = | <math display=block> a_{(\lambda_1+n-1, \lambda_2+n-2, \dots , \lambda_n)} (x_1, x_2, \dots , x_n) = | ||
\det \left[ \begin{matrix} x_1^{\lambda_1+n-1} & x_2^{\lambda_1+n-1} & \dots & x_n^{\lambda_1+n-1} \\ | \det \left[ \begin{matrix} x_1^{\lambda_1+n-1} & x_2^{\lambda_1+n-1} & \dots & x_n^{\lambda_1+n-1} \\ | ||
Line 12: | Line 10: | ||
x_1^{\lambda_n} & x_2^{\lambda_n} & \dots & x_n^{\lambda_n} \end{matrix} \right] | x_1^{\lambda_n} & x_2^{\lambda_n} & \dots & x_n^{\lambda_n} \end{matrix} \right] | ||
</math> | </math> | ||
निर्धारक के गुणों द्वारा बहुपदों को वैकल्पिक कर रहे हैं। एक बहुपद वैकल्पिक है यदि यह चर के किसी भी [[स्थानान्तरण (गणित)]] के तहत संकेत बदलता है। | निर्धारक के गुणों द्वारा बहुपदों को वैकल्पिक कर रहे हैं। एक बहुपद वैकल्पिक है यदि यह चर के किसी भी [[स्थानान्तरण (गणित)|विपर्यय (गणित)]] के तहत संकेत बदलता है। | ||
चूंकि वे वैकल्पिक हैं, वे सभी [[वांडरमोंडे निर्धारक]] द्वारा विभाज्य हैं | चूंकि वे वैकल्पिक हैं, वे सभी [[वांडरमोंडे निर्धारक]] द्वारा विभाज्य हैं | ||
Line 24: | Line 22: | ||
\frac{ a_{(\lambda_1+n-1, \lambda_2+n-2, \dots , \lambda_n+0)} (x_1, x_2, \dots , x_n)} | \frac{ a_{(\lambda_1+n-1, \lambda_2+n-2, \dots , \lambda_n+0)} (x_1, x_2, \dots , x_n)} | ||
{a_{(n-1, n-2, \dots , 0)} (x_1, x_2, \dots , x_n) }. </math> | {a_{(n-1, n-2, \dots , 0)} (x_1, x_2, \dots , x_n) }. </math> | ||
इसे जैकोबी के द्विअर्थी सूत्र के रूप में जाना जाता है। यह [[वेइल वर्ण सूत्र]] | इसे जैकोबी के द्विअर्थी सूत्र के रूप में जाना जाता है। यह [[वेइल वर्ण सूत्र]] की एक विशेष स्तिथि है। | ||
यह एक सममित कार्य है क्योंकि अंश और भाजक दोनों वैकल्पिक हैं, और एक बहुपद है क्योंकि सभी वैकल्पिक बहुपद वैंडरमोंड निर्धारक द्वारा विभाज्य हैं। | यह एक सममित कार्य है क्योंकि अंश और भाजक दोनों वैकल्पिक हैं, और एक बहुपद है क्योंकि सभी वैकल्पिक बहुपद वैंडरमोंड निर्धारक द्वारा विभाज्य हैं। | ||
Line 30: | Line 28: | ||
== गुण == | == गुण == | ||
श्रेणी {{math|''d''}} शूर बहुपद में {{math|''n''}} चर सजातीय | श्रेणी {{math|''d''}} शूर बहुपद में {{math|''n''}} चर सजातीय घात {{math|''d''}} के स्थान के लिए सममित बहुपद {{math|''n''}} चर एक रेखीय आधार हैं। एक विभाजन {{math|''λ'' {{=}} (''λ''<sub>1</sub>, ''λ''<sub>2</sub>, ..., ''λ''<sub>''n''</sub>)}} के लिए, शूर बहुपद एकपदी का योग निम्न है, | ||
एक विभाजन | |||
:<math> s_\lambda(x_1,x_2,\ldots,x_n)=\sum_T x^T = \sum_T x_1^{t_1}\cdots x_n^{t_n} </math> | :<math> s_\lambda(x_1,x_2,\ldots,x_n)=\sum_T x^T = \sum_T x_1^{t_1}\cdots x_n^{t_n} </math> | ||
जहां योग सभी अर्धमानक | जहां योग सभी अर्धमानक नवोदित टेबलॉक्स पर {{math|''T''}} का आकार {{math|''λ''}} है। प्रतिपादक {{math|''t''<sub>1</sub>, ..., ''t''<sub>''n''</sub>}} {{math|''T''}} का भार देता है, दूसरे शब्दों में प्रत्येक {{math|''t''<sub>''i''</sub>}} संख्या की घटनाओं की गणना {{math|''i''}} में {{math|''T''}} करता है। यह लिंडस्ट्रॉम-गेसेल-वियनॉट लेम्मा (जैसा कि उस पृष्ठ पर उल्लिखित है) का उपयोग करके पहले गियाम्बेली सूत्र की परिभाषा के बराबर दिखाया जा सकता है। | ||
शूर बहुपदों को सममित बहुपद | शूर बहुपदों को एकपद सममित बहुपद {{math|''m''<sub>μ</sub>}} के रैखिक संयोजनों के रूप में व्यक्त किया जा सकता है, गैर-नकारात्मक पूर्णांक गुणांक {{math|''K''<sub>''λμ''</sub>}} के साथ निम्न [[संख्या घन]] कहा जाता है, | ||
: <math>s_\lambda= \sum_\mu K_{\lambda\mu}m_\mu.\ </math> | : <math>s_\lambda= \sum_\mu K_{\lambda\mu}m_\mu.\ </math> | ||
कोस्तका | कोस्तका संख्या {{math|''K''<sub>''λμ''</sub>}} आकार λ और वजन μ के अर्ध-मानक नवोदित टेबलॉक्स की संख्या द्वारा दिए गए हैं। | ||
=== जैकोबी-ट्रुडी | === जैकोबी-ट्रुडी सर्वसमिका === | ||
पहला जैकोबी-ट्रूडी सूत्र शूर बहुपद को एक निर्धारक के रूप में व्यक्त करता है | पहला जैकोबी-ट्रूडी सूत्र शूर बहुपद को पूर्ण सजातीय सममित बहुपदों के संदर्भ में एक निर्धारक के रूप में व्यक्त करता है, | ||
:<math> s_{\lambda} = \det(h_{\lambda_{i} + j - i})_{i,j = 1}^{l(\lambda)} = | :<math> s_{\lambda} = \det(h_{\lambda_{i} + j - i})_{i,j = 1}^{l(\lambda)} = | ||
Line 50: | Line 46: | ||
\vdots & \vdots & \ddots & \vdots \\ | \vdots & \vdots & \ddots & \vdots \\ | ||
h_{\lambda_n-n+1} & h_{\lambda_n-n+2} & \dots & h_{\lambda_n} \end{matrix} \right],</math> | h_{\lambda_n-n+1} & h_{\lambda_n-n+2} & \dots & h_{\lambda_n} \end{matrix} \right],</math> | ||
जहाँ {{math|''h''<sub>''i''</sub> :{{=}} ''s''<sub>(''i'')</sub>}}.<ref>{{harvnb|Fulton|Harris|1991|loc=Formula A.5}}</ref> | |||
दूसरा जैकोबी-ट्रुडी सूत्र शूर बहुपद को | |||
प्रारंभिक सममित बहुपदों के संदर्भ में एक निर्धारक, | दूसरा जैकोबी-ट्रुडी सूत्र शूर बहुपद को प्रारंभिक सममित बहुपदों के संदर्भ में एक निर्धारक के रूप में व्यक्त करता है, | ||
:<math> s_{\lambda} = \det(e_{\lambda'_{i} + j - i})_{i,j = 1}^{l(\lambda')} = | :<math> s_{\lambda} = \det(e_{\lambda'_{i} + j - i})_{i,j = 1}^{l(\lambda')} = | ||
Line 59: | Line 55: | ||
\vdots & \vdots & \ddots & \vdots \\ | \vdots & \vdots & \ddots & \vdots \\ | ||
e_{\lambda'_l-l+1} & e_{\lambda'_l-l+2} & \dots & e_{\lambda'_l} \end{matrix} \right],</math> | e_{\lambda'_l-l+1} & e_{\lambda'_l-l+2} & \dots & e_{\lambda'_l} \end{matrix} \right],</math> | ||
जहाँ {{math|''e''<sub>''i''</sub> :{{=}} ''s''<sub>(1<sup>''i''</sup>)</sub>}} और {{math|''λ<nowiki>'</nowiki>''}} {{math|''λ''}} के संयुग्मी विभाजन है। <ref>{{harvnb|Fulton|Harris|1991|loc=Formula A.6}}</ref> | |||
और {{math|''λ<nowiki>'</nowiki>''}} | |||
दोनों सर्वसमिकाओं में, नकारात्मक पादांक वाले कार्यों को शून्य के रूप में परिभाषित किया गया है। | |||
एक अन्य निर्धारक | === गियाम्बेली सर्वसमिका === | ||
एक अन्य निर्धारक सर्वसमिका गियाम्बेली का सूत्र है, जो नवोदित आरेख के भीतर निहित हुक विभाजनों के संदर्भ में मनमाने ढंग से विभाजन के लिए शूर फलन को व्यक्त करता है। फ्रोबेनियस के अंकन में, विभाजन को निरूपित किया गया है | |||
:<math> (a_1, \ldots, a_r\mid b_1, \ldots, b_r)</math> | :<math> (a_1, \ldots, a_r\mid b_1, \ldots, b_r)</math> | ||
जहां, स्थिति में प्रत्येक विकर्ण तत्व के लिए {{math|''ii''}}, {{math|''a''<sub>''i''</sub>}} एक ही पंक्ति में दाईं ओर बक्सों की संख्या को दर्शाता है और {{math|''b''<sub>''i''</sub>}} एक ही | जहां, स्थिति में प्रत्येक विकर्ण तत्व के लिए {{math|''ii''}}, {{math|''a''<sub>''i''</sub>}} एक ही पंक्ति में दाईं ओर बक्सों की संख्या को दर्शाता है और {{math|''b''<sub>''i''</sub>}} एक ही पंक्ति (क्रमशः हाथ और पैर की लंबाई) में इसके नीचे के बक्सों की संख्या को दर्शाता है। | ||
'गियाम्बेली | 'गियाम्बेली सर्वसमिका' निर्धारक के रूप में इस विभाजन के अनुरूप शूर फलन को व्यक्त करता है | ||
:<math> s_{ (a_1, \ldots, a_r\mid b_1, \ldots, b_r)} = \det ( s_{(a_i \mid b_j)}) </math> | :<math> s_{ (a_1, \ldots, a_r\mid b_1, \ldots, b_r)} = \det ( s_{(a_i \mid b_j)}) </math> | ||
उनमें से हुक विभाजन के | उनमें से हुक विभाजन के लिए व्यक्त करता है। | ||
=== कॉची | === कॉची सर्वसमिका === | ||
शूर कार्यों के लिए कॉची | शूर कार्यों के लिए कॉची सर्वसमिका (अब असीम रूप से कई चर में), और इसकी दोहरी स्थिति निम्न है | ||
:<math>\sum_\lambda s_\lambda(x) s_{\lambda}(y) = \sum_\lambda m_\lambda(x) h_{\lambda}(y)= \prod_{i,j} (1-x_i y_j)^{-1},</math> | :<math>\sum_\lambda s_\lambda(x) s_{\lambda}(y) = \sum_\lambda m_\lambda(x) h_{\lambda}(y)= \prod_{i,j} (1-x_i y_j)^{-1},</math> | ||
और | और | ||
:<math>\sum_\lambda s_\lambda(x) s_{\lambda'}(y) = \sum_\lambda m_\lambda(x) e_{\lambda}(y) = \prod_{i,j} (1+x_i y_j),</math> | :<math>\sum_\lambda s_\lambda(x) s_{\lambda'}(y) = \sum_\lambda m_\lambda(x) e_{\lambda}(y) = \prod_{i,j} (1+x_i y_j),</math> | ||
जहां सभी विभाजन λ पर योग लिया जाता है, और <math>h_{\lambda}(x)</math>, <math>e_{\lambda}(x)</math> क्रमशः पूर्ण सममित कार्यों और प्राथमिक सममित कार्यों को निरूपित | जहां सभी विभाजन λ पर योग लिया जाता है, और <math>h_{\lambda}(x)</math>, <math>e_{\lambda}(x)</math> क्रमशः पूर्ण सममित कार्यों और प्राथमिक सममित कार्यों को निरूपित करता है। यदि शूर बहुपदों के उत्पादों पर <math>n</math> चर <math>(x_1, \dots, x_n)</math>योग लिया जाता है, योग में केवल लंबाई <math> \ell(\lambda) \le n </math> के विभाजन सम्मिलित हैं अन्यथा शूर बहुपद लुप्त हो जाते हैं। | ||
सममित कार्यों के अन्य परिवारों के लिए इन | सममित कार्यों के अन्य परिवारों के लिए इन सर्वसमिका के कई सामान्यीकरण हैं। उदाहरण के लिए, मैकडोनाल्ड बहुपद, शुबर्ट बहुपद और ग्रोथेंडिक बहुपद कॉची जैसी सर्वसमिका स्वीकार करते हैं। | ||
उदाहरण के लिए, मैकडोनाल्ड बहुपद, शुबर्ट बहुपद और ग्रोथेंडिक बहुपद कॉची जैसी सर्वसमिका स्वीकार करते हैं। | |||
=== आगे की | === आगे की सर्वसमिका === | ||
शूर बहुपद की गणना हॉल-लिटिलवुड बहुपद के लिए सूत्र की विशेषज्ञता के माध्यम से भी की जा सकती है, | शूर बहुपद की गणना हॉल-लिटिलवुड बहुपद के लिए सूत्र की विशेषज्ञता के माध्यम से भी की जा सकती है, | ||
Line 90: | Line 85: | ||
:<math> s_{\lambda}(x_1,\dotsc,x_n) = \sum_{w \in S_n / S^{\lambda}_n} w\left( x^\lambda \prod_{\lambda_i > \lambda_j} | :<math> s_{\lambda}(x_1,\dotsc,x_n) = \sum_{w \in S_n / S^{\lambda}_n} w\left( x^\lambda \prod_{\lambda_i > \lambda_j} | ||
\frac{x_i}{x_i-x_j} \right)</math> | \frac{x_i}{x_i-x_j} \right)</math> | ||
जहाँ <math>S^{\lambda}_n</math> क्रमपरिवर्तन का उपसमूह है जैसे कि सभी i के लिए <math>\lambda_{w(i)}=\lambda_i</math> और w सूचकांकों की अनुमति देकर चर पर कार्य करता है। | |||
=== | === मर्नाघन-नाकायमा नियम === | ||
मर्नाघन-नाकायामा नियम शूर बहुपद के संदर्भ में एक शूर बहुपद के साथ | मर्नाघन-नाकायामा नियम शूर बहुपद के संदर्भ में एक शूर बहुपद के साथ शक्ति-योग सममित फलन का एक उत्पाद व्यक्त करता है: | ||
:<math>p_r \cdot s_\lambda = \sum_{\mu} (-1)^{ht(\mu/\lambda)+1}s_\mu</math> | :<math>p_r \cdot s_\lambda = \sum_{\mu} (-1)^{ht(\mu/\lambda)+1}s_\mu</math> | ||
Line 102: | Line 96: | ||
=== लिटिलवुड-रिचर्डसन नियम और पियरी का सूत्र === | === लिटिलवुड-रिचर्डसन नियम और पियरी का सूत्र === | ||
लिटिलवुड-रिचर्डसन गुणांक तीन पूर्णांक विभाजनों पर निर्भर करते हैं, मान लीजिये <math>\lambda,\mu,\nu</math>, है जिसका कि <math>\lambda</math> और <math>\mu</math> गुणा किए जा रहे शूर कार्यों का वर्णन करता है, और <math>\nu</math> शूर फलन देता है जिसका यह रैखिक संयोजन में गुणांक है; दूसरे शब्दों में वे गुणांक <math>c_{\lambda,\mu}^\nu</math> हैं, यह इस प्रकार है कि | |||
:<math>s_\lambda s_\mu=\sum_\nu c_{\lambda,\mu}^\nu s_\nu.</math> | :<math>s_\lambda s_\mu=\sum_\nu c_{\lambda,\mu}^\nu s_\nu.</math> | ||
लिटिलवुड-रिचर्डसन नियम कहता है कि <math>c_{\lambda,\mu}^\nu</math> [[तिरछी झांकी]] की लिटिलवुड-रिचर्डसन | लिटिलवुड-रिचर्डसन नियम कहता है कि <math>c_{\lambda,\mu}^\nu</math> [[तिरछी झांकी|तिर्यक् आकार]] की लिटिलवुड-रिचर्डसन टेबलॉक्स की संख्या <math>\nu/\lambda</math> और वजन का <math>\mu</math> के बराबर है। | ||
पियरी का सूत्र लिटिलवुड-रिचर्डसन नियम | पियरी का सूत्र लिटिलवुड-रिचर्डसन नियम की एक विशेष स्तिथि है, जो शूर बहुपदों के संदर्भ में उत्पाद <math>h_r s_{\lambda}</math> को व्यक्त करता है। दोहरा संस्करण शूर बहुपद <math>e_r s_{\lambda}</math> के संदर्भ में व्यक्त करता है। | ||
=== विशेषज्ञता === | === विशेषज्ञता === | ||
शूर बहुपद का मूल्यांकन {{math|''s''<sub>''λ''</sub>}} में {{math|(1, 1, ..., 1)}} आकार की अर्ध-मानक | शूर बहुपद का मूल्यांकन {{math|''s''<sub>''λ''</sub>}} में {{math|(1, 1, ..., 1)}} आकार की अर्ध-मानक नवोदित टेबलॉक्स की संख्या {{math|''λ''}} में प्रविष्टियों के साथ {{math|1, 2, ..., ''n''}} देता है। | ||
<math display=block>s_\lambda(1,1,\dots,1) = \prod_{1\leq i < j \leq n} \frac{\lambda_i - \lambda_j + j-i}{j-i}.</math> | उदाहरण के लिए, वेइल वर्ण सूत्र का उपयोग करके निम्न प्राप्त होता है | ||
इस सूत्र में, {{math|''λ''}}, यंग | <math display="block">s_\lambda(1,1,\dots,1) = \prod_{1\leq i < j \leq n} \frac{\lambda_i - \lambda_j + j-i}{j-i}.</math> | ||
[[हुक लंबाई सूत्र]] भी देखें जो निश्चित λ के लिए समान मात्रा की गणना करता है। | इस सूत्र में, {{math|''λ''}}, यंग रेखाकृति की प्रत्येक पंक्ति की चौड़ाई को इंगित करने वाला टपल, शून्य के साथ तब तक विस्तारित होता है जब तक कि इसकी लंबाई {{math|''n''}} नहीं हो जाती है। {{math|''λ''<sub>''i''</sub>}} तत्वों का योग {{math|''d''}} है। [[हुक लंबाई सूत्र]] भी देखें जो निश्चित λ के लिए समान मात्रा की गणना करता है। | ||
== उदाहरण == | == उदाहरण == | ||
निम्नलिखित विस्तारित उदाहरण से इन विचारों को स्पष्ट करने में | निम्नलिखित विस्तारित उदाहरण से इन विचारों को स्पष्ट करने में सहायता मिलेगी। स्थिति n = 3, d = 4 पर विचार करें। फेरर्स आरेखों या किसी अन्य विधि का उपयोग करके, हम पाते हैं कि अधिकतम तीन भागों में 4 के केवल चार विभाजन हैं। अपने पास | ||
:<math> s_{(2,1,1)} (x_1, x_2, x_3) = \frac{1}{\Delta} \; | :<math> s_{(2,1,1)} (x_1, x_2, x_3) = \frac{1}{\Delta} \; | ||
Line 126: | Line 120: | ||
\right]= x_1^2 \, x_2^2 + x_1^2 \, x_3^2 + x_2^2 \, x_3^2 | \right]= x_1^2 \, x_2^2 + x_1^2 \, x_3^2 + x_2^2 \, x_3^2 | ||
+ x_1^2 \, x_2 \, x_3 + x_1 \, x_2^2 \, x_3 + x_1 \, x_2 \, x_3^2 </math> | + x_1^2 \, x_2 \, x_3 + x_1 \, x_2^2 \, x_3 + x_1 \, x_2 \, x_3^2 </math> | ||
और इतने पर, | और इतने पर, जहाँ <math> \Delta </math> वैंडरमोंड निर्धारक <math> a_{(2,1,0)}(x_1,x_2,x_3) </math> है। संक्षेप: | ||
#<math> s_{(2,1,1)} = e_1 \, e_3</math> | #<math> s_{(2,1,1)} = e_1 \, e_3</math> | ||
Line 132: | Line 126: | ||
#<math> s_{(3,1,0)} = e_1^2 \, e_2 - e_2^2 - e_1 \, e_3</math> | #<math> s_{(3,1,0)} = e_1^2 \, e_2 - e_2^2 - e_1 \, e_3</math> | ||
#<math> s_{(4,0,0)} = e_1^4 - 3 \, e_1^2 \, e_2 + 2 \, e_1 \, e_3 + e_2^2.</math> | #<math> s_{(4,0,0)} = e_1^4 - 3 \, e_1^2 \, e_2 + 2 \, e_1 \, e_3 + e_2^2.</math> | ||
प्रत्येक सजातीय | प्रत्येक सजातीय घात-तीन चर में चार सममित बहुपद इन चार शूर बहुपदों के एक अद्वितीय रैखिक संयोजन के रूप में व्यक्त किए जा सकते हैं, और इस संयोजन को एक उचित उन्मूलन क्रम के लिए ग्रोबनेर आधार का उपयोग करके फिर से पाया जा सकता है। उदाहरण के लिए, | ||
:<math>\phi(x_1, x_2, x_3) = x_1^4 + x_2^4 + x_3^4</math> | :<math>\phi(x_1, x_2, x_3) = x_1^4 + x_2^4 + x_3^4</math> | ||
स्पष्ट रूप से एक सममित बहुपद है जो | स्पष्ट रूप से एक सममित बहुपद है जो घात चार का सजातीय है, और हमारे पास है | ||
:<math>\phi = s_{(2,1,1)} - s_{(3,1,0)} + s_{(4,0,0)}.\,\!</math> | :<math>\phi = s_{(2,1,1)} - s_{(3,1,0)} + s_{(4,0,0)}.\,\!</math> | ||
Line 142: | Line 136: | ||
== प्रतिनिधित्व सिद्धांत से संबंध == | == प्रतिनिधित्व सिद्धांत से संबंध == | ||
शूर बहुपद सममित समूहों, सामान्य रैखिक समूहों और [[एकात्मक समूह]]ों के प्रतिनिधित्व सिद्धांत में पाए जाते हैं। वेइल चरित्र सूत्र का अर्थ है कि शूर बहुपद सामान्य रैखिक समूहों के परिमित-आयामी | शूर बहुपद सममित समूहों, सामान्य रैखिक समूहों और [[एकात्मक समूह]]ों के प्रतिनिधित्व सिद्धांत में पाए जाते हैं। वेइल चरित्र सूत्र का अर्थ है कि शूर बहुपद सामान्य रैखिक समूहों के परिमित-आयामी अलघुकरणीय प्रतिनिधित्व के वर्ण हैं, और शूर के काम को अन्य सघन और अर्धसूत्रीय [[झूठ समूह|लाइ समूह]] में सामान्य बनाने में सहायता करता है। | ||
इस संबंध के लिए कई अभिव्यक्तियाँ उत्पन्न होती हैं, जिनमें से एक सबसे महत्वपूर्ण शूर कार्यों | इस संबंध के लिए कई अभिव्यक्तियाँ उत्पन्न होती हैं, सममित शक्ति कार्यों <math>p_k=\sum_i x_i^k</math> के संदर्भ में जिनमें से एक सबसे महत्वपूर्ण शूर कार्यों s<sub>λ</sub> का विस्तार है। अगर हम χ{{su|p=λ|b=ρ}} लिखते हैं विभाजन λ द्वारा अनुक्रमित सममित समूह के प्रतिनिधित्व के चरित्र के लिए विभाजन ρ द्वारा अनुक्रमित चक्र प्रकार के तत्वों पर मूल्यांकन किया गया, फिर | ||
:<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></ | जहां ρ = (1<sup>''r''<sub>1</sub></sup>, 2<sup>''r''<sub>2</sub></sup>, 3<sup>''r''<sub>3</sub></sup>, ...) इसका अर्थ है कि विभाजन ρ में लंबाई k के rk भाग हैं। | ||
इसका एक प्रमाण | इसका एक प्रमाण R. स्टेनली के गणनासूचक साहचर्य खंड 2, कोरोलरी 7.17.5 में पाया जा सकता है। | ||
पूर्णांक χ{{su|p=λ|b=ρ}} मुर्नाघन-नाकायमा नियम का उपयोग करके गणना की जा सकती है। | पूर्णांक χ{{su|p=λ|b=ρ}} मुर्नाघन-नाकायमा नियम का उपयोग करके गणना की जा सकती है। | ||
Line 154: | Line 148: | ||
== शूर सकारात्मकता == | == शूर सकारात्मकता == | ||
प्रतिनिधित्व सिद्धांत के साथ संबंध के कारण, एक सममित कार्य जो शूर कार्यों में सकारात्मक रूप से फैलता है, के होते | प्रतिनिधित्व सिद्धांत के साथ संबंध के कारण, एक सममित कार्य जो शूर कार्यों में सकारात्मक रूप से फैलता है, विशेष रुचि के होते हैं। उदाहरण के लिए, तिर्यक् शूर कार्य सामान्य शूर कार्यों में सकारात्मक रूप से विस्तारित होता है, और गुणांक लिटिलवुड-रिचर्डसन गुणांक हैं। | ||
और गुणांक लिटिलवुड-रिचर्डसन गुणांक हैं। | इसकी एक विशेष स्तिथि शूर कार्यों में पूर्ण सजातीय सममित कार्य h<sub>λ</sub> का विस्तार है । | ||
यह अपघटन दर्शाता है कि कैसे एक क्रमचय इकाई अप्रासंगिक अभ्यावेदन में विघटित हो जाता है। | |||
यह अपघटन दर्शाता है कि कैसे एक क्रमचय | |||
===शुर सकारात्मकता सिद्ध करने की विधियाँ=== | ===शुर सकारात्मकता सिद्ध करने की विधियाँ=== | ||
किसी दिए गए सममित | किसी दिए गए सममित फलन F की शूर सकारात्मकता साबित करने के लिए कई दृष्टिकोण हैं। यदि F को संयोजन तरीके से वर्णित किया गया है, तो अर्ध-मानक नवोदित टेबलॉक्स के साथ एक आक्षेप का उत्पादन करने के लिए एक सीधा दृष्टिकोण है।एडेलमैन-ग्रीन पत्राचार और रॉबिन्सन-शेंस्टेड-नुथ पत्राचार ऐसे पूर्वाग्रहों के उदाहरण हैं। | ||
यदि | |||
अधिक संरचना वाला एक आक्षेप तथाकथित | अधिक संरचना वाला एक आक्षेप तथाकथित स्फटिक आधार का उपयोग करके एक प्रमाण है। इस पद्धति को अंतर्निहित संयोजी वस्तुओं पर स्थानीय नियमों के साथ वर्णित एक निश्चित ग्राफ संरचना को परिभाषित करने के रूप में वर्णित किया जा सकता है। | ||
इसी तरह का विचार द्वैत तुल्यता की धारणा है। यह दृष्टिकोण | इसी तरह का विचार द्वैत तुल्यता की धारणा है। यह दृष्टिकोण मूलभूत क्वासिमेट्रिक आधार में विस्तार का प्रतिनिधित्व करने वाली वस्तुओं पर एक लेखाचित्र संरचना का भी उपयोग करता है। यह आरएसके-पत्राचार से निकटता से संबंधित है। | ||
== सामान्यीकरण == | == सामान्यीकरण == | ||
=== | === तिर्यक् शूर कार्य === | ||
तिर्यक् शूर <sub>λ/μ</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> है | |||
अर्थात् यह तिरछी आकृति के सभी अर्ध-मानक | |||
तिर्यक् शूर बहुपद शूर बहुपद में सकारात्मक रूप से फैलता है। गुणांक के लिए एक नियम [[लिटिलवुड-रिचर्डसन नियम]] द्वारा दिया गया है। | |||
[[लिटिलवुड-रिचर्डसन नियम]] द्वारा दिया | |||
=== | === युग्म शूर बहुपद === | ||
युग्म शूर बहुपद<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>,…}} कोई दोहरे शूर बहुपद {{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|''λ''}} आकार के सभी उल्टे अर्ध-मानक नवोदित टेबलऑक्स {{math|''T''}} पर लिया जाता है, और पूर्णांक प्रविष्टियाँ में {{math|1, …, ''n''}} पर लिया जाता है। यहाँ T(α) बॉक्स α में T के मान को दर्शाता है और c(α) बॉक्स की सामग्री है। | ||
में {{math|1, …, ''n''}} | |||
लिटिलवुड-रिचर्डसन गुणांक (अनुक्रम | लिटिलवुड-रिचर्डसन गुणांक (अनुक्रम a के आधार पर) के लिए एक संयोजी नियम एआई मोलेव द्वारा दिया गया था।<ref name="Molev2008.02" /> विशेष रूप से, इसका तात्पर्य है कि स्थानान्तरित किए गए शूर बहुपदों में गैर-नकारात्मक लिटलवुड-रिचर्डसन गुणांक हैं। | ||
स्थानांतरित शूर बहुपद {{math|''s''<sup>*</sup><sub>λ</sub>(''y'')}} | स्थानांतरित शूर बहुपद {{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'') को निम्न रूप में परिभाषित कर सकता है | |||
एक विभाजन λ दिया गया है, और एक दोगुना अनंत अनुक्रम …, | |||
कोई | |||
<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 | |||
एक निर्धारक सूत्र भी है, | एक निर्धारक सूत्र निम्न भी है, | ||
<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> | ||
जहाँ (''y''|''a'')<sup>''k''</sup> = (''y'' − ''a''<sub>1</sub>) ... (''y'' − ''a<sub>k</sub>'') यह स्पष्ट है कि यदि हम सभी i के लिए a = 0 दें, तो हम सामान्य शूर बहुपद sλ को पुनः प्राप्त कर सकते हैं। | |||
हम सामान्य शूर बहुपद | |||
n | n परिवर्त्य में युग्म शूर बहुपद और क्रमगुणित शूर बहुपद सर्वसमिका ''s''<sub>λ</sub>(''x''||''a'') = ''s''<sub>λ</sub>(''x''|''u'') के माध्यम से संबंधित हैं, जहाँ ''a<sub>n</sub>''<sub>−''i''+1</sub> = ''u<sub>i</sub>'' | ||
=== अन्य सामान्यीकरण === | === अन्य सामान्यीकरण === | ||
Line 233: | Line 212: | ||
* [[शुबर्ट बहुपद]] | * [[शुबर्ट बहुपद]] | ||
* स्टेनली सममित कार्य (स्थिर शुबर्ट बहुपद के रूप में भी जाना जाता है) | * स्टेनली सममित कार्य (स्थिर शुबर्ट बहुपद के रूप में भी जाना जाता है) | ||
* प्रमुख बहुपद (जिन्हें | * प्रमुख बहुपद (जिन्हें डीमाज़ूर वर्णों के रूप में भी जाना जाता है) | ||
* अर्ध-सममित शूर बहुपद | * अर्ध-सममित शूर बहुपद | ||
* पंक्ति- | * पंक्ति-कठोर शूर बहुपद | ||
* [[जैक बहुपद]] | * [[जैक बहुपद]] | ||
* | * इकाईर शूर बहुपद | ||
* लूप शूर कार्य करता है | * लूप शूर कार्य करता है | ||
* [[मैकडोनाल्ड बहुपद]] | * [[मैकडोनाल्ड बहुपद]] | ||
* | * संसुघटित और आयतीय समूह के लिए शूर बहुपद। | ||
* के-शूर कार्य करता है | * के-शूर कार्य करता है | ||
* ग्रोथेंडिक बहुपद (के-सिद्धांत| शूर बहुपदों का के-सैद्धांतिक अनुरूप) | * ग्रोथेंडिक बहुपद (के-सिद्धांत| शूर बहुपदों का के-सैद्धांतिक अनुरूप) | ||
Line 247: | Line 226: | ||
== यह भी देखें == | == यह भी देखें == | ||
* [[ | * [[Index.php?title=|शूर प्रकार्यक]] | ||
*लिटिलवुड-रिचर्डसन नियम, जहां शूर बहुपदों से जुड़ी कुछ सर्वसमिकाएं मिलती हैं। | *लिटिलवुड-रिचर्डसन नियम, जहां शूर बहुपदों से जुड़ी कुछ सर्वसमिकाएं मिलती हैं। | ||
Line 256: | Line 235: | ||
*{{Fulton-Harris}} | *{{Fulton-Harris}} | ||
<references/> | <references/> | ||
[[Category: | [[Category:CS1 British English-language sources (en-gb)]] | ||
[[Category:Created On 03/03/2023]] | [[Category:Created On 03/03/2023]] | ||
[[Category:Machine Translated Page]] | |||
[[Category:Templates Vigyan Ready]] | |||
[[Category:अपरिवर्तनीय सिद्धांत]] | |||
[[Category:ऑर्थोगोनल बहुपद]] | |||
[[Category:परिमित समूहों का प्रतिनिधित्व सिद्धांत]] | |||
[[Category:सजातीय बहुपद]] | |||
[[Category:सममित कार्य]] |
Latest revision as of 10:11, 21 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 = 3, d = 4 पर विचार करें। फेरर्स आरेखों या किसी अन्य विधि का उपयोग करके, हम पाते हैं कि अधिकतम तीन भागों में 4 के केवल चार विभाजन हैं। अपने पास
और इतने पर, जहाँ वैंडरमोंड निर्धारक है। संक्षेप:
प्रत्येक सजातीय घात-तीन चर में चार सममित बहुपद इन चार शूर बहुपदों के एक अद्वितीय रैखिक संयोजन के रूप में व्यक्त किए जा सकते हैं, और इस संयोजन को एक उचित उन्मूलन क्रम के लिए ग्रोबनेर आधार का उपयोग करके फिर से पाया जा सकता है। उदाहरण के लिए,
स्पष्ट रूप से एक सममित बहुपद है जो घात चार का सजातीय है, और हमारे पास है
प्रतिनिधित्व सिद्धांत से संबंध
शूर बहुपद सममित समूहों, सामान्य रैखिक समूहों और एकात्मक समूहों के प्रतिनिधित्व सिद्धांत में पाए जाते हैं। वेइल चरित्र सूत्र का अर्थ है कि शूर बहुपद सामान्य रैखिक समूहों के परिमित-आयामी अलघुकरणीय प्रतिनिधित्व के वर्ण हैं, और शूर के काम को अन्य सघन और अर्धसूत्रीय लाइ समूह में सामान्य बनाने में सहायता करता है।
इस संबंध के लिए कई अभिव्यक्तियाँ उत्पन्न होती हैं, सममित शक्ति कार्यों के संदर्भ में जिनमें से एक सबसे महत्वपूर्ण शूर कार्यों sλ का विस्तार है। अगर हम χλ
ρ लिखते हैं विभाजन λ द्वारा अनुक्रमित सममित समूह के प्रतिनिधित्व के चरित्र के लिए विभाजन ρ द्वारा अनुक्रमित चक्र प्रकार के तत्वों पर मूल्यांकन किया गया, फिर
जहां ρ = (1r1, 2r2, 3r3, ...) इसका अर्थ है कि विभाजन ρ में लंबाई k के rk भाग हैं।
इसका एक प्रमाण R. स्टेनली के गणनासूचक साहचर्य खंड 2, कोरोलरी 7.17.5 में पाया जा सकता है।
पूर्णांक χλ
ρ मुर्नाघन-नाकायमा नियम का उपयोग करके गणना की जा सकती है।
शूर सकारात्मकता
प्रतिनिधित्व सिद्धांत के साथ संबंध के कारण, एक सममित कार्य जो शूर कार्यों में सकारात्मक रूप से फैलता है, विशेष रुचि के होते हैं। उदाहरण के लिए, तिर्यक् शूर कार्य सामान्य शूर कार्यों में सकारात्मक रूप से विस्तारित होता है, और गुणांक लिटिलवुड-रिचर्डसन गुणांक हैं।
इसकी एक विशेष स्तिथि शूर कार्यों में पूर्ण सजातीय सममित कार्य hλ का विस्तार है ।
यह अपघटन दर्शाता है कि कैसे एक क्रमचय इकाई अप्रासंगिक अभ्यावेदन में विघटित हो जाता है।
शुर सकारात्मकता सिद्ध करने की विधियाँ
किसी दिए गए सममित फलन F की शूर सकारात्मकता साबित करने के लिए कई दृष्टिकोण हैं। यदि F को संयोजन तरीके से वर्णित किया गया है, तो अर्ध-मानक नवोदित टेबलॉक्स के साथ एक आक्षेप का उत्पादन करने के लिए एक सीधा दृष्टिकोण है।एडेलमैन-ग्रीन पत्राचार और रॉबिन्सन-शेंस्टेड-नुथ पत्राचार ऐसे पूर्वाग्रहों के उदाहरण हैं।
अधिक संरचना वाला एक आक्षेप तथाकथित स्फटिक आधार का उपयोग करके एक प्रमाण है। इस पद्धति को अंतर्निहित संयोजी वस्तुओं पर स्थानीय नियमों के साथ वर्णित एक निश्चित ग्राफ संरचना को परिभाषित करने के रूप में वर्णित किया जा सकता है।
इसी तरह का विचार द्वैत तुल्यता की धारणा है। यह दृष्टिकोण मूलभूत क्वासिमेट्रिक आधार में विस्तार का प्रतिनिधित्व करने वाली वस्तुओं पर एक लेखाचित्र संरचना का भी उपयोग करता है। यह आरएसके-पत्राचार से निकटता से संबंधित है।
सामान्यीकरण
तिर्यक् शूर कार्य
तिर्यक् शूर λ/μ दो विभाजन λ और μ पर निर्भर करता है, और निम्न विशेषता द्वारा परिभाषित किया जा सकता है
यहां, आंतरिक उत्पाद हॉल आंतरिक उत्पाद है, जिसके लिए शूर बहुपद एक प्रसामान्य लांबिक आधार बनाते हैं।
साधारण शूर बहुपदों के समान, इनकी गणना करने के कई तरीके हैं। संबंधित जैकोबी-ट्रुडी सर्वसमिका हैं
तिर्यक् शूर बहुपदों की एक मिश्रित व्याख्या भी है, अर्थात् यह तिरछी आकृति के सभी अर्ध-मानक नवोदित टेबलॉक्स (या स्तंभ-कठोर टेबलॉक्स) का योग है
तिर्यक् शूर बहुपद शूर बहुपद में सकारात्मक रूप से फैलता है। गुणांक के लिए एक नियम लिटिलवुड-रिचर्डसन नियम द्वारा दिया गया है।
युग्म शूर बहुपद
युग्म शूर बहुपद[3] स्थानांतरित शूर बहुपदों के सामान्यीकरण के रूप में देखा जा सकता है। ये बहुपद भी क्रमगुणित शूर बहुपदों से निकटता से संबंधित हैं। एक विभाजन λ दिया, और एक क्रम a1, a2,… कोई दोहरे शूर बहुपद sλ(x || a) को परिभाषित कर सकता है, जैसे
लिटिलवुड-रिचर्डसन गुणांक (अनुक्रम a के आधार पर) के लिए एक संयोजी नियम एआई मोलेव द्वारा दिया गया था।[3] विशेष रूप से, इसका तात्पर्य है कि स्थानान्तरित किए गए शूर बहुपदों में गैर-नकारात्मक लिटलवुड-रिचर्डसन गुणांक हैं।
स्थानांतरित शूर बहुपद s*λ(y) ai = −i और yi = xi + i विशेषज्ञता द्वारा युग्म शूर बहुपद से प्राप्त किया जा सकता है।
युग्म शूर बहुपद दोहरे शुबर्ट बहुपद की विशेष स्तिथि है।
क्रमगुणित शूर बहुपद
क्रमगुणित शूर बहुपदों को निम्नानुसार परिभाषित किया जा सकता है। एक विभाजन λ दिया गया है, और एक दोगुना अनंत अनुक्रम …,a−1, a0, a1, … कोई क्रमगुणित शूर बहुपद sλ(x|a) को निम्न रूप में परिभाषित कर सकता है
एक निर्धारक सूत्र निम्न भी है,
n परिवर्त्य में युग्म शूर बहुपद और क्रमगुणित शूर बहुपद सर्वसमिका sλ(x||a) = sλ(x|u) के माध्यम से संबंधित हैं, जहाँ an−i+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.
- ↑ Fulton & Harris 1991, Formula A.5
- ↑ Fulton & Harris 1991, Formula A.6
- ↑ 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.