🔢 mathematics

Biangular lines with angles arccos(1/5) and arccos(3/5)

यह शोध पत्र पूर्णांक जाली (integral lattices) के साथ उनके संबंध की खोज करके आयाम 7 से 10 में $\arccos(1/5)$ और $\arccos(3/5)$ कोणों वाले सबसे बड़े द्विकोणीय रेखा तंत्रों (biangular line systems) को वर्गीकृत करता है, और आयाम 15 में एक नया तंत्र प्रस्तुत करता है जो वर्तमान ज्ञात अधिकतम आकार से मेल खाता है।

मूल लेखक: Paul Tricot

प्रकाशित 2026-07-28

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

CC0 1.0

मूल लेखक: Paul Tricot

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

कल्पना कीजिए कि आप एक विशाल, अदृश्य कमरे के केंद्र में खड़े हैं। आपके हाथ में एक लंबी, पतली छड़ी है जो आपके हाथ से दीवार की ओर इशारा कर रही है। अब, कल्पना कीजिए कि आपके पास ऐसी छड़ियों का एक पूरा समूह है, जो सभी आपके हाथ से शुरू होते हैं और अलग-अलग दिशाओं में इशारा करते हैं। गणित की दुनिया में, इसे एक "लाइन सिस्टम" (रेखा प्रणाली) कहा जाता है। आमतौर पर, गणितज्ञों को तब बहुत पसंद आता है जब सब कुछ पूरी तरह से समान होता है। यदि आपके पास छड़ियों का एक ऐसा सेट है जहाँ हर जोड़ा बिल्कुल एक ही कोण बनाता है, तो उसे "इक्विएंगुलर लाइन्स" (समकोणीय रेखाएं) कहा जाता है, और यह एक छत से लटकते हुए बिल्कुल संतुलित मोबाइल की तरह है।

लेकिन जीवन शायद ही कभी इतना पूर्ण होता है। कभी-कभी, आप यह जानना चाहते हैं कि क्या होता है यदि आप एक के बजाय दो अलग-अलग कोणों की अनुमति देते हैं। यह "बायएंगुलर लाइन्स" (द्विकोणीय रेखाएं) की दुनिया है। यह एक नृत्य की तरह है जहाँ साथी केवल दो विशिष्ट कोणों पर कदम रख सकते हैं: शायद एक चौड़ा, सुस्त झुकाव या एक तीखा, तेज़ मोड़। प्रश्न जो गणितज्ञ पूछते हैं, वह यह है: "हम इस कमरे में कितने नर्तकों को फिट कर सकते हैं इससे पहले कि वे एक-दूसरे से टकराने लगें?" कमरा जितना बड़ा (आयाम जितना अधिक) होगा, आप उतने ही अधिक नर्तकों को फिट करने के बारे었던 सोच सकते हैं, लेकिन ज्यामिति के नियम सख्त हैं। "दो-कोण" के नियम को तोड़े बिना आप कितनी छड़ियों को पैक कर सकते हैं, इसकी एक सीमा है।

यह शोध पत्र एक जासूसी कहानी है कि विशिष्ट आकारों के कमरों में इन छड़ियों की परम अधिकतम संख्या कैसे ज्ञात की जाए, आयाम 7 से 10 तक, और यहाँ तक कि आयाम 15 पर भी एक झलक डालना। लेखक, पॉल ट्रिकोट, एक बहुत ही विशिष्ट प्रकार के नृत्य की जांच कर रहे हैं: जहाँ छड़ियों के बीच के कोण दो बहुत सटीक मानों द्वारा निर्धारित होते हैं, जो 1/5 और 3/5 हैं। वे केवल अनुमान नहीं लगा रहे हैं; वे एक चतुर तरकीब का उपयोग कर रहे हैं जो इन नाचती हुई छड़ियों को "इंटीग्रल लैटिस" (पूर्णांक जालक) से जोड़ती है। लैटिस को एक विशाल, अदृश्य बिंदुओं के ग्रिड के रूप में समझें, जैसे ग्राफ पेपर के बिंदु जो अनंत तक फैलते हैं। लेखकों ने खोजा कि यदि आप अपनी छड़ियों को सही ढंग से व्यवस्थित करते हैं, तो वे इन ग्रिडों के "रूट्स" (विशेष वेक्टर) के साथ पूरी तरह से संरेखित हो जाती हैं। इस संबंध का उपयोग करके, वे यह सिद्ध कर सकते हैं कि कमरे में कितनी छड़ियाँ फिट होती हैं और यह दिखा सकते हैं कि ज्ञात व्यवस्थाएँ वास्तव में सबसे अच्छी हैं।

द ग्रेट स्टिक पैकिंग कॉन्टेस्ट (छड़ियों को पैक करने की बड़ी प्रतियोगिता)

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

इस शोध पत्र से पहले, गणितज्ञ कुछ बड़े नंबरों को जानते थे। आयाम 7 से 20 तक, रेखाओं के सबसे बड़े ज्ञात समूह 72, 126, 240 आदि जैसे आकार के थे। ये विशेष ग्रिड जिन्हें रूट लैटिस (विशेष रूप से $E_6, E_7, E_8$ ) कहा जाता है, का उपयोग करके बनाए गए थे। लेकिन कोई निश्चित रूप से नहीं जानता था कि क्या ये सबसे बड़े समूह थे, या क्या कोई और भी चतुर बनकर कुछ और छड़ियाँ इसमें समाहित कर सकता है।

ट्रिकोट का पेपर कहता है: "आइए देखें कि क्या हम इससे बेहतर कर सकते हैं।" और उत्तर, आयाम 7, 8 और 9 के लिए, एक जोरदार नहीं है।

यहाँ शोध पत्र में जो पाया गया है, उसे कमरे के आकार के अनुसार विभाजित किया गया है:

आयाम 7: शोध पत्र सिद्ध करता है कि रेखाओं की अधिकतम संख्या ठीक 72 है। यदि आप 73 को फिट करने की कोशिश करते हैं, तो ज्यामिति टूट जाती है। 72 प्राप्त करने का एकमात्र तरीका $E_6$ लैटिस से निर्मित विशिष्ट व्यवस्था का उपयोग करना है। यह एकमात्र समाधान है।
आयाम 8: सीमा 126 रेखाएं है। फिर से, शोध पत्र सिद्ध करता है कि आप इससे अधिक नहीं डाल सकते। इस संख्या तक पहुँचने का एकमात्र तरीका $E_7$ लैटिस से प्राप्त व्यवस्था का उपयोग करना है।
आयाम 9: सीमा 240 रेखाएं है। प्रमाण दिखाता है कि $E_8$ लैटिस से प्राप्त व्यवस्था ही एकमात्र विजेता है। आप 241वीं रेखा को भी नहीं समाहित कर सकते।
आयाम 10: शोध पत्र इसी तरह की कठोर प्रक्रिया का पालन करते हुए इस आयाम में सबसे बड़ी प्रणालियों को वर्गीकृत करने का लक्ष्य रखता है। हालाँकि, प्रदान किए गए दस्तावेज़ का पाठ आयाम 10 के लिए अंतिम प्रमाण पूरा होने से पहले ही कट जाता है, जिससे इस विशिष्ट सीमा को इस दस्तावेज़ के भीतर एक कार्य प्रगति पर (work in progress) छोड़ दिया गया है।

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

"स्पेशल ट्रायंगल" (विशेष त्रिभुज) का सुराग

उन्होंने इसे कैसे सिद्ध किया? उन्होंने एक जासूसी उपकरण का उपयोग किया जिसे "स्पेशल ट्रायंगल" कहा जाता है। कल्पना कीजिए कि आपके हाथ में तीन छड़ियाँ हैं। यदि उनमें से दो "चौड़े" कोण ( $\arccos(3/5)$ ) पर झुकती हैं, और तीसरी एक "तीखे" कोण ( $\arccos(-1/5)$ , जो चौड़े कोण का विपरीत है) पर झुकती है, तो वे एक विशेष त्रिभुज बनाती हैं।

शोध पत्र सिद्ध करता है कि रेखाओं के किसी भी बड़े समूह (72 या अधिक) में, आपको ये विशेष त्रिभुज जरूर मिलेंगे। एक बार जब आप जान जाते हैं कि वे मौजूद हैं, तो गणित बहुत सख्त हो जाता है। लेखकों ने दिखाया कि यदि आपके पास ये त्रिभुज हैं, तो रेखाओं का पूरा समूह एक विशिष्ट ग्रिड (लैटिस) के साथ संरेखित होने के लिए मजबूर हो जाता है। एक बार जब उन्होंने रेखाओं को ग्रिड के साथ संरेखित करने के लिए मजबूर कर दिया, तो वे कंप्यूटर प्रोग्रामों का उपयोग करके उस ग्रिड पर छड़ियों को व्यवस्थित करने के हर संभव तरीके की जाँच कर सके। कंप्यूटरों ने लाखों संयोजनों की जाँच की और पाया कि हर मामले में, आप ज्ञात संख्याओं (72, 126, 240) से अधिक नहीं पा सकते।

आयाम 15 में एक नई खोज

जबकि मुख्य कार्य आयाम 7 से 9 (और 10 पर शुरू करते हुए) के लिए सीमाओं को सिद्ध करना था, शोध पत्र में एक मजेदार सरप्राइज भी था। आयाम 15 में, लेखकों ने 456 रेखाओं की एक नई प्रणाली का निर्माण किया। यह अन्य गणितज्ञों (गान्ज़िनोव और ज़ोलोसी) द्वारा पाए गए सर्वोत्तम-ज्ञात सिस्टम के आकार से मेल खाता है, लेकिन यह पेपर इसे बनाने का एक नया तरीका प्रदान करता है। यह बिल्कुल वैसा ही है जैसे एक नया, थोड़ा अलग नुस्खा खोजना जो ठीक वही स्वादिष्ट केक बनाता है। यह पुष्टि करता है कि 456 आयाम 15 में अधिकतम के लिए एक बहुत मजबूत उम्मीदवार है, हालांकि पेपर यह दावा नहीं करता है कि इसने यह सिद्ध कर दिया है कि यह पूर्ण सीमा है (उच्च आयामों के लिए यह एक कठिन काम है)।

निचोड़ (The Bottom Line)

यह शोध पत्र निश्चितता की जीत है। आयाम 7, 8 और 9 के लिए, अब हम जानते हैं कि कोण $\arccos(1/5)$ और $\arccos(3/5)$ की धुन पर नाचने वाली रेखाओं की अधिकतम संख्या क्या है। वे संख्याएँ 72, 126, और 240 हैं। शोध पत्र सिद्ध करता है कि हम पहले से जो व्यवस्थाएँ जानते थे, वे न केवल अच्छी हैं—बल्कि वे इन अधिकतमओं तक पहुँचने के एकमात्र तरीके भी हैं।

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

तकनीकी सारांश: कोण $\arccos(1/5)$ और $\arccos(3/5)$ वाली द्वि-कोणीय रेखाएँ (Biangular Lines)

समस्या विवरण
यह शोध पत्र आयाम 7 से 10 के यूक्लिडियन स्पेस में अधिकतम द्वि-कोणीय रेखा प्रणालियों (maximal biangular line systems) के वर्गीकरण को संबोधित करता है। एक द्वि-कोणीय रेखा प्रणाली में मूल बिंदु (origin) से गुजरने वाली रेखाएँ होती हैं जहाँ किन्हीं भी दो अलग-अलग रेखाओं के बीच का कोण दो निश्चित मानों में से एक तक ही सीमित होता है। आयाम 1 से 6 के लिए अधिकतम आकार का वर्गीकरण गंजिनोव (Ganzhinov) और ज़ोलोसी (Szöllősi) द्वारा पहले ही किया जा चुका था, जबकि आयाम 7 और उससे अधिक के लिए सामान्य मामले में अधिकतम आकार अज्ञात बना हुआ है। हालाँकि, आयाम 7 से 20 तक के सबसे बड़े ज्ञात निर्माण विशिष्ट कोणों: $\arccos(1/5)$ और $\arccos(3/5)$ का उपयोग करते हैं। इस कार्य का प्राथमिक उद्देश्य आयाम 7, 8, 9 और 10 में इन विशिष्ट कोणों वाली सबसे बड़ी द्वि-कोणीय रेखा प्रणालियों का कठोरता से वर्गीकरण करना है, और आयाम 15 के लिए एक नया निर्माण प्रदान करना है।

कार्यप्रणाली (Methodology)
मुख्य कार्यप्रणाली $\{\pm 1/5, \pm 3/5\}$ वाले अंतःफलक (inner products) वाली द्वि-कोणीय रेखा प्रणालियों और पूर्णांक लैटिस (integral lattices) के बीच संबंध स्थापित करने और उसका लाभ उठाने पर आधारित है। लेखक $\mathbb{R}^d$ में एक सेट $X$ को $\mathbb{R}^{d+1}$ में एक सेट $Y$ में मैप करने के लिए एक "लिफ्टिंग" (lifting) और "स्विचिंग" (switching) रूपांतरण (प्रस्ताव 2.8 और 2.9) का उपयोग करते हैं, जिसमें पूर्णांक अंतःफलक $\{-1, 0, 1, 2\}$ होते हैं।

विश्लेषण निम्नलिखित तार्किक चरणों के माध्यम से आगे बढ़ता है:

लैटिस निर्माण: सेट $Y$ का उपयोग एक पूर्णांक लैटिस $L = \langle Y, r \rangle_{\mathbb{Z}}$ उत्पन्न करने के लिए किया जाता है, जहाँ $r$ एक विशिष्ट सहायक वेक्टर है। रूट सबलैटिस $R$ (जो $L$ में नॉर्म 2 वाले वेक्टर्स द्वारा जनित है) का विश्लेषण किया जाता है।
संयोजन संबंधी बाधाएँ (Combinatorial Constraints): पेपर $\pm 3/5$ के अंतःफलक वाले वेक्टर्स के जोड़ों पर निचली सीमा (lower bounds) प्राप्त करने के लिए गेनबाउर बहुपद (Gegenbauer polynomials) (प्रमेय 2.2) का उपयोग करता है।
ज्यामितीय न्यूनीकरण (Geometric Reduction): लेम्मा 3.1 से 3.3 यह स्थापित करते हैं कि यदि कोई प्रणाली पर्याप्त बड़ी है, तो उसमें एक "विशेष त्रिभुज" (तीन वेक्टर्स का एक विशिष्ट विन्यास) होना चाहिए। यह रूट सबलैटिस के पूरक (complement) पर सिस्टम के लंबवत प्रक्षेप (orthogonal projection) को चिह्न (sign) के अधीन स्थिर होने के लिए मजबूर करता है।
रैंक निर्धारण: यह मानते हुए कि सिस्टम का आकार ज्ञात निचली सीमाओं से अधिक है, लेखक यह सिद्ध करता है कि रूट लैटिस $R$ का रैंक, एम्बिएंट लैटिस $L$ के रैंक के बराबर होना चाहिए।
कंप्यूटर-सहायता प्राप्त वर्गीकरण: समस्या को रूट लैटिस ( $A_n, D_n, E_n$ ) के द्वैत (duals) से निर्मित ग्राफों में अधिकतम क्लिक (maximum cliques) खोजने में बदल दिया जाता है। लेखक संभावित रूट लैटिस, वेक्टर $r$ , और प्रोजेक्शन नॉर्म के ऊपर व्यापक कंप्यूटर खोज (Magma का उपयोग करके) करता है ताकि अधिकतम क्लिक आकार निर्धारित किया जा सके।

प्रमुख परिणाम
यह शोध पत्र निम्नलिखित वर्गीकरण और निर्माण प्रदान करता है:

आयाम 7: पेपर सिद्ध करता है कि $\arccos(1/5)$ और $\arccos(3/5)$ कोणों वाली अधिकतम रेखाओं की संख्या 72 है। इसके अलावा, यह स्थापित करता है कि 72 आकार की कोई भी ऐसी प्रणाली रूट लैटिस $E_6$ (जिसे $X_7$ कहा गया है) से निर्मित प्रणाली के तुल्य है।
आयाम 8: अधिकतम आकार 126 सिद्ध किया गया है। अद्वितीय अधिकतम प्रणाली (तुल्यता के आधार पर) को रूट लैटिस $E_7$ (जिसे $X_8$ कहा गया है) से प्राप्त किया गया है।
आयाम 9: अधिकतम आकार 240 सिद्ध किया गया है। अद्वितीय अधिकतम प्रणाली को रूट लैटिस $E_8$ (जिसे $X_9$ कहा गया है) से प्राप्त किया गया है।
आयाम 10: हालांकि अंतिम प्रमेय कथन से पहले टेक्स्ट कट जाता है, लेकिन इसकी कार्यप्रणाली पिछले आयामों के समान है, जिसका लक्ष्य रूट लैटिस संरचना के आधार पर प्रणालियों को वर्गीकृत करना है।
आयाम 15: लेखक आयाम 15 में 456 आकार की एक नई द्वि-कोणीय रेखा प्रणाली का निर्माण करता है। यह आकार गंजिनोव और ज़ोलोसी द्वारा प्रदान किए गए पूर्व ज्ञात निचले स्तर (lower bound) से मेल खाता है, जो इस परिमाण की प्रणाली के अस्तित्व की पुष्टि करता है।

महत्व और दावे
यह पेपर दावा करता है कि यह आयाम 7 से 10 के लिए विशिष्ट कोणों $\arccos(1/5)$ और $\arccos(3/5)$ वाली अधिकतम द्वि-कोणीय रेखा प्रणालियों के वर्गीकरण को हल करता है। पूर्णांक लैटिस के साथ संबंध का लाभ उठाकर, लेखक केवल निचले स्तर के निर्माण से आगे बढ़कर यह सिद्ध करता है कि ज्ञात निर्माण ( $E_6, E_7, E_8$ पर आधारित) वास्तव में इन आयामों में अद्वितीय अधिकतम समाधान हैं।

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

द ग्रेट स्टिक पैकिंग कॉन्टेस्ट (छड़ियों को पैक करने की बड़ी प्रतियोगिता)

"स्पेशल ट्रायंगल" (विशेष त्रिभुज) का सुराग

आयाम 15 में एक नई खोज

निचोड़ (The Bottom Line)

इसी तरह के और पेपर