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

Revision as of 11:08, 16 March 2023

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

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

परिभाषा

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

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

L(P,t)=\#\left(tP\cap {\mathcal {L}}\right)

पॉलीटॉप $tP$ में निहित जाली बिंदुओं की संख्या को मान ले। एहरहार्ट ने 1962 में दिखाया कि $L$ , t में डिग्री $d$ का एक परिमेय बहुपद है, यानी वहाँ परिमेय संख्याएँ उपस्थित हैं $L_{0}(P),\dots ,L_{d}(P)$ ऐसा है कि:

L(P,t)=L_{d}(P)t^{d}+L_{d-1}(P)t^{d-1}+\cdots +L_{0}(P)

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

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

L(\operatorname {int} (P),t)=(-1)^{d}L(P,-t),

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

उदाहरण

यह दूसरा फैलाव है,

t=2

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

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

P=\left\{x\in \mathbb {R} ^{d}:0\leq x_{i}\leq 1;1\leq i\leq d\right\}.

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

L(P,-t)=(-1)^{d}(t-1)^{d}=(-1)^{d}L(\operatorname {int} (P),t),

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

कई अन्य आलंकारिक संख्याओं को एहरहार्ट बहुपदों के रूप में व्यक्त किया जा सकता है। उदाहरण के लिए, वर्ग पिरामिड संख्याएँ वर्ग पिरामिड के एहरहार्ट बहुपदों द्वारा दी जाती हैं, जिसका आधार एक पूर्णांक इकाई वर्ग होता है और जिसकी ऊँचाई एक होती है; इस स्थिति में एहरहार्ट बहुपद $.mw-parser-output .sfrac{white-space:nowrap}.mw-parser-output .sfrac.tion,.mw-parser-output .sfrac .tion{display:inline-block;vertical-align:-0.5em;font-size:85%;text-align:center}.mw-parser-output .sfrac .num,.mw-parser-output .sfrac .den{display:block;line-height:1em;margin:0 0.1em}.mw-parser-output .sfrac .den{border-top:1px solid}.mw-parser-output .sr-only{border:0;clip:rect(0,0,0,0);height:1px;margin:-1px;overflow:hidden;padding:0;position:absolute;width:1px}1/6(t + 1)(t + 2)(2t + 3)$ है। ^[4]

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

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

P=\left\{x\in \mathbb {R} ^{d}:Ax\leq b\right\},

जहाँ $A\in \mathbb {Q} ^{k\times d}$ और $b\in \mathbb {Q} ^{k}.$ (समान रूप से $P$ , $\mathbb {Q} ^{d}$ में बहुत से बिंदुओं का अवमुख समावरक है) फिर परिभाषित करें

L(P,t)=\#\left(\left\{x\in \mathbb {Z} ^{n}:Ax\leq tb\right\}\right).

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

L(\operatorname {int} (P),t)=(-1)^{n}L(P,-t).

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

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

L(P,t)={\frac {7t^{2}}{4}}+{\frac {5t}{2}}+{\frac {7+(-1)^{t}}{8}}.

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

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

अग्रणी गुणांक, $L_{d}(P)$ , $P$ के d-आयामी आयतन के बराबर है, उसे $d (L)$ से भाग करे।

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

स्थिर गुणांक $a 0$ की यूलर विशेषता $P$ है। जब $P$ एक बंद उत्तल पॉलीटॉप है, तब $L_{0}(P)=1$ .

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

उलरिच बेटके और मार्टिन केनेसर^[6] ने एहरहार्ट गुणांकों के निम्नलिखित विशेषताओं की स्थापना की। एक अभिन्न पॉलीटोप्स पर परिभाषित कार्यात्मक $Z$ एक $\operatorname {SL} (n,\mathbb {Z} )$ है और अनुवाद अपरिवर्तनीय मूल्यांकन (माप सिद्धांत) यदि और केवल वास्तविक संख्याएं $c_{0},\ldots ,c_{n}$ है, जैसे कि

Z=c_{0}L_{0}+\cdots +c_{n}L_{n}.

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

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

\operatorname {Ehr} _{P}(z)=\sum _{t\geq 0}L(P,t)z^{t}.

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

\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.

इसके अतिरिक्त, रिचर्ड पी. स्टेनली का गैर-नकारात्मकता प्रमेय बताता है कि दी गई परिकल्पनाओं के निम्न, $h_{j}^{*}$ के लिए गैर-ऋणात्मक पूर्णां $0\leq j\leq d$ होंगे

स्टेनली द्वारा एक अन्य परिणाम से पता चलता है कि अगर $P$ , $Q$ में निहित एक जाली पॉलीटॉप है तब $h_{j}^{*}(P)\leq h_{j}^{*}(Q)$ सभी $j$ के लिए^[7] $h^{*}$ सदिश सामान्य रूप से एकरूप नहीं है, लेकिन जब भी यह सममित होता है, और पॉलीटोप में एक नियमित एकमापांकि त्रिभुज होता है।^[8]

परिमेय पॉलीटोप्स के लिए एहरहार्ट श्रृंखला

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

\operatorname {Ehr} _{P}(z)=\sum _{t\geq 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}}},

जहां $h_{j}^{*}$ अभी भी गैर-ऋणात्मक पूर्णांक हैं।^[9]^[10]

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

बहुपद के गैर-अग्रणी गुणांक $c_{0},\dots ,c_{d-1}$ प्रतिनिधित्व में

L(P,t)=\sum _{r=0}^{d}c_{r}t^{r}

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

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}}

कहाँ $\left[{\begin{smallmatrix}n\\k\end{smallmatrix}}\right]$ पहली तरह की स्टर्लिंग संख्या है। निचली सीमाएं भी उपस्थित हैं।^[12]

टोरिक किस्म

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

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

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

सामान्यीकरण

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

यह भी देखें

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

↑ Macdonald, Ian G. (1971). "परिमित सेल-कॉम्प्लेक्स से जुड़े बहुपद". Journal of the London Mathematical Society. 2 (1): 181–192. doi:10.1112/jlms/s2-4.1.181.
↑ De Loera, Rambau & Santos (2010)
↑ Mathar (2010)
↑ Beck et al. (2005).
↑ Beck, Matthias; Robins, Sinai (2007). सतत रूप से कम्प्यूटिंग. New York: Springer. pp. 46–47. MR 2271992.
↑ Betke, Ulrich; Kneser, Martin (1985), "Zerlegungen und Bewertungen von Gitterpolytopen", Journal für die reine und angewandte Mathematik, 358: 202–208, MR 0797683
↑ Stanley, Richard (1993). "A monotonicity property of $h$ -vectors and $h^{*}$ -vectors". European Journal of Combinatorics. 14 (3): 251–258. doi:10.1006/eujc.1993.1028.
↑ Athanasiadis, Christos A. (2004). "h*-सदिश, यूलेरियन बहुपद और रेखांकन के स्थिर बहुशीर्ष". Electronic Journal of Combinatorics. 11 (2). doi:10.37236/1863.
↑ Stanley, Richard P. (1980). "तर्कसंगत उत्तल पॉलीटोप्स का अपघटन". Annals of Discrete Mathematics. 6: 333–342. doi:10.1016/s0167-5060(08)70717-9. ISBN 9780444860484.
↑ 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.
↑ 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.
↑ 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.
↑ 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.
↑ Higashitani, Akihiro (2012). "समाकलन सरलताओं के एहरहार्ट बहुपदों का वर्गीकरण" (PDF). DMTCS Proceedings: 587–594.
↑ Beck, Matthias (January 2002). "बहुआयामी एहरहार्ट पारस्परिकता". Journal of Combinatorial Theory. Series A. 97 (1): 187–194. arXiv:math/0111331. doi:10.1006/jcta.2001.3220. S2CID 195227.
↑ Lisonek, Petr (2007). "अर्ध-बहुपदों द्वारा परिगणित संयोजी परिवार". Journal of Combinatorial Theory. Series A. 114 (4): 619–630. doi:10.1016/j.jcta.2006.06.013.

संदर्भ

Beck, Matthias; De Loera, Jesús A.; Develin, Mike; Pfeifle, Julian; Stanley, Richard P. (2005), "Coefficients and roots of Ehrhart polynomials", Integer Points in Polyhedra—Geometry, Number Theory, Algebra, Optimization, Contemporary Mathematics, vol. 374, Providence, RI: American Mathematical Society, pp. 15–36, MR 2134759.
Beck, Matthias; Robins, Sinai (2007), Computing the Continuous Discretely: Integer-Point Enumeration in Polyhedra, Undergraduate Texts in Mathematics, New York: Springer-Verlag, ISBN 978-0-387-29139-0, MR 2271992.
De Loera, Jesús A.; Rambau, Jörg; Santos, Francisco (2010), "Ehrhart polynomials and unimodular triangulations", Triangulations: Structures for Algorithms and Applications, Algorithms and Computation in Mathematics, vol. 25, Springer, p. 475, ISBN 978-3-642-12970-4.
Diaz, Ricardo; Robins, Sinai (1996), "The Ehrhart polynomial of a lattice n-simplex", Electronic Research Announcements of the American Mathematical Society, 2: 1–6, doi:10.1090/S1079-6762-96-00001-7, MR 1405963. Introduces the Fourier analysis approach and gives references to other related articles.
Ehrhart, Eugène (1962), "Sur les polyèdres rationnels homothétiques à n dimensions", Comptes rendus de l'Académie des Sciences, 254: 616–618, MR 0130860. Definition and first properties.
Mathar, Richard J. (2010), Point counts of $D_{k}$ and some $A_{k}$ and $E_{k}$ integer lattices inside hypercubes, arXiv:1002.3844, Bibcode:2010arXiv1002.3844M
Mustață, Mircea (February 2005), "Ehrhart polynomials", Lecture notes on toric varieties.

[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).

[MR2271992-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 $h$ -vectors and $h^{*}$ -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] Beck, Matthias (January 2002). "बहुआयामी एहरहार्ट पारस्परिकता". Journal of Combinatorial Theory. Series A. 97 (1): 187–194. arXiv:math/0111331. doi:10.1006/jcta.2001.3220. S2CID 195227.

[16] Lisonek, Petr (2007). "अर्ध-बहुपदों द्वारा परिगणित संयोजी परिवार". Journal of Combinatorial Theory. Series A. 114 (4): 619–630. doi:10.1016/j.jcta.2006.06.013.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]

[16]

@@ Line 57: / Line 57: @@
 == बेटके-नेसर प्रमेय ==
-उलरिच बेटके और [[मार्टिन केनेसर]]<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>
@@ Line 63: / 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>
-इस श्रृंखला को एक [[तर्कसंगत कार्य]] के रूप में व्यक्त किया जा सकता है। विशेष रूप से, एहरहार्ट ने सिद्ध किया (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>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>
+=== परिमेय पॉलीटोप्स के लिए एहरहार्ट श्रृंखला ===
-=== तर्कसंगत पॉलीटोप्स === के लिए एहरहार्ट श्रृंखला
+जैसा कि पूर्णांक शीर्षो वाले पॉलीटोप्स के स्थिति में, एक परिमेय पॉलीटॉप के लिए एहरहार्ट श्रृंखला को परिभाषित करता है। एक d-आयामी परिमेय पॉलीटॉप {{math|''P''}} के लिए, जहाँ {{math|''D''}} सबसे छोटा पूर्णांक है, जैसे कि {{math|''DP''}} एक पूर्णांक पॉलीटॉप है ({{math|''D''}} को {{math|''P''}} का हर कहा जाता है), तो किसी के पास है
-जैसा कि पूर्णांक कोने वाले पॉलीटोप्स के स्थिति में, एक परिमेय पॉलीटॉप के लिए एहरहार्ट श्रृंखला को परिभाषित करता है। एक डी-आयामी तर्कसंगत पॉलीटॉप के लिए {{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>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>

Anonymous

Search

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

Namespaces

More

Page actions

Revision as of 11:08, 16 March 2023

Contents

परिभाषा

उदाहरण

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

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

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

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

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

परिमेय पॉलीटोप्स के लिए एहरहार्ट श्रृंखला

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

टोरिक किस्म

सामान्यीकरण

यह भी देखें

टिप्पणियाँ

संदर्भ

Navigation

Navigation

Wiki tools

Wiki tools

Anonymous

Search

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

Revision as of 11:08, 16 March 2023

परिभाषा

उदाहरण

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

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

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

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

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

परिमेय पॉलीटोप्स के लिए एहरहार्ट श्रृंखला

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

टोरिक किस्म

सामान्यीकरण

यह भी देखें

टिप्पणियाँ

संदर्भ

Navigation

Wiki tools

Page tools

Other projects

Categories