🔢 mathematics

Hilbert's 16th problem for arrangements of curves on a surface

यह शोध पत्र वास्तविक सतहों पर वक्रों (curves) के विन्यासों को वर्गीकृत करने के लिए इंटरसेक्शन नंबरों, डिक वर्ड्स (Dyck words) और रूटेड ट्रीज़ (rooted trees) का उपयोग करने वाले एक संयोजन ढांचे (combinatorial framework) को प्रस्तुत करता है, जिसे हिल्बर्ट की 16वीं समस्या के एक सामान्यीकरण के रूप में तीन रेखाओं और एक क्यूबिक (cubic), तथा तीन रेखाओं और एक क्वार्टिक (quartic) के पूर्ण वर्गीकरण को प्राप्त करने के लिए सफलतापूर्वक लागू किया गया है।

मूल लेखक: Giacomo Maletto

प्रकाशित 2026-06-23

📖 7 मिनट में पढ़ें🧠 गहराई से पढ़ें

CC BY 4.0

मूल लेखक: Giacomo Maletto

मूल पेपर CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) के तहत लाइसेंस किया गया है। ✨ नीचे दिए गए पेपर की यह व्याख्या AI से तैयार की गई है। इसे लेखकों ने न तो लिखा है, न इसका समर्थन किया है। तकनीकी सटीकता के लिए मूल पेपर देखें। पूरा डिस्क्लेमर पढ़ें

मुख्य विचार: एक टोपोलॉजिकल पहेली (A Topological Puzzle)

कल्पना कीजिए कि आप एक विशाल, सपाट, गोल कैनवास (जिसे गणितज्ञ वास्तविक प्र been projective plane या $\mathbb{P}^2(\mathbb{R})$ कहते हैं) पर काम कर रहे हैं एक कलाकार हैं। आपके पास नियमों का एक सेट है:

आप कैनवास पर तीन सीधी रेखाएँ खींचते हैं।
फिर आप एक घुमावदार आकृति (जैसे एक वृत्त, फिगर-एट, या कोई जटिल आकार) खींचते हैं जो उन रेखाओं को काटती है, लेकिन कभी भी एक ही स्थान पर दो बार नहीं छूती, और उसमें कोई "किंक" (kink) या नुकीले बिंदु नहीं होते।

प्रश्न यह है कि: इन रेखाओं और उस घुमावदार आकृति को एक-दूसरे के सापेक्ष कितने अलग-अलग तरीकों से व्यवस्थित किया जा सकता है?

गणित में, "अलग" का अर्थ यह है कि आप एक व्यवस्था को दूसरी व्यवस्था में बदलने के लिए कैनवास को काट या चिपकाए बिना उसे खींच, सिकोड़ या मरोड़ नहीं सकते। यह 100 साल पुरानी एक प्रसिद्ध पहेली हिल्बर्ट की 16वीं समस्या (Hilbert's 16th Problem) का आधुनिक संस्करण है, जिसमें मूल रूप से केवल एक वक्र (curve) होने पर इन आकृतियों को वर्गीकृत करने के बारे में पूछा गया था। यह शोध पत्र इस पहेली का विस्तार करता है ताकि एक साथ वक्रों के पूरे परिवार (रेखाएं + एक बड़ा वक्र) को देखा जा सके।

समाधान: आकृतियों को लेगो निर्देशों (Lego Instructions) में बदलना

लेखक का मुख्य आविष्कार इन बिखरी हुई, घुमावदार व्यवस्थाओं को एक सरल, कठोर कोड का उपयोग करके वर्णित करने का एक नया तरीका है। इसे एक जटिल 3D मूर्तिकला को लेगो निर्देशों के एक सेट में बदलने जैसा समझें।

वक्र को खींचने की कोशिश करने के बजाय, लेखक तीन रेखाओं द्वारा बनाए गए ग्रिड (एक मानचित्र की तरह) के माध्यम से कैनवास को विभाजित करता है। फिर वह घुमावदार आकृति को तीन विशिष्ट डेटा के माध्यम से वर्णित करता है, जिसे वह "कॉम्बिनेटोरियल कर्व" (Combinatorial Curve) कहता है:

गिनती ( $n$ ): घुमावदार आकृति ग्रिड के प्रत्येक रेखा खंड को कितनी बार काटती है? (उदाहरण के लिए, "यह बाईं रेखा को 2 बार काटती है, दाईं रेखा को 0 बार..." आदि)।
डांस स्टेप्स ( $W$ ): जैसे ही आप कैनवास के एक विशिष्ट भाग के किनारे पर चलते हैं, क्या वक्र प्रवेश करता है और बाहर निकलता है? लेखक इसे रिकॉर्ड करने के लिए "डिक वर्ड" (Dyck word) नामक एक विशेष कोड (खुले ( और बंद ) कोष्ठकों का एक अनुक्रम) का उपयोग करता है।
- उपमा: कल्पना कीजिए कि आप एक कमरे के चारों ओर घूम रहे हैं। हर बार जब आप वक्र के एक नए हिस्से को कमरे में प्रवेश करते देखते हैं, तो आप "(" लिखते हैं। हर बार जब यह बाहर निकलता है, तो आप ")" लिखते हैं। यह सुनिश्चित करता है कि वक्र "फँस" न जाए या असंभव तरीके से खुद को न काटे।
नेस्टिंग मैप ( $T$ ): कभी-कभी वक्र छोटे लूप (ओवल्स) बनाता है जो रेखाओं को छुए बिना खाली स्थानों में तैरते रहते हैं। वह इन्हें मैप करने के लिए एक "रूटेड ट्री" (Rooted Tree) का उपयोग करता है।
- उपमा: एक फैमिली ट्री (वंश वृक्ष) के बारे में सोचें। "रूट" (जड़) वह बड़ा खाली स्थान है। यदि उस स्थान के भीतर एक छोटा लूप है, तो वह एक 'बच्चा' है। यदि उस लूप के भीतर एक और लूप है, तो वह एक 'पोता/पोती' है। यह पेड़ आपको बताता है कि लूप एक दूसरे के भीतर कैसे व्यवस्थित हैं।

स्वर्ण नियम (थ्योरम A): यह पत्र सिद्ध करता है कि यदि आपके पास यह कोड ( $n, W, T$ ) है, तो आप व्यवस्था की सटीक आकृति जानते हैं। कोई भी दो अलग-अलग आकृतियाँ एक ही कोड साझा नहीं करती हैं, और कोई भी आकृति छूटती नहीं है।

कंप्यूटर लैब: "NWT" लाइब्रेरी

चूंकि हजारों संभावित कोड मौजूद हैं, इसलिए लेखक ने इसे केवल कागज पर नहीं किया। उन्होंने NWT नामक एक सॉफ्टवेयर लाइब्रेरी बनाई (जो जूलिया प्रोग्रामिंग भाषा में लिखी गई है)।

इस लाइब्रेरी को एक विशाल डिजिटल फाइलिंग कैबिनेट के रूप में समझें।
यह इन "लेगो निर्देशों" के लाखों सेट उत्पन्न कर सकती है।
यह जांच सकती है कि एक विशिष्ट निर्देश सेट "कानूनी" (गणितीय रूप से संभव) है या "अवैध" (असंभव रूप से खींचना)।
यह कोड के आधार पर वक्र का चित्र भी बना सकती है।

जासूसी कार्य: असली आकृतियों को खोजना

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

उन्होंने दो मुख्य टूल्स का उपयोग किया:

"बेज़ौट" (Bézout) नियम: यह संरक्षण का एक गणितीय नियम है। यह कहता है कि यदि आपके पास एक रेखा और एक निश्चित जटिलता वाला वक्र है, तो वे एक-दूसरे को केवल एक विशिष्ट अधिकतम संख्या में ही काट सकते हैं। यदि कोई कोड कहता है कि वे 10 बार काटते हैं लेकिन गणित कहता है कि अधिकतम 4 है, तो वह कोड नकली है। लेखक ने हजारों असंभव कोडों को बाहर करने के लिए इसका उपयोग किया।
विरो का पैचवर्किंग (Viro's Patchworking): यह एक निर्माण तकनीक है। कल्पना कीजिए कि आप छोटे, सरल टुकड़ों को आपस में जोड़कर एक जटिल मूर्ति बना रहे हैं। लेखक ने यह सिद्ध करने के लिए इस विधि का उपयोग किया कि कई कोड वास्तव में बनाए जा सकते हैं।

परिणाम: उन्हें क्या मिला?

लेखक ने इस प्रणाली को दो विशिष्ट पहेलियों पर लागू किया:

तीन रेखाएं + एक क्यूबिक वक्र (डिग्री 3):
- परिणाम: उसे इन व्यवस्थाओं के ठीक 119 अनूठे तरीके मिले।
- बोनस: उसे 3 विशिष्ट व्यवस्थाएं मिलीं जो पिछली निर्माण विधियों (विरो के पैचवर्किंग) में "गायब" थीं, लेकिन उसने उनके वास्तविक गणितीय समीकरण ढूंढकर यह सिद्ध किया कि वे मौजूद हैं।
तीन रेखाएं + एक क्वार्टिक वक्र (डिग्री 4):
- यह अधिक जटिल है।
- परिणाम: उसने उन मामलों का पूरी तरह से वर्गीकरण किया जहाँ वक्र में ठीक एक लूप (ओवल) होता है। ऐसे 619 मामले हैं।
- "फ्लोटलेस" (बिना तैरते हुए लूप वाले) मामले: उसने उन मामलों को भी देखा जहाँ वक्र में कोई "तैरते हुए" लूप (ऐसे लूप जो रेखाओं को नहीं छूते) नहीं होते। उसने इसे 1,834 से 1,883 संभावनाओं की सीमा तक सीमित कर दिया।
- अज्ञात: सामान्य मामले (सभी संभावित क्वार्टिक वक्रों) के लिए, वह सूची पूरी नहीं कर सका। वह जानता है कि उत्तर 9,426 और 17,624 के बीच कहीं है, लेकिन सूची इतनी बड़ी है कि अभी हर एक को जांचना बाकी है।

सारांश

संक्षेप में, यह शोध पत्र एक कठिन ज्यामितीय समस्या को हल करता है—कि रेखाएं और वक्र एक-दूसरे के चारों ओर कैसे घूम सकते हैं—और इसे आकृतियों को कंप्यूटर-पठनीय कोड में बदलकर हल करता है।

समस्या: 3 रेखाओं और 1 घुमावदार आकृति को व्यवस्थित करने के कितने तरीके हैं?
उपकरण: संख्याओं, कोष्ठकों और पेड़ों से बना एक कोड।
परिणाम: सरल आकृतियों (क्यूबिक्स) के लिए एक पूर्ण सूची और अधिक जटिल आकृतियों (क्वाटिक्स) के लिए एक विशाल, आंशिक रूप से पूर्ण सूची, जिसे एक कस्टम-निर्मित कंप्यूटर प्रोग्राम द्वारा सत्यापित किया गया है।

यह शोध पत्र यह दावा नहीं करता है कि यह चिकित्सा समस्याओं को हल करता है या पुल बनाता है; यह एक शुद्ध गणितीय उपलब्धि है जो संभव वक्र आकृतियों के "चिड़ियाघर" (zoo) को व्यवस्थित करती है, और यह सिद्ध करती है कि कौन सी वास्तव में मौजूद हैं और कौन सी असंभव हैं।

तकनीकी सारांश: सतह पर वक्रों के विन्यास के लिए हिल्बर्ट की 16वीं समस्या

समस्या विवरण
यह कार्य वास्तविक प्रोजेक्टिव प्लेन $\mathbb{P}^2(\mathbb{R})$ पर बीजगणितीय वक्रों (algebraic curves) के विन्यासों के लिए हिल्बर्ट की 16वीं समस्या के एक सामान्यीकरण को संबोधित करता है। विशेष रूप से, यह $k$ -विन्यासों $(C_1, \dots, C_k)$ के टोपोलॉजिकल वर्गीकरण की जांच करता है, जिन्हें $k$ -टुपल्स के रूप में परिभाषित किया गया है जहाँ सभी जोड़े ट्रांसवर्सली (transversely) मिलते हैं और कोई भी तीन एक ही बिंदु साझा नहीं करते हैं। मुख्य ध्यान इस बात पर है कि ऐसे कौन से टोपोलॉजिकल प्रकार निर्दिष्ट डिग्री $d_i$ के वक्रों द्वारा $(d_1, \dots, d_k)$ -साध्य (realizable) हैं, जिसका अर्थ है कि उन्हें निर्दिष्ट डिग्री के गैर-विलक्षण (nonsingular) बीजगणितीय वक्रों द्वारा दर्शाया जा सकता है। यह शोध पत्र तीन रेखाओं और एक क्यूबिक वक्र वाले विन्यासों ( $(1,1,1,3)$ -साध्यता) और तीन रेखाओं और एक क्वार्टिक वक्र वाले विन्यासों ( $(1,1,1,4)$ -साध्यता) के विशिष्ट मामलों पर केंद्रित है।

कार्यप्रणाली
यह शोध पत्र निम्नलिखित ढांचे के माध्यम से वक्र विन्यासों के ज्यामितिक टोपोलॉजी और कॉम्बिनेटरियल संरचनाओं के बीच एक सेतु स्थापित करता है:

कॉम्बिनेटरियल एनकोडिंग (Combinatorial Encoding): लेखक एक "कॉम्बिनेटरियल कर्व" को $(n, W, T)$ के रूप में पेश करते हैं, जो एक निश्चित सेलुलर अरेंजमेंट ऑफ कर्व्स $(C_1, \dots, C_k)$ के ट्रांसवर्स टू एक वक्र के टोपोलॉजिकल प्रकार को एनकोड करने के लिए है। इस संरचना में शामिल हैं:
- इंटरसेक्शन नंबर्स ( $n$ ): पूर्णांक जो बेस अरेंजमेंट द्वारा प्रेरित सेलुलर डिकंपोजिशन के किनारों के साथ ट्रांसवर्स वक्र के इंटरसेक्शन की संख्या का प्रतिनिधित्व करते हैं।
- डिक वर्ड्स (Dyck Words - $W$ ): शब्द जो सेलुलर डिकंपोजिशन के फलक (faces) की सीमाओं के साथ इंटरसेक्शन के अनुक्रम को एनकोड करते हैं, जो वक्र के "ग्राउंड पार्ट" (बेस लाइनों को काटने वाले घटक) को ट्रैक करते हैं।
- रूटेड ट्रीज़ (Rooted Trees - $T$ ): पेड़ जो ग्राउंड पार्ट द्वारा परिभाषित क्षेत्रों के भीतर वक्र के "फ्लोटिंग पार्ट" (बेस लाइनों को न काटने वाले घटक) के अरेंजमेंट को एनकोड करते हैं।
सैद्धांतिक आधार:
- थ्योरम A: वक्रों के $(C_1, \dots, C_k, D)$ के टोपोलॉजिकल प्रकार और अंडरलाइंग सेलुलर कॉम्प्लेक्स के $i$ -ऑटोमोर्फिज्म के सापेक्ष कॉम्बिनेटरियल कर्व्स $(n, W, T)$ के बीच एक बाइजेक्शन (bijection) को सिद्ध करता है।
- बाधाएं (Obstructions - सेक्शन 5): पेपर बेज़ौट के प्रमेय (Bézout's theorem) के आधार पर साध्यता के लिए आवश्यक शर्तों को विकसित करता है। इनमें "बेसिक बेज़ौट" (इंटरसेक्शन नंबर्स को सीमित करना), "ऑर्डर 0 पर बेज़ौट" (यह सुनिश्चित करना कि कोई भी दो क्षेत्र विशिष्ट इंटरसेक्शन गुणों के साथ एक कॉम्बिनेटरियल लाइन द्वारा जुड़े हुए हैं), और उच्च-क्रम के बेज़ौट मानदंड शामिल हैं।
- निर्माण (Constructions - सेक्शन 6): लेखक न्यूटन पॉलीगन के रेगुलर ट्राइएंगुलेशन से साध्य मामले उत्पन्न करने के लिए विरो के पैचवर्किंग कंस्ट्रक्शन (Viro's Patchworking Construction) का उपयोग करते हैं। वे एक "ट्रांसलेशन" तकनीक का भी उपयोग करते हैं, जहाँ एक वक्र के कॉम्बिनेटरियल डेटा को बेस लाइनों के सापेक्ष वक्र को शिफ्ट करके रूपांतरित किया जाता है, जिससे मौजूदा विन्यासों से नए साध्य कॉन्फ़िगरेशन उत्पन्न होते हैं।
कंप्यूटेशनल कार्यान्वयन:
- लेखकों ने कॉम्बिनेटरियल कर्व्स के बड़े डेटाबेस को संभालने के लिए जूलिया (Julia) प्रोग्रामिंग भाषा में NWT लाइब्रेरी विकसित की है।
- वर्गीकरण प्रक्रिया में रेगुलर ट्राइएंगुलेशन की गणना करना, विरो के पैचवर्किंग और ट्रांसलेशन को लागू करना, और परिणामी कॉम्बिनेटरियल कर्व्स को बेज़ौट बाधाओं के विरुद्ध फ़िल्टर करना शामिल है।
- एल्गोरिदम "एडमिसेबल" (Admissible) कर्व्स (जो बेज़ौट की आवश्यक शर्तों को पूरा करते हैं) और "रियलाइज्ड" (Realized) कर्व्स (जो विरो के मेथड और ट्रांसलेशन द्वारा निर्मित किए जा सकते हैं) के बीच अंतर करता है।

प्रमुख योगदान और परिणाम

क्यूबिक्स के लिए पूर्ण वर्गीकरण: यह शोध पत्र तीन अनलेबल लाइनों और एक क्यूबिक वक्र के विन्यासों का पूर्ण वर्गीकरण प्रदान करता है।
- थ्योरम B: ऐसे विन्यासों के ठीक 119 टोपोलॉजिकल प्रकार हैं।
- लेखकों ने 3 विशिष्ट एडमिसेबल अरेंजमेंट्स की पहचान की जो शुरू में विरो के पैचवर्किंग या ट्रांसलेशन द्वारा उत्पन्न नहीं हुए थे, लेकिन बाद में स्पष्ट बहुपद समीकरणों (polynomial equations) का निर्माण करके उन्हें साध्य सिद्ध किया गया।
क्वार्टिक्स के लिए आंशिक वर्गीकरण: तीन अनलेबल लाइनों और एक क्वार्टिक वक्र के विन्यासों के लिए बढ़ी हुई जटिलता के कारण यह शोध पत्र आंशिक परिणाम प्रदान करता है।
- थ्योरम C: तीन लाइनों और एक सिंगल ओवल वाले क्वार्टिक के विन्यासों के ठीक 619 टोपोलॉजिकल प्रकार हैं।
- सीमाएँ (Bounds): तीन लाइनों और एक क्वार्टिक के कुल टोपोलॉजिकल प्रकारों की संख्या 9,426 और 17,624 के बीच सीमित है।
- फ्लोटलेस केस (Floatless Cases): "फ्लोटलेस" विन्यासों (जहाँ क्वार्टिक का प्रत्येक ओवल कम से कम एक लाइन को काटता है) को प्रतिबंधित करने पर, प्रकारों की संख्या 1,834 और 1,883 के बीच है।
- विसंगति (Discrepancy): फ्लोटलेस मामले में, 49 एडमिसेबल अरेंजमेंट्स हैं जो अभी तक लेखकों के निर्माण विधियों द्वारा साध्य (realized) नहीं किए गए हैं।
दो लाइनें और एक क्वार्टिक: लेखकों ने दो लाइनों और एक क्वार्टिक के विन्यासों को भी वर्गीकृत किया है, यह पाते हुए कि सभी को छोड़कर 39 मामले कवर किए गए हैं।

महत्व और दावे
यह शोध पत्र वास्तविक कॉम्पैक्ट सतहों पर वक्र विन्यासों के टोपोलॉजिकल प्रकारों के अध्ययन के लिए आधार तैयार करने का दावा करता है। इसका महत्व निम्नलिखित में निहित है:

सामान्यीकरण: एकल वक्रों (जो शास्त्रीय हिल्बर्ट 16वीं समस्या से संबंधित है) को कई वक्रों के विन्यासों तक विस्तारित करना, और इसे केवल बीजगणितीय स्कीम्स के बजाय कॉम्बिनेटरियल ऑब्जेक्ट्स (Dyck words और trees) के रूप में फ्रेम करना।
एल्गोरिद्मिक दृष्टिकोण: इन टोपोलॉजिकल प्रकारों को सूचीबद्ध करने और वर्गीकृत करने के लिए एक व्यवस्थित, कंप्यूटेशनल रूप से सत्यापित विधि प्रदान करना, जो मैन्युअल वर्गीकरण से आगे निकल जाती है जो उच्च डिग्री के लिए अव्यवहार्य हो जाता है।
ज्यामिति और कॉम्बिनेटरिक्स के बीच सेतु बनाना: यह प्रदर्शित करना कि एक विन्यास का टोपोलॉजिकल प्रकार ऑटोमोर्फिज्म तक कॉम्बिनेटरियल डेटा $(n, W, T)$ द्वारा पूरी तरह से निर्धारित होता है, और साध्यता को बेज़ौट प्रमेय से प्राप्त कॉम्बिनेटरियल बाधाओं के माध्यम से परखा जा सकता है।
निम्न डिग्री के लिए पूर्णता: $(1,1,1,3)$ मामले के लिए एक पूर्ण वर्गीकरण प्राप्त करना और $(1,1,1,4)$ मामले के लिए अब तक के सबसे व्यापकतम बाउंड्स और आंशिक वर्गीकरण प्रदान करना।

लेखक नोट करते हैं कि हालांकि उन्होंने कुछ एडमिसेबल मामले पहचाने हैं जो अभी तक साध्य (realized) नहीं किए गए हैं, लेकिन उनके पास इन विशिष्ट मामलों के लिए साध्यता उत्पन्न करने के लिए कोई व्यवस्थित विधि या उन्हें बाहर करने के लिए कोई नया अवरोध (obstruction) नहीं है, जो उनके ढांचे के दायरे में भविष्य के अनुसंधान के लिए एक खुला दिशा प्रस्तुत करता है।