MathLabs
Định lýĐã chứng minh

Định luật bán nguyệt Wigner

Phát biểu

Khi N→∞N \to \infty, 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 độ ρ(x)=1π2−x2\rho(x) = \frac{1}{\pi}\sqrt{2-x^2} với giá đỡ [−2,2][-\sqrt{2}, \sqrt{2}].

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 ρ(x)=1π2−x2\rho(x) = \frac{1}{\pi}\sqrt{2-x^2} trên [−2,2][-\sqrt{2}, \sqrt{2}] là các số Catalan: mô-men bậc 2k2k bằng Ck=1k+1(2kk)C_k = \frac{1}{k+1}\binom{2k}{k}, 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 Tr⁡(H2k)=∑i1,…,i2kHi1i2Hi2i3⋯Hi2ki1\operatorname{Tr}(H^{2k}) = \sum_{i_1,\dots,i_{2k}} H_{i_1 i_2} H_{i_2 i_3} \cdots H_{i_{2k} i_1}, tổng trên các đường đi đóng độ dài 2k2k trên {1,…,N}\{1,\dots,N\}. Lấy kỳ vọng và dùng tính độc lập của các phần tử, E[Tr⁡(H2k)]\mathbb{E}[\operatorname{Tr}(H^{2k})] tách thành tổng, trên các cách ghép cặp 2k2k thừa số, của tích các mô-men bậc hai E[HijHkl]\mathbb{E}[H_{ij}H_{kl}] 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ì E[Hij]=0\mathbb{E}[H_{ij}]=0).

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 NN 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 Nk+1N^{k+1} 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 2k2k đầ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 NN và triệt tiêu sau khi chia cho Nk+1N^{k+1} để chuẩn hoá.

Bước 4 (đếm và kết luận). Số cách ghép không cắt nhau của 2k2k điểm trên một đường tròn đúng bằng số Catalan Ck=1k+1(2kk)C_k = \frac{1}{k+1}\binom{2k}{k}. Do đó 1NE[Tr⁡((H/N)2k)]→Ck\frac{1}{N}\mathbb{E}[\operatorname{Tr}((H/\sqrt{N})^{2k})] \to C_k khi N→∞N \to \infty, khớp từng số hạng với các mô-men của ρ(x)=1π2−x2\rho(x) = \frac{1}{\pi}\sqrt{2-x^2}; 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

  1. Alan Edelman, N. Raj Rao (2005). Random matrix theory
  2. Wikipedia contributors (2024). Montgomery's pair correlation conjecture
  3. Wikipedia contributors (2024). Wigner semicircle distribution