उष्णकटिबंधीय ज्यामिति

गणित में, उष्णकटिबंधीय ज्यामिति बहुपदों और उनके बीजगणितीय ज्यामिति का अध्ययन है जब जोड़ को न्यूनीकरण से बदल दिया जाता है और गुणन को साधारण जोड़ से बदल दिया जाता है:


 * $$x \oplus y = \min\{x, y \},$$
 * $$x \otimes y = x + y.$$

तो उदाहरण के लिए, शास्त्रीय बहुपद $$x^3 + 2xy + y^4$$ बन जाएगा $$\min\{x+x+x,\; 2+x+y,\;  y+y+y+y\}$$. इस तरह के बहुपद और उनके समाधान में अनुकूलन समस्याओं में महत्वपूर्ण अनुप्रयोग हैं, उदाहरण के लिए ट्रेनों के नेटवर्क के लिए प्रस्थान समय को अनुकूलित करने की समस्या।

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

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

विशेषण उष्णकटिबंधीय को फ्रांसीसी गणितज्ञों द्वारा हंगरी में जन्मे ब्राज़िल के कंप्यूटर वैज्ञानिक इमरे साइमन के सम्मान में गढ़ा गया था, जिन्होंने मैदान पर लिखा था। जीन-एरिक पिन ने इस सिक्के का श्रेय डोमिनिक पेरिन को दिया है, जबकि साइमन स्वयं इस शब्द का श्रेय क्रिश्चियन चॉफ्रुट को देता है।

बीजगणित पृष्ठभूमि
उष्णकटिबंधीय ज्यामिति उष्णकटिबंधीय मोटी हो जाओ पर आधारित है। अधिकतम या न्यूनतम सम्मेलन के आधार पर इसे दो तरीकों से परिभाषित किया गया है।

मिन ट्रॉपिकल सेमिरिंग सेमिरिंग है $$(\R \cup \{+\infty\}, \oplus, \otimes)$$, संचालन के साथ:
 * $$x \oplus y = \min\{x, y \},$$
 * $$x \otimes y = x + y.$$

संचालन $$\oplus$$ तथा $$\otimes$$ क्रमशः उष्णकटिबंधीय जोड़ और उष्णकटिबंधीय गुणन के रूप में जाना जाता है। के लिए पहचान तत्व $$\oplus$$ है $$+\infty$$, और पहचान तत्व के लिए $$\otimes$$ 0 है।

इसी प्रकार, अधिकतम उष्णकटिबंधीय सेमिरिंग सेमिरिंग है $$(\R \cup \{-\infty\}, \oplus, \otimes)$$, संचालन के साथ:


 * $$x \oplus y = \max\{x, y \},$$
 * $$x \otimes y = x + y.$$

के लिए पहचान तत्व $$\oplus$$ है $$-\infty$$, और पहचान तत्व के लिए $$\otimes$$ 0 है।

ये सेमीरिंग आइसोमॉर्फिक हैं, नकार के तहत $$x \mapsto -x$$, और आम तौर पर इनमें से एक को चुना जाता है और केवल उष्णकटिबंधीय सेमिरिंग के रूप में संदर्भित किया जाता है। लेखकों और उपक्षेत्रों के बीच परंपराएं भिन्न होती हैं: कुछ न्यूनतम सम्मेलन का उपयोग करते हैं, कुछ अधिकतम सम्मेलन का उपयोग करते हैं।

ट्रॉपिकल सेमिरिंग ऑपरेशंस मॉडल कैसे मूल्यांकन (बीजगणित) एक मूल्यवान क्षेत्र में जोड़ और गुणा के तहत व्यवहार करता है।

उष्णकटिबंधीय ज्यामिति (न्यूनतम सम्मेलन के साथ) में आने वाले कुछ सामान्य मूल्यवान क्षेत्र हैं:


 * $$\Q$$ या $$\Complex$$ तुच्छ मूल्यांकन के साथ, $$v(a) = 0$$ सभी के लिए $$a\ne 0$$.
 * $$\Q$$ या p-adic मूल्यांकन के साथ इसका विस्तार, $$v_p(p^n a/b) = n$$ ए और बी कोप्राइम से पी के लिए।
 * लॉरेंट श्रृंखला का क्षेत्र $$\Complex(\!(t)\!)$$ (पूर्णांक शक्तियाँ), या (जटिल) प्यूसेक्स श्रृंखला का क्षेत्र $$\Complex\{\!\{t\}\!\}$$, श्रृंखला में दिखाई देने वाले टी के सबसे छोटे एक्सपोनेंट को लौटाने वाले मूल्यांकन के साथ।

उष्णकटिबंधीय बहुपद
एक उष्ण कटिबंधीय बहुपद एक फलन है $$F\colon \R^n\to \R$$ इसे मोनोमियल की परिमित संख्या के उष्णकटिबंधीय योग के रूप में व्यक्त किया जा सकता है। एक मोनोमियल शब्द एक स्थिर और चर का एक उष्णकटिबंधीय उत्पाद (और/या भागफल) है $$X_1,\ldots, X_n$$. इस प्रकार एक उष्णकटिबंधीय बहुपद F, Affine परिवर्तन के परिमित संग्रह का न्यूनतम है | affine-रैखिक कार्य जिसमें चर में पूर्णांक गुणांक होते हैं, इसलिए यह अवतल कार्य, निरंतर कार्य और टुकड़े-टुकड़े रैखिक कार्य है।

\begin{align} F(X_1,\ldots,X_n) &= \left(C_1 \otimes X_1^{\otimes a_{11}} \otimes \cdots \otimes X_n^{\otimes a_{n1}}\right) \oplus \cdots \oplus \left(C_s \otimes X_1^{\otimes a_{1s}} \otimes \cdots \otimes X_n^{\otimes a_{ns}}\right)\\ &= \min \{C_1+a_{11}X_1+\cdots+a_{n1}X_n,\; \ldots,\; C_s+a_{1s}X_1+\cdots+a_{ns}X_n\}. \end{align} $$ लॉरेंट बहुपद में एक बहुपद f दिया गया है $$K[x_1^{\pm 1},\ldots ,x_n^{\pm 1}]$$ जहाँ K एक महत्वपूर्ण क्षेत्र है, f का उष्णकटिबंधीयकरण, निरूपित $$\operatorname{Trop}(f)$$, उनके उष्णकटिबंधीय समकक्षों द्वारा गुणन और योग को प्रतिस्थापित करके f से प्राप्त उष्णकटिबंधीय बहुपद है और K में प्रत्येक स्थिरांक को इसके मूल्यांकन द्वारा। यानी अगर
 * $$ f = \sum_{i=1}^s c_i x^{A_i} \quad \text{ with } A_1,\ldots,A_s \in \Z^n,$$

फिर
 * $$\operatorname{Trop}(f) = \bigoplus_{i=1}^s v(c_i) \otimes X^{\otimes A_i}. $$

बिंदुओं का वह समुच्चय जहां एक उष्णकटिबंधीय बहुपद F अविभेद्य है, उससे संबंधित उष्णकटिबंधीय अतिसतह कहलाता है, जिसे निरूपित किया जाता है $$\mathrm{V}(F)$$ (बहुपद के बीजगणितीय प्रकार के अनुरूप)। समान रूप से, $$\mathrm{V}(F)$$ बिंदुओं का वह समूह है जहां F की शर्तों में न्यूनतम को कम से कम दो बार प्राप्त किया जाता है। कब $$F = \operatorname{Trop}(f)$$ एक लॉरेंट बहुपद f के लिए, यह बाद का लक्षण वर्णन $$\mathrm{V}(F)$$ इस तथ्य को दर्शाता है कि किसी भी समाधान पर $$f = 0$$, उन सभी को रद्द करने के लिए f की शर्तों का न्यूनतम मूल्यांकन कम से कम दो बार हासिल किया जाना चाहिए।

परिभाषाएँ
एक्स के लिए बीजगणितीय टोरस में एक बीजगणितीय विविधता $$(K^{\times})^n$$, X की उष्णकटिबंधीय किस्म या X का उष्णकटिबंधीयकरण, निरूपित $$\operatorname{Trop}(X)$$, का एक उपसमुच्चय है $$\R^n$$ जिसे कई तरह से परिभाषित किया जा सकता है। इन परिभाषाओं की समानता को उष्णकटिबंधीय ज्यामिति के मौलिक प्रमेय के रूप में जाना जाता है।

उष्णकटिबंधीय हाइपरसर्फ्स का चौराहा
होने देना $$\mathrm{I}(X)$$ लॉरेंट बहुपदों का आदर्श बनें जो एक्स में गायब हो जाते हैं $$K[x_1^{\pm 1},\ldots ,x_n^{\pm 1}]$$. परिभाषित करना
 * $$\operatorname{Trop}(X) = \bigcap_{f \in \mathrm{I}(X)} \mathrm{V}(\operatorname{Trop}(f)) \subseteq \R^n. $$

जब एक्स एक हाइपरसफेस है, तो इसका गायब होने वाला आदर्श $$\mathrm{I}(X)$$ एक लॉरेंट बहुपद एफ और उष्णकटिबंधीय विविधता द्वारा उत्पन्न एक प्रमुख आदर्श है $$\operatorname{Trop}(X)$$ ठीक उष्णकटिबंधीय हाइपरसफेस है $$\mathrm{V}(\operatorname{Trop}(f))$$.

प्रत्येक उष्णकटिबंधीय किस्म उष्णकटिबंधीय हाइपरसर्फ्स की एक सीमित संख्या का प्रतिच्छेदन है। बहुपदों का परिमित समुच्चय $$\{f_1,\ldots,f_r\}\subseteq \mathrm{I}(X)$$ X के लिए उष्णकटिबंधीय आधार कहा जाता है यदि $$\operatorname{Trop}(X)$$ की उष्णकटिबंधीय हाइपरसर्फफेस का प्रतिच्छेदन है $$\operatorname{Trop}(f_1),\ldots,\operatorname{Trop}(f_r)$$. सामान्य तौर पर, का एक जनरेटिंग सेट $$\mathrm{I}(X)$$ उष्णकटिबंधीय आधार बनाने के लिए पर्याप्त नहीं है। एक उष्णकटिबंधीय हाइपरसर्फ्स की एक परिमित संख्या के प्रतिच्छेदन को एक उष्णकटिबंधीय विविधता कहा जाता है और सामान्य तौर पर एक उष्णकटिबंधीय किस्म नहीं है।

प्रारंभिक आदर्श
एक वेक्टर चुनना $$\mathbf{w}$$ में $$\R^n$$ के मोनोमियल शब्दों से एक मानचित्र को परिभाषित करता है $$K[x_1^{\pm 1},\ldots ,x_n^{\pm 1}]$$ प्रति $$\R$$ m को टर्म भेजकर $$\operatorname{Trop}(m)(\mathbf{w})$$. एक लॉरेंट बहुपद के लिए $$f = m_1 + \cdots + m_s$$, शब्दों के योग के रूप में f के प्रारंभिक रूप को परिभाषित करें $$m_i$$ जिसके लिए च $$\operatorname{Trop}(m_i)(\mathbf{w})$$ न्यूनतम है। आदर्श के लिए $$\mathrm{I}(X)$$, इसके संबंध में इसके प्रारंभिक आदर्श को परिभाषित करें $$\mathbf{w}$$ होना
 * $$\operatorname{in}_{\mathbf{w}}\mathrm{I}(X) = (\operatorname{in}_{\mathbf{w}}(f) : f \in \mathrm{I}(X)).$$

फिर परिभाषित करें
 * $$\operatorname{Trop}(X) = \{\mathbf{w} \in \R^n : \operatorname{in}_{\mathbf{w}}\mathrm{I}(X) \neq (1)\}. $$

चूंकि हम लॉरेंट रिंग में काम कर रहे हैं, यह वज़न वैक्टर के सेट के समान है जिसके लिए $$\operatorname{in}_{\mathbf{w}}\mathrm{I}(X)$$ एक मोनोमियल शामिल नहीं है।

जब K का तुच्छ मूल्यांकन होता है, $$\operatorname{in}_{\mathbf{w}}\mathrm{I}(X)$$ का प्रारंभिक आदर्श है $$\mathrm{I}(X)$$ मोनोमियल ऑर्डर # वेट ऑर्डर के संबंध में वेट वेक्टर द्वारा दिया गया $$\mathbf{w}$$. यह इस प्रकार है कि $$\operatorname{Trop}(X)$$ ग्रोबनेर के प्रशंसक का उपप्रशंसक है $$\mathrm{I}(X)$$.

मूल्यांकन मानचित्र की छवि
मान लीजिए कि X एक फ़ील्ड K पर वैल्यूएशन v के साथ एक किस्म है जिसकी छवि सघन है $$\R$$ (उदाहरण के लिए प्यूसेक्स श्रृंखला का एक क्षेत्र)। समन्वय-वार कार्य करके, वी बीजगणितीय टोरस से मानचित्र को परिभाषित करता है $$(K^{\times})^n$$ प्रति $$\R^n$$. फिर परिभाषित करें
 * $$\operatorname{Trop}(X) = \overline{\{(v(x_1),\ldots,v(x_n)) : (x_1,\ldots,x_n) \in X \}}, $$

जहां ओवरलाइन यूक्लिडियन टोपोलॉजी में क्लोजर (गणित) को इंगित करता है। यदि K का मूल्यांकन सघन नहीं है $$\R$$, तो उपरोक्त परिभाषा को अंगूठियों के परिवर्तन द्वारा अनुकूलित किया जा सकता है # स्केलर्स को बड़े क्षेत्र में विस्तारित किया जा सकता है जिसमें घने मूल्यांकन होता है।

यह परिभाषा दर्शाती है $$\operatorname{Trop}(X)$$ गैर-आर्किमिडीयन अमीबा (गणित) एक बीजगणितीय रूप से बंद क्षेत्र गैर-आर्किमिडीयन क्षेत्र K पर है। यदि X एक किस्म से अधिक है $$\Complex$$, $$\operatorname{Trop}(X)$$ अमीबा की सीमित वस्तु के रूप में माना जा सकता है $$\operatorname{Log}_t(X)$$ क्योंकि लघुगणक मानचित्र का आधार t अनंत तक जाता है।

बहुफलकीय परिसर
निम्नलिखित विशेषता बीजीय किस्मों और उष्णकटिबंधीयकरण के संदर्भ के बिना आंतरिक रूप से उष्णकटिबंधीय किस्मों का वर्णन करती है। एक सेट वी $$\R^n$$ एक अप्रासंगिक उष्णकटिबंधीय किस्म है अगर यह शुद्ध आयाम d के भारित बहुफलकीय परिसर का समर्थन है जो शून्य-तनाव की स्थिति को संतुष्ट करता है और कोडिमेंशन एक में जुड़ा हुआ है। जब d एक होता है, तो शून्य-तनाव की स्थिति का अर्थ है कि प्रत्येक शीर्ष के चारों ओर, किनारों के बाहर जाने वाली दिशाओं का भारित-योग शून्य के बराबर होता है। उच्च आयाम के लिए, इसके बजाय आयाम के प्रत्येक सेल के चारों ओर रकम ली जाती है $$d-1$$ सेल के एफ़िन स्पैन को बाहर निकालने के बाद। वह गुण जो V कोडिमेंशन one से जुड़ा है, इसका मतलब है कि आयाम d कोशिकाओं पर स्थित किन्हीं दो बिंदुओं के लिए, उन्हें जोड़ने वाला एक रास्ता है जो इससे कम आयाम वाले किसी भी सेल से नहीं गुजरता है $$d-1$$.

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

ओलेग मैन ने होमोटॉपी # आइसोटोपी तक विमान में डिग्री 7 के वास्तविक वक्रों को वर्गीकृत करने के लिए उष्णकटिबंधीय वक्रों का उपयोग किया। पैचवर्किंग की उनकी विधि किसी दिए गए समस्थानिक वर्ग के उष्णकटिबंधीय वक्र से वास्तविक वक्र बनाने की प्रक्रिया प्रदान करती है।
 * पप्पस की षट्भुज प्रमेय। * बेजाउट की प्रमेय।
 * डिग्री-जीनस सूत्र
 * रीमैन-रोच प्रमेय।
 * अण्डाकार वक्र।

अनुप्रयोग
2007 में वित्तीय संकट के दौरान बैंक ऑफ इंग्लैंड द्वारा उपयोग की जाने वाली नीलामियों के पॉल क्लेम्परर के डिजाइन में एक उष्णकटिबंधीय रेखा दिखाई दी। योशिनोरी शियोज़ावा ने उपोष्णकटिबंधीय बीजगणित को अधिकतम-बार या न्यूनतम-समय सेमिरिंग (अधिकतम-प्लस और न्यूनतम-प्लस के बजाय) के रूप में परिभाषित किया। उन्होंने पाया कि रिकार्डियन व्यापार सिद्धांत (इनपुट व्यापार के बिना अंतर्राष्ट्रीय व्यापार) की व्याख्या उपोष्णकटिबंधीय उत्तल बीजगणित के रूप में की जा सकती है। रेक्टीफायर (तंत्रिका नेटवर्क) के साथ फीडफॉरवर्ड तंत्रिका नेटवर्क की जटिलता का विश्लेषण करने के लिए उष्णकटिबंधीय ज्यामिति का भी उपयोग किया गया है। इसके अलावा, उदाहरण के लिए जॉब शेड्यूलिंग, स्थान विश्लेषण, परिवहन नेटवर्क, निर्णय लेने और असतत घटना गतिशील प्रणालियों में उत्पन्न होने वाली कई अनुकूलन समस्याओं को उष्णकटिबंधीय ज्यामिति के ढांचे में तैयार और हल किया जा सकता है। एबेल-जैकोबी मानचित्र के एक उष्णकटिबंधीय समकक्ष को क्रिस्टल डिजाइन पर लागू किया जा सकता है। एक भारित परिमित-राज्य ट्रांसड्यूसर में वजन अक्सर एक उष्णकटिबंधीय सेमिरिंग होने की आवश्यकता होती है। उष्णकटिबंधीय ज्यामिति स्व-संगठित आलोचनात्मकता दिखा सकती है।

यह भी देखें

 * उष्णकटिबंधीय विश्लेषण
 * उष्णकटिबंधीय संघनन

संदर्भ

 * Maslov, Victor (1986). "New superposition principle for optimization problems", Séminaire sur les Équations aux Dérivées Partielles 1985/6, Centre de Mathématiques de l’École Polytechnique, Palaiseau, exposé 24.
 * Maslov, Victor (1987). "Méthodes Opératorielles". Moscou, Mir, 707 p. (See Chapter 8, Théorie linéaire sur semi moduli, pp. 652–701).

अग्रिम पठन

 * Tropical geometry and mirror symmetry
 * Tropical geometry and mirror symmetry

इस पेज में लापता आंतरिक लिंक की सूची

 * अंक शास्त्र
 * टुकड़ावार रैखिक कई गुना
 * लेजेंड्रे परिवर्तन
 * पी-एडिक वैल्यूएशन
 * टुकड़ा-वार रैखिक कार्य
 * एफ़िन परिवर्तन
 * अवतल समारोह
 * बीजगणितीय किस्म
 * समापन (गणित)
 * बीजीय रूप से बंद क्षेत्र
 * भाजक (बीजीय ज्यामिति)
 * नीलामी
 * शुद्ध करनेवाला (तंत्रिका नेटवर्क)

बाहरी संबंध

 * Tropical Geometry, I