Tổng quan về luận án

Trong kỷ nguyên dữ liệu lớn và tính toán thống kê phức tạp, suy luận Bayes phân cấp đối mặt với rào cản tính toán nghiêm trọng khi tích phân hậu nghiệm không có dạng giải tích đóng. Theo luận điểm nền tảng của Fisher, một bài toán tổng quát về suy luận thống kê và dự báo bao gồm ba trụ cột: mô tả và xây dựng mô hình, ước lượng các tham số mô hình, và ước tính độ chính xác. Luận án tiến sĩ toán học "Lựa chọn biến, số thành phần và ước lượng tham số bằng phương pháp VB cho các mô hình GLMM và MRDE-MN" của Nghiên cứu sinh Đào Thanh Tùng (Chuyên ngành: Lý thuyết xác suất và thống kê toán học, Mã số: 9460112.02, Đại học Khoa học Tự nhiên – Đại học Quốc gia Hà Nội, dưới sự hướng dẫn của PGS. Trần Minh Ngọc và TS. Trần Mạnh Cường) đã tạo ra một bước đột phá học thuật trong việc giải quyết bài toán lựa chọn mô hình và ước lượng tham số quy mô lớn.

Nghiên cứu tập trung giải quyết hai research gaps then chốt:

  1. Khoảng trống thứ nhất (GLMM): Trong mô hình hồi quy tuyến tính hỗn hợp tổng quát (Generalized Linear Mixed Models - GLMM), hàm hợp lý biên duyên chứa các tích phân phức tạp trên phân phối của các yếu tố ảnh hưởng ngẫu nhiên $b \sim \mathcal{N}(0, Q)$. Các phương pháp hợp lý cực đại phạt (PML) của Groll và Tutz (2014), Schelldorfer et al. (2014) dựa trên xấp xỉ Laplace và phạt $L_1$-norm Lasso đơn biến. Cách tiếp cận này bộc lộ ba hạn chế nghiêm trọng: xấp xỉ Laplace thiếu chính xác trong cỡ mẫu nhỏ hoặc cấu trúc phi chuẩn; tham số co rút đơn nhất $\lambda$ gây chệch ước lượng (biased estimation); và chi phí tính toán bùng nổ khi phải lưới quét tham số $\lambda$ qua AIC/BIC.
  2. Khoảng trống thứ hai (MRDE-MN): Các mô hình hồi quy mật độ trộn chuẩn dị sai (Regression Density Estimation with Mixtures of Heteroscedastic Normals) của Tran et al. (2014), Nott et al. (2012), Villani et al. (2009) chỉ mới xử lý biến phản hồi đơn biến ($y \in \mathbb{R}$). Chưa có một khuôn khổ toán học giải tích biến phân nào cho phép xử lý đồng thời lựa chọn biến, xác định số thành phần phân phối trộn $k$, và ước lượng ma trận hiệp phương sai phụ thuộc khi $y$ là vector đa biến ($y \in \mathbb{R}^d$).

Hệ thống câu hỏi và giả thuyết nghiên cứu được xác lập:

  • Câu hỏi nghiên cứu 1 ($RQ_1$): Làm thế nào để xây dựng thuật toán Bayes biến phân (Variational Bayes - VB) ước lượng mode hậu nghiệm kết hợp Bayesian Adaptive Lasso (BaLasso) nhằm chọn biến và ước lượng tham số đồng thời cho GLMM mà không phụ thuộc vào xấp xỉ Laplace?
  • Câu hỏi nghiên cứu 2 ($RQ_2$): Làm thế nào để mở rộng mô hình RDE-MHN sang không gian đa biến (MRDE-MN) và thiết lập cơ chế giải thuật VB xác định đồng thời số thành phần $k$, cấu trúc biến trong Mean model và Gating model?
  • Giả thuyết 1 ($H_1$): Thuật toán VBGLMM ước lượng mode hậu nghiệm kết hợp siêu tham số thích nghi đạt tỷ lệ chọn đúng biến (Correctly-Fitted Rate - CFR) vượt trội và giảm thời gian hội tụ gấp nhiều lần so với MCMC và PML-Laplace.
  • Giả thuyết 2 ($H_2$): Khung phân tích MRDE-MN thông qua xấp xỉ phân phối hậu nghiệm tối ưu MFVB/FFVB cho phép xấp xỉ chính xác mật độ điều kiện đa biến phi chuẩn, tự động triệt tiêu các thành phần dư thừa và giải quyết triệt để bẫy cực đại địa phương.

Luận án thiết lập phạm vi nghiên cứu thực nghiệm trên các tập dữ liệu mô phỏng phức tạp ($n = 100, 200$, số chiều biến lớn $p > n$, phân phối Poisson, Logistic, Gaussian) và tập dữ liệu bảng thực tế HILDA (Household, Income and Labour Dynamics in Australia), tạo dựng nền tảng lý thuyết xác suất và giải thuật tối ưu hóa ngẫu nhiên mang tính ứng dụng cao.


Literature Review và Positioning

Nghiên cứu lựa chọn mô hình thống kê đã trải qua nhiều giai đoạn phát triển với các trường phái tiếp cận đa dạng:

[Trường phái Cổ điển / PML]
Akaike (1973) AIC | Schwarz (1978) BIC | Tibshirani (1996) Lasso
          │
          ▼
[Xấp xỉ Laplace & PML trong GLMM]
Groll & Tutz (2014) | Schelldorfer et al. (2014)
(Hạn chế: Sai số xấp xỉ tích phân, λ đơn nhất gây chệch, lưới quét tốn kém)
          │
          ▼
[Trường phái Bayes Biến phân Hiện đại - Đóng góp của Luận án]
VBGLMM (Mode hậu nghiệm + BaLasso) & MRDE-MN (Tran, Đào et al., 2020)
(Đột phá: Khử định chuẩn thủ công, đa biến hóa Y ∈ ℝᵈ, chọn k và biến đồng thời)
  1. Trường phái tối ưu hóa hợp lý cực đại phạt (Penalized Maximum Likelihood - PML): Bắt đầu từ nguyên lý lựa chọn mô hình qua hàm phạt như AIC (Akaike, 1973) với $\text{pen}(\mathcal{F}c) = c$, BIC (Schwarz, 1978) với $\text{pen}(\mathcal{F}c) = c \frac{\log n}{2}$, và các kỹ thuật co rút tham số Lasso ($L_1$-norm) của Tibshirani (1996). Trong bối cảnh GLMM, Groll và Tutz (2014) cùng Schelldorfer et al. (2014) đề xuất cực đại hóa hàm log-likelihood xấp xỉ Laplace kết hợp phạt $L_1$: $$\hat{\beta} = \arg\max{\beta} \left( \ell^{\text{Laplace}}(\beta, \psi) - \lambda \sum{j=1}^p |\beta_j| \right)$$ Tuy nhiên, Joe (2008) đã chỉ ra rằng xấp xỉ Laplace tạo ra sai số lớn khi kích thước nhóm nhỏ hoặc dữ liệu rời rạc nhị phân/Poisson.
  2. Trường phái chọn mô hình Bayes (Bayesian Model Selection - BMS) và Hỗn hợp chuyên gia (Mixtures of Experts): BMS sử dụng phân phối tiên nghiệm phân cấp và MCMC (Green, 1995; George & McCulloch, 1993). Dù chính xác, MCMC chịu gánh nặng tính toán $O(2^p)$ hoặc bế tắc trong không gian tham số đa chiều. Đối với mô hình hồi quy trộn (Mixture of Regression Models - MRMs), Prasad et al. (2007) chỉ rõ tiêu chuẩn AIC luôn đánh giá quá cao số thành phần $k$, từ đó đề xuất tiêu chuẩn MRC (Mixture Regression Criterion). Biernacki et al. (2000) và McLachlan & Peel (2000) cũng nhấn mạnh sự khó khăn khi đối mặt với điểm kỳ dị trên mặt hàm hợp lý.
  3. Vị thế tiên phong của luận án: Luận án định vị tại giao điểm của lý thuyết xấp xỉ phân phối biến phân (Ormerod & Wand, 2010; Blei et al., 2017) và hồi quy phi tham số Bayes. So sánh trực tiếp với nghiên cứu quốc tế của Tran, Nott, & Kohn (2014) trên mô hình đơn biến RDE-MHN(k) và nghiên cứu của Salimans & Knowles (2013) về Fixed Form Variational Bayes (FFVB), luận án đã thực hiện bước nhảy vọt:
  • Mở rộng lý thuyết VB sang bài toán tìm mode hậu nghiệm kết hợp trọng số phạt thích nghi $1/|\beta_j|^\gamma$, giải phóng mô hình khỏi việc dò tìm tham số điều chuẩn $\lambda$.
  • Mở rộng cấu trúc hỗn hợp phân phối chuẩn dị sai sang vector phản hồi nhiều chiều $Y \sim \mathcal{N}_d(\mu_k(x), \Sigma_k(x))$, thiết lập quy tắc cập nhật biến phân dạng đóng qua phân phối ma trận Wishart ngược.

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

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

Luận án đóng góp trực tiếp vào lý thuyết xác suất và suy luận thống kê Bayes thông qua việc chuẩn hóa toán học cận dưới biên duyên (Evidence Lower Bound - ELBO). Xét dữ liệu $y$ và vector tham số không quan sát được $\theta$, hàm log-likelihood biên duyên được phân rã chính xác: $$\log p(y) = \mathcal{L}(q) + \text{KL}(q(\theta) \parallel p(\theta|y))$$ Trong đó, cận dưới biến phân $\mathcal{L}(q)$ và khoảng cách Kullback-Leibler $\text{KL}(q \parallel p)$ được xác định bởi: $$\mathcal{L}(q) = \int q(\theta) \log \frac{p(y, \theta)}{q(\theta)} d\theta, \quad \text{KL}(q \parallel p) = \int q(\theta) \log \frac{q(\theta)}{p(\theta|y)} d\theta$$

    ┌─────────────────────────────────────────────────────────┐
    │               Log Marginal Likelihood log p(y)          │
    └────────────────────────────┬────────────────────────────┘
                                 │ Phân rã Jensen
                 ┌───────────────┴──────────────┐
                 ▼                              ▼
    ┌───────────────────────────┐  ┌──────────────────────────┐
    │   ELBO L(q) (Tối đa hóa)  │  │  KL(q || p) (Triệt tiêu) │
    └────────────┬──────────────┘  └──────────────────────────┘
                 │
                 ├─► Trường phái MFVB: q(θ) = ∏ qⱼ(θⱼ) (Cập nhật tọa độ dạng đóng)
                 └─► Trường phái FFVB: q_λ(θ) (Xấp xỉ ngẫu nhiên Newton-Raphson/SGD)

Luận án chứng minh hai mệnh đề cốt lõi:

  • Mệnh đề 1 (Hội tụ đơn điệu của thuật toán VB phân khối): Khi khai triển $q(\theta) = \prod_{i=1}^m q_i(\theta_i)$, phép cập nhật tối ưu tại bước lặp $t$: $$q_j^{(t)}(\theta_j) \propto \exp \left( \mathbb{E}_{-q_j^{(t-1)}} [\log p(y, \theta)] \right)$$ đảm bảo chuỗi cận dưới ${\mathcal{L}(q^{(t)})}$ là dãy đơn điệu tăng và bị chặn trên bởi $\log p(y)$, do đó hội tụ tất yếu về điểm cực trị địa phương vững.
  • Mệnh đề 2 (Đặc trưng hóa Mode hậu nghiệm kết hợp BaLasso): Việc kết hợp phân phối tiên nghiệm Laplace thích nghi $p(\beta|\tau) = \prod_{j=1}^p \frac{\tau_j}{2} \exp(-\tau_j |\beta_j|)$ vào khung VB tương đương với việc tối ưu hóa hàm mục tiêu phạt cục bộ, triệt tiêu các hệ số nhiễu về chính xác 0 mà không làm méo mó các hệ số mang tín hiệu mạnh.

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

Khung phân tích của luận án tích hợp ba lý thuyết nền tảng:

  1. Họ phân phối mũ đa chiều (Multivariate Exponential Family): Mô hình hóa phân phối có điều kiện của biến quan sát với tham số tự nhiên $\eta$ và hàm liên kết $g(\mu) = \eta$.
  2. Mô hình hỗn hợp chuyên gia phân cấp (Hierarchical Mixtures of Experts): Tách biệt bài toán dự báo thành Mean model (mô hình hóa hàm trung bình cục bộ $\mu_k(x)$ và ma trận hiệp phương sai $\Sigma_k(x)$) và Gating model (mô hình hóa xác suất trộn $\pi_k(x)$ qua hàm liên kết đa thức logit).
  3. Biến phân cố định dạng tham số (Fixed Form Variational Bayes - FFVB): Xử lý các phân phối tiền nghiệm - hậu nghiệm không liên hợp bằng cách giải phương trình gradient ngẫu nhiên của Salimans & Knowles: $$\nabla_\lambda \text{KL}(q_\lambda(\theta) \parallel p(y, \theta)) = 0 \iff \mathbb{E}{q\lambda} \left[ \widetilde{T}(\theta)' (\widetilde{T}(\theta)\lambda - \log p(y, \theta)) \right] = 0$$
             KHUNG PHÂN TÍCH TỔNG QUÁT MRDE-MN
                             │
     ┌───────────────────────┴───────────────────────┐
     ▼                                               ▼
[Gating Model: π_k(x)]                      [Mean Model: f_k(y|x)]
  - Logit liên kết đa thức                     - Trung bình: μ_k(x) = B_k' x
  - Phân phối Multinomial                      - Hiệp phương sai dị sai: Σ_k(x)
  - Chọn biến qua BaLasso                      - Cập nhật Wishart ngược
     │                                               │
     └───────────────────────┬───────────────────────┘
                             ▼
               [Thuật toán VB Tích hợp]
          - Tự động triệt tiêu cụm dư thừa (k -> k*)
          - Co rút hệ số không quan trọng về 0
          - Đạt cận dưới ELBO cực đại L(q*)

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

Thiết kế nghiên cứu

Nghiên cứu được thiết kế trên hệ giác ngộ thực chứng định lượng (Positivism / Mathematical Realism), kết hợp chặt chẽ giữa chứng minh toán học thuần túy và mô phỏng số ngẫu nhiên Monte Carlo. Thiết kế phân cấp đa tầng (Multi-level Hierarchical Design) được chuẩn hóa:

  • Cấp độ cá thể (Level 1): $y_{ij} | \beta, b_i \sim \text{ExpFam}(\eta_{ij}, \phi)$, với $i = 1, \dots, n$ (đối tượng) và $j = 1, \dots, n_i$ (lần đo lặp lại).
  • Cấp độ ngẫu nhiên (Level 2): $b_i \sim \mathcal{N}q(0, Q)$, biểu thị sự biến thiên đặc thù của từng cá thể qua ma trận hiệp phương sai khối $Q* = \text{blockdiag}(Q, \dots, Q)$.

Quy trình nghiên cứu rigorous

Quy trình suy luận biến phân được thực thi thông qua các giao thức giải thuật chính xác:

[Khởi tạo Siêu tham số & Phân phối Tiên nghiệm]
p(β), p(b|Q), p(Q) ~ Inverse-Wishart, p(τ) ~ Gamma
                         │
                         ▼
┌─────────────────────────────────────────────────────────┐
│              VÒNG LẶP BIẾN PHÂN (VB-LOOP)               │
│                                                         │
│  Bước 1: Cập nhật phân phối tối ưu q*(b) qua MFVB       │
│  Bước 2: Cập nhật ước lượng hệ số cố định q*(β)         │
│  Bước 3: Tối ưu ma trận hiệp phương sai q*(Q)           │
│  Bước 4: Cập nhật tham số thích nghi BaLasso q*(τ)      │
│  Bước 5: Tính toán Cận dưới biên duyên ELBO L(q)        │
└────────────────────────┬────────────────────────────────┘
                         │
                         ▼
          [Kiểm tra điều kiện hội tụ]
        |L(q^(t)) - L(q^(t-1))| < ε = 10⁻⁶
                         │
       ┌─────────────────┴─────────────────┐
     Không                                Có
       │                                   │
       └─── Quay lại Bước 1                ▼
                                  [Xuất Mode Hậu nghiệm]
                                  (Triệt tiêu biến: β_j = 0)
  1. Giao thức xấp xỉ MFVB (Mean Form): Áp dụng khi phân phối điều kiện đầy đủ là liên hợp. Thiết lập hệ phương trình kỳ vọng đóng cho các tham số phân phối chuẩn nhiều chiều, Gamma ngược và Wishart.
  2. Giao thức FFVB và Tối ưu hóa ngẫu nhiên: Khi hàm mật độ không thuộc dạng chuẩn tắc, áp dụng thuật toán xấp xỉ đạo hàm theo hướng kết hợp thuật toán tối ưu hóa Newton-Raphson đa chiều: $$\alpha^{(t+1)} = \alpha^{(t)} - \left[ \nabla^2 f(\alpha^{(t)}) \right]^{-1} \nabla f(\alpha^{(t)})$$
  3. Độ tin cậy và Kiểm soát chệch: Sử dụng chỉ số kiểm tra chéo, tỷ lệ khớp đúng mô hình CFR (Correctly-Fitted Rate), sai số toàn phương trung bình MSE, và điểm dự báo từng phần PPS (Partial Predictive Score).

Data và phân tích

Thiết kế mô phỏng số học được tiến hành trên hệ thống phần mềm R/C++ với các tham số khắt khe:

  • Mô phỏng 1 (GLMM - Poisson & Logistic): Thiết lập kích thước mẫu $n \in {100, 200}$, số biến $p \in {8, 15, 50}$, số lượng đo lặp $n_i = 5$. Vector hệ số thực sự được thiết lập thưa: $\beta_{\text{true}} = (1.5, -1.0, 0, 0, 0.8, 0, \dots, 0)'$.
  • Mô phỏng 2 (Xấp xỉ hậu nghiệm chuẩn - Gamma ngược): Khảo sát với $\mu_{\text{true}} = 0$, $\sigma^2_{\text{true}} = 10$.
    • Tại $n = 100$: Hậu nghiệm đúng đạt $\mu^{(n)} = 0.1000, \sigma^{2(n)} = 8.9287$; Mode hậu nghiệm VB đạt $\hat{\mu} = 0.1000, \hat{\sigma}^2 = 8.7536$.
    • Tại $n = 200$: Mode hậu nghiệm VB hội tụ tiệm cận hoàn hảo với $\hat{\mu} = -0.0717, \hat{\sigma}^2 = 9.8732$ (sát mức thực $\sigma^2_{\text{true}} = 10$).
  • Mô phỏng 3 (FFVB với mô hình phi tuyến): Với $\beta_{\text{true}} = 20, \alpha_{\text{true}} = 1, n = 100$:
    • Thuật toán 1 (Newton-Raphson) đạt: $\hat{\beta} = 19.9852, \hat{\alpha} = 1.0345$.
    • Thuật toán 2 (Hệ phương trình điểm bất động) đạt: $\hat{\beta} = 19.9717, \hat{\alpha} = 1.0738$.
    • Thuật toán 3 (Xấp xỉ ngẫu nhiên SGD của Salimans & Knowles) đạt: $\hat{\beta} = 19.9680, \hat{\alpha} = 1.0420$.
  • Dữ liệu thực nghiệm HILDA: Khảo sát mẫu dữ liệu bảng phức tạp về kinh tế - xã hội tại Úc với hàng ngàn quan sát đa biến, kiểm định cấu trúc việc làm và thu nhập qua mô hình MRDE-MN với $k = 3$ thành phần tối ưu.

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

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

               SO SÁNH HIỆU NĂNG THỰC NGHIỆM
┌──────────────────────┬──────────────────────┬─────────────────────┐
│ Tiêu chí đánh giá    │ MCMC truyền thống    │ Thuật toán VB Luận án│
├──────────────────────┼──────────────────────┼─────────────────────┤
│ Thời gian tính toán  │ Hàng giờ / Hàng ngày │ Vài giây (5-10 vòng)│
│ Khả năng chọn k      │ Bế tắc cực đại địa   │ Triệt tiêu tự động  │
│ Lựa chọn biến p > n  │ Rất chậm             │ Tức thời qua BaLasso│
│ Xử lý Y đa biến      │ Phức tạp giải tích   │ Khép kín giải tích  │
└──────────────────────┴──────────────────────┴─────────────────────┘
  1. Khả năng tăng tốc tính toán vượt bậc: Thuật toán VBGLMM đạt trạng thái hội tụ ELBO chỉ sau từ $5$ đến $12$ vòng lặp biến phân, rút ngắn thời gian tính toán hàng trăm lần so với thuật toán MCMC lấy mẫu Gibbs/Metropolis-Hastings truyền thống, đồng thời vượt trội hơn thuật toán EM về độ ổn định số học.
  2. Khắc phục triệt để hiện tượng chệch của xấp xỉ Laplace: Khác với phương pháp PML của Groll và Tutz (2014), VBGLMM không sử dụng xấp xỉ cục bộ bậc hai tại đỉnh hàm hợp lý mà xấp xỉ toàn bộ phân phối xác suất của ảnh hưởng ngẫu nhiên, giúp giảm sai số chuẩn của ước lượng $\hat{\beta}$ tới $34.2%$ trong các mô hình Logistic rời rạc.
  3. Giải quyết hiện tượng cực đại địa phương trong mô hình hỗn hợp đa biến: MRDE-MN cho phép khởi tạo số thành phần tối đa $K_{\max}$, giải thuật tự động co rút trọng số trộn $\pi_k(x) \to 0$ đối với các thành phần dư thừa, xác định chính xác số cụm thực $k^*$ mà không cần chạy lặp lại nhiều mô hình với các giá trị $k$ khác nhau như tiêu chuẩn AIC/BIC truyền thống.
  4. Cơ chế chọn biến kép (Dual Variable Selection): Khung MRDE-MN bóc tách độc lập không gian biến tác động lên kỳ vọng (Mean model) và không gian biến tác động lên xác suất phân cụm (Gating model), phát hiện ra các biến chỉ đóng vai trò phân loại nhóm mà không làm thay đổi độ dốc hồi quy.

Implications đa chiều

  • Về mặt phương pháp luận thống kê: Luận án cung cấp một khuôn khổ toán học hoàn chỉnh có thể chuyển giao trực tiếp cho các mô hình phức vi mô khác như mô hình sinh tồn đa biến (Multivariate Survival Models), mô hình chuỗi thời gian phi tuyến có cấu trúc ẩn, và phân tích nhân tố biến phân.
  • Về ứng dụng y sinh và dịch tễ học: Cho phép phân tích các bộ dữ liệu theo dõi dọc (Longitudinal data) trên hàng triệu bệnh nhân với hàng ngàn chỉ số gen (Gene expression profiles), bóc tách chính xác tác động của thuốc độc lập với các yếu tố cơ địa ngẫu nhiên.
  • Về kinh tế lượng và khoa học dữ liệu: Mô hình hóa chính xác các phân phối thu nhập và chi tiêu hộ gia đình có đuôi dày (Heavy-tailed) và tính dị sai phức tạp trên bộ dữ liệu HILDA, cung cấp công cụ phân khúc thị trường và dự báo rủi ro tài chính chính xác hơn các mô hình OLS truyền thống.

Limitations và Future Research

  1. Giả định độc lập biến phân (Mean-field Approximation): Luận án sử dụng giả định phân rã độc lập $q(\theta) = \prod q_j(\theta_j)$. Mặc dù tối ưu về mặt tính toán, giả định này có thể đánh giá thấp phương sai hậu nghiệm thực tế (dẫn tới khoảng tin cậy hẹp hơn thực tế).
  2. Mở rộng sang cấu trúc nhóm biến (Group Lasso): Thuật toán hiện tại tập trung vào lựa chọn biến đơn lẻ. Hướng mở rộng cấp thiết là tích hợp hình thức phạt nhóm Group-Lasso (Yuan & Lin, 2006) để chọn lọc đồng thời các nhóm biến giả phát sinh từ các biến phân loại.
  3. Phạt tuyệt đối tổng hợp cho biến có thứ tự: Mở rộng sang Fused Lasso hoặc Composite Absolute Penalties (Zhao et al., 2009) để khai thác các cấu trúc hiệp biến có thứ tự không gian hoặc thời gian.
  4. Biến phân sâu (Deep Variational Inference): Kết hợp mạng nơ-ron sâu với mô hình GLMM/MRDE-MN để xấp xỉ các hàm liên kết phi tuyến tính phức tạp trong các bài toán thị giác máy tính và xử lý ngôn ngữ tự nhiên.

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

  • Tác động học thuật: Các kết quả cốt lõi của luận án đã được công bố trên các tạp chí quốc tế chuyên ngành uy tín trong danh mục ISI/Scopus và báo cáo tại các diễn đàn toán học đỉnh cao như Đại hội Toán học Việt Nam lần thứ IX (Nha Trang, 2018) và Hội nghị Ngày Thống kê. Nghiên cứu tạo tiền đề trích dẫn quan trọng cho các nhà nghiên cứu về học máy thống kê và tính toán Bayes.
  • Chuyển đổi công nghiệp & Nghiên cứu R&D: Cung cấp thuật toán tối ưu hóa mã nguồn mở cho các hệ thống phân tích dữ liệu lớn, nơi mà các thuật toán MCMC kinh điển hoàn toàn bất khả thi do giới hạn thời gian thực.
  • Hoạch định chính sách công: Cung cấp công cụ phân tích định lượng chuẩn xác trên các khảo sát hộ gia đình quy mô quốc gia, hỗ trợ chính phủ đánh giá chính xác tác động của các chương trình an sinh xã hội trên các phân lớp dân cư không đồng nhất.

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

  • Nghiên cứu sinh và Giới học thuật Thống kê: Tiếp cận được một phương pháp luận mẫu mực về kỹ thuật khai triển giải tích biến phân, tối ưu hóa ngẫu nhiên và kỹ thuật chứng minh sự hội tụ của thuật toán Bayes biến phân.
  • Các nhà nghiên cứu Y sinh & Thử nghiệm Lâm sàng: Ứng dụng mô hình GLMM biến phân để xử lý các thử nghiệm lâm sàng lặp lại, kiểm soát chặt chẽ các sai số ngẫu nhiên cá thể trong các quần thể bệnh nhân phức tạp.
  • Chuyên gia Phân tích Dữ liệu Kinh tế lượng (Econometricians): Sử dụng mô hình MRDE-MN để phân tích dữ liệu bảng, phân khúc thị trường lao động và lượng hóa các mối quan hệ phi tuyến tiềm ẩn trong kinh tế học hành vi.

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ì và đã mở rộng lý thuyết nào?

Trả lời: Đóng góp độc đáo nhất là việc thiết lập thuật toán VB ước lượng mode hậu nghiệm kết hợp phân phối tiên nghiệm Laplace thích nghi (BaLasso) cho mô hình GLMM. Luận án đã mở rộng lý thuyết Penalized Likelihood cổ điển của Tibshirani (1996) và Variational Inference của Ormerod & Wand (2010), giải quyết triệt để vấn đề tích phân khó tính của ảnh hưởng ngẫu nhiên $b_i \sim \mathcal{N}(0, Q)$ mà không cần viện dẫn đến xấp xỉ Laplace có độ chệch cao.

2. Đột phá phương pháp luận của luận án khi so sánh với các công trình quốc tế tiền nhiệm?

Trả lời: So với công trình của Groll & Tutz (2014) và Schelldorfer et al. (2014) (vốn phải quét lưới tìm siêu tham số $\lambda$ đơn nhất qua AIC/BIC và dùng xấp xỉ Laplace), thuật toán VBGLMM của luận án cập nhật trọng số thích nghi $\tau_j$ dạng đóng tại từng vòng lặp, tự động hóa quá trình chọn biến. So với Tran et al. (2014) và Villani et al. (2009) (chỉ xử lý $y$ đơn biến), mô hình MRDE-MN của luận án mở rộng hoàn chỉnh sang vector đáp ứng đa biến $Y \in \mathbb{R}^d$ với ma trận hiệp phương sai biến thiên Wishart ngược.

3. Phát hiện thực nghiệm nào bất ngờ nhất từ các kết quả mô phỏng số?

Trả lời: Phát hiện ấn tượng nhất là tốc độ hội tụ siêu nhanh của cận dưới biên duyên $\mathcal{L}(q)$: chỉ sau $2$ đến $4$ bước lặp đầu tiên, thuật toán VB đã đạt được trên $95%$ giá trị cực đại của ELBO, và sự tiệm cận của phân phối biến phân $q^*(\theta)$ so với phân phối hậu nghiệm đúng $p(\theta|y)$ gần như trùng khít tuyệt đối khi kích thước mẫu tăng từ $n=100$ lên $n=200$ (ước lượng $\hat{\sigma}^2$ đạt $9.8732$ so với giá trị thực $10$).

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 tường minh từng bước toán học của các thuật toán: từ công thức cập nhật tọa độ (Coordinate Ascent Updates), đạo hàm bậc hai ma trận Hessian cho thuật toán Newton-Raphson, cấu trúc khởi tạo biến ngẫu nhiên, cho đến điều kiện dừng hội tụ $\epsilon$, cho phép lập trình tái lập hoàn toàn trên các ngôn ngữ R, Python, C++ hoặc MATLAB.

5. Chương trình nghị sự nghiên cứu 10 năm tới được định hình như thế nào?

Trả lời: Định hình ba trụ cột nghiên cứu tiếp nối:

  1. Phát triển gói phần mềm tính toán phân tán cho mô hình GLMM quy mô hàng triệu chiều biến ($p \gg n$).
  2. Xây dựng lý thuyết biến phân không tham số (Nonparametric VB) tích hợp quá trình Dirichlet cho bài toán hỗn hợp với số thành phần $k = \infty$.
  3. Mở rộng khung MRDE-MN cho dữ liệu không gian - thời gian (Spatio-temporal Data) và chuỗi thời gian tài chính đa biến có bước nhảy ngẫu nhiên.

Kết luận

Luận án tiến sĩ toán học của tác giả Đào Thanh Tùng đã khẳng định những đóng góp học thuật xuất sắc và hoàn chỉnh cho chuyên ngành Lý thuyết xác suất và thống kê toán học thông qua năm trụ cột then chốt:

  1. Thiết lập thành công thuật toán VBGLMM: Thực hiện đồng thời lựa chọn biến thưa và ước lượng tham số trong mô hình GLMM, vượt qua mọi rào cản tính toán của xấp xỉ Laplace và MCMC cổ điển.
  2. Đề xuất mô hình đột phá MRDE-MN: Tiên phong xây dựng lý thuyết hồi quy mật độ đa biến với hỗn hợp phân phối chuẩn dị sai, tích hợp lựa chọn số thành phần $k$ và cấu trúc biến đồng thời.
  3. Giải quyết triệt để tính toán biến phân không liên hợp: Ứng dụng điêu luyện thuật toán tối ưu hóa Newton-Raphson và xấp xỉ ngẫu nhiên FFVB để giải các phương trình gradient phức tạp.
  4. Chứng minh toán học và kiểm chứng thực nghiệm nghiêm ngặt: Cung cấp bức tranh toàn diện về sự hội tụ giải tích, tỷ lệ chọn đúng biến (CFR) và tính vững của ước lượng qua hệ thống mô phỏng số đa chiều và dữ liệu thực HILDA.
  5. Mở ra các nhánh nghiên cứu liên ngành giá trị: Tạo nền tảng mở rộng cho mô hình phạt nhóm Group-Lasso, Fused-Lasso và học sâu biến phân trong kỷ nguyên phân tích dữ liệu lớn toàn cầu.