सममित ग्राफ

ग्राफ सिद्धांत के गणितीय क्षेत्र में, ग्राफ (असतत गणित) $G$ सममित (या आर्क-संक्रमणीय) है, यदि $G$ के आसन्न शीर्ष (ग्राफ सिद्धांत) $u1—v1$ और $u2—v2$ के किसी भी दो जोड़े का ऑटोमोर्फिज्म है: तो


 * $$f : V(G) \rightarrow V(G)$$

ऐसा है कि


 * $$f(u_1) = u_2$$ और $$f(v_1) = v_2.$$

दूसरे शब्दों में, ग्राफ़ सममित होता है यदि इसका ऑटोमोर्फिज़्म समूह आसन्न शीर्षों के क्रमित युग्मों पर सकर्मक रूप से कार्य करता है (अर्थात, किनारों पर दिशा के रूप में माना जाता है)। इस प्रकार के ग्राफ को कभी-कभी 1-arc सकर्मक या ध्वज-सकर्मक भी कहा जाता है।

परिभाषा के अनुसार ($u1$ और $u2$), पृथक शीर्षों के बिना सममित ग्राफ़ भी शीर्ष-संक्रमणीय होना चाहिए। चूंकि ऊपर दी गई परिभाषा एक किनारे से दूसरे किनारे को मैप करती है, सममित ग्राफ भी बढ़त-सकर्मक ग्राफ होना चाहिए। चूँकि, किनारे-संक्रमणीय ग्राफ को सममित होने की आवश्यकता नहीं है, क्योंकि $a—b$, $c—d$ को मैप कर सकता है, किंतु $d—c$ को नहीं मैप कर सकता है। स्टार (ग्राफ सिद्धांत) शीर्ष-संक्रमणीय या सममित हुए बिना बढ़त-संक्रमणीय होने का सरल उदाहरण है। और उदाहरण के रूप में, अर्ध-सममित रेखांकन बढ़त-सकर्मक और नियमित ग्राफ हैं, किंतु शीर्ष-संक्रमणीय नहीं हैं।

प्रत्येक कनेक्टिविटी (ग्राफ सिद्धांत) सममित ग्राफ इस प्रकार शीर्ष-सकर्मक और बढ़त-संक्रमणीय दोनों होना चाहिए, और विषम (गणित) डिग्री के ग्राफ के लिए विलोम सत्य है। चूँकि, समान (गणित) की डिग्री के लिए, जुड़े हुए ग्राफ़ उपस्थित हैं जो शीर्ष-सकर्मक और बढ़त-संक्रमणीय हैं, किंतु सममित नहीं हैं। ऐसे रेखांकन को अर्ध-संक्रमणीय ग्राफ कहा जाता है। सबसे छोटा जुड़ा हुआ अर्ध-संक्रमणीय होल्ट का ग्राफ है, जिसमें डिग्री 4 और 27 शीर्ष हैं। भ्रामक रूप से, कुछ लेखक शब्द सममित ग्राफ का उपयोग ऐसे ग्राफ के लिए करते हैं, जो आर्क-सममित ग्राफ के अतिरिक्त शीर्ष-सकर्मक और बढ़त-संक्रमणीय है। इस प्रकार की परिभाषा में अर्ध-संक्रमणीय ग्राफ सम्मिलित होंगे, जिन्हें उपरोक्त परिभाषा के अंतर्गत बाहर रखा गया है।

दूरी-सकर्मक ग्राफ वह है जहां आसन्न शीर्षों के जोड़े पर विचार करने के अतिरिक्त (अर्थात 1 की दूरी पर कोने), परिभाषा में दो जोड़े सम्मिलित हैं, प्रत्येक दूरी के अतिरिक्त हैं। इस प्रकार के रेखांकन परिभाषा के अनुसार स्वचालित रूप से सममित होते हैं।

$t$-arc को $t + 1$ कोने के अनुक्रम के रूप में परिभाषित किया गया है, जैसे कि अनुक्रम में कोई भी निरंतर दो कोने आसन्न हैं, और किसी भी दोहराए जाने वाले कोने 2 चरणों से अधिक की दूरी है। $t$-transitive ग्राफ ऐसा ग्राफ है जैसे कि ऑटोमोर्फिज्म समूह $t$-arcs पर सकर्मक रूप से कार्य करता है, किंतु ($t + 1$)-arcs पर नहीं कार्य करता है। चूंकि 1-arcs केवल किनारे हैं, डिग्री 3 या उससे अधिक के प्रत्येक सममित ग्राफ को कुछ $t$ के लिए $t$-transitive होना चाहिए, और $t$ के मान का उपयोग सममित ग्राफ को आगे वर्गीकृत करने के लिए किया जा सकता है। उदाहरण के लिए घन 2-transitive है।

ध्यान दें कि परंपरागत रूप से "सममित ग्राफ" शब्द असममित ग्राफ शब्द का पूरक नहीं है, क्योंकि उत्तरार्द्ध ऐसे ग्राफ को संदर्भित करता है जिसमें कोई गैर-समरूपता नहीं है।

उदाहरण
किसी भी संख्या के शीर्षों के लिए सममित ग्राफ़ के दो मूल सदस्य चक्र ग्राफ (2 डिग्री के) और पूर्ण ग्राफ़ हैं। आगे के सममित रेखांकन नियमित और अर्ध-नियमित पॉलीहेड्रा के कोने और किनारों से बनते हैं: घनक्षेत्र, ऑक्टाहेड्रोन, आईकोसैहेड्रोन, द्वादशफ़लक, क्यूबोक्टाहेड्रोन]] और इकोसिडोडेकेड्रॉन हैं। क्यूब का n आयामों तक विस्तार हाइपरक्यूब ग्राफ देता है (2n शीर्ष और डिग्री n)। इसी प्रकार ऑक्टाहेड्रॉन से n आयामों का विस्तार क्रॉस-पॉलीटोप्स के ग्राफ देता है, ग्राफ के इस परिवार (2n कोने और डिग्री 2n-2 के साथ) को कभी-कभी कॉकटेल पार्टी ग्राफ के रूप में संदर्भित किया जाता है- वे किनारों के सेट के साथ पूर्ण ग्राफ होते हैं परिपूर्ण मिलान को हटा दिया गया। वर्टिकल 2n की सम संख्या वाले सममित ग्राफ़ के अतिरिक्त सदस्य, समान रूप से विभाजित पूर्ण द्विदलीय ग्राफ Kn,n और 2n शीर्षों पर क्राउन ग्राफ़ हैं। कई अन्य सममित रेखांकन को परिपत्र रेखांकन के रूप में वर्गीकृत किया जा सकता है।

राडो ग्राफ सममित ग्राफ का उदाहरण है जिसमें अनंत रूप से कई कोने और अनंत डिग्री होती है।

घन सममित रेखांकन
समरूपता की स्थिति को प्रतिबंध के साथ जोड़कर कि ग्राफ़ क्यूबिक हो (अर्थात सभी कोने में डिग्री 3 है) अधिक स्थिर स्थिति उत्पन्न करता है, और ऐसे ग्राफ़ सूचीबद्ध होने के लिए पर्याप्त दुर्लभ हैं। उन सभी के शीर्षों की संख्या सम है। फोस्टर जनगणना और इसके विस्तार ऐसी सूचियां प्रदान करते हैं। फोस्टर जनगणना 1930 के दशक में रोनाल्ड एम. फोस्टर द्वारा प्रारंभ की गई थी, जबकि वह बेल लैब्स द्वारा नियोजित थे, और 1988 में (जब फोस्टर 92 वर्ष के थे) तत्कालीन वर्तमान फोस्टर जनगणना (512 तक सभी घन सममित रेखांकन को सूचीबद्ध करना) को पुस्तक रूप में प्रकाशित किया गया था। सूची में पूर्व तेरह आइटम क्यूबिक सिमिट्रिक ग्राफ़ हैं जिनमें 30 कोने हैं (इनमें से दस दूरी-संक्रमणीय हैं; अपवाद संकेत के अनुसार हैं):

अन्य प्रसिद्ध घन सममित रेखांकन डाइक ग्राफ, फोस्टर ग्राफ और बिग्स-स्मिथ ग्राफ हैं। फोस्टर ग्राफ और बिग्स-स्मिथ ग्राफ के साथ ऊपर सूचीबद्ध दस दूरी-सकर्मक ग्राफ, केवल क्यूबिक दूरी-सकर्मक ग्राफ हैं।

गुण
सममित ग्राफ की वर्टेक्स-कनेक्टिविटी सदैव नियमित ग्राफ d के समान होती है। इसके विपरीत, वर्टेक्स-ट्रांसिटिव ग्राफ़ के लिए सामान्य रूप से, वर्टेक्स-कनेक्टिविटी 2(d + 1)/3 से नीचे होती है।

डिग्री 3 या उससे अधिक के t-सकर्मक ग्राफ में कम से कम 2(t – 1) का घेरा होता है। चूँकि, t ≥ 8 के लिए डिग्री 3 या उससे अधिक का कोई परिमित t-संक्रमणीय ग्राफ़ नहीं है। डिग्री 3 (घन सममित ग्राफ़) की स्थति में, t ≥ 6 के लिए कोई नहीं है।

यह भी देखें

 * बीजगणितीय ग्राफ सिद्धांत
 * नामित रेखांकन की गैलरी
 * नियमित मानचित्र (ग्राफ सिद्धांत)

बाहरी संबंध

 * Cubic symmetric graphs (The Foster Census). Data files for all cubic symmetric graphs up to 768 vertices, and some cubic graphs with up to 1000 vertices. Gordon Royle, updated February 2001, retrieved 2009-04-18.
 * Trivalent (cubic) symmetric graphs on up to 10000 vertices. Marston Conder, 2011.