In the 60s, Micha Perles constructed a point-line arrangement in the plane on nine points, which can not be realized only by points with rational coordinates. Grünbaum conjectured that Perles' construction is the smallest: any geometric arrangement on eight or fewer points if it is realizable with real coordinates in the plane, it is also realizable with rational coordinates. In this paper, we prove the conjecture.
- पेपर ID: 2408.09370
- शीर्षक: पर्लेस कॉन्फ़िगरेशन पर
- लेखक: जोज़सेफ सोल्यमोसी (ब्रिटिश कोलंबिया विश्वविद्यालय, वैंकूवर, कनाडा, और ओबुडा विश्वविद्यालय, बुडापेस्ट, हंगरी)
- वर्गीकरण: math.CO (संयोजन विज्ञान)
- प्रकाशन समय: अगस्त 2024 (arXiv:2408.09370v2, अंतिम अपडेट दिसंबर 31, 2024)
- पेपर लिंक: https://arxiv.org/abs/2408.09370
बीसवीं शताब्दी के 1960 के दशक में, मिचा पर्लेस ने समतल पर 9 बिंदुओं का एक बिंदु-रेखा कॉन्फ़िगरेशन का निर्माण किया, जिसे केवल परिमेय निर्देशांक वाले बिंदुओं से प्राप्त नहीं किया जा सकता। ग्रुनबाम ने अनुमान लगाया कि पर्लेस का निर्माण न्यूनतम है: 8 या उससे कम बिंदुओं का कोई भी ज्यामितीय कॉन्फ़िगरेशन, यदि इसे समतल पर वास्तविक निर्देशांक से प्राप्त किया जा सकता है, तो इसे परिमेय निर्देशांक से भी प्राप्त किया जा सकता है। यह पेपर इस अनुमान को प्रमाणित करता है।
यह अनुसंधान यूक्लिडीय ज्यामिति में एक शास्त्रीय समस्या को हल करता है: बिंदुओं का एक समूह P और इसके 3-तत्व उपसमुच्चय S = {S₁, ..., Sₖ} दिए गए हों, क्या यूक्लिडीय समतल में बिंदुओं का एक कॉन्फ़िगरेशन मौजूद है, जिससे केवल S में सूचीबद्ध त्रिगुण संरेख हों? विशेष रूप से उन कॉन्फ़िगरेशन पर ध्यान केंद्रित करता है जिन्हें वास्तविक निर्देशांक से तो प्राप्त किया जा सकता है लेकिन परिमेय निर्देशांक से नहीं।
- ऐतिहासिक उत्पत्ति: परिमेय वास्तविकीकरण के बिना सबसे पहले कॉन्फ़िगरेशन वॉन स्टॉड्ट के "प्रक्षेपी अंकगणित" पर कार्य से आए; मैकलेन ने इस सिद्धांत को लागू करके √2 के अनुरूप 11-बिंदु निर्माण दिया
- पर्लेस कॉन्फ़िगरेशन: 1960 के दशक में पर्लेस ने 9 बिंदुओं और 9 रेखाओं का कॉन्फ़िगरेशन दिया, जिसे शुद्ध परिमेय बिंदुओं से प्राप्त नहीं किया जा सकता, यह इस प्रकार का सबसे छोटा ज्ञात कॉन्फ़िगरेशन है
- सैद्धांतिक महत्व: इस प्रकार के कॉन्फ़िगरेशन गैर-परिमेय बहुफलकों के निर्माण के लिए मूल घटक हैं, जिनका असतत ज्यामिति में महत्वपूर्ण स्थान है
- छोटे बिंदु समुच्चय कॉन्फ़िगरेशन के पूर्ण वर्गीकरण का अभाव
- ग्रुनबाम अनुमान वर्षों से प्रस्तावित था, लेकिन सिद्ध नहीं हुआ था
- n₃ कॉन्फ़िगरेशन (जहां प्रत्येक बिंदु बिल्कुल 3 संरेख त्रिगुणों में है) पर अनुसंधान अधूरा था
- ग्रुनबाम अनुमान को प्रमाणित किया: n≤8 बिंदुओं का कोई भी कॉन्फ़िगरेशन या तो वास्तविक निर्देशांक से प्राप्त नहीं हो सकता या परिमेय वास्तविकीकरण भी है
- पूर्ण वर्गीकरण विधि प्रदान की: केस-दर-केस विश्लेषण के माध्यम से, सभी संभावित 8-बिंदु और उससे कम कॉन्फ़िगरेशन का व्यवस्थित विश्लेषण किया
- प्रतिउदाहरण अनुप्रयोग दिए: बिंदु-रेखा आपतन संख्या पर दो अनुमानों को खारिज करने के लिए परिणामों का उपयोग किया
- एल्किस के 10-बिंदु निर्माण को पूरक किया: परिशिष्ट में एक 10-बिंदु गैर-परिमेय कॉन्फ़िगरेशन उदाहरण प्रदर्शित किया
एक बिंदु-रेखा आपतन संरचना दी गई हो, यह निर्धारित करें कि क्या इसका परिमेय वास्तविकीकरण मौजूद है। विशेष रूप से, n≤8 के बिंदु कॉन्फ़िगरेशन के लिए, सिद्ध करें कि यदि वास्तविक निर्देशांक वास्तविकीकरण मौजूद है, तो परिमेय निर्देशांक वास्तविकीकरण भी अवश्य मौजूद है।
प्रमाण केस-दर-केस विश्लेषण की विधि का उपयोग करता है, निम्नलिखित मूल उपकरणों पर आधारित:
केली-मोजर प्रमेय: यूक्लिडीय समतल में, n बिंदुओं में कम से कम 3n/7 साधारण रेखाएं (केवल दो बिंदु युक्त) होती हैं, जब तक कि सभी बिंदु संरेख न हों।
प्रमाण तीन सरलीकृत मान्यताओं पर आधारित है:
- मान्यता 1: प्रत्येक बिंदु कम से कम दो संरेख त्रिगुणों से संबंधित है, अन्यथा उस बिंदु को हटाया जा सकता है
- मान्यता 2: प्रत्येक रेखा में कम से कम दो डिग्री ≥3 वाले बिंदु होते हैं, अन्यथा उस रेखा को हटाया जा सकता है
- मान्यता 3: प्रक्षेपी रूपांतरण के मानकीकरण तकनीक का उपयोग
- पहली स्थिति: n=8 और कोई चार-बिंदु संरेख नहीं
- केली-मोजर सीमा का उपयोग: कम से कम 4 साधारण रेखाएं
- शेष 24 बिंदु-जोड़े अधिकतम 8 संरेख त्रिगुण बनाते हैं
- डिग्री विश्लेषण के माध्यम से अद्वितीय परिमेय वास्तविकीकरण निर्धारित करें
- दूसरी स्थिति: n=8 और चार-बिंदु संरेख मौजूद है
- चार बिंदुओं को मानक स्थिति में मैप करने के लिए प्रक्षेपी रूपांतरण का उपयोग करें
- सिद्ध करें कि शेष कॉन्फ़िगरेशन में अक्ष-समानांतर वर्ग की परिमेय संरचना है
- तीसरी स्थिति: n=7
- फानो समतल (कोई वास्तविक वास्तविकीकरण नहीं) और अन्य संभावित कॉन्फ़िगरेशन का विश्लेषण करें
- सिद्ध करें कि सभी वास्तविक वास्तविकीकरण कॉन्फ़िगरेशन में परिमेय वास्तविकीकरण है
- चौथी स्थिति: n≤6
- पूर्वोक्त तर्क को सीधे लागू करें
प्रक्षेपी समतल का उपयोग विश्लेषण को सरल बनाने के लिए:
- बिंदु (a,b) को सजातीय निर्देशांक (wa,wb,w) से संबंधित करें
- प्रक्षेपी रूपांतरण T का उपयोग करें जो परिमेयता और संरेखता को संरक्षित करता है
- गणना को सरल बनाने के लिए चार-बिंदु स्थिति को मानकीकृत करें
चूंकि यह शुद्ध गणितीय प्रमाण है, "प्रयोग" मुख्य रूप से निम्नलिखित में प्रकट होते हैं:
- संपूर्ण सत्यापन: सभी संभावित छोटे कॉन्फ़िगरेशन के लिए केस-दर-केस विश्लेषण
- रचनात्मक प्रमाण: प्रत्येक स्थिति के लिए स्पष्ट परिमेय निर्देशांक निर्माण प्रदान करें
- प्रतिउदाहरण सत्यापन: सत्यापित करें कि 9-बिंदु पर्लेस कॉन्फ़िगरेशन वास्तव में परिमेय वास्तविकीकरण नहीं है
एल्किस के 10-बिंदु निर्माण के लिए, पेपर विस्तृत बीजगणितीय गणना प्रदान करता है:
- दीर्घवृत्ताकार वक्र y² = (x-1)·(x²-2a-3) + ((a+1)·x+1)²/4 का उपयोग करें
- सिद्ध करें कि पैरामीट्रिक समीकरण के समाधान में अपरिमेय संख्याएं शामिल हैं
- सत्यापित करें कि यह कॉन्फ़िगरेशन परिमेय वास्तविकीकरण नहीं है
प्रमेय 2 (ग्रुनबाम अनुमान): n≤8 बिंदुओं का कोई भी कॉन्फ़िगरेशन या तो वास्तविक निर्देशांक से प्राप्त नहीं हो सकता या परिमेय वास्तविकीकरण भी है।
- 8-बिंदु कोई चार-बिंदु संरेख नहीं स्थिति:
- 7 संरेख त्रिगुण: अद्वितीय कॉन्फ़िगरेशन में परिमेय वास्तविकीकरण है
- 6 या कम: मान्यताओं का उल्लंघन करते हैं
- 8-बिंदु चार-बिंदु संरेख स्थिति:
- कॉन्फ़िगरेशन अक्ष-समानांतर वर्ग के अनुरूप है, परिमेय वास्तविकीकरण है
- 7-बिंदु स्थिति:
- फानो समतल: कोई वास्तविक वास्तविकीकरण नहीं
- 6 संरेख त्रिगुण: अद्वितीय परिमेय वास्तविकीकरण है
मुख्य परिणाम का उपयोग करके दो अनुमानों को खारिज किया:
- अनुमान 2: विशिष्ट उप-कॉन्फ़िगरेशन से बचने वाली आपतन संख्या पर ऊपरी सीमा
- अनुमान 3: इस प्रकार के कॉन्फ़िगरेशन पर मजबूत ऊपरी सीमा
कारण: पूर्णांक ग्रिड समृद्ध आपतन के साथ प्रतिउदाहरण प्रदान करते हैं, जबकि सभी उप-संरचनाओं में परिमेय निर्देशांक हैं।
- वॉन स्टॉड्ट (1857): प्रक्षेपी अंकगणित सिद्धांत का सबसे पहला
- मैकलेन (1936): 11-बिंदु √2 निर्माण
- पर्लेस (1960 के दशक): 9-बिंदु न्यूनतम गैर-परिमेय कॉन्फ़िगरेशन
- स्ट्रमफेल्ड और व्हाइट (1990): n₃ कॉन्फ़िगरेशन की परिमेयता पर अनुसंधान
- ग्रॉप (1997): कॉन्फ़िगरेशन वास्तविकीकरण का पूर्ण सर्वेक्षण
- कोकाय (2021): 13₃ स्थिति को प्रमाणित किया
- रिचटर-गेबर्ट (1996): गैर-परिमेय बहुफलक सिद्धांत
- एल्किस (2021): 10-बिंदु गैर-चार-बिंदु संरेख गैर-परिमेय कॉन्फ़िगरेशन
यह पेपर 8-बिंदु और उससे कम कॉन्फ़िगरेशन वर्गीकरण में अंतराल को भरता है, ग्रुनबाम अनुमान के लिए पूर्ण प्रमाण प्रदान करता है, यह क्षेत्र में महत्वपूर्ण सैद्धांतिक प्रगति है।
- ग्रुनबाम अनुमान को पूरी तरह हल किया: 8-बिंदु और उससे कम कॉन्फ़िगरेशन में परिमेय वास्तविकीकरण है (यदि वास्तविक वास्तविकीकरण है तो)
- पर्लेस निर्माण की न्यूनतमता की पुष्टि की: 9-बिंदु अपरिमेय निर्देशांक की आवश्यकता वाला न्यूनतम कॉन्फ़िगरेशन है
- व्यवस्थित विश्लेषण विधि प्रदान की: बड़े कॉन्फ़िगरेशन के अनुसंधान के लिए आधार तैयार किया
- विधि सीमाएं: केस-दर-केस विश्लेषण बड़े n मानों तक विस्तारित करना कठिन है
- कम्प्यूटेशनल जटिलता: n≥9 स्थितियों के लिए, संपूर्ण विश्लेषण कठिन हो जाता है
- सामान्य समस्या: n₃ कॉन्फ़िगरेशन पर सामान्य अनुमान अभी भी खुला है
- n₃ कॉन्फ़िगरेशन अनुमान: सिद्ध करें कि सभी n₃ कॉन्फ़िगरेशन में परिमेय वास्तविकीकरण है
- बड़े कॉन्फ़िगरेशन विश्लेषण: n≥10 के गैर-परिमेय कॉन्फ़िगरेशन के व्यवस्थित निर्माण विधि खोजें
- एल्गोरिथ्मिक समस्या: दिए गए कॉन्फ़िगरेशन की परिमेयता निर्धारित करने के लिए प्रभावी एल्गोरिथ्म विकसित करें
- सैद्धांतिक पूर्णता: एक दीर्घकालीन खुली समस्या को पूरी तरह हल किया
- विधि व्यवस्थितता: केस-दर-केस विश्लेषण सभी संभावित स्थितियों को कवर करता है
- तकनीकी निपुणता: प्रक्षेपी ज्यामिति और संयोजन तर्क का कुशल उपयोग
- अनुप्रयोग मूल्य: आपतन सिद्धांत में महत्वपूर्ण परिणाम
- विधि विशेषता: प्रमाण तकनीकें सामान्य स्थितियों तक विस्तारित करना कठिन है
- कम्प्यूटेशनल जटिलता: कुछ स्थितियों का विश्लेषण तकनीकी रूप से जटिल है
- खुली समस्याएं: अधिक सामान्य कॉन्फ़िगरेशन समस्याएं अभी भी अनसुलझी हैं
- सैद्धांतिक योगदान: संयोजन ज्यामिति में शास्त्रीय समस्या का समाधान
- पद्धति मूल्य: समान समस्याओं के लिए विश्लेषण ढांचा प्रदान करता है
- अनुप्रयोग संभावनाएं: असतत ज्यामिति और आपतन सिद्धांत में व्यापक अनुप्रयोग
- सैद्धांतिक अनुसंधान: संयोजन ज्यामिति, असतत ज्यामिति सिद्धांत
- कम्प्यूटेशनल ज्यामिति: बिंदु-रेखा कॉन्फ़िगरेशन के एल्गोरिथ्म डिजाइन
- बीजगणितीय ज्यामिति: परिमेय बिंदु समस्याओं का अनुसंधान
पेपर 24 महत्वपूर्ण साहित्य का हवाला देता है, जिनमें शामिल हैं:
- ग्रुनबाम की शास्त्रीय कृतियां "Convex Polytopes" और "Configurations of Points and Lines"
- केली-मोजर की साधारण रेखाओं पर शास्त्रीय परिणाम
- Mathematical Intelligencer पर ज़िएगलर का गैर-परिमेय कॉन्फ़िगरेशन पर सर्वेक्षण लेख
- बाल्को और फ्रैंकल जैसे नवीनतम संबंधित अनुसंधान
यह पेपर संयोजन ज्यामिति क्षेत्र में एक महत्वपूर्ण सैद्धांतिक योगदान है, जो दशकों से मौजूद एक शास्त्रीय अनुमान को पूरी तरह हल करता है, गहरी गणितीय क्षमता और परिष्कृत प्रमाण तकनीकों का प्रदर्शन करता है।