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

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


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


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


सममित रूप से सामान्यीकृत लाप्लासियन मैट्रिक्स को इस प्रकार परिभाषित किया गया है:<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}
Line 179: Line 179:
                                     0 & \mbox{otherwise}.
                                     0 & \mbox{otherwise}.
\end{cases}</math>
\end{cases}</math>
सममित रूप से सामान्यीकृत लाप्लासियन मैट्रिक्स सममित है यदि और केवल यदि आसन्न मैट्रिक्स सममित है।
सममित रूप से सामान्यीकृत लाप्लासियन आव्यूह सममित है यदि और मात्र यदि आसन्न आव्यूह सममित है।
  {|class="wikitable"
  {|class="wikitable"
! [[Adjacency matrix]]
! [[Adjacency matrix|संलग्नता आव्यूह]]
! Degree matrix
! घात आव्यूह
! Normalized Laplacian
! Normalized Laplacian
|-
|-
Line 201: Line 201:
\end{array}\right)</math>
\end{array}\right)</math>
|}
|}
निर्देशित ग्राफ़ के गैर-सममित आसन्न मैट्रिक्स के लिए, किसी भी डिग्री (ग्राफ़ सिद्धांत) का उपयोग सामान्यीकरण के लिए किया जा सकता है:
निर्देशित आरेख़ के गैर-सममित आसन्न आव्यूह के लिए, किसी भी घात (आरेख़ सिद्धांत) का उपयोग सामान्यीकरण के लिए किया जा सकता है:
{|class="wikitable"
{|class="wikitable"
! [[Adjacency matrix]]
! [[Adjacency matrix|संलग्नता आव्यूह]]
! Out-Degree matrix
! बाह्य-घात आव्यूह
! Out-Degree normalized Laplacian
! बाह्य-Degree normalized Laplacian
! In-Degree matrix
! आंतरिक-घात आव्यूह
! In-Degree normalized Laplacian
! आंतरिक-Degree normalized Laplacian
|-
|-
| <math display="inline">\left(\begin{array}{rrr}
| <math display="inline">\left(\begin{array}{rrr}
Line 238: Line 238:
==== बाएँ (यादृच्छिक-चलना) और दाएँ सामान्यीकृत लाप्लासियन ====
==== बाएँ (यादृच्छिक-चलना) और दाएँ सामान्यीकृत लाप्लासियन ====


बाएं (रैंडम-वॉक) सामान्यीकृत लाप्लासियन मैट्रिक्स को इस प्रकार परिभाषित किया गया है:
बाएं (रैंडम-वॉक) सामान्यीकृत लाप्लासियन आव्यूह को इस प्रकार परिभाषित किया गया है:
: <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\\
Line 247: Line 247:
                     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
! Left normalized Laplacian
! Right normalized Laplacian
! Right normalized Laplacian
Line 278: Line 278:
\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
! बाह्य-Degree left normalized Laplacian
! In-Degree matrix
! आंतरिक-घात आव्यूह
! In-Degree right normalized Laplacian
! आंतरिक-Degree right normalized Laplacian
|-
|-
| <math display="inline">\left(\begin{array}{rrr}
| <math display="inline">\left(\begin{array}{rrr}
Line 314: Line 314:
\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 के व्युत्क्रमानुपाती के रूप में, जिसके परिणामस्वरूप सभी वजन अनौपचारिक रूप से बड़े मूल्यों के साथ गैर-नकारात्मक होते हैं डेटा बिंदुओं के अधिक समान जोड़े के अनुरूप। डेटा बिंदुओं के बीच सहसंबंध और विरोधी सहसंबंध का उपयोग करने से स्वाभाविक रूप से सकारात्मक और नकारात्मक दोनों प्रकार के भार उत्पन्न होते हैं। सरल ग्राफ़ की अधिकांश परिभाषाएँ गैर-नकारात्मक भार के मानक मामले तक तुच्छ रूप से विस्तारित हैं, जबकि नकारात्मक भार पर अधिक ध्यान देने की आवश्यकता होती है, खासकर सामान्यीकरण में।
अनुप्रयोगों में सामान्य भारित किनारों वाले आरेख़ को सरलता से उनके आसन्न आव्यूह द्वारा परिभाषित किया जाता है जहां प्रविष्टियों के मान संख्यात्मक होते हैं और अब शून्य और तक सीमित नहीं होते हैं। वर्णक्रमीय क्लस्टरिंग और आरेख़-आधारित संकेत प्रोसेसिंग में, जहां आरेख़ शीर्ष डेटा बिंदुओं का प्रतिनिधित्व करते हैं, किनारे के भार की गणना की जा सकती है, उदाहरण के लिए, डेटा बिंदुओं के जोड़े के बीच 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 358:
\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) द्वारा परिभाषित
इस प्रकार हम भारहीन की परिभाषा का पुन: उपयोग करते हैं <math display="inline">|v| \times |e|</math> अवयव B के साथ घटना आव्यूह B<sub>''ve''</sub> शीर्ष v और किनारे e के लिए (शीर्षों को जोड़ने वाला)। <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\\
Line 369: Line 369:
   0, & \text{otherwise}.
   0, & \text{otherwise}.
\end{array}\right.</math>
\end{array}\right.</math>
अब हम विकर्ण को भी परिभाषित करते हैं <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> भार मान i, के साथ निर्दिष्ट किया गया है <math display="inline">i=1, 2, 3, 4.</math>
{|class="wikitable"
{|class="wikitable"
! [[Undirected graph]]
! [[Undirected graph|अप्रत्यक्ष आरेख]]
! [[Incidence matrix]]
! [[Incidence matrix|घटना आव्यूह]]
! Edge weights
! Edge weights
! Laplacian matrix
! लाप्लासियन आव्यूह
|-
|-
| [[image:Labeled_undirected_graph.svg|100px]]
| [[image:Labeled_undirected_graph.svg|100px]]
Line 401: Line 401:
|}
|}


===निर्देशित ग्राफ़ के लिए सममित लाप्लासियन===
===निर्देशित आरेख़ के लिए सममित लाप्लासियन===
साधारण ग्राफ़ की तरह, निर्देशित भारित ग्राफ़ का लाप्लासियन मैट्रिक्स परिभाषा के अनुसार आम तौर पर गैर-सममित होता है। लाप्लासियन के निर्माण से पहले मूल निर्देशित ग्राफ को अप्रत्यक्ष ग्राफ में बदलकर समरूपता लागू की जा सकती है। अप्रत्यक्ष ग्राफ़ के आसन्न मैट्रिक्स को, उदाहरण के लिए, आसन्न मैट्रिक्स के योग के रूप में परिभाषित किया जा सकता है <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
! Symmetrized संलग्नता आव्यूह
! Symmetric Laplacian matrix
! Symmetric लाप्लासियन आव्यूह
|-
|-
| <math display="inline">\left(\begin{array}{rrr}
| <math display="inline">\left(\begin{array}{rrr}
Line 424: Line 424:
\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 460:
\end{array}\right)</math>
\end{array}\right)</math>
|}
|}
आउट-डिग्री लाप्लासियन ट्रांसपोज़्ड और इन-डिग्री लाप्लासियन का योग सममित लाप्लासियन मैट्रिक्स के बराबर होता है।
आउट-घात लाप्लासियन ट्रांसपोज़्ड और इन-घात लाप्लासियन का योग सममित लाप्लासियन आव्यूह के बराबर होता है।


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


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


==== सममित रूप से सामान्यीकृत लाप्लासियन ====
==== सममित रूप से सामान्यीकृत लाप्लासियन ====
Line 471: Line 471:
सममित रूप से सामान्यीकृत लाप्लासियन को इस प्रकार परिभाषित किया गया है
सममित रूप से सामान्यीकृत लाप्लासियन को इस प्रकार परिभाषित किया गया है
: <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 असामान्य लाप्लासियन है, ए आसन्न आव्यूह है, डी घात आव्यूह है, और <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
! आंतरिक-Degree normalized Laplacian
! Out-Degree matrix
! बाह्य-घात आव्यूह
! Out-Degree normalized Laplacian
! बाह्य-Degree normalized Laplacian
|-
|-
| <math display="inline">\left(\begin{array}{rrr}
| <math display="inline">\left(\begin{array}{rrr}
Line 504: Line 504:
\end{array}\right)</math>
\end{array}\right)</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>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> आपतन आव्यूह B और विकर्ण <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 प्रविष्टियाँ हैं।


==== रैंडम वॉक सामान्यीकृत लाप्लासियन ====
==== रैंडम वॉक सामान्यीकृत लाप्लासियन ====
Line 514: Line 514:
रैंडम वॉक सामान्यीकृत लाप्लासियन को इस प्रकार परिभाषित किया गया है
रैंडम वॉक सामान्यीकृत लाप्लासियन को इस प्रकार परिभाषित किया गया है
: <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> इसे बस विकर्ण आव्यूह के रूप में परिभाषित किया गया है, जिसमें विकर्ण प्रविष्टियाँ हैं जो डी की संगत विकर्ण प्रविष्टियों के व्युत्क्रम हैं। पृथक शीर्षों (घात 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\\
Line 520: Line 520:
                     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
! बाह्य-Degree left normalized Laplacian
! In-Degree matrix
! आंतरिक-घात आव्यूह
! In-Degree right normalized Laplacian
! आंतरिक-Degree right normalized Laplacian
|-
|-
| <math display="inline">\left(\begin{array}{rrr}
| <math display="inline">\left(\begin{array}{rrr}
Line 560: Line 560:
\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">\lambda_i \ge 0</math> सभी के लिए <math display="inline">i</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 के सबसे छोटे गैर-शून्य eigenvalue को [[वर्णक्रमीय अंतराल]] कहा जाता है।
* L का दूसरा सबसे छोटा eigenvalue (शून्य हो सकता है) G की बीजगणितीय कनेक्टिविटी (या फ़िडलर मान) है और ग्राफ़ के कट (ग्राफ_थ्योरी) #Sparsest कट का अनुमान लगाता है।
* L का दूसरा सबसे छोटा eigenvalue (शून्य हो सकता है) G की बीजगणितीय कनेक्टिविटी (या फ़िडलर मान) है और आरेख़ के कट (आरेख थ्योरी) Sparsest कट का अनुमान लगाता है।
* लाप्लासियन फ़ंक्शंस के एन-डायमेंशनल वेक्टर स्पेस पर ऑपरेटर है <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, [[के-नियमित ग्राफ|के-नियमित आरेख]]|k-रेगुलर है, तो सामान्यीकृत लाप्लासियन है: <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>:
* अब eigendecomposition पर विचार करें <math display="inline">L</math>, यूनिट-मानक eigenvectors के साथ <math display="inline">\mathbf{v}_i</math> और संगत eigenvalues <math display="inline">\lambda_i</math>:
:<math>\begin{align}
:<math>\begin{align}
Line 589: Line 589:
             & = \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">\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> और इसलिए के eigenvalues <math display="inline">L</math> सभी गैर-ऋणात्मक हैं.
* सामान्यीकृत सममित लाप्लासियन के सभी eigenvalues ​​​​0 = μ को संतुष्ट करते हैं<sub>0</sub> ≤ … ≤ एम<sub>n−1</sub> ≤ 2. ये eigenvalues ​​(सामान्यीकृत लाप्लासियन के स्पेक्ट्रम के रूप में जाना जाता है) सामान्य ग्राफ़ के लिए अन्य ग्राफ़ अपरिवर्तनीयों से अच्छी तरह से संबंधित हैं।<ref name="Fan Chung" />
* सामान्यीकृत सममित लाप्लासियन के सभी eigenvalues ​​​​0 = μ को संतुष्ट करते हैं<sub>0</sub> ≤ … ≤ एम<sub>n−1</sub> ≤ 2. ये eigenvalues ​​(सामान्यीकृत लाप्लासियन के वर्णक्रम के रूप में जाना जाता है) सामान्य आरेख़ के लिए अन्य आरेख़ अपरिवर्तनीयों से अच्छी तरह से संबंधित हैं।<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.
Line 612: Line 612:
| 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> इस व्याख्या में, प्रत्येक आरेख शीर्ष को ग्रिड बिंदु के रूप में माना जाता है; शीर्ष की स्थानीय कनेक्टिविटी इस ग्रिड बिंदु पर परिमित अंतर सन्निकटन स्टेंसिल (संख्यात्मक विश्लेषण) निर्धारित करती है, ग्रिड का आकार हमेशा प्रत्येक किनारे के लिए होता है, और किसी भी ग्रिड बिंदु पर कोई बाधा नहीं होती है, जो सजातीय न्यूमैन के मामले से मेल खाती है सीमा की स्थिति, अर्थात, मुक्त सीमा। इस तरह की व्याख्या किसी को अनुमति देती है, उदाहरण के लिए, अनंत संख्या में शीर्षों और किनारों वाले आरेख़ के मामले में लाप्लासियन आव्यूह को सामान्यीकृत करना, जिससे अनंत आकार का लाप्लासियन आव्यूह बनता है।


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


=== सामान्यीकृत लाप्लासियन ===
=== सामान्यीकृत लाप्लासियन ===
Line 626: Line 626:


=== चुंबकीय लाप्लासियन ===
=== चुंबकीय लाप्लासियन ===
आसन्न मैट्रिक्स की प्रविष्टियाँ जटिल-मूल्यवान हो सकती हैं, जिस स्थिति में मैट्रिक्स समरूपता की धारणा को [[हर्मिटियन मैट्रिक्स]] के साथ प्रतिस्थापित करने की आवश्यकता होती है। वास्तविक भार के साथ निर्देशित ग्राफ़ के लिए चुंबकीय लाप्लासियन <math>w_{ij}</math> जटिल संख्या प्रविष्टियों के साथ सममित लाप्लासियन और हर्मिटियन चरण मैट्रिक्स के Symmetric_matrix#Real_symmetric_matrices के [[हैडामर्ड उत्पाद (मैट्रिसेस)]] के रूप में निर्मित किया गया है।
आसन्न आव्यूह की प्रविष्टियाँ मिश्रित-मूल्यवान हो सकती हैं, जिस स्थिति में आव्यूह समरूपता की धारणा को [[हर्मिटियन मैट्रिक्स|हर्मिटियन आव्यूह]] के साथ प्रतिस्थापित करने की आवश्यकता होती है। वास्तविक भार के साथ निर्देशित आरेख़ के लिए चुंबकीय लाप्लासियन <math>w_{ij}</math> मिश्रित संख्या प्रविष्टियों के साथ सममित लाप्लासियन और हर्मिटियन चरण आव्यूह के Symmetric matrix Real symmetric matrices के [[हैडामर्ड उत्पाद (मैट्रिसेस)|हैडामर्ड गुणनफल(मैट्रिसेस)]] के रूप में निर्मित किया गया है।
:<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</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=1/4</math>:
{|class="wikitable"
{|class="wikitable"
! [[Adjacency matrix]]
! [[Adjacency matrix|संलग्नता आव्यूह]]
! Symmetrized Laplacian
! Symmetrized Laplacian
! Phase matrix
! Phase matrix
Line 665: Line 665:
=== विकृत लाप्लासियन ===
=== विकृत लाप्लासियन ===


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


:<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}^\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} \neq \mathbf{0}</math> यदि और मात्र यदि आरेख़ में द्विदलीय जुड़ा हुआ घटक है।


=== निर्देशित मल्टीग्राफ ===
=== निर्देशित मल्टीआरेख ===
निर्देशित मल्टीग्राफ के लिए लाप्लासियन मैट्रिक्स का एनालॉग परिभाषित किया जा सकता है।<ref name="Chaiken1978">{{cite journal
निर्देशित मल्टीआरेख के लिए लाप्लासियन आव्यूह का एनालॉग परिभाषित किया जा सकता है।<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 691:
  | 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 तक किनारों की संख्या के बराबर (लूप सहित)।


== ओपन सोर्स सॉफ़्टवेयर कार्यान्वयन ==
== ओपन सोर्स सॉफ़्टवेयर कार्यान्वयन ==
Line 700: Line 700:
== एप्लीकेशन सॉफ्टवेयर ==
== एप्लीकेशन सॉफ्टवेयर ==
* [[स्किकिट-लर्न]] स्पेक्ट्रल क्लस्टरिंग<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>
* 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/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>
* डायनामिक आरेख़ के लिए लाप्लासियन चेंज पॉइंट डिटेक्शन (KDD 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>
* लाप्लासियंस.जे.L<ref>{{Cite web|url=https://github.com/danspielman/लाप्लासियंस.जे.एल|title = लाप्लासियंस.जे.एल|website = [[GitHub]]|date = 11 March 2022}}</ref>
== यह भी देखें ==
== यह भी देखें ==
*[[कठोरता मैट्रिक्स]]
*[[कठोरता मैट्रिक्स|कठोरता आव्यूह]]
*[[प्रतिरोध दूरी]]
*[[प्रतिरोध दूरी]]
*[[संक्रमण दर मैट्रिक्स]]
*[[संक्रमण दर मैट्रिक्स|संक्रमण दर आव्यूह]]
*[[परिमित भारित ग्राफ़ पर गणना]]
*[[परिमित भारित ग्राफ़ पर गणना|परिमित भारित आरेख़ पर गणना]]
*[[ग्राफ फूरियर रूपांतरण]]
*[[ग्राफ फूरियर रूपांतरण|आरेख फूरियर रूपांतरण]]


== संदर्भ ==
== संदर्भ ==

Revision as of 22:18, 19 July 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 गेट के रूप में परिभाषित किया जा सकता है मूल निर्देशित आरेख़ और उसके आव्यूह का परिवर्त , जहां शून्य और की प्रविष्टियाँ हैं मानों को संख्यात्मक के बजाय तार्किक माना जाता है, जैसा कि निम्नलिखित उदाहरण में है:

संलग्नता आव्यूह Symmetrized adjacency Symmetric लाप्लासियन आव्यूह

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

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

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

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

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

के अवयव इस प्रकार द्वारा दिए गए हैं

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

संलग्नता आव्यूह घात आव्यूह Normalized Laplacian

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

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

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

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

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

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

.

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

संलग्नता आव्यूह घात आव्यूह Left normalized Laplacian Right normalized Laplacian

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

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

संलग्नता आव्यूह बाह्य-घात आव्यूह बाह्य-Degree left normalized Laplacian आंतरिक-घात आव्यूह आंतरिक-Degree right normalized Laplacian

पंक्ति-योग के साथ लेफ्ट आउट-घात सामान्यीकृत लाप्लासियन सभी 0 स्टोकेस्टिक आव्यूह से संबंधित है , जबकि सभी 0 के स्तम्भ-योग के साथ घात में सामान्यीकृत लाप्लासियन में स्टोकेस्टिक आव्यूह शामिल है .

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

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

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

लाप्लासियन आव्यूह द्वारा परिभाषित किया गया है

जहां D घात आव्यूह है और A आरेख़ का आसन्न आव्यूह है।

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

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

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

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

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

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

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

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

जहाँ B का परिवर्त है.

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

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

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

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

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

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

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

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

आउट-घात लाप्लासियन ट्रांसपोज़्ड और इन-घात लाप्लासियन का योग सममित लाप्लासियन आव्यूह के बराबर होता है।

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

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

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

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

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

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

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

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

सममित सामान्यीकृत लाप्लासियन आव्यूह को इस प्रकार भी लिखा जा सकता है

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

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

रैंडम वॉक सामान्यीकृत लाप्लासियन को इस प्रकार परिभाषित किया गया है

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

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

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

कम असामान्य रूप से उपयोग किए जाने वाले दाएँ सामान्यीकृत लाप्लासियन में चूँकि प्रत्येक स्तम्भ का योग शून्य है स्टोकेस्टिक आव्यूह है.

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

संलग्नता आव्यूह बाह्य-घात आव्यूह बाह्य-Degree left normalized Laplacian आंतरिक-घात आव्यूह आंतरिक-Degree right normalized Laplacian

पंक्ति-योग के साथ लेफ्ट आउट-घात सामान्यीकृत लाप्लासियन सभी 0 स्टोकेस्टिक आव्यूह से संबंधित है , जबकि सभी 0 के स्तम्भ-योग के साथ घात में सामान्यीकृत लाप्लासियन में स्टोकेस्टिक आव्यूह शामिल है .

ऋणात्मक भार

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

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

गुण

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

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

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

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

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

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

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

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

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

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

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

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

आसन्न आव्यूह की प्रविष्टियाँ मिश्रित-मूल्यवान हो सकती हैं, जिस स्थिति में आव्यूह समरूपता की धारणा को हर्मिटियन आव्यूह के साथ प्रतिस्थापित करने की आवश्यकता होती है। वास्तविक भार के साथ निर्देशित आरेख़ के लिए चुंबकीय लाप्लासियन मिश्रित संख्या प्रविष्टियों के साथ सममित लाप्लासियन और हर्मिटियन चरण आव्यूह के Symmetric matrix Real symmetric matrices के हैडामर्ड गुणनफल(मैट्रिसेस) के रूप में निर्मित किया गया है।

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

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

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

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

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

साइनलेस लाप्लासियन

साइनलेस लाप्लासियन को इस प्रकार परिभाषित किया गया है

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

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

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

निर्देशित मल्टीआरेख

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

जहां D, D के साथ विकर्ण आव्यूह हैi,i शीर्ष i और A की आउटघात के बराबर, A के साथ आव्यूह हैi,j i से j तक किनारों की संख्या के बराबर (लूप सहित)।

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

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

  • स्किकिट-लर्न स्पेक्ट्रल क्लस्टरिंग[10]
  • PyGSP: पायथन में आरेख़ संकेत प्रोसेसिंग[11]
  • मेगामैन: लाखों अंकों के लिए मैनिफोल्ड लर्निंग[12]
  • चिकनीजी[13]
  • डायनामिक आरेख़ के लिए लाप्लासियन चेंज पॉइंट डिटेक्शन (KDD 2020)[14]
  • लाप्लासियनऑप्ट (लाप्लासियन के भारित आरेख़ के दूसरे आइगेनमान को अधिकतम करने के लिए जूलिया पैकेज) [15]
  • LigMG (बड़ा अनियमित आरेख़ मल्टीग्रिड)[16]
  • लाप्लासियंस.जे.L[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.