כלל המעגל

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

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

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

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

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

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

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

ונקבל את התוצאה הבאה:

|ממוזער|מרכז|מפת חום של 5,000 ערכים עצמיים של המטריצה 

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

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

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

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

נשתמש בדוגמה הבאה כדי לקבל אינטואיציה מדוע השיטה לא רלוונטית למקרה הכללי:

 היא מטריצה בעלת פולינום אופייני , כלומר הערך העצמי היחיד הוא 0.

כעת עבור מטריצה מרוכבת ו-

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

כעת נקבל כי לכל  מתקיים כי

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

בעיה בשיטת סטילטס
בשיטת סטילטס מנסים למצוא היפוך לטרנספומצית סטילטס:

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

שימוש בפונטציאל הלוגריתמי

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

ניתן להראות כי הקשר בין הנוסחה הזו לנוסחת סטילטס הוא

כעת נסמן את  הלפלסיאן ב -  ונקבל את הקשר הבא:

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

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

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

ראו גם
 מטריצה אקראית
 התפלגות חצי המעגל של ויגנר
 התפלגות טרייסי-וידום
 התפלגות מרצ'נקו-פסטור

קישורים חיצוניים
 Terence Tao, 254A, Notes 8: The circular law, 2010
 Terence Tao, Topics in random matrix theory, 2012

 Roland Speicher, Lecture Notes on "Random Matrices", 2020

הערות שוליים

קטגוריה:מתמטיקה
*
קטגוריה:תורת ההסתברות
קטגוריה:סטטיסטיקה