Giao diện
Trong các hệ thống học máy an toàn, tài chính định lượng và mạng viễn thông, việc ước tính xác suất xảy ra biến cố cực đoan (chẳng hạn như xác suất lỗi hệ thống vượt ngưỡng hay tổn thất danh mục đầu tư chạm đáy rủi ro) là bài toán sinh tử. Tuy nhiên, trong thực tế ta hiếm khi nắm được toàn bộ hàm phân phối xác suất mà thường chỉ ước lượng được các đặc trưng số cơ bản: Vector kỳ vọng
Câu hỏi đặt ra là: Trong số mọi phân phối xác suất khả dĩ có cùng kỳ vọng
1. Bản chất tối ưu hóa của các cận xác suất cổ điển
Xét biến ngẫu nhiên thực
Bản chất của bất đẳng thức này là một bài toán tìm chặn trên của hàm chỉ thị: Hàm bậc thang
Tương tự, bất đẳng thức Chebyshev cổ điển áp dụng hàm toàn phương để chặn trên hàm chỉ thị:
Dưới lăng kính tối ưu hóa, việc tìm cận xác suất chặt nhất cho một biến cố
2. Cận Chebyshev nhiều chiều và Quy hoạch nửa xác định (SDP)
Xét vector ngẫu nhiên
Ta muốn tìm chặn trên chặt nhất cho xác suất
Để chặn trên hàm chỉ thị
Hàm
với mọi . với mọi (và do đó với mọi ).
Khi điều kiện
Bài toán tìm cận Chebyshev nhiều chiều chặt nhất quy về việc cực tiểu hóa biểu thức tuyến tính này theo các biến quyết định
Khi tập an toàn
Đây chính là một bài toán Quy hoạch nửa xác định (SDP) chuẩn tắc, giải được với độ chính xác tùy ý trong thời gian đa thức.
3. Cận Chernoff và Hàm liên hợp lồi (Convex Conjugate)
Khi ta có thêm thông tin về hàm sinh mô-men (Moment Generating Function)
Với
Đặt
Biểu thức
Ví dụ: Phân phối chuẩn chuẩn hóa
Hàm sinh mô-men logarit là:
Hàm liên hợp lồi:
Từ đó thu được cận đuôi Chernoff chuẩn mực cho phân phối Gauss:
4. Bài tập tự luyện
Bài tập 1: Cận Chernoff tối ưu cho biến ngẫu nhiên Poisson
Cho biến ngẫu nhiên
- Tính hàm sinh mô-men logarit
. - Tìm hàm liên hợp lồi
với . - Thiết lập cận Chernoff cho xác suất đuôi
và so sánh với cận Chebyshev khi lớn.
Lời giải
Tính hàm sinh mô-men logarit: Hàm sinh mô-men:
Hàm sinh mô-men logarit:
Tìm hàm liên hợp lồi
: Với : Lấy đạo hàm theo
và cho bằng 0: Vì
, ta có . Thay vào biểu thức liên hợp:
\psi^*(t) &= t \log\left(\frac{t}{\mu}\right) - \mu\left(\frac{t}{\mu} - 1\right) \ &= t \log\left(\frac{t}{\mu}\right) - t + \mu. \end
\mathbb{P}(X \ge t) \le \exp\big(-\psi^*(t)\big) = \exp\left( - \left[t \log\left(\frac{t}{\mu}\right) - t + \mu\right] \right) = \frac{e^{-\mu} (e \mu)^t}{t^t}.
Bài tập 2: Bất đẳng thức Cantelli (Chebyshev một phía)
Cho biến ngẫu nhiên
- Xét hàm toàn phương
với . Chứng minh rằng với mọi và với mọi . - Tính kỳ vọng
theo . - Cực tiểu hóa
theo biến để suy ra bất đẳng thức Cantelli: .
Lời giải
Kiểm tra tính chất hàm chặn trên:
- Khi
: Vì , ta có . Suy ra , do đó . - Với mọi
: Là bình phương chia bình phương, . Như vậy trên toàn trục thực.
- Khi
Tính kỳ vọng:
Vì
và : Cực tiểu hóa theo
: Lấy đạo hàm của theo : Đặt
: Thay
vào biểu thức :
a + u^* &= a + \frac{\sigma^2}{a} = \frac{a^2 + \sigma^2}{a}, \ \sigma^2 + (u^*)^2 &= \sigma^2 + \frac{\sigma^4}{a^2} = \sigma^2 \left(1 + \frac{\sigma^2}{a^2}\right) = \frac{\sigma^2(a^2 + \sigma^2)}{a^2}. \end
g(u^*) = \frac{\frac{\sigma^2(a^2 + \sigma^2)}{a^2}}{\frac{(a^2 + \sigma^2)^2}{a^2}} = \frac{\sigma^2}{a^2 + \sigma^2} = \frac{\sigma^2}{\sigma^2 + a^2}.
Bài tập 3: Đánh giá rủi ro danh mục đầu tư qua cận Chebyshev nhiều chiều
Xét vector tỉ suất sinh lời của hai tài sản
- Tính kỳ vọng
và phương sai của tỷ suất sinh lời danh mục. - Dùng bất đẳng thức Cantelli để tìm chặn trên cho xác suất danh mục bị thua lỗ (tức
). - Nêu cách phát biểu bài toán phân bổ danh mục tối ưu
để cực tiểu hóa cận xác suất thua lỗ này.
Lời giải
Tính kỳ vọng và phương sai của danh mục:
- Kỳ vọng danh mục:
- Tích
: - Phương sai danh mục:Độ lệch chuẩn:
.
- Kỳ vọng danh mục:
Chặn trên xác suất thua lỗ: Biến cố thua lỗ:
. Biến ngẫu nhiên có kỳ vọng và phương sai . Khoảng cách lệch khỏi kỳ vọng: Áp dụng bất đẳng thức Cantelli cho
: Bài toán phân bổ danh mục tối ưu: Để cực tiểu hóa cận xác suất thua lỗ
, ta chú ý rằng biểu thức này là một hàm đơn điệu tăng theo đại lượng: Do đó, cực tiểu hóa cận xác suất thua lỗ Cantelli tương đương cực đại hóa chỉ số Sharpe
. Với chuẩn hóa , bài toán quy về bài toán QP lồi tiêu chuẩn: Đây là bài toán danh mục Markowitz cổ điển, kết nối trực tiếp lý thuyết cận xác suất với tối ưu hóa lồi thực hành.
Tóm tắt
Cận xác suất là công cụ toán học nền tảng giúp đưa ra các bảo đảm định lượng khi phân phối dữ liệu không được biết trọn vẹn. Bằng cách định dạng bài toán tìm cận xác suất như một bài toán đối ngẫu cực tiểu hóa kỳ vọng của hàm bao trên toàn phương, cận Chebyshev nhiều chiều được giải quyết tối ưu thông qua Quy hoạch nửa xác định (SDP).
Bên cạnh đó, cận Chernoff khai thác thông tin hàm sinh mô-men logarit, chuyển hóa việc tìm cận đuôi hàm mũ thành phép biến đổi liên hợp lồi Legendre–Fenchel. Cả hai công cụ này đều đóng vai trò nòng cốt trong quản lý rủi ro hiện đại, từ tính toán giá trị rủi ro VaR trong kinh tế đến đánh giá độ tin cậy của các mô hình học máy an toàn.
Tài liệu tham khảo
- Stephen Boyd, Lieven Vandenberghe, Convex Optimization, Cambridge University Press, Chapter 7: Statistical Estimation (§7.4).