Các nhà toán học chứng minh giả thuyết Pólya về các trị riêng của hình tròn

• Các nhà toán học chứng minh giả thuyết Pólya về các trị riêng của hình tròn, một bài toán toán học tồn tại suốt 70 năm

  • Iosif Polterovich, giáo sư tại Khoa Toán và Thống kê của Đại học Montréal, rất quan tâm đến câu hỏi liệu có thể suy ra hình dạng của một chiếc trống từ âm thanh của nó hay không.
  • Polterovich sử dụng một lĩnh vực toán học gọi là hình học phổ để hiểu các hiện tượng vật lý liên quan đến sự lan truyền sóng.
  • Mùa hè năm ngoái, Polterovich và các cộng tác viên quốc tế của ông đã chứng minh một trường hợp đặc biệt của một giả thuyết nổi tiếng trong hình học phổ do nhà toán học Mỹ gốc Hungary lừng danh George Pólya nêu ra vào năm 1954.
  • Giả thuyết này liên quan đến tần số của một chiếc trống hình tròn, hay theo thuật ngữ toán học là ước lượng trị riêng của hình tròn.
  • Chính Pólya đã xác nhận giả thuyết của mình vào năm 1961 đối với các miền có thể lát kín mặt phẳng như gạch, chẳng hạn tam giác và tứ giác.
  • Cho đến năm ngoái, giả thuyết này chỉ mới được biết là đúng trong những trường hợp đó, còn hình tròn tưởng như đơn giản vẫn là một bài toán chưa có lời giải.

• Tính phổ quát của toán học

  • Trong một bài báo công bố trên tạp chí toán học Inventiones Mathematicae, các nhà nghiên cứu đã chỉ ra rằng giả thuyết Pólya là đúng đối với hình tròn, vốn được xem là đặc biệt thách thức.
  • Kết quả của họ về cơ bản mang giá trị lý thuyết, nhưng phương pháp chứng minh có thể được ứng dụng vào toán học tính toán và tính toán số.
  • Các tác giả hiện đang tiếp tục khám phá phương pháp này.
  • Polterovich nói rằng: "Toán học là một khoa học nền tảng, nhưng ở một khía cạnh nào đó, nó cũng giống thể thao và nghệ thuật."
  • Ông cho rằng việc cố gắng chứng minh một giả thuyết trong thời gian dài là thể thao, còn việc tìm ra một lời giải thanh nhã là nghệ thuật.
  • Ông cũng nói rằng trong nhiều trường hợp, những khám phá toán học đẹp đẽ có thể trở nên hữu ích, chỉ cần tìm được ứng dụng phù hợp.

Ý kiến của GN⁺

• Nghiên cứu này cho thấy việc chứng minh một giả thuyết toán học không chỉ là thành tựu lý thuyết mà còn có thể ảnh hưởng đến các lĩnh vực ứng dụng thực tế. Đặc biệt, khả năng áp dụng trong toán học tính toán và tính toán số sẽ là tin tức đáng chú ý với các chuyên gia trong lĩnh vực này.
• Hình học phổ đóng vai trò quan trọng trong nhiều lĩnh vực như vật lý, kỹ thuật và khoa học máy tính, và chứng minh lần này là một bước tiến quan trọng có thể nâng mức độ hiểu biết trong lĩnh vực này lên một tầng mới.
• Khi đưa kỹ thuật này vào sử dụng, cần kiểm chứng đầy đủ hiệu quả của nó thông qua mô phỏng và thực nghiệm trước khi áp dụng vào các bài toán thực tế.
• Kết quả nghiên cứu này có thể đặc biệt hữu ích với các nhà nghiên cứu hoặc kỹ sư quan tâm đến các bài toán trị riêng, đồng thời gợi mở những hướng nghiên cứu mới cho họ.
• Nếu có các dự án hoặc công nghệ khác xử lý những bài toán tương tự, việc so sánh với chúng có thể làm nổi bật hơn nữa tính độc đáo và tầm quan trọng của nghiên cứu này.

[GN⁺]

Các ý kiến trên Hacker News

• Tôi đã tò mò không biết các hàm riêng trông như thế nào. Tôi không biết đĩa tròn lại là một bài toán đặc biệt đến vậy trong phương trình Laplace, nhưng nhìn lại thì hóa ra tôi đã hiểu nhầm
  Bản thân các hàm riêng đã được giải chính xác; phần khó là sắp xếp các trị riêng thành một dãy đơn điệu tăng duy nhất. Theo trang 4 của bài báo, các trị riêng Laplacian Dirichlet/Neumann của đĩa đơn vị đã được biết tường minh dưới dạng các nghiệm không của hàm Bessel hoặc đạo hàm của nó, nhưng phổ được cho dưới dạng một họ hai tham số nên việc sắp xếp lại thành một thứ tự duy nhất dường như là bất khả thi trong thực tế
  https://arxiv.org/abs/2203.07696
• Nhìn tiêu đề làm tôi nghĩ đến một sự thật riêng biệt là định lý đĩa Gershgorin. Các trị riêng của một ma trận A kích thước N×N bất kỳ nằm trong hợp của N đĩa trên mặt phẳng phức; tâm của đĩa thứ i là phần tử đường chéo thứ i của A, còn bán kính là tổng các giá trị tuyệt đối của các phần tử không nằm trên đường chéo trong hàng thứ i
  https://blogs.sas.com/content/iml/2019/05/22/gershgorin-disc...
  Lần đầu nghe thì đây là một kết quả khá bất ngờ và trái trực giác, nhưng nó thực sự đúng. Tôi từng dùng nó trong một dự án thực tế để khử nhiễu
  • Matrix Theory của Franklin là một cuốn sách hay và rẻ, chứa nhiều kết quả thú vị như vậy, nên tôi rất khuyên đọc nếu bạn quan tâm đến đại số tuyến tính
    https://www.amazon.com/Matrix-Theory-Dover-Books-Mathematics...
  • Tôi không nghĩ đó là kết quả đáng ngạc nhiên đến thế. Chứng minh chỉ cần định nghĩa và bất đẳng thức tam giác
    Từ Ax=λx, chọn i sao cho |xᵢ| lớn nhất, xét phương trình thứ i ∑aᵢⱼxⱼ=λxᵢ, rồi chuyển hạng aᵢᵢxᵢ sang vế phải, lấy giá trị tuyệt đối, chia cho |xᵢ| và áp dụng bất đẳng thức tam giác, ta được |aᵢᵢ−λ| ≤ ∑|aᵢⱼ|, j≠i. Vì vậy với mọi trị riêng đều có thể tìm được một đĩa như vậy. Đây là theo cột, còn theo hàng thì dùng Aᵀ là được
  • Tôi tò mò dự án khử nhiễu đó là gì, và bạn đã dùng định lý này như thế nào để khử nhiễu
  • Bán kính của một đĩa là một giá trị đơn, nên tôi chưa hiểu rõ cách diễn đạt “bán kính của đĩa thứ i là các giá trị tuyệt đối”. Tôi thắc mắc nhiều giá trị tương ứng với một bán kính như thế nào
  • Cũng có phần trực giác trong đó. Trị riêng là cặp vector/scalar mà tác dụng của việc nhân ma trận giống với nhân vô hướng, và ở đây có thể xem như đang so sánh với thứ giống độ lớn của ma trận sau khi dịch chuyển theo các thành phần đường chéo
    Trường hợp ma trận đường chéo thì trị riêng chỉ là các phần tử đường chéo, điều đó cũng hỗ trợ trực giác này. Dù không phải là chứng minh, nhưng về cảm giác thì có thể hiểu được, và tôi đồng ý rằng đây là một kết quả rất hay
• Giá mà có một chương trình tái dựng địa hình từ tiếng sấm rền
  https://en.wikipedia.org/wiki/Impulse_response
• Câu hỏi “Có thể nghe ra hình dạng của một cái trống không?” lần đầu được nhà toán học Mark Kac đặt ra trong một bài báo năm 1966
  Đến thập niên 1980, người ta đã chứng minh rằng tồn tại các đa tạp mà ta không thể nghe ra hình dạng của chúng
• Tôi chưa đọc bài báo, nhưng tò mò liệu nó có áp dụng cho trống có hình dạng bất kỳ không. Và nếu cơ sở có thể lớn tùy ý, tôi cũng tự hỏi kết quả này thú vị đến mức nào
  Rốt cuộc có phải chỉ là nói rằng miền phổ là đẳng cấu không?
  • Kết quả này chỉ áp dụng cho đĩa tròn, hình cầu và các tổng quát hóa lên chiều cao hơn. Trước đây nó chỉ được biết cho các hình có thể lát kín mặt phẳng hoặc tessellation không gian nhiều chiều
• Theo tôi, ý chính trong bài báo Pólya’s conjecture for Euclidean balls là như sau
  https://dms.umontreal.ca/~iossif/polya.pdf
  Giả thuyết Pólya nổi tiếng trong hình học phổ (1954) nói rằng hàm đếm trị riêng của Laplacian Dirichlet/Neumann trên một miền Euclid bị chặn có thể được ước lượng từ trên/dưới tương ứng bằng hạng tử chủ đạo của tiệm cận Weyl. Bài báo này chứng minh điều đó cho đĩa tròn, tạo ra trường hợp đầu tiên mà giả thuyết được xác nhận trong số các miền phẳng không lát kín, đồng thời cũng xác nhận cho các hình quạt phẳng bất kỳ và các quả cầu ở mọi chiều với điều kiện Dirichlet. Yếu tố mới then chốt là quan sát rằng hàm đếm trị riêng tương ứng và hàm đếm điểm lưới không chỉ có quan hệ tiệm cận mà còn thỏa mãn chặn đều
• Nói vậy là các nhà toán học đã chứng minh rằng chỉ từ các tần số phát ra khi gõ một đĩa tròn bằng que, ta có thể suy ra hình dạng của đĩa tròn
  • Câu đầu “Có thể suy ra hình dạng của cái trống từ âm thanh nó phát ra không?” khá dễ gây hiểu nhầm
    Đó là một bài toán đã nổi tiếng, và câu trả lời, rất thú vị, là phủ định https://www.ams.org/publicoutreach/feature-column/fcarc-1997...
    Theo cách tôi hiểu, bài viết này đi theo hướng ngược lại: khi hình dạng là đĩa tròn, nó xét bài toán về các trị riêng, tức các tần số của âm thanh. Nội dung có vẻ nói về xấp xỉ hơn là tính toán chính xác, và giả thuyết Pólya có vẻ gần với việc nói rằng tiệm cận Weyl không chỉ là một xấp xỉ tốt cho tần số/trị riêng cao, mà còn có thể dùng làm cận trên hoặc cận dưới. Đây không phải lĩnh vực của tôi và tôi cũng không có đủ thời gian để đọc bài báo