Tổng quan về luận án

Trong lý thuyết tối ưu hóa hiện đại và giải tích biến phân, bài toán quy hoạch toàn phương đóng vai trò nền tảng cho hàng loạt mô hình kinh tế lượng, điều độ kỹ thuật và học máy. Tuy nhiên, các lý thuyết quy hoạch toán học kinh điển thường dựa trên giả định lý tưởng hóa: hàm mục tiêu có cấu trúc lồi hoàn hảo, khả vi trơn tru hoặc các hàm nhiễu bảo toàn cấu trúc lồi ban đầu. Trên thực tế, các sai số mô hình hóa không thể tránh khỏi, độ bất định của dữ liệu đo đạc thực nghiệm và hiện tượng sai số làm tròn số dấu chấm động (floating-point roundoff errors) trong tính toán khoa học luôn phá vỡ tính lồi và tính khả vi. Như luận án đã chỉ rõ: "Do phần lớn các số thực không thể biểu diễn chính xác bằng máy tính, nên đối với hầu hết $x \in D$ ta không thể tính chính xác giá trị hàm mục tiêu." Khi đó, hàm mục tiêu thực tế $\tilde{f} = f + p$ trở nên không lồi, không toàn phương và thậm chí gián đoạn nghiêm trọng.

Nghiên cứu này giải quyết trực diện khoảng trống học thuật (research gap) cốt lõi: Sự thiếu vắng một khung giải tích định lượng chặt chẽ để xác định tính ổn định nghiệm, kích thước tập nghiệm tối ưu và các điều kiện tối ưu kiểu Karush-Kuhn-Tucker (KKT) khi bài toán quy hoạch toàn phương lồi ngặt bị tác động bởi một hàm nhiễu $p(x)$ chỉ thỏa mãn tính bị chặn tổng quát $\sup_{x \in D} |p(x)| \le s < +\infty$. Các nghiên cứu trước đây (như các công trình kinh điển của Rockafellar (1970) hoặc Bonnans & Shapiro (2000)) thường đòi hỏi nhiễu phải liên tục Lipschitz hoặc duy trì tính lồi. Luận án đã thiết lập hệ thống 4 câu hỏi nghiên cứu ($RQ$) và 3 giả thuyết khoa học ($H$) then chốt:

  • $RQ_1$: Điều kiện chính xác nào về biên độ nhiễu $s$ và phổ ma trận xác định dương $A$ đảm bảo hàm mục tiêu bị nhiễu $\tilde{f}$ giữ được tính lồi thô ($\gamma$-lồi ngoài, $\Gamma$-lồi ngoài, $\gamma$-lồi trong)?
  • $RQ_2$: Biên trên hình học của đường kính tập các điểm cực tiểu/infimum toàn cục của bài toán nhiễu $(\tilde{P})$ là bao nhiêu?
  • $RQ_3$: Khoảng cách định lượng giữa nghiệm lý tưởng không nhiễu $x^$ và điểm infimum thực tế $\tilde{x}^$ được kiểm soát như thế nào?
  • $RQ_4$: Làm thế nào để mở rộng Định lý Kuhn-Tucker cho bài toán tối ưu với hàm mục tiêu gián đoạn và không lồi?
  • $H_1$: Tồn tại một ngưỡng tham số hữu hạn $\gamma^* = 2\sqrt{2s/\lambda_{\min}}$ xác lập ranh giới định tính cho tính $\gamma$-lồi ngoài ngặt của hàm bị nhiễu.
  • $H_2$: Tập các điểm infimum toàn cục của bài toán bị nhiễu luôn bị giam hãm trong một hình cầu đóng tâm $x^$ bán kính không vượt quá $\gamma^/2$.
  • $H_3$: Các điều kiện tối ưu bậc nhất có thể được tái thiết lập thông qua cấu trúc nón pháp tuyến và dưới vi phân của bài toán lồi ban đầu.

Về khung lý thuyết, công trình kế thừa và phát triển đột phá lý thuyết hàm lồi thô (rough convex functions) do Hoàng Xuân Phú khởi xướng (1989, 1994), kết hợp với giải tích nửa liên tục dưới ($lsc$) và lý thuyết ma trận phổ. Đóng góp mang tính định lượng chuẩn xác của nghiên cứu thể hiện qua việc chứng minh đường kính tập nghiệm infimum thỏa mãn $\operatorname{diam}(\arg\min \tilde{f}) \le \gamma^* = 2\sqrt{2s/\lambda_{\min}}$ và độ lệch nghiệm cực trị không vượt quá $\sqrt{2s/\lambda_{\min}}$. Phạm vi nghiên cứu bao quát không gian Euclid $n$-chiều $\mathbb{R}^n$ với ma trận xác định dương $A \succ 0$, được kiểm chứng thực tế trên hai bài toán quy mô lớn: Bài toán lựa chọn danh mục đầu tư Markowitz và Bài toán phân phối kinh tế điện năng (Economic Power Dispatch) có tính đến hiệu ứng điểm-van (valve-point loading effects).

Literature Review và Positioning

Lịch sử phát triển của quy hoạch toán học ghi nhận bước ngoặt vĩ đại từ công trình khai phá của Kuhn & Tucker (1951), đặt nền móng cho điều kiện cần và đủ của nghiệm tối ưu lồi dưới dạng hệ nhân tử Lagrange. Tiếp nối trường phái này, Rockafellar (1970) hoàn thiện lý thuyết giải tích lồi, trong khi Clarke (1983) và Mordukhovich (2006) mở rộng sang giải tích không trơn với khái niệm dưới vi phân suy rộng. Tuy nhiên, một nghịch lý tồn tại lâu năm trong trường phái phân tích nhiễu (perturbation analysis): phần lớn các kết quả xuất sắc của Fiacco (1983), Robinson (1982) hay Bonnans & Shapiro (2000) đều dựa trên giả định bài toán bị nhiễu vẫn bảo toàn cấu trúc hình học cơ bản (tính lồi hoặc tính khả vi cấp hai).

Trường phái thứ hai xuất hiện nhằm xử lý các bài toán không lồi thực tế thông qua các khái niệm lồi suy rộng (generalized convexity) như hàm tựa lồi (quasiconvex), hàm giả lồi (pseudoconvex), hay hàm lồi thoái hóa. Tuy nhiên, các lớp hàm này hoàn toàn bất lực khi đối mặt với hàm gián đoạn hoặc dao động vi mô mật độ cao do nhiễu số học. Để khắc phục hạn chế mang tính bản thể luận này, trường phái lồi thô được đề xuất bởi Klötzler (1989) với $\rho$-lồi, Hartwig (1989) với $\delta$-lồi, và đặc biệt là hệ thống lý thuyết toàn diện của Hoàng Xuân Phú (1989, 1994, 2003) về hàm $\gamma$-lồi, $\gamma$-lồi ngoài, $\Gamma$-lồi ngoài và $\gamma$-lồi trong. Trong đó, tính chất lồi chỉ cần thỏa mãn trên các điểm cách nhau một khoảng cách tối thiểu $\gamma > 0$.

[Kuhn & Tucker (1951) / Rockafellar (1970)]
[Bonnans & Shapiro (2000) / Auslender (2003)]
[Hoàng Xuân Phú (1989, 1994) / Klötzler (1989)]
[Luận án Tiến sĩ: Quy hoạch toàn phương nhiễu bất kỳ]

Luận án định vị một cách độc lập và tiên phong bằng việc bắc nhịp cầu giữa lý thuyết giải tích lồi thô trừu tượng và lớp bài toán tối ưu thực tiễn bậc nhất: quy hoạch toàn phương. Khi đặt cạnh các công trình quốc tế cùng thời kỳ, như nghiên cứu của Auslender & Teboulle (2003) về nón tiệm cận trong giải tích biến phân hay lý thuyết ổn định nghiệm của Klatte & Kummer (2002), nghiên cứu này vượt trội ở khả năng cung cấp các chặn sai số tường minh không tiệm cận (non-asymptotic explicit error bounds). Thay vì chỉ chứng minh tính nửa liên tục của ánh xạ nghiệm, luận án định lượng hóa trực tiếp bán kính định vị nghiệm thông qua giá trị riêng nhỏ nhất $\lambda_{\min}(A)$ và cận trên nhiễu $s$.

Đóng góp lý thuyết và khung phân tích

Đóng góp cho lý thuyết

Nghiên cứu mang lại 4 bước tiến lý thuyết đột phá đối với giải tích tối ưu hóa hiện đại:

  1. Thiết lập ngưỡng phổ tới hạn $\gamma^*$: Chứng minh rằng với bài toán quy hoạch toàn phương lồi ngặt bị nhiễu $(\tilde{P})$, hàm $\tilde{f} = f + p$ đạt tính $\gamma$-lồi ngoài ngặt với mọi $\gamma > \gamma^* = 2\sqrt{2s/\lambda_{\min}}$. Đây là giá trị ngưỡng nhỏ nhất tuyệt đối không thể cải biên (sharp bound), được luận án chứng minh chặt chẽ thông qua các phản ví dụ giải tích trên $\mathbb{R}$.
  2. Định lý bao đóng đường kính tập nghiệm: Xác lập mệnh đề toán học khẳng định mọi điểm cực tiểu toàn cục $\tilde{x}_1^, \tilde{x}_2^ \in \arg\min \tilde{f}$ đều thỏa mãn bất đẳng thức $|\tilde{x}_1^* - \tilde{x}_2^| \le \gamma^$, giải quyết triệt để bài toán phân rã tập nghiệm dưới tác động của nhiễu gián đoạn.
  3. Mở rộng Định lý Kuhn-Tucker cho hàm không trơn, không lồi: Phát triển hệ điều kiện tối ưu cần và đủ bậc nhất cho bài toán $(\tilde{P})$: Nếu $\tilde{x}^$ là điểm infimum toàn cục của hàm bị nhiễu, tồn tại duy nhất nghiệm lý tưởng $x^$ thỏa mãn hệ nhân tử Lagrange kinh điển của bài toán gốc $(P)$ sao cho khoảng cách Euclid $|\tilde{x}^* - x^| \le \gamma^/2 = \sqrt{2s/\lambda_{\min}}$.
  4. Hình học hóa nghiệm bài toán đối ngẫu cực đại $(\tilde{Q})$: Khám phá tính chất tập nghiệm supremum toàn cục của bài toán tối đại quy hoạch toàn phương bị nhiễu luôn đạt tại các điểm $\gamma$-cực biên ($\gamma$-extreme points) của tập ràng buộc lồi $D$.

Khung phân tích độc đáo

Khung phân tích của luận án kết hợp hữu cơ ba trụ cột giải tích:

  • Lý thuyết tương quan ma trận - hình học lồi: Sử dụng dạng toàn phương $f(x) = \langle Ax, x \rangle + \langle b, x \rangle$ kết hợp với khai triển trực chuẩn phổ $A = \sum_{i=1}^n \lambda_i e_i e_i^T$ để thiết lập cận dưới hàm gia số độ cong: $$h_1(\gamma) := \inf_{x_0, x_1 \in D, |x_0 - x_1|=\gamma} \left[ \frac{1}{2}(f(x_0) + f(x_1)) - f\left(\frac{x_0+x_1}{2}\right) \right] \ge \frac{\lambda_{\min}\gamma^2}{4}$$
  • Bao đóng nửa liên tục dưới ($lsc$ regularization): Để khắc phục tính gián đoạn của $p(x)$, luận án sử dụng hàm bao $lsc,\tilde{f}(x) := \liminf_{y \to x, y \in D} \tilde{f}(y)$, chuyển hóa bài toán tìm điểm infimum gián đoạn về bài toán tìm điểm cực tiểu của hàm nửa liên tục dưới.
  • Tính chất tựa và Nón pháp tuyến tô-pô: Khai thác biểu diễn tiếp diện suy rộng $0 \in \mu_0(2Ax^* + b) + \sum_{i=1}^m \mu_i \partial g_i(x^) + N(x^|S)$ để giam hãm tập nghiệm thực tế trong lân cận Metric của nghiệm giải tích.

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

Thiết kế nghiên cứu

Luận án vận hành theo hệ hình duy lý diễn dịch toán học (rationalist-deductive mathematical paradigm), xây dựng trên nền tảng giải tích thuần lý kết hợp giải tích biến phân hiện đại. Thiết kế nghiên cứu đa tầng bao gồm:

  • Tầng 1: Giải tích phổ của toán tử đối xứng xác định dương trong không gian $\mathbb{R}^n$.
  • Tầng 2: Cấu trúc tô-pô của tập lồi compact, bao affine ($\operatorname{aff} D$) và nón pháp tuyến $N(x|S)$.
  • Tầng 3: Giải tích không trơn dựa trên hàm bao nửa liên tục dưới và dưới vi phân Clarke.

Quy trình nghiên cứu rigorous

Quy trình chứng minh toán học được tiến hành theo các giao thức suy diễn cực kỳ nghiêm ngặt:

  • Kỹ thuật ước lượng hàm khoảng cách lồi thô: Thiết lập hàm bậc hai $\phi(t) := f((1-t)x^* + t\tilde{x}^)$ trên đoạn $t \in [0, 1]$, tận dụng công thức Taylor chính xác đến cấp hai: $\phi(t) = \phi(0) + \phi'(0)t + \frac{1}{2}\phi''(0)t^2$. Nhờ tính tối ưu của $x^$ trên tập lồi $D$, suy ra $\phi'(0) = \langle 2Ax^* + b, \tilde{x}^* - x^* \rangle \ge 0$, từ đó dẫn xuất trực tiếp đánh giá then chốt: $$\frac{\lambda_{\min}}{4} |\tilde{x}^* - x^|^2 \le \frac{1}{2}\phi''(0) \cdot \left(\frac{1}{2}\right)^2 \le f(\tilde{x}^) - f(x^) \le 2s \implies |\tilde{x}^ - x^| \le \sqrt{\frac{2s}{\lambda_{\min}}} = \frac{\gamma^}{2}$$
  • Tam giác đạc lý thuyết (Theoretical Triangulation): Luận án thực hiện kiểm chứng chéo tính tương đương giữa 3 cách tiếp cận: Tiếp cận độ đo Metric lồi thô ($\gamma$-convexity), Tiếp cận tô-pô tập mức ($L_\alpha(\tilde{f})$ outer convexity), và Tiếp cận hàm bao biến phân ($lsc$ regularization).

Data và phân tích

Nghiên cứu sử dụng hai mô hình thực nghiệm tính toán chuẩn quốc tế để mô phỏng và chứng minh tính ứng dụng của lý thuyết:

  1. Hệ thống phát điện phi tuyến 3 tổ máy (Economic Power Dispatch): Hàm chi phí thực tế kết hợp hiệu ứng điểm-van có dạng: $$F(P) = \sum_{i=1}^n \left[ a_i + b_i P_i + c_i P_i^2 + |e_i \sin(f_i(P_i^{\min} - P_i))| \right]$$ Trong đó phần lồi ngặt $f(P) = \sum (a_i + b_i P_i + c_i P_i^2)$ có ma trận Hessian đường chéo với $\lambda_{\min} = 2 \min(c_i) > 0$, còn thành phần nhiễu gợn sóng điểm-van $p(P) = \sum |e_i \sin(f_i(P_i^{\min} - P_i))|$ bị chặn tự nhiên bởi $s = \sum |e_i|$. Lý thuyết luận án cho phép xác định chính xác sai số công suất phát mà không cần tuyến tính hóa gượng ép.
  2. Danh mục đầu tư Markowitz $n$ tài sản: Hàm mục tiêu tối thiểu hóa rủi ro: $$\tilde{f}(x) = \omega x^T \tilde{\Sigma} x - \tilde{\rho}^T x = f(x) + p(x)$$ Với $\Sigma$ là ma trận hiệp phương sai mẫu thực và $\tilde{\Sigma}$ là ma trận ước lượng bị nhiễu do biến động thị trường. Cận trên $s = \sup_{x \in D} |\omega x^T(\tilde{\Sigma} - \Sigma)x - (\tilde{\rho} - \rho)^T x|$ được chặn hoàn toàn trên tập phân bổ vốn $D = {x \in \mathbb{R}^n_+ \mid \sum x_j = 1}$.

Phát hiện đột phá và implications

Những phát hiện then chốt

  1. Định lượng hóa bán kính bất biến nghiệm: Luận án chứng minh một kết quả phản trực giác: Dù hàm nhiễu $p(x)$ có thể gián đoạn tại vô số điểm hoặc dao động hỗn loạn, tập điểm cực tiểu toàn cục không bao giờ phân tán tùy ý mà luôn cô lập hoàn toàn trong hình cầu đóng $\bar{B}(x^*, \sqrt{2s/\lambda_{\min}})$.
  2. Quy luật thu hẹp nghiệm theo độ cong ma trận: Độ ổn định của nghiệm tỷ lệ nghịch với căn bậc hai của giá trị riêng bé nhất $\lambda_{\min}(A)$. Khi bài toán có độ lồi càng mạnh ($\lambda_{\min}$ lớn), ảnh hưởng của nhiễu biên độ $s$ lên độ lệch vị trí nghiệm càng tiệm cận về 0 với tốc độ $\mathcal{O}(1/\sqrt{\lambda_{\min}})$.
  3. Mối quan hệ loại trừ giữa nhân tử Lagrange và ràng buộc biên: Luận án chỉ ra rằng đối với ràng buộc dạng bất đẳng thức $\langle c_i, x \rangle \le d_i$, nếu điểm nghiệm nhiễu $\tilde{x}^$ thỏa mãn: $$\langle c_i, \tilde{x}^ \rangle < d_i - \sqrt{\frac{2s}{\lambda_{\min}}} |c_i|$$ thì chắc chắn nhân tử Lagrange tương ứng $\mu_i = 0$. Nghĩa là ràng buộc này hoàn toàn không tích cực (inactive), giúp loại bỏ hàng loạt tính toán biên không cần thiết.
  4. Tính chất tập mức $\gamma$-lồi ngoài: Mọi tập mức dưới $L_\alpha(\tilde{f}) = {x \in D \mid \tilde{f}(x) \le \alpha}$ của hàm bị nhiễu đều là tập $\gamma$-lồi ngoài với mọi $\gamma \ge \gamma^*$, bảo toàn tính liên thông hình học ở quy mô vĩ mô.

Implications đa chiều

  • Về mặt lý thuyết: Mở ra một nhánh giải tích biến phân mới xử lý tối ưu hóa phi lồi thông qua cấu trúc lồi thô, cung cấp công cụ toán học vững chắc cho giải tích hàm đa trị và hệ thống động học gián đoạn.
  • Về mặt thuật toán: Tạo tiền đề xây dựng các thuật toán tối ưu hóa toàn cầu kiểu nhánh-và-cận (Branch-and-Bound) hoặc gradient cải biên, trong đó kích thước lưới tìm kiếm được thiết lập tối ưu dựa trên bước nhảy $\gamma^*$, loại bỏ hiện tượng mắc kẹt tại các cực tiểu địa phương vi mô do nhiễu.
  • Về điều độ hệ thống năng lượng: Cung cấp giải pháp tính toán an toàn cho lưới điện thông minh, cho phép các kỹ sư vận hành hệ thống điện xác định dung sai công suất tối ưu mà không lo ngại sai số điểm-van gây mất ổn định tần số.

Limitations và Future Research

Nhằm duy trì tính khách quan khoa học và sự khiêm tốn học thuật, luận án thừa nhận 3 giới hạn nội tại:

  1. Giả định về tính xác định dương của ma trận Hessian: Các kết quả cốt lõi phụ thuộc chặt chẽ vào điều kiện $A \succ 0$ ($\lambda_{\min} > 0$). Trường hợp ma trận nửa xác định dương ($A \succeq 0$, tức $\lambda_{\min} = 0$) làm cho bán kính $\gamma^* \to +\infty$, khiến chặn đánh giá mất hiệu lực định lượng.
  2. Không gian Euclid hữu hạn chiều: Toàn bộ chứng minh hiện được đóng khung trên $\mathbb{R}^n$. Việc mở rộng sang không gian Hilbert vô hạn chiều (như không gian hàm $L^2$ hay Sobolev $H^1$ trong bài toán điều khiển tối ưu phân bố) sẽ gặp thách thức lớn về tính compact yếu của tập mức.
  3. Mô hình nhiễu tất định bị chặn: Nghiên cứu giả định cận trên $s$ là một hằng số tuyệt đối đã biết, chưa tích hợp các dạng nhiễu ngẫu nhiên có phân phối đuôi nặng (heavy-tailed stochastic perturbations) hoặc nhiễu phụ thuộc trạng thái $p(x, \omega)$.

Chương trình nghiên cứu mở rộng trong tương lai bao gồm 4 hướng trọng tâm:

  • Hướng 1: Mở rộng lý thuyết lồi thô cho quy hoạch nửa xác định (Semidefinite Programming - SDP) và quy hoạch nón bậc hai (SOCP) bị nhiễu.
  • Hướng 2: Phát triển giải tích lồi thô trên đa tạp Riemannian (Riemannian manifolds), ứng dụng trực tiếp vào hình học thông tin và học sâu.
  • Hướng 3: Thiết lập mô hình xấp xỉ ngẫu nhiên với cận xác suất kiểu concentration inequalities: $P(|\tilde{x}^* - x^*| \le \epsilon) \ge 1 - \delta$.
  • Hướng 4: Xây dựng gói thư viện phần mềm mã nguồn mở chuyên dụng tích hợp các thuật toán tối ưu lồi thô trên nền tảng Python/C++.

Tác động và ảnh hưởng

Các kết quả nghiên cứu của luận án đã được công bố trên các tập san học thuật danh giá hàng đầu thế giới thuộc danh mục ISI/Scopus (Q1/Q2) trong chuyên ngành tối ưu hóa và toán ứng dụng, bao gồm:

  • Optimization (Taylor & Francis)
  • Mathematical Methods of Operations Research (Springer)
  • Journal of Optimization Theory and Applications - JOTA (Springer)

Công trình đã được báo cáo và thẩm định tại các diễn đàn khoa học uy tín như Hội thảo "Tối ưu hóa và Tính toán Khoa học" (Viện Toán học & HVKTQS, Ba Vì, 2010) và Seminar thường kỳ của Phòng Giải tích số & Tính toán Khoa học. Về mặt học thuật, luận án tạo tiền đề cho hàng chục trích dẫn chuyên sâu trong lĩnh vực phân tích độ nhạy và tối ưu hóa không trơn. Về mặt công nghệ và công nghiệp, khung lý thuyết này có tiềm năng ứng dụng trực tiếp vào việc nâng cấp độ ổn định cho các bộ giải thương mại (commercial solvers như CPLEX, Gurobi) khi xử lý các bài toán quy hoạch toàn phương có điều kiện số xấu (ill-conditioned quadratic programs).

Đối tượng hưởng lợi

  • Nghiên cứu sinh và Tiến sĩ Toán ứng dụng: Tiếp cận khung phương pháp luận hoàn chỉnh để giải quyết các bài toán tối ưu phi lồi nảy sinh từ thực nghiệm.
  • Các nhà khoa học tính toán (Computational Scientists): Sở hữu công cụ đánh giá định lượng sai số lan truyền do làm tròn số dấu chấm động trong các thuật toán đại số tuyến tính quy mô cực lớn.
  • Kỹ sư vận hành hệ thống điện và năng lượng: Ứng dụng công thức định vị nghiệm để thiết kế thuật toán điều độ kinh tế tổ máy phát điện đạt hiệu quả chi phí cao nhất mà vẫn đảm bảo độ bền cơ học của van điều áp.
  • Chuyên gia phân tích định lượng tài chính (Quantitative Analysts): Xây dựng các danh mục đầu tư chống chịu nhiễu thị trường (robust portfolio optimization) với độ tin cậy toán học tuyệt đối.

Câu hỏi chuyên sâu

  1. Đóng góp lý thuyết độc đáo nhất của công trình là gì? Đó là việc thiết lập Định lý Kuhn-Tucker suy rộng cho hàm không lồi, không khả vi và gián đoạn thông qua việc phát hiện ra ngưỡng phổ ổn định $\gamma^* = 2\sqrt{2s/\lambda_{\min}}$, mở rộng trực tiếp lý thuyết lồi thô của Hoàng Xuân Phú (1989) vào bài toán quy hoạch toán học kinh điển.
  2. Đột phá về mặt phương pháp luận so với các nghiên cứu quốc tế trước đây? So với phương pháp phân tích tiệm cận của Bonnans & Shapiro (2000) hay kỹ thuật nón tiệm cận của Auslender & Teboulle (2003) vốn yêu cầu cấu trúc khả vi hoặc lồi, luận án sử dụng kỹ thuật hàm bao nửa liên tục dưới ($lsc$) kết hợp ước lượng hình học cấp hai của đa thức Taylor để đưa ra các chặn sai số tường minh không tiệm cận.
  3. Phát hiện nào mang tính bất ngờ nhất về mặt toán học? Tính chất bảo toàn đường kính nghiệm tuyệt đối: Dù nhiễu $p(x)$ có thể làm biến mất hoàn toàn tính duy nhất nghiệm của bài toán lồi ngặt ban đầu, toàn bộ tập nghiệm mới phát sinh luôn có đường kính bị chặn đúng bằng $\gamma^$ và tâm sai lệch không quá $\gamma^/2$, bất kể số chiều không gian $n$.
  4. Nghiên cứu có cung cấp giao thức tái lập (Replication Protocol) không? Có. Toàn bộ các bước chứng minh giải tích đều tường minh với đầy đủ các bổ đề bổ trợ; các ví dụ phản chứng số học trên $\mathbb{R}$ và mô hình 3 tổ máy nhiệt điện đều có đầy đủ tham số đầu vào ($a_i, b_i, c_i, e_i, f_i, \lambda_i$) cho phép kiểm chứng độc lập trên MATLAB hoặc Mathematica.
  5. Chương trình nghiên cứu 10 năm tiếp theo được định hình ra sao? Tập trung chuyển đổi từ không gian hữu hạn chiều $\mathbb{R}^n$ sang không gian hàm vô hạn chiều, mở rộng sang tối ưu hóa trên đa tạp Riemannian và tích hợp lý thuyết xác suất ngẫu nhiên để giải quyết các bài toán học máy quy mô siêu lớn.

Kết luận

  1. Nghiên cứu đã giải quyết trọn vẹn và chuẩn xác bài toán quy hoạch toàn phương lồi ngặt bị tác động bởi nhiễu gián đoạn bị chặn bất kỳ trên tập lồi.
  2. Thiết lập công thức tường minh cho ngưỡng lồi thô $\gamma^* = 2\sqrt{2s/\lambda_{\min}}$, chứng minh đây là cận dưới đúng của tham số $\gamma$-lồi ngoài ngặt.
  3. Xác lập giới hạn hình học bất biến cho tập nghiệm infimum toàn cục với bán kính bao đóng $\sqrt{2s/\lambda_{\min}}$ và đường kính tối đa $2\sqrt{2s/\lambda_{\min}}$.
  4. Mở rộng thành công Định lý Kuhn-Tucker sang lớp bài toán không trơn, gián đoạn thông qua nghiệm của bài toán gốc và hệ nhân tử Lagrange tương ứng.
  5. Khám phá quy luật phân bố của tập nghiệm supremum toàn cục của bài toán tối đại quy hoạch toàn phương trên các điểm $\gamma$-cực biên của miền ràng buộc lồi.
  6. Mở ra 3 hướng nghiên cứu chiến lược về quy hoạch nón bậc hai bị nhiễu, tối ưu hóa trên đa tạp và thuật toán tiến hóa chịu nhiễu trong trí tuệ nhân tạo.