Lực đẩy kỳ lạ giữa các đa thức và lời giải cho một giả thuyết toán học tồn tại nửa thế kỷ

Cấu trúc hình học của đa thức và những căn nguyên đơn vị

Trong đại số, mối quan tâm trung tâm của các nhà toán học là nghiệm – tức các giá trị của biến số khiến đa thức có giá trị bằng 0. Số lượng nghiệm của một đa thức luôn bằng đúng bậc của nó. Chẳng hạn, đa thức bậc hai $x^2 – 4$ có hai nghiệm là 2 và -2, trong khi đa thức $x^5 – 7x^3 + 2x^2 – 4x – 9$ sở hữu chính xác năm nghiệm trên mặt phẳng tọa độ phức.

Các nhà toán học luôn trăn trở trước một câu hỏi hình học tự nhiên: Liệu các nghiệm này có phân bố theo những quy luật không gian xác định nào hay không? Trên mặt phẳng phức (nơi trục hoành biểu diễn phần thực và trục tung biểu diễn phần ảo), nghiệm của nhiều đa thức đặc biệt không nằm rải rác hỗn loạn mà sắp xếp hoàn hảo trên các đỉnh của một đa giác đều. Chính những đối xứng hình học tuyệt mỹ đó đã thúc đẩy giới toán học tìm kiếm các quy tắc sâu xa hơn chi phối mối liên hệ vị trí giữa các nghiệm.

Một họ đa thức giữ vai trò trụ cột trong việc khám phá này là đa thức cyclotomic (hay đa thức chia đường tròn). Tương tự các nguyên tố hóa học trong bảng tuần hoàn đóng vai trò là những viên gạch cơ bản cấu tạo nên các phân tử phức tạp, các đa thức cyclotomic không thể phân tích thành những đa thức nhỏ hơn nhưng lại là gạch nối tạo dựng nên vô số đa thức khác. Điểm khác biệt là nếu bảng tuần hoàn hóa học có giới hạn, thì danh sách các đa thức cyclotomic lại kéo dài vô tận. Thành viên đầu tiên và đơn giản nhất của họ này là $x – 1$, tiếp theo là $x + 1$, và đa thức thứ mười có dạng $x^4 – x^3 + x^2 – x + 1$.

Điều làm nên sức hút đặc biệt của đa thức cyclotomic chính là hành vi hình học của hệ nghiệm. Khi biểu diễn trên mặt phẳng phức, nếu ta vẽ đường tròn bán kính 1 tâm tại gốc tọa độ – gọi là đường tròn đơn vị (unit circle) – thì toàn bộ nghiệm của mọi đa thức cyclotomic đều nằm chính xác trên đường tròn này. Chúng được mang một cái tên rất thơ mộng: các \”căn của đơn vị\” (roots of unity).

Giả thuyết Schinzel-Zassenhaus và sự phân tách của hệ nghiệm

Dẫu vậy, phần lớn các đa thức trong toán học không thuộc về họ cyclotomic, và nghiệm của chúng không phải là căn của đơn vị. Với đa số phương trình tạo thành từ sự kết hợp ngẫu nhiên của biến số, hệ số và số mũ, các nghiệm sẽ không còn bị giam giữ trên đường tròn đơn vị. Khi xét một đa thức không cyclotomic có hệ số cao nhất bằng 1, đồ thị nghiệm của nó trên mặt phẳng phức thường phân tán: một số nghiệm nằm lọt vào bên trong, một số đậu trên đường tròn, và một số khác dạt ra bên ngoài.

Năm 1965, hai nhà toán học Andrzej Schinzel và Hans Zassenhaus đã đưa ra dự đoán mang tính định hình: cấu trúc hình học của nghiệm đa thức không cyclotomic luôn có sự phân tách rõ rệt so với đa thức cyclotomic. Họ tiên đoán rằng: Mọi đa thức không cyclotomic bắt buộc phải có ít nhất một nghiệm nằm bên ngoài đường tròn đơn vị và cách đường tròn này một khoảng cách tối thiểu nhất định.

Dưới góc nhìn tương tác lực, các nghiệm nhỏ hơn bên trong đường tròn dường như sản sinh một lực đẩy hiệu dụng, đẩy bật ít nhất một nghiệm đồng loại ra xa khỏi ranh giới bán kính 1, tựa như hai cực cùng tên của thỏi nam châm đẩy nhau. Emmanuel Breuillard từ Đại học Cambridge đã mô tả trực quan: \”Bạn có thể tưởng tượng các nghiệm của một đa thức như những hạt mang điện tích âm, đẩy lẫn nhau bằng một lực giảm dần khi khoảng cách tăng lên.\”

Giả thuyết Schinzel-Zassenhaus thậm chí còn xác định chính xác độ lớn của lực đẩy đó. Giả thuyết dự đoán rằng với mọi đa thức không cyclotomic bậc $d$, khoảng cách từ nghiệm ngoài xa nhất tới đường tròn đơn vị tối thiểu bằng một hằng số $C$ chia cho bậc $d$ của đa thức.

Giả sử hằng số đó là 0.1, khi xét một đa thức không cyclotomic bậc 23, giả thuyết tiên đoán sẽ có ít nhất một nghiệm nằm ngoài đường tròn đơn vị một khoảng tối thiểu là $\frac{0.1}{23}$. Dù ý tưởng rất trực quan, việc chứng minh nó lại là thách thức lớn suốt nhiều thập kỷ. Schinzel và Zassenhaus khi ấy mới chỉ chứng minh được cận dưới khiêm tốn là $\frac{1}{4^d}$. Sự xuất hiện của số mũ $4^d$ ở phần mẫu số đã khiến khoảng cách này nhỏ hơn rất nhiều so với giá trị kỳ vọng $\frac{C}{d}$. Dù trải qua hơn ba mươi năm cải tiến kỹ thuật, giới toán học vẫn không thể vượt qua rào cản số mũ này.

Nguyên lý lực đẩy kỳ lạ trong cấu trúc số học

Hiện tượng các nghiệm xô đẩy nhau ra xa phản ánh một quy luật bao trùm trong lý thuyết số: nguyên lý lực đẩy (repulsion principle). Trong tự nhiên, các vật thể thường tương tác và đẩy nhau theo những quy luật trật tự. Ta có thể thấy điều đó qua cách các mạt sắt tự sắp xếp thành các đường cong đối xứng dưới từ trường, hay bản năng duy trì cự ly lãnh thổ của các loài thú hoang như sư tử núi.

Kỳ diệu thay, trên trục số thực, các nhà toán học cũng phát hiện hiện tượng tương tự: dường như luôn tồn tại một \”lực đẩy số học\” giữ cho các số nguyên cách đều nhau ít nhất 1 đơn vị. Không có hai số nguyên nào có thể đứng gần nhau hơn cự ly này. Sự phân bố đều đặn đó chỉ là bước khởi đầu của một nguyên lý sâu rộng chi phối khắp lý thuyết số, xuất hiện trong sự phân bố các số nguyên tố cũng như vị trí tương quan của các nghiệm phương trình.

Bằng cách định lượng lực tác động giữa các giá trị này, các nhà toán học hiểu sâu sắc hơn bản chất của chúng. Nhà toán học Jacob Tsimerman tại Đại học Toronto từng giải thích: \”Những đối tượng có ý nghĩa trong lý thuyết số thường có xu hướng đẩy nhau ra xa. Chúng tôi gọi đây là nguyên lý lực đẩy (repulsion principle). Mục tiêu của chúng tôi là xác định các nguyên lý lực đẩy này và sử dụng chúng để thu được nhiều kết quả toán học quan trọng khác.\” Trong bức tranh đó, bài toán xác định cường độ lực đẩy chi phối nghiệm của đa thức đã tồn tại như một ẩn đố lớn suốt hơn nửa thế kỷ.

Đột phá từ chuỗi lũy thừa và \”điều kỳ diệu nhỏ\”

Thông thường, các bài toán tồn đọng nhiều thập kỷ bế tắc là do thiếu công cụ toán học thích hợp. Nhưng ở đây, công cụ thực chất đã tồn tại từ 40 năm trước. Bước ngoặt lịch sử mở ra khi nhà toán học Vesselin Dimitrov thuộc Đại học Toronto tìm thấy một hướng đi mới: ông chuyển đổi bài toán kích thước nghiệm của đa thức thành bài toán xác định độ lớn của chuỗi lũy thừa (power series) – dạng đa thức mở rộng với vô số số hạng.

Để phương pháp này hiệu quả, chuỗi lũy thừa bắt buộc phải thỏa mãn tính chất then chốt: tất cả các hệ số của nó đều phải là số nguyên (không chứa phân số). Trong thời gian dài, giới toán học không tìm ra cách nào để đảm bảo điều kiện này xảy ra.

Vào tháng 11 năm 2019, khi nghiên cứu tài liệu về đại số tổ hợp, Dimitrov nảy ra ý tưởng kết hợp một số định lý quen thuộc để thiết lập mối liên hệ giữa đa thức không cyclotomic và chuỗi lũy thừa của nó. Ông lấy các nghiệm của đa thức không cyclotomic, nâng lên các lũy thừa khác nhau, nhân chúng lại với nhau rồi rút căn bậc hai của tích số ấy. Dựa trên căn bậc hai này, Dimitrov dựng nên một chuỗi lũy thừa sở hữu đầy đủ tính chất nguyên cần thiết.

Việc khai căn bậc hai vận hành hoàn hảo được Dimitrov gọi là một \”điều kỳ diệu nhỏ\”. Nhờ đó, ông chứng minh được các hệ số của chuỗi lũy thừa luôn là các số nguyên lớn hơn hoặc bằng 1. Điều này dẫn tới hệ quả quan trọng: các định thức Hankel (Hankel determinants) của chuỗi lũy thừa cũng có giá trị rất lớn. Qua chuỗi lập luận chặt chẽ, ông kết luận: nếu các hệ số là số nguyên và định thức Hankel lớn, thì chắc chắn phải có ít nhất một nghiệm của đa thức ban đầu đủ lớn để bị đẩy ra ngoài đường tròn đơn vị.

Cột mốc lịch sử khép lại nửa thế kỷ tìm kiếm

Với công trình công bố trực tuyến đầy ấn tượng, Vesselin Dimitrov đã giải quyết trọn vẹn bài toán, khép lại hơn nửa thế kỷ trăn trở của giới toán học. Ông chứng minh thành công rằng đối với mọi đa thức không cyclotomic bậc $d$, luôn tồn tại ít nhất một nghiệm nằm bên ngoài đường tròn đơn vị với khoảng cách tối thiểu được xác định bởi:

$$ \frac{\log 2}{4d} $$

Kết quả này khớp hoàn hảo với dự đoán ban đầu của Schinzel và Zassenhaus, xác nhận khoảng cách là một hàm tỉ lệ nghịch với bậc $d$ của đa thức. Đối với giới nghiên cứu, giá trị chính xác của các hằng số không phải là điều cốt yếu nhất; chính sự phụ thuộc tuyến tính vào $\frac{1}{d}$ mới là bản chất của hiện tượng lực đẩy.

Nhận định về tầm vóc của công trình, nhà toán học Emmanuel Breuillard khẳng định: \”Kết quả này vô cùng rõ ràng và là kết quả tốt nhất có thể đạt được. Sẽ không thể có một kết quả nào tốt hơn thế này nữa.\” Khám phá của Dimitrov không chỉ khép lại một giả thuyết kinh điển mà còn cắm một cột mốc quan trọng trong việc hiểu rõ bản chất của các số đại số và các lực tương tác ẩn giấu trong cấu trúc số học.

Ý nghĩa thực tiễn và những kết nối sâu sắc

Hiện tượng lực đẩy giữa các nghiệm đại số gợi mở nhiều liên hệ sâu sắc trong khoa học hiện đại. Trong cơ học lượng tử và lý thuyết ma trận ngẫu nhiên, các mức năng lượng của hạt nhân nguyên tử nặng cũng thể hiện xu hướng tương tự khi chúng đẩy nhau ra xa thay vì tích tụ hỗn loạn. Trong khoa học máy tính và mật mã học, các thuật toán bảo mật dựa trên đại số luôn tận dụng sự phân tách và độ phức tạp trong phân bố nghiệm để ngăn ngừa các cuộc tấn công giải mã. Nghiên cứu của Dimitrov khẳng định rằng những trật tự trừu tượng của toán học luôn mang sự tương đồng kỳ diệu với quy luật vận hành của tự nhiên.

Bài viết tham khảo Quanta Magazine (quantamagazine.org).