लाप्लासियन आव्यूह: Difference between revisions

From Vigyanwiki
No edit summary
 
(8 intermediate revisions by 5 users not shown)
Line 1: Line 1:
{{Short description|Matrix representation of a graph}}
{{Short description|Matrix representation of a graph}}
[[ग्राफ सिद्धांत]] के गणित क्षेत्र में, [[लाप्लासियन]] मैट्रिक्स, जिसे डिस्क्रीट_लाप्लेस_ऑपरेटर#ग्राफ_लाप्लासियन, [[प्रवेश मैट्रिक्स]], किरचॉफ मैट्रिक्स या डिस्क्रीट लाप्लास ऑपरेटर भी कहा जाता है, ग्राफ (असतत गणित) का [[मैट्रिक्स (गणित)]] प्रतिनिधित्व है। [[पियरे-साइमन लाप्लास]] के नाम पर, ग्राफ लाप्लासियन मैट्रिक्स को [[परिमित अंतर विधि]] द्वारा प्राप्त नकारात्मक निरंतर लाप्लासियन का अनुमान लगाने वाले ग्राफ पर नकारात्मक [[असतत लाप्लास ऑपरेटर]] के मैट्रिक्स रूप के रूप में देखा जा सकता है।
[[ग्राफ सिद्धांत|आरेख सिद्धांत]] के गणित क्षेत्र में, '''[[लाप्लासियन]] आव्यूह''', जिसे विविक्‍त लाप्लेस संक्रियक '''आरेख लाप्लासियन, [[प्रवेश मैट्रिक्स|प्रवेश आव्यूह]]''', '''किरचॉफ आव्यूह''' या विविक्‍त लाप्लास संक्रियक भी कहा जाता है, '''आरेख (असतत गणित) का [[मैट्रिक्स (गणित)|आव्यूह (गणित)]]''' प्रतिनिधित्व है। [[पियरे-साइमन लाप्लास]] के नाम पर, आरेख लाप्लासियन आव्यूह को [[परिमित अंतर विधि]] द्वारा प्राप्त ऋणात्मक निरंतर लाप्लासियन का अनुमान लगाने वाले आरेख पर ऋणात्मक [[असतत लाप्लास ऑपरेटर|असतत लाप्लास संक्रियक]] के आव्यूह रूप के रूप में देखा जा सकता है।


लाप्लासियन मैट्रिक्स ग्राफ़ के कई उपयोगी गुणों से संबंधित है। किरचॉफ के प्रमेय के साथ, इसका उपयोग किसी दिए गए ग्राफ़ के लिए फैले हुए पेड़ों (गणित) की संख्या की गणना करने के लिए किया जा सकता है। ग्राफ़ के कट (ग्राफ़ सिद्धांत)#सबसे कम कट का अनुमान [[फिडलर वेक्टर]] के माध्यम से लगाया जा सकता है - ग्राफ़ लाप्लासियन के दूसरे सबसे छोटे आइगेनवैल्यू के अनुरूप ईजेनवेक्टर - जैसा कि चीगर स्थिरांक (ग्राफ़ सिद्धांत)#चीगर असमानताओं|चीगर की असमानता द्वारा स्थापित किया गया है। लाप्लासियन मैट्रिक्स के मैट्रिक्स का आइगेंडेकंपोजिशन नॉनलाइनर डायमेंशनलिटी रिडक्शन#लाप्लासियन आइजेनमैप्स का निर्माण करने की अनुमति देता है जो कई [[ यंत्र अधिगम ]] अनुप्रयोगों में दिखाई देते हैं और [[ग्राफ ड्राइंग]] में [[वर्णक्रमीय लेआउट]] निर्धारित करते हैं। ग्राफ-आधारित [[ संकेत आगे बढ़ाना ]] [[असतत फूरियर रूपांतरण]] पर आधारित है जो सिग्नल के अनुरूप ग्राफ के लाप्लासियन मैट्रिक्स के ईजेनवेक्टरों के लिए [[जटिल संख्या]] साइन तरंगों के मानक आधार को प्रतिस्थापित करके पारंपरिक असतत फूरियर ट्रांसफॉर्म का विस्तार करता है।
इस प्रकार से लाप्लासियन आव्यूह आरेख़ के कई उपयोगी गुणों से संबंधित है। किरचॉफ के प्रमेय के साथ, इसका उपयोग किसी दिए गए आरेख़ के लिए विस्तरित ट्री (गणित) की संख्या की गणना करने के लिए किया जा सकता है। आरेख़ के कट (आरेख़ सिद्धांत) सबसे कम कट का अनुमान [[फिडलर वेक्टर|फिडलर सदिश]] के माध्यम से लगाया जा सकता है - आरेख़ लाप्लासियन के दूसरे सबसे छोटे आइगेनमान के अनुरूप आइगेनसदिश - जैसा कि चीगर स्थिरांक (आरेख़ सिद्धांत) चीगर असमानताओं द्वारा स्थापित किया गया है। लाप्लासियन आव्यूह के एक आव्यूह का आइगेन अपघटन अरैखिक विमीयता में अपघटन लाप्लासियन आइगेन प्रतिचित्र का निर्माण करने की अनुमति देता है जो कई [[ यंत्र अधिगम |यंत्र अधिगम]] अनुप्रयोगों में दिखाई देते हैं और [[ग्राफ ड्राइंग|आरेख रेखाचित्र]] में [[वर्णक्रमीय लेआउट|वर्णक्रमीय लेबाह्य]] निर्धारित करते हैं। इस प्रकार से आरेख-आधारित [[ संकेत आगे बढ़ाना |संकेत प्रक्रम]] [[असतत फूरियर रूपांतरण]] पर आधारित है जो संकेत के अनुरूप आरेख के लाप्लासियन आव्यूह के आइगेनसदिशों के लिए [[जटिल संख्या|मिश्रित संख्या]] ज्या तरंगों के मानक आधार को प्रतिस्थापित करके पारंपरिक असतत फूरियर परिवर्तन का विस्तार करता है।


लाप्लासियन मैट्रिक्स साधारण ग्राफ के लिए परिभाषित करना सबसे आसान है, लेकिन ग्लोसरी_ऑफ_ग्राफ_थ्योरी#वेटेड_ग्राफ|एज-वेटेड ग्राफ के लिए अनुप्रयोगों में अधिक आम है, यानी, इसके किनारों पर वजन के साथ - ग्राफ आसन्न मैट्रिक्स की प्रविष्टियां। [[वर्णक्रमीय ग्राफ सिद्धांत]] ग्राफ के गुणों को स्पेक्ट्रम से जोड़ता है, यानी, आइगेनवैल्यू, और ग्राफ से जुड़े मैट्रिक्स के आइगेनवेक्टर, जैसे कि इसकी आसन्न मैट्रिक्स या लाप्लासियन मैट्रिक्स। असंतुलित भार मैट्रिक्स स्पेक्ट्रम को अवांछित रूप से प्रभावित कर सकता है, जिससे सामान्यीकरण की आवश्यकता होती है - मैट्रिक्स प्रविष्टियों का कॉलम/पंक्ति स्केलिंग - जिसके परिणामस्वरूप सामान्यीकृत आसन्नता और लाप्लासियन मैट्रिक्स होते हैं।
लाप्लासियन आव्यूह साधारण आरेख के लिए परिभाषित करना सबसे सरल है, परन्तु ग्लोसरी ऑफ आरेख सिद्धांत वेटेड आरेख के लिए अनुप्रयोगों में अधिक सामान्य है, अर्थात, इसके किनारों पर भार के साथ - आरेख आसन्न आव्यूह की प्रविष्टियां। अतः [[वर्णक्रमीय ग्राफ सिद्धांत|वर्णक्रमीय आरेख सिद्धांत]] आरेख के गुणों को वर्णक्रम से जोड़ता है, अर्थात, आइगेनमान, और आरेख से जुड़े आव्यूह के आइगेनसदिश, जैसे कि इसकी आसन्न आव्यूह या लाप्लासियन आव्यूह है। असंतुलित भार आव्यूह वर्णक्रम को अवांछित रूप से प्रभावित कर सकता है, जिससे सामान्यीकरण की आवश्यकता होती है - आव्यूह प्रविष्टियों का स्तम्भ/पंक्ति सोपानी - जिसके परिणामस्वरूप सामान्यीकृत आसन्नता और लाप्लासियन आव्यूह होते हैं।


==सरल ग्राफ़ के लिए परिभाषाएँ==
==सरल आरेख़ के लिए परिभाषाएँ==


=== लाप्लासियन मैट्रिक्स ===
=== लाप्लासियन आव्यूह ===
एक सरल ग्राफ दिया गया है <math>G</math> साथ <math>n</math> कोने <math>v_1, \ldots, v_n</math>, इसका लाप्लासियन मैट्रिक्स <math display="inline">L_{n \times n}</math> है
इस प्रकार से <math>n</math> शीर्ष <math>v_1, \ldots, v_n</math> के साथ एक सरल आरेख <math>G</math> को देखते हुए, इसके लाप्लासियन आव्यूह <math display="inline">L_{n \times n}</math> को अवयव-वार<ref name="Fan Chung">{{cite book
तत्वानुसार परिभाषित<ref name="Fan Chung">{{cite book
| last                  = Chung
| last                  = Chung
| first                = Fan
| first                = Fan
Line 27: Line 25:
           0 & \mbox{otherwise},
           0 & \mbox{otherwise},
\end{cases}</math>
\end{cases}</math>
या मैट्रिक्स द्वारा समकक्ष
के रूप में या आव्यूह
: <math>L = D - A, </math>
: <math>L = D - A </math>
जहां D [[डिग्री मैट्रिक्स]] है और A ग्राफ़ का आसन्न मैट्रिक्स है। तब से <math display="inline">G</math> सरल ग्राफ है, <math display="inline">A</math> इसमें केवल 1s या 0s हैं और इसके विकर्ण तत्व सभी 0s हैं।
द्वारा समकक्ष रूप से परिभाषित किया गया है, जहां D [[डिग्री मैट्रिक्स|घात आव्यूह]] है और A आरेख़ का आसन्न आव्यूह है। चूँकि <math display="inline">G</math> सरल आरेख है, <math display="inline">A</math> में मात्र 1s या 0s हैं और इसके विकर्ण अवयव सभी 0s हैं।


यहां लेबल, अप्रत्यक्ष ग्राफ़ और उसके लाप्लासियन मैट्रिक्स का सरल उदाहरण दिया गया है।
इस प्रकार से यहां लेबल, अप्रत्यक्ष आरेख़ और उसके लाप्लासियन आव्यूह का सरल उदाहरण दिया गया है।


{|class="wikitable"
{|class="wikitable"
! [[Labelled graph]]
! [[Labelled graph|लेबल आव्यूह]]
! [[Degree matrix]]
! [[Degree matrix|घात आव्यूह]]
! [[Adjacency matrix]]
! [[Adjacency matrix|संलग्नता आव्यूह]]
! Laplacian matrix
! लाप्लासियन आव्यूह
|-
|-
| [[image:6n-graf.svg|175px]]
| [[image:6n-graf.svg|175px]]
Line 65: Line 63:
\end{array}\right)</math>
\end{array}\right)</math>
|}
|}
हम अप्रत्यक्ष ग्राफ़ के लिए देखते हैं कि आसन्न मैट्रिक्स और लाप्लासियन मैट्रिक्स दोनों सममित हैं, और लाप्लासियन मैट्रिक्स की पंक्ति और स्तंभ-योग सभी शून्य हैं।
हम अप्रत्यक्ष आरेख़ के लिए देखते हैं कि आसन्न आव्यूह और लाप्लासियन आव्यूह दोनों सममित हैं, और लाप्लासियन आव्यूह की पंक्ति और स्तंभ-योग सभी शून्य हैं।


[[निर्देशित ग्राफ]]के लिए, या तो डिग्री (ग्राफ़ सिद्धांत) का उपयोग किया जा सकता है, जो कि अनुप्रयोग पर निर्भर करता है, जैसा कि निम्नलिखित उदाहरण में है:
इस प्रकार से [[निर्देशित ग्राफ|निर्देशित आरेख]]के लिए, या तो घात (आरेख़ सिद्धांत) का उपयोग किया जा सकता है, जो कि अनुप्रयोग पर निर्भर करता है, जैसा कि निम्नलिखित उदाहरण में है:
{|class="wikitable"
{|class="wikitable"
!Labelled graph
!लेबल आव्यूह
! [[Adjacency matrix]]
! [[Adjacency matrix|संलग्नता आव्यूह]]
! Out-Degree matrix
! बाह्य-घात आव्यूह
! Out-Degree Laplacian
! बाह्य-घात लाप्लासियन
! In-Degree matrix
! आंतरिक-घात आव्यूह
! In-Degree Laplacian
! आंतरिक-घात लाप्लासियन
|-
|-
|[[File:3 node Directed graph.png|center|100x100px]]
|[[File:3 node Directed graph.png|center|100x100px]]
Line 103: Line 101:
\end{array}\right)</math>
\end{array}\right)</math>
|}
|}
निर्देशित ग्राफ़ में, आसन्न मैट्रिक्स और लाप्लासियन मैट्रिक्स दोनों असममित हैं। इसके लाप्लासियन मैट्रिक्स में, कॉलम-योग या पंक्ति-योग शून्य हैं, यह इस बात पर निर्भर करता है कि डिग्री (ग्राफ़ सिद्धांत) का उपयोग किया गया है या नहीं।
निर्देशित आरेख़ में, आसन्न आव्यूह और लाप्लासियन आव्यूह दोनों असममित हैं। इसके लाप्लासियन आव्यूह में, स्तम्भ-योग या पंक्ति-योग शून्य हैं, यह इस बात पर निर्भर करता है कि घात (आरेख़ सिद्धांत) का उपयोग किया गया है या नहीं।


=== घटना मैट्रिक्स के माध्यम से सममित लाप्लासियन === <math display="inline">|v| \times |e|</math> h>तत्व बी के साथ [[घटना मैट्रिक्स]] बी<sub>''ve''</sub> शीर्ष v और किनारे e के लिए (शीर्षों को जोड़ने वाला)। <math display="inline">v_i</math> और <math display="inline">v_j</math>, i > j के साथ) द्वारा परिभाषित किया गया है
=== घटना आव्यूह के माध्यम से सममित लाप्लासियन ===
इस प्रकार से शीर्ष v और किनारे e के लिए अवयव B<sub>''ve''</sub> के साथ <math display="inline">|v| \times |e|</math> [[घटना मैट्रिक्स|घटना आव्यूह]] B (शीर्ष <math display="inline">v_i</math> और <math display="inline">v_j</math> को, i > j से जोड़ता है) को
:<math>B_{ve} = \left\{\begin{array}{rl}
:<math>B_{ve} = \left\{\begin{array}{rl}
   1, & \text{if } v = v_i\\
   1, & \text{if } v = v_i\\
   -1, & \text{if } v = v_j\\
   -1, & \text{if } v = v_j\\
   0, & \text{otherwise}.
   0, & \text{otherwise}
\end{array}\right.</math>
\end{array}\right.</math> द्वारा परिभाषित किया गया है।
भले ही इस परिभाषा में किनारों को तकनीकी रूप से निर्देशित किया गया है, उनकी दिशाएँ मनमाने ढंग से हो सकती हैं, फिर भी समान सममित लाप्लासियन का परिणाम होता है <math display="inline">|v| \times |v|</math> मैट्रिक्स एल के रूप में परिभाषित किया गया है
यद्यपि इस परिभाषा में किनारों को तकनीकी रूप से निर्देशित किया गया है, उनकी दिशाएँ यादृच्छिक रूप से हो सकती हैं, फिर भी परिणाम समान सममित लाप्लासियन <math display="inline">|v| \times |v|</math> आव्यूह L को
:<math>L = B B^\textsf{T}</math>
:<math>L = B B^\textsf{T}</math>
कहाँ <math display="inline">B^\textsf{T}</math> बी का स्थानान्तरण है.
के रूप में परिभाषित किया गया है जहां <math display="inline">B^\textsf{T}</math> B का परिवर्त आव्यूह है।


{|class="wikitable"
{| class="wikitable"
! [[Undirected graph]]
! [[Undirected graph|अप्रत्यक्ष आरेख]]
! [[Incidence matrix]]
! [[Incidence matrix|घटना आव्यूह]]
! Laplacian matrix
! लाप्लासियन आव्यूह
|-
|-
| [[image:Labeled_undirected_graph.svg|100px]]
| [[image:Labeled_undirected_graph.svg|100px]]
Line 134: Line 133:
\end{array}\right)</math>
\end{array}\right)</math>
|}
|}
एक वैकल्पिक उत्पाद <math>B^\textsf{T}B</math> तथाकथित को परिभाषित करता है <math display="inline">|e| \times |e|</math> किनारे-आधारित लाप्लासियन, आमतौर पर उपयोग किए जाने वाले मूल वर्टेक्स-आधारित लाप्लासियन मैट्रिक्स एल के विपरीत।
एक वैकल्पिक गुणनफल <math>B^\textsf{T}B</math> तथाकथित <math display="inline">|e| \times |e|</math> शीर्ष-आधारित लाप्लासियन को परिभाषित करता है, जो मूल रूप से उपयोग किए जाने वाले शीर्ष-आधारित लाप्लासियन आव्यूह L के विपरीत है।


===निर्देशित ग्राफ़ के लिए सममित लाप्लासियन===
===निर्देशित आरेख़ के लिए सममित लाप्लासियन===
एक निर्देशित ग्राफ का लाप्लासियन मैट्रिक्स परिभाषा के अनुसार आम तौर पर गैर-सममित होता है, जबकि, उदाहरण के लिए, पारंपरिक [[वर्णक्रमीय क्लस्टरिंग]] मुख्य रूप से सममित आसन्नता और लाप्लासियन मैट्रिक्स के साथ अप्रत्यक्ष ग्राफ के लिए विकसित की जाती है। समरूपता की आवश्यकता वाली तकनीकों को लागू करने के लिए तुच्छ दृष्टिकोण मूल निर्देशित ग्राफ को अप्रत्यक्ष ग्राफ में बदलना और बाद के लिए लाप्लासियन मैट्रिक्स का निर्माण करना है।
इस प्रकार से एक निर्देशित आरेख का लाप्लासियन आव्यूह परिभाषा के अनुसार सामान्यतः गैर-सममित होता है, जबकि, इस प्रकार से उदाहरण के लिए, पारंपरिक [[वर्णक्रमीय क्लस्टरिंग]] मुख्य रूप से सममित आसन्नता और लाप्लासियन आव्यूह के साथ अप्रत्यक्ष आरेख के लिए विकसित की जाती है। अतः समरूपता की आवश्यकता वाली तकनीकों को लागू करने के लिए तुच्छ दृष्टिकोण मूल निर्देशित आरेख को अप्रत्यक्ष आरेख में बदलना और बाद के लिए लाप्लासियन आव्यूह का निर्माण करना है।


मैट्रिक्स नोटेशन में, अप्रत्यक्ष ग्राफ़ के आसन्न मैट्रिक्स को, उदाहरण के लिए, आसन्न मैट्रिक्स के OR गेट के रूप में परिभाषित किया जा सकता है <math>A</math> मूल निर्देशित ग्राफ़ और उसके मैट्रिक्स का स्थानान्तरण <math>A^T</math>, जहां शून्य और की प्रविष्टियाँ हैं <math>A</math> मानों को संख्यात्मक के बजाय तार्किक माना जाता है, जैसा कि निम्नलिखित उदाहरण में है:
आव्यूह संकेतन में, अप्रत्यक्ष आरेख़ के आसन्न आव्यूह को, इस प्रकार से उदाहरण के लिए, मूल निर्देशित आरेख़ के आसन्न आव्यूह <math>A</math> के OR गेट के रूप में परिभाषित किया जा सकता है और इसका आव्यूह <math>A^T</math> का परिवर्त है, जहां <math>A</math> की शून्य और एक प्रविष्टियाँ हैं मानों को संख्यात्मक के अतिरिक्त तार्किक माना जाए, जैसा कि निम्नलिखित उदाहरण में है:
{|class="wikitable"
{| class="wikitable"
! [[Adjacency matrix]]
! [[Adjacency matrix|संलग्नता आव्यूह]]
! Symmetrized adjacency
! सममित आसन्नता
! Symmetric Laplacian matrix
! सममित लाप्लासियन आव्यूह
|-
|-
| <math display="inline">\left(\begin{array}{ccc}
| <math display="inline">\left(\begin{array}{ccc}
Line 162: Line 161:
|}
|}


=== लाप्लासियन मैट्रिक्स सामान्यीकरण ===
=== लाप्लासियन आव्यूह सामान्यीकरण ===
बड़ी डिग्री वाला शीर्ष, जिसे भारी नोड भी कहा जाता है, के परिणामस्वरूप मैट्रिक्स गुणों पर हावी होने वाले लाप्लासियन मैट्रिक्स में बड़ी विकर्ण प्रविष्टि होती है। सामान्यीकरण का उद्देश्य लाप्लासियन मैट्रिक्स की प्रविष्टियों को शीर्ष डिग्री द्वारा विभाजित करके ऐसे शीर्षों के प्रभाव को अन्य शीर्षों के प्रभाव के बराबर बनाना है। शून्य से विभाजन से बचने के लिए, शून्य डिग्री वाले पृथक शीर्षों को सामान्यीकरण की प्रक्रिया से बाहर रखा गया है।
बड़ी घात वाला शीर्ष, जिसे भारी नोड भी कहा जाता है, के परिणामस्वरूप आव्यूह गुणों पर प्रभावी होने वाले लाप्लासियन आव्यूह में बडे विकर्ण की प्रविष्टि होती है। इस प्रकार से सामान्यीकरण का उद्देश्य लाप्लासियन आव्यूह की प्रविष्टियों को शीर्ष घात द्वारा विभाजित करके ऐसे शीर्षों के प्रभाव को अन्य शीर्षों के प्रभाव के बराबर बनाना है। शून्य से विभाजन से बचने के लिए, शून्य घात वाले पृथक शीर्षों को सामान्यीकरण की प्रक्रिया से बाहर रखा गया है।


==== सममित रूप से सामान्यीकृत लाप्लासियन ====
==== सममित रूप से सामान्यीकृत लाप्लासियन ====


सममित रूप से सामान्यीकृत लाप्लासियन मैट्रिक्स को इस प्रकार परिभाषित किया गया है:<ref name="Fan Chung" />
इस प्रकार से सममित रूप से सामान्यीकृत लाप्लासियन आव्यूह को इस प्रकार परिभाषित किया गया है:<ref name="Fan Chung" />


: <math>L^\text{sym} := (D^+)^{1/2} L (D^+)^{1/2} = I - (D^+)^{1/2} A (D^+)^{1/2},</math>
: <math>L^\text{sym} := (D^+)^{1/2} L (D^+)^{1/2} = I - (D^+)^{1/2} A (D^+)^{1/2},</math>
कहाँ <math>D^+</math> मूर-पेनरोज़ व्युत्क्रम है।
जहाँ <math>D^+</math> मूर-पेनरोज़ व्युत्क्रम है।


के तत्व <math display="inline">L^\text{sym}</math> इस प्रकार द्वारा दिए गए हैं
<math display="inline">L^\text{sym}</math> के अवयव इस प्रकार


:<math>L^\text{sym}_{i,j} := \begin{cases}
:<math>L^\text{sym}_{i,j} := \begin{cases}
                                     1 & \mbox{if } i = j \mbox{ and } \deg(v_i) \neq 0\\
                                     1 & \mbox{if } i = j \mbox{ and } \deg(v_i) \neq 0\\
   -\frac{1}{\sqrt{\deg(v_i)\deg(v_j)}} & \mbox{if } i \neq j \mbox{ and } v_i \mbox{ is adjacent to } v_j \\
   -\frac{1}{\sqrt{\deg(v_i)\deg(v_j)}} & \mbox{if } i \neq j \mbox{ and } v_i \mbox{ is adjacent to } v_j \\
                                     0 & \mbox{otherwise}.
                                     0 & \mbox{otherwise}
\end{cases}</math>
\end{cases}</math> द्वारा दिए गए हैं।
सममित रूप से सामान्यीकृत लाप्लासियन मैट्रिक्स सममित है यदि और केवल यदि आसन्न मैट्रिक्स सममित है।
अतः सममित रूप से सामान्यीकृत लाप्लासियन आव्यूह सममित है यदि और मात्र यदि आसन्न आव्यूह सममित है।
  {|class="wikitable"
  {|class="wikitable"
! [[Adjacency matrix]]
! [[Adjacency matrix|संलग्नता आव्यूह]]
! Degree matrix
! घात आव्यूह
! Normalized Laplacian
! सामान्यीकृत लाप्लासियन
|-
|-
| <math display="inline">\left(\begin{array}{rrr}
| <math display="inline">\left(\begin{array}{rrr}
Line 201: Line 200:
\end{array}\right)</math>
\end{array}\right)</math>
|}
|}
निर्देशित ग्राफ़ के गैर-सममित आसन्न मैट्रिक्स के लिए, किसी भी डिग्री (ग्राफ़ सिद्धांत) का उपयोग सामान्यीकरण के लिए किया जा सकता है:
इस प्रकार से निर्देशित आरेख़ के गैर-सममित आसन्न आव्यूह के लिए, किसी भी घात (आरेख़ सिद्धांत) का उपयोग सामान्यीकरण के लिए किया जा सकता है:
{|class="wikitable"
{|class="wikitable"
! [[Adjacency matrix]]
! [[Adjacency matrix|संलग्नता आव्यूह]]
! Out-Degree matrix
! बाह्य-घात आव्यूह
! Out-Degree normalized Laplacian
! बाह्य-घात सामान्यीकृत लाप्लासियन
! In-Degree matrix
! आंतरिक-घात आव्यूह
! In-Degree normalized Laplacian
! आंतरिक-घात सामान्यीकृत लाप्लासियन
|-
|-
| <math display="inline">\left(\begin{array}{rrr}
| <math display="inline">\left(\begin{array}{rrr}
Line 236: Line 235:
|}
|}


==== बाएँ (यादृच्छिक-चलना) और दाएँ सामान्यीकृत लाप्लासियन ====
==== बाएँ (यादृच्छिक-चाल) और दाएँ सामान्यीकृत लाप्लासियन ====


बाएं (रैंडम-वॉक) सामान्यीकृत लाप्लासियन मैट्रिक्स को इस प्रकार परिभाषित किया गया है:
इस प्रकार से बाएं (यादृच्छिक-चाल) सामान्यीकृत लाप्लासियन आव्यूह को इस प्रकार परिभाषित किया गया है:
: <math>L^\text{rw} := D^+L = I - D^+A,</math>
: <math>L^\text{rw} := D^+L = I - D^+A,</math>
कहाँ <math>D^+</math> मूर-पेनरोज़ व्युत्क्रम है।
जहाँ <math>D^+</math> मूर-पेनरोज़ व्युत्क्रम है। <math display="inline">L^\text{rw}</math> के अवयव
के तत्व <math display="inline">L^\text{rw}</math> द्वारा दिए गए हैं
:<math>L^\text{rw}_{i,j} := \begin{cases}
:<math>L^\text{rw}_{i,j} := \begin{cases}
                     1 & \mbox{if } i = j \mbox{ and } \deg(v_i) \neq 0\\
                     1 & \mbox{if } i = j \mbox{ and } \deg(v_i) \neq 0\\
   -\frac{1}{\deg(v_i)} & \mbox{if } i \neq j \mbox{ and } v_i \mbox{ is adjacent to } v_j \\
   -\frac{1}{\deg(v_i)} & \mbox{if } i \neq j \mbox{ and } v_i \mbox{ is adjacent to } v_j \\
                     0 & \mbox{otherwise}.
                     0 & \mbox{otherwise}
\end{cases}</math>
\end{cases}</math> द्वारा दिये गये हैं।
इसी प्रकार, सही सामान्यीकृत लाप्लासियन मैट्रिक्स को इस प्रकार परिभाषित किया गया है
अतः इसी प्रकार, दाएं सामान्यीकृत लाप्लासियन आव्यूह को
: <math>L D^+ = I - A D^+</math>.
: <math>L D^+ = I - A D^+</math> के रूप में परिभाषित किया गया है।


यदि सभी पृथक शीर्षों के तुच्छ मामले को छोड़कर, आसन्न मैट्रिक्स सममित है, तो बाएँ या दाएँ सामान्यीकृत लाप्लासियन मैट्रिक्स सममित नहीं है। उदाहरण के लिए,
यदि सभी पृथक शीर्षों के तुच्छ स्थितियों को छोड़कर, आसन्न आव्यूह सममित है, तो बाएँ या दाएँ सामान्यीकृत लाप्लासियन आव्यूह सममित नहीं है। इस प्रकार से उदाहरण के लिए,
  {|class="wikitable"
  {|class="wikitable"
! [[Adjacency matrix]]
! [[Adjacency matrix|संलग्नता आव्यूह]]
! Degree matrix
! घात आव्यूह
! Left normalized Laplacian
! बाएं सामान्यीकृत लाप्लासियन
! Right normalized Laplacian
! दाएँ सामान्यीकृत लाप्लासियन
|-
|-
| <math display="inline">\left(\begin{array}{rrr}
| <math display="inline">\left(\begin{array}{rrr}
Line 278: Line 276:
\end{array}\right)</math>
\end{array}\right)</math>
|}
|}
उदाहरण यह भी दर्शाता है कि यदि <math>G</math> तो फिर, इसका कोई पृथक शीर्ष नहीं है <math>D^+A</math> [[स्टोकेस्टिक मैट्रिक्स]] और इसलिए यादृच्छिक चलने का मैट्रिक्स है, ताकि बाईं ओर लाप्लासियन सामान्यीकृत हो <math>L^\text{rw} := D^+L = I - D^+A</math> प्रत्येक पंक्ति का योग शून्य है। इस प्रकार हम कभी-कभी वैकल्पिक रूप से कॉल करते हैं <math>L^\text{rw}</math> रैंडम वॉक|रैंडम-वॉक सामान्यीकृत लाप्लासियन। कम असामान्य रूप से उपयोग किए जाने वाले दाएँ सामान्यीकृत लाप्लासियन में <math>L D^+ = I - A D^+</math> चूँकि प्रत्येक कॉलम का योग शून्य है <math>A D^+</math> स्टोकेस्टिक मैट्रिक्स है.
उदाहरण यह भी दर्शाता है कि यदि <math>G</math> में कोई पृथक शीर्ष नहीं है, तो <math>D^+A</math> दाएं [[स्टोकेस्टिक मैट्रिक्स|प्रसंभाव्य आव्यूह]] और इसलिए यह एक यादृच्छिक चाल का आव्यूह है, ताकि बाएं सामान्यीकृत लाप्लासियन <math>L^\text{rw} := D^+L = I - D^+A</math> में प्रत्येक पंक्ति का योग शून्य हो। इस प्रकार हम कभी-कभी वैकल्पिक रूप से <math>L^\text{rw}</math> को यादृच्छिक-चाल सामान्यीकृत लाप्लासियन कहते हैं। कम असामान्य रूप से उपयोग किए जाने वाले दाएं सामान्यीकृत लाप्लासियन <math>L D^+ = I - A D^+</math> में प्रत्येक स्तम्भ का योग शून्य होता है क्योंकि <math>A D^+</math> को प्रसंभाव्य छोड़ दिया जाता है।


निर्देशित ग्राफ़ के गैर-सममित आसन्न मैट्रिक्स के लिए, किसी को सामान्यीकरण के लिए डिग्री (ग्राफ़ सिद्धांत) चुनने की भी आवश्यकता होती है:
इस प्रकार से निर्देशित आरेख़ के गैर-सममित आसन्न आव्यूह के लिए, किसी को सामान्यीकरण के लिए घात (आरेख़ सिद्धांत) चुनने की भी आवश्यकता होती है:
{|class="wikitable"
{|class="wikitable"
! [[Adjacency matrix]]
! [[Adjacency matrix|संलग्नता आव्यूह]]
! Out-Degree matrix
! बाह्य-घात आव्यूह
! Out-Degree left normalized Laplacian
! बाह्य-घात बाएं सामान्यीकृत लाप्लासियन
! In-Degree matrix
! आंतरिक-घात आव्यूह
! In-Degree right normalized Laplacian
! आंतरिक-घात दाएँ सामान्यीकृत लाप्लासियन
|-
|-
| <math display="inline">\left(\begin{array}{rrr}
| <math display="inline">\left(\begin{array}{rrr}
Line 314: Line 312:
\end{array}\right)</math>
\end{array}\right)</math>
|}
|}
पंक्ति-योग के साथ लेफ्ट आउट-डिग्री सामान्यीकृत लाप्लासियन सभी 0 स्टोकेस्टिक मैट्रिक्स से संबंधित है <math>D_{\text{out}}^+A</math> , जबकि सभी 0 के कॉलम-योग के साथ डिग्री में सामान्यीकृत लाप्लासियन में स्टोकेस्टिक मैट्रिक्स शामिल है  <math>AD_{\text{in}}^+</math>.
पंक्ति-योग सभी 0 के साथ बाएं बाह्य-घात सामान्यीकृत लाप्लासियन दाएं प्रसंभाव्य आव्यूह <math>D_{\text{out}}^+A</math> से संबंधित है, जबकि स्तम्भ-योग सभी 0 के साथ दाएं आंतरिक-घात सामान्यीकृत लाप्लासियन में बाएं प्रसंभाव्य आव्यूह <math>AD_{\text{in}}^+</math> सम्मिलित है।


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


=== लाप्लासियन मैट्रिक्स ===
=== लाप्लासियन आव्यूह ===
लाप्लासियन मैट्रिक्स द्वारा परिभाषित किया गया है
इस प्रकार से लाप्लासियन आव्यूह को
: <math>L = D - A, </math>
: <math>L = D - A </math>
जहां D डिग्री मैट्रिक्स है और A ग्राफ़ का आसन्न मैट्रिक्स है।
द्वारा परिभाषित किया गया है, जहां D घात आव्यूह है और A आरेख़ का आसन्न आव्यूह है।


निर्देशित ग्राफ़ के लिए, या तो डिग्री (ग्राफ़ सिद्धांत) का उपयोग किया जा सकता है, जो कि अनुप्रयोग पर निर्भर करता है, जैसा कि निम्नलिखित उदाहरण में है:
इस प्रकार से निर्देशित आरेख़ के लिए, या तो घात (आरेख़ सिद्धांत) का उपयोग किया जा सकता है, जो कि अनुप्रयोग पर निर्भर करता है, जैसा कि निम्नलिखित उदाहरण में है:
{|class="wikitable"
{|class="wikitable"
! [[Adjacency matrix]]
! [[Adjacency matrix|संलग्नता आव्यूह]]
! In-Degree matrix
! आंतरिक-घात आव्यूह
! In-Degree Laplacian
! आंतरिक-घात लाप्लासियन
! Out-Degree matrix
! बाह्य-घात आव्यूह
! Out-Degree Laplacian
! बाह्य-घात लाप्लासियन
|-
|-
| <math display="inline">\left(\begin{array}{rrr}
| <math display="inline">\left(\begin{array}{rrr}
Line 358: Line 356:
\end{array}\right)</math>
\end{array}\right)</math>
|}
|}
ग्राफ़ सेल्फ-लूप्स, जो आसन्न मैट्रिक्स के मुख्य विकर्ण पर गैर-शून्य प्रविष्टियों द्वारा स्वयं को प्रकट करते हैं, की अनुमति है लेकिन ग्राफ़ लाप्लासियन मानों को प्रभावित नहीं करते हैं।
आरेख़ स्वयं-पाश, जो आसन्न आव्यूह के मुख्य विकर्ण पर गैर-शून्य प्रविष्टियों द्वारा स्वयं को प्रकट करते हैं, इसकी अनुमति है परन्तु आरेख़ लाप्लासियन मानों को प्रभावित नहीं करते हैं।


=== घटना मैट्रिक्स के माध्यम से सममित लाप्लासियन ===
=== घटना आव्यूह के माध्यम से सममित लाप्लासियन ===
[[Image:elastic network model.png|thumb|एक 2-आयामी स्प्रिंग प्रणाली।]]भारित किनारों वाले ग्राफ़ के लिए कोई भारित घटना मैट्रिक्स बी को परिभाषित कर सकता है और इसका उपयोग संबंधित सममित लाप्लासियन के निर्माण के लिए कर सकता है <math>L = B B^\textsf{T}</math>. यहां वर्णित वैकल्पिक क्लीनर दृष्टिकोण, वज़न को कनेक्टिविटी से अलग करना है: नियमित ग्राफ़ के लिए घटना मैट्रिक्स का उपयोग करना जारी रखें और केवल वज़न के मान रखने वाले मैट्रिक्स को पेश करें। [[ वसंत प्रणाली ]] इस मॉडल का उदाहरण है जिसका उपयोग [[यांत्रिकी]] में दी गई कठोरता और इकाई लंबाई के स्प्रिंग्स की प्रणाली का वर्णन करने के लिए किया जाता है, जहां कठोरता के मूल्य ग्राफ किनारों के वजन की भूमिका निभाते हैं।
[[Image:elastic network model.png|thumb|एक 2-विमीय स्प्रिंग प्रणाली।]]भारित किनारों वाले आरेख़ के लिए कोई भारित घटना आव्यूह B को परिभाषित कर सकता है और इसका उपयोग <math>L = B B^\textsf{T}</math> के रूप में संबंधित सममित लाप्लासियन के निर्माण के लिए कर सकता है। यहां वर्णित वैकल्पिक स्पष्ट दृष्टिकोण, भार को संपर्क से अलग करना है: नियमित आरेख़ के लिए घटना आव्यूह का उपयोग करना जारी रखें और मात्र भार के मान रखने वाले आव्यूह को प्रस्तुत करें। [[ वसंत प्रणाली |स्प्रिंग प्रणाली]] इस मॉडल का उदाहरण है जिसका उपयोग [[यांत्रिकी]] में दी गई संदृढ़ता और इकाई लंबाई के स्प्रिंग की प्रणाली का वर्णन करने के लिए किया जाता है, जहां संदृढ़ता के मान आरेख किनारों के भार की भूमिका निभाते हैं।


इस प्रकार हम भारहीन की परिभाषा का पुन: उपयोग करते हैं <math display="inline">|v| \times |e|</math> तत्व बी के साथ घटना मैट्रिक्स बी<sub>''ve''</sub> शीर्ष v और किनारे e के लिए (शीर्षों को जोड़ने वाला)। <math display="inline">v_i</math> और <math display="inline">v_j</math>, i > j) द्वारा परिभाषित
इस प्रकार हम शीर्ष v के लिए B<sub>''ve''</sub> और
:<math>B_{ve} = \left\{\begin{array}{rl}
:<math>B_{ve} = \left\{\begin{array}{rl}
   1, & \text{if } v = v_i\\
   1, & \text{if } v = v_i\\
   -1, & \text{if } v = v_j\\
   -1, & \text{if } v = v_j\\
   0, & \text{otherwise}.
   0, & \text{otherwise}
\end{array}\right.</math>
\end{array}\right.</math> द्वारा परिभाषित किनारे e के साथ भारहीन <math display="inline">|v| \times |e|</math> घटना आव्यूह B की परिभाषा का पुन: उपयोग करते हैं।
अब हम विकर्ण को भी परिभाषित करते हैं <math display="inline">|e| \times |e|</math> मैट्रिक्स W जिसमें किनारे का भार है। भले ही बी की परिभाषा में किनारों को तकनीकी रूप से निर्देशित किया गया है, उनकी दिशाएं मनमानी हो सकती हैं, फिर भी समान सममित लाप्लासियन का परिणाम होता है <math display="inline">|v| \times |v|</math> मैट्रिक्स एल के रूप में परिभाषित किया गया है
अब हम विकर्ण <math display="inline">|e| \times |e|</math> आव्यूह W को भी परिभाषित करते हैं जिसमें किनारे का भार होता है। यद्यपि B की परिभाषा में किनारों को तकनीकी रूप से निर्देशित किया गया है, उनकी दिशाएं यादृच्छिक रूप से हो सकती हैं, फिर भी समान सममित लाप्लासियन <math display="inline">|v| \times |v|</math> आव्यूह L को
:<math>L = B W B^\textsf{T}</math>
:<math>L = B W B^\textsf{T}</math>
कहाँ <math display="inline">B^\textsf{T}</math> बी का स्थानान्तरण है.
के रूप में परिभाषित किया गया है जहाँ <math display="inline">B^\textsf{T}</math> B का परिवर्त है।


निर्माण को निम्नलिखित उदाहरण में दर्शाया गया है, जहां हर किनारा <math display="inline">e_i</math> भार मान i, के साथ निर्दिष्ट किया गया है <math display="inline">i=1, 2, 3, 4.</math>
इस प्रकार से निर्माण को निम्नलिखित उदाहरण में दर्शाया गया है, जहां प्रत्येक किनारे <math display="inline">e_i</math> को <math display="inline">i=1, 2, 3, 4</math> के साथ भार मान i दिया गया है।
{|class="wikitable"
{|class="wikitable"
! [[Undirected graph]]
! [[Undirected graph|अप्रत्यक्ष आरेख]]
! [[Incidence matrix]]
! [[Incidence matrix|घटना आव्यूह]]
! Edge weights
! किनारे भार
! Laplacian matrix
! लाप्लासियन आव्यूह
|-
|-
| [[image:Labeled_undirected_graph.svg|100px]]
| [[image:Labeled_undirected_graph.svg|100px]]
Line 401: Line 399:
|}
|}


===निर्देशित ग्राफ़ के लिए सममित लाप्लासियन===
===निर्देशित आरेख़ के लिए सममित लाप्लासियन===
साधारण ग्राफ़ की तरह, निर्देशित भारित ग्राफ़ का लाप्लासियन मैट्रिक्स परिभाषा के अनुसार आम तौर पर गैर-सममित होता है। लाप्लासियन के निर्माण से पहले मूल निर्देशित ग्राफ को अप्रत्यक्ष ग्राफ में बदलकर समरूपता लागू की जा सकती है। अप्रत्यक्ष ग्राफ़ के आसन्न मैट्रिक्स को, उदाहरण के लिए, आसन्न मैट्रिक्स के योग के रूप में परिभाषित किया जा सकता है <math>A</math> मूल निर्देशित ग्राफ़ और उसके मैट्रिक्स का स्थानान्तरण <math>A^T</math> जैसा कि निम्नलिखित उदाहरण में है:
साधारण आरेख़ के जैसे, निर्देशित भारित आरेख़ का लाप्लासियन आव्यूह परिभाषा के अनुसार सामान्यतः गैर-सममित होता है। लाप्लासियन के निर्माण से पहले मूल निर्देशित आरेख को अप्रत्यक्ष आरेख में बदलकर समरूपता लागू की जा सकती है। अप्रत्यक्ष आरेख़ के आसन्न आव्यूह को, इस प्रकार से उदाहरण के लिए, मूल निर्देशित आरेख़ के आसन्न आव्यूह <math>A</math> के योग के रूप में परिभाषित किया जा सकता है और इसका आव्यूह निम्नलिखित उदाहरण के अनुसार <math>A^T</math> का परिवर्त है:
{|class="wikitable"
{|class="wikitable"
! [[Adjacency matrix]]
! [[Adjacency matrix|संलग्नता आव्यूह]]
! Symmetrized adjacency matrix
! सममित संलग्नता आव्यूह
! Symmetric Laplacian matrix
! सममित लाप्लासियन आव्यूह
|-
|-
| <math display="inline">\left(\begin{array}{rrr}
| <math display="inline">\left(\begin{array}{rrr}
Line 424: Line 422:
\end{array}\right)</math>
\end{array}\right)</math>
|}
|}
जहाँ शून्य और की प्रविष्टियाँ हैं <math>A</math> सरल ग्राफ़, मानों को तार्किक के बजाय संख्यात्मक माना जाता है, जो परिणामों में अंतर को समझाते हैं - सरल ग्राफ़ के लिए, सममित ग्राफ़ को अभी भी सरल होने की आवश्यकता है, इसके सममित आसन्न मैट्रिक्स में केवल तार्किक होते हैं, संख्यात्मक मान नहीं, उदाहरण के लिए, तार्किक योग 1 v 1 = 1 है, जबकि संख्यात्मक योग 1 + 1 = 2 है।
जहाँ <math>A</math> की शून्य और एक प्रविष्टियाँ को सरल आरेख, मानों के लिए तार्किक के अतिरिक्त संख्यात्मक माना जाता है, जो परिणामों में अंतर को समझाते हैं - सरल आरेख के लिए, सममित आरेख को अभी भी सरल होने की आवश्यकता है, इसके सममित आसन्न आव्यूह में मात्र तार्किक होना चाहिए, संख्यात्मक मान नहीं, इस प्रकार से उदाहरण के लिए, तार्किक योग '''1 v 1 = 1''' है, जबकि संख्यात्मक योग '''1 + 1 = 2''' है।


वैकल्पिक रूप से, सममित लाप्लासियन मैट्रिक्स की गणना डिग्री (ग्राफ सिद्धांत) का उपयोग करके दो लाप्लासियन से की जा सकती है, जैसा कि निम्नलिखित उदाहरण में है:
इस प्रकार से वैकल्पिक रूप से, सममित लाप्लासियन आव्यूह की गणना घात (आरेख सिद्धांत) का उपयोग करके दो लाप्लासियन से की जा सकती है, जैसा कि निम्नलिखित उदाहरण में है:
{|class="wikitable"
{|class="wikitable"
! [[Adjacency matrix]]
! [[Adjacency matrix|संलग्नता आव्यूह]]
! Out-Degree matrix
! बाह्य-घात आव्यूह
! Out-Degree Laplacian
! बाह्य-घात लाप्लासियन
! In-Degree matrix
! आंतरिक-घात आव्यूह
! In-Degree Laplacian
! आंतरिक-घात लाप्लासियन
|-
|-
| <math display="inline">\left(\begin{array}{rrr}
| <math display="inline">\left(\begin{array}{rrr}
Line 460: Line 458:
\end{array}\right)</math>
\end{array}\right)</math>
|}
|}
आउट-डिग्री लाप्लासियन ट्रांसपोज़्ड और इन-डिग्री लाप्लासियन का योग सममित लाप्लासियन मैट्रिक्स के बराबर होता है।
अतः इस प्रकार से बाह्य-घात लाप्लासियन परिवर्त और आंतरिक-घात लाप्लासियन का योग सममित लाप्लासियन आव्यूह के बराबर होता है।


===लाप्लासियन मैट्रिक्स सामान्यीकरण===
===लाप्लासियन आव्यूह सामान्यीकरण===
सामान्यीकरण का लक्ष्य, सरल ग्राफ़ की तरह, लाप्लासियन मैट्रिक्स की विकर्ण प्रविष्टियों को सभी इकाई बनाना है, साथ ही ऑफ-विकर्ण प्रविष्टियों को तदनुसार स्केल करना है। ग्लोसरी_ऑफ_ग्राफ_थ्योरी#वेटेड_ग्राफ में, शीर्ष में जुड़े हुए किनारों की छोटी संख्या के कारण बड़ी डिग्री हो सकती है, लेकिन बड़े वजन के साथ-साथ यूनिट वजन के साथ बड़ी संख्या में जुड़े किनारों के कारण भी।
सामान्यीकरण का लक्ष्य, सरल आरेख़ के जैसे, लाप्लासियन आव्यूह की विकर्ण प्रविष्टियों को सभी इकाई बनाना है, साथ ही ऑफ-विकर्ण प्रविष्टियों को तदनुसार सोपानी करना है। ग्लोसरी ऑफ आरेख सिद्धांत वेटेड आरेख में, शीर्ष में जुड़े हुए किनारों की छोटी संख्या के कारण बड़ी घात हो सकती है, परन्तु बड़े भार के साथ-साथ इकाई भार के साथ बड़ी संख्या में जुड़े किनारों के कारण भी है।


ग्राफ़ सेल्फ-लूप, यानी, आसन्न मैट्रिक्स के मुख्य विकर्ण पर गैर-शून्य प्रविष्टियाँ, ग्राफ़ लाप्लासियन मानों को प्रभावित नहीं करती हैं, लेकिन सामान्यीकरण कारकों की गणना के लिए गणना करने की आवश्यकता हो सकती है।
इस प्रकार से आरेख़ स्वयं-पाश, अर्थात, आसन्न आव्यूह के मुख्य विकर्ण पर गैर-शून्य प्रविष्टियाँ, आरेख़ लाप्लासियन मानों को प्रभावित नहीं करती हैं, परन्तु सामान्यीकरण कारकों की गणना के लिए गणना करने की आवश्यकता हो सकती है।


==== सममित रूप से सामान्यीकृत लाप्लासियन ====
==== सममित रूप से सामान्यीकृत लाप्लासियन ====


सममित रूप से सामान्यीकृत लाप्लासियन को इस प्रकार परिभाषित किया गया है
सममित रूप से सामान्यीकृत लाप्लासियन को
: <math>L^\text{sym} := (D^+)^{1/2} L (D^+)^{1/2} = I - (D^+)^{1/2} A (D^+)^{1/2},</math>
: <math>L^\text{sym} := (D^+)^{1/2} L (D^+)^{1/2} = I - (D^+)^{1/2} A (D^+)^{1/2}</math>
जहां एल असामान्य लाप्लासियन है, आसन्न मैट्रिक्स है, डी डिग्री मैट्रिक्स है, और <math>D^+</math> मूर-पेनरोज़ व्युत्क्रम है। चूँकि डिग्री मैट्रिक्स D विकर्ण है, इसका व्युत्क्रम वर्गमूल है <math display="inline">(D^+)^{1/2}</math> केवल विकर्ण मैट्रिक्स है जिसकी विकर्ण प्रविष्टियाँ D की विकर्ण प्रविष्टियों के वर्गमूलों के व्युत्क्रम हैं। यदि सभी किनारे के भार गैर-नकारात्मक हैं तो सभी डिग्री मान स्वचालित रूप से भी गैर-नकारात्मक हैं और इसलिए प्रत्येक डिग्री मान का अद्वितीय सकारात्मक वर्गमूल होता है। शून्य से विभाजन से बचने के लिए, शून्य डिग्री वाले शीर्षों को सामान्यीकरण की प्रक्रिया से बाहर रखा गया है, जैसा कि निम्नलिखित उदाहरण में है:
के रूप में परिभाषित किया गया है, जहां L असामान्य लाप्लासियन है, A आसन्न आव्यूह है, D घात आव्यूह है, और <math>D^+</math> मूर-पेनरोज़ व्युत्क्रम है। चूँकि घात आव्यूह D विकर्ण है, इसका व्युत्क्रम वर्गमूल <math display="inline">(D^+)^{1/2}</math> मात्र विकर्ण आव्यूह है जिसकी विकर्ण प्रविष्टियाँ D की विकर्ण प्रविष्टियों के वर्गमूल के व्युत्क्रम हैं। यदि सभी किनारे के भार गैर-ऋणात्मक हैं तो सभी घात मान स्वचालित रूप से भी गैर-ऋणात्मक हैं और इसलिए प्रत्येक घात मान का अद्वितीय धनात्मक वर्गमूल होता है। इस प्रकार से शून्य से विभाजन से बचने के लिए, शून्य घात वाले शीर्षों को सामान्यीकरण की प्रक्रिया से बाहर रखा गया है, जैसा कि निम्नलिखित उदाहरण में है:
{|class="wikitable"
{|class="wikitable"
! [[Adjacency matrix]]
! [[Adjacency matrix|संलग्नता आव्यूह]]
! In-Degree matrix
! आंतरिक-घात आव्यूह
! In-Degree normalized Laplacian
! आंतरिक-घात सामान्यीकृत लाप्लासियन
! Out-Degree matrix
! बाह्य-घात आव्यूह
! Out-Degree normalized Laplacian
! बाह्य-घात सामान्यीकृत लाप्लासियन
|-
|-
| <math display="inline">\left(\begin{array}{rrr}
| <math display="inline">\left(\begin{array}{rrr}
Line 504: Line 502:
\end{array}\right)</math>
\end{array}\right)</math>
|}
|}
सममित रूप से सामान्यीकृत लाप्लासियन सममित मैट्रिक्स है यदि और केवल यदि आसन्न मैट्रिक्स ए सममित है और डी की विकर्ण प्रविष्टियाँ गैर-नकारात्मक हैं, तो उस स्थिति में हम 'सममित सामान्यीकृत लाप्लासियन' शब्द का उपयोग कर सकते हैं।
सममित रूप से सामान्यीकृत लाप्लासियन सममित आव्यूह है यदि और मात्र यदि आसन्न आव्यूह A सममित है और D की विकर्ण प्रविष्टियाँ गैर-ऋणात्मक हैं, तो उस स्थिति में हम 'सममित सामान्यीकृत लाप्लासियन' शब्द का उपयोग कर सकते हैं।


सममित सामान्यीकृत लाप्लासियन मैट्रिक्स को इस प्रकार भी लिखा जा सकता है
इस प्रकार से सममित सामान्यीकृत लाप्लासियन आव्यूह को भार रहित <math display="inline">|v| \times |e|</math> घटना आव्यूह B और विकर्ण <math display="inline">|e| \times |e|</math> आव्यूह W का उपयोग करके
: <math>L^\text{sym} := (D^+)^{1/2} L (D^+)^{1/2} = (D^+)^{1/2}B W B^\textsf{T} (D^+)^{1/2} = S S^T</math>
: <math>L^\text{sym} := (D^+)^{1/2} L (D^+)^{1/2} = (D^+)^{1/2}B W B^\textsf{T} (D^+)^{1/2} = S S^T</math>
भारहीन का उपयोग करना <math display="inline">|v| \times |e|</math> आपतन मैट्रिक्स बी और विकर्ण <math display="inline">|e| \times |e|</math> मैट्रिक्स डब्ल्यू जिसमें किनारे का वजन शामिल है और नए को परिभाषित करता है <math display="inline">|v| \times |e|</math> भारित घटना मैट्रिक्स <math display="inline">S=(D^+)^{1/2}B W^{{1}/{2}}</math> जिनकी पंक्तियाँ शीर्षों द्वारा अनुक्रमित होती हैं और जिनके स्तंभ G के किनारों द्वारा अनुक्रमित होते हैं, जैसे कि किनारे e = {u, v} के अनुरूप प्रत्येक स्तंभ में प्रविष्टि होती है <math display="inline">\frac{1}{\sqrt{d_u}}</math> यू के अनुरूप पंक्ति में, प्रविष्टि <math display="inline">-\frac{1}{\sqrt{d_v}}</math> v के अनुरूप पंक्ति में, और अन्यत्र 0 प्रविष्टियाँ हैं।
के रूप में भी लिखा जा सकता है, जिसमें किनारे का भार होता है और नवीन <math display="inline">|v| \times |e|</math> भारित घटना आव्यूह <math display="inline">S=(D^+)^{1/2}B W^{{1}/{2}}</math> को परिभाषित करता है, जिनकी पंक्तियों को शीर्षों द्वारा अनुक्रमित किया जाता है और जिनके स्तंभों को G के किनारों द्वारा अनुक्रमित किया जाता है, जैसे कि किनारे '''e = {u, v}''' के अनुरूप प्रत्येक स्तंभ में u के अनुरूप पंक्ति में एक प्रविष्टि <math display="inline">\frac{1}{\sqrt{d_u}}</math> होती है, v के अनुरूप पंक्ति में एक प्रविष्टि <math display="inline">-\frac{1}{\sqrt{d_v}}</math> होती है, और अन्यत्र 0 प्रविष्टियाँ होती हैं।


==== रैंडम वॉक सामान्यीकृत लाप्लासियन ====
==== यादृच्छिक चाल सामान्यीकृत लाप्लासियन ====


रैंडम वॉक सामान्यीकृत लाप्लासियन को इस प्रकार परिभाषित किया गया है
इस प्रकार से यादृच्छिक चाल सामान्यीकृत लाप्लासियन को
: <math>L^\text{rw} := D^+ L = I - D^+ A</math>
: <math>L^\text{rw} := D^+ L = I - D^+ A</math>
जहाँ D डिग्री मैट्रिक्स है। चूँकि डिग्री मैट्रिक्स D विकर्ण है, यह व्युत्क्रम है <math display="inline">D^+</math> इसे बस विकर्ण मैट्रिक्स के रूप में परिभाषित किया गया है, जिसमें विकर्ण प्रविष्टियाँ हैं जो डी की संगत विकर्ण प्रविष्टियों के व्युत्क्रम हैं। पृथक शीर्षों (डिग्री 0 वाले) के लिए, सामान्य विकल्प संबंधित तत्व को सेट करना है <math display="inline">L^\text{rw}_{i,i}</math> से 0. के मैट्रिक्स तत्व <math display="inline">L^\text{rw}</math> द्वारा दिए गए हैं
के रूप में परिभाषित किया गया है जहां D घात आव्यूह है। चूँकि घात आव्यूह D विकर्ण है, इसके व्युत्क्रम <math display="inline">D^+</math> को मात्र विकर्ण आव्यूह के रूप में परिभाषित किया गया है, जिसमें विकर्ण प्रविष्टियाँ हैं जो D की संगत विकर्ण प्रविष्टियों के व्युत्क्रम हैं। पृथक शीर्षों (घात 0 वाले) के लिए, एक सामान्य विकल्प संबंधित अवयव <math display="inline">L^\text{rw}_{i,i}</math> को 0 पर समूहित करना है। <math display="inline">L^\text{rw}</math> के आव्यूह अवयव
: <math>L^{\text{rw}}_{i,j} := \begin{cases}
: <math>L^{\text{rw}}_{i,j} := \begin{cases}
                     1 & \mbox{if}\ i = j\ \mbox{and}\ \deg(v_i) \neq 0\\
                     1 & \mbox{if}\ i = j\ \mbox{and}\ \deg(v_i) \neq 0\\
   -\frac{1}{\deg(v_i)} & \mbox{if}\ i \neq j\ \mbox{and}\ v_i \mbox{ is adjacent to } v_j \\
   -\frac{1}{\deg(v_i)} & \mbox{if}\ i \neq j\ \mbox{and}\ v_i \mbox{ is adjacent to } v_j \\
                     0 & \mbox{otherwise}.
                     0 & \mbox{otherwise}
\end{cases}</math>
\end{cases}</math> द्वारा दिए गए हैं।
रैंडम-वॉक सामान्यीकृत लाप्लासियन का नाम इस तथ्य से आता है कि यह मैट्रिक्स है <math display="inline">L^\text{rw} = I - P</math>, कहाँ <math display="inline">P = D^+A</math> गैर-नकारात्मक भार मानते हुए, ग्राफ़ पर यादृच्छिक वॉकर का संक्रमण मैट्रिक्स है। उदाहरण के लिए, चलो <math display="inline"> e_i </math> i-वें [[मानक आधार]] वेक्टर को निरूपित करें। तब <math display="inline">x = e_i P </math> [[संभाव्यता वेक्टर]] है जो शीर्ष से कदम उठाने के बाद यादृच्छिक वॉकर के स्थानों के वितरण का प्रतिनिधित्व करता है <math display="inline">i</math>; अर्थात।, <math display="inline">x_j = \mathbb{P}\left(v_i \to v_j\right)</math>. अधिक सामान्यतः, यदि वेक्टर <math display="inline"> x </math> तब, ग्राफ़ के शीर्षों पर यादृच्छिक वॉकर के स्थान का संभाव्यता वितरण होता है <math display="inline">x' = x P^t</math> बाद में वॉकर का संभाव्यता वितरण है <math display="inline">t</math> कदम।
अतः यादृच्छिक-चाल सामान्यीकृत लाप्लासियन का नाम इस तथ्य से आता है कि यह आव्यूह <math display="inline">L^\text{rw} = I - P</math> है, जहां <math display="inline">P = D^+A</math> गैर-ऋणात्मक भार मानते हुए, आरेख़ पर यादृच्छिक चालक का संक्रमण आव्यूह है। इस प्रकार से उदाहरण के लिए, मान लीजिए कि <math display="inline"> e_i </math> i-वें [[मानक आधार]] सदिश को दर्शाता है। फिर <math display="inline">x = e_i P </math> एक [[संभाव्यता वेक्टर|प्रायिकता सदिश]] है जो शीर्ष <math display="inline">i</math> से चरण उठाने के बाद यादृच्छिक चालक के स्थानों के वितरण का प्रतिनिधित्व करता है; अर्थात <math display="inline">x_j = \mathbb{P}\left(v_i \to v_j\right)</math>अधिक सामान्यतः, यदि सदिश <math display="inline"> x </math> आरेख़ के शीर्षों पर यादृच्छिक चालक के स्थान का प्रायिकता वितरण है, तो <math display="inline">x' = x P^t</math> <math display="inline">t</math> चरणों के बाद चालक का प्रायिकता वितरण है।


रैंडम वॉक सामान्यीकृत लाप्लासियन को बायां सामान्यीकृत लाप्लासियन भी कहा जा सकता है <math>L^\text{rw} := D^+L</math> चूंकि सामान्यीकरण सामान्यीकरण मैट्रिक्स द्वारा लाप्लासियन को गुणा करके किया जाता है <math>D^+</math> बाईं तरफ। तब से इसकी प्रत्येक पंक्ति का योग शून्य है <math>P = D^+A</math> स्टोचैस्टिक मैट्रिक्स है, यह मानते हुए कि सभी भार गैर-नकारात्मक हैं।
यादृच्छिक चाल सामान्यीकृत लाप्लासियन को बाएं सामान्यीकृत लाप्लासियन <math>L^\text{rw} := D^+L</math> भी कहा जा सकता है क्योंकि सामान्यीकरण बाईं ओर सामान्यीकरण आव्यूह <math>D^+</math> द्वारा लाप्लासियन को गुणा करके किया जाता है। इसमें प्रत्येक पंक्ति का योग शून्य है क्योंकि <math>P = D^+A</math> दायाँ प्रसंभाव्य है, यह मानते हुए कि सभी भार गैर-ऋणात्मक हैं।


कम असामान्य रूप से उपयोग किए जाने वाले दाएँ सामान्यीकृत लाप्लासियन में <math>L D^+ = I - A D^+</math> चूँकि प्रत्येक कॉलम का योग शून्य है <math>A D^+</math> स्टोकेस्टिक मैट्रिक्स है.
अतः कम असामान्य रूप से उपयोग किए जाने वाले दाएं सामान्यीकृत लाप्लासियन <math>L D^+ = I - A D^+</math> में प्रत्येक स्तम्भ का योग शून्य होता है क्योंकि <math>A D^+</math> बायां प्रसंभाव्य है।


निर्देशित ग्राफ़ के गैर-सममित आसन्न मैट्रिक्स के लिए, किसी को सामान्यीकरण के लिए डिग्री (ग्राफ़ सिद्धांत) चुनने की भी आवश्यकता होती है:
इस प्रकार से निर्देशित आरेख़ के गैर-सममित आसन्न आव्यूह के लिए, किसी को सामान्यीकरण के लिए घात (आरेख़ सिद्धांत) चुनने की भी आवश्यकता होती है:
{|class="wikitable"
{|class="wikitable"
! [[Adjacency matrix]]
! [[Adjacency matrix|संलग्नता आव्यूह]]
! Out-Degree matrix
! बाह्य-घात आव्यूह
! Out-Degree left normalized Laplacian
! बाह्य-घात बाएं सामान्यीकृत लाप्लासियन
! In-Degree matrix
! आंतरिक-घात आव्यूह
! In-Degree right normalized Laplacian
! आंतरिक-घात दाएँ सामान्यीकृत लाप्लासियन
|-
|-
| <math display="inline">\left(\begin{array}{rrr}
| <math display="inline">\left(\begin{array}{rrr}
Line 560: Line 558:
\end{array}\right)</math>
\end{array}\right)</math>
|}
|}
पंक्ति-योग के साथ लेफ्ट आउट-डिग्री सामान्यीकृत लाप्लासियन सभी 0 स्टोकेस्टिक मैट्रिक्स से संबंधित है <math>D_{\text{out}}^+A</math> , जबकि सभी 0 के कॉलम-योग के साथ डिग्री में सामान्यीकृत लाप्लासियन में स्टोकेस्टिक मैट्रिक्स शामिल है  <math>AD_{\text{in}}^+</math>.
अतः पंक्ति-योग सभी 0 के साथ बाएं बाह्य-घात सामान्यीकृत लाप्लासियन दाएँ प्रसंभाव्य आव्यूह <math>D_{\text{out}}^+A</math> से संबंधित है, जबकि सभी 0 के साथ दाएँ आंतरिक-घात सामान्यीकृत लाप्लासियन में बाएं प्रसंभाव्य आव्यूह <math>AD_{\text{in}}^+</math> सम्मिलित है।


====नकारात्मक भार====
====ऋणात्मक भार====
नकारात्मक भार सामान्यीकरण के लिए कई चुनौतियाँ प्रस्तुत करते हैं:
इस प्रकार से ऋणात्मक भार सामान्यीकरण के लिए कई आक्षेप प्रस्तुत करते हैं:
* नकारात्मक भार की उपस्थिति के परिणामस्वरूप गैर-पृथक शीर्षों के लिए स्वाभाविक रूप से शून्य पंक्ति- और/या स्तंभ-योग हो सकता है। सकारात्मक भारों की बड़ी पंक्ति-योग और समान रूप से नकारात्मक भारों की समान रूप से बड़ी पंक्ति-योग वाला शीर्ष, जिसका योग शून्य है, को भारी नोड माना जा सकता है और दोनों बड़े मानों को स्केल किया जा सकता है, जबकि विकर्ण प्रविष्टि शून्य रहती है, जैसे कि पृथक शीर्ष.
* ऋणात्मक भार की उपस्थिति के परिणामस्वरूप गैर-पृथक शीर्षों के लिए स्वाभाविक रूप से शून्य पंक्ति- और/या स्तंभ-योग हो सकता है। धनात्मक भारों की बड़ी पंक्ति-योग और समान रूप से ऋणात्मक भारों की समान रूप से बड़ी पंक्ति-योग वाला शीर्ष, जिसका योग शून्य है, को भारी नोड माना जा सकता है और दोनों बड़े मानों को सोपानी किया जा सकता है, जबकि विकर्ण प्रविष्टि शून्य रहती है, जैसे कि पृथक शीर्ष आदि।
* नकारात्मक भार नकारात्मक पंक्ति- और/या स्तंभ-योग भी दे सकते हैं, जिससे कि गैर-सामान्यीकृत लाप्लासियन मैट्रिक्स में संबंधित विकर्ण प्रविष्टि नकारात्मक होगी और सममित सामान्यीकरण के लिए आवश्यक सकारात्मक वर्गमूल मौजूद नहीं होगा।
* ऋणात्मक भार ऋणात्मक पंक्ति- और/या स्तंभ-योग भी दे सकते हैं, जिससे कि गैर-सामान्यीकृत लाप्लासियन आव्यूह में संबंधित विकर्ण प्रविष्टि ऋणात्मक होगी और सममित सामान्यीकरण के लिए आवश्यक धनात्मक वर्गमूल स्थित नहीं होगा।
* सामान्यीकरण के प्रयोजन के लिए पंक्ति- और/या स्तंभ-योग का पूर्ण मान लेने के लिए तर्क दिए जा सकते हैं, इस प्रकार संभावित मान -1 को सामान्यीकृत लाप्लासियन मैट्रिक्स के मुख्य विकर्ण की वैध इकाई प्रविष्टि के रूप में माना जा सकता है।
* सामान्यीकरण के प्रयोजन के लिए पंक्ति- और/या स्तंभ-योग का पूर्ण मान लेने के लिए तर्क दिए जा सकते हैं, इस प्रकार संभावित मान -1 को सामान्यीकृत लाप्लासियन आव्यूह के मुख्य विकर्ण की वैध इकाई प्रविष्टि के रूप में माना जा सकता है।


== गुण ==
== गुण ==
एक (अप्रत्यक्ष) ग्राफ़ G और उसके लाप्लासियन मैट्रिक्स L के लिए [[eigenvalues]] ​​​​के साथ <math display="inline">\lambda_0 \le \lambda_1 \le \cdots \le \lambda_{n-1}</math>:
इस प्रकार से एक (अप्रत्यक्ष) आरेख़ G और उसके लाप्लासियन आव्यूह L के लिए [[eigenvalues|आइगेनमान]] ​​​​ <math display="inline">\lambda_0 \le \lambda_1 \le \cdots \le \lambda_{n-1}</math> के साथ:


* L [[सममित मैट्रिक्स]] है.
* L [[सममित मैट्रिक्स|सममित आव्यूह]] है।
* एल [[सकारात्मक-निश्चित मैट्रिक्स]] है | सकारात्मक-अर्ध-निश्चित (अर्थात <math display="inline">\lambda_i \ge 0</math> सभी के लिए <math display="inline">i</math>). इसे इस तथ्य से देखा जा सकता है कि लाप्लासियन सममित और विकर्ण रूप से प्रभावशाली मैट्रिक्स#अनुप्रयोग और गुण है।
* L [[सकारात्मक-निश्चित मैट्रिक्स|धनात्मक-निश्चित आव्यूह]] (अर्थात सभी <math display="inline">i</math> के लिए <math display="inline">\lambda_i \ge 0</math> है) है। इसे इस तथ्य से देखा जा सकता है कि लाप्लासियन सममित और विकर्ण रूप से प्रभावशाली आव्यूह अनुप्रयोग और गुण है।
* एल [[एम-मैट्रिक्स]] है (इसकी ऑफ-विकर्ण प्रविष्टियाँ गैर-सकारात्मक हैं, फिर भी इसके स्वदेशी मानों के वास्तविक भाग गैर-नकारात्मक हैं)।
* L [[एम-मैट्रिक्स|एम-आव्यूह]] है (इसकी संवृत-विकर्ण प्रविष्टियाँ गैर-धनात्मक हैं, फिर भी इसके आइगेन मानों के वास्तविक भाग गैर-ऋणात्मक हैं)।
* L की प्रत्येक पंक्ति और स्तंभ का योग शून्य है। वास्तव में, योग में, शीर्ष की डिग्री को प्रत्येक पड़ोसी के लिए -1 के साथ जोड़ा जाता है।
* L की प्रत्येक पंक्ति और स्तंभ का योग शून्य है। वस्तुतः, योग में, शीर्ष की घात को प्रत्येक निकटवर्ती के लिए -1 के साथ जोड़ा जाता है।
* परिणामस्वरूप, <math display="inline">\lambda_0 = 0</math>, क्योंकि वेक्टर <math display="inline">\mathbf{v}_0 = (1, 1, \dots, 1)</math> संतुष्ट <math display="inline">L \mathbf{v}_0 = \mathbf{0} .</math> इसका तात्पर्य यह भी है कि लाप्लासियन मैट्रिक्स एकवचन है।
* परिणामस्वरूप, <math display="inline">\lambda_0 = 0</math>, क्योंकि सदिश <math display="inline">\mathbf{v}_0 = (1, 1, \dots, 1)</math>, <math display="inline">L \mathbf{v}_0 = \mathbf{0} </math> को संतुष्ट करता है। इसका तात्पर्य यह भी है कि लाप्लासियन आव्यूह एकवचन है।
* ग्राफ़ में कनेक्टेड कंपोनेंट (ग्राफ सिद्धांत) की संख्या लाप्लासियन के [[कर्नेल (रैखिक बीजगणित)]] का आयाम है और 0 आइगेनवैल्यू की आइगेनवैल्यू और आइजेनवेक्टर#बीजगणितीय बहुलता है।
* आरेख़ में सम्बद्ध अवयव (आरेख सिद्धांत) की संख्या लाप्लासियन के [[कर्नेल (रैखिक बीजगणित)]] का आयाम है और 0 आइगेनमान के आइगेनमान और आइगेनसदिश बीजगणितीय बहुलता है।
* L के सबसे छोटे गैर-शून्य eigenvalue को [[वर्णक्रमीय अंतराल]] कहा जाता है।
* L के सबसे छोटे गैर-शून्य आइगेनमान को [[वर्णक्रमीय अंतराल]] कहा जाता है।
* L का दूसरा सबसे छोटा eigenvalue (शून्य हो सकता है) G की बीजगणितीय कनेक्टिविटी (या फ़िडलर मान) है और ग्राफ़ के कट (ग्राफ_थ्योरी) #Sparsest कट का अनुमान लगाता है।
* L का दूसरा सबसे छोटा आइगेनमान (शून्य हो सकता है) G की बीजगणितीय संपर्क (या फ़िडलर मान) है और आरेख़ के कट (आरेख सिद्धांत) सबसे विरल कट का अनुमान लगाता है।
* लाप्लासियन फ़ंक्शंस के एन-डायमेंशनल वेक्टर स्पेस पर ऑपरेटर है <math display="inline">f : V \to \mathbb{R}</math>, कहाँ <math display="inline">V</math> G का शीर्ष समुच्चय है, और <math display="inline">n = |V|</math>.
* लाप्लासियन फलन <math display="inline">f : V \to \mathbb{R}</math> के एन-विमीय सदिश समष्टि पर संक्रियक है, जहाँ <math display="inline">V</math> G और <math display="inline">n = |V|</math> का शीर्ष समुच्चय है।
* जब G, [[के-नियमित ग्राफ]]|k-रेगुलर है, तो सामान्यीकृत लाप्लासियन है: <math display="inline">\mathcal{L} = \tfrac{1}{k} L = I - \tfrac{1}{k} A</math>, जहां A आसन्नता मैट्रिक्स है और I पहचान मैट्रिक्स है।
* जब G, [[के-नियमित ग्राफ|के-नियमित आरेख]] होता है, तो सामान्यीकृत लाप्लासियन होता है: <math display="inline">\mathcal{L} = \tfrac{1}{k} L = I - \tfrac{1}{k} A</math>, जहां A आसन्नता आव्यूह है और I तत्समक आव्यूह है।
* एकाधिक कनेक्टेड घटक (ग्राफ़ सिद्धांत) वाले ग्राफ़ के लिए, एल ब्लॉक मैट्रिक्स#ब्लॉक विकर्ण मैट्रिक्स मैट्रिक्स है, जहां प्रत्येक ब्लॉक प्रत्येक घटक के लिए संबंधित लाप्लासियन मैट्रिक्स है, संभवतः शीर्षों को पुन: व्यवस्थित करने के बाद (यानी एल क्रमपरिवर्तन-समान है) ब्लॉक विकर्ण मैट्रिक्स)।
* एकाधिक सम्बद्ध घटक (आरेख़ सिद्धांत) वाले आरेख़ के लिए, L कक्ष आव्यूह कक्ष विकर्ण आव्यूह आव्यूह है, जहां प्रत्येक कक्ष प्रत्येक घटक के लिए संबंधित लाप्लासियन आव्यूह है, संभवतः शीर्षों को पुन: व्यवस्थित करने के बाद है (अर्थात L कक्ष विकर्ण आव्यूह के समान क्रमपरिवर्तन है)।
* लाप्लासियन मैट्रिक्स एल का ट्रेस बराबर है <math display="inline">2m</math> कहाँ <math display="inline">m</math> विचारित ग्राफ़ के किनारों की संख्या है।
* लाप्लासियन आव्यूह L का ट्रेस <math display="inline">2m</math> के बराबर है जहां <math display="inline">m</math> विचारित आरेख़ के किनारों की संख्या है।
* अब eigendecomposition पर विचार करें <math display="inline">L</math>, यूनिट-मानक eigenvectors के साथ <math display="inline">\mathbf{v}_i</math> और संगत eigenvalues <math display="inline">\lambda_i</math>:
* अब इकाई-मानक आइगेन मान <math display="inline">\mathbf{v}_i</math> और संबंधित <math display="inline">\lambda_i</math>:
:<math>\begin{align}
:<math>\begin{align}
   \lambda_i & = \mathbf{v}_i^\textsf{T} L \mathbf{v}_i \\
   \lambda_i & = \mathbf{v}_i^\textsf{T} L \mathbf{v}_i \\
             & = \mathbf{v}_i^\textsf{T} M^\textsf{T} M \mathbf{v}_i \\
             & = \mathbf{v}_i^\textsf{T} M^\textsf{T} M \mathbf{v}_i \\
             & = \left(M \mathbf{v}_i\right)^\textsf{T} \left(M \mathbf{v}_i\right). \\
             & = \left(M \mathbf{v}_i\right)^\textsf{T} \left(M \mathbf{v}_i\right) \\
\end{align}</math>
\end{align}</math> के साथ <math display="inline">L</math>, के आइगेन अपघटन पर विचार करें।
क्योंकि <math display="inline">\lambda_i</math> वेक्टर के आंतरिक उत्पाद के रूप में लिखा जा सकता है <math display="inline">M \mathbf{v}_i</math> अपने आप से, यह पता चलता है <math display="inline">\lambda_i \ge 0</math> और इसलिए के eigenvalues <math display="inline">L</math> सभी गैर-नकारात्मक हैं.
क्योंकि <math display="inline">\lambda_i</math> को स्वयं सदिश <math display="inline">M \mathbf{v}_i</math> के आंतरिक गुणनफल के रूप में लिखा जा सकता है इससे ज्ञात होता है कि <math display="inline">\lambda_i \ge 0</math> और इसलिए <math display="inline">L</math> के आइगेनमान सभी गैर-ऋणात्मक हैं।
* सामान्यीकृत सममित लाप्लासियन के सभी eigenvalues ​​​​0 = μ को संतुष्ट करते हैं<sub>0</sub> ≤ … ≤ एम<sub>n−1</sub> ≤ 2. ये eigenvalues ​​(सामान्यीकृत लाप्लासियन के स्पेक्ट्रम के रूप में जाना जाता है) सामान्य ग्राफ़ के लिए अन्य ग्राफ़ अपरिवर्तनीयों से अच्छी तरह से संबंधित हैं।<ref name="Fan Chung" />
* सामान्यीकृत सममित लाप्लासियन के सभी आइगेनमान ​​​​0 = μ<sub>0</sub> ≤ … ≤ μ<sub>n−1</sub> ≤ 2 को संतुष्ट करते हैं। ये आइगेनमान ​​(सामान्यीकृत लाप्लासियन के वर्णक्रम के रूप में जाना जाता है) सामान्य आरेख़ के लिए अन्य आरेख़ अपरिवर्तनीयों से अच्छी तरह से संबंधित हैं।<ref name="Fan Chung" />


* कोई इसकी जाँच कर सकता है:
* कोई इसकी जाँच कर सकता है:
: <math>L^\text{rw} = I-D^{-\frac{1}{2}}\left(I - L^\text{sym}\right) D^\frac{1}{2}</math>,
: <math>L^\text{rw} = I-D^{-\frac{1}{2}}\left(I - L^\text{sym}\right) D^\frac{1}{2}</math>,


अर्थात।, <math display="inline">L^\text{rw}</math> सामान्यीकृत लाप्लासियन के लिए मैट्रिक्स_समानता है <math display="inline">L^\text{sym}</math>. इस कारण भले ही <math display="inline">L^\text{rw}</math> यह सामान्यतः सममित नहीं है, इसके वास्तविक स्वदेशी मान हैं - बिल्कुल सामान्यीकृत सममित लाप्लासियन के स्वदेशी मूल्यों के समान <math display="inline">L^\text{sym}</math>.
अर्थात, <math display="inline">L^\text{rw}</math> सामान्यीकृत लाप्लासियन <math display="inline">L^\text{sym}</math> के समान है। अतः इस कारण से, यद्यपि <math display="inline">L^\text{rw}</math> सामान्य रूप से सममित नहीं है, इसके वास्तविक आइगेन मान हैं - निश्चित सामान्यीकृत सममित लाप्लासियन <math display="inline">L^\text{sym}</math> के आइगेन मान के समान है।


== निरंतर लाप्लासियन का अनुमान लगाने वाले असतत लाप्लास ऑपरेटर के रूप में व्याख्या ==
== निरंतर लाप्लासियन का अनुमान लगाने वाले असतत लाप्लास संक्रियक के रूप में व्याख्या ==
ग्राफ़ लाप्लासियन मैट्रिक्स को परिमित अंतर विधि द्वारा प्राप्त नकारात्मक निरंतर लाप्लासियन ऑपरेटर का अनुमान लगाने वाले ग्राफ़ पर नकारात्मक असतत लाप्लास ऑपरेटर के मैट्रिक्स रूप के रूप में देखा जा सकता है।
आरेख़ लाप्लासियन आव्यूह को परिमित अंतर विधि द्वारा प्राप्त ऋणात्मक निरंतर लाप्लासियन संक्रियक का अनुमान लगाने वाले आरेख़ पर ऋणात्मक असतत लाप्लास संक्रियक के आव्यूह रूप के रूप में देखा जा सकता है। ([[असतत पॉइसन समीकरण]] देखें)<ref>{{citation
([[असतत पॉइसन समीकरण]] देखें)<ref>{{citation
  | last1 = Smola | first1 = Alexander J.
  | last1 = Smola | first1 = Alexander J.
  | last2 = Kondor | first2 = Risi
  | last2 = Kondor | first2 = Risi
Line 612: Line 609:
| isbn = 978-3-540-40720-1
| isbn = 978-3-540-40720-1
  | citeseerx = 10.1.1.3.7020
  | citeseerx = 10.1.1.3.7020
  }}.</ref> इस व्याख्या में, प्रत्येक ग्राफ शीर्ष को ग्रिड बिंदु के रूप में माना जाता है; शीर्ष की स्थानीय कनेक्टिविटी इस ग्रिड बिंदु पर परिमित अंतर सन्निकटन स्टेंसिल (संख्यात्मक विश्लेषण) निर्धारित करती है, ग्रिड का आकार हमेशा प्रत्येक किनारे के लिए होता है, और किसी भी ग्रिड बिंदु पर कोई बाधा नहीं होती है, जो सजातीय न्यूमैन के मामले से मेल खाती है सीमा की स्थिति, यानी, मुक्त सीमा। इस तरह की व्याख्या किसी को अनुमति देती है, उदाहरण के लिए, अनंत संख्या में शीर्षों और किनारों वाले ग्राफ़ के मामले में लाप्लासियन मैट्रिक्स को सामान्यीकृत करना, जिससे अनंत आकार का लाप्लासियन मैट्रिक्स बनता है।
  }}.</ref> इस व्याख्या में, प्रत्येक आरेख शीर्ष को ग्रिड बिंदु के रूप में माना जाता है; शीर्ष की स्थानीय संपर्क इस ग्रिड बिंदु पर परिमित अंतर सन्निकटन स्टेंसिल (संख्यात्मक विश्लेषण) निर्धारित करती है, ग्रिड का आकार सदैव प्रत्येक किनारे के लिए होता है, और किसी भी ग्रिड बिंदु पर कोई बाधा नहीं होती है, जो सजातीय न्यूमैन के स्थितियों से मेल खाती है सीमा की स्थिति, अर्थात, मुक्त सीमा। इस प्रकार की व्याख्या किसी को अनुमति देती है, इस प्रकार से उदाहरण के लिए, अनंत संख्या में शीर्षों और किनारों वाले आरेख़ के स्थितियों में लाप्लासियन आव्यूह को सामान्यीकृत करना, जिससे अनंत आकार का लाप्लासियन आव्यूह बनता है।


== लाप्लासियन मैट्रिक्स का सामान्यीकरण और विस्तार ==
== लाप्लासियन आव्यूह का सामान्यीकरण और विस्तार ==


=== सामान्यीकृत लाप्लासियन ===
=== सामान्यीकृत लाप्लासियन ===
सामान्यीकृत लाप्लासियन <math>Q</math> परिभाषित किया जाता है:<ref>{{cite book |last1= Godsil |first1=C. |last2= Royle |first2=G. |date=2001 |title=बीजगणितीय ग्राफ सिद्धांत, गणित में स्नातक ग्रंथ|publisher= Springer-Verlag}}</ref>
इस प्रकार से सामान्यीकृत लाप्लासियन <math>Q</math> को इस प्रकार परिभाषित किया गया है:<ref>{{cite book |last1= Godsil |first1=C. |last2= Royle |first2=G. |date=2001 |title=बीजगणितीय ग्राफ सिद्धांत, गणित में स्नातक ग्रंथ|publisher= Springer-Verlag}}</ref>
: <math>\begin{cases}
: <math>\begin{cases}
         Q_{i,j} < 0 & \mbox{if } i \neq j \mbox{ and } v_i \mbox{ is adjacent to } v_j\\
         Q_{i,j} < 0 & \mbox{if } i \neq j \mbox{ and } v_i \mbox{ is adjacent to } v_j\\
Line 626: Line 623:


=== चुंबकीय लाप्लासियन ===
=== चुंबकीय लाप्लासियन ===
आसन्न मैट्रिक्स की प्रविष्टियाँ जटिल-मूल्यवान हो सकती हैं, जिस स्थिति में मैट्रिक्स समरूपता की धारणा को [[हर्मिटियन मैट्रिक्स]] के साथ प्रतिस्थापित करने की आवश्यकता होती है। वास्तविक भार के साथ निर्देशित ग्राफ़ के लिए चुंबकीय लाप्लासियन <math>w_{ij}</math> जटिल संख्या प्रविष्टियों के साथ सममित लाप्लासियन और हर्मिटियन चरण मैट्रिक्स के Symmetric_matrix#Real_symmetric_matrices के [[हैडामर्ड उत्पाद (मैट्रिसेस)]] के रूप में निर्मित किया गया है।
आसन्न आव्यूह की प्रविष्टियाँ मिश्रित-मानित हो सकती हैं, जिस स्थिति में आव्यूह समरूपता की धारणा को [[हर्मिटियन मैट्रिक्स|हर्मिटियन आव्यूह]] के साथ प्रतिस्थापित करने की आवश्यकता होती है। अतः वास्तविक भार <math>w_{ij}</math> के साथ निर्देशित आरेख़ के लिए चुंबकीय लाप्लासियन का निर्माण मिश्रित प्रविष्टियों
:<math>\gamma_q(i, j) = e^{i2 \pi q(w_{ij}-w_{ji})}</math>
:<math>\gamma_q(i, j) = e^{i2 \pi q(w_{ij}-w_{ji})}</math>
जो जटिल तल में किनारे की दिशा को चरण में कूटबद्ध करता है।
के साथ सममित लाप्लासियन और हर्मिटियन चरण आव्यूह के वास्तविक सममित आव्यूह के [[हैडामर्ड उत्पाद (मैट्रिसेस)|हैडामर्ड गुणनफल (आव्यूह)]] के रूप में किया गया है जो जटिल तल में चरण में किनारे की दिशा को एन्कोड करता है। क्वांटम भौतिकी के संदर्भ में, चुंबकीय लाप्लासियन की व्याख्या उस संक्रियक के रूप में की जा सकती है जो आरेख पर मुक्त आवेशित कण की घटना विज्ञान का वर्णन करता है, जो एक चुंबकीय क्षेत्र की क्रिया के अधीन है और पैरामीटर <math>q</math> को विद्युत आवेश कहा जाता है।<ref>{{cite conference|title=हर्मिटियन लाप्लासियन पर आधारित निर्देशित ग्राफ़ के लिए ग्राफ़ सिग्नल प्रोसेसिंग| conference=ECML PKDD 2019: Machine Learning and Knowledge Discovery in Databases |pages=447–463 |year=2020|doi= 10.1007/978-3-030-46150-8_27|url=https://ecmlpkdd2019.org/downloads/paper/499.pdf |author1=Satoshi Furutani |author2=Toshiki Shibahara|author3= Mitsuaki Akiyama|author4= Kunio Hato|author5=Masaki Aida }}</ref> निम्नलिखित उदाहरण में <math>q=1/4</math>:
क्वांटम भौतिकी के संदर्भ में, चुंबकीय लाप्लासियन की व्याख्या उस ऑपरेटर के रूप में की जा सकती है जो ग्राफ पर मुक्त आवेशित कण की घटना विज्ञान का वर्णन करता है, जो चुंबकीय क्षेत्र और पैरामीटर की कार्रवाई के अधीन है <math>q</math> विद्युत आवेश कहलाता है।<ref>{{cite conference|title=हर्मिटियन लाप्लासियन पर आधारित निर्देशित ग्राफ़ के लिए ग्राफ़ सिग्नल प्रोसेसिंग| conference=ECML PKDD 2019: Machine Learning and Knowledge Discovery in Databases |pages=447–463 |year=2020|doi= 10.1007/978-3-030-46150-8_27|url=https://ecmlpkdd2019.org/downloads/paper/499.pdf |author1=Satoshi Furutani |author2=Toshiki Shibahara|author3= Mitsuaki Akiyama|author4= Kunio Hato|author5=Masaki Aida }}</ref>
निम्नलिखित उदाहरण में <math>q=1/4</math>:
{|class="wikitable"
{|class="wikitable"
! [[Adjacency matrix]]
! [[Adjacency matrix|संलग्नता आव्यूह]]
! Symmetrized Laplacian
! सममित Laplacian
! Phase matrix
! Phase matrix
! Magnetic Laplacian
! Magnetic Laplacian
Line 665: Line 660:
=== विकृत लाप्लासियन ===
=== विकृत लाप्लासियन ===


विकृत लाप्लासियन को आमतौर पर इस प्रकार परिभाषित किया जाता है
इस प्रकार से विकृत लाप्लासियन को सामान्यतः


:<math>\Delta(s) = I - sA + s^2(D - I)</math>
:<math>\Delta(s) = I - sA + s^2(D - I)</math>
जहां I पहचान मैट्रिक्स है, A आसन्न मैट्रिक्स है, D डिग्री मैट्रिक्स है, और s (जटिल-मूल्यवान) संख्या है। <ref>{{cite journal |title=विकृत आम सहमति प्रोटोकॉल|first=F. |last=Morbidi |journal=Automatica |volume=49 |number=10 |pages=3049–3055 |year=2013 |doi=10.1016/j.automatica.2013.07.006|s2cid=205767404 |url=http://hal.archives-ouvertes.fr/docs/00/96/14/91/PDF/Morbidi_AUTO13_ExtVer.pdf }}</ref><br /> मानक लाप्लासियन बस है <math display="inline">\Delta(1)</math> और <math display="inline">\Delta(-1) = D + A</math> चिन्हहीन लाप्लासियन है।
के रूप में परिभाषित किया जाता है जहां I तत्समक आव्यूह है, A आसन्न आव्यूह है, D घात आव्यूह है, और s (मिश्रित-मानित) संख्या है। <ref>{{cite journal |title=विकृत आम सहमति प्रोटोकॉल|first=F. |last=Morbidi |journal=Automatica |volume=49 |number=10 |pages=3049–3055 |year=2013 |doi=10.1016/j.automatica.2013.07.006|s2cid=205767404 |url=http://hal.archives-ouvertes.fr/docs/00/96/14/91/PDF/Morbidi_AUTO13_ExtVer.pdf }}</ref><br /> मानक लाप्लासियन मात्र <math display="inline">\Delta(1)</math> और <math display="inline">\Delta(-1) = D + A</math> है जो चिन्ह रहित लाप्लासियन है।


=== साइनलेस लाप्लासियन ===
=== चिह्नहीन लाप्लासियन ===
साइनलेस लाप्लासियन को इस प्रकार परिभाषित किया गया है
अतः इस प्रकार से चिह्नहीन लाप्लासियन को  
:<math>Q = D + A</math>
:<math>Q = D + A</math>
कहाँ  <math>D</math> डिग्री मैट्रिक्स है, और <math>A</math> आसन्नता मैट्रिक्स है.<ref>{{Cite journal|last1=Cvetković|first1=Dragoš|last2=Simić|first2=Slobodan K.|date=2010|journal=Applicable Analysis and Discrete Mathematics|volume=4|issue=1|pages=156–166|issn=1452-8630|jstor=43671298|title=साइनलेस लाप्लासियन पर आधारित ग्राफ़ के एक वर्णक्रमीय सिद्धांत की ओर, III|doi=10.2298/AADM1000001C}}</ref> हस्ताक्षरित लाप्लासियन की तरह <math>L</math>, साइनलेस लाप्लासियन <math>Q</math> यह सकारात्मक अर्ध-निश्चित भी है क्योंकि इसे इस रूप में गुणनखंडित किया जा सकता है
के रूप में परिभाषित किया जाता है, जहाँ <math>D</math> घात आव्यूह है, और <math>A</math> आसन्नता आव्यूह है।<ref>{{Cite journal|last1=Cvetković|first1=Dragoš|last2=Simić|first2=Slobodan K.|date=2010|journal=Applicable Analysis and Discrete Mathematics|volume=4|issue=1|pages=156–166|issn=1452-8630|jstor=43671298|title=साइनलेस लाप्लासियन पर आधारित ग्राफ़ के एक वर्णक्रमीय सिद्धांत की ओर, III|doi=10.2298/AADM1000001C}}</ref> हस्ताक्षरित लाप्लासियन <math>L</math> के जैसे, चिह्नहीन लाप्लासियन <math>Q</math> भी धनात्मक अर्ध-निश्चित है क्योंकि इसे
:<math>Q = RR^\textsf{T}</math>
:<math>Q = RR^\textsf{T}</math>
कहाँ <math display="inline">R</math> घटना मैट्रिक्स है. <math>Q</math> इसमें 0-ईजेनवेक्टर है यदि और केवल तभी जब इसमें पृथक शीर्षों के अलावा कोई द्विदलीय जुड़ा घटक हो। इसे इस प्रकार दर्शाया जा सकता है
के रूप में गुणनखंडित किया जा सकता है, जहाँ <math display="inline">R</math> घटना आव्यूह है। <math>Q</math> के निकट 0-आइगेनसदिश है यदि और मात्र तभी जब इसमें पृथक शीर्षों के अतिरिक्त कोई द्विसमूह जुड़ा घटक हो। इसे
:<math>\mathbf{x}^\textsf{T} Q \mathbf{x} = \mathbf{x}^\textsf{T} R R^\textsf{T} \mathbf{x} \implies R^\textsf{T} \mathbf{x} = \mathbf{0}.</math>
इसका समाधान कहां है <math>\mathbf{x} \neq \mathbf{0}</math> यदि और केवल यदि ग्राफ़ में द्विदलीय जुड़ा हुआ घटक है।


=== निर्देशित मल्टीग्राफ ===
<math>\mathbf{x}^\textsf{T} Q \mathbf{x} = \mathbf{x}^\textsf{T} R R^\textsf{T} \mathbf{x} \implies R^\textsf{T} \mathbf{x} = \mathbf{0}</math> के रूप में दिखाया जा सकता है।
निर्देशित मल्टीग्राफ के लिए लाप्लासियन मैट्रिक्स का एनालॉग परिभाषित किया जा सकता है।<ref name="Chaiken1978">{{cite journal
 
इस प्रकार से इसका एक हल है जहाँ <math>\mathbf{x} \neq \mathbf{0}</math> यदि और मात्र यदि आरेख़ में द्विदलीय जुड़ा हुआ घटक है।
 
=== निर्देशित बहुआरेख ===
इस प्रकार से निर्देशित बहुआरेख के लिए लाप्लासियन आव्यूह का एनालॉग परिभाषित किया जा सकता है।<ref name="Chaiken1978">{{cite journal
  | title = Matrix Tree Theorems  
  | title = Matrix Tree Theorems  
  | author1=Chaiken, S. | author2=Kleitman, D. | author-link2=Daniel Kleitman
  | author1=Chaiken, S. | author2=Kleitman, D. | author-link2=Daniel Kleitman
Line 691: Line 688:
  | doi=10.1016/0097-3165(78)90067-5
  | doi=10.1016/0097-3165(78)90067-5
| doi-access = free
| doi-access = free
  }}</ref> इस मामले में लाप्लासियन मैट्रिक्स एल को इस प्रकार परिभाषित किया गया है
  }}</ref> इस स्थितियों में लाप्लासियन आव्यूह L को
:<math>L = D - A</math>
:<math>L = D - A</math>
जहां D, D के साथ विकर्ण मैट्रिक्स है<sub>''i'',''i''</sub> शीर्ष i और A की आउटडिग्री के बराबर, A के साथ मैट्रिक्स है<sub>''i'',''j''</sub> i से j तक किनारों की संख्या के बराबर (लूप सहित)।
के रूप में परिभाषित किया गया है, जहां D एक विकर्ण आव्यूह है, जिसमें D<sub>''i'',''i''</sub> शीर्ष i की बाह्यघात के बराबर है और A एक आव्यूह है जिसमें A<sub>''i'',''j''</sub> i से j तक किनारों की संख्या के बराबर है (पाश सहित)।


== ओपन सोर्स सॉफ़्टवेयर कार्यान्वयन ==
== ओपन सोर्स सॉफ़्टवेयर कार्यान्वयन ==
* [[SciPy]]<ref>{{Cite web|url=https://github.com/scipy/scipy/blob/main/scipy/sparse/csgraph/_laplacian.py|title=SciPy|website=[[GitHub]]|date=24 March 2022}}</ref>
* [[SciPy|साईंपाई]]<ref>{{Cite web|url=https://github.com/scipy/scipy/blob/main/scipy/sparse/csgraph/_laplacian.py|title=SciPy|website=[[GitHub]]|date=24 March 2022}}</ref>
* [[नेटवर्कएक्स]]<ref>{{Cite web|url=https://github.com/networkx/networkx/blob/main/networkx/linalg/laplacianmatrix.py|title=नेटवर्कएक्स|website=[[GitHub]]|date=24 March 2022}}</ref>
* [[नेटवर्कएक्स]]<ref>{{Cite web|url=https://github.com/networkx/networkx/blob/main/networkx/linalg/laplacianmatrix.py|title=नेटवर्कएक्स|website=[[GitHub]]|date=24 March 2022}}</ref>
== एप्लीकेशन सॉफ्टवेयर ==
== एप्लीकेशन सॉफ्टवेयर ==
* [[स्किकिट-लर्न]] स्पेक्ट्रल क्लस्टरिंग<ref>{{Cite web|url=https://scikit-learn.org/stable/modules/clustering.html#spectral-clustering|title=2.3. Clustering}}</ref>
* [[स्किकिट-लर्न]] स्पेक्ट्रल क्लस्टरिंग<ref>{{Cite web|url=https://scikit-learn.org/stable/modules/clustering.html#spectral-clustering|title=2.3. Clustering}}</ref>
* PyGSP: पायथन में ग्राफ़ सिग्नल प्रोसेसिंग<ref>{{Cite web|url=https://github.com/epfl-lts2/pygsp|title = PyGSP: Graph Signal Processing in Python|website = [[GitHub]]|date = 23 March 2022}}</ref>
* पाईजीएसपी: पायथन में आरेख़ संकेत प्रोसेसिंग<ref>{{Cite web|url=https://github.com/epfl-lts2/pygsp|title = PyGSP: Graph Signal Processing in Python|website = [[GitHub]]|date = 23 March 2022}}</ref>
* मेगामैन: लाखों अंकों के लिए मैनिफोल्ड लर्निंग<ref>{{Cite web|url=https://github.com/mmp2/megaman|title = Megaman: Manifold Learning for Millions of Points|website = [[GitHub]]|date = 14 March 2022}}</ref>
* मेगामैन: लाखों अंकों के लिए मैनिफोल्ड लर्निंग<ref>{{Cite web|url=https://github.com/mmp2/megaman|title = Megaman: Manifold Learning for Millions of Points|website = [[GitHub]]|date = 14 March 2022}}</ref>
* चिकनीजी<ref>{{Cite web|url=https://github.com/LLNL/smoothG|title = स्मूथजी|website = [[GitHub]]|date = 17 September 2020}}</ref>
* स्मूथजी<ref>{{Cite web|url=https://github.com/LLNL/smoothG|title = स्मूथजी|website = [[GitHub]]|date = 17 September 2020}}</ref>
* डायनामिक ग्राफ़ के लिए लाप्लासियन चेंज पॉइंट डिटेक्शन (KDD 2020)<ref>{{Cite web|url=https://complexdatalabmcgill.github.io/papers/post-andy-kdd2020paper/|title=Announcing Our Paper at KDD 2020}}</ref>
* डायनामिक आरेख़ के लिए लाप्लासियन परिवर्तन बिंदु संसूचन (केडीडी 2020)<ref>{{Cite web|url=https://complexdatalabmcgill.github.io/papers/post-andy-kdd2020paper/|title=Announcing Our Paper at KDD 2020}}</ref>
* लाप्लासियनऑप्ट (लाप्लासियन के भारित ग्राफ़ के दूसरे आइगेनवैल्यू को अधिकतम करने के लिए जूलिया पैकेज) <ref>{{Cite web|url=https://github.com/harshangrjn/LaplacianOpt.jl|title = Harshangrjn/LaplacianOpt.jl|website = [[GitHub]]|date = 2 February 2022}}</ref>
* लाप्लासियनऑप्ट (लाप्लासियन के भारित आरेख़ के दूसरे आइगेनमान को अधिकतम करने के लिए जूलिया पैकेज) <ref>{{Cite web|url=https://github.com/harshangrjn/LaplacianOpt.jl|title = Harshangrjn/LaplacianOpt.jl|website = [[GitHub]]|date = 2 February 2022}}</ref>
* LigMG (बड़ा अनियमित ग्राफ़ मल्टीग्रिड)<ref>{{Cite web|url=https://github.com/ligmg/ligmg|title=LigMG (बड़ा अनियमित ग्राफ़ मल्टीग्रिड) - बड़े अनियमित ग्राफ़ के लिए एक वितरित मेमोरी ग्राफ़ लाप्लासियन सॉल्वर|website=[[GitHub]]|date=5 January 2022}}</ref>
* LigMG (बड़ा अनियमित आरेख़ बहुग्रिड)<ref>{{Cite web|url=https://github.com/ligmg/ligmg|title=LigMG (बड़ा अनियमित ग्राफ़ मल्टीग्रिड) - बड़े अनियमित ग्राफ़ के लिए एक वितरित मेमोरी ग्राफ़ लाप्लासियन सॉल्वर|website=[[GitHub]]|date=5 January 2022}}</ref>
* लाप्लासियंस.जे.एल<ref>{{Cite web|url=https://github.com/danspielman/लाप्लासियंस.जे.एल|title = लाप्लासियंस.जे.एल|website = [[GitHub]]|date = 11 March 2022}}</ref>
* लाप्लासियंस.जेएल<ref>{{Cite web|url=https://github.com/danspielman/लाप्लासियंस.जे.एल|title = लाप्लासियंस.जे.एल|website = [[GitHub]]|date = 11 March 2022}}</ref>
== यह भी देखें ==
== यह भी देखें ==
*[[कठोरता मैट्रिक्स]]
*[[कठोरता मैट्रिक्स|संदृढ़ता आव्यूह]]
*[[प्रतिरोध दूरी]]
*[[प्रतिरोध दूरी]]
*[[संक्रमण दर मैट्रिक्स]]
*[[संक्रमण दर मैट्रिक्स|संक्रमण दर आव्यूह]]
*[[परिमित भारित ग्राफ़ पर गणना]]
*[[परिमित भारित ग्राफ़ पर गणना|परिमित भारित आरेख़ पर गणना]]
*[[ग्राफ फूरियर रूपांतरण]]
*[[ग्राफ फूरियर रूपांतरण|आरेख फूरियर रूपांतरण]]


== संदर्भ ==
== संदर्भ ==
{{reflist}}
{{reflist}}
{{Matrix classes}}
[[Category: बीजगणितीय ग्राफ सिद्धांत]] [[Category: मैट्रिसेस]] [[Category: संख्यात्मक अंतर समीकरण]]


[[Category: Machine Translated Page]]
[[Category:Collapse templates]]
[[Category:Created On 09/07/2023]]
[[Category:Created On 09/07/2023]]
[[Category:Lua-based templates]]
[[Category:Machine Translated Page]]
[[Category:Navigational boxes| ]]
[[Category:Navigational boxes without horizontal lists]]
[[Category:Pages with empty portal template]]
[[Category:Pages with maths render errors]]
[[Category:Pages with script errors]]
[[Category:Portal-inline template with redlinked portals]]
[[Category:Sidebars with styles needing conversion]]
[[Category:Template documentation pages|Documentation/doc]]
[[Category:Templates Vigyan Ready]]
[[Category:Templates generating microformats]]
[[Category:Templates that add a tracking category]]
[[Category:Templates that are not mobile friendly]]
[[Category:Templates that generate short descriptions]]
[[Category:Templates using TemplateData]]
[[Category:Wikipedia metatemplates]]
[[Category:बीजगणितीय ग्राफ सिद्धांत]]
[[Category:मैट्रिसेस]]
[[Category:संख्यात्मक अंतर समीकरण]]

Latest revision as of 15:40, 4 September 2023

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

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

लाप्लासियन आव्यूह साधारण आरेख के लिए परिभाषित करना सबसे सरल है, परन्तु ग्लोसरी ऑफ आरेख सिद्धांत वेटेड आरेख के लिए अनुप्रयोगों में अधिक सामान्य है, अर्थात, इसके किनारों पर भार के साथ - आरेख आसन्न आव्यूह की प्रविष्टियां। अतः वर्णक्रमीय आरेख सिद्धांत आरेख के गुणों को वर्णक्रम से जोड़ता है, अर्थात, आइगेनमान, और आरेख से जुड़े आव्यूह के आइगेनसदिश, जैसे कि इसकी आसन्न आव्यूह या लाप्लासियन आव्यूह है। असंतुलित भार आव्यूह वर्णक्रम को अवांछित रूप से प्रभावित कर सकता है, जिससे सामान्यीकरण की आवश्यकता होती है - आव्यूह प्रविष्टियों का स्तम्भ/पंक्ति सोपानी - जिसके परिणामस्वरूप सामान्यीकृत आसन्नता और लाप्लासियन आव्यूह होते हैं।

सरल आरेख़ के लिए परिभाषाएँ

लाप्लासियन आव्यूह

इस प्रकार से शीर्ष के साथ एक सरल आरेख को देखते हुए, इसके लाप्लासियन आव्यूह को अवयव-वार[1]

के रूप में या आव्यूह

द्वारा समकक्ष रूप से परिभाषित किया गया है, जहां D घात आव्यूह है और A आरेख़ का आसन्न आव्यूह है। चूँकि सरल आरेख है, में मात्र 1s या 0s हैं और इसके विकर्ण अवयव सभी 0s हैं।

इस प्रकार से यहां लेबल, अप्रत्यक्ष आरेख़ और उसके लाप्लासियन आव्यूह का सरल उदाहरण दिया गया है।

लेबल आव्यूह घात आव्यूह संलग्नता आव्यूह लाप्लासियन आव्यूह
6n-graf.svg

हम अप्रत्यक्ष आरेख़ के लिए देखते हैं कि आसन्न आव्यूह और लाप्लासियन आव्यूह दोनों सममित हैं, और लाप्लासियन आव्यूह की पंक्ति और स्तंभ-योग सभी शून्य हैं।

इस प्रकार से निर्देशित आरेखके लिए, या तो घात (आरेख़ सिद्धांत) का उपयोग किया जा सकता है, जो कि अनुप्रयोग पर निर्भर करता है, जैसा कि निम्नलिखित उदाहरण में है:

लेबल आव्यूह संलग्नता आव्यूह बाह्य-घात आव्यूह बाह्य-घात लाप्लासियन आंतरिक-घात आव्यूह आंतरिक-घात लाप्लासियन
3 node Directed graph.png

निर्देशित आरेख़ में, आसन्न आव्यूह और लाप्लासियन आव्यूह दोनों असममित हैं। इसके लाप्लासियन आव्यूह में, स्तम्भ-योग या पंक्ति-योग शून्य हैं, यह इस बात पर निर्भर करता है कि घात (आरेख़ सिद्धांत) का उपयोग किया गया है या नहीं।

घटना आव्यूह के माध्यम से सममित लाप्लासियन

इस प्रकार से शीर्ष v और किनारे e के लिए अवयव Bve के साथ घटना आव्यूह B (शीर्ष और को, i > j से जोड़ता है) को

द्वारा परिभाषित किया गया है।

यद्यपि इस परिभाषा में किनारों को तकनीकी रूप से निर्देशित किया गया है, उनकी दिशाएँ यादृच्छिक रूप से हो सकती हैं, फिर भी परिणाम समान सममित लाप्लासियन आव्यूह L को

के रूप में परिभाषित किया गया है जहां B का परिवर्त आव्यूह है।

अप्रत्यक्ष आरेख घटना आव्यूह लाप्लासियन आव्यूह
Labeled undirected graph.svg

एक वैकल्पिक गुणनफल तथाकथित शीर्ष-आधारित लाप्लासियन को परिभाषित करता है, जो मूल रूप से उपयोग किए जाने वाले शीर्ष-आधारित लाप्लासियन आव्यूह L के विपरीत है।

निर्देशित आरेख़ के लिए सममित लाप्लासियन

इस प्रकार से एक निर्देशित आरेख का लाप्लासियन आव्यूह परिभाषा के अनुसार सामान्यतः गैर-सममित होता है, जबकि, इस प्रकार से उदाहरण के लिए, पारंपरिक वर्णक्रमीय क्लस्टरिंग मुख्य रूप से सममित आसन्नता और लाप्लासियन आव्यूह के साथ अप्रत्यक्ष आरेख के लिए विकसित की जाती है। अतः समरूपता की आवश्यकता वाली तकनीकों को लागू करने के लिए तुच्छ दृष्टिकोण मूल निर्देशित आरेख को अप्रत्यक्ष आरेख में बदलना और बाद के लिए लाप्लासियन आव्यूह का निर्माण करना है।

आव्यूह संकेतन में, अप्रत्यक्ष आरेख़ के आसन्न आव्यूह को, इस प्रकार से उदाहरण के लिए, मूल निर्देशित आरेख़ के आसन्न आव्यूह के OR गेट के रूप में परिभाषित किया जा सकता है और इसका आव्यूह का परिवर्त है, जहां की शून्य और एक प्रविष्टियाँ हैं मानों को संख्यात्मक के अतिरिक्त तार्किक माना जाए, जैसा कि निम्नलिखित उदाहरण में है:

संलग्नता आव्यूह सममित आसन्नता सममित लाप्लासियन आव्यूह

लाप्लासियन आव्यूह सामान्यीकरण

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

सममित रूप से सामान्यीकृत लाप्लासियन

इस प्रकार से सममित रूप से सामान्यीकृत लाप्लासियन आव्यूह को इस प्रकार परिभाषित किया गया है:[1]

जहाँ मूर-पेनरोज़ व्युत्क्रम है।

के अवयव इस प्रकार

द्वारा दिए गए हैं।

अतः सममित रूप से सामान्यीकृत लाप्लासियन आव्यूह सममित है यदि और मात्र यदि आसन्न आव्यूह सममित है।

संलग्नता आव्यूह घात आव्यूह सामान्यीकृत लाप्लासियन

इस प्रकार से निर्देशित आरेख़ के गैर-सममित आसन्न आव्यूह के लिए, किसी भी घात (आरेख़ सिद्धांत) का उपयोग सामान्यीकरण के लिए किया जा सकता है:

संलग्नता आव्यूह बाह्य-घात आव्यूह बाह्य-घात सामान्यीकृत लाप्लासियन आंतरिक-घात आव्यूह आंतरिक-घात सामान्यीकृत लाप्लासियन

बाएँ (यादृच्छिक-चाल) और दाएँ सामान्यीकृत लाप्लासियन

इस प्रकार से बाएं (यादृच्छिक-चाल) सामान्यीकृत लाप्लासियन आव्यूह को इस प्रकार परिभाषित किया गया है:

जहाँ मूर-पेनरोज़ व्युत्क्रम है। के अवयव

द्वारा दिये गये हैं।

अतः इसी प्रकार, दाएं सामान्यीकृत लाप्लासियन आव्यूह को

के रूप में परिभाषित किया गया है।

यदि सभी पृथक शीर्षों के तुच्छ स्थितियों को छोड़कर, आसन्न आव्यूह सममित है, तो बाएँ या दाएँ सामान्यीकृत लाप्लासियन आव्यूह सममित नहीं है। इस प्रकार से उदाहरण के लिए,

संलग्नता आव्यूह घात आव्यूह बाएं सामान्यीकृत लाप्लासियन दाएँ सामान्यीकृत लाप्लासियन

उदाहरण यह भी दर्शाता है कि यदि में कोई पृथक शीर्ष नहीं है, तो दाएं प्रसंभाव्य आव्यूह और इसलिए यह एक यादृच्छिक चाल का आव्यूह है, ताकि बाएं सामान्यीकृत लाप्लासियन में प्रत्येक पंक्ति का योग शून्य हो। इस प्रकार हम कभी-कभी वैकल्पिक रूप से को यादृच्छिक-चाल सामान्यीकृत लाप्लासियन कहते हैं। कम असामान्य रूप से उपयोग किए जाने वाले दाएं सामान्यीकृत लाप्लासियन में प्रत्येक स्तम्भ का योग शून्य होता है क्योंकि को प्रसंभाव्य छोड़ दिया जाता है।

इस प्रकार से निर्देशित आरेख़ के गैर-सममित आसन्न आव्यूह के लिए, किसी को सामान्यीकरण के लिए घात (आरेख़ सिद्धांत) चुनने की भी आवश्यकता होती है:

संलग्नता आव्यूह बाह्य-घात आव्यूह बाह्य-घात बाएं सामान्यीकृत लाप्लासियन आंतरिक-घात आव्यूह आंतरिक-घात दाएँ सामान्यीकृत लाप्लासियन

पंक्ति-योग सभी 0 के साथ बाएं बाह्य-घात सामान्यीकृत लाप्लासियन दाएं प्रसंभाव्य आव्यूह से संबंधित है, जबकि स्तम्भ-योग सभी 0 के साथ दाएं आंतरिक-घात सामान्यीकृत लाप्लासियन में बाएं प्रसंभाव्य आव्यूह सम्मिलित है।

भारित किनारों वाले आरेख़ के लिए परिभाषाएँ

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

लाप्लासियन आव्यूह

इस प्रकार से लाप्लासियन आव्यूह को

द्वारा परिभाषित किया गया है, जहां D घात आव्यूह है और A आरेख़ का आसन्न आव्यूह है।

इस प्रकार से निर्देशित आरेख़ के लिए, या तो घात (आरेख़ सिद्धांत) का उपयोग किया जा सकता है, जो कि अनुप्रयोग पर निर्भर करता है, जैसा कि निम्नलिखित उदाहरण में है:

संलग्नता आव्यूह आंतरिक-घात आव्यूह आंतरिक-घात लाप्लासियन बाह्य-घात आव्यूह बाह्य-घात लाप्लासियन

आरेख़ स्वयं-पाश, जो आसन्न आव्यूह के मुख्य विकर्ण पर गैर-शून्य प्रविष्टियों द्वारा स्वयं को प्रकट करते हैं, इसकी अनुमति है परन्तु आरेख़ लाप्लासियन मानों को प्रभावित नहीं करते हैं।

घटना आव्यूह के माध्यम से सममित लाप्लासियन

एक 2-विमीय स्प्रिंग प्रणाली।

भारित किनारों वाले आरेख़ के लिए कोई भारित घटना आव्यूह B को परिभाषित कर सकता है और इसका उपयोग के रूप में संबंधित सममित लाप्लासियन के निर्माण के लिए कर सकता है। यहां वर्णित वैकल्पिक स्पष्ट दृष्टिकोण, भार को संपर्क से अलग करना है: नियमित आरेख़ के लिए घटना आव्यूह का उपयोग करना जारी रखें और मात्र भार के मान रखने वाले आव्यूह को प्रस्तुत करें। स्प्रिंग प्रणाली इस मॉडल का उदाहरण है जिसका उपयोग यांत्रिकी में दी गई संदृढ़ता और इकाई लंबाई के स्प्रिंग की प्रणाली का वर्णन करने के लिए किया जाता है, जहां संदृढ़ता के मान आरेख किनारों के भार की भूमिका निभाते हैं।

इस प्रकार हम शीर्ष v के लिए Bve और

द्वारा परिभाषित किनारे e के साथ भारहीन घटना आव्यूह B की परिभाषा का पुन: उपयोग करते हैं।

अब हम विकर्ण आव्यूह W को भी परिभाषित करते हैं जिसमें किनारे का भार होता है। यद्यपि B की परिभाषा में किनारों को तकनीकी रूप से निर्देशित किया गया है, उनकी दिशाएं यादृच्छिक रूप से हो सकती हैं, फिर भी समान सममित लाप्लासियन आव्यूह L को

के रूप में परिभाषित किया गया है जहाँ B का परिवर्त है।

इस प्रकार से निर्माण को निम्नलिखित उदाहरण में दर्शाया गया है, जहां प्रत्येक किनारे को के साथ भार मान i दिया गया है।

अप्रत्यक्ष आरेख घटना आव्यूह किनारे भार लाप्लासियन आव्यूह
Labeled undirected graph.svg

निर्देशित आरेख़ के लिए सममित लाप्लासियन

साधारण आरेख़ के जैसे, निर्देशित भारित आरेख़ का लाप्लासियन आव्यूह परिभाषा के अनुसार सामान्यतः गैर-सममित होता है। लाप्लासियन के निर्माण से पहले मूल निर्देशित आरेख को अप्रत्यक्ष आरेख में बदलकर समरूपता लागू की जा सकती है। अप्रत्यक्ष आरेख़ के आसन्न आव्यूह को, इस प्रकार से उदाहरण के लिए, मूल निर्देशित आरेख़ के आसन्न आव्यूह के योग के रूप में परिभाषित किया जा सकता है और इसका आव्यूह निम्नलिखित उदाहरण के अनुसार का परिवर्त है:

संलग्नता आव्यूह सममित संलग्नता आव्यूह सममित लाप्लासियन आव्यूह

जहाँ की शून्य और एक प्रविष्टियाँ को सरल आरेख, मानों के लिए तार्किक के अतिरिक्त संख्यात्मक माना जाता है, जो परिणामों में अंतर को समझाते हैं - सरल आरेख के लिए, सममित आरेख को अभी भी सरल होने की आवश्यकता है, इसके सममित आसन्न आव्यूह में मात्र तार्किक होना चाहिए, संख्यात्मक मान नहीं, इस प्रकार से उदाहरण के लिए, तार्किक योग 1 v 1 = 1 है, जबकि संख्यात्मक योग 1 + 1 = 2 है।

इस प्रकार से वैकल्पिक रूप से, सममित लाप्लासियन आव्यूह की गणना घात (आरेख सिद्धांत) का उपयोग करके दो लाप्लासियन से की जा सकती है, जैसा कि निम्नलिखित उदाहरण में है:

संलग्नता आव्यूह बाह्य-घात आव्यूह बाह्य-घात लाप्लासियन आंतरिक-घात आव्यूह आंतरिक-घात लाप्लासियन

अतः इस प्रकार से बाह्य-घात लाप्लासियन परिवर्त और आंतरिक-घात लाप्लासियन का योग सममित लाप्लासियन आव्यूह के बराबर होता है।

लाप्लासियन आव्यूह सामान्यीकरण

सामान्यीकरण का लक्ष्य, सरल आरेख़ के जैसे, लाप्लासियन आव्यूह की विकर्ण प्रविष्टियों को सभी इकाई बनाना है, साथ ही ऑफ-विकर्ण प्रविष्टियों को तदनुसार सोपानी करना है। ग्लोसरी ऑफ आरेख सिद्धांत वेटेड आरेख में, शीर्ष में जुड़े हुए किनारों की छोटी संख्या के कारण बड़ी घात हो सकती है, परन्तु बड़े भार के साथ-साथ इकाई भार के साथ बड़ी संख्या में जुड़े किनारों के कारण भी है।

इस प्रकार से आरेख़ स्वयं-पाश, अर्थात, आसन्न आव्यूह के मुख्य विकर्ण पर गैर-शून्य प्रविष्टियाँ, आरेख़ लाप्लासियन मानों को प्रभावित नहीं करती हैं, परन्तु सामान्यीकरण कारकों की गणना के लिए गणना करने की आवश्यकता हो सकती है।

सममित रूप से सामान्यीकृत लाप्लासियन

सममित रूप से सामान्यीकृत लाप्लासियन को

के रूप में परिभाषित किया गया है, जहां L असामान्य लाप्लासियन है, A आसन्न आव्यूह है, D घात आव्यूह है, और मूर-पेनरोज़ व्युत्क्रम है। चूँकि घात आव्यूह D विकर्ण है, इसका व्युत्क्रम वर्गमूल मात्र विकर्ण आव्यूह है जिसकी विकर्ण प्रविष्टियाँ D की विकर्ण प्रविष्टियों के वर्गमूल के व्युत्क्रम हैं। यदि सभी किनारे के भार गैर-ऋणात्मक हैं तो सभी घात मान स्वचालित रूप से भी गैर-ऋणात्मक हैं और इसलिए प्रत्येक घात मान का अद्वितीय धनात्मक वर्गमूल होता है। इस प्रकार से शून्य से विभाजन से बचने के लिए, शून्य घात वाले शीर्षों को सामान्यीकरण की प्रक्रिया से बाहर रखा गया है, जैसा कि निम्नलिखित उदाहरण में है:

संलग्नता आव्यूह आंतरिक-घात आव्यूह आंतरिक-घात सामान्यीकृत लाप्लासियन बाह्य-घात आव्यूह बाह्य-घात सामान्यीकृत लाप्लासियन

सममित रूप से सामान्यीकृत लाप्लासियन सममित आव्यूह है यदि और मात्र यदि आसन्न आव्यूह A सममित है और D की विकर्ण प्रविष्टियाँ गैर-ऋणात्मक हैं, तो उस स्थिति में हम 'सममित सामान्यीकृत लाप्लासियन' शब्द का उपयोग कर सकते हैं।

इस प्रकार से सममित सामान्यीकृत लाप्लासियन आव्यूह को भार रहित घटना आव्यूह B और विकर्ण आव्यूह W का उपयोग करके

के रूप में भी लिखा जा सकता है, जिसमें किनारे का भार होता है और नवीन भारित घटना आव्यूह को परिभाषित करता है, जिनकी पंक्तियों को शीर्षों द्वारा अनुक्रमित किया जाता है और जिनके स्तंभों को G के किनारों द्वारा अनुक्रमित किया जाता है, जैसे कि किनारे e = {u, v} के अनुरूप प्रत्येक स्तंभ में u के अनुरूप पंक्ति में एक प्रविष्टि होती है, v के अनुरूप पंक्ति में एक प्रविष्टि होती है, और अन्यत्र 0 प्रविष्टियाँ होती हैं।

यादृच्छिक चाल सामान्यीकृत लाप्लासियन

इस प्रकार से यादृच्छिक चाल सामान्यीकृत लाप्लासियन को

के रूप में परिभाषित किया गया है जहां D घात आव्यूह है। चूँकि घात आव्यूह D विकर्ण है, इसके व्युत्क्रम को मात्र विकर्ण आव्यूह के रूप में परिभाषित किया गया है, जिसमें विकर्ण प्रविष्टियाँ हैं जो D की संगत विकर्ण प्रविष्टियों के व्युत्क्रम हैं। पृथक शीर्षों (घात 0 वाले) के लिए, एक सामान्य विकल्प संबंधित अवयव को 0 पर समूहित करना है। के आव्यूह अवयव

द्वारा दिए गए हैं।

अतः यादृच्छिक-चाल सामान्यीकृत लाप्लासियन का नाम इस तथ्य से आता है कि यह आव्यूह है, जहां गैर-ऋणात्मक भार मानते हुए, आरेख़ पर यादृच्छिक चालक का संक्रमण आव्यूह है। इस प्रकार से उदाहरण के लिए, मान लीजिए कि i-वें मानक आधार सदिश को दर्शाता है। फिर एक प्रायिकता सदिश है जो शीर्ष से चरण उठाने के बाद यादृच्छिक चालक के स्थानों के वितरण का प्रतिनिधित्व करता है; अर्थात । अधिक सामान्यतः, यदि सदिश आरेख़ के शीर्षों पर यादृच्छिक चालक के स्थान का प्रायिकता वितरण है, तो चरणों के बाद चालक का प्रायिकता वितरण है।

यादृच्छिक चाल सामान्यीकृत लाप्लासियन को बाएं सामान्यीकृत लाप्लासियन भी कहा जा सकता है क्योंकि सामान्यीकरण बाईं ओर सामान्यीकरण आव्यूह द्वारा लाप्लासियन को गुणा करके किया जाता है। इसमें प्रत्येक पंक्ति का योग शून्य है क्योंकि दायाँ प्रसंभाव्य है, यह मानते हुए कि सभी भार गैर-ऋणात्मक हैं।

अतः कम असामान्य रूप से उपयोग किए जाने वाले दाएं सामान्यीकृत लाप्लासियन में प्रत्येक स्तम्भ का योग शून्य होता है क्योंकि बायां प्रसंभाव्य है।

इस प्रकार से निर्देशित आरेख़ के गैर-सममित आसन्न आव्यूह के लिए, किसी को सामान्यीकरण के लिए घात (आरेख़ सिद्धांत) चुनने की भी आवश्यकता होती है:

संलग्नता आव्यूह बाह्य-घात आव्यूह बाह्य-घात बाएं सामान्यीकृत लाप्लासियन आंतरिक-घात आव्यूह आंतरिक-घात दाएँ सामान्यीकृत लाप्लासियन

अतः पंक्ति-योग सभी 0 के साथ बाएं बाह्य-घात सामान्यीकृत लाप्लासियन दाएँ प्रसंभाव्य आव्यूह से संबंधित है, जबकि सभी 0 के साथ दाएँ आंतरिक-घात सामान्यीकृत लाप्लासियन में बाएं प्रसंभाव्य आव्यूह सम्मिलित है।

ऋणात्मक भार

इस प्रकार से ऋणात्मक भार सामान्यीकरण के लिए कई आक्षेप प्रस्तुत करते हैं:

  • ऋणात्मक भार की उपस्थिति के परिणामस्वरूप गैर-पृथक शीर्षों के लिए स्वाभाविक रूप से शून्य पंक्ति- और/या स्तंभ-योग हो सकता है। धनात्मक भारों की बड़ी पंक्ति-योग और समान रूप से ऋणात्मक भारों की समान रूप से बड़ी पंक्ति-योग वाला शीर्ष, जिसका योग शून्य है, को भारी नोड माना जा सकता है और दोनों बड़े मानों को सोपानी किया जा सकता है, जबकि विकर्ण प्रविष्टि शून्य रहती है, जैसे कि पृथक शीर्ष आदि।
  • ऋणात्मक भार ऋणात्मक पंक्ति- और/या स्तंभ-योग भी दे सकते हैं, जिससे कि गैर-सामान्यीकृत लाप्लासियन आव्यूह में संबंधित विकर्ण प्रविष्टि ऋणात्मक होगी और सममित सामान्यीकरण के लिए आवश्यक धनात्मक वर्गमूल स्थित नहीं होगा।
  • सामान्यीकरण के प्रयोजन के लिए पंक्ति- और/या स्तंभ-योग का पूर्ण मान लेने के लिए तर्क दिए जा सकते हैं, इस प्रकार संभावित मान -1 को सामान्यीकृत लाप्लासियन आव्यूह के मुख्य विकर्ण की वैध इकाई प्रविष्टि के रूप में माना जा सकता है।

गुण

इस प्रकार से एक (अप्रत्यक्ष) आरेख़ G और उसके लाप्लासियन आव्यूह L के लिए आइगेनमान ​​​​ के साथ:

  • L सममित आव्यूह है।
  • L धनात्मक-निश्चित आव्यूह (अर्थात सभी के लिए है) है। इसे इस तथ्य से देखा जा सकता है कि लाप्लासियन सममित और विकर्ण रूप से प्रभावशाली आव्यूह अनुप्रयोग और गुण है।
  • L एम-आव्यूह है (इसकी संवृत-विकर्ण प्रविष्टियाँ गैर-धनात्मक हैं, फिर भी इसके आइगेन मानों के वास्तविक भाग गैर-ऋणात्मक हैं)।
  • L की प्रत्येक पंक्ति और स्तंभ का योग शून्य है। वस्तुतः, योग में, शीर्ष की घात को प्रत्येक निकटवर्ती के लिए -1 के साथ जोड़ा जाता है।
  • परिणामस्वरूप, , क्योंकि सदिश , को संतुष्ट करता है। इसका तात्पर्य यह भी है कि लाप्लासियन आव्यूह एकवचन है।
  • आरेख़ में सम्बद्ध अवयव (आरेख सिद्धांत) की संख्या लाप्लासियन के कर्नेल (रैखिक बीजगणित) का आयाम है और 0 आइगेनमान के आइगेनमान और आइगेनसदिश बीजगणितीय बहुलता है।
  • L के सबसे छोटे गैर-शून्य आइगेनमान को वर्णक्रमीय अंतराल कहा जाता है।
  • L का दूसरा सबसे छोटा आइगेनमान (शून्य हो सकता है) G की बीजगणितीय संपर्क (या फ़िडलर मान) है और आरेख़ के कट (आरेख सिद्धांत) सबसे विरल कट का अनुमान लगाता है।
  • लाप्लासियन फलन के एन-विमीय सदिश समष्टि पर संक्रियक है, जहाँ G और का शीर्ष समुच्चय है।
  • जब G, के-नियमित आरेख होता है, तो सामान्यीकृत लाप्लासियन होता है: , जहां A आसन्नता आव्यूह है और I तत्समक आव्यूह है।
  • एकाधिक सम्बद्ध घटक (आरेख़ सिद्धांत) वाले आरेख़ के लिए, L कक्ष आव्यूह कक्ष विकर्ण आव्यूह आव्यूह है, जहां प्रत्येक कक्ष प्रत्येक घटक के लिए संबंधित लाप्लासियन आव्यूह है, संभवतः शीर्षों को पुन: व्यवस्थित करने के बाद है (अर्थात L कक्ष विकर्ण आव्यूह के समान क्रमपरिवर्तन है)।
  • लाप्लासियन आव्यूह L का ट्रेस के बराबर है जहां विचारित आरेख़ के किनारों की संख्या है।
  • अब इकाई-मानक आइगेन मान और संबंधित :
के साथ , के आइगेन अपघटन पर विचार करें।

क्योंकि को स्वयं सदिश के आंतरिक गुणनफल के रूप में लिखा जा सकता है इससे ज्ञात होता है कि और इसलिए के आइगेनमान सभी गैर-ऋणात्मक हैं।

  • सामान्यीकृत सममित लाप्लासियन के सभी आइगेनमान ​​​​0 = μ0 ≤ … ≤ μn−1 ≤ 2 को संतुष्ट करते हैं। ये आइगेनमान ​​(सामान्यीकृत लाप्लासियन के वर्णक्रम के रूप में जाना जाता है) सामान्य आरेख़ के लिए अन्य आरेख़ अपरिवर्तनीयों से अच्छी तरह से संबंधित हैं।[1]
  • कोई इसकी जाँच कर सकता है:
,

अर्थात, सामान्यीकृत लाप्लासियन के समान है। अतः इस कारण से, यद्यपि सामान्य रूप से सममित नहीं है, इसके वास्तविक आइगेन मान हैं - निश्चित सामान्यीकृत सममित लाप्लासियन के आइगेन मान के समान है।

निरंतर लाप्लासियन का अनुमान लगाने वाले असतत लाप्लास संक्रियक के रूप में व्याख्या

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

लाप्लासियन आव्यूह का सामान्यीकरण और विस्तार

सामान्यीकृत लाप्लासियन

इस प्रकार से सामान्यीकृत लाप्लासियन को इस प्रकार परिभाषित किया गया है:[3]

ध्यान दें कि साधारण लाप्लासियन सामान्यीकृत लाप्लासियन है।

चुंबकीय लाप्लासियन

आसन्न आव्यूह की प्रविष्टियाँ मिश्रित-मानित हो सकती हैं, जिस स्थिति में आव्यूह समरूपता की धारणा को हर्मिटियन आव्यूह के साथ प्रतिस्थापित करने की आवश्यकता होती है। अतः वास्तविक भार के साथ निर्देशित आरेख़ के लिए चुंबकीय लाप्लासियन का निर्माण मिश्रित प्रविष्टियों

के साथ सममित लाप्लासियन और हर्मिटियन चरण आव्यूह के वास्तविक सममित आव्यूह के हैडामर्ड गुणनफल (आव्यूह) के रूप में किया गया है जो जटिल तल में चरण में किनारे की दिशा को एन्कोड करता है। क्वांटम भौतिकी के संदर्भ में, चुंबकीय लाप्लासियन की व्याख्या उस संक्रियक के रूप में की जा सकती है जो आरेख पर मुक्त आवेशित कण की घटना विज्ञान का वर्णन करता है, जो एक चुंबकीय क्षेत्र की क्रिया के अधीन है और पैरामीटर को विद्युत आवेश कहा जाता है।[4] निम्नलिखित उदाहरण में :

संलग्नता आव्यूह सममित Laplacian Phase matrix Magnetic Laplacian

विकृत लाप्लासियन

इस प्रकार से विकृत लाप्लासियन को सामान्यतः

के रूप में परिभाषित किया जाता है जहां I तत्समक आव्यूह है, A आसन्न आव्यूह है, D घात आव्यूह है, और s (मिश्रित-मानित) संख्या है। [5]
मानक लाप्लासियन मात्र और है जो चिन्ह रहित लाप्लासियन है।

चिह्नहीन लाप्लासियन

अतः इस प्रकार से चिह्नहीन लाप्लासियन को

के रूप में परिभाषित किया जाता है, जहाँ घात आव्यूह है, और आसन्नता आव्यूह है।[6] हस्ताक्षरित लाप्लासियन के जैसे, चिह्नहीन लाप्लासियन भी धनात्मक अर्ध-निश्चित है क्योंकि इसे

के रूप में गुणनखंडित किया जा सकता है, जहाँ घटना आव्यूह है। के निकट 0-आइगेनसदिश है यदि और मात्र तभी जब इसमें पृथक शीर्षों के अतिरिक्त कोई द्विसमूह जुड़ा घटक हो। इसे

के रूप में दिखाया जा सकता है।

इस प्रकार से इसका एक हल है जहाँ यदि और मात्र यदि आरेख़ में द्विदलीय जुड़ा हुआ घटक है।

निर्देशित बहुआरेख

इस प्रकार से निर्देशित बहुआरेख के लिए लाप्लासियन आव्यूह का एनालॉग परिभाषित किया जा सकता है।[7] इस स्थितियों में लाप्लासियन आव्यूह L को

के रूप में परिभाषित किया गया है, जहां D एक विकर्ण आव्यूह है, जिसमें Di,i शीर्ष i की बाह्यघात के बराबर है और A एक आव्यूह है जिसमें Ai,j i से j तक किनारों की संख्या के बराबर है (पाश सहित)।

ओपन सोर्स सॉफ़्टवेयर कार्यान्वयन

एप्लीकेशन सॉफ्टवेयर

  • स्किकिट-लर्न स्पेक्ट्रल क्लस्टरिंग[10]
  • पाईजीएसपी: पायथन में आरेख़ संकेत प्रोसेसिंग[11]
  • मेगामैन: लाखों अंकों के लिए मैनिफोल्ड लर्निंग[12]
  • स्मूथजी[13]
  • डायनामिक आरेख़ के लिए लाप्लासियन परिवर्तन बिंदु संसूचन (केडीडी 2020)[14]
  • लाप्लासियनऑप्ट (लाप्लासियन के भारित आरेख़ के दूसरे आइगेनमान को अधिकतम करने के लिए जूलिया पैकेज) [15]
  • LigMG (बड़ा अनियमित आरेख़ बहुग्रिड)[16]
  • लाप्लासियंस.जेएल[17]

यह भी देखें

संदर्भ

  1. 1.0 1.1 1.2 Chung, Fan (1997) [1992]. Spectral Graph Theory. American Mathematical Society. ISBN 978-0821803158.
  2. Smola, Alexander J.; Kondor, Risi (2003), "Kernels and regularization on graphs", Learning Theory and Kernel Machines: 16th Annual Conference on Learning Theory and 7th Kernel Workshop, COLT/Kernel 2003, Washington, DC, USA, August 24–27, 2003, Proceedings, Lecture Notes in Computer Science, vol. 2777, Springer, pp. 144–158, CiteSeerX 10.1.1.3.7020, doi:10.1007/978-3-540-45167-9_12, ISBN 978-3-540-40720-1.
  3. Godsil, C.; Royle, G. (2001). बीजगणितीय ग्राफ सिद्धांत, गणित में स्नातक ग्रंथ. Springer-Verlag.
  4. Satoshi Furutani; Toshiki Shibahara; Mitsuaki Akiyama; Kunio Hato; Masaki Aida (2020). हर्मिटियन लाप्लासियन पर आधारित निर्देशित ग्राफ़ के लिए ग्राफ़ सिग्नल प्रोसेसिंग (PDF). ECML PKDD 2019: Machine Learning and Knowledge Discovery in Databases. pp. 447–463. doi:10.1007/978-3-030-46150-8_27.
  5. Morbidi, F. (2013). "विकृत आम सहमति प्रोटोकॉल" (PDF). Automatica. 49 (10): 3049–3055. doi:10.1016/j.automatica.2013.07.006. S2CID 205767404.
  6. Cvetković, Dragoš; Simić, Slobodan K. (2010). "साइनलेस लाप्लासियन पर आधारित ग्राफ़ के एक वर्णक्रमीय सिद्धांत की ओर, III". Applicable Analysis and Discrete Mathematics. 4 (1): 156–166. doi:10.2298/AADM1000001C. ISSN 1452-8630. JSTOR 43671298.
  7. Chaiken, S.; Kleitman, D. (1978). "Matrix Tree Theorems". Journal of Combinatorial Theory, Series A. 24 (3): 377–381. doi:10.1016/0097-3165(78)90067-5. ISSN 0097-3165.
  8. "SciPy". GitHub. 24 March 2022.
  9. "नेटवर्कएक्स". GitHub. 24 March 2022.
  10. "2.3. Clustering".
  11. "PyGSP: Graph Signal Processing in Python". GitHub. 23 March 2022.
  12. "Megaman: Manifold Learning for Millions of Points". GitHub. 14 March 2022.
  13. "स्मूथजी". GitHub. 17 September 2020.
  14. "Announcing Our Paper at KDD 2020".
  15. "Harshangrjn/LaplacianOpt.jl". GitHub. 2 February 2022.
  16. "LigMG (बड़ा अनियमित ग्राफ़ मल्टीग्रिड) - बड़े अनियमित ग्राफ़ के लिए एक वितरित मेमोरी ग्राफ़ लाप्लासियन सॉल्वर". GitHub. 5 January 2022.
  17. "लाप्लासियंस.जे.एल". GitHub. 11 March 2022.