חלחול (תהליך)

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

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

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

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

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

מודל פרקולצית אתר בממד אחד
ממוזער|סריג חד־ממדי עם שישה אתרים בו האתרים האדומים מאוכלסים. בסריג זה שני אשכולות: הראשון בגודל 3 שכולל את אתרים 1-3 והשני בגודל 2 שכולל את אתרים 5-6. נשים לב שהאתר הרביעי לא מאוכלס, ועל כן אין אשכול מחלחל (כי אין רצף אתרים מאוכלסים סמוכים מאתר 1 עד אתר 6).
מודל הפרקולציה בממד אחד פשטני ביותר, אך מדגים באופן יחסית פשוט מושגים בסיסיים שמופיעים גם בממדים גבוהים יותר.

במודל זה מסתכלים על סריג חד־ממדי, סופי או אינסופי כך שלכל אתר בסריג יש הסתברות  להיות מאוכלס והסתברות  לא להיות מאוכלס. בנוסף, אכלוס האתרים בלתי תלוי אחד בשני. אשכול מוגדר להיות קבוצה של אתרים מאוכלסים שסמוכים זה לזה כאשר גודל האשכול הוא מספר האתרים בתוך אשכול. על פי ההגדרה אתר מאוכלס הוא בהכרח חלק מאשכול (שגודלו 1 לפחות).

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

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

מצד שני, בסריג באורך אינסופי :

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

הגדרה חשובה נוספת היא מספר האשכול  (Cluster number density) המתארת את ההסתברות שאתר כלשהו מהסריג כולו יהיה אתר מסוים מתוך האתרים שמרכיבים אשכול בגודל s. מכאן נובע שההסתברות שאתר יהיה שייך לאשכול בגודל  היא:  (מכפילים ב-s כי יש s אפשרויות להיות אתר באשכול בגודל s). בשימוש נוסחת ההסתברות השלמה ניתן גם להגיע לתוצאה: .

הביטוי למספר האשכול בסריג בממד אחד הוא (ראו איור משמאל):

כאשר נוספה הגדרה חדשה - cutoff cluster: . נשים לב שגודל זה מתבדר כש- וכדי לראות את "עוצמת ההתבדרות" נהוג לרשום את התוצאה כקירוב בפיתוח טיילור כאשר  :.

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

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

 פרקולציה בסריג בתה (Bethe) 
ממוזער|סריג בתה עם 3=Z שכנים לכל אתר. המספרים של האתרים מסמנים את הדור שלהם
מודל הפרקולציה בסריג בתה שימושי לתיאור פרקולציה בממד אינסופי בגלל שתי התכונות הבאות:

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

בנוסף ניתן לראות כי פרקולציה בסריג חד־ממדי שקולה לפרקולציה בסריג בתה  עם .

כעת נשאלת השאלה מהי ההסתברות הקריטית  בה ייווצר לראשונה אשכול מחלחל?

אם נתחיל מהאתר המרכזי וננוע החוצה בכל צעד ניתקל בעוד  שכנים חדשים. תנאי הכרחי לקבלת אשכול מחלחל הוא שבממוצע לפחות אחד מ- האתרים השכנים בכל צעד יהיה מאוכלס כלומר , ולכן סף הפרקולציה יתקבל כאשר יש שוויון: . מיד ניתן לשים לב שבמקרה החד־ממדי כש  מקבלים  כפי שהוכחנו, ולדוגמה במקרה ש-Z=3 מקבלים .

יתר על כן, במודל זה הטווח  קיים בניגוד למודל החד־ממדי.

 מעבר פאזה בסריג בתה עם Z=3 
ישנם מספר גדלים שמתאימים לתיאור של מעבר פאזה בסריג. אחד מהם הוא הגודל  שנקרא החוזק של אשכול אינסופי (או פרמטר סדר), והוא ההסתברות שאתר מסוים שייך לאשכול אינסופי.

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

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

הפתרון של משוואה זו הוא: . נשים לב שתוצאה זו מאוששת ש- כש-Z=3.
ממוזער|מעבר הפאזה של פרמטר הסדר בסריג בתה עם Z=3.
כעת כשנציב את הגודל חזרה אל  נקבל ש-.

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

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

לבסוף כש- האיבר המוביל מתכונתי ל- כאשר  הוא אקספוננט קריטי נוסף שבמקרה זה ערכו הוא 1.

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

פיתוח יותר מדויק ניתן לעשות עם פרקולציה במודל פוטס (Potts).

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

אם נסתכל על סריג דו־ממדי עם שטח חתך  הנמצא במישור  ואורך  בציר Z, על פי מודל יאנג יתקיים הקשר:

כאשר הכללנו את המשוואה ל-d ממדים. כעת ניתן להגדיר את הגודל  בתור מקדם ההעברה (באנ' compliance).

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

.

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

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

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

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

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

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

 לקריאה נוספת 
 Andres Malthe-Sorenssen, Percolation and Disordered Systems - A Numerical Approach
 Béla Bollobás and Oliver Riordan,Percolation
 Muhammad Sahimi,Applications of Percolation Theory

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


 הערות שוליים 

קטגוריה:קומבינטוריקה