लाप्लासियन आव्यूह: Difference between revisions
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>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 | |||
| 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>L = D - A </math> | ||
जहां D [[डिग्री मैट्रिक्स]] है और A | द्वारा समकक्ष रूप से परिभाषित किया गया है, जहां 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|संलग्नता आव्यूह]] | ||
! | ! लाप्लासियन आव्यूह | ||
|- | |- | ||
| [[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" | ||
! | !लेबल आव्यूह | ||
! [[Adjacency matrix]] | ! [[Adjacency matrix|संलग्नता आव्यूह]] | ||
! | ! बाह्य-घात आव्यूह | ||
! | ! बाह्य-घात लाप्लासियन | ||
! | ! आंतरिक-घात आव्यूह | ||
! | ! आंतरिक-घात लाप्लासियन | ||
|- | |- | ||
|[[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> | ||
|} | |} | ||
निर्देशित | निर्देशित आरेख़ में, आसन्न आव्यूह और लाप्लासियन आव्यूह दोनों असममित हैं। इसके लाप्लासियन आव्यूह में, स्तम्भ-योग या पंक्ति-योग शून्य हैं, यह इस बात पर निर्भर करता है कि घात (आरेख़ सिद्धांत) का उपयोग किया गया है या नहीं। | ||
=== घटना | === घटना आव्यूह के माध्यम से सममित लाप्लासियन === | ||
शीर्ष 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> आव्यूह L को | |||
:<math>L = B B^\textsf{T}</math> | :<math>L = B B^\textsf{T}</math> | ||
के रूप में परिभाषित किया गया है जहां <math display="inline">B^\textsf{T}</math> B का परिवर्त आव्यूह है। | |||
{|class="wikitable" | {| class="wikitable" | ||
! [[Undirected graph]] | ! [[Undirected graph|अप्रत्यक्ष आरेख]] | ||
! [[Incidence matrix]] | ! [[Incidence 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> शीर्ष-आधारित लाप्लासियन को परिभाषित करता है , जो मूल रूप से उपयोग किए जाने वाले शीर्ष-आधारित लाप्लासियन आव्यूह L के विपरीत है। | ||
===निर्देशित | ===निर्देशित आरेख़ के लिए सममित लाप्लासियन=== | ||
एक निर्देशित | एक निर्देशित आरेख का लाप्लासियन आव्यूह परिभाषा के अनुसार सामान्यतः गैर-सममित होता है, जबकि, उदाहरण के लिए, पारंपरिक [[वर्णक्रमीय क्लस्टरिंग]] मुख्य रूप से सममित आसन्नता और लाप्लासियन आव्यूह के साथ अप्रत्यक्ष आरेख के लिए विकसित की जाती है। समरूपता की आवश्यकता वाली तकनीकों को लागू करने के लिए तुच्छ दृष्टिकोण मूल निर्देशित आरेख को अप्रत्यक्ष आरेख में बदलना और बाद के लिए लाप्लासियन आव्यूह का निर्माण करना है। | ||
आव्यूह नोटेशन में, अप्रत्यक्ष आरेख़ के आसन्न आव्यूह को, उदाहरण के लिए, आसन्न आव्यूह के OR गेट के रूप में परिभाषित किया जा सकता है <math>A</math> मूल निर्देशित आरेख़ और उसके आव्यूह का परिवर्त <math>A^T</math>, जहां शून्य और की प्रविष्टियाँ हैं <math>A</math> मानों को संख्यात्मक के बजाय तार्किक माना जाता है, जैसा कि निम्नलिखित उदाहरण में है: | |||
{|class="wikitable" | {| class="wikitable" | ||
! [[Adjacency matrix]] | ! [[Adjacency matrix|संलग्नता आव्यूह]] | ||
! Symmetrized adjacency | ! Symmetrized adjacency | ||
! Symmetric | ! Symmetric लाप्लासियन आव्यूह | ||
|- | |- | ||
| <math display="inline">\left(\begin{array}{ccc} | | <math display="inline">\left(\begin{array}{ccc} | ||
Line 162: | Line 162: | ||
|} | |} | ||
=== लाप्लासियन | === लाप्लासियन आव्यूह सामान्यीकरण === | ||
बड़ी | बड़ी घात वाला शीर्ष, जिसे भारी नोड भी कहा जाता है, के परिणामस्वरूप आव्यूह गुणों पर हावी होने वाले लाप्लासियन आव्यूह में बड़ी विकर्ण प्रविष्टि होती है। सामान्यीकरण का उद्देश्य लाप्लासियन आव्यूह की प्रविष्टियों को शीर्ष घात द्वारा विभाजित करके ऐसे शीर्षों के प्रभाव को अन्य शीर्षों के प्रभाव के बराबर बनाना है। शून्य से विभाजन से बचने के लिए, शून्य घात वाले पृथक शीर्षों को सामान्यीकरण की प्रक्रिया से बाहर रखा गया है। | ||
==== सममित रूप से सामान्यीकृत लाप्लासियन ==== | ==== सममित रूप से सामान्यीकृत लाप्लासियन ==== | ||
सममित रूप से सामान्यीकृत लाप्लासियन | सममित रूप से सामान्यीकृत लाप्लासियन आव्यूह को इस प्रकार परिभाषित किया गया है:<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 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|संलग्नता आव्यूह]] | ||
! | ! घात आव्यूह | ||
! Normalized Laplacian | ! Normalized Laplacian | ||
|- | |- | ||
Line 201: | Line 201: | ||
\end{array}\right)</math> | \end{array}\right)</math> | ||
|} | |} | ||
निर्देशित | निर्देशित आरेख़ के गैर-सममित आसन्न आव्यूह के लिए, किसी भी घात (आरेख़ सिद्धांत) का उपयोग सामान्यीकरण के लिए किया जा सकता है: | ||
{|class="wikitable" | {|class="wikitable" | ||
! [[Adjacency matrix]] | ! [[Adjacency matrix|संलग्नता आव्यूह]] | ||
! | ! बाह्य-घात आव्यूह | ||
! | ! बाह्य-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 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|संलग्नता आव्यूह]] | ||
! | ! घात आव्यूह | ||
! 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>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|संलग्नता आव्यूह]] | ||
! | ! बाह्य-घात आव्यूह | ||
! | ! बाह्य-Degree left 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>. | ||
== भारित किनारों वाले | == भारित किनारों वाले आरेख़ के लिए परिभाषाएँ == | ||
अनुप्रयोगों में सामान्य भारित किनारों वाले | अनुप्रयोगों में सामान्य भारित किनारों वाले आरेख़ को सरलता से उनके आसन्न आव्यूह द्वारा परिभाषित किया जाता है जहां प्रविष्टियों के मान संख्यात्मक होते हैं और अब शून्य और तक सीमित नहीं होते हैं। वर्णक्रमीय क्लस्टरिंग और आरेख़-आधारित संकेत प्रोसेसिंग में, जहां आरेख़ शीर्ष डेटा बिंदुओं का प्रतिनिधित्व करते हैं, किनारे के भार की गणना की जा सकती है, उदाहरण के लिए, डेटा बिंदुओं के जोड़े के बीच Distance matrix के व्युत्क्रमानुपाती के रूप में, जिसके परिणामस्वरूप सभी भार अनौपचारिक रूप से बड़े मूल्यों के साथ गैर-ऋणात्मक होते हैं डेटा बिंदुओं के अधिक समान जोड़े के अनुरूप। डेटा बिंदुओं के बीच सहसंबंध और विरोधी सहसंबंध का उपयोग करने से स्वाभाविक रूप से सकारात्मक और ऋणात्मक दोनों प्रकार के भार उत्पन्न होते हैं। सरल आरेख़ की अधिकांश परिभाषाएँ गैर-ऋणात्मक भार के मानक मामले तक तुच्छ रूप से विस्तारित हैं, जबकि ऋणात्मक भार पर अधिक ध्यान देने की आवश्यकता होती है, खासकर सामान्यीकरण में। | ||
=== लाप्लासियन | === लाप्लासियन आव्यूह === | ||
लाप्लासियन | लाप्लासियन आव्यूह द्वारा परिभाषित किया गया है | ||
: <math>L = D - A, </math> | : <math>L = D - A, </math> | ||
जहां D | जहां D घात आव्यूह है और A आरेख़ का आसन्न आव्यूह है। | ||
निर्देशित | निर्देशित आरेख़ के लिए, या तो घात (आरेख़ सिद्धांत) का उपयोग किया जा सकता है, जो कि अनुप्रयोग पर निर्भर करता है, जैसा कि निम्नलिखित उदाहरण में है: | ||
{|class="wikitable" | {|class="wikitable" | ||
! [[Adjacency matrix]] | ! [[Adjacency matrix|संलग्नता आव्यूह]] | ||
! | ! आंतरिक-घात आव्यूह | ||
! | ! आंतरिक-घात लाप्लासियन | ||
! | ! बाह्य-घात आव्यूह | ||
! | ! बाह्य-घात लाप्लासियन | ||
|- | |- | ||
| <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-आयामी स्प्रिंग प्रणाली।]]भारित किनारों वाले | [[Image:elastic network model.png|thumb|एक 2-आयामी स्प्रिंग प्रणाली।]]भारित किनारों वाले आरेख़ के लिए कोई भारित घटना आव्यूह B को परिभाषित कर सकता है और इसका उपयोग संबंधित सममित लाप्लासियन के निर्माण के लिए कर सकता है <math>L = B B^\textsf{T}</math>. यहां वर्णित वैकल्पिक क्लीनर दृष्टिकोण, वज़न को कनेक्टिविटी से अलग करना है: नियमित आरेख़ के लिए घटना आव्यूह का उपयोग करना जारी रखें और मात्र वज़न के मान रखने वाले आव्यूह को पेश करें। [[ वसंत प्रणाली |वसंत प्रणाली]] इस मॉडल का उदाहरण है जिसका उपयोग [[यांत्रिकी]] में दी गई कठोरता और इकाई लंबाई के स्प्रिंग्स की प्रणाली का वर्णन करने के लिए किया जाता है, जहां कठोरता के मूल्य आरेख किनारों के भार की भूमिका निभाते हैं। | ||
इस प्रकार हम भारहीन की परिभाषा का पुन: उपयोग करते हैं <math display="inline">|v| \times |e|</math> | इस प्रकार हम भारहीन की परिभाषा का पुन: उपयोग करते हैं <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> | अब हम विकर्ण को भी परिभाषित करते हैं <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> 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 | ||
! | ! लाप्लासियन आव्यूह | ||
|- | |- | ||
| [[image:Labeled_undirected_graph.svg|100px]] | | [[image:Labeled_undirected_graph.svg|100px]] | ||
Line 401: | Line 401: | ||
|} | |} | ||
===निर्देशित | ===निर्देशित आरेख़ के लिए सममित लाप्लासियन=== | ||
साधारण | साधारण आरेख़ की तरह, निर्देशित भारित आरेख़ का लाप्लासियन आव्यूह परिभाषा के अनुसार सामान्यतः गैर-सममित होता है। लाप्लासियन के निर्माण से पहले मूल निर्देशित आरेख को अप्रत्यक्ष आरेख में बदलकर समरूपता लागू की जा सकती है। अप्रत्यक्ष आरेख़ के आसन्न आव्यूह को, उदाहरण के लिए, आसन्न आव्यूह के योग के रूप में परिभाषित किया जा सकता है <math>A</math> मूल निर्देशित आरेख़ और उसके आव्यूह का परिवर्त <math>A^T</math> जैसा कि निम्नलिखित उदाहरण में है: | ||
{|class="wikitable" | {|class="wikitable" | ||
! [[Adjacency matrix]] | ! [[Adjacency matrix|संलग्नता आव्यूह]] | ||
! Symmetrized | ! Symmetrized संलग्नता आव्यूह | ||
! Symmetric | ! 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> सरल | जहाँ शून्य और की प्रविष्टियाँ हैं <math>A</math> सरल आरेख़, मानों को तार्किक के बजाय संख्यात्मक माना जाता है, जो परिणामों में अंतर को समझाते हैं - सरल आरेख़ के लिए, सममित आरेख़ को अभी भी सरल होने की आवश्यकता है, इसके सममित आसन्न आव्यूह में मात्र तार्किक होते हैं, संख्यात्मक मान नहीं, उदाहरण के लिए, तार्किक योग 1 v 1 = 1 है, जबकि संख्यात्मक योग 1 + 1 = 2 है। | ||
वैकल्पिक रूप से, सममित लाप्लासियन | वैकल्पिक रूप से, सममित लाप्लासियन आव्यूह की गणना घात (आरेख सिद्धांत) का उपयोग करके दो लाप्लासियन से की जा सकती है, जैसा कि निम्नलिखित उदाहरण में है: | ||
{|class="wikitable" | {|class="wikitable" | ||
! [[Adjacency matrix]] | ! [[Adjacency matrix|संलग्नता आव्यूह]] | ||
! | ! बाह्य-घात आव्यूह | ||
! | ! बाह्य-घात लाप्लासियन | ||
! | ! आंतरिक-घात आव्यूह | ||
! | ! आंतरिक-घात लाप्लासियन | ||
|- | |- | ||
| <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> | ||
जहां | जहां L असामान्य लाप्लासियन है, ए आसन्न आव्यूह है, डी घात आव्यूह है, और <math>D^+</math> मूर-पेनरोज़ व्युत्क्रम है। चूँकि घात आव्यूह D विकर्ण है, इसका व्युत्क्रम वर्गमूल है <math display="inline">(D^+)^{1/2}</math> मात्र विकर्ण आव्यूह है जिसकी विकर्ण प्रविष्टियाँ D की विकर्ण प्रविष्टियों के वर्गमूलों के व्युत्क्रम हैं। यदि सभी किनारे के भार गैर-ऋणात्मक हैं तो सभी घात मान स्वचालित रूप से भी गैर-ऋणात्मक हैं और इसलिए प्रत्येक घात मान का अद्वितीय सकारात्मक वर्गमूल होता है। शून्य से विभाजन से बचने के लिए, शून्य घात वाले शीर्षों को सामान्यीकरण की प्रक्रिया से बाहर रखा गया है, जैसा कि निम्नलिखित उदाहरण में है: | ||
{|class="wikitable" | {|class="wikitable" | ||
! [[Adjacency matrix]] | ! [[Adjacency matrix|संलग्नता आव्यूह]] | ||
! | ! आंतरिक-घात आव्यूह | ||
! | ! आंतरिक-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">|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 घात आव्यूह है। चूँकि घात आव्यूह 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>L^\text{rw} := D^+L</math> चूंकि सामान्यीकरण सामान्यीकरण | रैंडम वॉक सामान्यीकृत लाप्लासियन को बायां सामान्यीकृत लाप्लासियन भी कहा जा सकता है <math>L^\text{rw} := D^+L</math> चूंकि सामान्यीकरण सामान्यीकरण आव्यूह द्वारा लाप्लासियन को गुणा करके किया जाता है <math>D^+</math> बाईं तरफ। चूँकि इसकी प्रत्येक पंक्ति का योग शून्य है <math>P = D^+A</math> स्टोचैस्टिक आव्यूह है, यह मानते हुए कि सभी भार गैर-ऋणात्मक हैं। | ||
कम असामान्य रूप से उपयोग किए जाने वाले दाएँ सामान्यीकृत लाप्लासियन में <math>L D^+ = I - A D^+</math> चूँकि प्रत्येक | कम असामान्य रूप से उपयोग किए जाने वाले दाएँ सामान्यीकृत लाप्लासियन में <math>L D^+ = I - A D^+</math> चूँकि प्रत्येक स्तम्भ का योग शून्य है <math>A D^+</math> स्टोकेस्टिक आव्यूह है. | ||
निर्देशित | निर्देशित आरेख़ के गैर-सममित आसन्न आव्यूह के लिए, किसी को सामान्यीकरण के लिए घात (आरेख़ सिद्धांत) चुनने की भी आवश्यकता होती है: | ||
{|class="wikitable" | {|class="wikitable" | ||
! [[Adjacency matrix]] | ! [[Adjacency matrix|संलग्नता आव्यूह]] | ||
! | ! बाह्य-घात आव्यूह | ||
! | ! बाह्य-Degree left 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>. | ||
==== | ====ऋणात्मक भार==== | ||
ऋणात्मक भार सामान्यीकरण के लिए कई चुनौतियाँ प्रस्तुत करते हैं: | |||
* | * ऋणात्मक भार की उपस्थिति के परिणामस्वरूप गैर-पृथक शीर्षों के लिए स्वाभाविक रूप से शून्य पंक्ति- और/या स्तंभ-योग हो सकता है। सकारात्मक भारों की बड़ी पंक्ति-योग और समान रूप से ऋणात्मक भारों की समान रूप से बड़ी पंक्ति-योग वाला शीर्ष, जिसका योग शून्य है, को भारी नोड माना जा सकता है और दोनों बड़े मानों को स्केल किया जा सकता है, जबकि विकर्ण प्रविष्टि शून्य रहती है, जैसे कि पृथक शीर्ष. | ||
* | * ऋणात्मक भार ऋणात्मक पंक्ति- और/या स्तंभ-योग भी दे सकते हैं, जिससे कि गैर-सामान्यीकृत लाप्लासियन आव्यूह में संबंधित विकर्ण प्रविष्टि ऋणात्मक होगी और सममित सामान्यीकरण के लिए आवश्यक सकारात्मक वर्गमूल मौजूद नहीं होगा। | ||
* सामान्यीकरण के प्रयोजन के लिए पंक्ति- और/या स्तंभ-योग का पूर्ण मान लेने के लिए तर्क दिए जा सकते हैं, इस प्रकार संभावित मान -1 को सामान्यीकृत लाप्लासियन | * सामान्यीकरण के प्रयोजन के लिए पंक्ति- और/या स्तंभ-योग का पूर्ण मान लेने के लिए तर्क दिए जा सकते हैं, इस प्रकार संभावित मान -1 को सामान्यीकृत लाप्लासियन आव्यूह के मुख्य विकर्ण की वैध इकाई प्रविष्टि के रूप में माना जा सकता है। | ||
== गुण == | == गुण == | ||
एक (अप्रत्यक्ष) | एक (अप्रत्यक्ष) आरेख़ G और उसके लाप्लासियन आव्यूह L के लिए [[eigenvalues]] के साथ <math display="inline">\lambda_0 \le \lambda_1 \le \cdots \le \lambda_{n-1}</math>: | ||
* L [[सममित मैट्रिक्स]] है. | * L [[सममित मैट्रिक्स|सममित आव्यूह]] है. | ||
* | * L [[सकारात्मक-निश्चित मैट्रिक्स|सकारात्मक-निश्चित आव्यूह]] है | सकारात्मक-अर्ध-निश्चित (अर्थात <math display="inline">\lambda_i \ge 0</math> सभी के लिए <math display="inline">i</math>). इसे इस तथ्य से देखा जा सकता है कि लाप्लासियन सममित और विकर्ण रूप से प्रभावशाली आव्यूह अनुप्रयोग और गुण है। | ||
* | * L [[एम-मैट्रिक्स|एम-आव्यूह]] है (इसकी ऑफ-विकर्ण प्रविष्टियाँ गैर-सकारात्मक हैं, फिर भी इसके स्वदेशी मानों के वास्तविक भाग गैर-ऋणात्मक हैं)। | ||
* L की प्रत्येक पंक्ति और स्तंभ का योग शून्य है। वास्तव में, योग में, शीर्ष की | * L की प्रत्येक पंक्ति और स्तंभ का योग शून्य है। वास्तव में, योग में, शीर्ष की घात को प्रत्येक पड़ोसी के लिए -1 के साथ जोड़ा जाता है। | ||
* परिणामस्वरूप, <math display="inline">\lambda_0 = 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 आइगेनमान की आइगेनमान और आइजेनसदिश बीजगणितीय बहुलता है। | ||
* L के सबसे छोटे गैर-शून्य eigenvalue को [[वर्णक्रमीय अंतराल]] कहा जाता है। | * L के सबसे छोटे गैर-शून्य eigenvalue को [[वर्णक्रमीय अंतराल]] कहा जाता है। | ||
* L का दूसरा सबसे छोटा eigenvalue (शून्य हो सकता है) G की बीजगणितीय कनेक्टिविटी (या फ़िडलर मान) है और | * 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>. | ||
* जब G, [[के-नियमित ग्राफ]]|k-रेगुलर है, तो सामान्यीकृत लाप्लासियन है: <math display="inline">\mathcal{L} = \tfrac{1}{k} L = I - \tfrac{1}{k} A</math>, जहां A आसन्नता | * जब G, [[के-नियमित ग्राफ|के-नियमित आरेख]]|k-रेगुलर है, तो सामान्यीकृत लाप्लासियन है: <math display="inline">\mathcal{L} = \tfrac{1}{k} L = I - \tfrac{1}{k} A</math>, जहां A आसन्नता आव्यूह है और I पहचान आव्यूह है। | ||
* एकाधिक कनेक्टेड घटक ( | * एकाधिक कनेक्टेड घटक (आरेख़ सिद्धांत) वाले आरेख़ के लिए, L ब्लॉक आव्यूह ब्लॉक विकर्ण आव्यूह आव्यूह है, जहां प्रत्येक ब्लॉक प्रत्येक घटक के लिए संबंधित लाप्लासियन आव्यूह है, संभवतः शीर्षों को पुन: व्यवस्थित करने के बाद (अर्थात L क्रमपरिवर्तन-समान है) ब्लॉक विकर्ण आव्यूह)। | ||
* लाप्लासियन | * लाप्लासियन आव्यूह 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">\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 (सामान्यीकृत लाप्लासियन के | * सामान्यीकृत सममित लाप्लासियन के सभी 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{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>\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=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 पहचान | जहां 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>Q = RR^\textsf{T}</math> | :<math>Q = RR^\textsf{T}</math> | ||
जहाँ <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> यदि और मात्र यदि आरेख़ में द्विदलीय जुड़ा हुआ घटक है। | ||
=== निर्देशित | === निर्देशित मल्टीआरेख === | ||
निर्देशित | निर्देशित मल्टीआरेख के लिए लाप्लासियन आव्यूह का एनालॉग परिभाषित किया जा सकता है।<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 के साथ विकर्ण | जहां 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: पायथन में | * 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> | ||
* लाप्लासियनऑप्ट (लाप्लासियन के भारित | * लाप्लासियनऑप्ट (लाप्लासियन के भारित आरेख़ के दूसरे आइगेनमान को अधिकतम करने के लिए जूलिया पैकेज) <ref>{{Cite web|url=https://github.com/harshangrjn/LaplacianOpt.jl|title = Harshangrjn/LaplacianOpt.jl|website = [[GitHub]]|date = 2 February 2022}}</ref> | ||
* LigMG (बड़ा अनियमित | * LigMG (बड़ा अनियमित आरेख़ मल्टीग्रिड)<ref>{{Cite web|url=https://github.com/ligmg/ligmg|title=LigMG (बड़ा अनियमित ग्राफ़ मल्टीग्रिड) - बड़े अनियमित ग्राफ़ के लिए एक वितरित मेमोरी ग्राफ़ लाप्लासियन सॉल्वर|website=[[GitHub]]|date=5 January 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 हैं।
यहां लेबल, अप्रत्यक्ष आरेख़ और उसके लाप्लासियन आव्यूह का सरल उदाहरण दिया गया है।
लेबल आव्यूह | घात आव्यूह | संलग्नता आव्यूह | लाप्लासियन आव्यूह |
---|---|---|---|
हम अप्रत्यक्ष आरेख़ के लिए देखते हैं कि आसन्न आव्यूह और लाप्लासियन आव्यूह दोनों सममित हैं, और लाप्लासियन आव्यूह की पंक्ति और स्तंभ-योग सभी शून्य हैं।
निर्देशित आरेखके लिए, या तो घात (आरेख़ सिद्धांत) का उपयोग किया जा सकता है, जो कि अनुप्रयोग पर निर्भर करता है, जैसा कि निम्नलिखित उदाहरण में है:
लेबल आव्यूह | संलग्नता आव्यूह | बाह्य-घात आव्यूह | बाह्य-घात लाप्लासियन | आंतरिक-घात आव्यूह | आंतरिक-घात लाप्लासियन |
---|---|---|---|---|---|
निर्देशित आरेख़ में, आसन्न आव्यूह और लाप्लासियन आव्यूह दोनों असममित हैं। इसके लाप्लासियन आव्यूह में, स्तम्भ-योग या पंक्ति-योग शून्य हैं, यह इस बात पर निर्भर करता है कि घात (आरेख़ सिद्धांत) का उपयोग किया गया है या नहीं।
घटना आव्यूह के माध्यम से सममित लाप्लासियन
शीर्ष v और किनारे e के लिए अवयव Bve के साथ घटना आव्यूह B (शीर्ष और को , i > j से जोड़ता है) को
- द्वारा परिभाषित किया गया है।
यद्यपि इस परिभाषा में किनारों को तकनीकी रूप से निर्देशित किया गया है, उनकी दिशाएँ यादृच्छिक रूप से हो सकती हैं, फिर भी परिणाम समान सममित लाप्लासियन आव्यूह L को
के रूप में परिभाषित किया गया है जहां B का परिवर्त आव्यूह है।
अप्रत्यक्ष आरेख | घटना आव्यूह | लाप्लासियन आव्यूह |
---|---|---|
एक वैकल्पिक गुणनफल तथाकथित शीर्ष-आधारित लाप्लासियन को परिभाषित करता है , जो मूल रूप से उपयोग किए जाने वाले शीर्ष-आधारित लाप्लासियन आव्यूह 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 आरेख़ का आसन्न आव्यूह है।
निर्देशित आरेख़ के लिए, या तो घात (आरेख़ सिद्धांत) का उपयोग किया जा सकता है, जो कि अनुप्रयोग पर निर्भर करता है, जैसा कि निम्नलिखित उदाहरण में है:
संलग्नता आव्यूह | आंतरिक-घात आव्यूह | आंतरिक-घात लाप्लासियन | बाह्य-घात आव्यूह | बाह्य-घात लाप्लासियन |
---|---|---|---|---|
आरेख़ सेल्फ-लूप्स, जो आसन्न आव्यूह के मुख्य विकर्ण पर गैर-शून्य प्रविष्टियों द्वारा स्वयं को प्रकट करते हैं, की अनुमति है परन्तु आरेख़ लाप्लासियन मानों को प्रभावित नहीं करते हैं।
घटना आव्यूह के माध्यम से सममित लाप्लासियन
भारित किनारों वाले आरेख़ के लिए कोई भारित घटना आव्यूह B को परिभाषित कर सकता है और इसका उपयोग संबंधित सममित लाप्लासियन के निर्माण के लिए कर सकता है . यहां वर्णित वैकल्पिक क्लीनर दृष्टिकोण, वज़न को कनेक्टिविटी से अलग करना है: नियमित आरेख़ के लिए घटना आव्यूह का उपयोग करना जारी रखें और मात्र वज़न के मान रखने वाले आव्यूह को पेश करें। वसंत प्रणाली इस मॉडल का उदाहरण है जिसका उपयोग यांत्रिकी में दी गई कठोरता और इकाई लंबाई के स्प्रिंग्स की प्रणाली का वर्णन करने के लिए किया जाता है, जहां कठोरता के मूल्य आरेख किनारों के भार की भूमिका निभाते हैं।
इस प्रकार हम भारहीन की परिभाषा का पुन: उपयोग करते हैं अवयव B के साथ घटना आव्यूह Bve शीर्ष v और किनारे e के लिए (शीर्षों को जोड़ने वाला)। और , i > j) द्वारा परिभाषित
अब हम विकर्ण को भी परिभाषित करते हैं आव्यूह W जिसमें किनारे का भार है। यद्यपि B की परिभाषा में किनारों को तकनीकी रूप से निर्देशित किया गया है, उनकी दिशाएं मनमानी हो सकती हैं, फिर भी समान सममित लाप्लासियन का परिणाम होता है आव्यूह L के रूप में परिभाषित किया गया है
जहाँ B का परिवर्त है.
निर्माण को निम्नलिखित उदाहरण में दर्शाया गया है, जहां हर किनारा भार मान i, के साथ निर्दिष्ट किया गया है
अप्रत्यक्ष आरेख | घटना आव्यूह | Edge weights | लाप्लासियन आव्यूह |
---|---|---|---|
निर्देशित आरेख़ के लिए सममित लाप्लासियन
साधारण आरेख़ की तरह, निर्देशित भारित आरेख़ का लाप्लासियन आव्यूह परिभाषा के अनुसार सामान्यतः गैर-सममित होता है। लाप्लासियन के निर्माण से पहले मूल निर्देशित आरेख को अप्रत्यक्ष आरेख में बदलकर समरूपता लागू की जा सकती है। अप्रत्यक्ष आरेख़ के आसन्न आव्यूह को, उदाहरण के लिए, आसन्न आव्यूह के योग के रूप में परिभाषित किया जा सकता है मूल निर्देशित आरेख़ और उसके आव्यूह का परिवर्त जैसा कि निम्नलिखित उदाहरण में है:
संलग्नता आव्यूह | 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.0 1.1 1.2 Chung, Fan (1997) [1992]. Spectral Graph Theory. American Mathematical Society. ISBN 978-0821803158.
- ↑ 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.
- ↑ Godsil, C.; Royle, G. (2001). बीजगणितीय ग्राफ सिद्धांत, गणित में स्नातक ग्रंथ. Springer-Verlag.
- ↑ 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.
- ↑ Morbidi, F. (2013). "विकृत आम सहमति प्रोटोकॉल" (PDF). Automatica. 49 (10): 3049–3055. doi:10.1016/j.automatica.2013.07.006. S2CID 205767404.
- ↑ 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.
- ↑ 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.
- ↑ "SciPy". GitHub. 24 March 2022.
- ↑ "नेटवर्कएक्स". GitHub. 24 March 2022.
- ↑ "2.3. Clustering".
- ↑ "PyGSP: Graph Signal Processing in Python". GitHub. 23 March 2022.
- ↑ "Megaman: Manifold Learning for Millions of Points". GitHub. 14 March 2022.
- ↑ "स्मूथजी". GitHub. 17 September 2020.
- ↑ "Announcing Our Paper at KDD 2020".
- ↑ "Harshangrjn/LaplacianOpt.jl". GitHub. 2 February 2022.
- ↑ "LigMG (बड़ा अनियमित ग्राफ़ मल्टीग्रिड) - बड़े अनियमित ग्राफ़ के लिए एक वितरित मेमोरी ग्राफ़ लाप्लासियन सॉल्वर". GitHub. 5 January 2022.
- ↑ "लाप्लासियंस.जे.एल". GitHub. 11 March 2022.