Tổng quan nghiên cứu

Trong lý thuyết tối ưu hóa hiện đại, các bài toán phi lồi thường gây ra nhiều thách thức lớn do sự bất ổn định của cấu trúc hàm dưới tác động của các sai số ngoại cảnh. Kế thừa nền tảng nghiên cứu từ đầu thế kỷ 20 của Jensen về hàm lồi và công trình năm 1949 của Finetti về hàm tựa lồi, đề tài tập trung giải quyết bài toán xác định tính vững của lớp hàm tựa lồi khi chịu các nhiễu loạn tuyến tính. Luận văn Thạc sĩ chuyên ngành Toán ứng dụng (mã ngành: 8460112) với tiêu đề tính toán các bao tựa lồi vững được tác giả Nguyễn Hoàng Hải thực hiện tại Trường Đại học Bách khoa, Đại học Quốc gia Thành phố Hồ Chí Minh dưới sự hướng dẫn khoa học của Phó Giáo sư, Tiến sĩ Phan Thanh An. Đề tài được triển khai từ ngày 04 tháng 09 năm 2023 đến ngày 18 tháng 12 năm 2023 và bảo vệ thành công trước hội đồng chuyên môn vào ngày 05 tháng 01 năm 2024, nhận tài trợ chính thức từ dự án loại B của Đại học Quốc gia Thành phố Hồ Chí Minh trong năm 2024.

Mục tiêu cốt lõi của công trình là xây dựng hệ thống cơ sở giải tích và thuật toán số học hữu hiệu nhằm tính toán chính xác chỉ số vững của hàm tựa lồi, đồng thời kiến tạo các bao tựa lồi trên không gian 1 chiều và không gian đa chiều n chiều (với n lớn hơn hoặc bằng 2). Nghiên cứu không chỉ dừng lại ở lý thuyết thuần túy mà còn mở rộng ứng dụng vào 2 lĩnh vực thực tiễn trọng yếu: kiểm định tính ổn định của hàm cầu dư thừa trong kinh tế học cạnh tranh và định lượng tốc độ phát triển thương tổn da liễu trong y tế. Với việc thử nghiệm trên nhiều lớp hàm phi tuyến và dữ liệu hình ảnh phức tạp, nghiên cứu đã đạt độ chính xác xấp xỉ cao với sai số kiểm soát dưới 0.0001, mở ra hướng tiếp cận đột phá cho các bài toán tối ưu hóa bền vững trong môi trường dữ liệu bất định.

Cơ sở lý thuyết và phương pháp nghiên cứu

Khung lý thuyết áp dụng

Nghiên cứu được xây dựng dựa trên 3 trụ cột lý thuyết giải tích lồi suy rộng và phương trình đạo hàm riêng. Đầu tiên là lý thuyết hàm tựa lồi vững, ban đầu được giới thiệu dưới tên gọi hàm s-tựa lồi bởi nhà toán học Phú và An vào năm 1996, sau đó được phát triển định lượng thành chỉ số vững bởi tác giả Phan Thanh An vào năm 2018. Một hàm số được định nghĩa là tựa lồi vững trên tập compact lồi D nếu nó vẫn giữ nguyên tính tựa lồi khi cộng thêm một ánh xạ tuyến tính bất kỳ có chuẩn nhỏ hơn một đại lượng dương xác định. Chỉ số vững thể hiện bán kính lớn nhất của quả cầu nhiễu loạn tuyến tính mà hàm mục tiêu có thể chịu đựng được.

Trụ cột thứ hai là lý thuyết bao tựa lồi của Abbasi và Oberman (2018), định nghĩa bao tựa lồi của một hàm số là hàm tựa lồi lớn nhất nằm dưới hàm mục tiêu đó. Trong không gian 1 chiều, bao tựa lồi được mô tả thông qua nghiệm độ nhớt của bài toán phương trình đạo hàm riêng có chướng ngại. Trụ cột thứ ba là lý thuyết tựa lồi định hướng trong không gian đa chiều, liên kết tính tựa lồi tổng quát với hành vi của hàm số dọc theo tập các véc tơ phương hướng đơn vị. Nghiên cứu khai thác sâu các khái niệm về tập dưới mức alpha, ma trận Hessian nửa xác định dương, điểm cực tiểu toàn cục và tính chất đơn điệu dạng giảm-tăng để thiết lập mối quan hệ giải tích vững chắc.

Phương pháp nghiên cứu

Phương pháp nghiên cứu kết hợp giữa chứng minh giải tích toán học thuần túy và mô phỏng thực nghiệm số học trên máy tính. Dữ liệu thực nghiệm bao gồm bộ 7 hàm mục tiêu kiểm thử điển hình (gồm 4 hàm 1 chiều phức tạp và 3 hàm đa chiều từ 2 đến 3 biến số) cùng bộ 50 mẫu ảnh thương tổn tế bào da liễu thực tế và dữ liệu sinh ngẫu nhiên. Phương pháp chọn mẫu là chọn mẫu có chủ đích, tập trung vào các dạng hàm đa thức bậc 3, bậc 4, hàm chứa hàm mũ, logarit tự nhiên và cấu trúc hình học elip có tính phi đối xứng cao.

Quy trình phân tích số học dựa trên việc rời rạc hóa biên của miền compact D thành 2 lũy thừa m điểm lưới phân bố đều (với cấp độ chia m chạy từ 1 đến 7). Thay vì giải bài toán tối ưu liên tục trên toàn bộ miền không gian vô hạn điểm, phương pháp đề xuất quy về việc tính toán chỉ số vững trên các đoạn thẳng nối hai điểm biên bất kỳ thông qua Thuật toán 1 và Thuật toán 2. Thuật toán 3 sử dụng cấu trúc lặp để tìm infimum trên tập hữu hạn các đoạn thẳng nhằm xấp xỉ chỉ số vững đa chiều. Đối với bài toán tìm bao tựa lồi, Thuật toán 4 và Thuật toán 5 thực hiện quét lặp định hướng dọc theo các véc tơ chỉ phương cơ sở cho đến khi hiệu chuẩn vô cùng bé hơn ngưỡng sai số định trước. Kỹ thuật này giúp giảm tải chi phí bộ nhớ hơn 40% so với phương pháp lưới hóa toàn miền truyền thống trong suốt quá trình thực hiện từ tháng 09 năm 2023 đến tháng 12 năm 2023.

Kết quả nghiên cứu và thảo luận

Những phát hiện chính

Nghiên cứu đã đạt được 4 phát hiện khoa học mang tính đột phá về cả phương diện lý thuyết lẫn thực nghiệm số học:

Thứ nhất, chứng minh chặt chẽ định lý quy giảm số chiều: Chỉ số vững của một hàm tựa lồi trên tập compact lồi trong không gian thực n chiều hoàn toàn bằng giá trị infimum của chỉ số vững của hàm số đó trên tất cả các đoạn thẳng nằm trong miền xác định. Kết quả này cho phép chuyển đổi toàn bộ bài toán đa biến phức tạp về bài toán 1 chiều quen thuộc.

Thứ hai, triển khai thành công Thuật toán 2 để tính chính xác chỉ số vững của hàm khả vi liên tục hai lần trên khoảng đóng. Ví dụ, với hàm số logarit đa thức bậc bốn trên đoạn từ -2 đến 3, thuật toán tính ra chỉ số vững chính xác bằng phân số 54/41 (tương đương khoảng 1.317). Đối với hàm đa thức bậc 3 trên đoạn từ 0 đến 1, chỉ số vững đạt giá trị bằng 1, khẳng định tính chịu nhiễu tuyệt đối dưới các biến thiên tuyến tính nhỏ.

Thứ ba, kiểm chứng độ hội tụ vượt trội của Thuật toán 3 trên không gian 2 chiều và 3 chiều. Khi tăng cấp độ rời rạc hóa m từ 1 đến 7 trên miền hình vuông đơn vị, chỉ số vững xấp xỉ giảm dần và hội tụ đơn điệu từ 0.95831 về giá trị giới hạn thực tế là 0.86418, trong đó thời gian tính toán ở các cấp độ ban đầu chỉ mất khoảng 0.864 giây.

Thứ tư, xác lập mối quan hệ tương đương giải tích giữa tính tựa đơn điệu vững của gradient hàm thế vị với tiên đề Wald mạnh trong kinh tế học lượng giác. Đồng thời, nghiên cứu xây dựng mô hình tích phân elip trên không gian màu HSV để lượng hóa chính xác 100% tốc độ tăng trưởng của các thương tổn da liễu thông qua chỉ số vững.

Thảo luận kết quả

Các kết quả thực nghiệm có thể được biểu diễn trực quan một cách sinh động thông qua bảng thống kê thời gian hội tụ số học và các đồ thị biểu diễn bề mặt 3 chiều. Khi quan sát hình ảnh đồ thị của hàm mục tiêu và mặt bao tựa lồi tương ứng trong không gian hai chiều, ta thấy rõ các vùng lõm cục bộ đã được nâng lên một cách trơn tru để tạo thành một mặt lồi suy rộng tối ưu nhất. Đặc biệt, các biểu đồ đường mức và ảnh quét 3 chiều của thương tổn mụn trứng cá đã minh họa rõ nét sự biến thiên của chỉ số vững: giá trị chỉ số càng lớn phản ánh cấu trúc tổn thương càng phát triển bền vững và có mật độ tập trung cao.

So với các nghiên cứu trước đây vốn chỉ giới hạn ở lớp hàm lồi thông thường hoặc bài toán 1 chiều, công trình này đã mở rộng biên giới tính toán sang không gian đa chiều với độ chính xác cao. Việc sử dụng nghiệm độ nhớt của phương trình đạo hàm riêng giúp bao tựa lồi không bị biến dạng cục bộ tại các điểm không khả vi. Đây là bước tiến quan trọng, giải quyết triệt để vấn đề mất tính lồi trong các bài toán cân bằng thị trường kinh tế vĩ mô và phân đoạn ảnh y tế tự động.

Đề xuất và khuyến nghị

Dựa trên các kết quả lý thuyết và thực nghiệm đã đạt được, luận văn đề xuất 4 giải pháp hành động cụ thể nhằm hoàn thiện và chuyển giao công nghệ:

  1. Nâng cấp hiệu năng thuật toán tính toán số: Nhóm nghiên cứu tính toán số cần tiến hành song song hóa Thuật toán 3 và Thuật toán 5 trên nền tảng phần cứng GPU đa nhân. Mục tiêu giảm thời gian xử lý các bài toán trong không gian 3 chiều từ vài phút xuống dưới 5 giây, hoàn thành trong Quý 2 năm 2024.
  2. Xây dựng gói thư viện phần mềm mã nguồn mở: Bộ môn Toán ứng dụng chủ trì đóng gói các thuật toán tính chỉ số vững và bao tựa lồi thành các thư viện chuyên dụng trên nền tảng Python và C++. Đặt mục tiêu đạt tối thiểu 500 lượt tải và tích hợp thành công vào 2 phần mềm phân tích dữ liệu trước tháng 8 năm 2024.
  3. Ứng dụng kiểm định tính ổn định trong kinh tế lượng: Các viện nghiên cứu kinh tế và tài chính nên ứng dụng chỉ số vững của hàm cầu dư thừa để phân tích độ nhạy của thị trường cạnh tranh n hàng hóa. Hướng tới mục tiêu nâng cao độ chính xác dự báo điểm cân bằng kinh tế vĩ mô lên hơn 85% vào cuối năm 2024.
  4. Triển khai hệ thống chẩn đoán da liễu tự động trong y tế: Các bệnh viện và trung tâm da liễu phối hợp cùng chuyên gia công nghệ tích hợp mô hình đo chỉ số vững elip vào quy trình xử lý ảnh y khoa. Phấn đấu tự động phân loại mức độ tăng trưởng của hơn 1000 ca bệnh da liễu với độ nhạy chẩn đoán vượt trên 92% trong giai đoạn 2024 - 2025.

Đối tượng nên tham khảo luận văn

Công trình luận văn thạc sĩ này là nguồn tài liệu tham khảo có giá trị cao cho 4 nhóm đối tượng chuyên môn:

  1. Giảng viên và nhà nghiên cứu Toán học: Khai thác chuyên sâu lý thuyết giải tích lồi suy rộng, các định lý về nghiệm độ nhớt của phương trình đạo hàm riêng và các kỹ thuật xấp xỉ biên trong tối ưu hóa phi tuyến.
  2. Kỹ sư khoa học dữ liệu và thị giác máy tính: Ứng dụng các thuật toán xây dựng bao tựa lồi và nhận dạng đường mức 3 chiều để phát triển các bộ lọc tiền xử lý ảnh y tế và thuật toán phân loại bề mặt hình thái học.
  3. Chuyên gia phân tích kinh tế lượng và tài chính định lượng: Sử dụng công cụ tiên đề Wald mạnh và hàm tựa đơn điệu để thiết lập các mô hình cân bằng cung cầu, quản trị rủi ro danh mục đầu tư chịu tác động của các cú sốc thị trường.
  4. Học viên cao học và sinh viên ngành Toán - Tin ứng dụng: Sử dụng làm tài liệu mẫu chuẩn mực về phương pháp luận nghiên cứu khoa học, kỹ năng lập trình giải thuật số học và quy trình bảo vệ luận văn thạc sĩ cấp đại học quốc gia.

Câu hỏi thường gặp

  1. Hàm tựa lồi vững có điểm gì khác biệt cốt lõi so với hàm tựa lồi truyền thống? Hàm tựa lồi truyền thống có các tập dưới mức là tập lồi nhưng có thể bị mất hoàn toàn tính tựa lồi khi cộng thêm một nhiễu tuyến tính rất nhỏ. Ngược lại, hàm tựa lồi vững vẫn duy trì tính tựa lồi dưới mọi tác động nhiễu tuyến tính có độ lớn nằm trong giới hạn chỉ số vững dương cho phép.

  2. Tại sao cần phải tính bao tựa lồi thay vì bao lồi thông thường? Trong thực tế, nhiều hàm mục tiêu thực nghiệm không có cấu trúc lồi toàn cục mà chỉ có tính chất tựa lồi. Bao tựa lồi là hàm tựa lồi lớn nhất nằm dưới hàm mục tiêu, giúp xấp xỉ sát thực tế hơn và giữ lại các đặc trưng phi tuyến quan trọng mà bao lồi chuẩn thường bỏ qua.

  3. Thuật toán 3 giải quyết bài toán đa chiều trong không gian n chiều như thế nào? Thuật toán 3 thực hiện rời rạc hóa biên của miền compact lồi thành các điểm nút, sau đó chuyển việc tính toán chỉ số vững đa biến về việc tìm infimum của chỉ số vững trên tập hợp các đoạn thẳng 1 chiều nối các điểm biên, giúp tiết kiệm đáng kể tài nguyên tính toán.

  4. Chỉ số vững đóng vai trò gì trong việc phân tích hàm cầu dư thừa kinh tế? Chỉ số vững phản ánh trực tiếp chỉ số ổn định của hàm cầu trong nền kinh tế cạnh tranh. Giá trị chỉ số này càng lớn chứng tỏ hệ thống giá cả và cung cầu thị trường càng có khả năng tự phục hồi về trạng thái cân bằng sau những biến động ngoại cảnh.

  5. Cơ chế nào giúp mô hình toán học này đánh giá được sự phát triển của mụn trứng cá? Mỗi tổn thương được mô hình hóa thành một hình elip trên không gian màu HSV và tích phân mật độ màu sắc được thiết lập theo bán kính co giãn. Hàm tích phân này có tính tựa lồi, và chỉ số vững của nó phản ánh định lượng mức độ phát triển ổn định của thương tổn.

Kết luận

  • Luận văn đã thiết lập thành công hệ thống giải tích hoàn chỉnh về hàm tựa lồi vững và chứng minh định lý quy giảm chỉ số vững đa chiều về các đoạn thẳng 1 chiều.
  • Xây dựng và thực thi trọn vẹn 5 thuật toán chuyên biệt phục vụ tính toán chỉ số vững và kiến tạo bao tựa lồi trên không gian 1 chiều và đa chiều.
  • Kiểm chứng thực nghiệm thành công trên 7 hàm số mục tiêu kinh điển, chứng minh tính hội tụ số học ổn định với sai số kiểm soát chặt chẽ dưới 0.0001.
  • Mở rộng ứng dụng đột phá vào việc phân tích tính ổn định kinh tế học theo tiên đề Wald và đánh giá định lượng tốc độ phát triển thương tổn da liễu trong y tế.
  • Định hình lộ trình nghiên cứu tiếp theo trong giai đoạn 2024 đến 2026 với trọng tâm là tối ưu hóa thuật toán song song trên nền tảng GPU đa nhân.

Quý độc giả, nhà nghiên cứu và học viên quan tâm có thể khai thác toàn văn tài liệu cùng hệ thống mã nguồn thực thi để ứng dụng trực tiếp vào các bài toán tối ưu hóa và xử lý dữ liệu phức tạp!