MathLabs

Bài toán mở, Giải tích, Hình học, nêu năm 1917

Giả thuyết Kakeya

Giải một phần

Mọi tập Besicovitch (hay tập Kakeya) K⊆RnK \subseteq \mathbb{R}^n — tức là một tập Borel chứa một đoạn thẳng đơn vị theo mọi hướng e∈Sn−1e \in S^{n-1} — đều có số chiều Hausdorff và số chiều Minkowski bằng đúng nn: dim⁡H(K)=dim⁡M(K)=n\dim_H(K) = \dim_M(K) = n.

Hiện trạng nghiên cứu tính đến năm 2026

Tính đến năm 2026, giả thuyết Kakeya đã được chứng minh cho n=2n = 2 (Davies, 1971) và được giải quyết cho n=3n = 3 trong bản preprint 127 trang mang tính bước ngoặt tháng 2 năm 2025 của Hong Wang và Joshua Zahl (`arXiv:2502.17655`), khẳng định dim⁡H(K)=dim⁡M(K)=3\dim_H(K) = \dim_M(K) = 3 với mọi tập Kakeya trong R3\mathbb{R}^3. Wang và Zahl kết hợp chứng minh trước đó của họ cho giả thuyết Kakeya bám dính (`arXiv:2210.09581`) với các ước lượng thể tích đa thang đo cho hợp của các ống δ\delta xếp trong tập lồi. Với mọi số chiều n≥4n \ge 4, cả hai giả thuyết Kakeya theo chiều Hausdorff và Minkowski đều còn để ngỏ, cũng như giả thuyết hàm cực đại Kakeya mạnh hơn trong L3(R3)L^3(\mathbb{R}^3) và các chiều cao hơn.

Kết quả tốt nhất đã biết

  • Trong R3\mathbb{R}^3, mọi tập Kakeya đều có số chiều Hausdorff và Minkowski bằng 33 (Hong Wang và Joshua Zahl, preprint năm 2025 `arXiv:2502.17655`).
  • Trong R4\mathbb{R}^4, phương pháp chổi phẳng (planebrush) và phân hoạch đa thức cho dim⁡H(K)≥3.059\dim_H(K) \ge 3.059 (Katz và Zahl, 2021).
  • Trong không gian Rn\mathbb{R}^n tổng quát, phép quy giản Kakeya số học của Katz và Tao (2002) cho dim⁡H(K)≥(2−2)(n−4)+3\dim_H(K) \ge (2 - \sqrt{2})(n - 4) + 3.

Công cụ và chỗ dừng

Công cụĐạt đượcChỗ dừng
Phân tích xếp ống đa thang đo và tập Kakeya bám dínhLoại trừ các cấu hình ống δ\delta có số chiều thấp giả định trong R3\mathbb{R}^3 bằng cách đưa các cách xếp ống tổng quát về trường hợp bám dính/hạt lồi và thiết lập các cận thể tích sắc nét (Wang–Zahl, 2025).Trong Rn\mathbb{R}^n với n≥4n \ge 4, các ống có thể tập trung bên trong các đa tạp con đại số chiều trung gian 2,…,n−22, \dots, n-2, tạo nên các phân cấp liên thuộc phức tạp hơn nhiều.
Phương pháp đa thức và tách rời (Dvir, Guth, Bourgain–Demeter)Giải quyết hoàn toàn bài toán Kakeya trên trường hữu hạn Fqn\mathbb{F}_q^n (Dvir, 2009) và chứng minh các bất đẳng thức tách rời ℓ2\ell^2 sắc nét cùng các ước lượng Kakeya đa tuyến tính trong Rn\mathbb{R}^n.Trong không gian Euclid, các ống δ\delta có độ dày δ>0\delta > 0 và có thể giao nhau dưới góc nhỏ trong các lân cận bán đại số, nơi lập luận triệt tiêu đa thức mất hiệu quả về bậc.

Câu hỏi còn mở

  • Liệu mọi tập Kakeya trong Rn\mathbb{R}^n với n≥4n \ge 4 có đều có số chiều Hausdorff và Minkowski bằng nn hay không?
  • Liệu định lý Kakeya ba chiều của Wang–Zahl có thể được nâng cấp lên chặn hàm cực đại Kakeya đầy đủ trong L3(R3)L^3(\mathbb{R}^3) và giả thuyết thu hẹp Fourier ba chiều đầy đủ hay không?

Các chứng minh

  1. Trường hợp phẳng: mọi tập Kakeya trong R2\mathbb{R}^2 đều có số chiều 2 (Davies, 1971)Roy O. Davies (theorem); standard proof exposition after A. Córdoba, 1971Độ khó 3/5Nghiên cứuBản tóm lược
  2. Trường hợp ba chiều: mọi tập Kakeya trong R3\mathbb{R}^3 đều có số chiều 3 (Wang–Zahl, 2025)Hong Wang, Joshua Zahl, 2025Độ khó 5/5Nghiên cứuBản tóm lược

Tài liệu tham khảo

  1. Hong Wang, Joshua Zahl (2025). Volume estimates for unions of convex sets, and the Kakeya set conjecture in three dimensions · arXiv:2502.17655 [preprint, chưa bình duyệt]
  2. Thomas Wolff (1999). An algorithmic approach to the Kakeya problem · DOI:10.1090/ulect/029/10
  3. Zeev Dvir (2009). On the size of Kakeya sets in finite fields · DOI:10.1090/S0894-0347-08-00607-3