We show that given an arbitrary set of four plane unit vectors $v_1, v_2, v_3, v_4$, the Cayley graph generated by $\{\pm v_1, \pm v_2, \pm v_3, \pm v_4\}$ is always $3$-colorable. Indeed, we show that this is a specific case of a much more general result wherein we determine the chromatic number of an arbitrary abelian Cayley graph generated by a set of four elements and their negatives, subject to the constraint that the group of relations between those elements has rank no more than $2$.
पेपर ID : 2511.10813शीर्षक : चार समतल इकाई सदिश एक 3-रंगीय ग्राफ उत्पन्न करते हैंलेखक : Katherine Eng, Timothy Harris, Mike Krebs, Mason Meeks, Claudia Maria Schmidtवर्गीकरण : math.CO (संयोजन गणित)प्रकाशन समय : 13 नवंबर 2025 को arXiv पर प्रस्तुतपेपर लिंक : https://arxiv.org/abs/2511.10813 यह पेपर सिद्ध करता है कि किन्हीं भी चार समतल इकाई सदिशों v 1 , v 2 , v 3 , v 4 v_1, v_2, v_3, v_4 v 1 , v 2 , v 3 , v 4 के लिए, { ± v 1 , ± v 2 , ± v 3 , ± v 4 } \{\pm v_1, \pm v_2, \pm v_3, \pm v_4\} { ± v 1 , ± v 2 , ± v 3 , ± v 4 } द्वारा उत्पन्न Cayley ग्राफ हमेशा 3-रंगीय होता है। आगे, लेखक सिद्ध करते हैं कि यह एक अधिक सामान्य परिणाम का विशेष मामला है: चार तत्वों और उनके ऋणात्मकों द्वारा उत्पन्न किसी भी एबेलियन Cayley ग्राफ की रंगीन संख्या निर्धारित की गई है, बशर्ते कि इन तत्वों के बीच संबंध समूह की रैंक 2 से अधिक न हो।
यह पेपर शास्त्रीय समतल रंगीन संख्या समस्या (Hadwiger-Nelson समस्या) के एक रूपांतर का अध्ययन करता है। मूल समस्या पूछती है: समतल R 2 \mathbb{R}^2 R 2 में प्रत्येक बिंदु को रंगने के लिए कितने रंगों की आवश्यकता है, ताकि दूरी 1 वाले किन्हीं भी दो बिंदुओं का रंग अलग हो? वर्तमान में ज्ञात है कि χ ( R 2 ) ∈ { 5 , 6 , 7 } \chi(\mathbb{R}^2) \in \{5, 6, 7\} χ ( R 2 ) ∈ { 5 , 6 , 7 } ।
सैद्धांतिक महत्व : समतल रंगीन संख्या समस्या संयोजन ज्यामिति में एक शास्त्रीय कठिन समस्या है, जो ग्राफ सिद्धांत, ज्यामिति और टोपोलॉजी से निकटता से संबंधित हैव्यावहारिक अनुप्रयोग : इकाई दूरी ग्राफ वायरलेस नेटवर्क आवृत्ति आवंटन, क्रिस्टल संरचना विश्लेषण आदि क्षेत्रों में अनुप्रयोग हैंगणितीय गहराई : समस्या Cayley ग्राफ सिद्धांत, बीजगणितीय समूह सिद्धांत और ग्राफ रंगीन सिद्धांत के अंतर्संबंध को शामिल करती हैसंपूर्ण समतल रंगीन संख्या समस्या अत्यंत कठिन है, अब तक सटीक मान निर्धारित नहीं किया जा सका है परिमित इकाई दूरी ग्राफ की रंगीन संख्या के अध्ययन में व्यवस्थित विधि की कमी है विशिष्ट जनक तत्वों की संख्या वाले Cayley ग्राफ की रंगीन संख्या के लिए सामान्य सिद्धांत की कमी है लेखक ने एक नया अनुसंधान दृष्टिकोण प्रस्तावित किया: χ max ( n ) \chi_{\max}(n) χ m a x ( n ) को सभी n n n समतल इकाई सदिशों { ± v 1 , … , ± v n } \{\pm v_1, \ldots, \pm v_n\} { ± v 1 , … , ± v n } द्वारा उत्पन्न Cayley ग्राफ की अधिकतम रंगीन संख्या के रूप में परिभाषित करना। यह समस्या अधिक संरचनात्मक है, व्यवस्थित अनुसंधान के लिए सुविधाजनक है।
मुख्य परिणाम (Corollary 1.1): सिद्ध किया कि χ max ( 1 ) = χ max ( 2 ) = 2 \chi_{\max}(1) = \chi_{\max}(2) = 2 χ m a x ( 1 ) = χ m a x ( 2 ) = 2 और χ max ( 3 ) = χ max ( 4 ) = 3 \chi_{\max}(3) = \chi_{\max}(4) = 3 χ m a x ( 3 ) = χ m a x ( 4 ) = 3 सामान्य प्रमेय (Theorem 1.2): 4 × 2 4 \times 2 4 × 2 Heuberger मैट्रिक्स वाले मानकीकृत एबेलियन Cayley ग्राफ (SACG) की रंगीन संख्या को पूरी तरह से निर्धारित किया, रंगीन संख्या 4 के लिए आवश्यक और पर्याप्त शर्त दीसैद्धांतिक ढांचा : समतल इकाई सदिश समस्या से एबेलियन Cayley ग्राफ की रंगीन संख्या तक व्यवस्थित संबंध स्थापित कियापद्धति योगदान : छोटे आकार के Heuberger मैट्रिक्स (1 × r 1 \times r 1 × r , m × 1 m \times 1 m × 1 , 2 × 2 2 \times 2 2 × 2 , 3 × 2 3 \times 2 3 × 2 ) के बारे में पिछले परिणामों को 4 × 2 4 \times 2 4 × 2 स्थिति तक विस्तारित कियातकनीकी उपकरण : संशोधित Hermite सामान्य रूप, पूर्व-संशोधित Hermite सामान्य रूप आदि मैट्रिक्स मानक रूप और संबंधित विश्लेषण उपकरण विकसित किएइनपुट :
चार समतल इकाई सदिश v 1 , v 2 , v 3 , v 4 ∈ R 2 v_1, v_2, v_3, v_4 \in \mathbb{R}^2 v 1 , v 2 , v 3 , v 4 ∈ R 2 , ∥ v i ∥ = 1 \|v_i\| = 1 ∥ v i ∥ = 1 या अधिक सामान्यतः: एक 4 × 2 4 \times 2 4 × 2 पूर्णांक मैट्रिक्स M M M (Heuberger मैट्रिक्स) आउटपुट :
Cayley ग्राफ Cay ( G , S ) \text{Cay}(G, S) Cay ( G , S ) की रंगीन संख्या χ ( X ) \chi(X) χ ( X ) , जहां S = { ± v 1 , ± v 2 , ± v 3 , ± v 4 } S = \{\pm v_1, \pm v_2, \pm v_3, \pm v_4\} S = { ± v 1 , ± v 2 , ± v 3 , ± v 4 } , G G G S S S द्वारा उत्पन्न R 2 \mathbb{R}^2 R 2 का उपसमूह है बाधाएं :
ग्राफ में कोई लूप नहीं (no loops) ग्राफ द्विभाजित नहीं है (nonbipartite) मैट्रिक्स में कोई शून्य पंक्ति नहीं एबेलियन समूह G G G और सममित जनक समुच्चय S = { ± x 1 , … , ± x m } S = \{\pm x_1, \ldots, \pm x_m\} S = { ± x 1 , … , ± x m } के लिए:
संबंध : पूर्णांक सदिश ( a 1 , … , a m ) t (a_1, \ldots, a_m)^t ( a 1 , … , a m ) t जो a 1 x 1 + ⋯ + a m x m = 0 a_1x_1 + \cdots + a_mx_m = 0 a 1 x 1 + ⋯ + a m x m = 0 को संतुष्ट करते हैंसंबंध समूह : H ⊆ Z m H \subseteq \mathbb{Z}^m H ⊆ Z m सभी संबंधों द्वारा गठित उपसमूह हैHeuberger मैट्रिक्स : m × r m \times r m × r पूर्णांक मैट्रिक्स M M M , जिसके स्तंभ H H H को उत्पन्न करते हैंदिए गए m × r m \times r m × r पूर्णांक मैट्रिक्स M M M के लिए:
H H H को M M M के स्तंभों द्वारा उत्पन्न Z m \mathbb{Z}^m Z m का उपसमूह मानेंG = Z m / H G = \mathbb{Z}^m / H G = Z m / H , S = { H ± e 1 , … , H ± e m } S = \{H \pm e_1, \ldots, H \pm e_m\} S = { H ± e 1 , … , H ± e m } मानेंM SACG = Cay ( G , S ) M^{\text{SACG}} = \text{Cay}(G, S) M SACG = Cay ( G , S ) को निरूपित करेंमुख्य गुण : प्रत्येक जुड़ा हुआ परिमित डिग्री एबेलियन Cayley ग्राफ किसी SACG के समरूपी है
मान लीजिए M M M एक 4 × 2 4 \times 2 4 × 2 पूर्णांक मैट्रिक्स है, X = M SACG X = M^{\text{SACG}} X = M SACG । यदि X X X द्विभाजित नहीं है, लूप-मुक्त है, M M M में कोई शून्य पंक्ति नहीं है, तो:
χ ( X ) = 4 ⇔ ∃ चिन्ह क्रमपरिवर्तन मैट्रिक्स P और यूनिमॉड्यूलर मैट्रिक्स U जैसे कि P M U = ( 1 a 1 b 1 c 0 1 ) \chi(X) = 4 \Leftrightarrow \exists \text{ चिन्ह क्रमपरिवर्तन मैट्रिक्स } P \text{ और यूनिमॉड्यूलर मैट्रिक्स } U \text{ जैसे कि } PMU = \begin{pmatrix} 1 & a \\ 1 & b \\ 1 & c \\ 0 & 1 \end{pmatrix} χ ( X ) = 4 ⇔ ∃ चिन्ह क्रमपरिवर्तन मैट्रिक्स P और यूनिमॉड्यूलर मैट्रिक्स U जैसे कि PM U = 1 1 1 0 a b c 1
जहां a , b , c ∈ Z a, b, c \in \mathbb{Z} a , b , c ∈ Z और 3 ∣ a + b + c 3 \mid a + b + c 3 ∣ a + b + c । अन्यथा χ ( X ) = 3 \chi(X) = 3 χ ( X ) = 3 ।
चार समतल इकाई सदिशों के लिए, Heuberger मैट्रिक्स M M M का निर्माण करें, स्तंभों की संख्या r r r के अनुसार मामलों में विभाजित करें:
मामला r = 1 r = 1 r = 1 : Tomato Cage प्रमेय द्वारा, χ ( X ) ≤ 3 \chi(X) \leq 3 χ ( X ) ≤ 3
मामला r = 2 r = 2 r = 2 : यह मूल मामला है
यदि शून्य पंक्ति है: 3 सदिशों के मामले में कम किया जा सकता है, χ max ( 2 ) = 2 \chi_{\max}(2) = 2 χ m a x ( 2 ) = 2 का उपयोग करें यदि शून्य पंक्ति नहीं है और द्विभाजित नहीं है: Theorem 1.2 लागू करें यदि Theorem 1.2 का विशेष रूप सत्य है, तो सिद्ध करें कि v 1 + v 2 + v 3 = 0 v_1 + v_2 + v_3 = 0 v 1 + v 2 + v 3 = 0 होना चाहिए (समबाहु त्रिभुज विन्यास) इस समय v 4 v_4 v 4 जाली बिंदु में इकाई सदिश होना चाहिए, अर्थात् v 4 ∈ { ± v 1 , ± v 2 , ± v 3 } v_4 \in \{\pm v_1, \pm v_2, \pm v_3\} v 4 ∈ { ± v 1 , ± v 2 , ± v 3 } त्रिकोणीय जाली रंगीन सूत्र का उपयोग करें: α v 1 + β v 2 + γ v 3 ↦ α + β + γ ( m o d 3 ) \alpha v_1 + \beta v_2 + \gamma v_3 \mapsto \alpha + \beta + \gamma \pmod{3} α v 1 + β v 2 + γ v 3 ↦ α + β + γ ( mod 3 ) मामला r = 3 , 4 r = 3, 4 r = 3 , 4 : ग्राफ परिमित है या कम किया जा सकता है
उपकरण 1: संशोधित Hermite सामान्य रूप 3 × 2 3 \times 2 3 × 2 मैट्रिक्स के लिए, मानक रूप को परिभाषित करें जो संतुष्ट करता है:
y 11 > 0 y_{11} > 0 y 11 > 0 , y 12 = 0 y_{12} = 0 y 12 = 0 y 11 ≡ 0 ( m o d 3 ) y_{11} \equiv 0 \pmod{3} y 11 ≡ 0 ( mod 3 ) या y 22 ≡ y 32 ( m o d 3 ) y_{22} \equiv y_{32} \pmod{3} y 22 ≡ y 32 ( mod 3 ) अन्य तकनीकी शर्तें Theorem 4.6 इस मानक रूप के तहत रंगीन संख्या का पूर्ण वर्गीकरण देता है (6 असाधारण मामले जहां रंगीन संख्या 4 है)
उपकरण 2: पूर्व-संशोधित Hermite सामान्य रूप 4 × 2 4 \times 2 4 × 2 मैट्रिक्स के लिए, तीन प्रकार की "बाल्टियां" (buckets) परिभाषित करें:
मामला 1: पंक्तियों 1, 2 को मिलाकर संशोधित Hermite सामान्य रूप प्राप्त करें मामला 2: पंक्तियों 2, 3 को मिलाकर संशोधित Hermite सामान्य रूप प्राप्त करें मामला 3: पंक्तियों 3, 4 को मिलाकर संशोधित Hermite सामान्य रूप प्राप्त करें उपकरण 3: मुख्य लेम्मा
4×2 तीन-विभाज्य पंक्ति लेम्मा (Lemma 5.1): यदि कोई पंक्ति 3 से विभाज्य है, तो χ ( Y ) ≤ 3 \chi(Y) \leq 3 χ ( Y ) ≤ 3 त्रि-त्रिभुज लेम्मा (Lemma 4.9): विशिष्ट रूप मैट्रिक्स की रंगीन संख्या निर्धारणग्राफ होमोमॉर्फिज्म : पंक्ति मिलाने की क्रिया होमोमॉर्फिज्म M SACG → ⊚ M ′ SACG M^{\text{SACG}} \xrightarrow{\circledcirc} M'^{\text{SACG}} M SACG ⊚ M ′ SACG उत्पन्न करती हैप्रमाण प्रवाह :
4 × 2 4 \times 2 4 × 2 मैट्रिक्स को तीन मामलों में से एक में कम करेंप्रत्येक मामले के लिए, दो पंक्तियों को मिलाकर 3 × 2 3 \times 2 3 × 2 मैट्रिक्स M Z M_Z M Z प्राप्त करें यदि χ ( Y ) ≥ 4 \chi(Y) \geq 4 χ ( Y ) ≥ 4 , तो होमोमॉर्फिज्म गुण द्वारा χ ( Z ) ≥ 4 \chi(Z) \geq 4 χ ( Z ) ≥ 4 Theorem 4.6 लागू करें, M Z M_Z M Z 6 असाधारण मामलों में से एक होना चाहिए मामला विश्लेषण के माध्यम से, सिद्ध करें कि केवल Theorem 1.2 में विशेष रूप ही χ ( Y ) = 4 \chi(Y) = 4 χ ( Y ) = 4 बना सकता है मैट्रिक्स मानक रूप सिद्धांत : ग्राफ रंगीन समस्या को मैट्रिक्स मानक रूप समस्या में रचनात्मक रूप से परिवर्तित कियास्तरीय कमी रणनीति : 4 × 2 → 3 × 2 → 4 \times 2 \to 3 \times 2 \to 4 × 2 → 3 × 2 → ज्ञात परिणाम, ग्राफ होमोमॉर्फिज्म का उपयोग करके रंगीन संख्या ऊपरी सीमा को संरक्षित करेंमॉड्यूलर अंकगणित बाधाएं : मॉड 3 सर्वांगसमता संबंधों का चतुराई से उपयोग करके बड़ी संख्या में मामलों को बाहर निकालेंद्विघात रूप सिद्धांत : जटिल उप-मामलों में Diophantine समीकरणों को हल करने के लिए द्विघात रूप कमी सिद्धांत का उपयोग करेंज्यामितीय अंतर्ज्ञान : बीजगणितीय शर्तों को ज्यामितीय विन्यास (जैसे समबाहु त्रिभुज जाली बिंदु) में अनुवाद करेंनोट : यह पेपर शुद्ध सैद्धांतिक गणित पेपर है, इसमें पारंपरिक अर्थ में प्रयोग नहीं हैं। सभी परिणाम गणितीय प्रमाण हैं।
सैद्धांतिक प्रमाण: कठोर गणितीय तर्क के माध्यम से मामला सत्यापन: विशिष्ट मैट्रिक्स रूपों के लिए विस्तृत मामला विश्लेषण पिछले कार्य का संदर्भ: तीन मास्टर थीसिस 4,6,7 पर कुछ उप-मामलों के प्रमाण के लिए निर्भर करता है मामला 1 (पंक्तियों 1, 2 को मिलाएं): 4 द्वारा पूरी तरह से सिद्ध मामला 2 (पंक्तियों 2, 3 को मिलाएं): 7 द्वारा आंशिक रूप से सिद्ध, यह पेपर शेष मामलों को पूरक करता है मामला 3 (पंक्तियों 3, 4 को मिलाएं): 6 द्वारा आंशिक रूप से सिद्ध, यह पेपर शेष मामलों को पूरक करता है लेखक मामला 3 + असाधारण मामला (v) के पूर्ण प्रमाण प्रक्रिया को प्रदर्शित करता है:
मैट्रिक्स रूप:
M Y = ( 1 0 0 − 1 y 31 y 32 y 41 2 − y 32 ) → ⊚ M Z = ( 1 0 0 − 1 ± 3 k 2 ) M_Y = \begin{pmatrix} 1 & 0 \\ 0 & -1 \\ y_{31} & y_{32} \\ y_{41} & 2-y_{32} \end{pmatrix} \xrightarrow{\circledcirc} M_Z = \begin{pmatrix} 1 & 0 \\ 0 & -1 \\ \pm 3k & 2 \end{pmatrix} M Y = 1 0 y 31 y 41 0 − 1 y 32 2 − y 32 ⊚ M Z = 1 0 ± 3 k 0 − 1 2
प्रमाण चरणों में शामिल हैं:
मॉड 3 विश्लेषण चर सर्वांगसमता वर्ग निर्धारित करता है मैट्रिक्स M U M_U M U के लिए नया होमोमॉर्फिज्म बनाएं M U M_U M U को संशोधित Hermite सामान्य रूप में कम करेंरंगीन संख्या 4 के उप-मामलों की पहचान करें क्रॉस-सत्यापन के लिए दूसरा होमोमॉर्फिज्म M V M_V M V बनाएं उत्पन्न Diophantine समीकरण प्रणाली को हल करें प्रमेय सत्यापन : Corollary 1.1 पूरी तरह से स्थापित करता है:
χ max ( 1 ) = 2 \chi_{\max}(1) = 2 χ m a x ( 1 ) = 2 : द्विदिशीय अनंत पथ ग्राफχ max ( 2 ) = 2 \chi_{\max}(2) = 2 χ m a x ( 2 ) = 2 : अनंत ग्रिड ग्राफ या पथ ग्राफχ max ( 3 ) = 3 \chi_{\max}(3) = 3 χ m a x ( 3 ) = 3 : त्रिकोणीय जाली (निचली सीमा) + Theorem 1.2 व्युत्पन्न (ऊपरी सीमा)χ max ( 4 ) = 3 \chi_{\max}(4) = 3 χ m a x ( 4 ) = 3 : उपरोक्त के समानमुख्य अवलोकन :
n ≥ 5 n \geq 5 n ≥ 5 के लिए χ max ( n ) \chi_{\max}(n) χ m a x ( n ) अज्ञात हैχ max ( 7 ) ≥ 4 \chi_{\max}(7) \geq 4 χ m a x ( 7 ) ≥ 4 : Moser's spindle 4-रंगीय ग्राफ का उदाहरण प्रदान करता हैde Bruijn-Erdős प्रमेय द्वारा (चयन स्वयंसिद्ध मानते हुए), पर्याप्त बड़े n n n के लिए, χ ( R 2 ) = χ max ( n ) \chi(\mathbb{R}^2) = \chi_{\max}(n) χ ( R 2 ) = χ m a x ( n ) महत्वपूर्ण आयाम घटना : 3 सदिशों से 4 सदिशों तक, रंगीन संख्या में वृद्धि नहीं हुई, कुछ संतृप्ति प्रभाव दिखाता हैबीजगणितीय-ज्यामितीय पत्राचार : रंगीन संख्या 4 के लिए आवश्यक और पर्याप्त शर्त विशिष्ट बीजगणितीय रूप (3 ∣ a + b + c 3 \mid a+b+c 3 ∣ a + b + c ) के अनुरूप है, ज्यामितीय रूप से त्रिकोणीय जाली विन्यास के अनुरूप हैरैंक की भूमिका : संबंध समूह रैंक ≤ 2 \leq 2 ≤ 2 की बाधा महत्वपूर्ण है, उच्च रैंक मामले जटिलता में काफी वृद्धि करते हैंसमरूपता संरक्षण : चिन्ह क्रमपरिवर्तन और यूनिमॉड्यूलर परिवर्तन ग्राफ की रंगीन संख्या (समरूपता वर्ग) को संरक्षित करते हैंउदाहरण: समबाहु त्रिभुज विन्यास
जब v 1 = ( 1 , 0 ) v_1 = (1, 0) v 1 = ( 1 , 0 ) , v 2 = ( − 1 / 2 , 3 / 2 ) v_2 = (-1/2, \sqrt{3}/2) v 2 = ( − 1/2 , 3 /2 ) , v 3 = ( − 1 / 2 , − 3 / 2 ) v_3 = (-1/2, -\sqrt{3}/2) v 3 = ( − 1/2 , − 3 /2 ) हो:
v 1 + v 2 + v 3 = 0 v_1 + v_2 + v_3 = 0 v 1 + v 2 + v 3 = 0 को संतुष्ट करता हैत्रिकोणीय जाली G G G उत्पन्न करता है रंगीन योजना: α v 1 + β v 2 + γ v 3 ↦ α + β + γ ( m o d 3 ) \alpha v_1 + \beta v_2 + \gamma v_3 \mapsto \alpha + \beta + \gamma \pmod{3} α v 1 + β v 2 + γ v 3 ↦ α + β + γ ( mod 3 ) यह χ max ( 3 ) = 3 \chi_{\max}(3) = 3 χ m a x ( 3 ) = 3 की तंग निचली सीमा देता है उदाहरण: Moser's spindle
7 इकाई सदिशों द्वारा परिभाषित ग्राफ ज्ञात है कि 4-रंगीय है χ max ( 7 ) ≥ 4 \chi_{\max}(7) \geq 4 χ m a x ( 7 ) ≥ 4 सिद्ध करता हैHadwiger-Nelson समस्या (1950 के दशक): χ ( R 2 ) ∈ { 5 , 6 , 7 } \chi(\mathbb{R}^2) \in \{5, 6, 7\} χ ( R 2 ) ∈ { 5 , 6 , 7 } de Bruijn-Erdős प्रमेय 3 : परिमित और अनंत ग्राफ की रंगीन संख्या को जोड़ता हैSoifer की पुस्तक 9 : समृद्ध ऐतिहासिक पृष्ठभूमि प्रदान करता हैCervantes & Krebs 1,2 : मैट्रिक्स विधि स्थापित करते हैं, 1 × r 1 \times r 1 × r , m × 1 m \times 1 m × 1 , 2 × 2 2 \times 2 2 × 2 , 3 × 2 3 \times 2 3 × 2 मामलों को संभालते हैंTomato Cage प्रमेय 1 : एकल स्तंभ मैट्रिक्स की रंगीन संख्या सूत्रHarris 4 : मामला 1 का पूर्ण प्रमाणOrtiz 7 : मामला 2 का आंशिक प्रमाणMeeks 6 : मामला 3 का आंशिक प्रमाणJarvis 5 : द्विघात रूप कमी सिद्धांत, Diophantine समीकरणों को हल करने के लिए उपयोग किया जाता हैव्यवस्थितता : पहली बार n ≤ 4 n \leq 4 n ≤ 4 के लिए पूर्ण उत्तर देता हैसामान्यता : केवल इकाई सदिश समस्या को हल नहीं करता, बल्कि एबेलियन Cayley ग्राफ का सामान्य सिद्धांत देता हैपद्धति : विस्तारणीय मैट्रिक्स विधि ढांचा स्थापित करता हैमूल प्रमेय : किन्हीं भी चार समतल इकाई सदिशों द्वारा उत्पन्न Cayley ग्राफ 3-रंगीय हैसटीक विशेषता : 4 × 2 4 \times 2 4 × 2 Heuberger मैट्रिक्स के अनुरूप SACG की रंगीन संख्या को पूरी तरह से निर्धारित किया, रंगीन संख्या 4 के लिए आवश्यक और पर्याप्त शर्त दीगणनात्मक परिणाम : χ max ( n ) = 2 \chi_{\max}(n) = 2 χ m a x ( n ) = 2 जब n ∈ { 1 , 2 } n \in \{1, 2\} n ∈ { 1 , 2 } ; χ max ( n ) = 3 \chi_{\max}(n) = 3 χ m a x ( n ) = 3 जब n ∈ { 3 , 4 } n \in \{3, 4\} n ∈ { 3 , 4 } विधि योगदान : मैट्रिक्स मानक रूप विधि उच्च आयामी मामलों के अनुसंधान के लिए उपकरण प्रदान करती हैअनसुलझे मामले : n ≥ 5 n \geq 5 n ≥ 5 के लिए χ max ( n ) \chi_{\max}(n) χ m a x ( n ) अभी भी अज्ञात हैतकनीकी जटिलता : प्रमाण में बड़ी संख्या में मामला विश्लेषण शामिल है, कुछ तीन मास्टर थीसिस के विस्तृत कार्य पर निर्भर करते हैंगणनात्मक कठिनाई : इकाई सदिशों से Heuberger मैट्रिक्स तक का निर्माण अद्वितीय नहीं हो सकता है, उपयुक्त प्रतिनिधित्व चुनने की आवश्यकता हैचयन स्वयंसिद्ध निर्भरता : समतल रंगीन संख्या के साथ संबंध चयन स्वयंसिद्ध (AC) मानने की आवश्यकता हैसीधे प्रमाण की कमी : लेखक स्वीकार करते हैं कि Corollary 1.1 को सिद्ध करने के लिए अधिक सीधा प्रमाण संभव हो सकता हैअधिक सदिशों तक विस्तार :χ max ( 5 ) \chi_{\max}(5) χ m a x ( 5 ) , χ max ( 6 ) \chi_{\max}(6) χ m a x ( 6 ) , χ max ( 7 ) \chi_{\max}(7) χ m a x ( 7 ) आदि निर्धारित करेंबड़े m × r m \times r m × r मैट्रिक्स को संभालने के लिए तकनीकें विकसित करें प्रमाण को सरल बनाएं :अधिक सीधा ज्यामितीय प्रमाण खोजें मामला विश्लेषण की संख्या कम करें एल्गोरिथम कार्यान्वयन :दिए गए मैट्रिक्स की रंगीन संख्या निर्धारित करने के लिए स्वचालित एल्गोरिथम विकसित करें कंप्यूटर-सहायक सत्यापन उच्च आयामों तक सामान्यीकरण :R d \mathbb{R}^d R d में इकाई दूरी ग्राफ समस्यागैर-एबेलियन Cayley ग्राफ अनुप्रयोग अन्वेषण :वायरलेस नेटवर्क में आवृत्ति आवंटन क्रिस्टलोग्राफी में समरूपता समस्याएं पूर्णता : पहली बार n ≤ 4 n \leq 4 n ≤ 4 मामले का पूर्ण समाधान देता हैसामान्यता : ठोस ज्यामितीय समस्या से अमूर्त बीजगणितीय संरचना तक पुल स्थापित करता हैसटीकता : केवल ऊपरी और निचली सीमा नहीं, बल्कि रंगीन संख्या 4 के लिए सटीक शर्त देता हैमैट्रिक्स विधि : ग्राफ रंगीन समस्या को मैट्रिक्स मानक रूप समस्या में परिवर्तित करता है, व्यवस्थित विश्लेषण उपकरण प्रदान करता हैस्तरीय कमी : ग्राफ होमोमॉर्फिज्म और पंक्ति मिलाने के माध्यम से, जटिल समस्या को ज्ञात परिणामों में कम करता हैबहु-उपकरण संश्लेषण : ग्राफ सिद्धांत, रैखिक बीजगणित, संख्या सिद्धांत (द्विघात रूप) तकनीकों को जोड़ता हैमॉड्यूलर प्रमाण : प्रमाण को कई स्वतंत्र लेम्मा और प्रमेयों में विभाजित करता हैमामला विस्तार : Section 6 पूर्ण मामला विश्लेषण नमूना प्रदान करता हैसाहित्य एकीकरण : तीन मास्टर थीसिस के परिणामों को प्रभावी ढंग से एकीकृत करता हैबीजगणितीय शर्तों को ज्यामितीय विन्यास (समबाहु त्रिभुज) में सफलतापूर्वक अनुवाद करता है ठोस रंगीन योजना निर्माण प्रदान करता है मामला विस्फोट : बड़ी संख्या में उप-मामलों को संभालने की आवश्यकता है, प्रमाण लंबा हैबाहरी कार्य पर निर्भरता : पूर्ण प्रमाण कई साहित्य में बिखरा हुआ हैतकनीकी बाधा : पाठकों को कई गणितीय शाखाओं से परिचित होना आवश्यक हैदिए गए सदिश समुच्चय की रंगीन संख्या की गणना के लिए प्रभावी एल्गोरिथम प्रदान नहीं करता है मैट्रिक्स कमी प्रक्रिया में बड़ी गणना शामिल हो सकती है बड़ी संख्या में प्रतीक और परिभाषाएं, शुरुआती लोगों के लिए अनुसरण करना कठिन है मुख्य प्रमाण (Section 6) केवल एक मामला दिखाता है, अन्य मामले पाठकों के लिए छोड़े गए हैं मुख्य रूप से सैद्धांतिक परिणाम है, व्यावहारिक अनुप्रयोग परिदृश्य स्पष्ट नहीं है n ≥ 5 n \geq 5 n ≥ 5 के मामले अभी भी अनसुलझे हैं, व्यावहारिकता को सीमित करता हैलेखक स्वीकार करते हैं कि अधिक सीधा प्रमाण पथ संभव हो सकता है समतल ज्यामिति से अमूर्त बीजगणित तक का परिवर्तन समस्या के सार को छिपा सकता है शास्त्रीय समस्या में प्रगति : Hadwiger-Nelson समस्या के रूपांतर पर वास्तविक प्रगतिपद्धति योगदान : मैट्रिक्स विधि अन्य Cayley ग्राफ समस्याओं पर लागू हो सकती हैसैद्धांतिक पूर्णता : छोटे जनक तत्वों के मामले में सैद्धांतिक अंतराल भरता हैसैद्धांतिक उपकरण : अधिक जटिल मामलों के अनुसंधान के लिए आधार प्रदान करता हैसंभावित अनुप्रयोग : नेटवर्क डिजाइन, कोडिंग सिद्धांत आदि क्षेत्रों में संभावित अनुप्रयोगशिक्षा मूल्य : बहु-विषयक अनुसंधान विधि का प्रदर्शनसैद्धांतिक प्रमाण : गणितीय प्रमाण सिद्धांत रूप से पूरी तरह से सत्यापन योग्य हैविस्तृत दस्तावेज़ : संदर्भित मास्टर थीसिस विस्तृत प्रमाण प्रदान करती हैंखुली समस्याएं : अनसुलझे दिशाओं को स्पष्ट रूप से इंगित करता हैn = 5 , 6 , 7 , … n = 5, 6, 7, \ldots n = 5 , 6 , 7 , … के अनुसंधान के लिए आधार प्रदान करता हैगैर-एबेलियन मामलों के अनुसंधान को प्रेरित कर सकता है मैट्रिक्स विधि अन्य ग्राफ वर्गों तक सामान्यीकृत हो सकती है संयोजन ज्यामिति में रंगीन समस्याएं Cayley ग्राफ सिद्धांत बीजगणितीय ग्राफ सिद्धांत ग्राफ रंगीन एल्गोरिथम डिजाइन प्रतीकात्मक गणना प्रणालियों में कार्यान्वयन वायरलेस संचार : आवृत्ति आवंटन समस्या (इकाई दूरी बाधा)क्रिस्टलोग्राफी : समरूपता और रंगीन समस्याएंकोडिंग सिद्धांत : दूरी ग्राफ कोडिंगस्नातक पाठ्यक्रमों में उन्नत विषय अंतःविषय विधि के मामले अध्ययन का प्रदर्शन 1 Cervantes & Krebs (2023) : एबेलियन समूहों के Cayley ग्राफ की रंगीन संख्याएं: एक मैट्रिक्स विधि
मैट्रिक्स विधि के आधार ढांचे को स्थापित करता है 2 Cervantes & Krebs (2023) : एबेलियन समूहों के Cayley ग्राफ की रंगीन संख्याएं: छोटे आयाम और रैंक के मामले
3 × 2 3 \times 2 3 × 2 और छोटे मैट्रिक्स के मामलों को संभालता है3 de Bruijn & Erdős (1951) : अनंत ग्राफ के लिए एक रंग समस्या
परिमित और अनंत ग्राफ रंगीन संख्या को जोड़ने वाला शास्त्रीय प्रमेय 4 Harris (2024) : मास्टर थीसिस
5 Jarvis (2014) : बीजगणितीय संख्या सिद्धांत
द्विघात रूप सिद्धांत उपकरण प्रदान करता है 6 Meeks (2025) : मास्टर थीसिस
7 Ortiz (2025) : मास्टर थीसिस
9 Soifer (2024) : नई गणितीय रंगीन पुस्तक
समतल रंगीन संख्या समस्या का व्यापक संदर्भ यह पेपर समतल इकाई दूरी ग्राफ के रंगीन सिद्धांत पर महत्वपूर्ण प्रगति प्राप्त करता है, नवीन मैट्रिक्स विधि के माध्यम से चार सदिशों के मामले को पूरी तरह से हल करता है। यद्यपि प्रमाण तकनीकें जटिल हैं, स्थापित सैद्धांतिक ढांचा भविष्य के अनुसंधान के लिए ठोस आधार प्रदान करता है। मुख्य उपलब्धि ज्यामितीय समस्या को बीजगणितीय समस्या में परिवर्तित करना है, और रंगीन संख्या के लिए सटीक निर्धारण मानदंड देना है। यह तकनीकी रूप से मजबूत, सैद्धांतिक रूप से गहरा उत्कृष्ट गणित पेपर है, जो संयोजन ज्यामिति और बीजगणितीय ग्राफ सिद्धांत दोनों में महत्वपूर्ण योगदान देता है।