यंग टैबलॉ: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
 
(7 intermediate revisions by 4 users not shown)
Line 1: Line 1:
गणित में  युवा झाँकी एक [[साहचर्य]] वस्तु है जो [[प्रतिनिधित्व सिद्धांत]] और [[शुबर्ट कैलकुलस|शुबर्ट]] गणना में उपयोगी संयोजन वस्तु है यह [[सममित समूह]] और [[सामान्य रैखिक समूह]] के समूहों का निरूपण का वर्णन करने और उनके गुणों का अध्ययन करने का एक सुविधाजनक तरीका प्रदान करता है 1900 में [[कैम्ब्रिज विश्वविद्यालय]] के [[गणितज्ञ]] [[अल्फ्रेड यंग (गणितज्ञ)|अल्फ्रेड यंग]]  द्वारा युवा झांकी पेश की गई थी <ref>{{citation|title=The Art of Computer Programming, Vol. III: Sorting and Searching|first=Donald E.|last=Knuth|author-link=Donald Knuth|edition=2nd|publisher=Addison-Wesley|year=1973|page=48|quote=Such arrangements were introduced by Alfred Young in 1900|title-link=The Art of Computer Programming}}.</ref><ref>{{citation|title=On quantitative substitutional analysis|first=A.|last=Young|journal=Proceedings of the London Mathematical Society|year=1900|volume=33|series=Ser. 1|issue=1|pages=97–145|doi=10.1112/plms/s1-33.1.97|url=https://zenodo.org/record/1447746}}. See in particular p.&nbsp;133.</ref> इसके बाद उन्हें 1903 में [[जॉर्ज फ्रोबेनियस]] द्वारा सममित समूह के अध्ययन के लिए लागू किया गया था उनके सिद्धांत को आगे चलकर कई गणितज्ञों द्वारा विकसित किया गया था जिनमें [[पर्सी मैकमोहन]], डब्ल्यू.वी.डी. हॉज, गिल्बर्ट डी ब्योरगार्ड रॉबिन्सन जी. डी बी रॉबिन्सन, [[जियान-कार्लो रोटा]], [[एलेन लास्कौक्स]], मार्सेल-पॉल शुट्ज़ेनबर्गर और रिचर्ड पी स्टेनली का विशेष योगदान रहा है।  
गणित में  यंग  टैबलॉ एक [[साहचर्य]] वस्तु है जो [[प्रतिनिधित्व सिद्धांत]] और [[शुबर्ट कैलकुलस|शुबर्ट]] गणना में उपयोगी संयोजन वस्तु है यह [[सममित समूह]] और [[सामान्य रैखिक समूह]] के समूहों का निरूपण का वर्णन करने और उनके गुणों का अध्ययन करने का एक सुविधाजनक तरीका प्रदान करता है 1900 में [[कैम्ब्रिज विश्वविद्यालय]] के [[गणितज्ञ]] [[अल्फ्रेड यंग (गणितज्ञ)|अल्फ्रेड यंग]]  द्वारा यंग  टैबलॉ पेश की गई थी <ref>{{citation|title=The Art of Computer Programming, Vol. III: Sorting and Searching|first=Donald E.|last=Knuth|author-link=Donald Knuth|edition=2nd|publisher=Addison-Wesley|year=1973|page=48|quote=Such arrangements were introduced by Alfred Young in 1900|title-link=The Art of Computer Programming}}.</ref><ref>{{citation|title=On quantitative substitutional analysis|first=A.|last=Young|journal=Proceedings of the London Mathematical Society|year=1900|volume=33|series=Ser. 1|issue=1|pages=97–145|doi=10.1112/plms/s1-33.1.97|url=https://zenodo.org/record/1447746}}. See in particular p.&nbsp;133.</ref> इसके बाद उन्हें 1903 में [[जॉर्ज फ्रोबेनियस]] द्वारा सममित समूह के अध्ययन के लिए लागू किया गया था उनके सिद्धांत को आगे चलकर कई गणितज्ञों द्वारा विकसित किया गया था जिनमें [[पर्सी मैकमोहन]], डब्ल्यू.वी.डी. हॉज, गिल्बर्ट डी ब्योरगार्ड रॉबिन्सन जी. डी बी रॉबिन्सन, [[जियान-कार्लो रोटा]], [[एलेन लास्कौक्स]], मार्सेल-पॉल शुट्ज़ेनबर्गर और रिचर्ड पी स्टेनली का विशेष योगदान रहा है।  


== परिभाषाएँ ==
== परिभाषाएँ ==


नोट: यह लेख यंग डायग्राम और झांकी प्रदर्शित करने के लिए अंग्रेजी सम्मेलन का उपयोग करता है।
नोट: यह लेख यंग डायग्राम और टैबलॉ प्रदर्शित करने के लिए अंग्रेजी सम्मेलन का उपयोग करता है।


=== आरेख <!-- [[Young diagram]] currently redirects to this section]]--> ===
=== आरेख ===
[[Image:Young diagram for 541 partition.svg|thumb|right|150px|आकार का युवा आरेख (5, 4, 1), अंग्रेजी अंकन]]
[[Image:Young diagram for 541 partition.svg|thumb|right|150px|आकार का यंग  आरेख (5, 4, 1), अंग्रेजी अंकन]]
[[Image:Young diagram for 541 partition-French.svg|thumb|right|150px|शेप का यंग डायग्राम (5, 4, 1), फ्रेंच नोटेशन]]एक युवा आकृति जिसे [[ फेरर्स आरेख |फेरर्स आरेख]] भी कहा जाता है जबकि विशेष रूप से बिन्दु का उपयोग करके जब यह दर्शाया जाता है तो यह बढ़ते क्रम की पंक्ति में लंबाई के साथ बाएं-न्याय संगत पंक्तियों में व्यवस्थित बक्से या कोशिकाओं का एक सीमित संग्रह है तथा प्रत्येक पंक्ति में बक्सों की संख्या सूचीबद्ध करने से एक [[विभाजन (संख्या सिद्धांत)|विभाजन संख्या सिद्धांत]] मिलता है जिसमें {{mvar|''λ''}} एक गैर-ऋणात्मक पूर्णांक का {{mvar|''n''}} आरेख के बक्सों की कुल संख्या है युवा आरेख  n आकार का कहा जाता है और {{mvar|''λ''}} विभाजन के समान जानकारी रखता है एक युवा आरेख को दूसरे में समाहित करना सभी विभाजनों के समूह पर आंशिक क्रम को परिभाषित करता है जो वास्तव में एक जाली क्रम संरचना है जिसे युवा आरेख की जाली के रूप में जाना जाता है तथा प्रत्येक कॉलम में एक युवा आरेख के बक्सों की संख्या को सूचीबद्ध करने से एक और विभाजन मिलता है इसका संयुग्म या स्थानांतरण विभाजन {{mvar|''λ''}} मूल आरेख को इसके मुख्य विकर्ण के साथ प्रतिबिंबित करके उस आकार का एक युवा आरेख प्राप्त करता है।
[[Image:Young diagram for 541 partition-French.svg|thumb|right|150px|शेप का यंग डायग्राम (5, 4, 1), फ्रेंच नोटेशन]]एक यंग आकृति जिसे [[ फेरर्स आरेख |फेरर्स आरेख]] भी कहा जाता है जबकि विशेष रूप से बिन्दु का उपयोग करके जब यह दर्शाया जाता है तो यह बढ़ते क्रम की पंक्ति में लंबाई के साथ बाएं-न्याय संगत पंक्तियों में व्यवस्थित बक्से या कोशिकाओं का एक सीमित संग्रह है तथा प्रत्येक पंक्ति में बक्सों की संख्या सूचीबद्ध करने से एक [[विभाजन (संख्या सिद्धांत)|विभाजन संख्या सिद्धांत]] मिलता है जिसमें {{mvar|''λ''}} एक गैर-ऋणात्मक पूर्णांक का {{mvar|''n''}} आरेख के बक्सों की कुल संख्या है यंग  आरेख  n आकार का कहा जाता है और {{mvar|''λ''}} विभाजन के समान जानकारी रखता है एक यंग  आरेख को दूसरे में समाहित करना सभी विभाजनों के समूह पर आंशिक क्रम को परिभाषित करता है जो वास्तव में एक जाली क्रम संरचना है जिसे यंग  आरेख की जाली के रूप में जाना जाता है तथा प्रत्येक कॉलम में एक यंग  आरेख के बक्सों की संख्या को सूचीबद्ध करने से एक और विभाजन मिलता है इसका संयुग्म या स्थानांतरण विभाजन {{mvar|''λ''}} मूल आरेख को इसके मुख्य विकर्ण के साथ प्रतिबिंबित करके उस आकार का एक यंग  आरेख प्राप्त करता है।


लगभग सार्वभौमिक सहमति यह है कि पूर्णांक के जोड़े द्वारा युवा आरेख के प्लास्टिक बॉक्स में पहली अनुक्रमणिका आरेख की पंक्ति का चयन करता है और दूसरी अनुक्रमणिका पंक्ति के भीतर बॉक्स का चयन करता है फिर भी इन आरेखों को प्रदर्शित करने के लिए दो अलग-अलग सम्मेलन एकत्रित हैं और इसके परिणामस्वरूप झांकी पहली पंक्ति को पिछले एक के नीचे रखती है और दूसरी पंक्ति को पिछले एक शीर्ष पर रखती है चूंकि पूर्व सम्मेलन मुख्य रूप से [[अंग्रेजी बोलने वाली दुनिया]] द्वारा उपयोग किया जाता है जबकि बाद वाले को प्रायः वाक्य की स्पष्टता द्वारा पसंद किया जाता है यह इन सम्मेलनों को क्रमशः अंग्रेजी संकेतन और फ्रेंच संकेतन के रूप में संदर्भित करने के लिए प्रथागत है उदाहरण के लिए सममित कार्यों पर अपनी पुस्तक में इयान जी मैकडोनाल्ड पाठकों को सलाह देते हैं कि फ्रांसीसी परंपरा को पसंद करते हुए इस पुस्तक को एक दर्पण में उल्टा पढ़ें यह नामकरण संभवतः मजाक के रूप में शुरू हुआ अंग्रेजी संकेतन पंक्ति के लिए यह परंपरा सार्वभौमिक रूप से उपयोग किए जाने वाले संकेतन से मेल खाती है जबकि फ्रांसीसी संकेतन लिप्यन्तरण निर्देशांक के सम्मेलन के करीब है तथा फ्रांसीसी संकेतन पहले ऊर्ध्वाधर निर्देशांक को रखकर उस सम्मेलन से भिन्न होता था जबकि अंग्रेजी संकेतन का उपयोग करते हुए दाईं ओर का आंकड़ा संख्या 10 के विभाजन 5, 4, 1 के अनुरूप युवा आरेख दिखाता है तथा संयुग्मित विभाजन स्तंभ की लंबाई को मापता है।  
लगभग सार्वभौमिक सहमति यह है कि पूर्णांक के जोड़े द्वारा यंग  आरेख के प्लास्टिक बॉक्स में पहली अनुक्रमणिका आरेख की पंक्ति का चयन करता है और दूसरी अनुक्रमणिका पंक्ति के भीतर बॉक्स का चयन करता है फिर भी इन आरेखों को प्रदर्शित करने के लिए दो अलग-अलग सम्मेलन एकत्रित हैं और इसके परिणामस्वरूप टैबलॉ पहली पंक्ति को पिछले एक के नीचे रखती है और दूसरी पंक्ति को पिछले एक शीर्ष पर रखती है चूंकि पूर्व सम्मेलन मुख्य रूप से [[अंग्रेजी बोलने वाली दुनिया]] द्वारा उपयोग किया जाता है जबकि बाद वाले को प्रायः वाक्य की स्पष्टता द्वारा पसंद किया जाता है यह इन सम्मेलनों को क्रमशः अंग्रेजी संकेतन और फ्रेंच संकेतन के रूप में संदर्भित करने के लिए प्रथागत है उदाहरण के लिए सममित कार्यों पर अपनी पुस्तक में इयान जी मैकडोनाल्ड पाठकों को सलाह देते हैं कि फ्रांसीसी परंपरा को पसंद करते हुए इस पुस्तक को एक दर्पण में उल्टा पढ़ें यह नामकरण संभवतः मजाक के रूप में शुरू हुआ अंग्रेजी संकेतन पंक्ति के लिए यह परंपरा सार्वभौमिक रूप से उपयोग किए जाने वाले संकेतन से मेल खाती है जबकि फ्रांसीसी संकेतन लिप्यन्तरण निर्देशांक के सम्मेलन के करीब है तथा फ्रांसीसी संकेतन पहले ऊर्ध्वाधर निर्देशांक को रखकर उस सम्मेलन से भिन्न होता था जबकि अंग्रेजी संकेतन का उपयोग करते हुए दाईं ओर का आंकड़ा संख्या 10 के विभाजन 5, 4, 1 के अनुरूप यंग  आरेख दिखाता है तथा संयुग्मित विभाजन स्तंभ की लंबाई को मापता है।  


==== हाथ और पैर की लंबाई ====
==== हाथ और पैर की लंबाई ====
Line 15: Line 15:


=== टेबल्स ===
=== टेबल्स ===
[[Image:Young tableaux for 541 partition.svg|thumb|right|150px|आकार की एक मानक युवा झाँकी (5, 4, 1)]]युवा आरेख के बक्सों में कुछ वर्णमाला के प्रतीकों को भरकर एक युवा झांकी प्राप्त की जाती है जिसे आमतौर पर पूरी तरह से आदेश किए गए समूह की आवश्यकता होती है मूल रूप से वह वर्णमाला अनुक्रमित चर का एक समूह था {{mvar|''x''<sub>1</sub>}}, {{mvar|''x''<sub>2</sub>}}, {{mvar|''x''<sub>3</sub>}}..., लेकिन अब अधिकतर संक्षिप्तता के लिए संख्याओं के एक समूह का उपयोग किया जाता है सममित समूह के प्रतिनिधित्व के लिए उनके मूल आवेदन में युवा झाँकियों के पास {{mvar|''n''}} अलग-अलग प्रविष्टियाँ मनमाने ढंग से आरेख के बक्सों को सौंपी गईं हैं तथा एक झांकी को मानक भी कहा जाता है यदि प्रत्येक पंक्ति और प्रत्येक स्तंभ में प्रविष्टियाँ बढ़ रही हों तो विशिष्ट मानक युवा झांकियों की संख्या पर {{mvar|''n''}} प्रविष्टियाँ गणितीय संक्रिया द्वारा दी गई हैं जो इस प्रकार हैं-  
[[Image:Young tableaux for 541 partition.svg|thumb|right|150px|आकार की एक मानक यंग  टैबलॉ (5, 4, 1)]]यंग  आरेख के बक्सों में कुछ वर्णमाला के प्रतीकों को भरकर एक यंग  टैबलॉ प्राप्त की जाती है जिसे आमतौर पर पूरी तरह से आदेश किए गए समूह की आवश्यकता होती है मूल रूप से वह वर्णमाला अनुक्रमित चर का एक समूह था {{mvar|''x''<sub>1</sub>}}, {{mvar|''x''<sub>2</sub>}}, {{mvar|''x''<sub>3</sub>}}..., लेकिन अब अधिकतर संक्षिप्तता के लिए संख्याओं के एक समूह का उपयोग किया जाता है सममित समूह के प्रतिनिधित्व के लिए उनके मूल आवेदन में यंग  झाँकियों के पास {{mvar|''n''}} अलग-अलग प्रविष्टियाँ मनमाने ढंग से आरेख के बक्सों को सौंपी गईं हैं तथा एक टैबलॉ को मानक भी कहा जाता है यदि प्रत्येक पंक्ति और प्रत्येक स्तंभ में प्रविष्टियाँ बढ़ रही हों तो विशिष्ट मानक यंग  झांकियों की संख्या पर {{mvar|''n''}} प्रविष्टियाँ गणितीय संक्रिया द्वारा दी गई हैं जो इस प्रकार हैं-  
:1, 1, 2, 4, 10, 26, 76, 232, 764, 2620, 9496, ... {{OEIS|A000085}}.
:1, 1, 2, 4, 10, 26, 76, 232, 764, 2620, 9496, ... {{OEIS|A000085}}.


अन्य अनुप्रयोगों में एक झांकी में एक ही संख्या को एक से अधिक बार या बिल्कुल नहीं प्रकट होने की अनुमति देना स्वाभाविक है एक युवा झांकी को अर्धमानक या स्तंभ कहा जाता है यदि प्रविष्टियाँ प्रत्येक पंक्ति के साथ कमजोर रूप से बढ़ती हैं और प्रत्येक स्तंभ को सख्ती से बढ़ाती हैं तो एक झांकी में प्रत्येक संख्या कितनी बार दिखाई देती है इसे एकत्र करने से एक क्रम मिलता है जिसे झांकी के वजन के रूप में जाना जाता है इस प्रकार मानक युवा झांकी का वजन 1,1,...,1 की अर्धमानक झांकी है जिसके लिए प्रत्येक पूर्णांक तक की आवश्यकता होती है {{mvar|''n''}} ठीक एक बार घटित होना ही
अन्य अनुप्रयोगों में एक टैबलॉ में एक ही संख्या को एक से अधिक बार या बिल्कुल नहीं प्रकट होने की अनुमति देना स्वाभाविक है एक यंग  टैबलॉ को अर्धमानक या स्तंभ कहा जाता है यदि प्रविष्टियाँ प्रत्येक पंक्ति के साथ कमजोर रूप से बढ़ती हैं और प्रत्येक स्तंभ को सख्ती से बढ़ाती हैं तो एक टैबलॉ में प्रत्येक संख्या कितनी बार दिखाई देती है इसे एकत्र करने से एक क्रम मिलता है जिसे टैबलॉ के वजन के रूप में जाना जाता है इस प्रकार मानक यंग  टैबलॉ का वजन 1,1,...,1 की अर्धमानक टैबलॉ है जिसके लिए प्रत्येक पूर्णांक तक की आवश्यकता होती है {{mvar|''n''}} ठीक एक बार घटित होना ही


एक मानक युवा झांकी में पूर्णांक <math>k</math> एक वंश है अगर <math>k+1</math> से नीचे एक पंक्ति में दिखाई देती है तो <math>k</math>. अवरोहण के योग को झांकी का प्रमुख सूचकांक कहा जाता है।<ref name="ste89"/>
एक मानक यंग  टैबलॉ में पूर्णांक <math>k</math> एक वंश है अगर <math>k+1</math> से नीचे एक पंक्ति में दिखाई देती है तो <math>k</math>. अवरोहण के योग को टैबलॉ का प्रमुख सूचकांक कहा जाता है।<ref name="ste89"/>


=== रूपांतर ===
=== रूपांतर ===


इस परिभाषा की कई विविधताएँ हैं उदाहरण के लिए एक पंक्ति युवा झांकी में प्रविष्टियाँ पंक्तियों के साथ बढ़ती हैं और स्तंभों में कमजोर रूप से बढ़ाती हैं इसके बाद घटती प्रविष्टियों वाली झांकी पर विचार किया गया है जो विशेष रूप से समतल विभाजन के सिद्धांत में दूरगामी झांकी या रिबन झांकी जैसे सामान्यीकरण के लिए उपयोगी हैं जिसमें उन्हें प्रविष्टियाँ सौंपने से पहले कई बक्सों को एक साथ रखा जा सकता है।
इस परिभाषा की कई विविधताएँ हैं उदाहरण के लिए एक पंक्ति यंग  टैबलॉ में प्रविष्टियाँ पंक्तियों के साथ बढ़ती हैं और स्तंभों में कमजोर रूप से बढ़ाती हैं इसके बाद घटती प्रविष्टियों वाली टैबलॉ पर विचार किया गया है जो विशेष रूप से समतल विभाजन के सिद्धांत में दूरगामी टैबलॉ या रिबन टैबलॉ जैसे सामान्यीकरण के लिए उपयोगी हैं जिसमें उन्हें प्रविष्टियाँ सौंपने से पहले कई बक्सों को एक साथ रखा जा सकता है।


=== तिरछी झांकी ===
=== तिरछी टैबलॉ ===
[[Image:Skew tableau 5422-21.svg|thumb|right|150px|आकार की तिरछी झांकी (5, 4, 2, 2) / (2, 1), अंग्रेजी अंकन]]तिरछे आकार के विभाजनों की एक जोड़ी है जो ({{math|''λ''}}, {{math|''μ''}}) द्वारा प्रदर्शित की जाती है युवा आरेख {{math|''λ''}} में तिरछी झॉकी  युवा आरेख सम्मिलित हैं इसे  {{math|''μ''}} द्वारा दर्शाया गया है {{math|''λ''/''μ''}}. अगर {{math|''λ'' {{=}} (''λ''<sub>1</sub>, ''λ''<sub>2</sub>, ...)}} और {{math|''μ'' {{=}} (''μ''<sub>1</sub>, ''μ''<sub>2</sub>, ...)}},  तो आरेखों के सम्‍मिलन का अर्थ है कि {{math|''μ''<sub>''i''</sub>&nbsp;≤&nbsp;''λ''<sub>''i''</sub>}} सभी के लिए {{mvar|i}}. तिरछी आकृति का तिरछा आरेख {{math|''λ''/''μ''}} के युवा आरेखों का समूह-सैद्धांतिक अंतर है {{mvar|''λ''}} और {{mvar|''μ''}}: वर्गों का समूह जो आरेख से संबंधित है {{mvar|''λ''}} उससे {{mvar|''μ''}}. आकार की तिरछी युवा झांकी {{math|''λ''/''μ''}} संबंधित तिरछा आरेख के वर्गों को भरकर प्राप्त किया जाता है इस तरह की झांकी अर्ध-मानक होती है यदि प्रविष्टियाँ प्रत्येक पंक्ति के साथ कमजोर रूप से बढ़ती हैं और प्रत्येक स्तंभ के नीचे बढ़ती हैं तो यह मानक है यदि इसके अलावा 1 से लेकर तिरछे आरेख के वर्गों की संख्या ठीक एक बार आती है जबकि विभाजन से लेकर उनके युवा आरेख तक का नक्शा तिरछे आकार से लेकर तिरछे आरेख तक के नक्शे के लिए नहीं है <ref>For instance the skew diagram consisting of a single square at position (2,4) can be obtained by removing the diagram of {{math|''μ''&nbsp;{{=}}&nbsp;(5,3,2,1)}} from the one of {{math|''λ'' {{=}} (5,4,2,1)}}, but also in (infinitely) many other ways. In general any skew diagram whose set of non-empty rows (or of non-empty columns) is not contiguous or does not contain the first row (respectively column) will be associated to more than one skew shape.</ref> इसलिए तिरछा आरेख का आकार हमेशा भरे हुए वर्गों के समूह से निर्धारित नहीं किया जा सकता है जबकि तिरछी झांकी के कई गुण केवल भरे हुए वर्गों पर निर्भर करते हैं तथा उन पर परिभाषित कुछ संक्रियाओं के लिए स्पष्ट ज्ञान की आवश्यकता होती है {{mvar|''λ''}} और {{mvar|''μ''}}, इसलिए महत्वपूर्ण है कि तिरछी झांकी इस जानकारी को एकत्र करें और दो अलग-अलग तिरछी झांकियां उनके आकार में भिन्न हो सकती हैं जबकि वे वर्गों के एक ही समूह पर हस्तांतरण कर लेती हैं और प्रत्येक झॉंकी एक ही प्रविष्टि से भरी होती है <ref>A somewhat similar situation arises for matrices: the 3-by-0 matrix {{mvar|''A''}} must be distinguished from the 0-by-3 matrix {{mvar|''B''}}, since {{math|''AB''}} is a 3-by-3 (zero) matrix while {{math|''BA''}} is the 0-by-0 matrix, but both {{mvar|''A''}} and {{mvar|''B''}} have the same (empty) set of entries; for skew tableaux however such distinction is necessary even in cases where the set of entries is not empty.</ref> युवा झांकी को तिरछी झांकी से पहचाना जा सकता है जिसमें {{mvar|''μ''}} खाली विभाजन का अद्वितीय विभाजन है।
[[Image:Skew tableau 5422-21.svg|thumb|right|150px|आकार की तिरछी टैबलॉ (5, 4, 2, 2) / (2, 1), अंग्रेजी अंकन]]तिरछे आकार के विभाजनों की एक जोड़ी है जो ({{math|''λ''}}, {{math|''μ''}}) द्वारा प्रदर्शित की जाती है यंग  आरेख {{math|''λ''}} में तिरछी झॉकी  यंग  आरेख सम्मिलित हैं इसे  {{math|''μ''}} द्वारा दर्शाया गया है {{math|''λ''/''μ''}}. अगर {{math|''λ'' {{=}} (''λ''<sub>1</sub>, ''λ''<sub>2</sub>, ...)}} और {{math|''μ'' {{=}} (''μ''<sub>1</sub>, ''μ''<sub>2</sub>, ...)}},  तो आरेखों के सम्‍मिलन का अर्थ है कि {{math|''μ''<sub>''i''</sub>&nbsp;≤&nbsp;''λ''<sub>''i''</sub>}} सभी के लिए {{mvar|i}}. तिरछी आकृति का तिरछा आरेख {{math|''λ''/''μ''}} के यंग  आरेखों का समूह-सैद्धांतिक अंतर है {{mvar|''λ''}} और {{mvar|''μ''}}: वर्गों का समूह जो आरेख से संबंधित है {{mvar|''λ''}} उससे {{mvar|''μ''}}. आकार की तिरछी यंग  टैबलॉ {{math|''λ''/''μ''}} संबंधित तिरछा आरेख के वर्गों को भरकर प्राप्त किया जाता है इस तरह की टैबलॉ अर्ध-मानक होती है यदि प्रविष्टियाँ प्रत्येक पंक्ति के साथ कमजोर रूप से बढ़ती हैं और प्रत्येक स्तंभ के नीचे बढ़ती हैं तो यह मानक है यदि इसके अलावा 1 से लेकर तिरछे आरेख के वर्गों की संख्या ठीक एक बार आती है जबकि विभाजन से लेकर उनके यंग  आरेख तक का नक्शा तिरछे आकार से लेकर तिरछे आरेख तक के नक्शे के लिए नहीं है <ref>For instance the skew diagram consisting of a single square at position (2,4) can be obtained by removing the diagram of {{math|''μ''&nbsp;{{=}}&nbsp;(5,3,2,1)}} from the one of {{math|''λ'' {{=}} (5,4,2,1)}}, but also in (infinitely) many other ways. In general any skew diagram whose set of non-empty rows (or of non-empty columns) is not contiguous or does not contain the first row (respectively column) will be associated to more than one skew shape.</ref> इसलिए तिरछा आरेख का आकार हमेशा भरे हुए वर्गों के समूह से निर्धारित नहीं किया जा सकता है जबकि तिरछी टैबलॉ के कई गुण केवल भरे हुए वर्गों पर निर्भर करते हैं तथा उन पर परिभाषित कुछ संक्रियाओं के लिए स्पष्ट ज्ञान की आवश्यकता होती है {{mvar|''λ''}} और {{mvar|''μ''}}, इसलिए महत्वपूर्ण है कि तिरछी टैबलॉ इस जानकारी को एकत्र करें और दो अलग-अलग तिरछी झांकियां उनके आकार में भिन्न हो सकती हैं जबकि वे वर्गों के एक ही समूह पर हस्तांतरण कर लेती हैं और प्रत्येक झॉंकी एक ही प्रविष्टि से भरी होती है <ref>A somewhat similar situation arises for matrices: the 3-by-0 matrix {{mvar|''A''}} must be distinguished from the 0-by-3 matrix {{mvar|''B''}}, since {{math|''AB''}} is a 3-by-3 (zero) matrix while {{math|''BA''}} is the 0-by-0 matrix, but both {{mvar|''A''}} and {{mvar|''B''}} have the same (empty) set of entries; for skew tableaux however such distinction is necessary even in cases where the set of entries is not empty.</ref> यंग  टैबलॉ को तिरछी टैबलॉ से पहचाना जा सकता है जिसमें {{mvar|''μ''}} खाली विभाजन का अद्वितीय विभाजन है।


कोई तिरछी अर्धमानक झाँकी {{mvar|''T''}} आकार का {{math|''λ''/''μ''}} सकारात्मक पूर्णांक प्रविष्टियों के साथ शुरू करके विभाजन या युवा आरेख के अनुक्रम को जन्म देता है तथा {{mvar|''μ''}} विभाजन के लिए होता है {{mvar|''i''}} उस क्रम में आगे होता है जिसका चित्र उससे प्राप्त किया गया है {{mvar|''μ''}} मान वाले सभी बक्सों को जोड़कर  ≤{{mvar|''i''}} में {{mvar|''T''}} यह विभाजन अंततः के बराबर हो जाता है {{mvar|''λ''}} इस तरह के क्रम में क्रमिक आकृतियों का कोई भी जोड़ा तिरछा आकार दे सकता है जिसके आरेख में प्रत्येक कॉलम में अधिकतम एक बॉक्स होता है ऐसी आकृतियों को क्षैतिज पट्टियां कहा जाता है विभाजनों का यह क्रम पूरी तरह से यह निर्धारित करता है कि {{mvar|''T''}} वास्तव में इस तरह के अनुक्रमों के रूप में अर्ध-मानक झांकी को परिभाषित करता है जैसा कि मैकडोनाल्ड 1979 में युवा झॉकी को दिखाया गया है कि {{mvar|''λ''}} और {{mvar|''μ''}} तिरछी झांकी वाले विभाजन को सम्मिलित करती है।
कोई तिरछी अर्धमानक टैबलॉ {{mvar|''T''}} आकार का {{math|''λ''/''μ''}} सकारात्मक पूर्णांक प्रविष्टियों के साथ शुरू करके विभाजन या यंग  आरेख के अनुक्रम को जन्म देता है तथा {{mvar|''μ''}} विभाजन के लिए होता है {{mvar|''i''}} उस क्रम में आगे होता है जिसका चित्र उससे प्राप्त किया गया है {{mvar|''μ''}} मान वाले सभी बक्सों को जोड़कर  ≤{{mvar|''i''}} में {{mvar|''T''}} यह विभाजन अंततः के बराबर हो जाता है {{mvar|''λ''}} इस तरह के क्रम में क्रमिक आकृतियों का कोई भी जोड़ा तिरछा आकार दे सकता है जिसके आरेख में प्रत्येक कॉलम में अधिकतम एक बॉक्स होता है ऐसी आकृतियों को क्षैतिज पट्टियां कहा जाता है विभाजनों का यह क्रम पूरी तरह से यह निर्धारित करता है कि {{mvar|''T''}} वास्तव में इस तरह के अनुक्रमों के रूप में अर्ध-मानक टैबलॉ को परिभाषित करता है जैसा कि मैकडोनाल्ड 1979 में यंग  झॉकी को दिखाया गया है कि {{mvar|''λ''}} और {{mvar|''μ''}} तिरछी टैबलॉ वाले विभाजन को सम्मिलित करती है।


== अनुप्रयोगों का अवलोकन ==
== अनुप्रयोगों का अवलोकन ==


नई झांकी में संयोजन प्रतिनिधित्व सिद्धांत और [[बीजगणितीय ज्यामिति]] में कई अनुप्रयोग हैं युवा झांकी की गिनती के विभिन्न तरीकों का पता लगाया गया है और [[शूर बहुपद]] की पहचान की ओर ले जाता है।
नई टैबलॉ में संयोजन प्रतिनिधित्व सिद्धांत और [[बीजगणितीय ज्यामिति]] में कई अनुप्रयोग हैं यंग  टैबलॉ की गिनती के विभिन्न तरीकों का पता लगाया गया है और यह [[शूर बहुपद]] की पहचान की ओर ले जाया गया है।


झांकी पर कई संयोजी प्रारूप ज्ञात हैं जिसमें शुत्ज़ेनबर्गर पत्राचार सम्मिलित हैं लास्कोकस् और शुत्जेनबर्गर ने सभी सेमी-युवा झांकी के समूह पर एक साहचर्य उत्पाद का अध्ययन किया इसे [[प्लैक्टिक मोनोइड]] नामक संरचना दी।
टैबलॉ पर कई संयोजी प्रारूप ज्ञात हैं जिसमें शुत्ज़ेनबर्गर पत्राचार सम्मिलित हैं लास्कोकस् और शुत्जेनबर्गर ने सभी सेमी-यंग  टैबलॉ के समूह पर एक साहचर्य उत्पाद का अध्ययन किया इसे [[प्लैक्टिक मोनोइड]] नामक संरचना दी।


प्रतिनिधित्व सिद्धांत में आकार की मानक युवा झांकी {{mvar|''k''}} पर सममित समूह के अलघुकरणीय अभ्यावेदन में आधारों का वर्णन करें तथा {{mvar|''k''}} अक्षर सामान्य रेखीय समूह के परिमित-आयामी प्रतिनिधित्व में [[मानक मोनोमियल आधार]] {{math|''GL''<sub>''n''</sub>}} अक्षर {1, 2, ..., {{mvar|''n''}}}. [[अपरिवर्तनीय सिद्धांत]] के लिए इसका महत्वपूर्ण परिणाम है [[ ग्रासमानियन ]] के सजातीय समन्वय वलय पर डब्ल्यूवीडी द्रव्य समूह के काम से शुरू होता है और आगे सहयोगियों [[कॉन्सिनी का कोराडो]] और [[ क्लॉडियस प्रोसी |क्लॉडियस प्रोसी]] और [[डेविड ईसेनबड]] के साथ जियान-कार्लो रोटा द्वारा खोजा गया लिटिलवुड-रिचर्डसन नियम का वर्णन अप्रासंगिक प्रतिनिधित्व के प्रदिश उत्पादों के अपघटन {{math|''GL''<sub>''n''</sub>}} अलघुकरणीय घटकों में कुछ तिरछा अर्धमानक झांकी के संदर्भ में तैयार किया गया है।
प्रतिनिधित्व सिद्धांत में आकार की मानक यंग  टैबलॉ {{mvar|''k''}} पर सममित समूह के अलघुकरणीय अभ्यावेदन में आधारों का वर्णन करती है तथा {{mvar|''k''}} अक्षर सामान्य रेखीय समूह के परिमित-आयामी प्रतिनिधित्व में [[मानक मोनोमियल आधार]] {{math|''GL''<sub>''n''</sub>}} अक्षर 1, 2, ..., {{mvar|''n''}} [[अपरिवर्तनीय सिद्धांत]] के लिए इसका महत्वपूर्ण परिणाम है [[ ग्रासमानियन ]]के सजातीय समन्वय वलय पर डब्ल्यूवीडी द्रव्य समूह के काम से शुरू होता है और आगे सहयोगियों [[कॉन्सिनी का कोराडो]] और [[ क्लॉडियस प्रोसी |क्लॉडियस प्रोसी]] और [[डेविड ईसेनबड]] के साथ जियान-कार्लो रोटा द्वारा खोजा गया लिटिलवुड-रिचर्डसन नियम का वर्णन अप्रासंगिक प्रतिनिधित्व के प्रदिश उत्पादों के अपघटन {{math|''GL''<sub>''n''</sub>}} अलघुकरणीय घटकों में कुछ तिरछा अर्धमानक टैबलॉ के संदर्भ में तैयार किया गया है।


बीजगणितीय ज्यामिति के अनुप्रयोग ग्रासमानियन और ध्वज किस्मों पर शूबर्ट गणितीय के आसपास केंद्रित हैं कुछ महत्वपूर्ण [[कोहोलॉजी वर्ग]] को [[शुबर्ट बहुपद]] द्वारा दर्शाया जा सकता है और युवा झांकी के संदर्भ में वर्णित किया जा सकता है।
बीजगणितीय ज्यामिति के अनुप्रयोग ग्रासमानियन और ध्वज किस्मों पर शूबर्ट गणितीय के आसपास केंद्रित हैं कुछ महत्वपूर्ण [[कोहोलॉजी वर्ग]] को [[शुबर्ट बहुपद]] द्वारा दर्शाया जा सकता है और यंग  टैबलॉ के संदर्भ में वर्णित किया जा सकता है।


== प्रतिनिधित्व सिद्धांत में अनुप्रयोग ==
== प्रतिनिधित्व सिद्धांत में अनुप्रयोग ==
{{see also|Representation theory of the symmetric group}}
{{see also|Representation theory of the symmetric group}}
युवा आरेख [[जटिल संख्या]]ओं पर सममित समूह के अलघुकरणीय निरूपण के साथ एक-से-एक पत्राचार में हैं वे [[युवा समरूपता]]ओं को निर्दिष्ट करने का एक सुविधाजनक तरीका प्रदान करते हैं जिससे सममित समूह के प्रतिनिधित्व सिद्धांत का निर्माण होता है एक निरूपण के बारे में कई तथ्यों से संबंधित आरेख निकाले जा सकते है हम दो उदाहरणों का वर्णन करते हैं जैसे एक प्रतिनिधित्व और प्रतिबंधित प्रतिनिधित्व के आयाम का निर्धारण करना दोनों ही जगहों में हम देखेंगे कि किसी निरूपण के कुछ गुणों को उसके आरेख का उपयोग करके निर्धारित किया जा सकता है जो युवा झांकी में सममित समूह के उपयोग में सम्मिलित हैं प्रमात्रा रसायन विज्ञान परमाणुओं अणुओं और ठोस पदार्थों का अध्ययन करता है <ref>Philip R. Bunker and Per Jensen (1998) ''Molecular Symmetry and Spectroscopy'',  
यंग  आरेख [[जटिल संख्या]]ओं पर सममित समूह के अलघुकरणीय निरूपण के साथ एक-से-एक पत्राचार में हैं वे [[युवा समरूपता|यंग  समरूपता]]ओं को निर्दिष्ट करने का एक सुविधाजनक तरीका प्रदान करते हैं जिससे सममित समूह के प्रतिनिधित्व सिद्धांत का निर्माण होता है एक निरूपण के बारे में कई तथ्यों से संबंधित आरेख निकाले जा सकते है हम दो उदाहरणों का वर्णन करते हैं जैसे एक प्रतिनिधित्व और प्रतिबंधित प्रतिनिधित्व के आयाम का निर्धारण करना दोनों ही जगहों में हम देखेंगे कि किसी निरूपण के कुछ गुणों को उसके आरेख का उपयोग करके निर्धारित किया जा सकता है जो यंग  टैबलॉ में सममित समूह के उपयोग में सम्मिलित हैं प्रमात्रा रसायन विज्ञान परमाणुओं अणुओं और ठोस पदार्थों का अध्ययन करता है <ref>Philip R. Bunker and Per Jensen (1998) ''Molecular Symmetry and Spectroscopy'',  
2nd ed.  NRC Research Press,Ottawa [https://volumesdirect.com/products/molecular-symmetry-and-spectroscopy?_pos=1&_sid=ed0cc0319&_ss=r]
2nd ed.  NRC Research Press,Ottawa [https://volumesdirect.com/products/molecular-symmetry-and-spectroscopy?_pos=1&_sid=ed0cc0319&_ss=r]
pp.198-202.{{ISBN|9780660196282}}</ref><ref>R.Pauncz (1995) ''The Symmetric Group in Quantum Chemistry'',
pp.198-202.{{ISBN|9780660196282}}</ref><ref>R.Pauncz (1995) ''The Symmetric Group in Quantum Chemistry'',
CRC Press, Boca Raton, Florida </ref> युवा आरेख सामान्य रेखीय समूह के अलघुकरणीय बहुपद अभ्यावेदन को भी प्रचलित करते हैं {{math|''GL''<sub>''n''</sub>}} जब उनके पास अधिक से अधिक {{mvar|''n''}} गैर-खाली पंक्तियां हों या [[विशेष रैखिक समूह]] के अलघुकरणीय निरूपण {{math|''SL''<sub>''n''</sub>}} जब उनके पास अधिक से अधिक हो {{math|''n'' − 1}} गैर-खाली पंक्तियाँ या [[विशेष एकात्मक समूह]] के अलघुकरणीय जटिल निरूपण {{math|''SU''<sub>''n''</sub>}} फिर जब उनके पास अधिक से अधिक {{math|''n'' − 1}} गैर-खाली पंक्तियाँ हों इन जगहों में प्रविष्टियों के साथ अर्धमानक झांकी {{mvar|''n''}} मानक झांकी के जगह केंद्रीय भूमिका निभाएं जो विशेष रूप से यह उन झांकी की संख्या है जो प्रतिनिधित्व के आयाम को निर्धारित करती है।
CRC Press, Boca Raton, Florida </ref> यंग  आरेख सामान्य रेखीय समूह के अलघुकरणीय बहुपद अभ्यावेदन को भी प्रचलित करते हैं {{math|''GL''<sub>''n''</sub>}} जब उनके पास अधिक से अधिक {{mvar|''n''}} गैर-खाली पंक्तियां हों या [[विशेष रैखिक समूह]] के अलघुकरणीय निरूपण {{math|''SL''<sub>''n''</sub>}} जब उनके पास अधिक से अधिक हो तो {{math|''n'' − 1}} गैर-खाली पंक्तियाँ या [[विशेष एकात्मक समूह]] के अलघुकरणीय जटिल निरूपण {{math|''SU''<sub>''n''</sub>}} फिर जब उनके पास अधिक से अधिक {{math|''n'' − 1}} गैर-खाली पंक्तियाँ हों इन जगहों में प्रविष्टियों के साथ अर्धमानक टैबलॉ {{mvar|''n''}} मानक टैबलॉ के जगह केंद्रीय भूमिका निभाएं जो विशेष रूप से यह उन टैबलॉ की संख्या के प्रतिनिधित्व के आयाम को निर्धारित करती है।


=== एक प्रतिनिधित्व का आयाम ===
=== एक प्रतिनिधित्व का आयाम ===
Line 53: Line 53:
Image:Hook length for 541 partition.svg|caption=''Hook-lengths'' of the boxes for the partition 10&nbsp;=&nbsp;5&nbsp;+&nbsp;4&nbsp;+&nbsp;1}}
Image:Hook length for 541 partition.svg|caption=''Hook-lengths'' of the boxes for the partition 10&nbsp;=&nbsp;5&nbsp;+&nbsp;4&nbsp;+&nbsp;1}}


अलघुकरणीय प्रतिनिधित्व का आयाम {{math|{{pi}}<sub>''λ''</sub>}} सममित समूह का {{math|''S''<sub>''n''</sub>}} एक विभाजन के अनुरूप {{mvar|''λ''}} का {{mvar|''n''}} विभिन्न मानक युवा झांकी की संख्या के बराबर है जो प्रतिनिधित्व के आरेख से प्राप्त की जा सकती है इस संख्या की गणना [[हुक लंबाई सूत्र]] द्वारा की जा सकती है।
अलघुकरणीय प्रतिनिधित्व का आयाम {{math|{{pi}}<sub>''λ''</sub>}} सममित समूह का {{math|''S''<sub>''n''</sub>}} एक विभाजन के अनुरूप {{mvar|''λ''}} का {{mvar|''n''}} विभिन्न मानक यंग  टैबलॉ की संख्या के बराबर है जो प्रतिनिधित्व के आरेख से प्राप्त की जा सकती है इस संख्या की गणना [[हुक लंबाई सूत्र]] द्वारा की जा सकती है।


एक हुक लंबाई  {{mvar|''x''}} युवा आरेख में {{math|''Y''(''λ'')}} आकार का {{mvar|''λ''}} उन बक्सों की संख्या है जो इसके दाईं ओर एक ही पंक्ति में हैं और इसके नीचे एक ही कॉलम में वे स्थित हैं साथ ही एक बॉक्स के लिए हुक-लम्बाई सूत्र द्वारा एक अलघुकरणीय प्रतिनिधित्व का आयाम है {{math|''n''!}} प्रतिनिधित्व के आरेख में सभी बक्से की हुक लंबाई के उत्पाद से विभाजित किया जाता है जैसे
एक हुक लंबाई  {{mvar|''x''}} यंग  आरेख में {{math|''Y''(''λ'')}} आकार का {{mvar|''λ''}} उन बक्सों की संख्या है जो इसके दाईं ओर एक ही पंक्ति में हैं और इसके नीचे एक ही कॉलम में वे स्थित हैं साथ ही एक बॉक्स के लिए हुक-लम्बाई सूत्र द्वारा एक अलघुकरणीय प्रतिनिधित्व का आयाम है {{math|''n''!}} प्रतिनिधित्व के आरेख में सभी बक्से की हुक लंबाई के उत्पाद से विभाजित किया जाता है जैसे


:<math>\dim\pi_\lambda = \frac{n!}{\prod_{x \in Y(\lambda)} \operatorname{hook}(x)}.</math>
:<math>\dim\pi_\lambda = \frac{n!}{\prod_{x \in Y(\lambda)} \operatorname{hook}(x)}.</math>तब
दाईं ओर का आंकड़ा विभाजन 10 = 5 + 4 + 1 के आरेख में सभी बक्सों के लिए हुक-लंबाई दिखाता है इस प्रकार
दाईं ओर का आंकड़ा विभाजन 10 = 5 + 4 + 1 के आरेख में सभी बक्सों के लिए हुक-लंबाई दिखाता है इस प्रकार


:<math>\dim\pi_\lambda = \frac{10!}{7\cdot5\cdot 4 \cdot 3\cdot 1\cdot 5\cdot 3\cdot 2\cdot 1\cdot1} = 288.</math>
:<math>\dim\pi_\lambda = \frac{10!}{7\cdot5\cdot 4 \cdot 3\cdot 1\cdot 5\cdot 3\cdot 2\cdot 1\cdot1} = 288.</math>
इसी तरह अलघुकरणीय प्रतिनिधित्व का आयाम {{math|''W''(''λ'')}} का {{math|GL<sub>''r''</sub>}} n के विभाजन λ के अनुरूप अधिकतम r भागों के साथ आकार λ की अर्ध-मानक युवा झांकी की संख्या है केवल 1 से r तक की प्रविष्टियाँ हैं जो हुक-लंबाई सूत्र द्वारा दी गई है
इसी तरह अलघुकरणीय प्रतिनिधित्व का आयाम {{math|''W''(''λ'')}} का {{math|GL<sub>''r''</sub>}} n के विभाजन λ के अनुरूप अधिकतम r भागों के साथ आकार λ की अर्ध-मानक यंग  टैबलॉ की संख्या है केवल 1 से r तक की प्रविष्टियाँ हैं जो हुक-लंबाई सूत्र द्वारा दी गई है


: <math>\dim W(\lambda) = \prod_{(i,j) \in Y(\lambda)} \frac{r+j-i}{\operatorname{hook}(i,j)},</math>
: <math>\dim W(\lambda) = \prod_{(i,j) \in Y(\lambda)} \frac{r+j-i}{\operatorname{hook}(i,j)},</math>
Line 71: Line 71:
=== प्रतिबंधित प्रतिनिधित्व ===
=== प्रतिबंधित प्रतिनिधित्व ===


पर सममित समूह का एक प्रतिनिधित्व {{mvar|''n''}} तत्व  {{math|''S''<sub>''n''</sub>}} भी सममित समूह का प्रतिनिधित्व है {{math|''n'' − 1}} तत्व {{math|''S''<sub>''n''−1</sub>}}.  
इसमें सममित समूह का एक प्रतिनिधित्व {{mvar|''n''}} तत्व  {{math|''S''<sub>''n''</sub>}} भी सममित समूह का प्रतिनिधित्व है {{math|''n'' − 1}} तत्व {{math|''S''<sub>''n''−1</sub>}}.  


का एक अलघुकरणीय प्रतिनिधित्व {{math|''S''<sub>''n''</sub>}} के लिए अलघुकरणीय नहीं हो सकता है {{math|''S''<sub>''n''−1</sub>}}. इसके जगह्यावेदन के [[अभ्यावेदन का प्रत्यक्ष योग]] हो सकता है, जिसके लए अप्रासंगियह क हैं {{math|''S''<sub>''n''−1</sub>}}. इन अभ्यावदन को तब [[प्रतिबंधित प्रतिनिधित्व]] के कारक कहा ााता है ([[प्रेरित प्रतिनिधित्व|प्रेरित प्तिनिधित्व]] भी देखें)।
का एक अलघुकरणीय प्रतिनिधित्व {{math|''S''<sub>''n''</sub>}} के लिए अलघुकरणीय नहीं हो सकता है {{math|''S''<sub>''n''−1</sub>}}. इसके [[अभ्यावेदन का प्रत्यक्ष योग]] हो सकता है जिसके लिए यह अप्रासंगिक हैं {{math|''S''<sub>''n''−1</sub>}}. इन अभ्यावेदन को [[प्रतिबंधित प्रतिनिधित्व]] का कारक कहा जाता है


गए अलघुकरणीय प्रतिनिधित्व के प्रतिबंधित प्रतिनिधित्व के इस अपघटन को निर्धारित करने का प्रश्न<sub>''n''</sub>, एक विभाजन के अनुरूप {{mvar|''λ''}} का {{mvar|''n''}} का उत्तर इस प्रकार है जो एक युवा आरेख का समूह बनाता है जिसे झॉकी आरेख से प्राप्त किया जा सकता है {{mvar|''λ''}} सिर्फ एक बॉक्स से हटाकर जो इसकी पंक्ति और कॉलम दोनों के अंत में होना चाहिए प्रतिबंधित प्रतिनिधित्व तब के अप्रासंगिक अभ्यावेदन के प्रत्यक्ष योग के रूप में विघटित हो जाता है {{math|''S''<sub>''n''−1</sub>}} उन आरेखों के अनुरूप प्रत्येक योग में एक बार होता है।
एक अलघुकरणीय प्रतिनिधित्व के प्रतिबंधित प्रतिनिधित्व के इस अपघटन को निर्धारित करने का प्रश्न<sub>''n''</sub> एक विभाजन के अनुरूप {{mvar|''λ''}} का {{mvar|''n''}} का उत्तर इस प्रकार है जो एक यंग  आरेख का समूह बनाता है जिसे झॉकी आरेख से प्राप्त किया जा सकता है {{mvar|''λ''}} सिर्फ एक बॉक्स से हटाकर जो इसकी पंक्ति और कॉलम दोनों के अंत में होना चाहिए प्रतिबंधित प्रतिनिधित्व   अप्रासंगिक अभ्यावेदन के प्रत्यक्ष योग के रूप में विघटित हो जाता है {{math|''S''<sub>''n''−1</sub>}} उन आरेखों के अनुरूप प्रत्येक योग में एक बार होता है।


== यह भी देखें ==
== यह भी देखें ==
Line 115: Line 115:
* [http://www.findstat.org/SemistandardTableaux Semistandard tableaux] entry in the [http://www.findstat.org/ FindStat] database
* [http://www.findstat.org/SemistandardTableaux Semistandard tableaux] entry in the [http://www.findstat.org/ FindStat] database
* [http://www.findstat.org/StandardTableaux Standard tableaux] entry in the [http://www.findstat.org/ FindStat] database
* [http://www.findstat.org/StandardTableaux Standard tableaux] entry in the [http://www.findstat.org/ FindStat] database
[[Category: परिमित समूहों का प्रतिनिधित्व सिद्धांत]] [[Category: सममित कार्य]] [[Category: पूर्णांक विभाजन]]


 
[[Category:Articles with hatnote templates targeting a nonexistent page]]
 
[[Category:CS1 British English-language sources (en-gb)]]
[[Category: Machine Translated Page]]
[[Category:Created On 05/05/2023]]
[[Category:Created On 05/05/2023]]
[[Category:Machine Translated Page]]
[[Category:Pages with script errors]]
[[Category:Template SpringerEOM with broken ref|T]]
[[Category:Templates Vigyan Ready]]
[[Category:परिमित समूहों का प्रतिनिधित्व सिद्धांत]]
[[Category:पूर्णांक विभाजन]]
[[Category:सममित कार्य]]

Latest revision as of 17:42, 19 September 2023

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

परिभाषाएँ

नोट: यह लेख यंग डायग्राम और टैबलॉ प्रदर्शित करने के लिए अंग्रेजी सम्मेलन का उपयोग करता है।

आरेख

आकार का यंग आरेख (5, 4, 1), अंग्रेजी अंकन
शेप का यंग डायग्राम (5, 4, 1), फ्रेंच नोटेशन

एक यंग आकृति जिसे फेरर्स आरेख भी कहा जाता है जबकि विशेष रूप से बिन्दु का उपयोग करके जब यह दर्शाया जाता है तो यह बढ़ते क्रम की पंक्ति में लंबाई के साथ बाएं-न्याय संगत पंक्तियों में व्यवस्थित बक्से या कोशिकाओं का एक सीमित संग्रह है तथा प्रत्येक पंक्ति में बक्सों की संख्या सूचीबद्ध करने से एक विभाजन संख्या सिद्धांत मिलता है जिसमें λ एक गैर-ऋणात्मक पूर्णांक का n आरेख के बक्सों की कुल संख्या है यंग आरेख n आकार का कहा जाता है और λ विभाजन के समान जानकारी रखता है एक यंग आरेख को दूसरे में समाहित करना सभी विभाजनों के समूह पर आंशिक क्रम को परिभाषित करता है जो वास्तव में एक जाली क्रम संरचना है जिसे यंग आरेख की जाली के रूप में जाना जाता है तथा प्रत्येक कॉलम में एक यंग आरेख के बक्सों की संख्या को सूचीबद्ध करने से एक और विभाजन मिलता है इसका संयुग्म या स्थानांतरण विभाजन λ मूल आरेख को इसके मुख्य विकर्ण के साथ प्रतिबिंबित करके उस आकार का एक यंग आरेख प्राप्त करता है।

लगभग सार्वभौमिक सहमति यह है कि पूर्णांक के जोड़े द्वारा यंग आरेख के प्लास्टिक बॉक्स में पहली अनुक्रमणिका आरेख की पंक्ति का चयन करता है और दूसरी अनुक्रमणिका पंक्ति के भीतर बॉक्स का चयन करता है फिर भी इन आरेखों को प्रदर्शित करने के लिए दो अलग-अलग सम्मेलन एकत्रित हैं और इसके परिणामस्वरूप टैबलॉ पहली पंक्ति को पिछले एक के नीचे रखती है और दूसरी पंक्ति को पिछले एक शीर्ष पर रखती है चूंकि पूर्व सम्मेलन मुख्य रूप से अंग्रेजी बोलने वाली दुनिया द्वारा उपयोग किया जाता है जबकि बाद वाले को प्रायः वाक्य की स्पष्टता द्वारा पसंद किया जाता है यह इन सम्मेलनों को क्रमशः अंग्रेजी संकेतन और फ्रेंच संकेतन के रूप में संदर्भित करने के लिए प्रथागत है उदाहरण के लिए सममित कार्यों पर अपनी पुस्तक में इयान जी मैकडोनाल्ड पाठकों को सलाह देते हैं कि फ्रांसीसी परंपरा को पसंद करते हुए इस पुस्तक को एक दर्पण में उल्टा पढ़ें यह नामकरण संभवतः मजाक के रूप में शुरू हुआ अंग्रेजी संकेतन पंक्ति के लिए यह परंपरा सार्वभौमिक रूप से उपयोग किए जाने वाले संकेतन से मेल खाती है जबकि फ्रांसीसी संकेतन लिप्यन्तरण निर्देशांक के सम्मेलन के करीब है तथा फ्रांसीसी संकेतन पहले ऊर्ध्वाधर निर्देशांक को रखकर उस सम्मेलन से भिन्न होता था जबकि अंग्रेजी संकेतन का उपयोग करते हुए दाईं ओर का आंकड़ा संख्या 10 के विभाजन 5, 4, 1 के अनुरूप यंग आरेख दिखाता है तथा संयुग्मित विभाजन स्तंभ की लंबाई को मापता है।

हाथ और पैर की लंबाई

कई अनुप्रयोगों में जब भारी वस्तु के उपकरण को उठाने को परिभाषित करते हैं तो हाथ की लंबाई को परिभाषित करना सुविधाजनक होता है λ(s) अंग्रेजी संकेतन में आरेख λ में s के दाईं ओर बक्से की संख्या के रूप में जाना जाता है तथा एक बॉक्स s इसी तरह पैर की लंबाई एलλ एस के नीचे बक्से की संख्या के रूप में जाना जाता है इसमें बॉक्स एस की पैर की लंबाई या नीचे के बॉक्स की संख्या भी सम्मिलित हैं दूसरे शब्दों में हुक की लंबाई एस + एलλ एस + 1 है।

टेबल्स

आकार की एक मानक यंग टैबलॉ (5, 4, 1)

यंग आरेख के बक्सों में कुछ वर्णमाला के प्रतीकों को भरकर एक यंग टैबलॉ प्राप्त की जाती है जिसे आमतौर पर पूरी तरह से आदेश किए गए समूह की आवश्यकता होती है मूल रूप से वह वर्णमाला अनुक्रमित चर का एक समूह था x1, x2, x3..., लेकिन अब अधिकतर संक्षिप्तता के लिए संख्याओं के एक समूह का उपयोग किया जाता है सममित समूह के प्रतिनिधित्व के लिए उनके मूल आवेदन में यंग झाँकियों के पास n अलग-अलग प्रविष्टियाँ मनमाने ढंग से आरेख के बक्सों को सौंपी गईं हैं तथा एक टैबलॉ को मानक भी कहा जाता है यदि प्रत्येक पंक्ति और प्रत्येक स्तंभ में प्रविष्टियाँ बढ़ रही हों तो विशिष्ट मानक यंग झांकियों की संख्या पर n प्रविष्टियाँ गणितीय संक्रिया द्वारा दी गई हैं जो इस प्रकार हैं-

1, 1, 2, 4, 10, 26, 76, 232, 764, 2620, 9496, ... (sequence A000085 in the OEIS).

अन्य अनुप्रयोगों में एक टैबलॉ में एक ही संख्या को एक से अधिक बार या बिल्कुल नहीं प्रकट होने की अनुमति देना स्वाभाविक है एक यंग टैबलॉ को अर्धमानक या स्तंभ कहा जाता है यदि प्रविष्टियाँ प्रत्येक पंक्ति के साथ कमजोर रूप से बढ़ती हैं और प्रत्येक स्तंभ को सख्ती से बढ़ाती हैं तो एक टैबलॉ में प्रत्येक संख्या कितनी बार दिखाई देती है इसे एकत्र करने से एक क्रम मिलता है जिसे टैबलॉ के वजन के रूप में जाना जाता है इस प्रकार मानक यंग टैबलॉ का वजन 1,1,...,1 की अर्धमानक टैबलॉ है जिसके लिए प्रत्येक पूर्णांक तक की आवश्यकता होती है n ठीक एक बार घटित होना ही

एक मानक यंग टैबलॉ में पूर्णांक एक वंश है अगर से नीचे एक पंक्ति में दिखाई देती है तो . अवरोहण के योग को टैबलॉ का प्रमुख सूचकांक कहा जाता है।[3]

रूपांतर

इस परिभाषा की कई विविधताएँ हैं उदाहरण के लिए एक पंक्ति यंग टैबलॉ में प्रविष्टियाँ पंक्तियों के साथ बढ़ती हैं और स्तंभों में कमजोर रूप से बढ़ाती हैं इसके बाद घटती प्रविष्टियों वाली टैबलॉ पर विचार किया गया है जो विशेष रूप से समतल विभाजन के सिद्धांत में दूरगामी टैबलॉ या रिबन टैबलॉ जैसे सामान्यीकरण के लिए उपयोगी हैं जिसमें उन्हें प्रविष्टियाँ सौंपने से पहले कई बक्सों को एक साथ रखा जा सकता है।

तिरछी टैबलॉ

आकार की तिरछी टैबलॉ (5, 4, 2, 2) / (2, 1), अंग्रेजी अंकन

तिरछे आकार के विभाजनों की एक जोड़ी है जो (λ, μ) द्वारा प्रदर्शित की जाती है यंग आरेख λ में तिरछी झॉकी यंग आरेख सम्मिलित हैं इसे μ द्वारा दर्शाया गया है λ/μ. अगर λ = (λ1, λ2, ...) और μ = (μ1, μ2, ...), तो आरेखों के सम्‍मिलन का अर्थ है कि μi ≤ λi सभी के लिए i. तिरछी आकृति का तिरछा आरेख λ/μ के यंग आरेखों का समूह-सैद्धांतिक अंतर है λ और μ: वर्गों का समूह जो आरेख से संबंधित है λ उससे μ. आकार की तिरछी यंग टैबलॉ λ/μ संबंधित तिरछा आरेख के वर्गों को भरकर प्राप्त किया जाता है इस तरह की टैबलॉ अर्ध-मानक होती है यदि प्रविष्टियाँ प्रत्येक पंक्ति के साथ कमजोर रूप से बढ़ती हैं और प्रत्येक स्तंभ के नीचे बढ़ती हैं तो यह मानक है यदि इसके अलावा 1 से लेकर तिरछे आरेख के वर्गों की संख्या ठीक एक बार आती है जबकि विभाजन से लेकर उनके यंग आरेख तक का नक्शा तिरछे आकार से लेकर तिरछे आरेख तक के नक्शे के लिए नहीं है [4] इसलिए तिरछा आरेख का आकार हमेशा भरे हुए वर्गों के समूह से निर्धारित नहीं किया जा सकता है जबकि तिरछी टैबलॉ के कई गुण केवल भरे हुए वर्गों पर निर्भर करते हैं तथा उन पर परिभाषित कुछ संक्रियाओं के लिए स्पष्ट ज्ञान की आवश्यकता होती है λ और μ, इसलिए महत्वपूर्ण है कि तिरछी टैबलॉ इस जानकारी को एकत्र करें और दो अलग-अलग तिरछी झांकियां उनके आकार में भिन्न हो सकती हैं जबकि वे वर्गों के एक ही समूह पर हस्तांतरण कर लेती हैं और प्रत्येक झॉंकी एक ही प्रविष्टि से भरी होती है [5] यंग टैबलॉ को तिरछी टैबलॉ से पहचाना जा सकता है जिसमें μ खाली विभाजन का अद्वितीय विभाजन है।

कोई तिरछी अर्धमानक टैबलॉ T आकार का λ/μ सकारात्मक पूर्णांक प्रविष्टियों के साथ शुरू करके विभाजन या यंग आरेख के अनुक्रम को जन्म देता है तथा μ विभाजन के लिए होता है i उस क्रम में आगे होता है जिसका चित्र उससे प्राप्त किया गया है μ मान वाले सभी बक्सों को जोड़कर  ≤i में T यह विभाजन अंततः के बराबर हो जाता है λ इस तरह के क्रम में क्रमिक आकृतियों का कोई भी जोड़ा तिरछा आकार दे सकता है जिसके आरेख में प्रत्येक कॉलम में अधिकतम एक बॉक्स होता है ऐसी आकृतियों को क्षैतिज पट्टियां कहा जाता है विभाजनों का यह क्रम पूरी तरह से यह निर्धारित करता है कि T वास्तव में इस तरह के अनुक्रमों के रूप में अर्ध-मानक टैबलॉ को परिभाषित करता है जैसा कि मैकडोनाल्ड 1979 में यंग झॉकी को दिखाया गया है कि λ और μ तिरछी टैबलॉ वाले विभाजन को सम्मिलित करती है।

अनुप्रयोगों का अवलोकन

नई टैबलॉ में संयोजन प्रतिनिधित्व सिद्धांत और बीजगणितीय ज्यामिति में कई अनुप्रयोग हैं यंग टैबलॉ की गिनती के विभिन्न तरीकों का पता लगाया गया है और यह शूर बहुपद की पहचान की ओर ले जाया गया है।

टैबलॉ पर कई संयोजी प्रारूप ज्ञात हैं जिसमें शुत्ज़ेनबर्गर पत्राचार सम्मिलित हैं लास्कोकस् और शुत्जेनबर्गर ने सभी सेमी-यंग टैबलॉ के समूह पर एक साहचर्य उत्पाद का अध्ययन किया इसे प्लैक्टिक मोनोइड नामक संरचना दी।

प्रतिनिधित्व सिद्धांत में आकार की मानक यंग टैबलॉ k पर सममित समूह के अलघुकरणीय अभ्यावेदन में आधारों का वर्णन करती है तथा k अक्षर सामान्य रेखीय समूह के परिमित-आयामी प्रतिनिधित्व में मानक मोनोमियल आधार GLn अक्षर 1, 2, ..., n अपरिवर्तनीय सिद्धांत के लिए इसका महत्वपूर्ण परिणाम है ग्रासमानियन के सजातीय समन्वय वलय पर डब्ल्यूवीडी द्रव्य समूह के काम से शुरू होता है और आगे सहयोगियों कॉन्सिनी का कोराडो और क्लॉडियस प्रोसी और डेविड ईसेनबड के साथ जियान-कार्लो रोटा द्वारा खोजा गया लिटिलवुड-रिचर्डसन नियम का वर्णन अप्रासंगिक प्रतिनिधित्व के प्रदिश उत्पादों के अपघटन GLn अलघुकरणीय घटकों में कुछ तिरछा अर्धमानक टैबलॉ के संदर्भ में तैयार किया गया है।

बीजगणितीय ज्यामिति के अनुप्रयोग ग्रासमानियन और ध्वज किस्मों पर शूबर्ट गणितीय के आसपास केंद्रित हैं कुछ महत्वपूर्ण कोहोलॉजी वर्ग को शुबर्ट बहुपद द्वारा दर्शाया जा सकता है और यंग टैबलॉ के संदर्भ में वर्णित किया जा सकता है।

प्रतिनिधित्व सिद्धांत में अनुप्रयोग

यंग आरेख जटिल संख्याओं पर सममित समूह के अलघुकरणीय निरूपण के साथ एक-से-एक पत्राचार में हैं वे यंग समरूपताओं को निर्दिष्ट करने का एक सुविधाजनक तरीका प्रदान करते हैं जिससे सममित समूह के प्रतिनिधित्व सिद्धांत का निर्माण होता है एक निरूपण के बारे में कई तथ्यों से संबंधित आरेख निकाले जा सकते है हम दो उदाहरणों का वर्णन करते हैं जैसे एक प्रतिनिधित्व और प्रतिबंधित प्रतिनिधित्व के आयाम का निर्धारण करना दोनों ही जगहों में हम देखेंगे कि किसी निरूपण के कुछ गुणों को उसके आरेख का उपयोग करके निर्धारित किया जा सकता है जो यंग टैबलॉ में सममित समूह के उपयोग में सम्मिलित हैं प्रमात्रा रसायन विज्ञान परमाणुओं अणुओं और ठोस पदार्थों का अध्ययन करता है [6][7] यंग आरेख सामान्य रेखीय समूह के अलघुकरणीय बहुपद अभ्यावेदन को भी प्रचलित करते हैं GLn जब उनके पास अधिक से अधिक n गैर-खाली पंक्तियां हों या विशेष रैखिक समूह के अलघुकरणीय निरूपण SLn जब उनके पास अधिक से अधिक हो तो n − 1 गैर-खाली पंक्तियाँ या विशेष एकात्मक समूह के अलघुकरणीय जटिल निरूपण SUn फिर जब उनके पास अधिक से अधिक n − 1 गैर-खाली पंक्तियाँ हों इन जगहों में प्रविष्टियों के साथ अर्धमानक टैबलॉ n मानक टैबलॉ के जगह केंद्रीय भूमिका निभाएं जो विशेष रूप से यह उन टैबलॉ की संख्या के प्रतिनिधित्व के आयाम को निर्धारित करती है।

एक प्रतिनिधित्व का आयाम

Hook-lengths of the boxes for the partition 10 = 5 + 4 + 1
Hook-lengths of the boxes for the partition 10 = 5 + 4 + 1

अलघुकरणीय प्रतिनिधित्व का आयाम πλ सममित समूह का Sn एक विभाजन के अनुरूप λ का n विभिन्न मानक यंग टैबलॉ की संख्या के बराबर है जो प्रतिनिधित्व के आरेख से प्राप्त की जा सकती है इस संख्या की गणना हुक लंबाई सूत्र द्वारा की जा सकती है।

एक हुक लंबाई x यंग आरेख में Y(λ) आकार का λ उन बक्सों की संख्या है जो इसके दाईं ओर एक ही पंक्ति में हैं और इसके नीचे एक ही कॉलम में वे स्थित हैं साथ ही एक बॉक्स के लिए हुक-लम्बाई सूत्र द्वारा एक अलघुकरणीय प्रतिनिधित्व का आयाम है n! प्रतिनिधित्व के आरेख में सभी बक्से की हुक लंबाई के उत्पाद से विभाजित किया जाता है जैसे

तब

दाईं ओर का आंकड़ा विभाजन 10 = 5 + 4 + 1 के आरेख में सभी बक्सों के लिए हुक-लंबाई दिखाता है इस प्रकार

इसी तरह अलघुकरणीय प्रतिनिधित्व का आयाम W(λ) का GLr n के विभाजन λ के अनुरूप अधिकतम r भागों के साथ आकार λ की अर्ध-मानक यंग टैबलॉ की संख्या है केवल 1 से r तक की प्रविष्टियाँ हैं जो हुक-लंबाई सूत्र द्वारा दी गई है

जहां सूचकांक मैं एक बॉक्स की पंक्ति और जे कॉलम देता हूं [8] उदाहरण के लिए विभाजन (5,4,1) के लिए हम इसी प्रतिनिधित्व के आयाम के रूप में प्राप्त करते हैं GL7 पंक्तियों द्वारा बक्सों को पार करता है जो इस प्रकार है


प्रतिबंधित प्रतिनिधित्व

इसमें सममित समूह का एक प्रतिनिधित्व n तत्व Sn भी सममित समूह का प्रतिनिधित्व है n − 1 तत्व Sn−1.

का एक अलघुकरणीय प्रतिनिधित्व Sn के लिए अलघुकरणीय नहीं हो सकता है Sn−1. इसके अभ्यावेदन का प्रत्यक्ष योग हो सकता है जिसके लिए यह अप्रासंगिक हैं Sn−1. इन अभ्यावेदन को प्रतिबंधित प्रतिनिधित्व का कारक कहा जाता है

एक अलघुकरणीय प्रतिनिधित्व के प्रतिबंधित प्रतिनिधित्व के इस अपघटन को निर्धारित करने का प्रश्नn एक विभाजन के अनुरूप λ का n का उत्तर इस प्रकार है जो एक यंग आरेख का समूह बनाता है जिसे झॉकी आरेख से प्राप्त किया जा सकता है λ सिर्फ एक बॉक्स से हटाकर जो इसकी पंक्ति और कॉलम दोनों के अंत में होना चाहिए प्रतिबंधित प्रतिनिधित्व अप्रासंगिक अभ्यावेदन के प्रत्यक्ष योग के रूप में विघटित हो जाता है Sn−1 उन आरेखों के अनुरूप प्रत्येक योग में एक बार होता है।

यह भी देखें

  • प्रायोगिक पत्राचार।
  • सुरक्षित आपूर्ति।

टिप्पणियाँ

  1. Knuth, Donald E. (1973), The Art of Computer Programming, Vol. III: Sorting and Searching (2nd ed.), Addison-Wesley, p. 48, Such arrangements were introduced by Alfred Young in 1900.
  2. Young, A. (1900), "On quantitative substitutional analysis", Proceedings of the London Mathematical Society, Ser. 1, 33 (1): 97–145, doi:10.1112/plms/s1-33.1.97. See in particular p. 133.
  3. Stembridge, John (1989-12-01). "On the eigenvalues of representations of reflection groups and wreath products". Pacific Journal of Mathematics. Mathematical Sciences Publishers. 140 (2): 353–396. doi:10.2140/pjm.1989.140.353. ISSN 0030-8730.
  4. For instance the skew diagram consisting of a single square at position (2,4) can be obtained by removing the diagram of μ = (5,3,2,1) from the one of λ = (5,4,2,1), but also in (infinitely) many other ways. In general any skew diagram whose set of non-empty rows (or of non-empty columns) is not contiguous or does not contain the first row (respectively column) will be associated to more than one skew shape.
  5. A somewhat similar situation arises for matrices: the 3-by-0 matrix A must be distinguished from the 0-by-3 matrix B, since AB is a 3-by-3 (zero) matrix while BA is the 0-by-0 matrix, but both A and B have the same (empty) set of entries; for skew tableaux however such distinction is necessary even in cases where the set of entries is not empty.
  6. Philip R. Bunker and Per Jensen (1998) Molecular Symmetry and Spectroscopy, 2nd ed. NRC Research Press,Ottawa [1] pp.198-202.ISBN 9780660196282
  7. R.Pauncz (1995) The Symmetric Group in Quantum Chemistry, CRC Press, Boca Raton, Florida
  8. Predrag Cvitanović (2008). Group Theory: Birdtracks, Lie's, and Exceptional Groups. Princeton University Press., eq. 9.28 and appendix B.4


संदर्भ


बाहरी संबंध