Bài toán mở, Vật lý toán, Giải tích, nêu năm 2000
Sự tồn tại và khe khối lượng Yang–Mills
Chứng minh rằng với mọi nhóm chuẩn đơn compắc , tồn tại một lý thuyết Yang–Mills lượng tử không tầm thường trên thỏa mãn hệ tiên đề Wightman (hoặc Osterwalder–Schrader) của lý thuyết trường lượng tử kiến thiết, và phổ của toán tử Hamilton có một khe khối lượng dương thực sự — tức là không có phổ trong khoảng mở phía trên mức năng lượng chân không .
Tính đến năm 2026, bài toán sự tồn tại và khe khối lượng Yang–Mills bốn chiều vẫn còn mở.Ở phía tử ngoại (khoảng cách ngắn), chương trình nhóm tái chuẩn hóa thập niên 1980 của Tadeusz Bałaban đã thiết lập các chặn đều cho tác dụng hiệu dụng trên hình xuyến mạng bốn chiều hữu hạn khi bước mạng , và lượng tử hóa ngẫu nhiên hiện đại sử dụng cấu trúc chính quy cùng giải tích đối kiểm soát (Hairer, Chandra, Chevyrev, Shen) đã dựng được động lực học Langevin địa phương cho trường chuẩn hai và ba chiều một cách rõ ràng. Ở phía hồng ngoại (khoảng cách lớn), lý thuyết chuẩn trên mạng của Wilson cho một chứng minh chặt chẽ về sự tắt dần hàm mũ của tương quan (tức có khe khối lượng) và luật diện tích vòng Wilson trong chế độ tương tác mạnh (hằng số tương tác trần lớn). Điều còn thiếu là cây cầu nối hai phía: việc lấy giới hạn liên tục đòi hỏi đưa hằng số tương tác trần theo tính tự do tiệm cận, làm thoát khỏi chế độ tương tác mạnh nơi khai triển cụm hội tụ, và chưa có cách kiểm soát chặt chẽ nào cho hành vi hồng ngoại đi qua vùng chuyển tiếp từ yếu sang mạnh ở bốn chiều.
Kết quả tốt nhất đã biết
- Tính ổn định tử ngoại của lý thuyết Yang–Mills mạng bốn chiều trên hình xuyến hữu hạn qua nhóm tái chuẩn hóa đa thang (Bałaban, 1984–1989).
- Chứng minh chặt chẽ khe khối lượng dương và luật diện tích vòng Wilson trong lý thuyết Yang–Mills mạng bốn chiều ở chế độ tương tác trần mạnh qua khai triển cụm (Osterwalder–Seiler, 1978).
- Xây dựng động lực học Langevin (lượng tử hóa ngẫu nhiên) hiệp biến chuẩn cho Yang–Mills ở 2D và 3D dùng cấu trúc chính quy (Chandra–Chevyrev–Hairer–Shen, 2022–2024).
Công cụ và chỗ dừng
| Công cụ | Đạt được | Chỗ dừng |
|---|---|---|
| Lý thuyết chuẩn trên mạng và khai triển cụm tương tác mạnh | Thay tích phân đường liên tục chưa xác định bằng tích phân hữu hạn chiều trên các phần tử nhóm gắn với cạnh mạng, và chứng minh sự giam cầm cùng khe khối lượng dương khi hằng số tương tác trần lớn. | Lấy giới hạn liên tục ở 4D đòi hỏi đưa (tự do tiệm cận), vượt ra ngoài bán kính hội tụ của khai triển tương tác mạnh. |
| Nhóm tái chuẩn hóa đa thang (chương trình block-spin của Bałaban) | Kiểm soát các kỳ dị tử ngoại khi trên một thể tích bốn chiều hữu hạn nhỏ, chứng minh các chặn ổn định không phụ thuộc vào bước mạng. | Chỉ hoạt động khi hằng số tương tác chạy còn nhỏ (thang vật lý ngắn); khi thang đo lớn dần tới chiều dài giam cầm, hằng số tương tác chạy trở nên lớn và bước tái chuẩn hóa nhiễu loạn bị phá vỡ. |
| Lượng tử hóa ngẫu nhiên và cấu trúc chính quy | Dựng phương trình đạo hàm riêng ngẫu nhiên kỳ dị (phương trình Langevin Parisi–Wu) cho độ đo Yang–Mills ở 2D và 3D một cách hiệp biến chuẩn. | Ở 4D phương trình Yang–Mills ở mức tới hạn thang (không còn dưới tới hạn), nơi lý thuyết cấu trúc chính quy chạm rào cản tới hạn, và việc kiểm soát toàn cục theo thời gian để thu được độ đo bất biến có khe phổ vẫn nằm ngoài tầm với. |
Câu hỏi còn mở
- Liệu có thể xây dựng một dòng nhóm tái chuẩn hóa phi nhiễu loạn theo dõi được lý thuyết Yang–Mills mạng bốn chiều đi suốt từ tương tác yếu ở thang mạng tới chế độ tương tác mạnh ở thang giam cầm hay không?
- Liệu giới hạn liên tục và khe khối lượng có thể được thiết lập trước cho lý thuyết Yang–Mills phi giao hoán ba chiều đơn giản hơn, nơi hằng số tương tác là siêu tái chuẩn hóa được hay không?
Tài liệu tham khảo
- Chen Ning Yang, Robert L. Mills (1954). Conservation of isotopic spin and isotopic gauge invariance · DOI:10.1103/physrev.96.191
- Arthur Jaffe, Edward Witten (Clay Mathematics Institute) (2000). Quantum Yang–Mills theory
- Kenneth G. Wilson (1974). Confinement of quarks · DOI:10.1103/physrevd.10.2445
- Sourav Chatterjee (2019). Yang–Mills for probabilists · arXiv:1803.01950