एहरहार्ट बहुपद: Difference between revisions

From Vigyanwiki
mNo edit summary
No edit summary
 
(22 intermediate revisions by 5 users not shown)
Line 1: Line 1:
गणित में, एक अभिन्न [[ polytope |पॉलीटॉप]] में संबंधित [[एहरहार्ट बहुपद]] होता है जो एक पॉलीटोप की मात्रा और पॉलीटोप में [[पूर्णांक बिंदु]]ओं की संख्या के बीच संबंध को कूटबद्ध करता है। एहरहार्ट बहुपदों के सिद्धांत को [[यूक्लिडियन विमान]] में पिक के प्रमेय के उच्च-आयामी सामान्यीकरण के रूप में देखा जा सकता है।
गणित में, एक अभिन्न [[ polytope |बहुस्थलिकता]] से संबंधित [[एहरहार्ट बहुपद]] होता है जो एक बहुस्थलिकता की मात्रा और बहुस्थलिकता में [[पूर्णांक बिंदु]]ओं की संख्या के बीच संबंध को कूटबद्ध करता है। एहरहार्ट बहुपदों के सिद्धांत को [[यूक्लिडियन विमान|यूक्लिडियन तल]] में पिक के प्रमेय के उच्च-आयामी सामान्यीकरण के रूप में देखा जा सकता है।


इन बहुपदों का नाम [[यूजीन एहरहार्ट]] के नाम पर रखा गया है जिन्होंने 1960 के दशक में उनका अध्ययन किया था।
इन बहुपदों का नाम [[यूजीन एहरहार्ट]] के नाम पर रखा गया है जिन्होंने 1960 के दशक में उनका अध्ययन किया था।


== परिभाषा ==
== परिभाषा ==
अनौपचारिक रूप से, यदि {{math|''P''}} एक पॉलीटोप है, और {{math|''tP''}} प्रत्येक आयाम में {{math|''t''}} के एक गुणनखंड द्वारा P का विस्तार करके गठित पॉलीटोप है फिर {{math|''L''(''P'', ''t'')}} {{math|''tP''}} में [[पूर्णांक जाली]] बिंदुओं की संख्या है
अनौपचारिक रूप से, यदि {{math|''P''}} एक बहुस्थलिकता है, और {{math|''tP''}} प्रत्येक आयाम में {{math|''t''}} के एक गुणनखंड द्वारा P का विस्तार करके गठित बहुस्थलिकता है फिर {{math|''L''(''P'', ''t'')}} {{math|''tP''}} में [[पूर्णांक जाली|पूर्णांक जालक]] बिंदुओं की संख्या है।


अधिक औपचारिक रूप से, एक [[जाली (समूह)]] <math>\mathcal{L}</math> पर विचार करें [[यूक्लिडियन अंतरिक्ष|यूक्लिडियन इस्पेस]] <math>\R^n</math> में और {{math|''d''}}-आयामी पॉलीटॉप {{math|''P''}} में <math>\R^n</math> गुण के साथ कि पॉलीटॉप के सभी कोने जाली के बिंदु हैं। (एक सामान्य उदाहरण है <math>\mathcal{L} = \Z^n</math> और एक पॉलीटॉप जिसके लिए सभी शीर्षों में [[पूर्णांक]] निर्देशांक होते हैं।) मान लेते हैं कि किसी भी सकारात्मक पूर्णांक {{math|''t''}} के लिए {{math|''tP''}}, {{math|''P''}} का t-गुना फैलाव हैं (जाली के आधार पर, प्रत्येक शीर्ष समन्वय को गुणा करके गठित पॉलीटॉप, {{math|''t''}} के गुणनखंड द्वारा), और माने
अधिक औपचारिक रूप से, [[यूक्लिडियन अंतरिक्ष|यूक्लिडियन स्थल]] <math>\R^n</math> और जालक <math>\mathcal{L}</math> और एक d-आयामी बहुस्थलिकता <math>P</math> में <math>\R^n</math> पर विचार करें, इस विशेषता के साथ कि बहुस्थलिकता के सभी शीर्ष जालक के बिंदु हैं। (एक सामान्य उदाहरण <math>\mathcal{L} = \Z^n</math> हैं और एक बहुस्थलिकता जिसके लिए सभी शीर्षों में [[पूर्णांक]] निर्देशांक होते हैं।) मान लेते हैं कि किसी भी सकारात्मक पूर्णांक {{math|''t''}} के लिए {{math|''tP''}}, {{math|''P''}} का t-गुना फैलाव हैं (जालक के आधार पर, प्रत्येक शीर्ष समन्वय को गुणा करके गठित बहुस्थलिकता, {{math|''t''}} के गुणनखंड द्वारा), और  


:<math>L(P,t) = \#\left(tP \cap \mathcal{L}\right)</math>
:<math>L(P,t) = \#\left(tP \cap \mathcal{L}\right)</math>
पॉलीटॉप {{math|''tP''}} में निहित जाली बिंदुओं की संख्या हो। एहरहार्ट ने 1962 में दिखाया कि {{math|''L''}}, t में डिग्री {{math|''d''}} का एक परिमेय बहुपद है, यानी वहाँ [[परिमेय संख्याएँ]] मौजूद हैं <math>L_0(P),\dots,L_d(P)</math> ऐसा है कि:
बहुस्थलिकता {{math|''tP''}} में निहित जालक बिंदुओं की संख्या को मान ले। एहरहार्ट ने 1962 में दिखाया कि {{math|''L''}}, t में डिग्री {{math|''d''}} का एक परिमेय बहुपद है, यानी वहाँ [[परिमेय संख्याएँ]] उपस्थित हैं <math>L_0(P),\dots,L_d(P)</math> ऐसा है कि:


:<math>L(P, t) = L_d(P) t^d + L_{d-1}(P) t^{d-1} + \cdots + L_0(P)</math>
:<math>L(P, t) = L_d(P) t^d + L_{d-1}(P) t^{d-1} + \cdots + L_0(P)</math>
सभी सकारात्मक पूर्णांकों के लिए {{math|''t''}}.
सभी सकारात्मक पूर्णांक {{math|''t''}} के लिए


एक बंद उत्तल पॉलीटोप {{math|''P''}} के [[इंटीरियर]] के एहरहार्ट बहुपद की गणना इस प्रकार की जा सकती है:
एक बंद उत्तल बहुस्थलिकता {{math|''P''}} के [[इंटीरियर|भीतर]] के एहरहार्ट बहुपद की गणना इस प्रकार की जा सकती है:


:<math> L(\operatorname{int}(P), t) = (-1)^d L(P, -t),</math>
:<math> L(\operatorname{int}(P), t) = (-1)^d L(P, -t),</math>
Line 21: Line 21:


== उदाहरण ==
== उदाहरण ==
[[File:Second dilate of a unit square.png|thumbnail|यह दूसरा फैलाव है, <math>t = 2</math>, एक इकाई वर्ग का। इसके नौ पूर्णांक बिंदु हैं।]]होने देना {{math|''P''}} एक हो {{math|''d''}}-डायमेंशनल [[ इकाई घन ]] [[ अतिविम ]] जिसके कोने पूर्णांक जाली बिंदु हैं जिनके सभी निर्देशांक 0 या 1 हैं। असमानताओं के संदर्भ में,
[[File:Second dilate of a unit square.png|thumbnail|यह दूसरा फैलाव है, <math>t = 2</math>, एक इकाई वर्ग का। इसके नौ पूर्णांक बिंदु हैं।]]मान लेते है कि {{math|''P''}} एक {{math|''d''}}-आयामी [[ इकाई घन | इकाई घन]][[ अतिविम |  अतिविम]] हैं, जिसके शीर्ष पूर्णांक जालक बिंदु हैं और जिनके सभी निर्देशांक 0 या 1 हैं। असमानताओं के संदर्भ में,


:<math> P = \left\{x\in\R^d : 0 \le x_i \le 1; 1 \le i \le d\right\}.</math>
:<math> P = \left\{x\in\R^d : 0 \le x_i \le 1; 1 \le i \le d\right\}.</math>
फिर {{math|''t''}}-गुना फैलाव {{math|''P''}} पार्श्व लंबाई वाला एक घन है {{math|''t''}} युक्त {{math|(''t'' + 1)<sup>''d''</sup>}} पूर्णांक अंक। अर्थात्, हाइपरक्यूब का एहरहार्ट बहुपद है {{math|''L''(''P'',''t'') {{=}} (''t'' + 1)<sup>''d''</sup>}}.<ref>{{harvtxt|De Loera|Rambau|Santos|2010}}</ref><ref>{{harvtxt|Mathar|2010}}</ref> इसके अतिरिक्त, यदि हम मूल्यांकन करते हैं {{math|''L''(''P'', ''t'')}} ऋणात्मक पूर्णांकों पर, तब
फिर <math id="''P''">P</math> का {{math|''t''}}-गुना फैलाव एक घन है जिसकी भुजा की लंबाई {{math|''t''}} है, जिसमें {{math|(''t'' + 1)<sup>''d''</sup>}} पूर्णांक बिंदु हैं। अर्थात्, अतिविम का एहरहार्ट बहुपद {{math|''L''(''P'',''t'') {{=}} (''t'' + 1)<sup>''d''</sup>}} हैं।.<ref>{{harvtxt|De Loera|Rambau|Santos|2010}}</ref><ref>{{harvtxt|Mathar|2010}}</ref> इसके अतिरिक्त, यदि हम ऋणात्मक पूर्णांकों पर {{math|''L''(''P'', ''t'')}} का मूल्यांकन करते हैं तब


: <math>L(P, -t) = (-1)^d (t - 1)^d = (-1)^d L(\operatorname{int}(P), t),</math>
: <math>L(P, -t) = (-1)^d (t - 1)^d = (-1)^d L(\operatorname{int}(P), t),</math>
जैसा कि हम एहरहार्ट-मैकडोनाल्ड पारस्परिकता से उम्मीद करेंगे।
जैसा कि हमें एहरहार्ट-मैकडोनाल्ड पारस्परिकता से अपेक्षा करते हैं।
 
कई अन्य आलंकारिक संख्याओं को एहरहार्ट बहुपदों के रूप में व्यक्त किया जा सकता है। उदाहरण के लिए, [[वर्ग पिरामिड संख्या]]एँ वर्ग पिरामिड के एहरहार्ट बहुपदों द्वारा दी जाती हैं, जिसका आधार एक पूर्णांक इकाई वर्ग होता है और जिसकी ऊँचाई एक होती है; इस मामले में एहरहार्ट बहुपद है {{math|{{sfrac|1|6}}(''t'' + 1)(''t'' + 2)(2''t'' + 3)}}.<ref>{{harvtxt|Beck|De Loera|Develin|Pfeifle|2005}}.</ref>


कई अन्य आलंकारिक संख्याओं को एहरहार्ट बहुपदों के रूप में व्यक्त किया जा सकता है। उदाहरण के लिए, [[वर्ग पिरामिड संख्या]]एँ वर्ग पिरामिड के एहरहार्ट बहुपदों द्वारा दी जाती हैं, जिसका आधार एक पूर्णांक इकाई वर्ग होता है और जिसकी ऊँचाई एक होती है; इस स्थिति में एहरहार्ट बहुपद  {{math|{{sfrac|1|6}}(''t'' + 1)(''t'' + 2)(2''t'' + 3)}} है। <ref>{{harvtxt|Beck|De Loera|Develin|Pfeifle|2005}}.</ref>


== एहरहार्ट अर्ध-बहुपद ==
== एहरहार्ट अर्ध-बहुपद ==
होने देना {{math|''P''}} एक तर्कसंगत पॉलीटॉप बनें। दूसरे शब्दों में, मान लीजिए
मान लीजिए कि {{math|''P''}} एक परिमेय बहुस्थलिकता है। दूसरे शब्दों में, मान लीजिए


:<math>P = \left\{ x\in\R^d : Ax \le b\right\},</math>
:<math>P = \left\{ x\in\R^d : Ax \le b\right\},</math>
कहाँ <math>A \in \Q^{k \times d}</math> और <math>b \in \Q^k.</math> (समान रूप से, {{math|''P''}} बारीक कई बिंदुओं का उत्तल पतवार है <math>\Q^d.</math>) फिर परिभाषित करें
जहाँ  <math>A \in \Q^{k \times d}</math> और <math>b \in \Q^k.</math> (समान रूप से {{math|''P''}}, <math>\Q^d</math> में बहुत से बिंदुओं का अवमुख समावरक है) फिर परिभाषित करें


:<math>L(P, t) = \#\left(\left\{x\in\Z^n : Ax \le tb \right\} \right). </math>
:<math>L(P, t) = \#\left(\left\{x\in\Z^n : Ax \le tb \right\} \right). </math>
इस मामले में, {{math|''L''(''P'', ''t'')}} में एक [[अर्ध-बहुपद]] है {{math|''t''}}. जिस तरह इंटीग्रल पॉलीटोप्स के साथ, एहरहार्ट-मैकडोनाल्ड पारस्परिकता रखती है, वह है,
इस स्थिति में, {{math|''L''(''P'', ''t'')}} {{math|''t''}} में एक अर्ध-बहुपद है। जिस तरह अभिन्न बहुतलीय के साथ, एहरहार्ट-मैकडोनाल्ड पारस्परिकता होती है, उसी तरह,  


: <math> L(\operatorname{int}(P), t) = (-1)^n L(P, -t). </math>
: <math> L(\operatorname{int}(P), t) = (-1)^n L(P, -t). </math>


 
== एहरहार्ट अर्ध-बहुपदों के उदाहरण ==
== एहरहार्ट अर्ध-बहुपद == के उदाहरण
मान लीजिए {{math|''P''}} एक बहुभुज है जिसके शीर्ष (0,0), (0,2), (1,1) और ({{sfrac|3|2}}, 0) हैं।  {{math|''tP''}} में पूर्णांक बिंदुओं की संख्या को अर्ध-बहुपद द्वारा गिना जाएगा <ref name="MR2271992">{{cite book|title=सतत रूप से कम्प्यूटिंग|title-link= सतत रूप से कम्प्यूटिंग| year=2007| publisher=Springer|location=New York|pages=[https://archive.org/details/computingcontinu00beck_082/page/n61 46]–47|last1=Beck|first1=Matthias|last2=Robins|first2=Sinai|mr=2271992}}</ref>
होने देना {{math|''P''}} कोने (0,0), (0,2), (1,1) और ({{sfrac|3|2}}, 0). में पूर्णांक बिंदुओं की संख्या {{math|''tP''}} अर्ध-बहुपद द्वारा गिना जाएगा <ref name=MR2271992>{{cite book|title=सतत रूप से कम्प्यूटिंग|title-link= सतत रूप से कम्प्यूटिंग| year=2007| publisher=Springer|location=New York|pages=[https://archive.org/details/computingcontinu00beck_082/page/n61 46]–47|last1=Beck|first1=Matthias|last2=Robins|first2=Sinai|mr=2271992}}</ref>
: <math> L(P, t) = \frac{7t^2}{4} + \frac{5t}{2} + \frac{7 + (-1)^t}{8}. </math>
: <math> L(P, t) = \frac{7t^2}{4} + \frac{5t}{2} + \frac{7 + (-1)^t}{8}. </math>




== गुणांकों की व्याख्या ==
== गुणांकों की व्याख्या ==
अगर {{math|''P''}} [[बंद सेट]] है (अर्थात सीमा के चेहरे संबंधित हैं {{math|''P''}}), के कुछ गुणांक {{math|''L''(''P'', ''t'')}} एक आसान व्याख्या है:
अगर {{math|''P''}} [[बंद सेट]] है (अर्थात सीमा के छोर {{math|''P''}} से संबंधित है), {{math|''L''(''P'', ''t'')}} के कुछ गुणांको की एक आसान व्याख्या है:


* अग्रणी गुणांक, <math>L_d(P)</math>, के बराबर है {{math|''d''}}-विमीय [[आयतन]] {{math|''P''}}, द्वारा विभाजित {{math|''d''(''L'')}} (सामग्री या कोवॉल्यूम की व्याख्या के लिए जाली (समूह) देखें {{math|''d''(''L'')}} एक जाली का);
* अग्रणी गुणांक, <math>L_d(P)</math>, {{math|''P''}} के d-आयामी [[आयतन]] के बराबर है, उसे {{math|''d''(''L'')}} से भाग करे।


* दूसरा गुणांक, <math>L_{d-1}(P)</math>, की गणना इस प्रकार की जा सकती है: जाली {{math|''L''}} जाली को प्रेरित करता है {{math|''L<sub>F</sub>''}} किसी भी चेहरे पर {{math|''F''}} का {{math|''P''}}; ले लो {{math|(''d'' − 1)}}-विमीय आयतन {{math|''F''}}, से भाग {{math|2''d''(''L<sub>F</sub>'')}}, और उन नंबरों को सभी चेहरों के लिए जोड़ें {{math|''P''}};
* दूसरा गुणांक, <math>L_{d-1}(P)</math>, की गणना इस प्रकार की जा सकती है: जालक {{math|''L''}}, <math>P</math> के किसी भी छोर <math>F</math> पर एक जालक को प्रेरित करता है, <math>F</math> का {{math}}{{math|(''d'' − 1)}} विमीय आयतन ले, {{math|2''d''(''L<sub>F</sub>'')}} से भाग करें और उन संख्याओं को <math>P</math> के सभी छोरों के लिए जोड़ें;


* स्थिर गुणांक {{math|''a''<sub>0</sub>}} की [[यूलर विशेषता]] है {{math|''P''}}. कब {{math|''P''}} एक बंद उत्तल पॉलीटॉप है, <math>L_0(P)=1</math>.
* स्थिर गुणांक {{math|''a''<sub>0</sub>}} की [[यूलर विशेषता]] {{math|''P''}} है। जब {{math|''P''}} एक बंद उत्तल बहुस्थलिकता है, तब <math>L_0(P)=1</math>.


== बेटके-नेसर प्रमेय ==
== बेटके-नेसर प्रमेय ==
उलरिच बेटके और [[मार्टिन केनेसर]]<ref>{{citation|last1=Betke|first1= Ulrich|last2= Kneser|first2=Martin|authorlink2=Martin Kneser| year=1985 | title=Zerlegungen und Bewertungen von Gitterpolytopen|journal= [[Crelle's Journal|Journal für die reine und angewandte Mathematik]] |volume=358|pages= 202–208|mr=0797683}}</ref> एहरहार्ट गुणांकों के निम्नलिखित लक्षण वर्णन की स्थापना की। एक कार्यात्मक <math>Z</math> इंटीग्रल पॉलीटोप्स पर परिभाषित एक है <math>\operatorname{SL}(n,\Z)</math> और अनुवाद अपरिवर्तनीय [[मूल्यांकन (माप सिद्धांत)]] यदि और केवल वास्तविक संख्याएं हैं <math>c_0,\ldots, c_n</math> ऐसा है कि
उलरिच बेटके और [[मार्टिन केनेसर]]<ref>{{citation|last1=Betke|first1= Ulrich|last2= Kneser|first2=Martin|authorlink2=Martin Kneser| year=1985 | title=Zerlegungen und Bewertungen von Gitterpolytopen|journal= [[Crelle's Journal|Journal für die reine und angewandte Mathematik]] |volume=358|pages= 202–208|mr=0797683}}</ref> ने एहरहार्ट गुणांकों के निम्नलिखित विशेषताओं की स्थापना की। एक अभिन्न बहुतलीय पर परिभाषित कार्यात्मक <math>Z</math> एक <math>\operatorname{SL}(n,\Z)</math> है और अनुवाद अपरिवर्तनीय [[मूल्यांकन (माप सिद्धांत)]] यदि और केवल वास्तविक संख्याएं <math>c_0,\ldots, c_n</math> है, जैसे कि


:<math> Z= c_0 L_0+\cdots +c_n L_n.</math>
:<math> Z= c_0 L_0+\cdots +c_n L_n.</math>
Line 65: Line 63:


== एहरहार्ट श्रृंखला ==
== एहरहार्ट श्रृंखला ==
हम समाकल के एहरहार्ट बहुपद के लिए एक जनक फलन परिभाषित कर सकते हैं {{math|''d''}}-आयामी पॉलीटॉप {{math|''P''}} जैसा
हम एक अभिन्न {{math|''d''}}-आयामी बहुस्थलिकता {{math|''P''}} के एहरहार्ट बहुपद के लिए एक [[फलन उत्पन्न|जनक फलन]] को परिभाषित कर सकते हैं


: <math> \operatorname{Ehr}_P(z) = \sum_{t\ge 0} L(P, t)z^t. </math>
: <math> \operatorname{Ehr}_P(z) = \sum_{t\ge 0} L(P, t)z^t. </math>
इस श्रृंखला को एक [[तर्कसंगत कार्य]] के रूप में व्यक्त किया जा सकता है। विशेष रूप से, एहरहार्ट ने सिद्ध किया (1962){{cn|date=February 2017}} कि जटिल संख्याएँ मौजूद हैं <math>h_j^*</math>, <math>0 \le j \le d</math>, जैसे कि एहरहार्ट श्रृंखला {{math|''P''}} है
इस श्रृंखला को एक [[तर्कसंगत कार्य|परिमेय फलन]] के रूप में व्यक्त किया जा सकता है। विशेष रूप से, एहरहार्ट ने सिद्ध किया (1962){{cn|date=February 2017}} कि जटिल संख्याएँ उपस्थित हैं <math>h_j^*</math>, <math>0 \le j \le d</math>, जैसे कि {{math|''P''}} की एहरहार्ट श्रृंखला है


:<math>\operatorname{Ehr}_P(z) = \frac{\sum_{j=0}^d h_j^\ast(P) z^j}{(1 - z)^{d + 1}}, \qquad \sum_{j=0}^d h_j^\ast(P) \neq 0.</math>
:<math>\operatorname{Ehr}_P(z) = \frac{\sum_{j=0}^d h_j^\ast(P) z^j}{(1 - z)^{d + 1}}, \qquad \sum_{j=0}^d h_j^\ast(P) \neq 0.</math>
इसके अतिरिक्त, रिचर्ड पी. स्टेनली का गैर-नकारात्मकता प्रमेय बताता है कि दी गई परिकल्पनाओं के तहत, <math>h_j^*</math> के लिए गैर-ऋणात्मक पूर्णांक होंगे <math>0 \le j \le d</math>.
इसके अतिरिक्त, रिचर्ड पी. स्टेनली का गैर-नकारात्मकता प्रमेय बताता है कि दी गई परिकल्पनाओं के निम्न, <math>h_j^*</math> के लिए गैर-ऋणात्मक पूर्णां<math>0 \le j \le d</math> होंगे
 
स्टेनली द्वारा एक अन्य परिणाम से पता चलता है कि अगर {{math|''P''}} में निहित एक जाली पॉलीटॉप है {{math|''Q''}}, तब <math>h_j^*(P) \le h_j^*(Q)</math> सभी के लिए {{math|''j''}}.<ref>{{cite journal|last1=Stanley|first1=Richard|title=A monotonicity property of <math>h</math>-vectors and <math>h^*</math>-vectors|journal=[[European Journal of Combinatorics]]|year=1993|volume=14|issue=3 |pages=251–258 |doi=10.1006/eujc.1993.1028|doi-access=free}}</ref>  <math>h^*</math>वें>-वेक्टर सामान्य रूप से एकरूप नहीं है, लेकिन जब भी यह सममित होता है, और पॉलीटोप में एक नियमित यूनिमॉड्यूलर त्रिभुज होता है।<ref>{{cite journal|last1=Athanasiadis|first1=Christos A.|title=''h''*-सदिश, यूलेरियन बहुपद और रेखांकन के स्थिर बहुशीर्ष| journal= [[Electronic Journal of Combinatorics]]| year=2004| volume=11| issue=2|doi=10.37236/1863| url= http://www.combinatorics.org/ojs/index.php/eljc/article/view/v11i2r6| doi-access=free}}</ref>


स्टेनली द्वारा एक अन्य परिणाम से पता चलता है कि अगर {{math|''P''}}, {{math|''Q''}} में निहित एक जालक बहुस्थलिकता है तब <math>h_j^*(P) \le h_j^*(Q)</math> सभी {{math|''j''}} के लिए<ref>{{cite journal|last1=Stanley|first1=Richard|title=A monotonicity property of <math>h</math>-vectors and <math>h^*</math>-vectors|journal=[[European Journal of Combinatorics]]|year=1993|volume=14|issue=3 |pages=251–258 |doi=10.1006/eujc.1993.1028|doi-access=free}}</ref>  <math>h^*</math>  सदिश सामान्य रूप से एकरूप नहीं है, लेकिन जब भी यह सममित होता है, और बहुस्थलिकता में एक नियमित एकमापांकि त्रिभुज होता है।<ref>{{cite journal|last1=Athanasiadis|first1=Christos A.|title=''h''*-सदिश, यूलेरियन बहुपद और रेखांकन के स्थिर बहुशीर्ष| journal= [[Electronic Journal of Combinatorics]]| year=2004| volume=11| issue=2|doi=10.37236/1863| url= http://www.combinatorics.org/ojs/index.php/eljc/article/view/v11i2r6| doi-access=free}}</ref>


=== तर्कसंगत पॉलीटोप्स === के लिए एहरहार्ट श्रृंखला
=== परिमेय बहुतलीय के लिए एहरहार्ट श्रृंखला ===
जैसा कि पूर्णांक कोने वाले पॉलीटोप्स के मामले में, एक परिमेय पॉलीटॉप के लिए एहरहार्ट श्रृंखला को परिभाषित करता है। एक डी-आयामी तर्कसंगत पॉलीटॉप के लिए {{math|''P''}}, कहाँ {{math|''D''}} ऐसा सबसे छोटा पूर्णांक है {{math|''DP''}} एक पूर्णांक पॉलीटॉप है ({{math|''D''}} का हर कहा जाता है {{math|''P''}}), तो किसी के पास है
जैसा कि पूर्णांक शीर्षो वाले बहुतलीय के स्थिति में, एक परिमेय बहुस्थलिकता के लिए एहरहार्ट श्रृंखला को परिभाषित करता है। एक d-आयामी परिमेय बहुस्थलिकता {{math|''P''}} के लिए, जहाँ {{math|''D''}} सबसे छोटा पूर्णांक है, जैसे कि {{math|''DP''}} एक पूर्णांक बहुस्थलिकता है ({{math|''D''}} को {{math|''P''}} का हर कहा जाता है), तो किसी के पास है


:<math>\operatorname{Ehr}_P(z) = \sum_{t\ge 0} L(P, t)z^t = \frac{\sum_{j=0}^{D(d+1)} h_j^\ast(P) z^j}{\left(1 - z^D\right)^{d + 1}},</math>
:<math>\operatorname{Ehr}_P(z) = \sum_{t\ge 0} L(P, t)z^t = \frac{\sum_{j=0}^{D(d+1)} h_j^\ast(P) z^j}{\left(1 - z^D\right)^{d + 1}},</math>
जहां <math>h_j^*</math> अभी भी गैर-ऋणात्मक पूर्णांक हैं।<ref>{{cite journal|last=Stanley|first=Richard P.|authorlink=Richard P. Stanley|title=तर्कसंगत उत्तल पॉलीटोप्स का अपघटन|journal=Annals of Discrete Mathematics|date=1980|volume=6|pages=333–342| doi=10.1016/s0167-5060(08)70717-9|isbn=9780444860484}}</ref><ref>{{cite journal| last1=Beck| first1=Matthias| last2=Sottile| first2= Frank|title=स्टेनली के तीन प्रमेयों के लिए अपरिमेय प्रमाण|journal=[[European Journal of Combinatorics]]|date=January 2007| volume =28|issue=1|pages=403–409|doi=10.1016/j.ejc.2005.06.003|arxiv=math/0501359| s2cid=7801569}}</ref>
जहां <math>h_j^*</math> अभी भी गैर-ऋणात्मक पूर्णांक हैं।<ref>{{cite journal|last=Stanley|first=Richard P.|authorlink=Richard P. Stanley|title=तर्कसंगत उत्तल पॉलीटोप्स का अपघटन|journal=Annals of Discrete Mathematics|date=1980|volume=6|pages=333–342| doi=10.1016/s0167-5060(08)70717-9|isbn=9780444860484}}</ref><ref>{{cite journal| last1=Beck| first1=Matthias| last2=Sottile| first2= Frank|title=स्टेनली के तीन प्रमेयों के लिए अपरिमेय प्रमाण|journal=[[European Journal of Combinatorics]]|date=January 2007| volume =28|issue=1|pages=403–409|doi=10.1016/j.ejc.2005.06.003|arxiv=math/0501359| s2cid=7801569}}</ref>




== गैर-अग्रणी गुणांक सीमा ==
== गैर-अग्रणी गुणांक सीमा ==
बहुपद के गैर-अग्रणी गुणांक <math>c_0,\dots,c_{d-1}</math> प्रतिनिधित्व में
प्रतिनिधित्व में बहुपद के गैर-अग्रणी गुणांक <math>c_0,\dots,c_{d-1}</math>  


:<math>L(P,t) = \sum_{r=0}^d c_r t^r</math> ऊपरी सीमा हो सकती है:<ref>{{Cite journal|last1=Betke|first1=Ulrich |last2=McMullen|first2=Peter|author2-link=Peter McMullen|date=1985-12-01|title=जाली पॉलीटोप्स में जाली बिंदु| journal=[[Monatshefte für Mathematik]]| language=en|volume=99|issue=4|pages=253–265|doi=10.1007/BF01312545|s2cid=119545615 |issn=1436-5081}}</ref>
:<math>L(P,t) = \sum_{r=0}^d c_r t^r</math>  
:ऊपरी सीमा हो सकती है:<ref>{{Cite journal|last1=Betke|first1=Ulrich |last2=McMullen|first2=Peter|author2-link=Peter McMullen|date=1985-12-01|title=जाली पॉलीटोप्स में जाली बिंदु| journal=[[Monatshefte für Mathematik]]| language=en|volume=99|issue=4|pages=253–265|doi=10.1007/BF01312545|s2cid=119545615 |issn=1436-5081}}</ref>
:<math>c_r \leq (-1)^{d-r}\begin{bmatrix}d \\ r \end{bmatrix} c_d +\frac{(-1)^{d-r-1}}{(d-1)!}\begin{bmatrix}d\\ r+1\end{bmatrix}</math>
:<math>c_r \leq (-1)^{d-r}\begin{bmatrix}d \\ r \end{bmatrix} c_d +\frac{(-1)^{d-r-1}}{(d-1)!}\begin{bmatrix}d\\ r+1\end{bmatrix}</math>
कहाँ <math>\left [\begin{smallmatrix}n\\ k\end{smallmatrix} \right ]</math> [[पहली तरह की स्टर्लिंग संख्या]] है। निचली सीमाएं भी मौजूद हैं।<ref>{{Cite journal|last1=Henk|first1=Martin|last2=Tagami|first2=Makoto|date=2009-01-01|title=एहरहार्ट बहुपदों के गुणांकों पर निचली सीमाएं|journal=[[European Journal of Combinatorics]]|volume=30|issue=1|pages=70–83|doi=10.1016/j.ejc.2008.02.009|issn=0195-6698| arxiv=0710.2665|s2cid=3026293}}</ref>
जहाँ <math>\left [\begin{smallmatrix}n\\ k\end{smallmatrix} \right ]</math> [[पहली तरह की स्टर्लिंग संख्या]] है। निचली सीमाएं भी उपस्थित हैं।<ref>{{Cite journal|last1=Henk|first1=Martin|last2=Tagami|first2=Makoto|date=2009-01-01|title=एहरहार्ट बहुपदों के गुणांकों पर निचली सीमाएं|journal=[[European Journal of Combinatorics]]|volume=30|issue=1|pages=70–83|doi=10.1016/j.ejc.2008.02.009|issn=0195-6698| arxiv=0710.2665|s2cid=3026293}}</ref>




== टोरिक किस्म ==
== टोरिक किस्म ==
मामला <math>n=d=2</math> और <math>t = 1</math> इन कथनों से पिक की प्रमेय प्राप्त होती है। अन्य गुणांकों के लिए सूत्र प्राप्त करना बहुत कठिन है; इस उद्देश्य के लिए [[टॉरिक किस्म]] के [[टोड वर्ग]], रीमैन-रोच प्रमेय और साथ ही [[फूरियर विश्लेषण]] का उपयोग किया गया है।
स्थिति <math>n=d=2</math> और <math>t = 1</math> इन कथनों से पिक की प्रमेय प्राप्त होती है। अन्य गुणांकों के लिए सूत्र प्राप्त करना बहुत कठिन है; इस उद्देश्य के लिए [[टॉरिक किस्म|टॉरिक प्रकार]] के [[टोड वर्ग]], रीमैन-रोच प्रमेय और साथ ही [[फूरियर विश्लेषण]] का उपयोग किया गया है।


अगर {{math|''X''}} के सामान्य पंखे के अनुरूप टोरिक किस्म है {{math|''P''}}, तब {{math|''P''}} एक [[पर्याप्त लाइन बंडल]] को परिभाषित करता है {{math|''X''}}, और का एहरहार्ट बहुपद {{math|''P''}} इस लाइन बंडल के [[हिल्बर्ट बहुपद]] के साथ मेल खाता है।
अगर {{math|''X''}}, <math>P</math> के अनुरूप टोरिक प्रकार है {{math|}}, तब {{math|''P''}}, {{math|''X''}} पर एक पर्याप्त लाइन बंडल को परिभाषित करता है, और {{math|''P''}} का एहरहार्ट बहुपद इस लाइन बंडल के [[हिल्बर्ट बहुपद]] के साथ मेल खाता है।


एहरहार्ट बहुपदों का उनके स्वयं के लिए अध्ययन किया जा सकता है। उदाहरण के लिए, कोई एहरहार्ट बहुपद की जड़ों से संबंधित प्रश्न पूछ सकता है।<ref>{{cite book|last1=Braun|first1=Benjamin|last2=Develin|first2=Mike|authorlink2=Mike Develin| title=एहरहार्ट बहुपद जड़ें और स्टेनली की गैर-नकारात्मकता प्रमेय|publisher=[[American Mathematical Society]] |year=2008|volume=452|series=Contemporary Mathematics|pages=67–78| doi= 10.1090/conm/452/08773 |arxiv=math/0610399|isbn=9780821841730|s2cid=118496291}}</ref> इसके अलावा, कुछ लेखकों ने इस सवाल का पीछा किया है कि इन बहुपदों को कैसे वर्गीकृत किया जा सकता है।<ref>{{cite journal| last=Higashitani |first=Akihiro| title= समाकलन सरलताओं के एहरहार्ट बहुपदों का वर्गीकरण|journal=DMTCS Proceedings| year=2012| pages=587–594| url= http://www.math.nagoya-u.ac.jp/fpsac12/download/contributed/dmAR0152.pdf}}</ref>
एहरहार्ट बहुपदों का उनके स्वयं के लिए अध्ययन किया जा सकता है। उदाहरण के लिए, कोई एहरहार्ट बहुपद की जड़ों से संबंधित प्रश्न पूछ सकता है।<ref>{{cite book|last1=Braun|first1=Benjamin|last2=Develin|first2=Mike|authorlink2=Mike Develin| title=एहरहार्ट बहुपद जड़ें और स्टेनली की गैर-नकारात्मकता प्रमेय|publisher=[[American Mathematical Society]] |year=2008|volume=452|series=Contemporary Mathematics|pages=67–78| doi= 10.1090/conm/452/08773 |arxiv=math/0610399|isbn=9780821841730|s2cid=118496291}}</ref> इसके अतिरिक्त, कुछ लेखकों ने यह सवाल किया है कि इन बहुपदों को कैसे वर्गीकृत किया जा सकता है।<ref>{{cite journal| last=Higashitani |first=Akihiro| title= समाकलन सरलताओं के एहरहार्ट बहुपदों का वर्गीकरण|journal=DMTCS Proceedings| year=2012| pages=587–594| url= http://www.math.nagoya-u.ac.jp/fpsac12/download/contributed/dmAR0152.pdf}}</ref>




== सामान्यीकरण ==
== सामान्यीकरण ==
एक पॉलीटोप में पूर्णांक बिंदुओं की संख्या का अध्ययन करना संभव है {{math|''P''}} अगर हम इसके कुछ पहलुओं को फैलाते हैं {{math|''P''}} लेकिन अन्य नहीं। दूसरे शब्दों में, कोई अर्ध-पतला पॉलीटोप्स में पूर्णांक बिंदुओं की संख्या जानना चाहेगा। यह पता चला है कि इस तरह की गिनती का कार्य एक बहुभिन्नरूपी अर्ध-बहुपद कहलाता है। एहरहार्ट-प्रकार की पारस्परिकता प्रमेय भी इस तरह के एक गिनती समारोह के लिए मान्य होगी।<ref>{{cite journal| last=Beck |first= Matthias|title=बहुआयामी एहरहार्ट पारस्परिकता|journal=[[Journal of Combinatorial Theory]]|date=January 2002|volume=97|series=Series A| issue=1| pages=187–194| doi= 10.1006/jcta.2001.3220| arxiv= math/0111331|s2cid= 195227}}</ref>
अगर हम <math>P</math> के कुछ पहलुओं को फैलाते है, तो बहुस्थलिकता <math>P</math> में पूर्णांक बिंदुओं की संख्या का अध्ययन करना संभव होगा। दूसरे शब्दों में, कोई अर्ध-फैली बहुस्थलिकता में पूर्णांक बिंदुओं की संख्या जानना चाहेगा। यह पता चला है कि इस तरह की गिनती का फलन एक बहुभिन्नरूपी अर्ध-बहुपद कहलाता है। एहरहार्ट-प्रकार की पारस्परिकता प्रमेय भी इस तरह की गिनती के फलन में मान्य होगी।
पॉलीटोप्स के अर्ध-विस्तारण में पूर्णांक बिंदुओं की संख्या की गणना के अनुप्रयोग हैं<ref>{{cite journal| last=Lisonek| first=Petr| title= अर्ध-बहुपदों द्वारा परिगणित संयोजी परिवार|journal=[[Journal of Combinatorial Theory]]| year=2007| volume=114| series=Series A|issue=4|pages=619–630| doi=10.1016/j.jcta.2006.06.013| doi-access=free}}</ref> नियमित बहुभुजों के विभिन्न विच्छेदन की संख्या और गैर-आइसोमॉर्फिक अप्रतिबंधित कोड की संख्या की गणना करने में, [[कोडिंग सिद्धांत]] के क्षेत्र में एक विशेष प्रकार का कोड।
 
बहुतलीय के अर्ध-विस्तारण में पूर्णांक बिंदुओं की संख्या की गणना के अनुप्रयोग <ref>{{cite journal| last=Lisonek| first=Petr| title= अर्ध-बहुपदों द्वारा परिगणित संयोजी परिवार|journal=[[Journal of Combinatorial Theory]]| year=2007| volume=114| series=Series A|issue=4|pages=619–630| doi=10.1016/j.jcta.2006.06.013| doi-access=free}}</ref> नियमित बहुभुजों के विभिन्न विच्छेदन की संख्या और गैर-समरूपी अप्रतिबंधित कोड की संख्या की गणना करने में है, [[कोडिंग सिद्धांत]] के क्षेत्र में एक विशेष प्रकार का कोड।


== यह भी देखें ==
== यह भी देखें ==
Line 172: Line 172:
  | title = Lecture notes on toric varieties
  | title = Lecture notes on toric varieties
  | url = http://www.math.lsa.umich.edu/~mmustata/toric_var.html}}.
  | url = http://www.math.lsa.umich.edu/~mmustata/toric_var.html}}.
[[Category: संख्याओं का अंकन करें]] [[Category: बहुपदों]] [[Category: जाली अंक]] [[Category: पॉलीटोप्स]]


[[Category: Machine Translated Page]]
[[Category:All articles with unsourced statements]]
[[Category:Articles with invalid date parameter in template]]
[[Category:Articles with unsourced statements from February 2017]]
[[Category:CS1 English-language sources (en)]]
[[Category:Created On 03/03/2023]]
[[Category:Created On 03/03/2023]]
[[Category:Machine Translated Page]]
[[Category:Pages with script errors]]
[[Category:Templates Vigyan Ready]]
[[Category:जाली अंक]]
[[Category:पॉलीटोप्स]]
[[Category:बहुपदों]]

Latest revision as of 10:54, 20 March 2023

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

इन बहुपदों का नाम यूजीन एहरहार्ट के नाम पर रखा गया है जिन्होंने 1960 के दशक में उनका अध्ययन किया था।

परिभाषा

अनौपचारिक रूप से, यदि P एक बहुस्थलिकता है, और tP प्रत्येक आयाम में t के एक गुणनखंड द्वारा P का विस्तार करके गठित बहुस्थलिकता है फिर L(P, t) tP में पूर्णांक जालक बिंदुओं की संख्या है।

अधिक औपचारिक रूप से, यूक्लिडियन स्थल और जालक और एक d-आयामी बहुस्थलिकता में पर विचार करें, इस विशेषता के साथ कि बहुस्थलिकता के सभी शीर्ष जालक के बिंदु हैं। (एक सामान्य उदाहरण हैं और एक बहुस्थलिकता जिसके लिए सभी शीर्षों में पूर्णांक निर्देशांक होते हैं।) मान लेते हैं कि किसी भी सकारात्मक पूर्णांक t के लिए tP, P का t-गुना फैलाव हैं (जालक के आधार पर, प्रत्येक शीर्ष समन्वय को गुणा करके गठित बहुस्थलिकता, t के गुणनखंड द्वारा), और

बहुस्थलिकता tP में निहित जालक बिंदुओं की संख्या को मान ले। एहरहार्ट ने 1962 में दिखाया कि L, t में डिग्री d का एक परिमेय बहुपद है, यानी वहाँ परिमेय संख्याएँ उपस्थित हैं ऐसा है कि:

सभी सकारात्मक पूर्णांक t के लिए

एक बंद उत्तल बहुस्थलिकता P के भीतर के एहरहार्ट बहुपद की गणना इस प्रकार की जा सकती है:

जहाँ d, P का आयाम है इस परिणाम को एहरहार्ट-मैकडोनाल्ड पारस्परिकता के रूप में जाना जाता है।[1]


उदाहरण

यह दूसरा फैलाव है, , एक इकाई वर्ग का। इसके नौ पूर्णांक बिंदु हैं।

मान लेते है कि P एक d-आयामी इकाई घन अतिविम हैं, जिसके शीर्ष पूर्णांक जालक बिंदु हैं और जिनके सभी निर्देशांक 0 या 1 हैं। असमानताओं के संदर्भ में,

फिर का t-गुना फैलाव एक घन है जिसकी भुजा की लंबाई t है, जिसमें (t + 1)d पूर्णांक बिंदु हैं। अर्थात्, अतिविम का एहरहार्ट बहुपद L(P,t) = (t + 1)d हैं।.[2][3] इसके अतिरिक्त, यदि हम ऋणात्मक पूर्णांकों पर L(P, t) का मूल्यांकन करते हैं तब

जैसा कि हमें एहरहार्ट-मैकडोनाल्ड पारस्परिकता से अपेक्षा करते हैं।

कई अन्य आलंकारिक संख्याओं को एहरहार्ट बहुपदों के रूप में व्यक्त किया जा सकता है। उदाहरण के लिए, वर्ग पिरामिड संख्याएँ वर्ग पिरामिड के एहरहार्ट बहुपदों द्वारा दी जाती हैं, जिसका आधार एक पूर्णांक इकाई वर्ग होता है और जिसकी ऊँचाई एक होती है; इस स्थिति में एहरहार्ट बहुपद 1/6(t + 1)(t + 2)(2t + 3) है। [4]

एहरहार्ट अर्ध-बहुपद

मान लीजिए कि P एक परिमेय बहुस्थलिकता है। दूसरे शब्दों में, मान लीजिए

जहाँ और (समान रूप से P, में बहुत से बिंदुओं का अवमुख समावरक है) फिर परिभाषित करें

इस स्थिति में, L(P, t) t में एक अर्ध-बहुपद है। जिस तरह अभिन्न बहुतलीय के साथ, एहरहार्ट-मैकडोनाल्ड पारस्परिकता होती है, उसी तरह,

एहरहार्ट अर्ध-बहुपदों के उदाहरण

मान लीजिए P एक बहुभुज है जिसके शीर्ष (0,0), (0,2), (1,1) और (3/2, 0) हैं। tP में पूर्णांक बिंदुओं की संख्या को अर्ध-बहुपद द्वारा गिना जाएगा [5]


गुणांकों की व्याख्या

अगर P बंद सेट है (अर्थात सीमा के छोर P से संबंधित है), L(P, t) के कुछ गुणांको की एक आसान व्याख्या है:

  • अग्रणी गुणांक, , P के d-आयामी आयतन के बराबर है, उसे d(L) से भाग करे।
  • दूसरा गुणांक, , की गणना इस प्रकार की जा सकती है: जालक L, के किसी भी छोर पर एक जालक को प्रेरित करता है, का {{{1}}}(d − 1) विमीय आयतन ले, 2d(LF) से भाग करें और उन संख्याओं को के सभी छोरों के लिए जोड़ें;
  • स्थिर गुणांक a0 की यूलर विशेषता P है। जब P एक बंद उत्तल बहुस्थलिकता है, तब .

बेटके-नेसर प्रमेय

उलरिच बेटके और मार्टिन केनेसर[6] ने एहरहार्ट गुणांकों के निम्नलिखित विशेषताओं की स्थापना की। एक अभिन्न बहुतलीय पर परिभाषित कार्यात्मक एक है और अनुवाद अपरिवर्तनीय मूल्यांकन (माप सिद्धांत) यदि और केवल वास्तविक संख्याएं है, जैसे कि


एहरहार्ट श्रृंखला

हम एक अभिन्न d-आयामी बहुस्थलिकता P के एहरहार्ट बहुपद के लिए एक जनक फलन को परिभाषित कर सकते हैं

इस श्रृंखला को एक परिमेय फलन के रूप में व्यक्त किया जा सकता है। विशेष रूप से, एहरहार्ट ने सिद्ध किया (1962)[citation needed] कि जटिल संख्याएँ उपस्थित हैं , , जैसे कि P की एहरहार्ट श्रृंखला है

इसके अतिरिक्त, रिचर्ड पी. स्टेनली का गैर-नकारात्मकता प्रमेय बताता है कि दी गई परिकल्पनाओं के निम्न, के लिए गैर-ऋणात्मक पूर्णां होंगे

स्टेनली द्वारा एक अन्य परिणाम से पता चलता है कि अगर P, Q में निहित एक जालक बहुस्थलिकता है तब सभी j के लिए[7] सदिश सामान्य रूप से एकरूप नहीं है, लेकिन जब भी यह सममित होता है, और बहुस्थलिकता में एक नियमित एकमापांकि त्रिभुज होता है।[8]

परिमेय बहुतलीय के लिए एहरहार्ट श्रृंखला

जैसा कि पूर्णांक शीर्षो वाले बहुतलीय के स्थिति में, एक परिमेय बहुस्थलिकता के लिए एहरहार्ट श्रृंखला को परिभाषित करता है। एक d-आयामी परिमेय बहुस्थलिकता P के लिए, जहाँ D सबसे छोटा पूर्णांक है, जैसे कि DP एक पूर्णांक बहुस्थलिकता है (D को P का हर कहा जाता है), तो किसी के पास है

जहां अभी भी गैर-ऋणात्मक पूर्णांक हैं।[9][10]


गैर-अग्रणी गुणांक सीमा

प्रतिनिधित्व में बहुपद के गैर-अग्रणी गुणांक

ऊपरी सीमा हो सकती है:[11]

जहाँ पहली तरह की स्टर्लिंग संख्या है। निचली सीमाएं भी उपस्थित हैं।[12]


टोरिक किस्म

स्थिति और इन कथनों से पिक की प्रमेय प्राप्त होती है। अन्य गुणांकों के लिए सूत्र प्राप्त करना बहुत कठिन है; इस उद्देश्य के लिए टॉरिक प्रकार के टोड वर्ग, रीमैन-रोच प्रमेय और साथ ही फूरियर विश्लेषण का उपयोग किया गया है।

अगर X, के अनुरूप टोरिक प्रकार है , तब P, X पर एक पर्याप्त लाइन बंडल को परिभाषित करता है, और P का एहरहार्ट बहुपद इस लाइन बंडल के हिल्बर्ट बहुपद के साथ मेल खाता है।

एहरहार्ट बहुपदों का उनके स्वयं के लिए अध्ययन किया जा सकता है। उदाहरण के लिए, कोई एहरहार्ट बहुपद की जड़ों से संबंधित प्रश्न पूछ सकता है।[13] इसके अतिरिक्त, कुछ लेखकों ने यह सवाल किया है कि इन बहुपदों को कैसे वर्गीकृत किया जा सकता है।[14]


सामान्यीकरण

अगर हम के कुछ पहलुओं को फैलाते है, तो बहुस्थलिकता में पूर्णांक बिंदुओं की संख्या का अध्ययन करना संभव होगा। दूसरे शब्दों में, कोई अर्ध-फैली बहुस्थलिकता में पूर्णांक बिंदुओं की संख्या जानना चाहेगा। यह पता चला है कि इस तरह की गिनती का फलन एक बहुभिन्नरूपी अर्ध-बहुपद कहलाता है। एहरहार्ट-प्रकार की पारस्परिकता प्रमेय भी इस तरह की गिनती के फलन में मान्य होगी।

बहुतलीय के अर्ध-विस्तारण में पूर्णांक बिंदुओं की संख्या की गणना के अनुप्रयोग [15] नियमित बहुभुजों के विभिन्न विच्छेदन की संख्या और गैर-समरूपी अप्रतिबंधित कोड की संख्या की गणना करने में है, कोडिंग सिद्धांत के क्षेत्र में एक विशेष प्रकार का कोड।

यह भी देखें

  • अर्ध-बहुपद
  • स्टेनली की पारस्परिकता प्रमेय

टिप्पणियाँ

  1. Macdonald, Ian G. (1971). "परिमित सेल-कॉम्प्लेक्स से जुड़े बहुपद". Journal of the London Mathematical Society. 2 (1): 181–192. doi:10.1112/jlms/s2-4.1.181.
  2. De Loera, Rambau & Santos (2010)
  3. Mathar (2010)
  4. Beck et al. (2005).
  5. Beck, Matthias; Robins, Sinai (2007). सतत रूप से कम्प्यूटिंग. New York: Springer. pp. 46–47. MR 2271992.
  6. Betke, Ulrich; Kneser, Martin (1985), "Zerlegungen und Bewertungen von Gitterpolytopen", Journal für die reine und angewandte Mathematik, 358: 202–208, MR 0797683
  7. Stanley, Richard (1993). "A monotonicity property of -vectors and -vectors". European Journal of Combinatorics. 14 (3): 251–258. doi:10.1006/eujc.1993.1028.
  8. Athanasiadis, Christos A. (2004). "h*-सदिश, यूलेरियन बहुपद और रेखांकन के स्थिर बहुशीर्ष". Electronic Journal of Combinatorics. 11 (2). doi:10.37236/1863.
  9. Stanley, Richard P. (1980). "तर्कसंगत उत्तल पॉलीटोप्स का अपघटन". Annals of Discrete Mathematics. 6: 333–342. doi:10.1016/s0167-5060(08)70717-9. ISBN 9780444860484.
  10. Beck, Matthias; Sottile, Frank (January 2007). "स्टेनली के तीन प्रमेयों के लिए अपरिमेय प्रमाण". European Journal of Combinatorics. 28 (1): 403–409. arXiv:math/0501359. doi:10.1016/j.ejc.2005.06.003. S2CID 7801569.
  11. Betke, Ulrich; McMullen, Peter (1985-12-01). "जाली पॉलीटोप्स में जाली बिंदु". Monatshefte für Mathematik (in English). 99 (4): 253–265. doi:10.1007/BF01312545. ISSN 1436-5081. S2CID 119545615.
  12. Henk, Martin; Tagami, Makoto (2009-01-01). "एहरहार्ट बहुपदों के गुणांकों पर निचली सीमाएं". European Journal of Combinatorics. 30 (1): 70–83. arXiv:0710.2665. doi:10.1016/j.ejc.2008.02.009. ISSN 0195-6698. S2CID 3026293.
  13. Braun, Benjamin; Develin, Mike (2008). एहरहार्ट बहुपद जड़ें और स्टेनली की गैर-नकारात्मकता प्रमेय. Contemporary Mathematics. Vol. 452. American Mathematical Society. pp. 67–78. arXiv:math/0610399. doi:10.1090/conm/452/08773. ISBN 9780821841730. S2CID 118496291.
  14. Higashitani, Akihiro (2012). "समाकलन सरलताओं के एहरहार्ट बहुपदों का वर्गीकरण" (PDF). DMTCS Proceedings: 587–594.
  15. Lisonek, Petr (2007). "अर्ध-बहुपदों द्वारा परिगणित संयोजी परिवार". Journal of Combinatorial Theory. Series A. 114 (4): 619–630. doi:10.1016/j.jcta.2006.06.013.


संदर्भ