Trong toán học, có những câu hỏi mang dáng vẻ ngây thơ đến mức một học sinh trung học cũng có thể hiểu đề bài trong vài giây, nhưng lại đủ sức làm bế tắc những bộ óc kiệt xuất nhất suốt nhiều thế kỷ. Bài toán biểu diễn một số nguyên dưới dạng tổng của ba lập phương là một cạm bẫy như thế:
Bài toán Tổng Ba Lập Phương (Sum of Three Cubes): Với một số nguyên $k$ cho trước, liệu ta có thể tìm được bộ ba số nguyên $(x, y, z) \in \mathbb{Z}^3$ thỏa mãn phương trình Diophantine: $$x^3 + y^3 + z^3 = k$$ hay không?
Với những con số nhỏ, lời giải hiện ra gần như tức khắc. Bạn muốn số $29$? Ta có ngay $3^3 + 1^3 + 1^3 = 29$. Bạn muốn số $26$? Chỉ cần một chút nhẩm tính với số âm: $3^3 + (-1)^3 + 0^3 = 26$. Ngay cả với con số quen thuộc như $3$, nhân loại từ lâu đã biết hai lời giải giản dị:
$$3 = 1^3 + 1^3 + 1^3$$
$$3 = 4^3 + 4^3 + (-5)^3 = 64 + 64 – 125$$
Thế nhưng, điều gì xảy ra nếu ta hỏi: Liệu số 3 còn cách biểu diễn nào khác không?
Suốt hơn nửa thế kỷ, không một ai dám chắc. Phải đến tháng 9 năm 2019, hai nhà toán học Andrew Booker và Andrew Sutherland mới khiến cộng đồng toán học sững sờ khi tìm ra đáp án thứ ba cho số $3$:
Một biểu thức rợn người! Hai số nguyên âm khổng lồ dài 21 chữ số, khi lập phương lên đã cộng hưởng để triệt tiêu gần như toàn bộ giá trị lập phương của một số dương 21 chữ số lớn hơn, chỉ để lại phần dư bé nhỏ đúng bằng $3$.
Chính hiện tượng “nghiệm số nhảy vọt ra khoảng cách thiên văn” này đã đưa chúng ta đến với thành trì kiên cố nhất của bài toán trong thế kỷ 20: con số 33.
Năm 1955, nhà toán học huyền thoại Louis J. Mordell từng đặt nghi vấn rằng một số con số dưới 100 — mà điển hình là $33$ — có thể sẽ vĩnh viễn không có nghiệm. Suốt 64 năm sau đó, mọi thế hệ siêu máy tính ra đời đều thử sức với số $33$ và đều thất bại. Tại sao một phương trình bậc ba trông có vẻ đơn giản lại có thể biến thành một “hố đen” nuốt chửng mọi nỗ lực tính toán của nhân loại?
Vì sao lập phương là cơn ác mộng tổ hợp?
Để trực nhận được độ khó vô lý của bài toán này, hãy đặt số $33$ lên bàn cân so sánh với ba bài toán tương tự theo cấp độ lũy thừa:
Bậc 1: Tổng ba số nguyên ($x + y + z = 33$) Không gian vô tận, nhưng nghiệm rải rác dày đặc. Bạn có thể chọn vô số đáp án như $19 + 6 + 8$ hay $35 + (-1) + (-1)$ cực kỳ dễ nhẩm.
Bậc 2: Tổng ba số chính phương ($x^2 + y^2 + z^2 = 33$) Không gian bị chặn kín ($x, y, z \le \sqrt{33}$), thử vét cạn tối đa $6 \times 6 \times 6 = 216$ tổ hợp là tìm ra nghiệm $33 = 4^2 + 4^2 + 1^2$.
Bậc 3: Tổng ba lập phương ($x^3 + y^3 + z^3 = 33$) Không gian VÔ TẬN đi kèm mật độ nghiệm SIÊU THƯA THỚT — cơn ác mộng thực sự của khoa học máy tính.
Khác biệt cốt lõi nằm ở dấu của phương trình:
Với bình phương ($x^2 + y^2 + z^2 = 33$), vì bình phương của một số luôn không âm ($x^2 \ge 0$), các biến bị nhốt trong một chiếc lồng hình cầu đóng. Không số nguyên nào được phép vượt quá $\sqrt{33} \approx 5.74$.
Với lập phương ($x^3 + y^3 + z^3 = 33$), lập phương của số âm vẫn là số âm ($(-n)^3 = -n^3$). Chiếc lồng giới hạn hoàn toàn bị phá vỡ! Bạn có thể đi tới những con số dương lớn bằng cả dải Ngân Hà, rồi dùng một con số âm tương đương để kéo tổng quay ngược trở lại số $33$.
Không gian tìm kiếm lúc này là một mặt yên ngựa mở rộng ra vô cực, trong khi mật độ số lập phương trong tự nhiên lại thưa thớt dần theo hàm căn bậc ba. Con người giống như đang tìm một hạt cát cụ thể trên một sa mạc không có đường biên.
Hình 1: Mặt cầu hữu hạn $x^2 + y^2 + z^2 = 33$ (trái) và mặt yên ngựa vô tận $x^3 + y^3 + z^3 = 33$ với điểm nghiệm ở khoảng cách thiên văn $10^{16}$ (phải).
Bức tường Mô-đun 9 và “Vùng cấm” của tự nhiên
Trước khi để máy tính chạy mù quáng trong biển số vô tận, toán học sơ cấp cho phép ta lập ra một bộ lọc kỳ diệu, loại bỏ ngay lập tức 2/9 toàn bộ số nguyên trên trục số vì chúng vĩnh viễn vô nghiệm. Chìa khóa của bộ lọc này nằm ở số dư khi chia cho $9$ (mô-đun 9).
Hãy thử lập phương một vài số nguyên bất kỳ và quan sát số dư của chúng khi chia cho $9$:
$1^3 = 1 \equiv 1 \pmod 9$
$2^3 = 8 \equiv -1 \pmod 9$
$3^3 = 27 \equiv 0 \pmod 9$
$4^3 = 64 = 63 + 1 \equiv 1 \pmod 9$
Một quy luật tuyệt đẹp hiện ra: lập phương của mọi số nguyên trên đời khi chia cho 9 chỉ có thể để lại số dư là $-1, 0,$ hoặc $1$.
$$n^3 \in \{-1, 0, 1\} \pmod 9$$
Khi bạn cộng ba số lập phương lại với nhau, tổng số dư $x^3 + y^3 + z^3 \pmod 9$ sẽ chỉ là một sự kết hợp giữa ba phần tử nhặt từ tập $\{-1, 0, 1\}$. Hãy xem toàn bộ các khả năng có thể xảy ra:
Hai con số $4$ và $5$ hoàn toàn vắng mặt! Từ đây, ta có một định lý bất khả thi vô cùng mạnh mẽ:
$$\forall k \equiv 4, 5 \pmod 9 \implies \text{Phương trình } x^3 + y^3 + z^3 = k \text{ vô nghiệm trên } \mathbb{Z}$$
Nhờ bức tường mô-đun 9, những con số như $4, 5, 13, 14, 22, 23, 31, 32$ lập tức bị gạt bỏ mà không tốn một mili-giây tính toán. Thế nhưng, $33 = 3 \times 9 + 6 \equiv 6 \pmod 9$ và $42 = 4 \times 9 + 6 \equiv 6 \pmod 9$. Cả hai đều nằm trong vùng “được phép tồn tại”. Tại sao chúng lại lẩn tránh nhân loại lâu đến thế?
Lật ngược phương trình: Bước nhảy vọt của Andrew Booker
Sự thất bại của các siêu máy tính thế kỷ 20 bắt nguồn từ sự bùng nổ của độ phức tạp thuật toán:
Vét cạn 3 biến $\mathcal{O}(N^3)$: Nếu cho máy tính thử mọi bộ $(x, y, z)$ trong dải từ $-100$ đến $100$, ta tốn $200^3 = 8.000.000$ phép tính. Nhưng nếu mở rộng vùng tìm kiếm ra những số dài 16 chữ số ($10^{16}$), số phép thử sẽ là $(2 \times 10^{16})^3 = 8 \times 10^{48}$ — một con số vượt xa số nguyên tử trong toàn bộ hành tinh của chúng ta.
Thu hẹp 2 biến $\mathcal{O}(N^2)$: Các nhà toán học sau đó khôn ngoan hơn khi viết lại phương trình thành $z^3 = k – (x^3 + y^3)$. Máy tính chỉ cần duyệt qua các cặp $(x, y)$ rồi lấy căn bậc ba xem $z$ có phải số nguyên không. Dù đã giảm độ phức tạp xuống $\mathcal{O}(N^2)$, một cụm máy tính vẫn phải bó tay khi dải tìm kiếm chạm ngưỡng $10^{15}$.
Đột phá lịch sử đến vào năm 2019, khi nhà toán học Andrew Booker (Đại học Bristol) nhìn lại một hằng đẳng thức mà bất kỳ học sinh cấp hai nào cũng thuộc nằm lòng: hằng đẳng thức tổng hai lập phương.
$$k – z^3 = x^3 + y^3 = (x + y)(x^2 – xy + y^2)$$
Booker nhận ra một mối liên hệ đại số ngầm: nếu đặt $d = x + y$, thì toàn bộ biểu thức vế phải chia hết cho $d$. Điều đó buộc vế trái cũng phải tuân theo quy luật đồng dư:
$$z^3 \equiv k \pmod d$$
Bước đi thiên tài của Booker là đảo ngược hoàn toàn vai trò của các biến: thay vì duyệt qua vô vàn cặp $(x, y)$ rồi tìm $z$, ông cho thuật toán lặp qua biến $z$ và ước số $d = x+y$. Nhờ lý thuyết vành số học, hệ phương trình này kéo độ phức tạp từ $\mathcal{O}(N^2)$ xuống chỉ còn $\mathcal{O}(N)$.
Để thấy sự thanh lịch của thuật toán Booker, hãy xem cách nó tìm ra biểu diễn cho số $34$ nhẹ nhàng như thế nào:
Máy tính duyệt qua biến $z$. Khi chạm tới giá trị $z = -6$, ta tính: $$34 – (-6)^3 = 34 – (-216) = 250$$
Phân tích số $250$ thành tích của các thừa số để tìm ước $d$: ta thấy $250 = 10 \times 25$.
Kiểm tra xem cặp $(10, 25)$ có khớp với cấu trúc đại số $(x+y)(x^2 – xy + y^2)$ hay không:
Ngay lập tức, bộ nghiệm lộ diện mà không cần quét mù quáng: $$5^3 + 5^3 + (-6)^3 = 125 + 125 – 216 = 34$$
Hình 2: Trật tự mô-đun 9 loại bỏ 2/9 số nguyên trên trục số và vị trí của hai cột mốc lịch sử 33, 42 tại cột số dư 6.
Cột mốc 33, 42 và Cuộc chiến Lưới điện toán toàn cầu
Tháng 3 năm 2019, Andrew Booker đưa thuật toán sàng mới của mình lên siêu máy tính của Đại học Bristol. Chỉ sau 3 tuần vận hành liên tục, cỗ máy đã báo về kết quả làm nức lòng cộng đồng toán học thế giới: bí ẩn số 33 chính thức bị chinh phục sau 64 năm.
Hãy ngắm nhìn sự kỳ diệu của độ chính xác toán học: hai con số âm khổng lồ dài 16 chữ số, khi nâng lên lũy thừa ba đã cộng hưởng và triệt tiêu vừa vặn một con số dương 16 chữ số cực lớn, để lại phần dư nguyên vẹn đúng bằng $33$.
Thế nhưng, danh sách dưới 100 lúc này vẫn còn sót lại một “kẻ tử thủ” cuối cùng: số 42 — con số mang tính biểu tượng văn hóa trong tiểu thuyết The Hitchhiker’s Guide to the Galaxy.
Vì số $42$ đòi hỏi một không gian tìm kiếm rộng lớn hơn $33$ gấp nhiều lần, Booker đã hợp tác cùng nhà toán học Andrew Sutherland (MIT) để đưa bài toán lên một quy mô chưa từng có. Họ kết nối thuật toán với Charity Engine — một mạng lưới điện toán lưới (Grid Computing) huy động năng lực tính toán nhàn rỗi của hơn 500.000 máy tính cá nhân trên khắp hành tinh.
Tháng 9 năm 2019, “cỗ máy tính toàn cầu” đã tìm ra đáp án cho số 42 sau hàng triệu giờ tính toán cộng dồn:
Việc bẻ khóa thành công số $33$ và $42$ đã khép lại trọn vẹn danh sách các số dưới 100, nhưng nó không hề đặt dấu chấm hết cho bài toán Diophantine vĩ đại này. Trái lại, nó mở ra những thách thức thời sự mới cho toán học và khoa học máy tính:
Phỏng đoán thế kỷ vẫn là vấn đề mở: Dù mọi số dưới 100 không đồng dư $4, 5 \pmod 9$ đều đã có nghiệm, bài toán tổng quát: “Liệu mọi số nguyên hợp lệ $k \not\equiv 4,5 \pmod 9$ đều có vô số nghiệm nguyên?” hiện vẫn là một phỏng đoán chưa ai chứng minh được.
Mục tiêu tiếp theo: Số 114
Dưới ngưỡng 1.000, con số nhỏ nhất hiện vẫn đang ngoan cố chống cự mọi hệ thống tính toán của nhân loại là $k = 114$. Cuộc săn lùng số 114 đang được tiếp nối trên các cấu trúc GPU siêu song song và siêu máy tính thế hệ Exascale.
Ứng dụng trong Mật mã học
Thuật toán phân rã mô-đun và kỹ thuật lặp qua ước số $d = x+y$ của Booker không chỉ giải một bài toán số học thuần túy. Nó đang cung cấp những công cụ đại số quan trọng để nghiên cứu sự phân bố điểm nguyên trên Đường cong Elliptic (ECC) — nền tảng bảo mật của Internet hiện đại.
Comments
So empty here ... leave a comment!