रेखांकन का टेन्सर उत्पाद

ग्राफ सिद्धांत में, टेंसर उत्पाद {G × H} ग्राफ का (असतत गणित) $G$ और $H$ ऐसा ग्राफ है।
 * शीर्ष (ग्राफ सिद्धांत) का सेट $G × H$ कार्टेशियन उत्पाद है $V(G) × V(H)$; और
 * शिखर $(g,h)$ और $(g',h' )$ में सटे हुए हैं $G × H$ यदि और केवल यदि
 * $g$ लगी हुई है $g'$ में $G$, और
 * $h$ लगी हुई है $h'$ में $H$.

टेंसर उत्पाद को प्रत्यक्ष उत्पाद, क्रोनकर उत्पाद, श्रेणीबद्ध उत्पाद, कार्डिनल उत्पाद, संबंधपरक उत्पाद, कमजोर प्रत्यक्ष उत्पाद या संयोजन भी कहा जाता है। द्विआधारी संबंधों पर एक ऑपरेशन के रूप में, टेन्सर उत्पाद को अल्फ्रेड नॉर्थ व्हाइटहेड और बर्ट्रेंड रसेल द्वारा उनके प्रिंसिपिया मैथेमेटिका (1912) में प्रस्तुत किया गया था। यह ग्राफ़ के आसन्न मैट्रिक्स के क्रोनकर गुणनफल के बराबर भी है।

अंकन $G × H$ भी (और पूर्व में सामान्य रूप से था) एक अन्य निर्माण का प्रतिनिधित्व करने के लिए उपयोग किया जाता है जिसे ग्राफ़ के कार्टेशियन उत्पाद के रूप में जाना जाता है, लेकिन आजकल अधिक सामान्यतः टेंसर उत्पाद को संदर्भित करता है। क्रॉस प्रतीक दो किनारों के टेन्सर उत्पाद से उत्पन्न दो किनारों को नेत्रहीन रूप से दिखाता है। इस उत्पाद को ग्राफ़ के मज़बूत गुणनफल के साथ भ्रमित नहीं होना चाहिए।

उदाहरण

 * टेंसर उत्पाद $G × K_{2}$ एक द्विपक्षीय ग्राफ है, जिसे द्विपक्षीय डबल कवर कहा जाता है $G$ पीटरसन ग्राफ का द्विदलीय डबल कवर डेसार्गेस ग्राफ है: $K_{2} × G(5,2) = G(10,3)$. एक पूर्ण ग्राफ का द्विदलीय दोहरा आवरण $K_{n}$ एक क्राउन ग्राफ (एक पूर्ण द्विदलीय ग्राफ) है $K_{n,n}$ माइनस सही मिलान है।)
 * स्वयं के साथ एक पूर्ण ग्राफ़ का टेंसर उत्पाद रूक के ग्राफ़ का पूरक (ग्राफ़ सिद्धांत) है। इसके शीर्षों को a में रखा जा सकता है $n$-by-$n$ ग्रिड, ताकि प्रत्येक शीर्ष उन शीर्षों के निकट हो जो ग्रिड की एक ही पंक्ति या स्तंभ में नहीं हैं।

गुण
टेन्सर उत्पाद उत्पाद (श्रेणी सिद्धांत)| श्रेणी-सैद्धांतिक उत्पाद है जो रेखांकन और ग्राफ समरूपता की श्रेणी में है। यानी एक समरूपता $G × H$ समरूपता की एक जोड़ी से मेल खाती है $G$ और करने के लिए $H$ विशेष रूप से, एक ग्राफ $I$ एक समरूपता को स्वीकार करता है यदि और केवल अगर केवल यदि यह G और H में एक समाकारिता को स्वीकार करता है।

इसे देखने के लिए, एक दिशा में, समरूपता की एक जोड़ी का निरीक्षण करें $fG : I → G$ और $fH : I → H$ एक समरूपता उत्पन करता है।


 * $$\begin{cases} f : I \to G \times H \\ f(v) = \left (f_G(v), f_H(v) \right ) \end{cases}$$

दूसरी दिशा में, एक समरूपता $f : I → G × H$ को अनुमानों के समरूपता के साथ बनाया जा सकता है।


 * $$\begin{cases} \pi_G : G \times H \to G \\ \pi_G((u,u')) = u \end{cases} \qquad \qquad \begin{cases} \pi_H : G \times H \to H \\ \pi_H((u,u')) = u' \end{cases}$$

समरूपता प्राप्त करने के लिए $G$ और करने के लिए $H$ का आसन्न मैट्रिक्स $G × H$ क्रोनकर उत्पाद है।

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

या तो $G$ या $H$ द्विपक्षीय ग्राफ है, तो उनका टेंसर उत्पाद भी है। $G × H$ जुड़ा हुआ है अगर और केवल अगर दोनों कारक जुड़े हुए हैं और कम से कम एक कारक द्विदलीय नहीं है। विशेष रूप से द्विदलीय दोहरा आवरण $G$ जुड़ा हुआ है अगर और केवल अगर $G$ जुड़ा हुआ है और गैर-द्विपक्षीय है।

हेडेटनीमी अनुमान, जिसने एक टेन्सर उत्पाद की रंगीन संख्या के लिए एक सूत्र दिया था, द्वारा अप्रमाणित किया गया था।

ग्राफ़ का टेन्सर उत्पाद ग्राफ़ और ग्राफ़ समरूपता की श्रेणी को एक सममित मोनोइडल श्रेणी बंद मोनोइडल श्रेणी की संरचना से लैस करता है। माना $G0$ ग्राफ़ के शीर्षों के अंतर्निहित सेट को निरूपित करता है $G$. आंतरिक होम $[G, H]$ के कार्य हैं $f : G0 → H0$ शीर्ष और किनारे के रूप में $f : G0 → H0$ को $f' : G0 → H0$ जब भी कोई किनारा ${x, y}$ में $H$ तात्पर्य ${f (x), f&thinsp;' (y)}$से है।

यह भी देखें

 * ग्राफ उत्पाद
 * रेखांकन का मजबूत उत्पाद