# இலாப்லாசிய அணி

கோட்டுருவியலில் **இலாப்லாசிய அணி** (*Laplacian matrix*) என்பது ஒரு கோட்டுருவின் அணி வடிவ உருவகிப்பாகும். இந்த அணியானது, கணிதவியளாளர் இலாப்லாசின் பெயரால் அழைக்கப்படுகிறது. இலாப்லாசிய அணி, அதன் கோட்டுருவின் பல பண்புகளைத் தொடர்புபடுத்துகிறது.  

## வரையறை

### எளிய கோட்டுருக்கள்
;திசையிலாக் கோட்டுருக்கள்  
எடுத்துக்கொள்ளப்பட்ட கோட்டுரு <math>G</math>; அதன் <math>n</math> முனைகள் <math>v_1, \ldots, v_n</math> எனில், அதன் <math display="inline">L_{n \times n}</math> இலாப்லாசிய அணி உறுப்புகள்வாரியாக பின்வருமாறு வரையறுக்கப்படுகிறது:  

: <math>L_{i,j} := \begin{cases}  
\deg(v_i) & \mbox{if}\ i = j \\  
-1 & \mbox{if}\ i \neq j\ \mbox{and}\ v_i \mbox{ is adjacent to } v_j \\  
0 & \mbox{otherwise},  
\end{cases}</math>  

: <math>L = D - A, </math>  

இதில் *D* = அடுக்கெண் அணி; *A* = அண்டை அணி. <math display="inline">G</math> எளிய கோட்டுருவாகையால் அண்டை அணியின் மூலைவிட்ட உறுப்புகள் அனைத்தும் '0' ஆகவும், பிற உறுப்புகள் '1' அல்லது '0' ஆகவும் இருக்கும்.  

:எடுத்துக்காட்டு:  

| <math display="inline">\(\begin{array}{rrrrrr}
2 & 0 & 0 & 0 & 0 & 0\\
0 & 3 & 0 & 0 & 0 & 0\\
0 & 0 & 2 & 0 & 0 & 0\\
0 & 0 & 0 & 3 & 0 & 0\\
0 & 0 & 0 & 0 & 3 & 0\\
0 & 0 & 0 & 0 & 0 & 1\\
\end{array}\)</math> | <math display="inline">\(\begin{array}{rrrrrr}
0 & 1 & 0 & 0 & 1 & 0\\
1 & 0 & 1 & 0 & 1 & 0\\
0 & 1 & 0 & 1 & 0 & 0\\
0 & 0 & 1 & 0 & 1 & 1\\
1 & 1 & 0 & 1 & 0 & 0\\
0 & 0 & 0 & 1 & 0 & 0\\
\end{array}\)</math> | <math display="inline">\(\begin{array}{rrrrrr}
2 & -1 & 0 & 0 & -1 & 0\\
-1 & 3 & -1 & 0 & -1 & 0\\
0 & -1 & 2 & -1 & 0 & 0\\
0 & 0 & -1 & 3 & -1 & -1\\
-1 & -1 & 0 & -1 & 3 & 0\\
0 & 0 & 0 & -1 & 0 & 1\\
\end{array}\)</math> | } |
| --- | --- | --- | --- |

திசையிலாக் கோட்டுருவின் அண்டை அணியும் இலாப்லாசிய அணியும் சமச்சீரானவையாகவும், இலாப்லாசிய அணியின் ஒவ்வொரு நிரை/நிரலுள்ள உறுப்புகளின் கூடுதல் பூச்சியமாகவும் இருக்கும்.  

;திசையுள்ள கோட்டுருக்கள்  
திசை கோட்டுருக்களுக்கு பயன்பாட்டைப் பொறுத்து உள்ளடுக்கெண் அல்லது வெளியடுக்கெண்கள் பயன்படுத்தப்படும்.  

எடுத்துக்காட்டு:  
| <math display="inline">\(\begin{array}{rrr}
0 & 1 & 1\\
0 & 0 & 1\\
1 & 0 & 0\\
\end{array}\)</math> | <math display="inline">\(\begin{array}{rrr}
2 & 0 & 0\\
0 & 1 & 0\\
0 & 0 & 1\\
\end{array}\)</math> | <math display="inline">\(\begin{array}{rrr}
2 & -1 & -1\\
0 & 1 & -1\\
-1 & 0 & 1\\
\end{array}\)</math> | <math display="inline">\(\begin{array}{rrr}
1 & 0 & 0\\
0 & 1 & 0\\
0 & 0 & 2\\
\end{array}\)</math> | <math display="inline">\(\begin{array}{rrr}
1 & -1 & -1\\
0 & 1 & -1\\
-1 & 0 & 2\\
\end{array}\)</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*&nbsp;<&nbsp;*j*) முனைகளை இணைக்கும் விளிம்பையும் குறிக்கின்றன. மேலும் *B*<sub>*ve*</sub> இன் வரையறை:  
:<math>B_{ve} = \\{\begin{array}{rl}  
1, & \text{if } v = v_i\\  
-1, & \text{if } v = v_j\\  
0, & \text{otherwise}.  
\end{array}\.</math>  

இந்த வரையறையில் விளிம்புகள் திசையுள்ளவைகளாக இருந்தாலும் அத்திசைகள் குறிப்பில்லாதவையாக இருக்கலாம். இப்போதும் சமச்சீர் இலாப்லாசிய அணியில் மாற்றமிருக்காது.  

<math display="inline">|v| \times |v|</math> இலாப்லாசிய அணி *L* இன் வரையறை:  
:<math>L = B B^\textsf{T}</math> (*B* இன் இடமாற்று அணி <math display="inline">B^\textsf{T}</math>)  

;எடுத்துக்காட்டு:  
| <math display="inline">\(\begin{array}{rrrr}
1 & 1 & 1 & 0\\
-1 & 0 & 0 & 0\\
0 & -1 & 0 & 1\\
0 & 0 & -1 & -1\\
\end{array}\)</math> | <math display="inline">\(\begin{array}{rrrr}
3 & -1 & -1 & -1\\
-1 & 1 & 0 & 0\\
-1 & 0 & 2 & -1\\
-1 & 0 & -1 & 2\\
\end{array}\)</math> | } |
| --- | --- | --- |

- <math>B^\textsf{T}B</math> என்பது, "விளிம்பு-அடிப்படையிலான <math display="inline">|e| \times |e|</math> இலாப்லாசிய அணி"யைத் தரும். மேலே தரப்பட்ட இலாப்லாசிய அணி "முனை-அடிப்படையிலான இலாப்லாசிய அணி"யாகும்.

### திசையுள்ள கோட்டுருவின் சமச்சீர் இலாப்லாசிய அணி
திசையுள்ள கோட்டுருவின் இலாப்லாசிய அணியானது பொதுவாக சமச்சீரானதல்ல. எனினும் திசையுள்ள கோட்டுருவை திசையற்றதாக மாற்றி அதற்கான இலாப்லாசிய அணி காணப்படுகிறது.  

எடுத்துக்கொள்ளப்படும் திசையுள்ள மூலக் கோட்டுருவிற்கான திசையிலாக் கோட்டுருவின் அண்டை அணியானது, திசையுள்ள மூலக் கோட்டுருவின் அண்டை அணி (<math>A</math>) மற்றும் அதன் இடமாற்று அணி (<math>A^T</math>) ஆகிய இரண்டின் பூலியக் கூட்டுத்தொகையாக வரையறுக்கப்படுகிறது.  

;எடுத்துக்காட்டு:  
| <math display="inline">\(\begin{array}{ccc}
0 & 1 & 1\\
0 & 0 & 1\\
1 & 0 & 0\\
\end{array}\)</math> | <math display="inline">\(\begin{array}{ccc}
0 & 0 & 1\\
1 & 0 & 0\\
1 & 1 & 0\\
\end{array}\)</math> | <math display="inline">\(\begin{array}{ccc}
0 & 1 & 1\\
1 & 0 & 1\\
1 & 1 & 0\\
\end{array}\)</math> | <math display="inline">\(\begin{array}{ccc}
2 & -1 & -1\\
-1 & 2 & -1\\
-1 & -1 & 2\\
\end{array}\)</math> | } |
| --- | --- | --- | --- | --- |

### இலாப்லாசிய அணியை இயல்பாக்கல்
கோட்டுருவில் பெரிய அடுக்கெண்ணுள்ள முனை இருந்தால், இலாப்லாசிய அணியின் மூலைவிட்டத்தின் உறுப்பு பெரிதாக இருக்கும். இதனால் அணியின் பண்புகள் பாதிக்கப்படும். இத்தகைய முனைகளைப் பிற முனைகளுக்குச் சமமானதாக ஆக்குவதற்கு இயல்பாக்கல் பயன்படுத்தப்படுகிறது. இயல்பாக்கலில், இலாப்லாசிய அணியின் உறுப்புகள் அவற்றுக்குரிய முனைகளின் அடுக்கெண்களால் வகுக்கப்படுகிறது. இயல்பாக்கலின்போது பூச்சியத்தால் வகுக்க வேண்டிய நிலையைத் தவிர்ப்பதற்காக, பூச்சிய அடுக்கெண்ணுடன் தனித்து இருக்கும் முனைகள் விட்டுவிடப்படுகின்றன.  

#### சமச்சீராக இயல்பாக்கப்பட்ட இலாப்லாசிய அணி

சமச்சீராக இயல்பாக்கப்பட்ட இலாப்லாசிய அணியின் (<math>L^\text{sym}</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}  
1 & \mbox{if } i = j \mbox{ and } \deg(v_i) \neq 0\\  
-\frac{1}{\sqrt{\deg(v_i)\deg(v_j)}} & \mbox{if } i \neq j \mbox{ and } v_i \mbox{ is adjacent to } v_j \\  
0 & \mbox{otherwise}.  
\end{cases}</math>  

கோட்டுருவின் அண்டை அணி சமச்சீரானதாக 'இருந்தால், இருந்தால் மட்டுமே', சமச்சீராக இயல்பாக்கப்பட்ட இலாப்லாசிய அணியும் சமச்சீரானதாக இருக்கும்.  

;எடுத்துக்காட்டு:  
| <math display="inline">\(\begin{array}{rrr}
0 & 1 & 0\\
1 & 0 & 1\\
0 & 1 & 0\\
\end{array}\)</math> | <math display="inline">\(\begin{array}{rrr}
1 & 0 & 0\\
0 & 2 & 0\\
0 & 0 & 1\\
\end{array}\)</math> | <math display="inline">\(\begin{array}{rrr}
1 & -\sqrt{1/2} & 0\\
-\sqrt{1/2} & 1 & -\sqrt{1/2}\\
0& -\sqrt{1/2} & 1\\
\end{array}\)</math> | } |
| --- | --- | --- | --- |

திசை கோட்டுருவின் அண்டை அணி சமச்சீரற்றதாக இருந்தால், இயல்பாக்கலுக்கு வெளி-அடுக்கெண், உள்-அடுக்கெண் ஆகிய இரண்டில் ஏதாவதொன்று பயன்படுத்தப்படுகிறது:  

;எடுத்துக்காட்டு:  
| <math display="inline">\(\begin{array}{rrr}
0 & 1 & 1\\
0 & 0 & 1\\
1 & 0 & 0\\
\end{array}\)</math> | <math display="inline">\(\begin{array}{rrr}
2 & 0 & 0\\
0 & 1 & 0\\
0 & 0 & 1\\
\end{array}\)</math> | <math display="inline">\(\begin{array}{rrr}
1 & -\sqrt{1/2} & -\sqrt{1/2}\\
0 & 1 & -1\\
-\sqrt{1/2}& 0 & 1\\
\end{array}\)</math> | <math display="inline">\(\begin{array}{rrr}
1 & 0 & 0\\
0 & 1 & 0\\
0 & 0 & 2\\
\end{array}\)</math> | <math display="inline">\(\begin{array}{rrr}
1 & -1 & -\sqrt{1/2}\\
0 & 1 & -\sqrt{1/2}\\
-\sqrt{1/2}& 0 & 1\\
\end{array}\)</math> | } |
| --- | --- | --- | --- | --- | --- |