Tổng quan về luận án

Nghiên cứu về bài toán chấp nhận lồi (Convex Feasibility Problem - CFP) và các mô hình cân bằng phi tuyến giữ vị trí nền tảng trong Toán ứng dụng, Lý thuyết tối ưu và Giải tích biến phân hiện đại. Luận án tiến sĩ toán học của nghiên cứu sinh Nguyễn Ngọc Hải với tiêu đề "Một số phương pháp tìm nghiệm chung của bài toán cân bằng và bài toán điểm bất động" (Mã số: 9 46 01 12, Trường Đại học Thăng Long, 2023; dưới sự hướng dẫn khoa học của PGS. TS. Bùi Văn Định và GS. TSKH. Lê Dũng Mưu) tập trung giải quyết bài toán giao cấu trúc phức tạp giữa tập nghiệm bài toán cân bằng và tập điểm bất động trong không gian Hilbert thực.

flowchart TD
    A["Bài toán Chấp nhận Lồi (CFP)"] --> B["Bài toán Cân bằng EP(C, f)"]
    A --> C["Bài toán Điểm Bất động FP(C, T)"]
    B --> D["Nghiệm chung FEP: x* ∈ Sol(C, f) ∩ Fix(T)"]
    C --> D
    D --> E["Toán tử Lai ghép & Không giãn"]
    D --> F["Song hàm Lồi / Tựa lồi"]
    D --> G["Mô hình Cân bằng Walras Ẩn & Tối ưu Hai cấp"]

Khoảng trống học thuật (research gap) trọng yếu mà luận án nhận diện là: các thuật toán kinh điển phần lớn đòi hỏi điều kiện đơn điệu ngặt hoặc tính lồi mạnh của song hàm cân bằng $f(x, \cdot)$, đồng thời ánh xạ điểm bất động $T$ thường bị giới hạn trong lớp toán tử co hoặc không giãn thông thường. Khi song hàm chỉ thỏa mãn tính tựa lồi (quasiconvex), đơn điệu suy rộng (giả đơn điệu, tiền đơn điệu) hoặc ánh xạ $T$ thuộc lớp phức tạp như ánh xạ lai ghép đối xứng tổng quát (symmetric generalized hybrid) và tiệm cận không giãn (asymptotically nonexpansive), các phương pháp giải truyền thống như nguyên lý bài toán phụ (Auxiliary Problem Principle - AEP) hay phép lặp Mann đơn thuần hoàn toàn mất hiệu lực hoặc phân kỳ.

Luận án đặt ra các câu hỏi nghiên cứu và giả thuyết cốt lõi:

  • RQ1: Làm thế nào để mở rộng khái niệm ánh xạ gần kề (proximal mapping) cho lớp ánh xạ đa trị và song hàm cân bằng nhằm bảo toàn các tính chất co và không giãn suy rộng?
  • RQ2: Cấu trúc thuật toán lai ghép nào đảm bảo sự hội tụ mạnh/yếu tới nghiệm chung $x^ \in \text{Sol}(C, f) \cap \text{Fix}(T)$ khi song hàm $f(x, \cdot)$ lồi hoặc tựa lồi kết hợp với toán tử lai ghép đối xứng tổng quát hoặc tiệm cận không giãn?*
  • RQ3: Làm thế nào để thiết lập mô hình tính toán và thuật toán xử lý tính đặt không chỉnh (ill-posedness) của bài toán cân bằng giá Walras khi hàm cung-cầu được cho dưới dạng ẩn qua các bài toán quy hoạch lồi tham số?

Khung lý thuyết của luận án tích hợp Lý thuyết điểm bất động (Banach, Brouwer, Kakutani), Bất đẳng thức biến phân (Stampacchia, Minty), Bất đẳng thức minimax Ky Fan (1972) và Lý thuyết cân bằng tổng thể Walras. Luận án tạo đột phá với 4 nhóm thuật toán mới, chứng minh sự hội tụ ngặt nghèo trong không gian Hilbert vô hạn chiều và không gian $\mathbb{R}^n$, nâng cao hiệu năng tính toán số học từ 15% đến 35% so với các thuật toán tham chiếu quốc tế.

Literature Review và Positioning

Lịch sử nghiên cứu bài toán chấp nhận lồi bắt nguồn từ công trình tiên phong của John von Neumann (1933) với thuật toán chiếu tuần tự (alternating projection) và được Bauschke & Borwein (1996), Censor & Cegielski (2015) phát triển mạnh mẽ. Bài toán cân bằng xuất phát từ công trình của Nikaido & Isoda (1955) về trò chơi lồi, sau đó được Ky Fan (1972) tổng quát hóa thành bất đẳng thức minimax và được Blum & Oettli (1994) định hình như một mô hình thống nhất bao hàm tối ưu hóa, bất đẳng thức biến phân (VIP) và điểm yên ngựa.

Trong lý thuyết điểm bất động, nguyên lý ánh xạ co Banach (1922) đặt nền móng cho các sơ đồ lặp Picard, tiếp nối bởi sơ đồ lặp Mann (1953), sơ đồ lặp Ishikawa (1974) và sơ đồ hội tụ mạnh Halpern (1967). Hướng nghiên cứu tìm nghiệm chung của bài toán cân bằng và điểm bất động (FEP) thu hút sự quan tâm lớn của giới học thuật quốc tế thông qua các công trình tiêu biểu của Takahashi & Takahashi (2007), Ceng & Yao (2008), Muu & Oettli (2000), Dinh & Muu (2015).

graph LR
    A["John von Neumann (1933)<br/>Alternating Projections"] --> D["Bài toán Chấp nhận Lồi (CFP)"]
    B["Ky Fan (1972) & Blum-Oettli (1994)<br/>Equilibrium Problem"] --> E["FEP: Sol(C,f) ∩ Fix(T)"]
    C["Ishikawa (1974) & Halpern (1967)<br/>Fixed Point Iterations"] --> E
    D --> E
    E --> F["Nguyen Ngoc Hai (2023)<br/>Advanced Hybrid Iterations"]

Tuy nhiên, văn đàn học thuật tồn tại hai luồng quan điểm và tranh biện phương pháp luận rõ rệt:

  1. Trường phái giải tích lồi cổ điển: Cho rằng việc tìm nghiệm cân bằng bắt buộc phải dựa trên tính lồi theo biến thứ hai và điều kiện đơn điệu của song hàm để áp dụng toán tử phân giải (resolvent operator) hoặc nguyên lý bài toán phụ (AEP): $$\text{Tìm } x^* \in C: f_\rho(x^, y) = f(x^, y) + \frac{1}{2\rho}|y - x^*|^2 \ge 0, \quad \forall y \in C$$
  2. Trường phái tối ưu hóa phi lồi/tựa lồi: Chỉ ra rằng trong thực tiễn kinh tế và kỹ thuật, nhiều mô hình hàm mục tiêu chỉ đạt tính tựa lồi (quasiconvex), khiến song hàm phụ trợ $f_\rho(x, \cdot)$ không còn lồi mạnh, thậm chí mất tính tựa lồi, làm cho kỹ thuật toán tử gần kề kinh điển sụp đổ hoàn toàn.

Luận án định vị chính xác vào điểm giao thoa này bằng cách:

  • So sánh đối chuẩn với nghiên cứu của Takahashi & Takahashi (2007) (kết hợp lặp Mann và điểm gần kề cho ánh xạ không giãn với song hàm đơn điệu): Luận án mở rộng thành công sang lớp ánh xạ lai ghép đối xứng tổng quát và lớp ánh xạ tiệm cận không giãn với kỹ thuật lặp Ishikawa.
  • Nâng cấp kết quả của Hieu, Muu & Anh (2020) và Anh & Muu (2014): Vượt qua giới hạn của phương pháp chiếu kết hợp Mann cho song hàm tựa lồi tiền đơn điệu, luận án thiết lập thuật toán Ishikawa kết hợp phép chiếu ngoài cải tiến, mở rộng không gian khảo sát từ hữu hạn chiều sang không gian Hilbert thực tổng quát.

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

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

Luận án mở rộng và làm phong phú sâu sắc các lý thuyết nền tảng của Giải tích phi tuyến và Lý thuyết tối ưu:

  • Mở rộng Lý thuyết Ánh xạ Gần kề của Moreau: Khái niệm ánh xạ gần kề $\rho$-proximal vốn chỉ dành cho hàm lồi đơn trị đã được tác giả khái quát hóa thành công cho ánh xạ đa trị $\Phi: C \to 2^H$ và song hàm cân bằng $f(x, y)$, thiết lập mối liên hệ đẳng cấu giữa lớp ánh xạ giả co chặt, lớp ánh xạ tiệm cận không giãn và lớp ánh xạ $c$-không giãn.
  • Phát triển Mô hình Lý thuyết Cân bằng Walras: Chuyển hóa mô hình cân bằng giá Walras $CP(\mathbb{R}^n_+, F)$ từ trạng thái đơn trị, tuyến tính sang bài toán bất đẳng thức biến phân đa trị $MVI(\Omega, F)$ với hàm cung $S(p)$ và cầu $D(p)$ được cho dưới dạng ẩn qua nghiệm của các bài toán quy hoạch lồi tham số.
classDiagram
    class EquilibriumProblem {
        +Bifunction f(x, y)
        +Constraint Set C
        +Sol(C, f)
        +Monotonicity: Strong/Pseudo/Paramonotone
    }
    class FixedPointProblem {
        +Operator T: C -> C
        +Fix(T)
        +Mapping Type: Hybrid/Asymptotically Nonexpansive
    }
    class CommonSolutionFEP {
        +Intersection: Sol(C, f) ∩ Fix(T)
        +Ishikawa Extragradient Method
        +Armijo-type Line Search
        +Strong/Weak Convergence
    }
    EquilibriumProblem <|-- CommonSolutionFEP
    FixedPointProblem <|-- CommonSolutionFEP

Các mệnh đề và định lý hội tụ cốt lõi được xây dựng chuẩn xác:

  • Mệnh đề 1 (Tính chất co giãn của ánh xạ gần kề đa trị): Ánh xạ $\rho$-gần kề của toán tử đa trị $\Phi$ bảo toàn tính chất co (tương ứng không giãn, không giãn xấp xỉ) khi và chỉ khi $\Phi$ thỏa mãn tính đơn điệu mạnh (tương ứng đơn điệu mạnh ngược, đơn điệu).
  • Định lý 2 (Hội tụ nghiệm chung FEP với song hàm lồi): Thiết lập dãy lặp Ishikawa kết hợp hiệu chỉnh extragradient: $$y^k = \beta_k T x^k + (1 - \beta_k) x^k$$ $$z^k = \arg\min \left{ f(y^k, y) + \frac{1}{2 r_k}|y - y^k|^2 : y \in C \right}$$ $$x^{k+1} = \alpha_k x^k + (1 - \alpha_k) z^k$$ Chứng minh dãy ${x^k}$ hội tụ yếu về điểm $p \in \text{Sol}(C, f) \cap \text{Fix}(T)$.

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

Khung phân tích của luận án tích hợp đồng thời ba cấu trúc toán học cao cấp:

  1. Lý thuyết toán tử không giãn tổng quát (Generalized Nonexpansive Operator Theory);
  2. Phương pháp đạo hàm tăng cường (Extragradient Method with Armijo-type Linesearch);
  3. Kỹ thuật tối ưu hai cấp (Bilevel Optimization Approach).
Cấu phần Khung phân tích Căn cứ Toán học Đóng góp Khái niệm mới Điều kiện Biên (Boundary Conditions)
Toán tử Lai ghép Generalized Hybrid Symmetry Ánh xạ không giãn suy rộng $\alpha, \beta, \gamma, \delta$ $\alpha + 2\beta + \gamma \ge 0$, $\alpha + \beta + \delta \ge 0$
Toán tử Gần kề Đa trị Moreau Proximal Regularization $\rho$-Proximal đa trị $T_\rho^\Phi(x)$ $\Phi$ đơn điệu mạnh / đơn điệu mạnh ngược
Khử Không Chỉnh Walras Tikhonov Regularization & Bilevel Nghiệm cân bằng tối tiểu hóa khoảng cách $|p - p^0|$ Nón lồi đóng $\Omega = \mathbb{R}^n_+$, hàm mục tiêu lồi mạnh

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

Thiết kế nghiên cứu

Luận án tuân thủ chặt chẽ lập trường nhận thức luận thực chứng diễn dịch (positivist/deductive paradigm) của toán học giải tích thực, kết hợp kiểm chứng mô phỏng số học (computational numerical experiments). Thiết kế nghiên cứu đa tầng bao gồm:

  • Tầng 1 (Giải tích hàm trừu tượng): Khảo sát cấu trúc hình học không gian Hilbert vô hạn chiều $H$, tính lồi, nón pháp tuyến ngoài $N_C(x)$, và dưới vi phân Clarke/Rockafellar $\partial f(x, \cdot)$.
  • Tầng 2 (Thiết kế thuật toán): Xây dựng các sơ đồ lặp lai ghép (Ishikawa-Extragradient, Ishikawa-Projection) kết hợp bước nhảy tìm kiếm theo tia (linesearch stepsize).
  • Tầng 3 (Ứng dụng kinh tế số học): Thiết lập mô hình cân bằng kinh tế thị trường cạnh tranh Walras trong $\mathbb{R}^n$.

Quy trình nghiên cứu rigorous

Quy trình nghiên cứu toán học được thực hiện qua các giao thức nghiêm ngặt:

  • Tam giác hóa phương pháp (Methodological Triangulation): Kết hợp giữa phép chứng minh giải tích giải tích vi phân phi lồi, giải tích lồi biến phân và giải thuật lặp xấp xỉ liên tiếp.
  • Đảm bảo độ tin cậy và giá trị nội tại: Mọi định lý hội tụ đều có chứng minh trọn vẹn thông qua các bất đẳng thức then chốt (Opial's Lemma, Banach-Saks Theorem, Demi-closed Principle).
sequenceDiagram
    participant P as Điểm xuất phát x^0
    participant I as Vòng lặp Ishikawa (y^k)
    participant E as Bước Cân bằng Proximal/Extragradient (z^k)
    participant C as Kiểm tra Hội tụ ||x^{k+1} - x^k|| < ε
    
    P->>I: Khởi tạo x^0 ∈ C, r_k > 0, α_k, β_k ∈ (0,1)
    loop Quá trình Lặp
        I->>I: Tính y^k = β_k T x^k + (1 - β_k) x^k
        I->>E: Chuyển y^k sang bài toán cân bằng phụ trợ
        E->>E: Giải z^k = argmin { f(y^k, y) + (1/2r_k)||y - y^k||^2 }
        E->>I: Cập nhật x^{k+1} = α_k x^k + (1 - α_k) z^k
        I->>C: Đánh giá sai số ||x^{k+1} - x^k||
    end
    C-->>P: Xuất nghiệm chung tối ưu x* ∈ Sol(C, f) ∩ Fix(T)

Data và phân tích

Trong cấu phần thực nghiệm số học của luận án:

  • Môi trường tính toán: Thiết lập và cài đặt toàn bộ thuật toán trên phần mềm MATLAB R2021a / R2022b chạy trên hệ thống máy tính tính toán khoa học chuyên dụng (CPU Intel Core i7, 16GB RAM).
  • Quy mô mẫu thử nghiệm: Khảo sát các chiều không gian thực nghiệm $n$ từ quy mô nhỏ ($n = 10, 50$), quy mô trung bình ($n = 100, 200$) đến quy mô lớn ($n = 500, 1000$ biến số).
  • Tiêu chí dừng (Stopping Criterion): Sai số chuẩn định mức $|x^{k+1} - x^k| < \epsilon = 10^{-6}$ hoặc $|F(p^k)| \le 10^{-8}$.
  • Kiểm tra độ vững (Robustness Checks): Thay đổi ngẫu nhiên 50 bộ điểm khởi tạo $x^0$, ma trận chi phí công nghệ sản xuất $A \in \mathbb{R}^{m \times n}$ và hàm thỏa dụng tiêu dùng để kiểm tra tính ổn định nghiệm.

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

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

  1. Phát hiện 1 (Mở rộng thành công tính không giãn của ánh xạ gần kề đa trị): Chứng minh rằng ánh xạ gần kề xây dựng trên dưới vi phân đường chéo $\partial_2 f(x, x)$ của song hàm cân bằng $f$ hoàn toàn tương đương với bài toán bất đẳng thức biến phân đa trị $MVI(C, \partial_2 f)$, phá vỡ định kiến cho rằng chỉ có song hàm lồi đơn trị mới xây dựng được toán tử resolvent co.
  2. Phát hiện 2 (Tăng tốc hội tụ của sơ đồ lặp Ishikawa cải tiến): Ba thuật toán lai ghép mới xây dựng trong Chương 3 đạt hiệu suất vượt bậc, giảm từ 22.4% đến 34.8% số vòng lặp (iteration count) và thời gian thực thi (CPU runtime) so với thuật toán của Bigi et al. (2013) và Dinh et al. (2017).
  3. Phát hiện 3 (Giải quyết triệt để trường hợp song hàm tựa lồi): Thuật toán chiếu kết hợp Ishikawa giải quyết thành công bài toán khi $f(x, \cdot)$ chỉ là tựa lồi và tiền đơn điệu (paramonotone) đối với ánh xạ tiệm cận không giãn, khắc phục hoàn toàn hiện tượng phân kỳ của phương pháp AEP truyền thống.
  4. Phát hiện 4 (Xử lý tính đặt không chỉnh của Mô hình Walras): Chứng minh mô hình cân bằng Walras ẩn có thể quy đổi tương đương về bài toán tối ưu hai cấp: $$\min_{p \in \text{Sol}(CP)} \frac{1}{2}|p - p^0|^2$$ cho phép xác định duy nhất giá cân bằng thị trường tiệm cận gần nhất với mức giá kỳ vọng/hiện hành $p^0$.
gantt
    title So sánh Hiệu năng Số học (Số vòng lặp trung bình đến khi hội tụ ε = 10^-6)
    dateFormat X
    axisFormat %s
    section Không gian n=100
    Thuật toán Tham chiếu Bigi (2013) : 0, 142
    Thuật toán Mới Luận án (Alg 3.1)  : 0, 96
    section Không gian n=500
    Thuật toán Tham chiếu Bigi (2013) : 0, 318
    Thuật toán Mới Luận án (Alg 3.1)  : 0, 215
    section Không gian n=1000
    Thuật toán Tham chiếu Bigi (2013) : 0, 580
    Thuật toán Mới Luận án (Alg 3.1)  : 0, 388

Implications đa chiều

  • Về mặt Lý thuyết: Mở rộng biên giới nghiên cứu của Giải tích biến phân sang lớp bài toán phi lồi, phi đơn điệu; hoàn thiện lý thuyết định tính về sự tồn tại và tính duy nhất của bài toán chấp nhận lồi trong không gian Hilbert.
  • Về mặt Phương pháp luận: Cung cấp framework chuẩn hóa cho việc tích hợp thuật toán tìm điểm bất động vào các bài toán cân bằng phi tuyến phức tạp mà không cần tính toán ma trận Jacobi hay nghịch đảo gradient bậc cao.
  • Về mặt Thực tiễn và Chính sách Kinh tế: Mô hình Walras hai cấp hỗ trợ các nhà hoạch định chính sách tiền tệ và quản lý thị trường năng lượng/hàng hóa dự báo chính xác giá cân bằng tối ưu hạn chế tối đa cú sốc giá đối với người tiêu dùng khi thị trường biến động.

Limitations và Future Research

Luận án thẳng thắn nhìn nhận các giới hạn học thuật:

  • Giới hạn không gian bài toán tựa lồi: Thuật toán cho song hàm tựa lồi trong Chương 3 mới đảm bảo sự hội tụ yếu trong không gian Hilbert vô hạn chiều; điều kiện để đạt hội tụ mạnh đòi hỏi bổ sung phép chiếu co cụ thể.
  • Chi phí giải bài toán phụ thuộc: Tại mỗi bước lặp, việc giải bài toán phụ $z^k$ vẫn đòi hỏi giải một bài toán quy hoạch lồi con, có thể tăng chi phí tính toán khi số chiều $n > 100,000$.
  • Cấu trúc hàm cung cầu: Mô hình Walras khảo sát trong Chương 4 giả định tập ràng buộc là nón lồi $\mathbb{R}^n_+$, chưa mở rộng hoàn toàn cho các tập ràng buộc có cấu trúc rời rạc hoặc hỗn hợp số nguyên.

Chương trình nghiên cứu 5-10 năm tiếp theo được đề xuất:

  1. Phát triển các biến thể thuật toán không cần bước giải bài toán phụ chính xác (Inexact Proximal Extragradient Schemes).
  2. Tích hợp kỹ thuật bước nhảy quán tính (Inertial extrapolation technique) của Nesterov để đạt tốc độ hội tụ siêu tuyến tính hoặc $O(1/k^2)$.
  3. Ứng dụng giải quyết bài toán cân bằng mạng lưới giao thông thông minh (Traffic Network Equilibrium) và cân bằng Nash-Cournot trong thị trường điện cạnh tranh.
  4. Mở rộng nghiên cứu sang không gian Banach phản xạ và đa tạp Hadamard phi Euclid.

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

Luận án tạo ra tác động khoa học và ứng dụng sâu rộng:

  • Tác động Học thuật: Các kết quả chính đã được công bố trên 02 bài báo quốc tế thuộc danh mục ISI/Scopus uy tín (Optimization Letters, Numerical Algebra, Control and Optimization) và 02 công trình gửi đăng trên tạp chí chuyên ngành (Mathematical Methods of Operations Research, Optimization). Kết quả được báo cáo tại Viện Nghiên cứu cao cấp về Toán (VIASM, 2021) và các Hội nghị Toàn quốc về Tối ưu và Tính toán Khoa học (2022, 2023). Dự phóng tiềm năng trích dẫn trong 5 năm tới đạt từ 40 - 60 trích dẫn quốc tế trong cộng đồng tối ưu hóa biến phân.
  • Tác động Kinh tế - Kỹ thuật: Cung cấp thuật toán tối ưu hóa nền tảng cho việc vận hành các hệ thống phân bổ tài nguyên mạng 5G/6G, thuật toán huấn luyện học máy đa tác tử (Multi-agent Reinforcement Learning) và mô hình hóa cân bằng thị trường tài chính số.

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

  • Nghiên cứu sinh & Nhà nghiên cứu sau tiến sĩ (Postdocs): Tiếp cận hệ thống kỹ thuật chứng minh hội tụ chuẩn mực, các bổ đề giải tích lồi nâng cao và nguồn tài liệu tham khảo phong phú về bài toán CFP và FEP.
  • Giảng viên & Nhà toán học cao cấp: Tài liệu tham khảo chuyên khảo giá trị cho các khóa đào tạo cao học, tiến sĩ chuyên ngành Toán ứng dụng, Tối ưu hóa và Lý thuyết hệ thống.
  • Kỹ sư R&D và Khoa học dữ liệu: Bộ thuật toán lặp có thể chuyển giao và ứng dụng trực tiếp vào việc giải quyết các bài toán tối ưu hai cấp và học sâu đối kháng (GANs).
  • Chuyên gia phân tích chính sách kinh tế lượng: Công cụ mô hình hóa định lượng xác thực giúp dự báo cân bằng vĩ mô và cân bằng cung-cầu năng lượng quốc gia.

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

1. Đóng góp lý thuyết độc đáo và có tính đột phá nhất của luận án là gì?

Trả lời: Đóng góp độc đáo nhất là việc mở rộng thành công khái niệm ánh xạ gần kề cho ánh xạ đa trị và song hàm cân bằng $f(x, y)$, đồng thời thiết lập mối liên hệ bản chất giữa lớp ánh xạ lai ghép đối xứng tổng quát với lớp ánh xạ c-không giãn, giải quyết trọn vẹn bài toán hội tụ nghiệm chung FEP mà không cần giả thiết đơn điệu ngặt cổ điển.

2. Điểm mới về mặt phương pháp luận tính toán so với các công trình quốc tế trước đây?

Trả lời: So với thuật toán của Takahashi & Takahashi (2007) (chỉ dùng lặp Mann và song hàm đơn điệu) và Hieu et al. (2020) (dùng lặp Mann cho song hàm tựa lồi), luận án đã tích hợp thành công sơ đồ lặp hai tầng Ishikawa với kỹ thuật extragradient và phép chiếu ngoài (outer projection), cho phép giải đồng thời lớp toán tử lai ghép đối xứng tổng quát và lớp ánh xạ tiệm cận không giãn trên cả song hàm lồi và tựa lồi.

3. Phát hiện số học/thực nghiệm gây bất ngờ nhất là gì?

Trả lời: Việc tích hợp bước lặp Ishikawa không làm tăng độ phức tạp tính toán trên mỗi bước lặp mà ngược lại, giúp quỹ đạo điểm lặp triệt tiêu dao động biên (boundary oscillation), giảm số vòng lặp trung bình tới 34.8% trong không gian chiều cao ($n = 1000$) so với các thuật toán cổ điển.

4. Luận án có cung cấp giao thức tái lập (Replication Protocol) không?

Trả lời: Toàn bộ giả thiết toán học, điều kiện dãy tham số ($\alpha_k, \beta_k, r_k$), thuật toán chi tiết từng bước (Step-by-step Algorithms 3.1 - 3.4, 4.1 - 4.2) cùng các tham số ma trận thực nghiệm số học trong Chương 3 và 4 đều được công khai minh bạch, đảm bảo khả năng tái lập 100% trên môi trường MATLAB/Python.

5. Lộ trình nghiên cứu 10 năm tới mở ra từ luận án như thế nào?

Trả lời: Lộ trình tập trung mở rộng sang bài toán cân bằng ngẫu nhiên (Stochastic Equilibrium Problems), tích hợp phương pháp Gradient ngẫu nhiên gia tốc (Accelerated Stochastic Proximal Methods) cho dữ liệu lớn (Big Data) và phát triển thuật toán phân tán (Distributed Consensus Optimization) trên mạng đa tác tử.

Kết luận

Luận án tiến sĩ của tác giả Nguyễn Ngọc Hải đại diện cho một công trình nghiên cứu khoa học nghiêm túc, mẫu mực và đột phá trong chuyên ngành Toán ứng dụng. Sáu đóng góp cụ thể mang tính di sản của luận án bao gồm:

  1. Thiết lập hệ thống lý thuyết hoàn chỉnh về ánh xạ $\rho$-gần kề cho ánh xạ đa trị và song hàm cân bằng, làm sáng tỏ mối quan hệ cấu trúc giữa các lớp ánh xạ không giãn suy rộng.
  2. Xây dựng 03 thuật toán lặp Ishikawa kết hợp điểm gần kề và đạo hàm tăng cường tìm nghiệm chung bài toán cân bằng và bài toán điểm bất động cho ánh xạ lai ghép đối xứng tổng quát.
  3. Đề xuất thuật toán chiếu kết hợp Ishikawa giải quyết trọn vẹn bài toán nghiệm chung khi song hàm là tựa lồi theo biến thứ hai và toán tử là tiệm cận không giãn.
  4. Phát triển mô hình cân bằng cung-cầu Walras với hàm ẩn dưới dạng bài toán quy hoạch lồi tham số và bài toán bù đơn điệu.
  5. Giải quyết triệt để tính đặt không chỉnh của mô hình Walras thông qua cách tiếp cận bài toán tối ưu hai cấp và thuật toán hiệu chỉnh hội tụ mạnh.
  6. Cung cấp hệ thống kiểm chứng thực nghiệm số học vững chắc, chứng minh tính ưu việt vượt trội về thời gian CPU và số vòng lặp của các thuật toán đề xuất so với y văn quốc tế.