मैकडोनाल्ड बहुपद: Difference between revisions
No edit summary |
|||
| (8 intermediate revisions by 3 users not shown) | |||
| 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 हेज बीजगणित|अफ्फीन हेज बीजगणित]] और [[हिल्बर्ट योजना]]ओं के साथ गहरे संबंध हैं, जिनका उपयोग मैकडोनाल्ड द्वारा उनके बारे में किए गए कई अनुमानों को प्रमाणित करने के लिए किया गया था। | ||
== परिभाषा == | == परिभाषा == | ||
पहले कुछ अंकन ठीक करें: | पहले कुछ अंकन ठीक करें: | ||
*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> मूल प्रणाली धनात्मक मूल और साधारण मूल का नॉन-नेगेटिव लीनियर संबद्धीकरण है। | ||
*P<sup>+</sup> प्रमुख भारों का समूह | *धनात्मक वेइल कक्ष में P के तत्व P<sup>+</sup> प्रमुख भारों का समूह है। | ||
* ρ [[वेइल वेक्टर]] | * ρ [[वेइल वेक्टर]]: धनात्मक मूलों का आधा योग सकारात्मक वेइल कक्ष के आंतरिक भाग में 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> | :<math>P_\lambda=\sum_{\mu\le \lambda}u_{\lambda\mu}m_\mu</math> यहाँ U<sub>λμ</sub> के साथ Q और t का एक तर्कसंगत फलन <sub>λλ</sub> = 1 है, | ||
: | : P<sub>λ</sub> और P<sub>μ</sub> लांबिक विश्लेषण हैं अगर λ<<μ हैं। | ||
दूसरे शब्दों में, मैकडोनाल्ड बहुपद AW के स्पष्ट आधार को | दूसरे शब्दों में, मैकडोनाल्ड बहुपद AW के स्पष्ट आधार को लांबिक विश्लेषणाइज़ करके प्राप्त किए जाते हैं। इन गुणों वाले बहुपदों का अस्तित्व दिखाना आसान है (किसी भी आंतरिक उत्पाद के लिए)। मैकडोनाल्ड बहुपदों की एक प्रमुख संपत्ति यह है कि वे लांबिक विश्लेषण हैं: Pλ, Pμ〉 = 0 जब कभी λ ≠ μ जिनका उपयोग मैकडोनाल्ड द्वारा उनके बारे में किए गए कई अनुमानों को प्रमाणित करने के लिए किया गया था। यह परिभाषा का एक तुच्छ परिणाम नहीं है क्योंकि P+ पूरी तरह से व्यवस्थित नहीं है, और इसलिए इसमें बहुत सारे तत्व हैं जो अतुलनीय हैं। इस प्रकार किसी को यह जांचना चाहिए कि संगत बहुपद अभी भी लांबिक विश्लेषण हैं। लांबिक विश्लेषणिटी को यह दिखा कर प्रमाणित किया जा सकता है कि मैकडोनाल्ड बहुपद 1-आयामी ईजेनसमतल के साथ स्व-संलग्न ऑपरेटरों के आने-जाने के बीजगणित के लिए ईजेनवेक्टर हैं, और इस तथ्य का उपयोग करते हुए कि अलग-अलग ईजेनवैल्यू के लिए ईजेनसमतल लांबिक विश्लेषण होना चाहिए। | ||
नॉन- | नॉन-साधारणी-लेस्ड मूल प्रणाली (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 कक्षाओं पर योग बन जाते हैं, जो | *यदि t = 1 मैकडोनाल्ड बहुपद W कक्षाओं पर योग बन जाते हैं, जो मूल प्रणाली के प्रकार A होने पर मोनोमियल सममित फलन होते हैं। | ||
*यदि हम t = q | *यदि हम t = q<sup>α</sup> रखें और मान लें कि q1 की ओर जाता है तो मैकडोनाल्ड बहुपद जैक बहुपद बन जाते हैं जब मूल प्रणाली A प्रकार का होता है, और अधिक सामान्य मूल प्रणाली के लिए हेकमैन-ऑप्डम बहुपद। | ||
*एफ़ाइन | *एफ़ाइन मूल प्रणाली के लिए A<sub>1</sub>, मैकडोनाल्ड बहुपद [[रोजर्स बहुपद]] हैं। | ||
* गैर-कम | * गैर-कम श्रेणी 1 के लिए प्रकार की मूल प्रणाली (C{{su|b=1|p=∨}}, C<sub>1</sub>), मैकडोनाल्ड बहुपद आस्की-विल्सन बहुपद हैं, जो बदले में 1 चर में लांबिक विश्लेषण बहुपदों के अधिकांश नामित संगठनों को विशेष प्रकरणों के रूप में सम्मिलित करते हैं। | ||
* गैर-कम किए गए एफाइन | * गैर-कम किए गए एफाइन मूल प्रणाली के प्रकार के लिए (C{{su|b=''n''|p=∨}}, C<sub>''n''</sub>), मैकडोनाल्ड बहुपद कोर्नविंदर बहुपद हैं। | ||
==मैकडॉनल्ड कॉन्स्टेंट टर्म कंजेक्चर== | ==मैकडॉनल्ड कॉन्स्टेंट टर्म कंजेक्चर== | ||
अगर | अगर 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) द्वारा सभी (कम) | यह मैकडोनाल्ड (1982) द्वारा [[डायसन अनुमान]] के सामान्यीकरण के रूप में अनुमान लगाया गया था, और चेरेडनिक (1995) द्वारा सभी (कम) मूल प्रणाली के लिए प्रमाणित किया गया था, जिसमें युग्मक एफाइन हेके बीजगणित के गुणों का उपयोग किया गया था। इस प्रकार किसी को यह जांचना चाहिए कि संगत बहुपद अभी भी लांबिक विश्लेषण हैं। अनुमान पहले प्रकार E<sub>''n''</sub> को छोड़कर सभी मूल प्रणालियों के लिए प्रकरण-दर-प्रकरण कई लेखकों द्वारा प्रमाणित हुआ था। | ||
दो अन्य अनुमान हैं जो मानक अनुमान के साथ सामूहिक रूप से इस संदर्भ में मैकडोनाल्ड अनुमान के रूप में संदर्भित होते हैं: मानदंड के सूत्र के अतिरिक्त, मैकडोनाल्ड ने | दो अन्य अनुमान हैं जो मानक अनुमान के साथ सामूहिक रूप से इस संदर्भ में मैकडोनाल्ड अनुमान के रूप में संदर्भित होते हैं: मानदंड के सूत्र के अतिरिक्त, मैकडोनाल्ड ने 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}}, वैन डायजेन, नौमी और साही के काम के माध्यम से शीघ्र ही बाद में BC प्रकरण के विस्तार के साथ युग्मक एफाइन हेके बीजगणित का उपयोग करते हुए संदर्भित मान देता है। | ||
== मैकडोनाल्ड सकारात्मकता अनुमान == | == मैकडोनाल्ड सकारात्मकता अनुमान == | ||
प्रकार | प्रकार A<sub>''n''−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> मैकडोनाल्ड बहुपदों के (नीचे मैकडोनाल्ड बहुपदों के लिए | |||
मैकडोनाल्ड ने अनुमान लगाया कि कोस्तका-मैकडोनाल्ड गुणांक गैर-नकारात्मक पूर्णांक गुणांक वाले | |||
qt-कोस्टका गुणांक के लिए एक संयोजक सूत्र खोजने के लिए यह अभी भी बीजगणितीय संयोजक में एक केंद्रीय खुली समस्या है। | |||
== | ==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>, | इसका आयाम n है !, जहाँ (p<sub>''j''</sub>, q<sub>''j''</sub>) विभाजन μ के आरेख के n तत्वों के माध्यम से चलाया जाता है, जिसे गैर-ऋणात्मक पूर्णांकों के जोड़े के सबसेट के रूप में माना जाता है। | ||
उदाहरण के लिए, यदि μ n = 3 का विभाजन 3 = 2 + 1 है तो जोड़े (p<sub>''j''</sub>, | |||
(0, 0), (0, 1), (1, 0), और | उदाहरण के लिए, यदि μ 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 बिंदुओं की [[आइसोस्पेक्ट्रल हिल्बर्ट योजना]] कोहेन-मैकाले (और यहां तक कि [[गोरेंस्टीन की अंगूठी|गोरेंस्टीन की वलय]]) थी। हैमन और गार्सिया के पहले के परिणाम पहले ही दिखा चुके थे कि इसका मतलब 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> जैसा कि मैकडोनाल्ड बहुपदों के अपघटन को शूर फलनों के के अतिरिक्त मोनोमियल सममित फलनों में दिया जाता है। | ||
मैकडोनाल्ड का सूत्र हैगलंड, हैमन और लोहर के काम से अलग है, बहुत कम शर्तों के साथ (यह सूत्र मैकडोनाल्ड के | |||
रूपांतरित मैकडोनाल्ड बहुपदों में लिखा गया <math>\widetilde{H}_\mu</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 | जहां σ आकार μ, 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> उपर्युक्त सूत्र में | [[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>\widetilde{H}_\mu(x;q,t)</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 | गैर-सममित मैकडोनाल्ड बहुपद 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>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> के क्रमपरिवर्तन हैं, और आंतरिक योग पहले जैसा संदर्भित होता है। | ||
==संदर्भ== | ==संदर्भ== | ||
| 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–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–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–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–111. | ||
* Haiman, Mark [http://math.berkeley.edu/~mhaiman/ftp/newt-sf-2001/newt.pdf ''Notes on | * 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–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–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–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–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–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}} | ||
* | *मैक्डोनाल्ड, 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 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. ''अफ्फीन 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/ | *Mike Zabrocki's page about [http://garsia.math.yorku.ca/MPWP/ मैक्डोनाल्ड polynomials]. | ||
*Some of [http://math.berkeley.edu/~mhaiman/ Haiman's papers] about | *Some of [http://math.berkeley.edu/~mhaiman/ Haiman's papers] about मैक्डोनाल्ड polynomials. | ||
[[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]उनके परिणाम आंशिक रूप से हैगलंड के पहले के काम से भिन्न हैं क्योंकि वे मैकडोनाल्ड बहुपदों के लिए एक रूपांतरण के के अतिरिक्त सीधे एक सूत्र प्रदान करते हैं। वे एक बहुपंक्ति कतार की अवधारणा विकसित करते हैं, जो बिंदुओं और उनके सन्निकटों के बीच एक मानचित्रण और संयोजन लेबलिंग तंत्र के साथ बिंदुओं या खाली रिक्तिकाओं से युक्त एक आव्यूह है। गैर-सममित मैकडोनाल्ड बहुपद तब संतुष्ट करता है:
जहां योग सब पर है, बहुरैखिक प्रकार की कतारें और एक वेटिंग फलन है जो उन कतारों को विशिष्ट बहुपदों के लिए मैप करता है। सममित मैकडोनाल्ड बहुपद संतुष्ट करता है:
जहां बाहरी योग सभी अलग-अलग रचनाओं पर होता है, जो के क्रमपरिवर्तन हैं, और आंतरिक योग पहले जैसा संदर्भित होता है।
संदर्भ
- ↑ 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
- ↑ 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
- ↑ 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
- ↑ Corteel, Sylvie; Mandelshtam, Olya; Williams, Lauren (2018), "From multiline queues to Macdonald polynomials via the exclusion process", arXiv:1811.01024 [math.CO]
ग्रन्थसूची
- Cherednik, Ivan (1995), "Double Affine Hecke Algebras and Macdonald's Conjectures", Annals of Mathematics, Second Series, Annals of Mathematics, 141 (1): 191–216, doi:10.2307/2118632, ISSN 0003-486X, JSTOR 2118632
- Garsia, Adriano; Remmel, Jeffrey B. (March 15, 2005), "Breakthroughs in the theory of Macdonald polynomials", PNAS, 102 (11): 3891–3894, Bibcode:2005PNAS..102.3891G, doi:10.1073/pnas.0409705102, PMC 554818, PMID 15753285
- Mark Haiman Combinatorics, symmetric functions, and Hilbert schemes Current Developments in Mathematics 2002, no. 1 (2002), 39–111.
- Haiman, Mark Notes on मैक्डोनाल्ड polynomials and the geometry of Hilbert schemes. Symmetric functions 2001: surveys of developments and perspectives, 1–64, NATO Sci. Ser. II Math. Phys. Chem., 74, Kluwer Acad. Publ., Dordrecht, 2002.MR2059359
- Haiman, Mark (2001), "Hilbert schemes, polygraphs, and the Macdonald positivity conjecture", J. Amer. Math. Soc., 14 (4): 941–1006, arXiv:math.AG/0010246, doi:10.1090/S0894-0347-01-00373-3, S2CID 9253880
- Kirillov, A. A. (1997), "Lectures on affine Hecke algebras and Macdonald's conjectures", Bull. Amer. Math. Soc., 34 (3): 251–292, doi:10.1090/S0273-0979-97-00727-1
- Macdonald, I. G. (1982), "Some conjectures for root systems", SIAM Journal on Mathematical Analysis, 13 (6): 988–1007, doi:10.1137/0513070, ISSN 0036-1410, MR 0674768
- मैक्डोनाल्ड, 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
- मैक्डोनाल्ड, 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 MR1488699
- मैक्डोनाल्ड, I. G. अफ्फीन Hecke algebras and orthogonal polynomials. Séminaire Bourbaki 797 (1995).
- Macdonald, I. G. (2000–2001), "Orthogonal polynomials associated with root systems", Séminaire Lotharingien de Combinatoire, 45: Art. B45a, arXiv:math.QA/0011046, MR 1817334
- Macdonald, I. G. (2003), Affine Hecke algebras and orthogonal polynomials, Cambridge Tracts in Mathematics, vol. 157, Cambridge: Cambridge University Press, pp. x+175, ISBN 978-0-521-82472-9, MR 1976581
बाहरी संबंध
- Mike Zabrocki's page about मैक्डोनाल्ड polynomials.
- Some of Haiman's papers about मैक्डोनाल्ड polynomials.
