Định luật bán nguyệt Wigner
Phát biểu
Khi , phân phối thực nghiệm của các trị riêng đã co tỉ lệ của một ma trận Wigner hội tụ (theo xác suất, theo phân phối) tới mật độ với giá đỡ .
Vì sao đúng?
Vết của một luỹ thừa cao của H là tổng trên các đường đi đóng trên tập chỉ số; vì các phần tử độc lập và có trung bình 0, chỉ những đường đi qua mỗi cạnh một số chẵn lần mới sống sót sau khi lấy kỳ vọng, và đếm các đường đi trội còn lại quy về một bài toán tổ hợp thuần tuý mà đáp số là các số Catalan — đúng bằng các mô-men của phân phối bán nguyệt.
Phác thảo chứng minh
Bước 1 (mục tiêu). Các mô-men của mật độ bán nguyệt trên là các số Catalan: mô-men bậc bằng , và mọi mô-men bậc lẻ triệt tiêu do đối xứng. Vậy chỉ cần chỉ ra các mô-men của phân phối trị riêng thực nghiệm đã co tỉ lệ hội tụ về đúng các số này.
Bước 2 (khai triển vết). Viết , tổng trên các đường đi đóng độ dài trên . Lấy kỳ vọng và dùng tính độc lập của các phần tử, tách thành tổng, trên các cách ghép cặp thừa số, của tích các mô-men bậc hai của từng cặp (mô-men đồng thời bậc lẻ triệt tiêu vì trung bình bằng không, và thừa số không ghép cặp cũng triệt tiêu vì ).
Bước 3 (chỉ cách ghép không cắt nhau sống sót ở bậc trội). Mỗi cách ghép cặp tương ứng một cách đồng nhất các cạnh của đường đi đóng; một cách ghép đóng góp một luỹ thừa của tuỳ theo số đỉnh phân biệt được thăm. Đếm cho thấy một cách ghép đóng góp ở bậc chỉ khi các cạnh được đồng nhất tạo thành một cách ghép không cắt nhau (phẳng) của đầu mút; các cách ghép có cắt nhau đóng góp ở bậc thấp hơn hẳn theo và triệt tiêu sau khi chia cho để chuẩn hoá.
Bước 4 (đếm và kết luận). Số cách ghép không cắt nhau của điểm trên một đường tròn đúng bằng số Catalan . Do đó khi , khớp từng số hạng với các mô-men của ; vì phân phối bán nguyệt được xác định hoàn toàn bởi các mô-men của nó, phân phối phổ thực nghiệm hội tụ về nó.
Chủ đề chứa định lý này
Chứng minh từng bước
Chưa có chứng minh từng bước cho định lý này.
Tài liệu tham khảo
- Alan Edelman, N. Raj Rao (2005). Random matrix theory
- Wikipedia contributors (2024). Montgomery's pair correlation conjecture
- Wikipedia contributors (2024). Wigner semicircle distribution