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

From Vigyanwiki
No edit summary
No edit summary
Line 1: Line 1:
गणित में, मैकडोनाल्ड बहुपद ''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 हेज बीजगणित|अफ्फीन हेज बीजगणित]] और [[हिल्बर्ट योजना]]ओं के साथ गहरे संबंध हैं, जिनका उपयोग मैकडोनाल्ड द्वारा उनके बारे में किए गए कई अनुमानों को प्रमाणित करने के लिए किया गया था।
गणित में, मैकडोनाल्ड बहुपद ''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 का मूल समूह है (मूलों द्वारा विस्तृत समूह)।
* 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 के तत्व P<sup>+</sup> प्रमुख भारों का समूह है।
*धनात्मक वेइल कक्ष में P के तत्व P<sup>+</sup> प्रमुख भारों का समूह है।
* ρ [[वेइल वेक्टर]]: धनात्मक मूलों का आधा योग सकारात्मक वेइल कक्ष के आंतरिक भाग में P+ का एक विशेष तत्व है।
* ρ [[वेइल वेक्टर]]: धनात्मक मूलों का आधा योग सकारात्मक वेइल कक्ष के आंतरिक भाग में P+ का एक विशेष तत्व है।
*सामान्य रूप से परिमेय संख्याएँ F विशेषता 0 का एक क्षेत्र है।
*सामान्य रूप से परिमेय संख्याएँ F विशेषता 0 का एक क्षेत्र है।
*A = F(P), P का समूह बीजगणित है, जिसमें λ ∈ P के लिए eλ लिखे गए तत्वों का आधार है।
*A = F(P), P का समूह बीजगणित है, जिसमें λ ∈ P के लिए eλ लिखे गए तत्वों का आधार है।
*अफ्फीन रूट प्रणाली में मूलों की प्रत्येक k कक्षाओं के लिए एक कोटि है।
*अफ्फीन मूल प्रणाली में मूलों की प्रत्येक k कक्षाओं के लिए एक कोटि है।
* यदि f = eλ, तो f का अर्थ e−λ है, और इसे रैखिकता द्वारा पूरे समूह बीजगणित तक विस्तारित किया जाता है।
* यदि f = eλ, तो f का अर्थ e−λ है, और इसे रैखिकता द्वारा पूरे समूह बीजगणित तक विस्तारित किया जाता है।
*mμ = Σλ ∈ Wμeλ एक कक्षा योग है; ये तत्व डब्ल्यू द्वारा निर्धारित तत्वों के सबलजेब्रा एडब्ल्यू के लिए एक आधार बनाते हैं।
*mμ = Σλ ∈ Wμeλ एक कक्षा योग है; ये तत्व डब्ल्यू द्वारा निर्धारित तत्वों के सबलजेब्रा एडब्ल्यू के लिए एक आधार बनाते हैं।
Line 22: Line 22:
λ ∈ P+ के लिए मैकडोनाल्ड बहुपद Pλ को निम्नलिखित दो स्थितियों द्वारा विशिष्ट रूप से परिभाषित किया गया है:
λ ∈ P+ के लिए मैकडोनाल्ड बहुपद Pλ को निम्नलिखित दो स्थितियों द्वारा विशिष्ट रूप से परिभाषित किया गया है:
:<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 है,
:<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 है,
: P<sub>&lambda;</sub> और P<sub>&mu;</sub> ओर्थोगोनल हैं अगर λ<<μ हैं।
: P<sub>&lambda;</sub> और P<sub>&mu;</sub> लांबिक विश्लेषण हैं अगर λ<<μ हैं।


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


:<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>, Q<sub>''j''</sub>) हैं
उदाहरण के लिए, यदि μ n = 3 का विभाजन 3 = 2 + 1 है तो जोड़े (p<sub>''j''</sub>, Q<sub>''j''</sub>) हैं
(0, 0), (0, 1), (1, 0), और स्पेस डी<sub>μ</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 79: Line 78:
जिसका आयाम 6 = 3<nowiki>!</nowiki> है।
जिसका आयाम 6 = 3<nowiki>!</nowiki> है।


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


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


==मैकडोनाल्ड बहुपदों के लिए संयोजन सूत्र==
==मैकडोनाल्ड बहुपदों के लिए संयोजन सूत्र==
Line 87: Line 86:
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> जैसा कि मैकडोनाल्ड बहुपदों के अपघटन को शूर फलनों के के अतिरिक्त मोनोमियल सममित फलनों में दिया जाता है।
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> जैसा कि मैकडोनाल्ड बहुपदों के अपघटन को शूर फलनों के के अतिरिक्त मोनोमियल सममित फलनों में दिया जाता है।


रूपांतरित मैकडोनाल्ड बहुपदों में लिखा गया <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 के यंग डायग्राम की फिलिंग है, फिलिंग σ पर परिभाषित कुछ कॉम्बिनेटरियल स्टैटिस्टिक्स (फंक्शंस) हैं। यह सूत्र मैकडोनाल्ड बहुपदों को अपरिमित रूप से कई चरों में व्यक्त करता है। n चरों में बहुपद प्राप्त करने के लिए, सूत्र को केवल उन भरणों तक सीमित करें जिनमें केवल पूर्णांक 1, 2, ..., n का उपयोग किया गया है। शब्द एक्स<sup>σ</sup> की व्याख्या की जानी चाहिए <math>x_1^{\sigma_1} x_2^{\sigma_2} \cdots </math> जहां σi सामग्री 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>
Line 109: Line 108:
== गैर-सममित मैकडोनाल्ड बहुपद ==
== गैर-सममित मैकडोनाल्ड बहुपद ==


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


2007 में, हाग्लंड, हैमन और लोहर ने गैर-सममित मैकडोनाल्ड बहुपदों के लिए एक संयुक्त सूत्र दिया।
2007 में, हाग्लंड, हैमन और लोहर ने गैर-सममित मैकडोनाल्ड बहुपदों के लिए एक संयुक्त सूत्र दिया।
Line 117: Line 116:
=== बहिष्करण प्रक्रिया के आधार पर मिश्रित सूत्र ===
=== बहिष्करण प्रक्रिया के आधार पर मिश्रित सूत्र ===


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> के क्रमपरिवर्तन हैं, और आंतरिक योग पहले जैसा संदर्भित होता है।


==संदर्भ==
==संदर्भ==

Revision as of 11:10, 12 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]


ग्रन्थसूची


बाहरी संबंध