मैकडोनाल्ड बहुपद: Difference between revisions

From Vigyanwiki
No edit summary
 
(8 intermediate revisions by 3 users not shown)
Line 1: Line 1:
गणित में, मैकडोनाल्ड बहुपद ''पी''<sub>λ</sub>(x; t,q) कई चरों में [[ऑर्थोगोनल बहुपद]] [[सममित बहुपद]] बहुपदों का एक परिवार है, जिसे 1987 में मैकडोनाल्ड द्वारा पेश किया गया था। बाद में उन्होंने 1995 में एक गैर-सममित सामान्यीकरण की शुरुआत की। मैकडोनाल्ड ने मूल रूप से अपने बहुपदों को परिमित के वजन λ के साथ जोड़ा। परिमित रूट  प्रणाली और केवल एक वेरिएबल t का उपयोग किया, लेकिन बाद में महसूस किया कि परिमित रूट प्रणाली के बजाय उन्हें affine रूट प्रणाली के साथ जोड़ना अधिक स्वाभाविक है, जिस स्थिति में वेरिएबल t को कई अलग-अलग वेरिएबल्स t=(t) से बदला जा सकता है<sub>1</sub>,...,टी<sub>''k''</sub>), affine रूट प्रणाली में जड़ों की प्रत्येक k कक्षाओं के लिए एक कोटि है। मैकडोनाल्ड बहुपद n चर x = (x) में बहुपद हैं<sub>1</sub>,...,एक्स<sub>''n''</sub>), जहां n affine रूट सिस्टम का रैंक है। वे ऑर्थोगोनल बहुपदों के कई अन्य परिवारों को सामान्यीकरण करते हैं, जैसे कि [[जैक बहुपद]] और हॉल-लिटिलवुड बहुपद और आस्की-विल्सन बहुपद, जो विशेष मामलों के रूप में नामित 1-चर ऑर्थोगोनल बहुपदों में से अधिकांश को शामिल करते हैं। Koornwinder बहुपद कुछ गैर-कम रूट प्रणाली के Macdonald बहुपद हैं। उनके पास [[affine हेज बीजगणित]] और [[हिल्बर्ट योजना]]ओं के साथ गहरे संबंध हैं, जिनका उपयोग उनके बारे में  मैकडोनाल्ड द्वारा उनके बारे में किए गए कई अनुमानों को साबित करने के लिए किया गया था।
गणित में, मैकडोनाल्ड बहुपद ''P''<sub>λ</sub>(x; t,q) कई चरों में [[ऑर्थोगोनल बहुपद|लांबिक विश्लेषण बहुपद]] [[सममित बहुपद]] बहुपदों का एक संगठन है, जिसे 1987 में मैकडोनाल्ड द्वारा प्रस्तुत किया गया था। बाद में उन्होंने 1995 में एक गैर-सममित सामान्यीकरण का प्रारम्भ किया। मैकडोनाल्ड ने मूल रूप से अपने बहुपदों को परिमित के भार λ के साथ जोड़ा। इसमें परिमित मूल प्रणाली और केवल एक चर पद t का उपयोग किया गया, लेकिन बाद में अनुभव किया गया कि परिमित मूल प्रणाली के अतिरिक्त उन्हें अफ्फीन मूल प्रणाली के साथ जोड़ना अधिक स्वाभाविक है। जिस स्थिति में चर पद t को कई अलग-अलग चर पद t=(t)<sub>1</sub> ,...,t<sub>''k''</sub>से बदला जा सकता है, अफ्फीन मूल प्रणाली में मूलों की प्रत्येक k कक्षाओं के लिए एक कोटि है। मैकडोनाल्ड बहुपद n चर x = (x)<sub>1</sub> ,...,x<sub>''n''</sub> में बहुपद हैं), जहां n अफ्फीन मूल प्रणाली का श्रेणी है। वे लांबिक विश्लेषण बहुपदों के कई अन्य संगठनों का सामान्यीकरण करते हैं, जैसे कि [[जैक बहुपद]] और हॉल-लिटिलवुड बहुपद और आस्की-विल्सन बहुपद, जो विशेष प्रकरणों के रूप में नामित 1-चर लांबिक विश्लेषण बहुपदों में से अधिकांश को सम्मिलित करते हैं। कुर्नविंडर बहुपद कुछ गैर-कम मूल प्रणाली के मैक्डोनाल्ड बहुपद हैं। इनके बीच [[affine हेज बीजगणित|अफ्फीन हेज बीजगणित]] और [[हिल्बर्ट योजना]]ओं के साथ गहरे संबंध हैं, जिनका उपयोग मैकडोनाल्ड द्वारा उनके बारे में किए गए कई अनुमानों को प्रमाणित करने के लिए किया गया था।


== परिभाषा ==
== परिभाषा ==
पहले कुछ अंकन ठीक करें:
पहले कुछ अंकन ठीक करें:
*R वास्तविक सदिश समष्टि V में एक परिमित मूल तंत्र है।
*R वास्तविक सदिश समष्टि V में एक परिमित मूल तंत्र है।
*आर + सकारात्मक जड़ों का एक विकल्प है, जो एक सकारात्मक [[वेइल कक्ष]] से मेल खाती है।  
*R + सकारात्मक मूलों का एक विकल्प है, जो एक सकारात्मक [[वेइल कक्ष]] से समानता रखती है।
* W, R का [[वेइल समूह]] है।
* W, R का [[वेइल समूह]] है।
* क्यू आर की जड़ जाली है (जड़ों द्वारा फैली जाली)।
* Q, R का मूल समूह है (मूलों द्वारा विस्तृत समूह)।
* P, R (Q युक्त) का भार जालक है।
* P, R (Q युक्त) का भार समूहक है।
* एक [[वजन जाली]] वजन के स्थान पर आदेश देना: <math>\mu \le \lambda</math> अगर और केवल अगर <math>\lambda-\mu</math> रूट सिस्टम पॉजिटिव रूट्स और सिंपल रूट्स का नॉन-नेगेटिव लीनियर कॉम्बिनेशन है।
* [[वजन जाली|भार समूह]] भार के स्थान पर आदेश : <math>\mu \le \lambda</math> सिर्फ <math>\lambda-\mu</math> मूल प्रणाली धनात्मक मूल और साधारण मूल का नॉन-नेगेटिव लीनियर संबद्धीकरण है।
*P<sup>+</sup> प्रमुख भारों का समूह है: धनात्मक वेइल कक्ष में P के तत्व।
*धनात्मक वेइल कक्ष में P के तत्व P<sup>+</sup> प्रमुख भारों का समूह है।
* ρ [[वेइल वेक्टर]] है: धनात्मक जड़ों का आधा योग; यह सकारात्मक वेइल कक्ष के आंतरिक भाग में P+ का एक विशेष तत्व है।
* ρ [[वेइल वेक्टर]]: धनात्मक मूलों का आधा योग सकारात्मक वेइल कक्ष के आंतरिक भाग में P+ का एक विशेष तत्व है।
*F विशेषता 0 का एक क्षेत्र है, सामान्य रूप से परिमेय संख्याएँ।
*सामान्य रूप से परिमेय संख्याएँ F विशेषता 0 का एक क्षेत्र है।
*A = F(P), P का समूह बीजगणित है, जिसमें λ ∈ P के लिए eλ लिखे गए तत्वों का आधार है।
*A = F(P), P का समूह बीजगणित है, जिसमें λ ∈ P के लिए eλ लिखे गए तत्वों का आधार है।
*अफ्फीन मूल प्रणाली में मूलों की प्रत्येक k कक्षाओं के लिए एक कोटि है।
* यदि f = eλ, तो f का अर्थ e−λ है, और इसे रैखिकता द्वारा पूरे समूह बीजगणित तक विस्तारित किया जाता है।
* यदि f = eλ, तो f का अर्थ e−λ है, और इसे रैखिकता द्वारा पूरे समूह बीजगणित तक विस्तारित किया जाता है।
*mμ = Σλ ∈ Wμeλ एक कक्षा योग है; ये तत्व डब्ल्यू द्वारा निर्धारित तत्वों के सबलजेब्रा एडब्ल्यू के लिए एक आधार बनाते हैं।
*mμ = Σλ ∈ Wμeλ एक कक्षा योग है; ये तत्व डब्ल्यू द्वारा निर्धारित तत्वों के सबलजेब्रा एडब्ल्यू के लिए एक आधार बनाते हैं।
*<math>(a;q)_\infty = \prod_{r\ge0}(1-aq^r)</math>, क्यू-पोचममेर प्रतीक|अनंत क्यू-पोचममेर प्रतीक।
*<math>(a;q)_\infty = \prod_{r\ge0}(1-aq^r)</math>, Q-पोचममेर प्रतीक
*<math>\Delta= \prod_{\alpha\in R} {(e^\alpha; q)_\infty \over (te^\alpha; q)_\infty}. </math>
*<math>\Delta= \prod_{\alpha\in R} {(e^\alpha; q)_\infty \over (te^\alpha; q)_\infty}. </math>
*<math>\langle f,g\rangle=(\text{constant term of }f \overline g \Delta)/|W|</math> के दो तत्वों का आंतरिक उत्पाद है, कम से कम जब टी क्यू की सकारात्मक पूर्णांक शक्ति है।
*<math>\langle f,g\rangle=(\text{constant term of }f \overline g \Delta)/|W|</math> A के दो तत्वों का आंतरिक उत्पाद है, कम से कम जब t, Q की सकारात्मक पूर्णांक शक्ति है।


λ ∈ P+ के लिए मैकडोनाल्ड बहुपद Pλ को निम्नलिखित दो स्थितियों द्वारा विशिष्ट रूप से परिभाषित किया गया है:
λ ∈ P+ के लिए मैकडोनाल्ड बहुपद Pλ को निम्नलिखित दो स्थितियों द्वारा विशिष्ट रूप से परिभाषित किया गया है:
:<math>P_\lambda=\sum_{\mu\le \lambda}u_{\lambda\mu}m_\mu</math> जहां तुम<sub>&lambda;&mu;</sub> यू के साथ क्यू और टी का एक तर्कसंगत कार्य है<sub>&lambda;&lambda;</sub> = 1;
:<math>P_\lambda=\sum_{\mu\le \lambda}u_{\lambda\mu}m_\mu</math> यहाँ U<sub>&lambda;&mu;</sub> के साथ Q और t का एक तर्कसंगत फलन <sub>&lambda;&lambda;</sub> = 1 है,
: पी<sub>&lambda;</sub> और पी<sub>&mu;</sub> ओर्थोगोनल हैं अगर λ<<μ।
: P<sub>&lambda;</sub> और P<sub>&mu;</sub> लांबिक विश्लेषण हैं अगर λ<<μ हैं।


दूसरे शब्दों में, मैकडोनाल्ड बहुपद AW के स्पष्ट आधार को ऑर्थोगोनलाइज़ करके प्राप्त किए जाते हैं। इन गुणों वाले बहुपदों का अस्तित्व दिखाना आसान है (किसी भी आंतरिक उत्पाद के लिए)। मैकडोनाल्ड बहुपदों की एक प्रमुख संपत्ति यह है कि वे ओर्थोगोनल हैं: 〈Pλ, Pμ〉 = 0 जब कभी λ ≠ μ। यह परिभाषा का एक तुच्छ परिणाम नहीं है क्योंकि P+ पूरी तरह से व्यवस्थित नहीं है, और इसलिए इसमें बहुत सारे तत्व हैं जो अतुलनीय हैं। इस प्रकार किसी को यह जांचना चाहिए कि संगत बहुपद अभी भी ओर्थोगोनल हैं। ऑर्थोगोनलिटी को यह दिखा कर साबित किया जा सकता है कि मैकडोनाल्ड बहुपद 1-आयामी ईजेनस्पेस के साथ स्व-संलग्न ऑपरेटरों के आने-जाने के बीजगणित के लिए ईजेनवेक्टर हैं, और इस तथ्य का उपयोग करते हुए कि अलग-अलग ईजेनवैल्यू के लिए ईजेनस्पेस ऑर्थोगोनल होना चाहिए।
दूसरे शब्दों में, मैकडोनाल्ड बहुपद AW के स्पष्ट आधार को लांबिक विश्लेषणाइज़ करके प्राप्त किए जाते हैं। इन गुणों वाले बहुपदों का अस्तित्व दिखाना आसान है (किसी भी आंतरिक उत्पाद के लिए)। मैकडोनाल्ड बहुपदों की एक प्रमुख संपत्ति यह है कि वे लांबिक विश्लेषण हैं: , Pμ〉 = 0 जब कभी λ ≠ μ जिनका उपयोग मैकडोनाल्ड द्वारा उनके बारे में किए गए कई अनुमानों को प्रमाणित करने के लिए किया गया था। यह परिभाषा का एक तुच्छ परिणाम नहीं है क्योंकि P+ पूरी तरह से व्यवस्थित नहीं है, और इसलिए इसमें बहुत सारे तत्व हैं जो अतुलनीय हैं। इस प्रकार किसी को यह जांचना चाहिए कि संगत बहुपद अभी भी लांबिक विश्लेषण हैं। लांबिक विश्लेषणिटी को यह दिखा कर प्रमाणित किया जा सकता है कि मैकडोनाल्ड बहुपद 1-आयामी ईजेनसमतल के साथ स्व-संलग्न ऑपरेटरों के आने-जाने के बीजगणित के लिए ईजेनवेक्टर हैं, और इस तथ्य का उपयोग करते हुए कि अलग-अलग ईजेनवैल्यू के लिए ईजेनसमतल लांबिक विश्लेषण होना चाहिए।


नॉन-सिंपली-लेस्ड रूट प्रणाली (बी, सी, एफ, जी) के मामले में, पैरामीटर टी को रूट की लंबाई के साथ अलग-अलग करने के लिए चुना जा सकता है, जिससे मैकडोनाल्ड बहुपदों का तीन-पैरामीटर परिवार मिलता है। परिभाषा को गैर-घटित रूट प्रणाली बीसी तक भी बढ़ाया जा सकता है, जिस स्थिति में कोई छह-पैरामीटर परिवार (जड़ों की प्रत्येक कक्षा के लिए एक टी, प्लस क्यू) प्राप्त करता है, जिसे कोर्नविंदर बहुपद के रूप में जाना जाता है। मैकडोनाल्ड बहुपदों को कभी-कभी गैर-कम किए गए एफाइन रूट प्रणाली के आधार पर मानना बेहतर होता है। इस मामले में, एफाइन रूट प्रणाली में जड़ों की प्रत्येक कक्षा से जुड़ा एक पैरामीटर टी है, साथ ही एक पैरामीटर क्यू। जड़ों की कक्षाओं की संख्या 1 से 5 तक अलग-अलग हो सकती है।
नॉन-साधारणी-लेस्ड मूल प्रणाली (B, C, F, G) के प्रकरण में, पैरामीटर t को मूल की लंबाई के साथ अलग-अलग करने के लिए चुना जा सकता है, जिससे मैकडोनाल्ड बहुपदों का तीन-पैरामीटर संगठन मिलता है। परिभाषा को गैर-घटित मूल प्रणाली बीसी तक भी बढ़ाया जा सकता है, जिस स्थिति में कोई छह-पैरामीटर संगठन (मूलों की प्रत्येक कक्षा के लिए एक t, + q) प्राप्त करता है, जिसे कोर्नविंदर बहुपद के रूप में जाना जाता है। इस प्रकार किसी को यह जांचना चाहिए कि संगत बहुपद अभी भी लांबिक विश्लेषण हैं। मैकडोनाल्ड बहुपदों को कभी-कभी गैर-कम किए गए एफाइन मूल प्रणाली के आधार पर मानना बेहतर होता है। इस प्रकरण में, एफाइन मूल प्रणाली में मूलों की प्रत्येक कक्षा से जुड़ा एक पैरामीटर t है, साथ ही एक पैरामीटर q मूलों की कक्षाओं की संख्या 1 से 5 तक अलग-अलग हो सकती है।


== उदाहरण ==
== उदाहरण ==


*यदि q = t मैकडोनाल्ड बहुपद जड़ प्रणाली के कॉम्पैक्ट समूह के प्रतिनिधित्व के वेइल वर्ण बन जाते हैं, या टाइप के रूट प्रणाली के मामले में शूर कार्य करता है।
*यदि q = t मैकडोनाल्ड बहुपद मूल प्रणाली के कॉम्पैक्ट समूह के प्रतिनिधित्व के वेइल वर्ण बन जाते हैं, या टाइप A के मूल प्रणाली के प्रकरण में शूर फलन करता है।
*यदि q = 0 मैकडोनाल्ड बहुपद अर्ध-सरल पी-एडिक समूह, या हॉल-लिटिलवुड बहुपदों के लिए (पुनर्वर्धित) [[आंचलिक गोलाकार कार्य]] बन जाते हैं, जब रूट प्रणाली का प्रकार होता है।
*यदि q = 0 मैकडोनाल्ड बहुपद अर्ध-सरल p-एडिक समूह, या हॉल-लिटिलवुड बहुपदों के लिए (पुनर्वर्धित) [[आंचलिक गोलाकार कार्य|आंचलिक गोलाकार फलन]] बन जाते हैं, जब मूल प्रणाली का प्रकार A होता है।
*यदि t = 1 मैकडोनाल्ड बहुपद W कक्षाओं पर योग बन जाते हैं, जो रूट सिस्टम के प्रकार A होने पर मोनोमियल सममित कार्य होते हैं।
*यदि t = 1 मैकडोनाल्ड बहुपद W कक्षाओं पर योग बन जाते हैं, जो मूल प्रणाली के प्रकार A होने पर मोनोमियल सममित फलन होते हैं।
*यदि हम t = q रखें<sup>α</sup> और मान लें कि q 1 की ओर जाता है तो मैकडोनाल्ड बहुपद जैक बहुपद बन जाते हैं जब रूट सिस्टम A प्रकार का होता है, और अधिक सामान्य रूट सिस्टम के लिए हेकमैन-ऑप्डम बहुपद।
*यदि हम t = q<sup>α</sup> रखें और मान लें कि q1 की ओर जाता है तो मैकडोनाल्ड बहुपद जैक बहुपद बन जाते हैं जब मूल प्रणाली A प्रकार का होता है, और अधिक सामान्य मूल प्रणाली के लिए हेकमैन-ऑप्डम बहुपद।
*एफ़ाइन रूट सिस्टम के लिए A<sub>1</sub>, मैकडोनाल्ड बहुपद [[रोजर्स बहुपद]] हैं।
*एफ़ाइन मूल प्रणाली के लिए A<sub>1</sub>, मैकडोनाल्ड बहुपद [[रोजर्स बहुपद]] हैं।
* गैर-कम रैंक 1 के लिए प्रकार की जड़ प्रणाली (सी{{su|b=1|p=&or;}}, सी<sub>1</sub>), मैकडोनाल्ड बहुपद आस्की-विल्सन बहुपद हैं, जो बदले में 1 चर में ऑर्थोगोनल बहुपदों के अधिकांश नामित परिवारों को विशेष मामलों के रूप में शामिल करते हैं।
* गैर-कम श्रेणी 1 के लिए प्रकार की मूल प्रणाली (C{{su|b=1|p=&or;}}, C<sub>1</sub>), मैकडोनाल्ड बहुपद आस्की-विल्सन बहुपद हैं, जो बदले में 1 चर में लांबिक विश्लेषण बहुपदों के अधिकांश नामित संगठनों को विशेष प्रकरणों के रूप में सम्मिलित करते हैं।
* गैर-कम किए गए एफाइन रूट सिस्टम के प्रकार के लिए (सी{{su|b=''n''|p=&or;}}, सी<sub>''n''</sub>), मैकडोनाल्ड बहुपद कोर्नविंदर बहुपद हैं।
* गैर-कम किए गए एफाइन मूल प्रणाली के प्रकार के लिए (C{{su|b=''n''|p=&or;}}, C<sub>''n''</sub>), मैकडोनाल्ड बहुपद कोर्नविंदर बहुपद हैं।


==मैकडॉनल्ड कॉन्स्टेंट टर्म कंजेक्चर==
==मैकडॉनल्ड कॉन्स्टेंट टर्म कंजेक्चर==


अगर टी = क्यू<sup>k</sup> किसी धनात्मक पूर्णांक k के लिए, तब मैकडोनाल्ड बहुपदों का मान दिया जाता है
अगर t = q<sup>k</sup> किसी धनात्मक पूर्णांक k के लिए, तब मैकडोनाल्ड बहुपदों का मान दिया जाता है


:<math>\langle P_\lambda, P_\lambda\rangle = \prod_{\alpha\in R, \alpha>0} \prod_{0<i<k} {1-q^{(\lambda+k\rho,2\alpha/(\alpha,\alpha))+i} \over 1-q^{(\lambda+k\rho,2\alpha/(\alpha,\alpha))-i}}.</math>
:<math>\langle P_\lambda, P_\lambda\rangle = \prod_{\alpha\in R, \alpha>0} \prod_{0<i<k} {1-q^{(\lambda+k\rho,2\alpha/(\alpha,\alpha))+i} \over 1-q^{(\lambda+k\rho,2\alpha/(\alpha,\alpha))-i}}.</math>
यह मैकडोनाल्ड (1982) द्वारा [[डायसन अनुमान]] के सामान्यीकरण के रूप में अनुमान लगाया गया था, और चेरेडनिक (1995) द्वारा सभी (कम) रूट सिस्टम के लिए साबित किया गया था, जिसमें डबल एफाइन हेके बीजगणित के गुणों का उपयोग किया गया था। अनुमान पहले प्रकार ई को छोड़कर सभी जड़ प्रणालियों के लिए मामला-दर-मामला साबित हुआ था<sub>''n''</sub> कई लेखकों द्वारा।
यह मैकडोनाल्ड (1982) द्वारा [[डायसन अनुमान]] के सामान्यीकरण के रूप में अनुमान लगाया गया था, और चेरेडनिक (1995) द्वारा सभी (कम) मूल प्रणाली के लिए प्रमाणित किया गया था, जिसमें युग्मक एफाइन हेके बीजगणित के गुणों का उपयोग किया गया था। इस प्रकार किसी को यह जांचना चाहिए कि संगत बहुपद अभी भी लांबिक विश्लेषण हैं। अनुमान पहले प्रकार E<sub>''n''</sub> को छोड़कर सभी मूल प्रणालियों के लिए प्रकरण-दर-प्रकरण कई लेखकों द्वारा प्रमाणित हुआ था।


दो अन्य अनुमान हैं जो मानक अनुमान के साथ सामूहिक रूप से इस संदर्भ में मैकडोनाल्ड अनुमान के रूप में संदर्भित होते हैं: मानदंड के सूत्र के अतिरिक्त, मैकडोनाल्ड ने पी के मूल्य के लिए एक सूत्र का अनुमान लगाया<sub>λ</sub> बिंदु पर टी<sup>ρ</sup>, और एक सममिति
दो अन्य अनुमान हैं जो मानक अनुमान के साथ सामूहिक रूप से इस संदर्भ में मैकडोनाल्ड अनुमान के रूप में संदर्भित होते हैं: मानदंड के सूत्र के अतिरिक्त, मैकडोनाल्ड ने P<sub>λ</sub> के मूल्य के लिए एक सूत्र का अनुमान लगाया बिंदु पर t<sup>ρ</sup>, और एक सममिति


:<math>\frac{P_\lambda(\dots,q^{\mu_i}t^{\rho_i},\dots)}{P_\lambda(t^\rho)}
:<math>\frac{P_\lambda(\dots,q^{\mu_i}t^{\rho_i},\dots)}{P_\lambda(t^\rho)}
=
=
\frac{P_\mu(\dots,q^{\lambda_i}t^{\rho_i},\dots)}{P_\mu(t^\rho)}.</math>
\frac{P_\mu(\dots,q^{\lambda_i}t^{\rho_i},\dots)}{P_\mu(t^\rho)}.</math>
फिर से, ये सामान्य रूप से कम रूट सिस्टम के लिए सिद्ध हुए {{harvs|txt|last=Cherednik|year=1995|authorlink=Ivan Cherednik}}, वैन डायजेन, नौमी और साही के काम के माध्यम से शीघ्र ही बाद में बीसी मामले के विस्तार के साथ डबल एफाइन हेके बीजगणित का उपयोग करते हुए।
फिर से, ये सामान्य रूप से कम मूल प्रणाली के लिए सिद्ध हुए {{harvs|txt|last=चेरेडनिक|year=1995|authorlink=Ivan Cherednik}}, वैन डायजेन, नौमी और साही के काम के माध्यम से शीघ्र ही बाद में BC प्रकरण के विस्तार के साथ युग्मक एफाइन हेके बीजगणित का उपयोग करते हुए संदर्भित मान देता है।


== मैकडोनाल्ड सकारात्मकता अनुमान ==
== मैकडोनाल्ड सकारात्मकता अनुमान ==


प्रकार ए की जड़ प्रणालियों के मामले में<sub>''n''&minus;1</sub> मैकडोनाल्ड बहुपद
प्रकार A<sub>''n''&minus;1</sub> की मूल प्रणालियों के प्रकरण में मैकडोनाल्ड बहुपद गुणांक वाले n चरों में केवल सममित बहुपद हैं जो q और t के परिमेय फलन हैं। एक निश्चित रूपांतरित संस्करण <math>\widetilde{H}_\mu</math> मैकडोनाल्ड बहुपदों के (नीचे मैकडोनाल्ड बहुपदों के लिए सांयोगिक सूत्र देखें) सममित फलनों के स्थान का एक लांबिक विश्लेषण आधार <math>\mathbb{Q}(q,t)</math> बनाते हैं, और इसलिए [[शूर बहुपद]] के संदर्भ में <math>s_\lambda</math> व्यक्त किया जा सकता है, गुणांक के <sub>λμ</sub>(q,t) इन संबंधों को 'कोस्तका-मैकडोनाल्ड गुणांक' या qt-कोस्तका गुणांक कहा जाता है। मैकडोनाल्ड ने अनुमान लगाया कि कोस्तका-मैकडोनाल्ड गुणांक गैर-नकारात्मक पूर्णांक गुणांक वाले q और t में बहुपद थे। ये अनुमान अब सिद्ध हो गए हैं; सबसे कठिन और अंतिम कदम सकारात्मकता को प्रमाणित करना था, जो [[मार्क हाईमन]] (2001) द्वारा किया गया था।
गुणांक वाले n चरों में केवल सममित बहुपद हैं जो q और t के परिमेय फलन हैं। एक निश्चित रूपांतरित संस्करण <math>\widetilde{H}_\mu</math> मैकडोनाल्ड बहुपदों के (नीचे मैकडोनाल्ड बहुपदों के लिए #combinatorial सूत्र देखें) सममित कार्यों के स्थान का एक ऑर्थोगोनल आधार बनाते हैं <math>\mathbb{Q}(q,t)</math>, और इसलिए [[शूर बहुपद]] के संदर्भ में व्यक्त किया जा सकता है <math>s_\lambda</math>. गुणांक के<sub>λμ</sub>(q,t) इन संबंधों को 'कोस्तका-मैकडोनाल्ड गुणांक' या qt-कोस्तका गुणांक कहा जाता है।
मैकडोनाल्ड ने अनुमान लगाया कि कोस्तका-मैकडोनाल्ड गुणांक गैर-नकारात्मक पूर्णांक गुणांक वाले क्यू और टी में बहुपद थे। ये अनुमान अब सिद्ध हो गए हैं; सबसे कठिन और अंतिम कदम सकारात्मकता को साबित करना था, जो [[मार्क हाईमन]] (2001) द्वारा किया गया था, एन साबित करके! अनुमान|एन! अनुमान।


क्यूटी-कोस्टका गुणांक के लिए एक संयोजक सूत्र खोजने के लिए यह अभी भी बीजगणितीय संयोजक में एक केंद्रीय खुली समस्या है।
qt-कोस्टका गुणांक के लिए एक संयोजक सूत्र खोजने के लिए यह अभी भी बीजगणितीय संयोजक में एक केंद्रीय खुली समस्या है।


==एन! अनुमान ==
==n! अनुमान ==
तब! अनुमान|एन! [[एड्रियन गार्सिया]] और मार्क हैमैन के अनुमान में कहा गया है कि प्रत्येक विभाजन के लिए n स्थान का μ है
तब अनुमान n! [[एड्रियन गार्सिया]] और मार्क हैमैन के अनुमान में कहा गया है कि प्रत्येक विभाजन के लिए n स्थान का μ है


:<math>D_\mu =C[\partial x,\partial y]\,\Delta_\mu</math>
:<math>D_\mu =C[\partial x,\partial y]\,\Delta_\mu</math>
के सभी उच्च आंशिक डेरिवेटिव द्वारा फैलाया गया
के सभी उच्च आंशिक व्युत्पादित द्वारा फैलाया गया है:


:<math>\Delta_\mu = \det (x_i^{p_j}y_i^{q_j})_{1\le i,j,\le n}</math>
:<math>\Delta_\mu = \det (x_i^{p_j}y_i^{q_j})_{1\le i,j,\le n}</math>
इसका आयाम n है !, जहाँ (p<sub>''j''</sub>, क्यू<sub>''j''</sub>) विभाजन μ के आरेख के n तत्वों के माध्यम से चलाया जाता है, जिसे गैर-ऋणात्मक पूर्णांकों के जोड़े के सबसेट के रूप में माना जाता है।
इसका आयाम n है !, जहाँ (p<sub>''j''</sub>, q<sub>''j''</sub>) विभाजन μ के आरेख के n तत्वों के माध्यम से चलाया जाता है, जिसे गैर-ऋणात्मक पूर्णांकों के जोड़े के सबसेट के रूप में माना जाता है।
उदाहरण के लिए, यदि μ n = 3 का विभाजन 3 = 2 + 1 है तो जोड़े (p<sub>''j''</sub>, क्यू<sub>''j''</sub>) हैं
 
(0, 0), (0, 1), (1, 0), और स्पेस डी<sub>μ</sub> द्वारा फैलाया जाता है
उदाहरण के लिए, यदि μ n = 3 का विभाजन 3 = 2 + 1 है तो जोड़े (p<sub>''j''</sub>, Q<sub>''j''</sub>) हैं
 
(0, 0), (0, 1), (1, 0), और समतल d<sub>μ</sub> द्वारा फैलाया जाता है:
:<math>\Delta_\mu=x_1y_2+x_2y_3+x_3y_1-x_2y_1-x_3y_2-x_1y_3</math>
:<math>\Delta_\mu=x_1y_2+x_2y_3+x_3y_1-x_2y_1-x_3y_2-x_1y_3</math>
:<math>y_2-y_3</math>
:<math>y_2-y_3</math>
Line 77: Line 78:
जिसका आयाम 6 = 3<nowiki>!</nowiki> है।
जिसका आयाम 6 = 3<nowiki>!</nowiki> है।


मैकडोनाल्ड सकारात्मकता अनुमान और n का हैमन का प्रमाण! अनुमान में शामिल है कि एक विमान में n बिंदुओं की [[आइसोस्पेक्ट्रल हिल्बर्ट योजना]] कोहेन-मैकाले (और यहां तक ​​कि [[गोरेंस्टीन की अंगूठी]]) थी। हैमन और गार्सिया के पहले के परिणाम पहले ही दिखा चुके थे कि इसका मतलब n! अनुमान, और वह एन! अनुमान का तात्पर्य है कि कोस्तका-मैकडोनाल्ड गुणांक मॉड्यूल डी के लिए चरित्र बहुगुणों को वर्गीकृत किया गया था<sub>μ</sub>. यह तुरंत मैकडोनाल्ड सकारात्मकता अनुमान का तात्पर्य है क्योंकि चरित्र गुणकों को गैर-ऋणात्मक पूर्णांक होना चाहिए।
मैकडोनाल्ड सकारात्मकता अनुमान और n का हैमन का प्रमाण अनुमान में सम्मिलित है कि एक समतल में n बिंदुओं की [[आइसोस्पेक्ट्रल हिल्बर्ट योजना]] कोहेन-मैकाले (और यहां तक ​​कि [[गोरेंस्टीन की अंगूठी|गोरेंस्टीन की वलय]]) थी। हैमन और गार्सिया के पहले के परिणाम पहले ही दिखा चुके थे कि इसका मतलब n! है। अनुमान और वह n! अनुमान का तात्पर्य है कि कोस्तका-मैकडोनाल्ड गुणांक मॉड्यूल d<sub>μ</sub> के लिए चरित्र बहुगुणों को वर्गीकृत किया गया था, जिसके लिए वर्ण बहुगुणों को वर्गीकृत किया गया था। यह तुरंत मैकडोनाल्ड सकारात्मकता अनुमान का तात्पर्य है क्योंकि वर्ण गुणकों को गैर-नकारात्मक पूर्णांक होना चाहिए।


इयान ग्रोजनोव्स्की और मार्क हैमन ने [[एलएलटी बहुपद]]ों के लिए सकारात्मकता अनुमान को साबित करके मैकडोनाल्ड सकारात्मकता अनुमान का एक और प्रमाण पाया।
इयान ग्रोजनोव्स्की और मार्क हैमन ने [[एलएलटी बहुपद]] के लिए सकारात्मकता अनुमान को प्रमाणित करके मैकडोनाल्ड सकारात्मकता अनुमान का एक और प्रमाण पाया गया है।


==मैकडोनाल्ड बहुपदों के लिए संयोजन सूत्र==
==मैकडोनाल्ड बहुपदों के लिए संयोजन सूत्र==


2005 में, जे. हागलंड, एम. हैमन और एन. लोहर<ref name="haglund"/>की मिश्रित व्याख्या का पहला प्रमाण दिया
2005 में, जे. हागलंड, एम. हैमन और एन. लोहर<ref name="haglund"/>ने मैकडोनाल्ड बहुपदों की एक संयुक्त व्याख्या का पहला प्रमाण दिया। 1988 में आई. जी. मैकडोनाल्ड<ref name="mac-class"/>मैकडोनाल्ड बहुपदों (समीकरण (4.11) और (5.13)) की एक संयुक्त व्याख्या का दूसरा प्रमाण दिया। मैकडोनाल्ड का सूत्र हैगलंड, हैमन और लोहर के काम से अलग है, बहुत कम शर्तों के साथ (यह सूत्र मैकडोनाल्ड के मौलिक फलन,<ref name="mac-sym"/>अध्याय VI (7.13) में भी सिद्ध हुआ है)। संगणना के लिए बहुत उपयोगी और अपने आप में दिलचस्प होने के बावजूद, उनके संयोजी सूत्र कोस्तका-मैकडोनाल्ड गुणांकों की सकारात्मकता को तुरंत नहीं दर्शाते हैं। <math>K_{\lambda \mu}(q,t),</math> जैसा कि मैकडोनाल्ड बहुपदों के अपघटन को शूर फलनों के के अतिरिक्त मोनोमियल सममित फलनों में दिया जाता है।
मैकडोनाल्ड बहुपद। 1988 में, आई.जी. macdonald<ref name="mac-class"/>मैकडोनाल्ड बहुपदों (समीकरण (4.11) और (5.13)) की संयोजन व्याख्या का दूसरा प्रमाण दिया।
मैकडोनाल्ड का सूत्र हैगलंड, हैमन और लोहर के काम से अलग है, बहुत कम शर्तों के साथ (यह सूत्र मैकडोनाल्ड के मूल कार्य में भी सिद्ध होता है,<ref name="mac-sym"/>च। VI (7.13))। जबकि संगणना के लिए बहुत उपयोगी और अपने आप में दिलचस्प है, उनके संयोजक सूत्र तुरंत कोस्तका-मैकडोनाल्ड गुणांकों की सकारात्मकता का संकेत नहीं देते हैं। <math>K_{\lambda \mu}(q,t),</math> जैसा कि मैकडोनाल्ड बहुपदों के अपघटन को शूर कार्यों के बजाय मोनोमियल सममित कार्यों में दिया जाता है।


रूपांतरित मैकडोनाल्ड बहुपदों में लिखा गया <math>\widetilde{H}_\mu</math> सामान्य के बजाय <math>P_\lambda</math>, वे हैं
रूपांतरित मैकडोनाल्ड बहुपदों में लिखा गया <math>\widetilde{H}_\mu</math> सामान्य K के अतिरिक्त <math>P_\lambda</math>, वे हैं


:<math>\widetilde{H}_\mu(x;q,t) = \sum_{\sigma:\mu \to \Z_+} q^{inv(\sigma)}t^{maj(\sigma)} x^{\sigma}</math>
:<math>\widetilde{H}_\mu(x;q,t) = \sum_{\sigma:\mu \to \Z_+} q^{inv(\sigma)}t^{maj(\sigma)} x^{\sigma}</math>
जहां σ आकार μ, inv और maj की युवा झांकी की फिलिंग है, फिलिंग σ पर परिभाषित कुछ कॉम्बीनेटरियल स्टैटिस्टिक्स (फंक्शंस) हैं। यह सूत्र Macdonald बहुपदों को अपरिमित रूप से अनेक चरों में व्यक्त करता है। n चरों में बहुपद प्राप्त करने के लिए, सूत्र को केवल उन भरणों तक सीमित करें जो केवल पूर्णांकों 1, 2, ..., n का उपयोग करते हैं। शब्द एक्स<sup>σ</sup> की व्याख्या की जानी चाहिए <math>x_1^{\sigma_1} x_2^{\sigma_2} \cdots </math> जहां प<sub>i</sub>सामग्री i के साथ μ भरने में बक्सों की संख्या है।
जहां σ आकार μ, inv और maj के यंग डायग्राम की फिलिंग है, फिलिंग σ पर परिभाषित कुछ कॉम्बिनेटरियल स्टैटिस्टिक्स (फलन) हैं। यह सूत्र मैकडोनाल्ड बहुपदों को अपरिमित रूप से कई चरों में व्यक्त करता है। n चरों में बहुपद प्राप्त करने के लिए, सूत्र को केवल उन भरणों तक सीमित करें जिनमें केवल पूर्णांक 1, 2, ..., n का उपयोग किया गया है। शब्द X<sup>σ</sup> की व्याख्या <math>x_1^{\sigma_1} x_2^{\sigma_2} \cdots </math> की जानी चाहिए, जहां σi सामग्री i के साथ μ के भरने में बक्से की संख्या है।


[[File:ArmLeg.jpg|thumb|यह यंग आरेख के एक वर्ग के हाथ और पैर को दर्शाता है। भुजा उसके दायीं ओर के वर्गों की संख्या है, और पैर उसके ऊपर के वर्गों की संख्या है।]]रूपांतरित मैकडोनाल्ड बहुपद <math>\widetilde{H}_\mu(x;q,t)</math> उपर्युक्त सूत्र में शास्त्रीय मैकडोनाल्ड बहुपदों से संबंधित हैं <math>P_{\lambda}</math> परिवर्तनों के एक क्रम के माध्यम से। सबसे पहले, मैकडोनाल्ड बहुपदों का अभिन्न रूप, निरूपित <math>J_\lambda(x;q,t)</math>, का पुन: स्केलिंग है <math>P_\lambda(x;q,t)</math> जो गुणांकों के हरों को साफ करता है:
[[File:ArmLeg.jpg|thumb|यह यंग आरेख के एक वर्ग के हाथ और पैर को दर्शाता है। भुजा उसके दायीं ओर के वर्गों की संख्या है, और पैर उसके ऊपर के वर्गों की संख्या है।]]रूपांतरित मैकडोनाल्ड बहुपद <math>\widetilde{H}_\mu(x;q,t)</math> उपर्युक्त सूत्र में चिरसम्मत मैकडोनाल्ड बहुपदों से संबंधित हैं, <math>P_{\lambda}</math> परिवर्तनों के एक क्रम के माध्यम से सबसे पहले, मैकडोनाल्ड बहुपदों का अभिन्न रूप, निरूपित <math>J_\lambda(x;q,t)</math>, का पुन: स्केलिंग है <math>P_\lambda(x;q,t)</math> जो गुणांकों के भाजक को स्वच्छ करता है:


:<math>J_\lambda(x;q,t)=\prod_{s\in D(\lambda)}(1-q^{a(s)}t^{1+l(s)})\cdot P_\lambda(x;q,t)</math>
:<math>J_\lambda(x;q,t)=\prod_{s\in D(\lambda)}(1-q^{a(s)}t^{1+l(s)})\cdot P_\lambda(x;q,t)</math>
कहाँ <math>D(\lambda)</math> के यंग आरेख में वर्गों का संग्रह है <math>\lambda</math>, और <math>a(s)</math> और <math>l(s)</math> वर्ग के हाथ और पैर को निरूपित करें <math>s</math>, जैसा कि चित्र में दिखाया गया है। ध्यान दें: दाहिनी ओर का चित्र झाँकी के लिए फ्रेंच संकेतन का उपयोग करता है, जो यंग आरेखों के लिए विकिपीडिया पृष्ठ पर उपयोग किए गए अंग्रेजी अंकन से लंबवत रूप से फ़्लिप किया गया है। मैकडोनाल्ड बहुपदों के अध्ययन में फ्रांसीसी संकेतन का अधिक सामान्यतः उपयोग किया जाता है।
जहाँ <math>D(\lambda)</math> के यंग आरेख में वर्गों का संग्रह <math>\lambda</math> है, और <math>a(s)</math> और <math>l(s)</math> वर्ग के हाथ और पैर को निरूपित करें <math>s</math>, जैसा कि चित्र में दिखाया गया है। ध्यान दें: दाहिनी ओर का चित्र उदाहरण के लिए फ्रेंच संकेतन का उपयोग करता है, जो यंग आरेखों के लिए विकिपीडिया पृष्ठ पर उपयोग किए गए अंग्रेजी अंकन से लंबवत रूप से फ़्लिप किया गया है। मैकडोनाल्ड बहुपदों के अध्ययन में फ्रांसीसी संकेतन का अधिक सामान्यतः उपयोग किया जाता है।


रूपांतरित मैकडोनाल्ड बहुपद <math>\widetilde{H}_\mu(x;q,t)</math> के रूप में परिभाषित किया जा सकता है <math>J_\mu</math>'एस। अपने पास
रूपांतरित मैकडोनाल्ड बहुपद <math>\widetilde{H}_\mu(x;q,t)</math> के रूप <math>J_\mu</math>'S में परिभाषित किया जा सकता है।


:<math>\widetilde{H}_\mu(x;q,t)=t^{-n(\mu)}J_\mu\left[\frac{X}{1-t^{-1}};q,t^{-1}\right]</math>
:<math>\widetilde{H}_\mu(x;q,t)=t^{-n(\mu)}J_\mu\left[\frac{X}{1-t^{-1}};q,t^{-1}\right]</math>
कहाँ
जहाँ


:<math>n(\mu)=\sum_{i}\mu_i\cdot (i-1).</math>
:<math>n(\mu)=\sum_{i}\mu_i\cdot (i-1).</math>
Line 109: Line 108:
== गैर-सममित मैकडोनाल्ड बहुपद ==
== गैर-सममित मैकडोनाल्ड बहुपद ==


1995 में, मैकडोनाल्ड ने सममित मैकडोनाल्ड बहुपदों का एक गैर-सममित एनालॉग पेश किया,
1995 में, मैकडोनाल्ड ने सममित मैकडोनाल्ड बहुपदों का एक गैर-सममितीय एनालॉग प्रस्तुत किया, और सममित मैकडोनाल्ड बहुपदों को आसानी से गैर-सममित समकक्ष से पुनर्प्राप्त किया जा सकता है। मैकडोनाल्ड ने अनुमान लगाया कि जब चिरसम्मत शूर फलनों के संदर्भ में इन बहुपदों के एक निश्चित सामान्यीकरण का विस्तार किया गया था, तो गुणांक सदैव N [q, t] में बहुपद होंगे। उन्होंने इन गुणांकों q, t-कोस्टका फलनों को उल्लेखित किया, और अनुमान को मैकडोनाल्ड सकारात्मकता अनुमान के रूप में जाना जाने लगा। अपनी मूल परिभाषा में, वह दर्शाता है कि गैर-सममित मैकडोनाल्ड बहुपद एक निश्चित आंतरिक उत्पाद के लिए बहुपद लांबिक विश्लेषण का एक अद्भुत संगठन है, साथ ही साथ एक त्रिकोणीय संपत्ति को संतुष्ट करता है जिसे मोनोमियल आधार में विस्तारित किया जाता है। मैकडोनाल्ड बहुपदों के अध्ययन में फ्रांसीसी संकेतन का अधिक सामान्यतः उपयोग किया जाता है।
और सममित मैकडोनाल्ड बहुपद गैर-सममित समकक्ष से आसानी से पुनर्प्राप्त किए जा सकते हैं।
अपनी मूल परिभाषा में, वह दिखाता है कि गैर-सममित मैकडोनाल्ड बहुपद का एक अनूठा परिवार है
एक निश्चित आंतरिक उत्पाद के लिए बहुपद ऑर्थोगोनल, साथ ही संतोषजनक ए
त्रिकोणीय संपत्ति जब मोनोमियल आधार में विस्तारित होती है।


2007 में, हैगलंड, हैमन और लोहर ने गैर-सममित मैकडोनाल्ड बहुपदों के लिए एक संयोजक सूत्र दिया।
2007 में, हाग्लंड, हैमन और लोहर ने गैर-सममित मैकडोनाल्ड बहुपदों के लिए एक संयुक्त सूत्र दिया।


गैर-सममित मैकडोनाल्ड बहुपद q = t = 0 लेकर Demazure वर्णों के विशेषज्ञ हैं,
गैर-सममित मैकडोनाल्ड बहुपद q = t = 0, और प्रमुख बहुपदों के लिए जब q = t = ∞ लेते हैं, तो डीमेज़र वर्णों के विशेषज्ञ होते हैं।
और प्रमुख बहुपदों के लिए जब q=t=∞.


=== बहिष्करण प्रक्रिया के आधार पर मिश्रित सूत्र ===
=== बहिष्करण प्रक्रिया के आधार पर मिश्रित सूत्र ===


2018 में, एस. कॉर्टील, ओ. मेंडेलश्टम, और एल. विलियम्स ने सममित और गैर-सममित मैकडोनाल्ड बहुपद दोनों का प्रत्यक्ष संयोजक लक्षण वर्णन करने के लिए अपवर्जन प्रक्रिया का उपयोग किया।<ref name="corteel"/>उनके परिणाम आंशिक रूप से हैगलंड के पहले के काम से भिन्न हैं क्योंकि वे मैकडोनाल्ड बहुपदों के लिए एक रूपांतरण के बजाय सीधे एक सूत्र प्रदान करते हैं। वे एक बहुपंक्ति कतार की अवधारणा विकसित करते हैं, जो गेंदों और उनके पड़ोसियों के बीच एक मानचित्रण और संयोजन लेबलिंग तंत्र के साथ गेंदों या खाली कोशिकाओं से युक्त एक मैट्रिक्स है। गैर-सममित मैकडोनाल्ड बहुपद तब संतुष्ट करता है:
2018 में, एस. कॉर्टील, ओ. मेंडेलश्टम, और एल. विलियम्स ने सममित और गैर-सममित मैकडोनाल्ड बहुपद दोनों का प्रत्यक्ष संयोजक लक्षण वर्णन करने के लिए अपवर्जन प्रक्रिया का उपयोग किया।<ref name="corteel"/>उनके परिणाम आंशिक रूप से हैगलंड के पहले के काम से भिन्न हैं क्योंकि वे मैकडोनाल्ड बहुपदों के लिए एक रूपांतरण के के अतिरिक्त सीधे एक सूत्र प्रदान करते हैं। वे एक बहुपंक्ति कतार की अवधारणा विकसित करते हैं, जो बिंदुओं और उनके सन्निकटों के बीच एक मानचित्रण और संयोजन लेबलिंग तंत्र के साथ बिंदुओं या खाली रिक्तिकाओं से युक्त एक आव्यूह है। गैर-सममित मैकडोनाल्ड बहुपद तब संतुष्ट करता है:


:<math>E_{\lambda}(\textbf{x};q,t)=\sum_Q \mathrm{wt}(Q)</math>
:<math>E_{\lambda}(\textbf{x};q,t)=\sum_Q \mathrm{wt}(Q)</math>
जहां योग सब पर है <math>L\times n</math> मल्टीलाइन प्रकार की कतारें <math>\lambda</math> और <math>\mathrm{wt}</math> एक वेटिंग फंक्शन है जो उन कतारों को विशिष्ट बहुपदों के लिए मैप करता है। सममित मैकडोनाल्ड बहुपद संतुष्ट करता है:
जहां <math>L\times n</math> योग सब पर है, बहुरैखिक प्रकार की कतारें <math>\lambda</math> और <math>\mathrm{wt}</math> एक वेटिंग फलन है जो उन कतारों को विशिष्ट बहुपदों के लिए मैप करता है। सममित मैकडोनाल्ड बहुपद संतुष्ट करता है:


:<math>P_{\lambda}(\textbf{x};q,t)=\sum_{\mu}E_{\mu}(x_1,...,x_n;q,t)=\sum_{\mu}\sum_Q \mathrm{wt}(Q)</math>
:<math>P_{\lambda}(\textbf{x};q,t)=\sum_{\mu}E_{\mu}(x_1,...,x_n;q,t)=\sum_{\mu}\sum_Q \mathrm{wt}(Q)</math>
जहां बाहरी योग सभी अलग-अलग रचनाओं पर होता है <math>\mu</math> जो के क्रमपरिवर्तन हैं <math>\lambda</math>, और आंतरिक योग पहले जैसा है।
जहां बाहरी योग सभी अलग-अलग रचनाओं पर <math>\mu</math> होता है, जो <math>\lambda</math> के क्रमपरिवर्तन हैं, और आंतरिक योग पहले जैसा संदर्भित होता है।


==संदर्भ==
==संदर्भ==
Line 147: Line 141:
*{{citation|first1=Adriano |last1=Garsia |first2= Jeffrey B. |last2=Remmel |title=''Breakthroughs in the theory of Macdonald polynomials''|journal=PNAS  |date=March 15, 2005|volume= 102|pages=3891&ndash;3894|issue= 11|doi=10.1073/pnas.0409705102 |pmid=15753285 |pmc=554818|bibcode=2005PNAS..102.3891G|doi-access=free }}
*{{citation|first1=Adriano |last1=Garsia |first2= Jeffrey B. |last2=Remmel |title=''Breakthroughs in the theory of Macdonald polynomials''|journal=PNAS  |date=March 15, 2005|volume= 102|pages=3891&ndash;3894|issue= 11|doi=10.1073/pnas.0409705102 |pmid=15753285 |pmc=554818|bibcode=2005PNAS..102.3891G|doi-access=free }}
*Mark Haiman [http://projecteuclid.org/Dienst/UI/1.0/Summarize/euclid.cdm/1088530398 ''Combinatorics, symmetric functions, and Hilbert schemes''] Current Developments in Mathematics 2002, no. 1 (2002), 39&ndash;111.
*Mark Haiman [http://projecteuclid.org/Dienst/UI/1.0/Summarize/euclid.cdm/1088530398 ''Combinatorics, symmetric functions, and Hilbert schemes''] Current Developments in Mathematics 2002, no. 1 (2002), 39&ndash;111.
* Haiman, Mark [http://math.berkeley.edu/~mhaiman/ftp/newt-sf-2001/newt.pdf ''Notes on Macdonald polynomials and the geometry of Hilbert schemes.''] Symmetric functions 2001: surveys of developments and perspectives, 1&ndash;64, NATO Sci. Ser. II Math. Phys. Chem., 74, Kluwer Acad. Publ., Dordrecht, 2002.{{MR|2059359}}
* Haiman, Mark [http://math.berkeley.edu/~mhaiman/ftp/newt-sf-2001/newt.pdf ''Notes on मैक्डोनाल्ड polynomials and the geometry of Hilbert schemes.''] Symmetric functions 2001: surveys of developments and perspectives, 1&ndash;64, NATO Sci. Ser. II Math. Phys. Chem., 74, Kluwer Acad. Publ., Dordrecht, 2002.{{MR|2059359}}
*{{citation|first=Mark|last=Haiman |arxiv=math.AG/0010246 |title=''Hilbert schemes, polygraphs, and the Macdonald positivity conjecture''|journal= J. Amer. Math. Soc. |volume=14 |year=2001|pages= 941&ndash;1006|doi=10.1090/S0894-0347-01-00373-3|issue=4|s2cid=9253880 }}
*{{citation|first=Mark|last=Haiman |arxiv=math.AG/0010246 |title=''Hilbert schemes, polygraphs, and the Macdonald positivity conjecture''|journal= J. Amer. Math. Soc. |volume=14 |year=2001|pages= 941&ndash;1006|doi=10.1090/S0894-0347-01-00373-3|issue=4|s2cid=9253880 }}
*{{citation|first=A. A. |last=Kirillov |url=https://www.ams.org/bull/1997-34-03/S0273-0979-97-00727-1/home.html |title=Lectures on affine Hecke algebras and Macdonald's conjectures|journal=  [[Bull. Amer. Math. Soc.]] |volume=34 |year=1997|pages= 251&ndash;292|doi=10.1090/S0273-0979-97-00727-1|issue=3|doi-access=free}}
*{{citation|first=A. A. |last=Kirillov |url=https://www.ams.org/bull/1997-34-03/S0273-0979-97-00727-1/home.html |title=Lectures on affine Hecke algebras and Macdonald's conjectures|journal=  [[Bull. Amer. Math. Soc.]] |volume=34 |year=1997|pages= 251&ndash;292|doi=10.1090/S0273-0979-97-00727-1|issue=3|doi-access=free}}
*{{Citation | last1=Macdonald | first1=I. G. | title=Some conjectures for root systems | doi=10.1137/0513070 |mr=674768 | year=1982 | journal=SIAM Journal on Mathematical Analysis | issn=0036-1410 | volume=13 | issue=6 | pages=988–1007}}
*{{Citation | last1=Macdonald | first1=I. G. | title=Some conjectures for root systems | doi=10.1137/0513070 |mr=674768 | year=1982 | journal=SIAM Journal on Mathematical Analysis | issn=0036-1410 | volume=13 | issue=6 | pages=988–1007}}
*Macdonald, I. G. ''Symmetric functions and Hall polynomials.'' Second edition. Oxford Mathematical Monographs. Oxford Science Publications. The Clarendon Press, Oxford University Press, New York, 1995. x+475 pp. {{isbn|0-19-853489-2}} {{MR|1354144}}
*मैक्डोनाल्ड, I. G. ''Symmetric functions and Hall polynomials.'' Second edition. Oxford Mathematical Monographs. Oxford Science Publications. The Clarendon Press, Oxford University Press, New York, 1995. x+475 pp. {{isbn|0-19-853489-2}} {{MR|1354144}}
*Macdonald, I. G. ''Symmetric functions and orthogonal polynomials.'' Dean Jacqueline B. Lewis Memorial Lectures presented at Rutgers University, New Brunswick, NJ. University Lecture Series, 12. American Mathematical Society, Providence, RI, 1998. xvi+53 pp. {{isbn|0-8218-0770-6}} {{MR|1488699}}
*मैक्डोनाल्ड, I. G. ''Symmetric functions and orthogonal polynomials.'' Dean Jacqueline B. Lewis Memorial Lectures presented at Rutgers University, New Brunswick, NJ. University Lecture Series, 12. American Mathematical Society, Providence, RI, 1998. xvi+53 pp. {{isbn|0-8218-0770-6}} {{MR|1488699}}
*Macdonald, I. G. ''Affine Hecke algebras and orthogonal polynomials.'' Séminaire Bourbaki 797 (1995).
*मैक्डोनाल्ड, I. G. ''अफ्फीन Hecke algebras and orthogonal polynomials.'' Séminaire Bourbaki 797 (1995).
*{{citation|last=Macdonald|first= I. G.|arxiv=math.QA/0011046|title= Orthogonal polynomials associated with root systems|journal= [[Séminaire Lotharingien de Combinatoire]]|volume= 45 |year=2000–2001|pages= Art. B45a|mr=1817334 }}
*{{citation|last=Macdonald|first= I. G.|arxiv=math.QA/0011046|title= Orthogonal polynomials associated with root systems|journal= [[Séminaire Lotharingien de Combinatoire]]|volume= 45 |year=2000–2001|pages= Art. B45a|mr=1817334 }}
*{{Citation | last=Macdonald | first=I. G. | title = Affine Hecke algebras and orthogonal polynomials | location=Cambridge | series=Cambridge Tracts in Mathematics | volume=157 | publisher=Cambridge University Press | year=2003 | pages=x+175 | isbn=978-0-521-82472-9|mr=1976581}}
*{{Citation | last=Macdonald | first=I. G. | title = Affine Hecke algebras and orthogonal polynomials | location=Cambridge | series=Cambridge Tracts in Mathematics | volume=157 | publisher=Cambridge University Press | year=2003 | pages=x+175 | isbn=978-0-521-82472-9|mr=1976581}}
Line 159: Line 153:


==बाहरी संबंध==
==बाहरी संबंध==
*Mike Zabrocki's page about [http://garsia.math.yorku.ca/MPWP/ Macdonald polynomials].
*Mike Zabrocki's page about [http://garsia.math.yorku.ca/MPWP/ मैक्डोनाल्ड polynomials].
*Some of [http://math.berkeley.edu/~mhaiman/ Haiman's papers] about Macdonald polynomials.
*Some of [http://math.berkeley.edu/~mhaiman/ Haiman's papers] about मैक्डोनाल्ड polynomials.
[[Category: बीजगणितीय कॉम्बिनेटरिक्स]] [[Category: बीजगणितीय ज्यामिति]] [[Category: ऑर्थोगोनल बहुपद]]
 
 


[[Category: Machine Translated Page]]
[[Category:Created On 03/03/2023]]
[[Category:Created On 03/03/2023]]
[[Category:Machine Translated Page]]
[[Category:Pages with broken file links]]
[[Category:Pages with maths render errors]]
[[Category:Pages with script errors]]
[[Category:Templates Vigyan Ready]]
[[Category:ऑर्थोगोनल बहुपद]]
[[Category:बीजगणितीय कॉम्बिनेटरिक्स]]
[[Category:बीजगणितीय ज्यामिति]]

Latest revision as of 16:16, 29 May 2023

गणित में, मैकडोनाल्ड बहुपद Pλ(x; t,q) कई चरों में लांबिक विश्लेषण बहुपद सममित बहुपद बहुपदों का एक संगठन है, जिसे 1987 में मैकडोनाल्ड द्वारा प्रस्तुत किया गया था। बाद में उन्होंने 1995 में एक गैर-सममित सामान्यीकरण का प्रारम्भ किया। मैकडोनाल्ड ने मूल रूप से अपने बहुपदों को परिमित के भार λ के साथ जोड़ा। इसमें परिमित मूल प्रणाली और केवल एक चर पद t का उपयोग किया गया, लेकिन बाद में अनुभव किया गया कि परिमित मूल प्रणाली के अतिरिक्त उन्हें अफ्फीन मूल प्रणाली के साथ जोड़ना अधिक स्वाभाविक है। जिस स्थिति में चर पद t को कई अलग-अलग चर पद t=(t)1 ,...,tkसे बदला जा सकता है, अफ्फीन मूल प्रणाली में मूलों की प्रत्येक k कक्षाओं के लिए एक कोटि है। मैकडोनाल्ड बहुपद n चर x = (x)1 ,...,xn में बहुपद हैं), जहां n अफ्फीन मूल प्रणाली का श्रेणी है। वे लांबिक विश्लेषण बहुपदों के कई अन्य संगठनों का सामान्यीकरण करते हैं, जैसे कि जैक बहुपद और हॉल-लिटिलवुड बहुपद और आस्की-विल्सन बहुपद, जो विशेष प्रकरणों के रूप में नामित 1-चर लांबिक विश्लेषण बहुपदों में से अधिकांश को सम्मिलित करते हैं। कुर्नविंडर बहुपद कुछ गैर-कम मूल प्रणाली के मैक्डोनाल्ड बहुपद हैं। इनके बीच अफ्फीन हेज बीजगणित और हिल्बर्ट योजनाओं के साथ गहरे संबंध हैं, जिनका उपयोग मैकडोनाल्ड द्वारा उनके बारे में किए गए कई अनुमानों को प्रमाणित करने के लिए किया गया था।

परिभाषा

पहले कुछ अंकन ठीक करें:

  • R वास्तविक सदिश समष्टि V में एक परिमित मूल तंत्र है।
  • R + सकारात्मक मूलों का एक विकल्प है, जो एक सकारात्मक वेइल कक्ष से समानता रखती है।
  • W, R का वेइल समूह है।
  • Q, R का मूल समूह है (मूलों द्वारा विस्तृत समूह)।
  • P, R (Q युक्त) का भार समूहक है।
  • भार समूह भार के स्थान पर आदेश : सिर्फ मूल प्रणाली धनात्मक मूल और साधारण मूल का नॉन-नेगेटिव लीनियर संबद्धीकरण है।
  • धनात्मक वेइल कक्ष में P के तत्व P+ प्रमुख भारों का समूह है।
  • ρ वेइल वेक्टर: धनात्मक मूलों का आधा योग सकारात्मक वेइल कक्ष के आंतरिक भाग में P+ का एक विशेष तत्व है।
  • सामान्य रूप से परिमेय संख्याएँ F विशेषता 0 का एक क्षेत्र है।
  • A = F(P), P का समूह बीजगणित है, जिसमें λ ∈ P के लिए eλ लिखे गए तत्वों का आधार है।
  • अफ्फीन मूल प्रणाली में मूलों की प्रत्येक k कक्षाओं के लिए एक कोटि है।
  • यदि f = eλ, तो f का अर्थ e−λ है, और इसे रैखिकता द्वारा पूरे समूह बीजगणित तक विस्तारित किया जाता है।
  • mμ = Σλ ∈ Wμeλ एक कक्षा योग है; ये तत्व डब्ल्यू द्वारा निर्धारित तत्वों के सबलजेब्रा एडब्ल्यू के लिए एक आधार बनाते हैं।
  • , Q-पोचममेर प्रतीक
  • A के दो तत्वों का आंतरिक उत्पाद है, कम से कम जब t, Q की सकारात्मक पूर्णांक शक्ति है।

λ ∈ P+ के लिए मैकडोनाल्ड बहुपद Pλ को निम्नलिखित दो स्थितियों द्वारा विशिष्ट रूप से परिभाषित किया गया है:

यहाँ Uλμ के साथ Q और t का एक तर्कसंगत फलन λλ = 1 है,
Pλ और Pμ लांबिक विश्लेषण हैं अगर λ<<μ हैं।

दूसरे शब्दों में, मैकडोनाल्ड बहुपद AW के स्पष्ट आधार को लांबिक विश्लेषणाइज़ करके प्राप्त किए जाते हैं। इन गुणों वाले बहुपदों का अस्तित्व दिखाना आसान है (किसी भी आंतरिक उत्पाद के लिए)। मैकडोनाल्ड बहुपदों की एक प्रमुख संपत्ति यह है कि वे लांबिक विश्लेषण हैं: Pλ, Pμ〉 = 0 जब कभी λ ≠ μ जिनका उपयोग मैकडोनाल्ड द्वारा उनके बारे में किए गए कई अनुमानों को प्रमाणित करने के लिए किया गया था। यह परिभाषा का एक तुच्छ परिणाम नहीं है क्योंकि P+ पूरी तरह से व्यवस्थित नहीं है, और इसलिए इसमें बहुत सारे तत्व हैं जो अतुलनीय हैं। इस प्रकार किसी को यह जांचना चाहिए कि संगत बहुपद अभी भी लांबिक विश्लेषण हैं। लांबिक विश्लेषणिटी को यह दिखा कर प्रमाणित किया जा सकता है कि मैकडोनाल्ड बहुपद 1-आयामी ईजेनसमतल के साथ स्व-संलग्न ऑपरेटरों के आने-जाने के बीजगणित के लिए ईजेनवेक्टर हैं, और इस तथ्य का उपयोग करते हुए कि अलग-अलग ईजेनवैल्यू के लिए ईजेनसमतल लांबिक विश्लेषण होना चाहिए।

नॉन-साधारणी-लेस्ड मूल प्रणाली (B, C, F, G) के प्रकरण में, पैरामीटर t को मूल की लंबाई के साथ अलग-अलग करने के लिए चुना जा सकता है, जिससे मैकडोनाल्ड बहुपदों का तीन-पैरामीटर संगठन मिलता है। परिभाषा को गैर-घटित मूल प्रणाली बीसी तक भी बढ़ाया जा सकता है, जिस स्थिति में कोई छह-पैरामीटर संगठन (मूलों की प्रत्येक कक्षा के लिए एक t, + q) प्राप्त करता है, जिसे कोर्नविंदर बहुपद के रूप में जाना जाता है। इस प्रकार किसी को यह जांचना चाहिए कि संगत बहुपद अभी भी लांबिक विश्लेषण हैं। मैकडोनाल्ड बहुपदों को कभी-कभी गैर-कम किए गए एफाइन मूल प्रणाली के आधार पर मानना बेहतर होता है। इस प्रकरण में, एफाइन मूल प्रणाली में मूलों की प्रत्येक कक्षा से जुड़ा एक पैरामीटर t है, साथ ही एक पैरामीटर q मूलों की कक्षाओं की संख्या 1 से 5 तक अलग-अलग हो सकती है।

उदाहरण

  • यदि q = t मैकडोनाल्ड बहुपद मूल प्रणाली के कॉम्पैक्ट समूह के प्रतिनिधित्व के वेइल वर्ण बन जाते हैं, या टाइप A के मूल प्रणाली के प्रकरण में शूर फलन करता है।
  • यदि q = 0 मैकडोनाल्ड बहुपद अर्ध-सरल p-एडिक समूह, या हॉल-लिटिलवुड बहुपदों के लिए (पुनर्वर्धित) आंचलिक गोलाकार फलन बन जाते हैं, जब मूल प्रणाली का प्रकार A होता है।
  • यदि t = 1 मैकडोनाल्ड बहुपद W कक्षाओं पर योग बन जाते हैं, जो मूल प्रणाली के प्रकार A होने पर मोनोमियल सममित फलन होते हैं।
  • यदि हम t = qα रखें और मान लें कि q1 की ओर जाता है तो मैकडोनाल्ड बहुपद जैक बहुपद बन जाते हैं जब मूल प्रणाली A प्रकार का होता है, और अधिक सामान्य मूल प्रणाली के लिए हेकमैन-ऑप्डम बहुपद।
  • एफ़ाइन मूल प्रणाली के लिए A1, मैकडोनाल्ड बहुपद रोजर्स बहुपद हैं।
  • गैर-कम श्रेणी 1 के लिए प्रकार की मूल प्रणाली (C
    1
    , C1), मैकडोनाल्ड बहुपद आस्की-विल्सन बहुपद हैं, जो बदले में 1 चर में लांबिक विश्लेषण बहुपदों के अधिकांश नामित संगठनों को विशेष प्रकरणों के रूप में सम्मिलित करते हैं।
  • गैर-कम किए गए एफाइन मूल प्रणाली के प्रकार के लिए (C
    n
    , Cn), मैकडोनाल्ड बहुपद कोर्नविंदर बहुपद हैं।

मैकडॉनल्ड कॉन्स्टेंट टर्म कंजेक्चर

अगर t = qk किसी धनात्मक पूर्णांक k के लिए, तब मैकडोनाल्ड बहुपदों का मान दिया जाता है

यह मैकडोनाल्ड (1982) द्वारा डायसन अनुमान के सामान्यीकरण के रूप में अनुमान लगाया गया था, और चेरेडनिक (1995) द्वारा सभी (कम) मूल प्रणाली के लिए प्रमाणित किया गया था, जिसमें युग्मक एफाइन हेके बीजगणित के गुणों का उपयोग किया गया था। इस प्रकार किसी को यह जांचना चाहिए कि संगत बहुपद अभी भी लांबिक विश्लेषण हैं। अनुमान पहले प्रकार En को छोड़कर सभी मूल प्रणालियों के लिए प्रकरण-दर-प्रकरण कई लेखकों द्वारा प्रमाणित हुआ था।

दो अन्य अनुमान हैं जो मानक अनुमान के साथ सामूहिक रूप से इस संदर्भ में मैकडोनाल्ड अनुमान के रूप में संदर्भित होते हैं: मानदंड के सूत्र के अतिरिक्त, मैकडोनाल्ड ने Pλ के मूल्य के लिए एक सूत्र का अनुमान लगाया बिंदु पर tρ, और एक सममिति

फिर से, ये सामान्य रूप से कम मूल प्रणाली के लिए सिद्ध हुए चेरेडनिक (1995), वैन डायजेन, नौमी और साही के काम के माध्यम से शीघ्र ही बाद में BC प्रकरण के विस्तार के साथ युग्मक एफाइन हेके बीजगणित का उपयोग करते हुए संदर्भित मान देता है।

मैकडोनाल्ड सकारात्मकता अनुमान

प्रकार An−1 की मूल प्रणालियों के प्रकरण में मैकडोनाल्ड बहुपद गुणांक वाले n चरों में केवल सममित बहुपद हैं जो q और t के परिमेय फलन हैं। एक निश्चित रूपांतरित संस्करण मैकडोनाल्ड बहुपदों के (नीचे मैकडोनाल्ड बहुपदों के लिए सांयोगिक सूत्र देखें) सममित फलनों के स्थान का एक लांबिक विश्लेषण आधार बनाते हैं, और इसलिए शूर बहुपद के संदर्भ में व्यक्त किया जा सकता है, गुणांक के λμ(q,t) इन संबंधों को 'कोस्तका-मैकडोनाल्ड गुणांक' या qt-कोस्तका गुणांक कहा जाता है। मैकडोनाल्ड ने अनुमान लगाया कि कोस्तका-मैकडोनाल्ड गुणांक गैर-नकारात्मक पूर्णांक गुणांक वाले q और t में बहुपद थे। ये अनुमान अब सिद्ध हो गए हैं; सबसे कठिन और अंतिम कदम सकारात्मकता को प्रमाणित करना था, जो मार्क हाईमन (2001) द्वारा किया गया था।

qt-कोस्टका गुणांक के लिए एक संयोजक सूत्र खोजने के लिए यह अभी भी बीजगणितीय संयोजक में एक केंद्रीय खुली समस्या है।

n! अनुमान

तब अनुमान n! एड्रियन गार्सिया और मार्क हैमैन के अनुमान में कहा गया है कि प्रत्येक विभाजन के लिए n स्थान का μ है

के सभी उच्च आंशिक व्युत्पादित द्वारा फैलाया गया है:

इसका आयाम n है !, जहाँ (pj, qj) विभाजन μ के आरेख के n तत्वों के माध्यम से चलाया जाता है, जिसे गैर-ऋणात्मक पूर्णांकों के जोड़े के सबसेट के रूप में माना जाता है।

उदाहरण के लिए, यदि μ n = 3 का विभाजन 3 = 2 + 1 है तो जोड़े (pj, Qj) हैं

(0, 0), (0, 1), (1, 0), और समतल dμ द्वारा फैलाया जाता है:

जिसका आयाम 6 = 3! है।

मैकडोनाल्ड सकारात्मकता अनुमान और n का हैमन का प्रमाण अनुमान में सम्मिलित है कि एक समतल में n बिंदुओं की आइसोस्पेक्ट्रल हिल्बर्ट योजना कोहेन-मैकाले (और यहां तक ​​कि गोरेंस्टीन की वलय) थी। हैमन और गार्सिया के पहले के परिणाम पहले ही दिखा चुके थे कि इसका मतलब n! है। अनुमान और वह n! अनुमान का तात्पर्य है कि कोस्तका-मैकडोनाल्ड गुणांक मॉड्यूल dμ के लिए चरित्र बहुगुणों को वर्गीकृत किया गया था, जिसके लिए वर्ण बहुगुणों को वर्गीकृत किया गया था। यह तुरंत मैकडोनाल्ड सकारात्मकता अनुमान का तात्पर्य है क्योंकि वर्ण गुणकों को गैर-नकारात्मक पूर्णांक होना चाहिए।

इयान ग्रोजनोव्स्की और मार्क हैमन ने एलएलटी बहुपद के लिए सकारात्मकता अनुमान को प्रमाणित करके मैकडोनाल्ड सकारात्मकता अनुमान का एक और प्रमाण पाया गया है।

मैकडोनाल्ड बहुपदों के लिए संयोजन सूत्र

2005 में, जे. हागलंड, एम. हैमन और एन. लोहर[1]ने मैकडोनाल्ड बहुपदों की एक संयुक्त व्याख्या का पहला प्रमाण दिया। 1988 में आई. जी. मैकडोनाल्ड[2]मैकडोनाल्ड बहुपदों (समीकरण (4.11) और (5.13)) की एक संयुक्त व्याख्या का दूसरा प्रमाण दिया। मैकडोनाल्ड का सूत्र हैगलंड, हैमन और लोहर के काम से अलग है, बहुत कम शर्तों के साथ (यह सूत्र मैकडोनाल्ड के मौलिक फलन,[3]अध्याय VI (7.13) में भी सिद्ध हुआ है)। संगणना के लिए बहुत उपयोगी और अपने आप में दिलचस्प होने के बावजूद, उनके संयोजी सूत्र कोस्तका-मैकडोनाल्ड गुणांकों की सकारात्मकता को तुरंत नहीं दर्शाते हैं। जैसा कि मैकडोनाल्ड बहुपदों के अपघटन को शूर फलनों के के अतिरिक्त मोनोमियल सममित फलनों में दिया जाता है।

रूपांतरित मैकडोनाल्ड बहुपदों में लिखा गया सामान्य K के अतिरिक्त , वे हैं

जहां σ आकार μ, inv और maj के यंग डायग्राम की फिलिंग है, फिलिंग σ पर परिभाषित कुछ कॉम्बिनेटरियल स्टैटिस्टिक्स (फलन) हैं। यह सूत्र मैकडोनाल्ड बहुपदों को अपरिमित रूप से कई चरों में व्यक्त करता है। n चरों में बहुपद प्राप्त करने के लिए, सूत्र को केवल उन भरणों तक सीमित करें जिनमें केवल पूर्णांक 1, 2, ..., n का उपयोग किया गया है। शब्द Xσ की व्याख्या की जानी चाहिए, जहां σi सामग्री i के साथ μ के भरने में बक्से की संख्या है।

यह यंग आरेख के एक वर्ग के हाथ और पैर को दर्शाता है। भुजा उसके दायीं ओर के वर्गों की संख्या है, और पैर उसके ऊपर के वर्गों की संख्या है।

रूपांतरित मैकडोनाल्ड बहुपद उपर्युक्त सूत्र में चिरसम्मत मैकडोनाल्ड बहुपदों से संबंधित हैं, परिवर्तनों के एक क्रम के माध्यम से सबसे पहले, मैकडोनाल्ड बहुपदों का अभिन्न रूप, निरूपित , का पुन: स्केलिंग है जो गुणांकों के भाजक को स्वच्छ करता है:

जहाँ के यंग आरेख में वर्गों का संग्रह है, और और वर्ग के हाथ और पैर को निरूपित करें , जैसा कि चित्र में दिखाया गया है। ध्यान दें: दाहिनी ओर का चित्र उदाहरण के लिए फ्रेंच संकेतन का उपयोग करता है, जो यंग आरेखों के लिए विकिपीडिया पृष्ठ पर उपयोग किए गए अंग्रेजी अंकन से लंबवत रूप से फ़्लिप किया गया है। मैकडोनाल्ड बहुपदों के अध्ययन में फ्रांसीसी संकेतन का अधिक सामान्यतः उपयोग किया जाता है।

रूपांतरित मैकडोनाल्ड बहुपद के रूप 'S में परिभाषित किया जा सकता है।

जहाँ

उपरोक्त कोष्ठक संकेतन बहुतायत प्रतिस्थापन को दर्शाता है।

जैक फलन के लिए नोप और साही के सूत्र को सिद्ध करने के लिए इस सूत्र का उपयोग किया जा सकता है।

गैर-सममित मैकडोनाल्ड बहुपद

1995 में, मैकडोनाल्ड ने सममित मैकडोनाल्ड बहुपदों का एक गैर-सममितीय एनालॉग प्रस्तुत किया, और सममित मैकडोनाल्ड बहुपदों को आसानी से गैर-सममित समकक्ष से पुनर्प्राप्त किया जा सकता है। मैकडोनाल्ड ने अनुमान लगाया कि जब चिरसम्मत शूर फलनों के संदर्भ में इन बहुपदों के एक निश्चित सामान्यीकरण का विस्तार किया गया था, तो गुणांक सदैव N [q, t] में बहुपद होंगे। उन्होंने इन गुणांकों q, t-कोस्टका फलनों को उल्लेखित किया, और अनुमान को मैकडोनाल्ड सकारात्मकता अनुमान के रूप में जाना जाने लगा। अपनी मूल परिभाषा में, वह दर्शाता है कि गैर-सममित मैकडोनाल्ड बहुपद एक निश्चित आंतरिक उत्पाद के लिए बहुपद लांबिक विश्लेषण का एक अद्भुत संगठन है, साथ ही साथ एक त्रिकोणीय संपत्ति को संतुष्ट करता है जिसे मोनोमियल आधार में विस्तारित किया जाता है। मैकडोनाल्ड बहुपदों के अध्ययन में फ्रांसीसी संकेतन का अधिक सामान्यतः उपयोग किया जाता है।

2007 में, हाग्लंड, हैमन और लोहर ने गैर-सममित मैकडोनाल्ड बहुपदों के लिए एक संयुक्त सूत्र दिया।

गैर-सममित मैकडोनाल्ड बहुपद q = t = 0, और प्रमुख बहुपदों के लिए जब q = t = ∞ लेते हैं, तो डीमेज़र वर्णों के विशेषज्ञ होते हैं।

बहिष्करण प्रक्रिया के आधार पर मिश्रित सूत्र

2018 में, एस. कॉर्टील, ओ. मेंडेलश्टम, और एल. विलियम्स ने सममित और गैर-सममित मैकडोनाल्ड बहुपद दोनों का प्रत्यक्ष संयोजक लक्षण वर्णन करने के लिए अपवर्जन प्रक्रिया का उपयोग किया।[4]उनके परिणाम आंशिक रूप से हैगलंड के पहले के काम से भिन्न हैं क्योंकि वे मैकडोनाल्ड बहुपदों के लिए एक रूपांतरण के के अतिरिक्त सीधे एक सूत्र प्रदान करते हैं। वे एक बहुपंक्ति कतार की अवधारणा विकसित करते हैं, जो बिंदुओं और उनके सन्निकटों के बीच एक मानचित्रण और संयोजन लेबलिंग तंत्र के साथ बिंदुओं या खाली रिक्तिकाओं से युक्त एक आव्यूह है। गैर-सममित मैकडोनाल्ड बहुपद तब संतुष्ट करता है:

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

जहां बाहरी योग सभी अलग-अलग रचनाओं पर होता है, जो के क्रमपरिवर्तन हैं, और आंतरिक योग पहले जैसा संदर्भित होता है।

संदर्भ

  1. Haglund, J.; Haiman, M.; Loehr, N. (2005), "A combinatorial formula for Macdonald polynomials", Journal of the American Mathematical Society, 18 (3): 735–761, doi:10.1090/S0894-0347-05-00485-6, ISSN 0894-0347, MR 2138143
  2. Macdonald, I. G. A new class of symmetric functions. Publ. I.R.M.A. Strasbourg, 1988, 372/S–20 Actes 20e Séminaire Lotharingien, p. 131–171. eudml.org
  3. Macdonald, I. G. Symmetric functions and Hall polynomials. Second edition. Oxford Mathematical Monographs. Oxford Science Publications. The Clarendon Press, Oxford University Press, New York, 1995. x+475 pp. ISBN 0-19-853489-2 MR1354144
  4. Corteel, Sylvie; Mandelshtam, Olya; Williams, Lauren (2018), "From multiline queues to Macdonald polynomials via the exclusion process", arXiv:1811.01024 [math.CO]


ग्रन्थसूची


बाहरी संबंध