Nhân dịp Huy chương Fields được trao cho Vương Hồng

Nhân dịp Huy chương Fields 2026 được trao cho Vương Hồng, tên công bố quốc tế là Hong Wang, chúng ta cùng tìm hiểu bài toán Kakeya: một câu hỏi bắt đầu bằng cây kim bé tí, nhưng khi đào xuống lại đụng phải hình học fractal, biến đổi Fourier, phương trình sóng, những chiếc ống mỏng bay xuyên không gian và một đám nhà toán học đã mất gần một thế kỷ để hiểu xem chúng thực sự đang chen chúc với nhau như thế nào.

Ngày 23 tháng 7 năm 2026, tại Đại hội Toán học Quốc tế ở Philadelphia, Hong Wang trở thành một trong bốn người nhận Huy chương Fields. Theo International Mathematical Union, bà được vinh danh vì những đóng góp trong giải tích điều hòa (harmonic analysis) và lý thuyết độ đo hình học (geometric measure theory), trải dài từ bài toán làm trơn cục bộ của phương trình sóng, Fourier restriction, tập khoảng cách Falconer, tập Furstenberg cho đến bài toán Kakeya trong không gian ba chiều. (International Mathematical Union)

Trong số đó, kết quả dễ kể nhất, nhưng cũng dễ kể sai nhất, là công trình chung của Hong Wang và Joshua Zahl về giả thuyết Kakeya ba chiều. Công trình năm 2025 của họ chứng minh rằng mọi tập Kakeya trong $\mathbb{R}^3$ đều có số chiều Minkowski và Hausdorff bằng 3. Clay Mathematics Institute sau đó mô tả công trình này là lời giải cho giả thuyết Kakeya trong ba chiều. (arXiv)

Nghe chữ “số chiều Minkowski và Hausdorff” là thấy não muốn lặng lẽ xin nghỉ phép.

Nhưng chưa cần chạy.

Ta bắt đầu bằng một cây tăm.

Đặt vấn đề: xoay một cây kim trên mặt bàn

Giả sử bạn có một cây kim dài đúng 1 mét.

Không cần hỏi tại sao lại có cây kim dài 1 mét. Có thể đó là cây kim của một người khổng lồ. Có thể người khổng lồ đang may một cái quần khổng lồ. Toán học thường bắt đầu bằng những tình huống như vậy rồi giả vờ rằng mọi thứ hoàn toàn bình thường.

Bây giờ, hãy đặt cây kim lên mặt bàn và xoay nó một vòng.

Cách đơn giản nhất là giữ chặt trung điểm rồi quay. Khi đó, cây kim quét qua một hình tròn bán kính $1/2$. Diện tích cần dùng là:

$$ S=\pi\left(\frac{1}{2}\right)^2=\frac{\pi}{4}\approx 0.785 $$

Xong bài toán, quá dễ.

Nhưng nhà toán học Sōichi Kakeya không cho cây kim đứng yên ở giữa. Ông cho phép vừa xoay, vừa đẩy, vừa kéo, vừa lách qua lách lại, miễn sao cây kim có thể quay đủ mọi hướng mà không chui ra ngoài vùng đã cho.

Câu hỏi được Kakeya đặt ra vào năm 1917 là:

Vùng nhỏ nhất trên mặt phẳng mà bên trong đó ta có thể xoay một cây kim dài 1 đơn vị qua mọi hướng là vùng nào?

Nếu bắt vùng đó phải lồi, nghĩa là nối hai điểm bất kỳ trong vùng thì đoạn thẳng giữa chúng vẫn nằm hoàn toàn bên trong, Julius Pál đã chứng minh năm 1921 rằng đáp án là một tam giác đều có chiều cao bằng 1.

Diện tích của nó là:

$$ S=\frac{1}{\sqrt{3}}\approx 0.577 $$

Nhỏ hơn hình tròn một chút.

Đến đây mọi thứ vẫn còn ngoan ngoãn. Cây kim xoay trong một tam giác. Tam giác có diện tích. Diện tích là một con số dương. Trẻ con nhìn vào cũng thấy đời còn có trật tự.

Rồi Abram Besicovitch xuất hiện và làm cái trật tự ấy vỡ vụn.

Nếu bỏ yêu cầu vùng phải lồi, Besicovitch chỉ ra rằng ta có thể tạo ra những vùng cho phép cây kim quay nhưng có diện tích nhỏ tùy ý. Muốn diện tích nhỏ hơn $0.001$ cũng được. Nhỏ hơn $10^{-100}$ cũng được. Chỉ cần chẻ các tam giác thành nhiều mảnh mỏng, dịch chuyển chúng để chồng lên nhau, rồi tiếp tục chẻ nhỏ và chồng tiếp như một người đang gấp quần áo nhưng quyết tâm nhét cả tủ đồ vào một cái túi nilon.

Những cách xây dựng này về sau dẫn đến tập Besicovitch hay tập Kakeya: một tập hợp chứa một đoạn thẳng đơn vị theo mọi hướng nhưng vẫn có thể có diện tích bằng 0. (Personal Math UBC)

Không phải diện tích rất nhỏ.

Mà là bằng 0.

Một căn phòng bằng 0 nhưng vẫn chứa cây kim theo mọi hướng

Chỗ này cần phân biệt hai khái niệm thường bị kể chung với nhau.

Kakeya needle set là một vùng trong đó cây kim có thể chuyển động liên tục và quay từ hướng này sang hướng khác.

Kakeya set, hay Besicovitch set, chỉ yêu cầu rằng với mỗi hướng, bên trong tập hợp tồn tại ít nhất một đoạn thẳng dài 1 theo hướng đó. Những đoạn thẳng này không nhất thiết phải nối thành một hành trình liên tục của cùng một cây kim.

Khác biệt nghe có vẻ nhỏ, nhưng toán học rất thích sống trong những khe nhỏ như vậy.

Một tập Kakeya trong $\mathbb{R}^n$ được định nghĩa đơn giản là một tập $K$ sao cho với mọi hướng $v$, ta có thể tìm được một điểm $x$ để đoạn thẳng

$$ {x+tv:0\leq t\leq 1} $$

nằm hoàn toàn trong $K$.

Nói kiểu bình dân: bạn gọi một hướng bất kỳ, tập hợp ấy sẽ lôi từ trong túi ra một cây tăm nằm đúng hướng đó.

Hướng ngang, có.

Hướng dọc, có.

Xiên 37 độ, có.

Xiên một góc kỳ quặc dài mười bảy chữ số sau dấu phẩy, cũng có.

Tất cả các hướng đều có, nhưng toàn bộ tập hợp vẫn có thể có diện tích bằng 0.

Nghe giống như một căn nhà không có diện tích, nhưng quay hướng nào cũng tìm được một hành lang dài đúng 1 mét.

Đây không phải trò gian lận. Đây là lúc chúng ta phát hiện ra rằng diện tích và số chiều không phải là cùng một thứ.

Diện tích bằng 0 không có nghĩa là mỏng như một sợi tóc

Một tờ giấy đặt trong căn phòng ba chiều có thể tích bằng 0, nhưng nó vẫn là vật thể hai chiều.

Một sợi dây trên mặt bàn có diện tích bằng 0, nhưng nó vẫn là một vật thể một chiều.

Một đám bụi fractal cũng có thể có diện tích bằng 0, nhưng số chiều của nó không nhất thiết là 1 hoặc 2. Nó có thể mang một số chiều kỳ quặc như $1.5$, $1.73$ hoặc một con số nào đó khiến cái thước kẻ truyền thống cảm thấy bị xúc phạm.

Để hình dung số chiều Minkowski, ta lấy những chiếc hộp nhỏ có cạnh $\delta$ rồi đếm xem cần bao nhiêu hộp để phủ kín tập hợp.

Nếu số hộp cần dùng xấp xỉ:

$$ N(\delta)\approx \delta^{-d} $$

thì ta nói tập hợp có số chiều khoảng $d$.

Một đoạn thẳng cần khoảng $\delta^{-1}$ hộp, nên có chiều 1.
Một hình vuông cần khoảng $\delta^{-2}$ hộp, nên có chiều 2.
Một khối lập phương cần khoảng $\delta^{-3}$ hộp, nên có chiều 3.

Giả thuyết Kakeya nói rằng:

Một tập chứa đoạn thẳng đơn vị theo mọi hướng trong $\mathbb{R}^n$ bắt buộc phải có số chiều đầy đủ bằng $n$.

Công thức ngắn gọn là:

$$ \dim_{\mathrm H}(K)=\dim_{\mathrm M}(K)=n $$

Trong đó $\dim_{\mathrm H}$ là số chiều Hausdorff và $\dim_{\mathrm M}$ là số chiều Minkowski.

Tập Kakeya vẫn có thể có thể tích bằng 0. Nhưng nó không được phép hành xử như một mặt phẳng, một sợi dây hay một vật thể có số chiều thấp hơn.

Nó có thể nhẹ như bóng ma nếu đo bằng thể tích, nhưng bộ xương hình học của nó vẫn phải lấp đầy toàn bộ số chiều của không gian.

Đó chính là phần đẹp nhất của bài toán.

Có những thứ gần như không chiếm chỗ, nhưng không thể bị ép thành một thứ đơn giản hơn.

Từ cây kim thành một rừng ống mỏng

Để nghiên cứu bài toán, các nhà toán học không thường xuyên cầm một cây kim thật rồi chạy quanh phòng.

Họ làm một việc trông còn kỳ quặc hơn: biến mỗi đoạn thẳng thành một chiếc ống rất mỏng, gọi là $\delta$-tube.

Trong không gian ba chiều, mỗi ống có:

Chiều dài khoảng 1.
Bán kính khoảng $\delta$.
Thể tích khoảng $\delta^2$, bỏ qua các hằng số như $\pi$.

Muốn đại diện cho mọi hướng trong không gian ba chiều với độ phân giải góc khoảng $\delta$, ta cần xấp xỉ:

$$ \delta^{-2} $$

hướng khác nhau.

Nếu $\delta=0.01$, ta sẽ có khoảng:

$$ 0.01^{-2}=10,000 $$

chiếc ống.

Mỗi ống có thể tích xấp xỉ:

$$ 0.01^2=0.0001 $$

Nếu 10.000 chiếc ống hoàn toàn không chồng lên nhau, tổng thể tích sẽ xấp xỉ 1.

Nhưng mục tiêu của Kakeya là làm chúng chồng lên nhau nhiều nhất có thể.

Giống như bạn có 10.000 ống hút và muốn nhét tất cả vào một chiếc hộp nhỏ. Bạn sẽ không đặt chúng ngay ngắn cạnh nhau vì như vậy tốn chỗ. Bạn cho chúng xuyên qua nhau, gom thành bó, xòe ra như cây chổi, rồi lại tụ lại ở một điểm khác.

Nếu toàn bộ hợp của các ống chỉ có thể tích $0.01$, trong khi tổng thể tích tính riêng từng ống là khoảng 1, thì trung bình mỗi điểm trong hợp phải bị khoảng 100 chiếc ống đè lên.

Nói cách khác, bài toán Kakeya trở thành câu hỏi:

Những chiếc ống chỉ theo các hướng khác nhau có thể chồng lên nhau dữ dội đến mức nào?

Vì sao bài toán khó đến gần một thế kỷ?

Hai chiếc ống cắt nhau thì dễ hiểu.

Một nghìn chiếc ống cùng đi qua một điểm cũng chưa quá đáng sợ.

Điều đáng sợ là một rừng ống có thể tạo ra cấu trúc ở rất nhiều tỉ lệ cùng lúc.

Nhìn từ xa, chúng giống một bó đũa.

Phóng to lên, mỗi bó đũa lại chia thành nhiều bó nhỏ.

Phóng tiếp, từng bó nhỏ lại có những nhánh hơi lệch hướng.

Ở một tỉ lệ, các ống có vẻ tụ thành một mặt phẳng. Ở tỉ lệ khác, chúng cuộn quanh một cấu trúc cong. Ở tỉ lệ nhỏ hơn nữa, chúng lại xòe ra như bàn chải đánh răng vừa bị xe tải cán qua.

Đây là lý do chỉ đếm từng cặp giao nhau thường không đủ.

Giả sử ta hỏi có bao nhiêu cặp ống cắt nhau. Con số đó có thể rất lớn, nhưng nó không cho biết các giao điểm được phân bố như thế nào.

Tất cả có thể tụ tại một điểm.
Chúng có thể trải dọc theo một đường cong.
Chúng có thể tụ thành nhiều cụm.
Mỗi cụm lại có cấu trúc riêng ở một tỉ lệ nhỏ hơn.

Một con số duy nhất không thể kể hết hình dáng của cả khu rừng.

Bài toán Kakeya vì thế không chỉ là bài toán đếm. Nó là bài toán về cấu trúc của sự chồng lấn qua nhiều tỉ lệ.

Vương Hồng và Joshua Zahl đã làm gì?

Bản chứng minh đầy đủ dài và sử dụng nhiều kỹ thuật của giải tích điều hòa, hình học tổ hợp, lý thuyết độ đo hình học và phân tích đa tỉ lệ. Ở bài viết này, mình chỉ trình bày phần trực giác đơn giản nhất để dễ hình dung.

Công trình không xuất hiện từ khoảng không. Nó được xây trên nhiều lớp ý tưởng của Jean Bourgain, Thomas Wolff, Nets Katz, Izabella Łaba, Terence Tao, Tuomas Orponen, Pablo Shmerkin và nhiều nhà toán học khác. Larry Guth mô tả lời giải ba chiều như kết quả của một chuỗi phát triển kéo dài qua nhiều công trình, trong đó Wang và Zahl hoàn thành mảnh ghép quyết định. (arXiv)

Bước 1: thay đường thẳng bằng ống mỏng

Đường thẳng lý tưởng có độ dày bằng 0 nên rất khó đo thể tích.

Ta làm nó béo lên một chút thành ống có bán kính $\delta$. Sau đó nghiên cứu điều gì xảy ra khi $\delta$ ngày càng tiến về 0.

Đây là một thủ thuật phổ biến trong toán học: khi một vật quá mỏng để cầm, hãy cho nó ăn thêm một chút rồi quan sát nó giảm cân.

Bước 2: quan sát ở nhiều mức phóng đại

Thay vì chỉ hỏi các ống đang nằm ở đâu tại một độ phân giải duy nhất, Wang và Zahl phân tích cách chúng phân bố qua nhiều tỉ lệ.

Một nhóm ống có thể gần nhau ở tỉ lệ lớn nhưng tách ra ở tỉ lệ nhỏ.

Một nhóm khác có thể bám lấy nhau qua rất nhiều lần phóng đại. Loại cấu trúc này được gọi một cách trực giác là sticky, tức là “dính”.

Sticky không có nghĩa là các ống được bôi keo con voi.

Nó có nghĩa là những ống gần nhau ở một tỉ lệ lớn vẫn tiếp tục có quan hệ gần nhau khi ta phóng xuống các tỉ lệ nhỏ hơn. Cấu trúc của chúng mang tính tự tương đồng gần đúng.

Wang và Zahl từng giải quyết trường hợp sticky trong một công trình trước đó. Mảnh ghép quan trọng sau này là chỉ ra cách đưa bài toán tổng quát về những trường hợp có thể kiểm soát, trong đó trường hợp sticky giữ vai trò trung tâm. (arXiv)

Bước 3: nếu chồng quá nhiều, phải có nơi đang “nhét gian”

Ta gọi $\mathbb{T}$ là tập hợp các ống và $U(\mathbb{T})$ là phần không gian mà toàn bộ các ống chiếm.

Mức chồng lấn trung bình có thể hiểu bằng:

$$ \mu(\mathbb{T})

\frac{\sum_{T\in\mathbb{T}}|T|} {|U(\mathbb{T})|} $$

Tử số là tổng thể tích của từng ống nếu tính riêng.

Mẫu số là thể tích thật sự của cả đám sau khi đã cho phép chồng lên nhau.

Nếu $\mu$ lớn, nghĩa là rất nhiều ống đang chen trên cùng một vùng.

Wang và Zahl chứng minh một phiên bản mạnh hơn của giả thuyết Kakeya, thường được diễn đạt qua các convex Wolff axioms. Nói thật nôm na:

Nếu không có một vùng lồi nào đang chứa quá nhiều ống so với kích thước của nó, thì toàn bộ hệ thống cũng không thể tạo ra mức chồng lấn trung bình quá lớn.

Tức là nếu cả khu chợ đông nghẹt, phải có một gian hàng nào đó đang nhét người bất thường.

Nếu kiểm tra mọi gian hàng mà không thấy nơi nào như vậy, thì khu chợ không thể đông đến mức phép đo tổng thể bị đánh lừa.

Trong ngôn ngữ của Larry Guth, kết quả kiểm soát mật độ ống trong các tập lồi này trực tiếp dẫn đến giả thuyết Kakeya ở chiều 3. (arXiv)

Bước 4: cấu trúc quá hoàn hảo sẽ tự mâu thuẫn

Nếu một tập Kakeya ba chiều thật sự có số chiều nhỏ hơn 3, các ống của nó phải chồng lên nhau cực kỳ hiệu quả.

Nhưng muốn chồng hiệu quả ở mọi tỉ lệ, chúng phải có cấu trúc rất cứng.

Chúng không thể vừa ngẫu nhiên hoàn toàn, vừa liên tục chen vào đúng chỗ.

Chúng phải “biết” nhau.

Các hướng, vị trí và tỉ lệ phải phối hợp như một đội múa đồng diễn gồm hàng tỷ cây tăm.

Sự phối hợp ấy kéo bài toán sang các cấu trúc đại số, các bất đẳng thức tổng–tích (sum-product), hình học incidence và phân tích Fourier. Cuối cùng, cấu trúc mà một phản ví dụ bắt buộc phải có trở nên cứng đến mức tự gây mâu thuẫn.

Một phản ví dụ muốn tồn tại phải vừa quá hỗn loạn để chứa mọi hướng, vừa quá có tổ chức để nén mọi thứ vào không gian nhỏ.

Nó phải vừa là khói, vừa là viên gạch.

Và toán học nói rằng trong ba chiều, không có con quái vật như vậy.

Kết quả chính xác là gì?

Hong Wang và Joshua Zahl chứng minh rằng mọi tập Kakeya trong không gian ba chiều đều có số chiều Minkowski và Hausdorff bằng 3:

$$ \dim_{\mathrm H}(K)

\dim_{\mathrm M}(K)

3 $$

Điều này không nói rằng tập Kakeya phải có thể tích dương.

Nó vẫn có thể có thể tích bằng 0.

Nhưng khi nhìn ở các tỉ lệ ngày càng nhỏ, số lượng hộp cần để phủ nó phải tăng nhanh như một vật thể ba chiều, chứ không thể tăng như một mặt phẳng hai chiều hay một đường cong một chiều.

Một dạng định lượng của giả thuyết xét khoảng $\delta^{-2}$ ống theo các hướng cách nhau khoảng $\delta$ và yêu cầu hợp của chúng thỏa mãn:

$$ |U(\mathbb{T})| \geq c(\epsilon)\delta^\epsilon $$

với mọi $\epsilon>0$.

Cận này vẫn có thể tiến về 0 khi $\delta$ tiến về 0, nhưng nó tiến về 0 chậm hơn mọi lũy thừa cố định tương ứng với việc mất hẳn một phần số chiều.

Nói đơn giản hơn:

Bạn có thể ép rừng ống nhỏ lại, nhưng không thể ép nó phẳng xuống thành một tờ giấy.

Trường hợp hai chiều đã được giải quyết từ trước. Wang và Zahl hoàn thành trường hợp ba chiều. Với $n\geq4$, giả thuyết Kakeya vẫn còn mở. (arXiv)

Vậy nên đây chưa phải đoạn kết của Kakeya.

Nó giống cảnh con quái vật ba đầu vừa bị hạ, rồi máy quay lùi ra và cho thấy phía sau vẫn còn một hàng dài quái vật bốn đầu, năm đầu và $n$ đầu đang xếp hàng chờ đến lượt.

Vì sao bài toán này hay?

Một câu hỏi trẻ con hiểu được, nhưng người lớn mất cả đời để giải

“Cần bao nhiêu chỗ để xoay một cây kim?” là câu hỏi không cần bằng tiến sĩ để hiểu.

Nhưng từ đó, chúng ta phải phát minh ra ngôn ngữ để nói về fractal, số chiều, ống mỏng, cấu trúc đa tỉ lệ và sự tập trung của sóng.

Những bài toán hay thường có đặc điểm như vậy.

Cánh cửa rất thấp, ai cũng bước vào được.

Nhưng căn nhà phía sau sâu đến mức đi cả đời chưa chắc thấy bức tường cuối.

Nó lật ngược trực giác về cái gọi là “nhỏ”

Trong đời sống, ta thường đồng nhất ba ý:

Thể tích nhỏ.
Ít điểm.
Ít chiều.

Kakeya cho thấy ba thứ đó không giống nhau.

Một tập có thể có thể tích bằng 0 nhưng vẫn phức tạp đến mức mang đủ ba chiều.

Nó không chiếm không gian theo cách một viên gạch chiếm không gian. Nó chiếm không gian bằng khả năng chỉ về mọi hướng.

Cái đầy ở đây không phải là đầy vật chất.

Nó là đầy phương hướng.

Nó biến hình học thành bài toán về thông tin

Mỗi đoạn thẳng trong tập Kakeya mang một mẩu thông tin: “hướng này tồn tại”.

Khi có tất cả các hướng, lượng thông tin hình học trở nên quá lớn để nhét vào một vật thể có số chiều thấp.

Bạn có thể cho các đoạn thẳng dùng chung nhiều điểm. Bạn có thể để chúng chồng lên nhau. Bạn có thể xây những cấu trúc fractal ma quái.

Nhưng cuối cùng, mỗi hướng mới vẫn đòi hỏi một chút tự do mới.

Tập hợp không thể nén vô hạn mà không làm mất thông tin về phương hướng.

Nhìn theo cách này, Kakeya hơi giống một bài toán nén dữ liệu.

Chỉ khác là dữ liệu ở đây không phải file ZIP, mà là cả một bầu trời hướng.

Ý nghĩa thực tiễn của bài toán Kakeya

Nói Kakeya giúp điện thoại chụp ảnh đẹp hơn vào sáng mai là nói quá.

Bản chứng minh của Wang và Zahl không phải một đoạn code tải về, chạy pip install kakeya, rồi hệ thống camera tự nhiên nét thêm 30%.

Ý nghĩa thực tiễn của Kakeya nằm ở tầng nền tảng hơn.

Hiểu sự tập trung của sóng

Trong giải tích Fourier, một tín hiệu phức tạp được phân rã thành nhiều thành phần tần số.

Với các bài toán sóng, những thành phần vừa được giới hạn về tần số vừa được giới hạn về hướng thường hành xử giống các wave packet: các gói sóng tập trung dọc theo những chiếc ống mỏng trong không gian hoặc không-thời gian.

Lúc này câu hỏi về sóng biến thành câu hỏi hình học:

Những gói sóng đi theo nhiều hướng khác nhau có thể cùng tập trung trong một vùng nhỏ đến mức nào?

Nghe quen không?

Đó chính là bóng của bài toán Kakeya.

Clay Mathematics Institute xem Kakeya là một nút thắt quan trọng đối với nhiều bài toán Fourier, trong đó có bài toán Fourier restriction của Stein và bài toán local smoothing cho phương trình sóng. (Clay Mathematics Institute)

Những lý thuyết này nằm trong nền toán học dùng để nghiên cứu:

Sự lan truyền của âm thanh.
Sóng điện từ.
Sóng địa chấn.
Phương trình đạo hàm riêng.
Hành vi phân tán và tập trung của năng lượng.

Kakeya không trực tiếp xây máy siêu âm hay radar. Nhưng nó giúp làm rõ giới hạn toán học của việc nhiều thành phần sóng khác hướng cùng dồn năng lượng vào một vùng.

Hiểu biến đổi Fourier nhiều chiều

Biến đổi Fourier là công cụ đứng phía sau xử lý âm thanh, hình ảnh, truyền thông và nhiều mô hình vật lý.

Nhưng trong không gian nhiều chiều, các thành phần Fourier không sống riêng lẻ như những nốt nhạc ngoan ngoãn. Chúng tương tác theo hướng, theo độ cong của bề mặt tần số và theo cách các gói sóng chồng lên nhau.

Charles Fefferman từng sử dụng các tập Besicovitch để xây dựng phản ví dụ cho bài toán ball multiplier trong giải tích Fourier. Kết quả ấy cho thấy hình học Kakeya không chỉ là trò xoay kim, mà có thể quyết định một toán tử Fourier có bị chặn hay không. Larry Guth mô tả mối liên hệ giữa Kakeya và Fourier analysis là một trong những động lực trung tâm của lĩnh vực này. (arXiv)

Tức là một cây kim tưởng tượng trên mặt bàn có thể quyết định xem một chuỗi Fourier nhiều chiều cư xử tử tế hay nổi loạn.

Toán học đôi khi nối hai căn phòng rất xa nhau bằng một đường hầm mà không ai biết ai đã đào.

Tạo ra công cụ cho những bài toán khác

Giá trị của một lời giải lớn thường không chỉ nằm ở mệnh đề cuối cùng.

Quan trọng hơn là bộ công cụ được tạo ra trên đường đi:

Phân tích cấu trúc ở nhiều tỉ lệ.
Kiểm soát mật độ của các ống mỏng.
Tách trường hợp sticky và không sticky.
Kết hợp hình học với giải tích Fourier.
Sử dụng các nguyên lý tổng–tích và hình học incidence.
Mô tả một vật thể không chỉ bằng một số chiều duy nhất, mà bằng cách nó phân bố tại từng mức phóng đại.

Clay Mathematics Institute nhấn mạnh rằng công trình của Wang, Zahl và các cộng sự đã tạo ra một tập hợp công cụ đa tỉ lệ mới, trong đó thông tin về khoảng cách và mật độ ở từng tỉ lệ được khai thác theo những cách khác nhau. (Clay Mathematics Institute)

Những công cụ như vậy thường tiếp tục sống sau khi bài toán ban đầu đã được giải.

Cây kim hoàn thành nhiệm vụ của nó rồi, nhưng những chiếc máy được chế tạo để theo dõi cây kim có thể được mang sang nhiều công trường toán học khác.

Một bài học hơi triết học từ cây kim

Con người thích những thứ có thể đo bằng một con số.

Doanh thu bao nhiêu.

Máy chạy bao nhiêu request mỗi giây.

Một file nặng bao nhiêu MB.

Một căn phòng rộng bao nhiêu mét vuông.

Nhưng một con số thường không kể hết cấu trúc của sự vật.

Hai hệ thống có thể dùng cùng lượng RAM nhưng một hệ thống phân bố dữ liệu đều, hệ thống còn lại dồn tất cả vào một điểm nghẽn.

Hai thành phố có thể có cùng dân số nhưng một nơi trải rộng, nơi kia nén người vào những con hẻm nhỏ.

Hai tập hợp có thể cùng có thể tích bằng 0 nhưng một cái chỉ là sợi dây, còn cái kia chứa một đoạn thẳng theo mọi hướng trong vũ trụ ba chiều.

Kakeya nhắc chúng ta rằng kích thước không chỉ là “chiếm bao nhiêu chỗ”.

Kích thước còn là “mang được bao nhiêu hướng”, “biến đổi ra sao khi phóng đại” và “cấu trúc bên trong có thể bị nén đến mức nào trước khi nó tự mâu thuẫn”.

Cây kim không nặng.

Nhưng yêu cầu nó phải xuất hiện theo mọi hướng tạo ra một sức ép hình học khổng lồ.

Mỗi hướng giống như một lời hứa.

Một lời hứa thì nhẹ.

Nhưng vô số lời hứa, khi phải đồng thời trở thành sự thật, sẽ dựng nên cả một không gian.

Tổng kết

Bài toán Kakeya bắt đầu bằng câu hỏi rất đời thường: cần bao nhiêu chỗ để xoay một cây kim?

Sau đó, Besicovitch cho thấy diện tích có thể nhỏ tùy ý, thậm chí tập chứa đoạn thẳng theo mọi hướng có thể có độ đo bằng 0. Từ đây, câu hỏi không còn là “diện tích bao nhiêu”, mà trở thành “một tập như vậy thực sự có bao nhiêu chiều”.

Giả thuyết Kakeya dự đoán rằng trong $\mathbb{R}^n$, mọi tập Kakeya đều phải có số chiều đầy đủ bằng $n$. Hong Wang và Joshua Zahl đã chứng minh điều này cho không gian ba chiều bằng cách nghiên cứu sự chồng lấn của các ống mỏng qua nhiều tỉ lệ và chỉ ra rằng một cấu hình bị nén quá mức sẽ buộc phải mang những cấu trúc không thể đồng thời tồn tại.

Công trình không biến thành một ứng dụng điện thoại ngay ngày mai. Nhưng nó tháo gỡ một nút thắt lớn giữa hình học, giải tích Fourier và phương trình sóng, đồng thời tạo ra những công cụ đa tỉ lệ có thể tiếp tục ảnh hưởng đến nhiều bài toán khác.

Một cây kim bé xíu đã buộc toán học phải xây cả một tòa nhà.

Và sau gần một thế kỷ, chúng ta mới hiểu được ba tầng đầu tiên.

Bài toán Kakeya: cây kim, căn phòng vô hình và Huy chương Fields của Vương Hồng