Tổng quan về luận án

Nghiên cứu giải bài toán đặt không chỉnh (ill-posed problems) với toán tử đơn điệu giữ vai trò trung tâm trong toán học tính toán hiện đại, xuất phát từ nhu cầu giải quyết các mô hình thực tế trong khôi phục ảnh số, lý thuyết lọc tín hiệu Wiener, bài toán bù kinh tế, nhận dạng tham số đa dữ liệu trong y sinh học phân tử và phương trình đạo hàm riêng phi tuyến. Theo định nghĩa cổ điển của J. Hadamard (1902), một bài toán toán tử $F(x) = f$ được gọi là đặt chỉnh nếu thỏa mãn đồng thời ba điều kiện: nghiệm tồn tại, nghiệm duy nhất và nghiệm phụ thuộc liên tục vào dữ liệu vào. Khi một trong ba điều kiện này bị vi phạm—đặc biệt là tính không ổn định do nghiệm không phụ thuộc liên tục vào nhiễu dữ liệu—các phương pháp tính toán giải tích số thông thường sẽ bị phá vỡ hoàn toàn, dẫn đến sai số bùng nổ ra vô hạn khi dữ liệu đầu vào chứa sai số nhỏ.

Khoảng trống nghiên cứu (research gap) trọng tâm mà luận án của TS. Cao Văn Chung (2012) tập trung giải quyết xuất phát từ sự mất liên kết cố hữu giữa kỹ thuật hiệu chỉnh toán học và cấu trúc xử lý song song. Trong các công trình kinh điển trước đây của Bakushinskii (1980), Tikhonov (1963), và Lavrentiev (1967), các phương pháp hiệu chỉnh chỉ được tối ưu hóa cho quy trình lặp tuần tự đơn lẻ. Khi áp dụng các phương pháp phân rã tuần tự dạng Kaczmarz (1937) hay lặp theo khối Cimmino (1938) mở rộng bởi Neittaanmäki (1996) và Censor (2001), các thuật toán hoặc đòi hỏi toán tử phải đơn điệu mạnh (dẫn đến bài toán trở thành đặt chỉnh, làm mất tính tổng quát), hoặc chỉ xử lý luân phiên từng bài toán con khiến tài nguyên của hệ thống đa xử lý (multi-core, multi-processor clusters) bị lãng phí nghiêm trọng. Trong khi đó, các phương pháp song song truyền thống chỉ dừng lại ở "mức độ tính toán tại mỗi bước" (song song hóa phép nhân ma trận-vector hoặc giải hệ đại số tuyến tính) chứ chưa đạt đến "mức độ song song từ thuật toán" (algorithmic parallelism), nơi thao tác hiệu chỉnh hóa và phân rã toán tử được tích hợp trực tiếp trong một tiến trình lặp thống nhất.

Để lấp đầy khoảng trống này, luận án thiết lập hệ thống câu hỏi nghiên cứu và giả thuyết khoa học cụ thể:

  • Câu hỏi nghiên cứu 1 (RQ1): Làm thế nào để phân rã đồng thời một hệ phương trình toán tử $A_i(x) := F_i(x) - f_i = 0$ ($i = 1, \dots, N$) hoặc phương trình toán tử tổng $\sum_{i=1}^N A_i(x) = 0$ thành $N$ bài toán con độc lập trên từng vi xử lý mà vẫn đảm bảo tính hội tụ mạnh về nghiệm có chuẩn nhỏ nhất $x^\dagger$?
  • Câu hỏi nghiên cứu 2 (RQ2): Quy luật kiểm soát dãy tham số hiệu chỉnh ${\alpha_n}$ và tham số phân rã ${\gamma_n}$ nào cho phép phương pháp chỉnh lặp ẩn (PIIRM), chỉnh lặp hiện (PEIRM) và phương pháp Newton hiệu chỉnh song song (PRNM) đạt được độ ổn định tối ưu khi dữ liệu chứa sai số đo lường $(\delta_n, h_n)$?
  • Câu hỏi nghiên cứu 3 (RQ3): Có thể mở rộng phương pháp chiếu - điểm gần kề và phương pháp lai ghép CQ song song lên không gian Banach lồi đều, trơn đều vô hạn chiều mà không làm tăng độ phức tạp tính toán của phép chiếu metric suy rộng hay không?

Các giả thuyết nghiên cứu tương ứng:

  • Giả thuyết 1 (H1): Việc kết hợp kỹ thuật hiệu chỉnh Lavrentiev/Tikhonov-Browder vào từng bài toán con tại mỗi bước lặp sẽ bảo toàn tính đặt chỉnh cục bộ và dẫn dắt dãy xấp xỉ song song hội tụ mạnh về nghiệm $x^\dagger := \text{argmin}_{z \in S} |z|$.
  • Giả thuyết 2 (H2): Với toán tử khả vi cấp hai thỏa mãn điều kiện nguồn $x^\dagger = F'(x^\dagger)w$, phương pháp dạng Newton hiệu chỉnh song song đạt tốc độ hội tụ tối ưu cấp $O(\alpha_n)$.

Khung lý thuyết của luận án được xây dựng vững chắc trên nền tảng lý thuyết giải tích phi tuyến, hình học không gian Banach/Hilbert, lý thuyết toán tử đơn điệu cực đại của Browder (1965) và Rockafellar (1976), kết hợp với kỹ thuật giải thức (resolvent operators) và đại số song song. Phạm vi thực nghiệm của luận án bao gồm các lớp toán tử tích phân phi tuyến loại Fredholm, Hammerstein, Nemytski và phương trình lọc Wiener trên không gian vô hạn chiều $L_2[0, 1]$, được kiểm thử trên hệ thống siêu máy tính bó IBM Linux Cluster 1350 gồm 8 node tính toán (16 bộ vi xử lý lõi kép dual-core) tại Trung tâm Tính toán Hiệu năng cao (Đại học Khoa học Tự nhiên - ĐHQG Hà Nội). Kết quả chứng minh khả năng tăng tốc tính toán vượt trội với tỷ lệ SpeedUp $S_p$ tiệm cận lý thuyết Amdahl và hiệu năng $E_p$ duy trì ở mức cao.

Literature Review và Positioning

Lý thuyết bài toán đặt không chỉnh được định hình từ các công trình tiên phong của A. N. Tikhonov (1963) với phương pháp hàm hiệu chỉnh Tikhonov cực tiểu hóa phiếm hàm làm trơn $R_{\alpha}(x) = |F(x) - f|^2 + \alpha \Omega(x)$, và M. M. Lavrentiev (1967) với phương pháp xấp xỉ toán tử $F(x) + \alpha x = f$ trong không gian Hilbert. Song song đó, F. E. Browder (1965, 1967) đã mở rộng lý thuyết hiệu chỉnh sang không gian Banach phản xạ thông qua toán tử đối ngẫu $F(x) + \alpha J(x) = f$. Bước sang thập niên 1980-2000, A. B. Bakushinskii (1980, 1994) và V. V. Vasin (1995) đã phát triển các phương pháp chỉnh lặp bậc không và bậc một (Newton-Kantorovich hiệu chỉnh) cho toán tử đơn điệu với quy tắc chọn tham số tiên nghiệm. Tiếp đó, E. I. Smirnova (2002, 2005) đã mở rộng điều kiện dừng hậu nghiệm cho các bài toán có nhiễu dữ liệu.

Tuy nhiên, khi đối mặt với các hệ phương trình toán tử quy mô lớn hoặc phương trình toán tử dạng tổng $\sum_{i=1}^N A_i(x) = 0$, hai luồng quan điểm đối lập đã xuất hiện trong y văn quốc tế:

  1. Luồng quan điểm phân rã tuần tự kiểu Kaczmarz: Đại diện bởi Schöpfer, Louis, Schuster (2006, 2008) và De Cezaro, Haltmeier (2009). Nhóm này ủng hộ việc giải lần lượt từng phương trình thành phần theo chu trình $i = (k \bmod N) + 1$. Mặc dù phương pháp này giảm nhẹ bộ nhớ tính toán trên mỗi bước, nhưng về bản chất nó là một quá trình tuần tự nối tiếp nghiêm ngặt; khi số lượng toán tử con $N$ tăng lên trên hệ thống máy tính song song hiện đại, hầu hết các CPU đều ở trạng thái chờ (idle), làm tê liệt hiệu năng phần cứng.
  2. Luồng quan điểm giải đồng thời kiểu Cimmino và Block-Iterative: Đại diện bởi Y. Censor (2001), T. Neittaanmäki (1996), và M. Bergamaschi (1997). Nhóm nghiên cứu này đề xuất phân rã bài toán để tính toán song song các xấp xỉ trung gian $x_i^k$ và lấy trung bình cộng $x^{k+1} = \frac{1}{N}\sum_{i=1}^N x_i^k$. Tuy nhiên, hạn chế chí mạng của các nghiên cứu này là chỉ áp dụng thành công cho các toán tử đơn điệu mạnh hoặc liên tục Lipschitz trên không gian hữu hạn chiều, nơi ma trận Jacobi có hạng đủ—đồng nghĩa với việc bài toán đã là đặt chỉnh. Các công trình này hoàn toàn bế tắc khi đối mặt với bài toán đặt không chỉnh vô hạn chiều do sự mất ổn định của toán tử nghịch đảo.

Vị trí học thuật của luận án xác lập một bước đột phá: Thay vì tách rời hai công đoạn (hiệu chỉnh thành bài toán đặt chỉnh rồi mới song song hóa, hoặc chỉ song song hóa các phép tính đại số), tác giả nhúng trực tiếp cơ chế hiệu chỉnh Lavrentiev, Browder và kỹ thuật chiếu tách vào từng nhánh phân rã song song. So sánh với nghiên cứu của H. K. Xu (2006) về phương pháp điểm gần kề hiệu chỉnh trong không gian Hilbert và nghiên cứu của B. Svaiter (2001) về thuật toán chiếu - điểm gần kề lai ghép, luận án đã mở rộng toàn diện các cấu trúc này sang kiến trúc song song phân tán đa luồng trên cả không gian Hilbert và không gian Banach lồi đều, trơn đều.

Đó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à hoàn thiện hệ thống giải tích toán tử phi tuyến qua 4 đóng góp đột phá có bằng chứng toán học tường minh:

  1. Mở rộng lý thuyết hiệu chỉnh Lavrentiev cho hệ toán tử ngược đơn điệu mạnh: Kế thừa lý thuyết toán tử đơn điệu của Browder và Nguyễn Bường (2009), luận án thiết lập Bổ đề quan trọng: Nếu $A_i(x) := F_i(x) - f_i$ là các toán tử $c^{-1}$-ngược đơn điệu mạnh, tức là: $$\langle F_i(x) - F_i(y), x - y \rangle \ge c^{-1} |F_i(x) - F_i(y)|^2, \quad \forall x, y \in H$$ thì hệ phương trình $A_i(x) = 0$ ($i = 1, \dots, N$) tương đương tuyệt đối với phương trình tổng $A(x) := \sum_{i=1}^N A_i(x) = 0$, đồng thời thỏa mãn đánh giá chặn sai số: $$|A_i(x)|^2 \le c |A(x)| \cdot |x - x^\dagger|, \quad \forall x \in \text{Dom}(A)$$ Đánh giá này cung cấp nền tảng toán học để phân tách sai số của toàn hệ thống về từng vi xử lý độc lập.

  2. Xây dựng khung hội tụ mạnh cho phương pháp chỉnh lặp ẩn song song (PIIRM): Luận án chứng minh định lý hội tụ toàn cục cho thuật toán: $$A_i(x_i^n) + \left(\frac{\alpha_n}{N} + \gamma_n\right)x_i^n = \gamma_n x_n, \quad i = 1, \dots, N$$ $$x_{n+1} = \frac{1}{N}\sum_{i=1}^N x_i^n$$ Dưới các điều kiện giải tích thực tế về dãy tham số: $$\lim_{n \to \infty} \alpha_n = 0, \quad \lim_{n \to \infty} \gamma_n = +\infty, \quad \lim_{n \to \infty} \frac{|\alpha_{n+1} - \alpha_n|}{\alpha_n^2 \gamma_n} = 0, \quad \sum_{n=1}^\infty \frac{\alpha_n}{\gamma_n} = +\infty$$ dãy ${x_n}$ hội tụ mạnh không điều kiện về nghiệm $x^\dagger$ có chuẩn nhỏ nhất.

  3. Phát triển phương pháp chiếu - điểm gần kề song song (PPPXPM) và lai ghép CQ song song trong không gian Banach: Giải quyết triệt để rào cản tính toán của phép chiếu metric thông thường trong không gian Banach bằng cách sử dụng khoảng cách suy rộng: $$\phi(x, y) := |x|^2 - 2\langle J(y), x \rangle + |y|^2$$ Luận án chứng minh rằng phép chiếu metric suy rộng $\Pi_C$ lên các nửa không gian phân tách xây dựng tại mỗi bước lặp cho phép họ điểm bất động chung của các toán tử không giãn tương đối hội tụ mạnh mà không cần nghịch đảo ma trận toàn cục.

  4. Thiết lập tốc độ hội tụ $O(\alpha_n)$ cho phương pháp Newton hiệu chỉnh song song (PRNM): Khi toán tử $F$ khả vi Fréchet cấp hai và thỏa mãn điều kiện nguồn $x^\dagger = F'(x^\dagger)w$, thuật toán đạt tốc độ hội tụ tối ưu mà không đòi hỏi ràng buộc $|w| \cdot |F''(x)| \le 2$ như trong các nghiên cứu kinh điển trước đây của Bakushinskii.

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

Khung phân tích của luận án tích hợp đồng thời 3 trụ cột lý thuyết: (1) Lý thuyết đơn điệu cực đại của Rockafellar; (2) Nguyên lý hiệu chỉnh biến phân Lavrentiev-Tikhonov; và (3) Kiến trúc phân rã miền dữ liệu độc lập. Điểm độc đáo nằm ở cấu chế khử ghép (decoupling mechanism): tại mỗi bước lặp thứ $n$, thông tin toàn cục từ vector trung bình $x_n$ được phát thanh (broadcast) đến $N$ bộ xử lý; mỗi bộ xử lý độc lập giải phương trình hiệu chỉnh phi tuyến cục bộ cấp $i$ để tìm $x_i^n$, sau đó một toán tử thu gom (gather/reduce) tính toán $x_{n+1} = \frac{1}{N}\sum_{i=1}^N x_i^n$. Biên giới hạn xác định (boundary conditions) của khung phân tích đòi hỏi không gian nền tảng phải là Banach lồi đều và trơn đều để đảm bảo tính đơn trị và liên tục chuẩn của ánh xạ đối ngẫu $J$.

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 (deductive positivism), kết hợp giữa chứng minh toán học giải tích hàm với thực nghiệm số hiệu năng cao. Thiết kế nghiên cứu đa cấp độ (multi-level design) được cấu trúc hóa:

  • Cấp độ lý thuyết vô hạn chiều: Thiết lập không gian hàm $L_2[a, b]$ và không gian Banach $X$, xây dựng các bất đẳng thức tiên nghiệm và đánh giá hội tụ tiệm cận.
  • Cấp độ rời rạc hóa số trị: Rời rạc hóa các toán tử vi tích phân phi tuyến bằng phương pháp cầu phương Gauss-Legendre và chia lưới sai phân hữu hạn với số chiều ma trận $M = 100 \dots 2000$.
  • Cấp độ tính toán song song phần cứng: Ánh xạ $N$ phương trình toán tử thành phần lên $N$ luồng tính toán song song trên cụm bó máy tính IBM eServer xSeries 1350 gồm 8 node, 16 CPU lõi kép (mỗi CPU 2 nhân xử lý thực).

Quy trình nghiên cứu rigorous

Quy trình nghiên cứu kiểm soát sai số và độ ổn định thực nghiệm bao gồm:

  1. Kiểm soát nhiễu dữ liệu: Mô phỏng sai số ngẫu nhiên phân phối đều trên dữ liệu vế phải $f^\delta$ và toán tử $F^h$ với mức độ nhiễu $\delta \in [10^{-4}, 10^{-1}]$ và $h \in [10^{-4}, 10^{-2}]$.
  2. Quy tắc dừng hậu nghiệm (A posteriori stopping rule): Sử dụng nguyên lý sai lệch dừng Bakushinskii-Smirnova: Quá trình lặp dừng lại tại bước $n = n(\delta)$ đầu tiên thỏa mãn: $$|F(x_n) - f_\delta| \le \mu \delta, \quad \mu > 1$$
  3. Đảm bảo độ tin cậy tam giác hóa (Triangulation): Kiểm tra chéo độ chính xác giữa kết quả giải tích lý thuyết, mô phỏng tuần tự (Sequential Baseline), và mô phỏng song song đa luồng qua thư viện chuẩn OpenMP và MPI.

Data và phân tích

Các tham số đo lường hiệu năng và tính toán được xác định chính xác:

  • Thời gian chạy tuần tự ($T_s$) và song song ($T_p$): Đo bằng giây thực tế (CPU Wall Clock Time).
  • Tỷ lệ tăng tốc (SpeedUp): $S_p = T_s / T_p$.
  • Hiệu năng trung bình trên mỗi CPU: $E_p = S_p / N$, trong đó $N$ là số lượng bộ vi xử lý tham gia tính toán.
  • Sai số tương đối: $\text{RTOL} = |x_n - x^\dagger| / |x^\dagger| \times 100%$.
  • Tỷ số ổn định hiệu chỉnh: $\text{RAT} = \text{TOL} / \alpha_n$. Ký hiệu !NA biểu thị sự bùng nổ nghiệm khi không có hiệu chỉnh.

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

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

  1. Vượt qua hiện tượng mất ổn định số !NA của bài toán đặt không chỉnh: Khi giải phương trình tích phân Fredholm loại một và phương trình lọc Wiener mà không có thành phần hiệu chỉnh Lavrentiev gắn kết, sai số số trị bùng nổ ra vô hạn (!NA) ngay sau $n \ge 15$ bước lặp khi có nhiễu $\delta = 10^{-3}$. Ngược lại, thuật toán PIIRM duy trì tính ổn định tuyệt đối, đạt $\text{RTOL} \le 0.42%$ tại bước lặp $n = 50$.
  2. Hiệu năng song song vượt bậc của phương pháp hiện PEIRM so với ẩn PIIRM: Mặc dù PIIRM yêu cầu ít bước lặp ngoài hơn để đạt cùng độ chính xác ($\text{TOL} = 10^{-5}$), phương pháp lặp hiện PEIRM với số bước lặp trong $m = 3$ giảm thời gian tính toán thực tế $T_p$ từ 42.18 giây xuống còn 11.05 giây trên cụm 8 bộ xử lý, do loại bỏ hoàn toàn việc giải hệ phương trình phi tuyến phụ tại mỗi bước con.
  3. Quy luật tăng tốc phi tuyến tính (Gustafson Scale-up): Trên hệ thống 16 core, mức tăng tốc $S_p$ đạt giá trị từ $7.42$ đến $13.86$ tùy thuộc vào số chiều rời rạc hóa $M$. Khi kích thước bài toán tăng từ $M = 200$ lên $M = 2000$, hiệu năng tính toán $E_p$ tăng từ $58.2%$ lên $86.6%$, chứng minh thuật toán khử ghép phân rã song song giải phóng tối đa năng lực xử lý phân tán khi tải tính toán lớn.
  4. Hiệu chỉnh song song giải quyết bài toán chấp nhận lồi đa tập: Đối với bài toán tìm hình chiếu trên giao của 10 tập lồi đóng trong không gian Hilbert vô hạn chiều, phương pháp lai ghép CQ song song (PCQM) đạt độ chính xác $\text{TOL} \le 10^{-6}$ chỉ sau 24 chu trình lặp, trong khi thuật toán tuần tự cyclic CQ mất hơn 186 chu trình.

Implications đa chiều

  • Về mặt lý thuyết: Luận án mở ra hướng tiếp cận mới trong giải tích phi tuyến, chứng minh rằng sự kết hợp giữa giải thức toán tử (resolvent) và kỹ thuật phân rã không làm suy giảm tính chất hội tụ mạnh trong không gian Banach vô hạn chiều.
  • Về mặt phương pháp luận: Cung cấp khung lập trình song song mẫu trên nền OpenMP và C/C++ cho các nhà toán học tính toán, cho phép chuyển đổi linh hoạt giữa tính toán tuần tự và phân tán.
  • Về ứng dụng thực tiễn: Tạo bước đệm công nghệ cho việc xử lý tái tạo hình ảnh y khoa độ phân giải cao trong máy chụp cắt lớp vi tính (CT Scan), cộng hưởng từ (MRI) và hệ thống xử lý tín hiệu địa chấn trong thăm dò dầu khí.

Limitations và Future Research

Mặc dù đạt được những kết quả đột phá, luận án thẳng thắn thừa nhận các giới hạn học thuật:

  1. Phụ thuộc vào điều kiện nguồn trơn: Đánh giá tốc độ hội tụ $O(\alpha_n)$ của phương pháp Newton hiệu chỉnh PRNM bắt buộc phải thỏa mãn điều kiện nguồn $x^\dagger = F'(x^\dagger)w$. Trong các bài toán thực tế có độ trơn thấp hoặc nghiệm gián đoạn, điều kiện này rất khó kiểm chứng tiên nghiệm.
  2. Giới hạn loại toán tử: Phần lớn các định lý hội tụ trong Chương 2 đòi hỏi toán tử thành phần phải là $c^{-1}$-ngược đơn điệu mạnh. Mặc dù lớp toán tử này bao gồm toán tử chiếu metric và toán tử tự liên hợp không âm, nó chưa bao phủ toàn bộ các toán tử đơn điệu tổng quát không Lipschitz.
  3. Nghẽn truyền thông phần cứng (Communication Overhead): Trong mô hình bộ nhớ chia sẻ OpenMP, chi phí đồng bộ hóa dữ liệu tại bước gộp $x_{n+1} = \frac{1}{N}\sum x_i^n$ bắt đầu gia tăng khi số luồng vượt quá 32 cores, dẫn đến hiện tượng suy giảm hiệu năng biên (parallel slowdown).

Chương trình nghiên cứu tương lai (Future Agenda):

  • Mở rộng phương pháp song song cho các bài toán bất đẳng thức biến phân bán biến thiên (hemivariational inequalities) và bài toán cân bằng đơn điệu đa trị.
  • Tích hợp nguyên lý chọn tham số hiệu chỉnh hoàn toàn tự động dựa trên mạng nơ-ron học sâu (Deep Learning regularizers) kết hợp với thuật toán song song.
  • Mở rộng thuật toán sang kiến trúc tính toán tăng tốc GPU thuần túy sử dụng nền tảng CUDA/OpenCL cho các ma trận hàng triệu chiều.

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

Nghiên cứu của TS. Cao Văn Chung mang lại ảnh hưởng sâu rộng trên nhiều bình diện:

  • Tác động học thuật: Đặt nền móng cho các nghiên cứu tiếp nối về giải phương trình toán tử phi tuyến trên máy tính song song tại Việt Nam; công bố nhiều công trình trên các tạp chí chuyên ngành quốc tế uy tín (như Journal of Global Optimization, Fixed Point Theory and Applications).
  • Chuyển đổi công nghệ công nghiệp: Cung cấp thuật toán tối ưu hóa nền tảng cho ngành công nghiệp địa vật lý, viễn thông xử lý tín hiệu MIMO đa anten, và công nghệ xử lý ảnh vệ tinh viễn thám.
  • Tác động kinh tế - xã hội: Giúp rút ngắn thời gian xử lý các bài toán dự báo khí tượng thủy văn quy mô lớn và mô phỏng lan truyền ô nhiễm môi trường từ nhiều ngày xuống vài giờ tính toán.

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

  • Nghiên cứu sinh & Nhà toán học giải tích số: Thừa hưởng hệ thống chứng minh giải tích chuẩn mực về toán tử đơn điệu cực đại, không gian Banach trơn đều và kỹ thuật giải thức trong môi trường song song.
  • Kỹ sư R&D trong xử lý tín hiệu & Thị giác máy tính: Tiếp cận trực tiếp thuật toán lặp hiện song song PEIRM và CQ song song để nhúng vào các chip xử lý tín hiệu số (DSP) thời gian thực.
  • Các trung tâm tính toán hiệu năng cao (HPC Centers): Nhận được tài liệu kiểm chuẩn (benchmark) thực nghiệm chi tiết trên hệ thống IBM Cluster để tối ưu hóa việc phân bổ tài nguyên tính toán.

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

  1. Đóng góp lý thuyết độc đáo nhất của luận án là gì? Trả lời: Đó là việc chứng minh sự tương đương toán học giữa hệ toán tử ngược đơn điệu mạnh $A_i(x) = 0$ và phương trình tổng $\sum A_i(x) = 0$, đồng thời thiết lập định lý hội tụ mạnh cho thuật toán chỉnh lặp ẩn song song (PIIRM) trong không gian Hilbert vô hạn chiều mà không cần điều kiện đặt chỉnh của từng toán tử thành phần.

  2. Cải tiến phương pháp luận so với các nghiên cứu quốc tế trước đây như thế nào? Trả lời: So với phương pháp Cimmino của Censor (2001) chỉ chạy trên không gian hữu hạn chiều cho toán tử khả nghịch, và phương pháp Kaczmarz tuần tự của Schöpfer (2006), luận án đã thực hiện bước nhảy vọt: nhúng tham số hiệu chỉnh Lavrentiev $\alpha_n$ vào từng nhánh phân rã độc lập, cho phép giải đồng thời trên $N$ CPU cho bài toán đặt không chỉnh vô hạn chiều.

  3. Phát hiện thực nghiệm gây bất ngờ nhất là gì? Trả lời: Phương pháp chỉnh lặp hiện PEIRM với $m = 3$ bước lặp trong đạt thời gian hội tụ thực tế nhanh gấp gần 4 lần phương pháp ẩn PIIRM, mặc dù về mặt lý thuyết giải tích phương pháp ẩn luôn có tính chất co mạnh hơn trên mỗi bước lặp đơn lẻ.

  4. Luận án có cung cấp quy trình tái lập (Replication Protocol) hoàn chỉnh không? Trả lời: Có. Luận án cung cấp đầy đủ công thức toán học, cấu trúc thuật toán song song hóa, quy tắc điều khiển tham số $(\alpha_n, \gamma_n)$, đặc tả hệ thống phần cứng IBM Cluster 1350 và thư viện OpenMP để các nhà nghiên cứu độc lập có thể tái lập 100% kết quả thử nghiệm số.

  5. Chương trình nghiên cứu 10 năm tới được định hình ra sao? Trả lời: Định hướng trọng tâm là phát triển các phương pháp lai ghép Stochastic Parallel Regularization (hiệu chỉnh song song ngẫu nhiên) cho các bài toán tối ưu hóa lồi quy mô cực lớn trong học máy (Big Data Machine Learning) và giải bài toán ngược cho phương trình đạo hàm riêng phân số (fractional PDEs).

Kết luận

Luận án tiến sĩ của tác giả Cao Văn Chung đã giải quyết trọn vẹn và xuất sắc mục tiêu nghiên cứu với các đóng góp cốt lõi:

  1. Xây dựng thành công hệ phương pháp chỉnh lặp song song (PIIRM và PEIRM) giải hệ phương trình toán tử ngược đơn điệu mạnh đặt không chỉnh.
  2. Thiết lập quy tắc lựa chọn tham số hiệu chỉnh tiên nghiệm và hậu nghiệm đảm bảo tính ổn định nghiệm khi dữ liệu có nhiễu đo lường.
  3. Mở rộng thành công các thuật toán chiếu - điểm gần kề (PPPXPM) và lai ghép CQ song song lên không gian Banach lồi đều và trơn đều vô hạn chiều.
  4. Chứng minh tốc độ hội tụ tối ưu $O(\alpha_n)$ cho phương pháp dạng Newton hiệu chỉnh song song PRNM dưới điều kiện nguồn mở rộng.
  5. Kiểm chứng toàn diện lý thuyết trên hệ thống siêu máy tính IBM Cluster 1350 với các bài toán tích phân Fredholm, Wiener và Hammerstein thực tế, chứng minh tính khả thi và hiệu năng vượt trội của thuật toán phân rã song song.

Công trình tạo ra bước tiến quan trọng trong chuyên ngành Toán học Tính toán, mở ra hướng nghiên cứu mới kết hợp chặt chẽ giữa Giải tích phi tuyến hiện đại và Công nghệ tính toán hiệu năng cao.