התפלגות חצי המעגל של ויגנר

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

הפרמטר לרוב נקרא הרדיוס של ההתפלגות.

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

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

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

 מומנטים 
מטעמי סימטריה, כל המומנטים מסדר אי-זוגי שווים לאפס. המומנטים מסדר זוגי הם:

כאשר  הם מספרי קטלן. בפרט במקרה שבו  המומנטים הזוגיים הם בדיוק מספרי קטלן ספרם של Zhidong Bai ו-Jack W. Silverstein ״Spectral Analysis of Large Dimensional Random Matrices״https://link.springer.com/book/10.1007/978-1-4419-0661-8 פרק 2.1.1 עמוד 16 ״Moments of the Semicircular Law״ :

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

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

 פונקציה אופיינית 
הפונקציה האופיינית של ההתפלגות נתונה על ידי:

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

 טרנספורמציית סטילטיס 
טרנספורמציית סטילטיס של ההתפלגות נתונה על ידי ספרם של Zhidong Bai ו-Jack W. Silverstein ״Spectral Analysis of Large Dimensional Random Matrices״https://link.springer.com/book/10.1007/978-1-4419-0661-8 פרק 2.3.1 עמוד 31 ״Stieltjes Transform of the Semicircular Law״ :

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

 חוק חצי המעגל של ויגנר במטריצות אקראיות 
אחת הבעיות המרכזיות בתורת המטריצות האקראיות, שזכתה לתשומת הלב הרבה ביותר, היא הבנת הערכים העצמיים של מטריצות אקראיות מאמר של Elizabeth Meckes - ״The Eigenvalues of Random Matrices״ https://arxiv.org/abs/2101.02928 עמוד 1 - ״Introduction״ . אין זו באמת בעיה יחידה, אלא מחלקה רחבה של בעיות: ישנן דרכים רבות לבנות מטריצה אקראית (מה שמוביל להתפלגויות ערכים עצמיים שונות באופן דרסטי), וישנם הרבה היבטים שונים להבנת הערכים העצמיים בכל מודל מטריצה אקראית נתון.

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

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

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

במאמר פורץ דרך מאמר של יוג'ין ויגנר מ-1958 על התפלגות הערכים העצמיים במטריצות אקראיות מסוימות https://www.jstor.org/stable/1970008 ״On the Distribution of the Roots of Certain Symmetric Matrices״ , הוכיח ויגנר כי עבור מטריצות אקראיות, ממשיות וסימטריות , ממימד , תחת האילוצים הבאים (עבור סימון איברי המטריצות בתור ):
 איברי המטריצה על האלכסון הראשי ומעליו ( עבור ) מתפלגים באופן בלתי-תלוי.
  מתפלגים באופן סימטרי.
 ל- קיימים כל המומנטים והם חסומים (לא תלויים ב-). בפרט, מסימטריות, כל המומנטים האי-זוגיים מתאפסים.
  בעלי מומנט שני השווה לקבוע: .
ה-ESD של סדרת המטריצות המנורמלות  מתכנס בתוחלת להתפלגות חצי המעגל.

תוצאה זו, הקרויה, חוק חצי המעגל של ויגנר, מהווה את אחת התוצאות האוניברסליות המרכזיות בתורת המטריצות האקראיות ספרו של טרנס טאו ״Topics in random matrix theory״ - https://terrytao.wordpress.com/wp-content/uploads/2011/02/matrix-book.pdf פרק 2.4 ״The semicircular law״ עמוד 159 . עבודתו המקורית של ויגנר הוכללה והורחבה רבות לאורך השנים ולהלן ״שיפור״מאמר של L. Arnold מ-1971 עם הכללה של חוק חצי המעגל של ויגנר https://link.springer.com/article/10.1007/BF00534107 ״On Wigner's semicircle law for the eigenvalues of random matrices״ ל-התכנסות כמעט תמיד (קרוי לפעמים חוק חצי המעגל החזק):

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

500px|ממוזער|אילוסטרציה של חוק חצי המעגל של ויגנר למטריצות אקראיות עם משתנים מקריים גאוסיים, סימטריות ומנורמלות מגדלים שונים

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

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

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

 Bai & Silverstein, Spectral Analysis of Large Dimensional Random Matrices, 2010
 Wolfram Language & System Documentation Center WignerSemicircleDistribution
 Elizabeth Meckes, The Eigenvalues of Random Matrices
 Terence Tao, Topics in random matrix theory

 הערות שוליים 

חצי המעגל של ויגנר