संख्यात्मक बीजगणितीय ज्यामिति

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

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

मान लीजिये $$z$$ प्रणाली के चर का प्रतिनिधित्व करते हैं। अंकन के दुरुपयोग से, और परिवेश रिक्त स्थान के वर्णक्रम को सुविधाजनक बनाने के लिए जिस पर कोई प्रणाली को हल कर सकता है, हम सदिश $$z$$ संकेतन का उपयोग नहीं करते हैं। इसी तरह बहुपद प्रणालियों के लिए $$f$$ और $$g$$ है।

वर्तमान विहित संकेत पद्धति प्रारंभ स्थल प्रणाली $$g$$ का आवाहन करता है, और लक्ष्य प्रणाली, अर्थात, $$f$$ हल करने की प्रणाली। एक बहुत ही सामान्य समरूपता, सीधी-रेखा समरूपता, के बीच $$f$$ और $$g$$ है $$ H(z,t) = (1-t) f(z) + t g(z).$$ उपरोक्त होमोटॉपी में, व्यक्ति $$t_{\text{start}} = 1$$ पर पथ चर प्रारंभ करता है और $$t_{\text{end}} = 0$$ की ओर जारी रहता है। एक और सामान्य विकल्प 0 से 1 तक पारित होना है। सिद्धांत में, चुनाव पूरी तरह से स्वेच्छाचारी है। व्यवहार में, समस्थेयता अनुवर्ती का उपयोग करके एकवचन समाधान की गणना के लिए एंडगेम विधियों के संबंध में, लक्षित समय 0 होने से विश्लेषण में काफी आसानी हो सकती है, इसलिए यह परिप्रेक्ष्य यहाँ लिया गया है।

प्रारंभ और लक्ष्य समय की पसंद पर ध्यान दिए बिना, $$H$$ इस प्रकार तैयार किया जाना चाहिए कि $$H(z, t_{\text{start}}) = g(z)$$, और $$H(z, t_{\text{end}}) = f(z)$$।

$$g(z)$$ में एक का विकल्प है, जिसमें निम्नलिखित सम्मिलित हैं


 * कुल घात
 * बहुफलकीय
 * बहु-सजातीय

और इनके अतिरिक्त, विशिष्ट प्रारंभ प्रणालियाँ जो $$f$$ की संरचना को घनिष्ठ रूप से दर्शाती हैं और विशेष प्रणालियों के लिए बनाई जा सकती हैं। प्रारंभ प्रणाली का चुनाव इसे हल करने में लगने वाले संगणनात्मक समय $$f$$ को प्रभावित करता है, इसमें जिन्हें बनाना आसान है (जैसे कि कुल घात) पथानुसरण करने के लिए पथों की संख्या अधिक होती है, और जो महत्वपूर्ण प्रयास करते हैं (जैसे कि बहुफलकीय विधि) बहुत तीव्र होते हैं। वर्तमान में भविष्यवाणी करने का कोई अच्छा तरीका नहीं है जिससे हल करने में सबसे कम समय लगेगा।

वास्तविक अनुवर्ती सामान्यतः भविष्यवक्ता-सुधारक विधियों का उपयोग करके कार्यान्वित की गई अतिरिक्त सुविधाओं के साथ की जाती है। भविष्यवाणी एक मानक सामान्य अंतर समीकरण पूर्वसूचक पद्धति का उपयोग करके की जाती है, जैसे कि रनगे-कुट्टा, और सुधार प्रायः न्यूटन-रफसन पुनरावृत्ति का उपयोग करता है।

क्योंकि $$f$$ और $$g$$ बहुपद हैं, इस संदर्भ में समस्थेयता अनुवर्ती सैद्धांतिक रूप से सभी समाधान $$f$$ की बर्टिनी के प्रमेय के कारण गणना करने की प्रत्याभुति है। हालाँकि, आधुनिक कंप्यूटर और सबसे अधिक परिमित परिशुद्धता की सीमाओं से उत्पन्न होने वाली स्तिथियों के कारण यह प्रत्याभुति हमेशा व्यवहार में प्राप्त नहीं होती है। अर्थात्, प्रायिकता प्रमाणित अनुवर्तन विधियों का उपयोग किए बिना, इस सिद्धांत के अंतर्निहित प्रायिकता-1 तर्क की ताकत होने पर भी, कुछ पथ विभिन्न कारणों से पूरी तरह से पथानुसरण करने में विफल हो सकते हैं।

प्रमाण सम्मुच्चय
एक प्रमाण सम्मुच्चय $$W$$ एक ा संरचना है जिसका उपयोग बीजगणितीय विविधता का वर्णन करने के लिए किया जाता है। एक समान विविधता के लिए साक्षी सम्मुच्चय में जानकारी के तीन टुकड़े होते हैं। सूचना का पहला भाग समीकरणों की एक $$F$$प्रणाली है। ये समीकरण अध्ययन की जा रही बीजगणितीय विविधता $${\mathbf V}(F)$$ को परिभाषित करते हैं। $$\mathcal{L}$$ का आयाम $${\mathbf V}(F)$$ का सहआयाम है, और $${\mathbf V}(F)$$ को अनुप्रस्थतः प्रतिच्छेद करने के लिए चुना गया है। जानकारी का तीसरा भाग प्रतिच्छेदन में बिंदुओं की सूची $$\mathcal{L}\cap{\mathbf V}(F)$$ है। इस प्रतिच्छेदन में बहुत से बिंदु हैं और अंकों की संख्या प्रमाणितीय विविधता की घात $${\mathbf V}(F)$$ है। इस प्रकार, प्रमाण सम्मुच्चय पहले दो प्रश्नों के उत्तर को कूटबद्ध करता है जो एक बीजगणितीय विविधता के बारे में पूछता है: आयाम क्या है, और घात क्या है? प्रमाण सम्मुच्चय भी एक संख्यात्मक अपघटन योग्य अपघटन, घटक सदस्यता परीक्षण प्रमाण प्रतिदर्शी करने की अनुमति देते हैं। यह प्रमाण सम्मुच्चय को विविधता का एक अच्छा विवरण बनाता है।

प्रमाणन
संख्यात्मक बीजगणितीय ज्यामितीय विधियों का उपयोग करके गणना की गई बहुपद प्रणालियों के समाधान संख्यात्मक प्रमाणन हो सकते हैं, जिसका अर्थ है कि अनुमानित समाधान सही है। यह कई तरीकों से प्राप्त किया जा सकता है, या तो प्रमाणित अनुपथक का उपयोग करके प्राथमिकता, या परवर्ती यह दिखाकर कि बिंदु न्यूटन की विधि के अभिसरण के बेसिन में है।

सॉफ्टवेयर
कई सॉफ्टवेयर संवेष्टन संख्यात्मक बीजगणितीय ज्यामिति के सैद्धांतिक निकाय के अंशों को लागू करते हैं। इनमें वर्णानुक्रम में सम्मिलित हैं:


 * अल्फा प्रमाणित
 * बर्टिनी
 * होम4पीएस
 * समस्थेयताअनुवर्ती.जेआई
 * मैकाले2 (समस्थेयता ट्रैकिंग का मुख्य कार्यान्वयन और संवेष्टन)
 * पीएचसीपैक

बाहरी संबंध

 * Bertini home page
 * Hom4PS-3
 * HomotopyContinuation.jl