מטריצת לפלסיאן

בתורת הגרפים, מטריצת לפלסיאן (לעיתים מטריצת קירכהוף) היא מטריצת המתארת גרף. למטריצת הלפלסיאן שימושים רבים והיא מאפשרת למצוא תכונות שונות של גרפים. בין היתר באמצעות משפט קירכהוף ניתן לחשב את מספר העצים הפורשים בגרף. שימוש חשוב נוסף של מטריצת הלפלסיאן הוא בהקשר של גרפים מרחיבים, שבהם אי שוויון צ'יגר קושר בין הערך העצמי השני של מטריצת הלפלסיאן לחתך המינימלי בגרף.

הגדרות
מטריצת הלפלסיאן עבור גרף , שבו  קודקודים היא מטריצה בגודל  המוגדרת כך:

כאשר:
 היא מטריצת הדרגות - מטריצת אלכסונית אשר הערכים על האלכסון הם ערכי הדרגות של כל קודקוד
 היא מטריצת שכנות - מטריצה שבה עבור כל שני קודקודים  יופיע 1 בתא ה- אם שני הקודקודים שכנים, ו-0 אחרת.
כאשר עוסקים בגרף מכוון לעיתים נעשה שימוש בדרגת הקשתות הנכנסות ולעיתים נעשה שימוש בדרגת הקשתות היוצאות כתלות בשימוש.

התאים במטריצת  נתונים על ידי:

כאשר  היא הדרגה של הקודקוד ה-.

שתי מטריצות הנגזרות ממטריצת הלפלסיאן, מטריצת הלפלסיאן הסימטרית המנורמלת ומטריצת הלפלסיאן המנורמלת של מהלך אקראי, הן גרסאות מנורמלות של המטריצה, ולהן שימושים בהקשרים שונים.

מטריצת לפלסיאן סימטרית מנורמלת (symmetric normalized Laplacian matrix) מוגדרת כך:

,

התאים ב- נתונים על ידי:

מטריצת לפלסיאן מנורמלת של מהלך אקראי (random-walk normalized Laplacian matrix) מוגדרת כך:

האיברים של  נתונים על ידי:

דוגמה
להלן דוגמה לגרף ולמטריצת הלפלסיאן שלו:

 גרף מטריצת דרגות מטריצת שכנויות מטריצת לפלסיאן175px

תכונות
עבור גרף לא מכוון , שמטריצת הלפלסיאן שלו היא  עם ערכים עצמיים :
 היא מטריצה סימטרית
 היא מטריצת חיובית למחצה (כלומר לכל  מתקיים )
 הסכום של כל שורה ושל כל עמודה הוא 0, שכן הדרגה נסכמת עם 1- לכל שכן.
 בהתאם  כיוון שהווקטור  מקיים 
 מספר הפעמים ש-0 מופיע כערך עצמי במטריצה הוא כמספר רכיבי הקשירות בגרף.
 הערך העצמי הקטן ביותר של  שאינו 0 נקרא הפער הספקטרלי.
 הערך העצמי השני הכי קטן הוא הקשירות האלגברית (או ערך פידלר) של .
 כאשר  הוא k-רגולרי הלפלסיאן המנורמל הוא , כאשר  היא מטריצת השכנות ו- היא מטריצת היחידה.
 מטריצת לפלסיאן היא מטריצה סינגולרית

מטריצת החילה
עבור גרף , שבו  הם קבוצת הקודקודים ו- היא קבוצת הקשתות, מטריצת החילה (Incidence matrix)  היא מטריצה בגודל  שהתא ה-  עבור  ו- נתון על ידי:

ניתן לחשב את מטריצת הלפלסיאן ממטריצת החילה באופן הבא:

כאשר  הוא שחלוף השורות והעמודות של .

הפירוק לווקטורים עצמיים של מטריצת הלפלסיאן , עם וקטורים עצמיים עם גודל יחידה  וערכים עצמיים :

מאחר ש- יכול להיכתב כמכפלה פנימית של הווקטור  עם עצמו, זה מראה כי  ולכן כל הערכים העצמיים של  הם לא שליליים.

מטריצת לפלסיאן סימטרית מנורמלת 
מטריצת לפלסיאן (סימטרית) מנורמלת מוגדרת כך:


כאשר  היא מטריצת לפלסיאן,  היא מטריצת שכנות ו- היא מטריצת הדרגות. מאחר שמטריצת הדרגות  היא אלכסונית וחיובית, השורש ההופכי שלה  הוא מטריצה אלכסונית שבה הערכים לאורך האלכסון הם ההפכים של השורשים של הערכים על האלכסון של .

ניתן לחשב אותה כך: , כאשר  היא מטריצה שבה השורות מאונדקסות על יד הקודקודים והעמודות על פי הקשתות של הגרף כך שבעמודה המתאימה לקשת , התא בשורה  הוא הוא בעל ערך , ובשורה המתאימה ל- הוא בעל ערך , ו-0 ביתר התאים. (הערה:  מייצג את השחלוף של ).

כל הערכים העצמיים של מטריצת הלפלסיאן המנורמלת ממשים ואי שליליים. אפשר להראות זאת כך: מאחר ש- היא סימטרית, הערכים העצמיים בה ממשיים. בנוסף הם אי שליליים: עבור הווקטור העצמי  של  עם הערך העצמי המתאים  ונניח כי . (אפשר לחשוב על  ו- כפונקציות ממשיות על הקודקודים .) אז:

כאשר משתמשים במכפלה הפנימית , סכום כל הקודקודים , ו- מסמן סכום על כל הזוגות הלא סדורים של קודקודים סמוכים . הסכום 

נקרא סכום דיריכלה של  כאשר הביטוי

נקרא מנת רייליג (Rayleigh quotient) של .

תהא 1 פונקציה המניחה את הערך 1 עבור כל קודקוד. אז  הוא פונקציה עצמית של עם ערך עצמי 0.

הערכים העצמיים של מטריצת הלפלסיאן הסימטרית המנורמלת מקיימים . ערכים עצמיים אלו ידועים כספקטרום של מטריצת הלפלסיאן המנורמלת.

מטריצת לפלסיאן מנורמלת של מהלך אקראי
מטריצת לפלסיאן מנורמלת של מהלך אקראי, מוגדרת כך:


כאשר  היא מטריצת דרגות. מאחר שמטריצת הדרגות  היא אלכסונית, המטריצה ההופכית שלה  היא מטריצה אלכסונית גם כן, שהערכים על האלכסון שלה הם ההופכיים של האיברים המתאימים להם ב-.
עבור קודקודים מבודדים (בעלי דרגה 0), נהוג להגדיר את האיבר המתאים  ל-0.
התוצאה של הגדרה כזו היא תכונה יפה שמספר הערכים העצמיים שערכם הוא 0 שווה למספר רכיבי הקשירות בגרף.
איברי המטריצה  נתונים על ידי:

השם מטריצת לפלסיאן מנורמלת של מהלך אקראי בא מהעובדה כי מטריצה זו היא פשוט מטריצת המעברים של מהלך מקרי בגרף. לדוגמה  וקטור הבסיס הסטנדרטי ה-i, אז  הוא וקטור הסתברות המתאר את ההתפלגות של מיקום מהלך אקראי לאחר צעד אחד מהקודקוד , כלומר .
באופן כללי יותר אם  הוא התפלגות של מיקום מהלך אקראי בקודקודי הגרף אז  היא ההתפלגות של מיקום מהלך אקראי לאחר  צעדים.

ניתן לראות כי:

 ,

 דומה למטריצת הלפלסיאן המנורמלת (הסימטרית) . מסיבה זו, אפילו אם  אינה הרמיטית באופן כללי, יש לה ערכים עצמיים ממשיים.

לעיתים מתייחסים למטריצה  גם כן כמטריצת לפלסיאן של הילוך מקרי מאחר שהתכונות שלה דומות לאלו של מטריצת לפלסיאן דיסקרטית סטנדרטית מתחום האנליזה הנומרית.

שימושים
למטריצת הלפלסיאן שימושים רבים בתורת הגרפים ובאלגוריתמים. 

עצים פורשים בגרף

יהא  גרף קשיר בעל  קודקודים, ויהיו  ערכים עצמיים שונים מאפס של הלפלסיאן  של . אזי , מספר העצים הפורשים של , הוא:

במילים אחרות, מספר העצים הפורשים שווה למינור של .

אי שוויון צ'יגר
קבוע צ'יגר (Cheeger) הוא מדד מספרי האם גרף מכיל "צוואר בקבוק". הקבוע מוגדר על ידי  (מהי קבוצת הקודקודים בגודל של עד חצי ממספר הקודקודים, שעבורה מספר הקשתות שיצאו ממנה ביחס לגודל שלה יהיה מינימלי).

הערך העצמי הקטן ביותר של מטריצת לפלסיאן  שאינו 0 נקרא הפער הספקטרלי. עבור גרף  שהוא  רגולרי קיים קשר בין הפער הספקטרלי לקבוע זה, שהוכח על ידי טנר, ובאופן בלתי תלוי על ידי נוגה אלון וויטלי מילמן:

.

אשכול ספקטרלי
בתחום של ניתוח אשכולות (Clustering), מתעניינים בבעיה שבהינתן דוגמאות  (כאשר ), מספר  ופונקציית דמיון רוצים למצוא חלוקה הדוגמאות ל- קבוצות כך שהדוגמאות בכל קבוצה יהיו דומות זו לזו. 

אחת ממשפחות האלגוריתמים הנפוצה לפתרון בעיות מסוג זה היא אלגוריתמים של אשכול ספקטרלי (Spectral clustering). אלגוריתמים אלו מבוססים על בניית גרף דמיון, גרף שבו כל דוגמה היא קודקוד, וכל קשת מחברת בין דוגמאות דומות (בחירה אפשרית לכך היא חיבור קודקודים שעבורם פונקציית הדמיון החזירה ערך קטן מערך מסוים). על פי הגרף מחשבים מטריצת לפלסיאן (קיימות גרסאות שונות של אשכול ספקטרלי העושות שימוש במטריצת לפלסיאן מנורמלת), ותוך שימוש בווקטורים העצמיים שלה מחפשים חלוקה לקבוצות באמצעות אלגוריתם k-מרכזים (k-means).

קישורים חיצוניים


Daniel A. Spielman, Algorithms, Graph Theory, and Linear Equa-tions in Laplacian Matrices, Proceedings of the International Congress of Mathematicians. Hyderabad, India, 2010

הערות שוליים

קטגוריה:מטריצות
קטגוריה:תורת הגרפים