Tổng quan luận án
Tính cấp thiết và khoảng trống nghiên cứu
Lý thuyết xác suất không giao hoán (noncommutative probability), hay còn được gọi là xác suất trên đại số von Neumann hoặc xác suất lượng tử (quantum probability), đã có những bước phát triển quan trọng xuất phát từ hai yêu cầu cơ bản:
- Nhu cầu phát triển nội tại của chính lý thuyết xác suất và lý thuyết đại số các toán tử.
- Nhu cầu ứng dụng trong lĩnh vực vật lý lượng tử.
Trong khuôn khổ xác suất cổ điển, các định lý giới hạn dạng luật số lớn giữ vai trò nền tảng. Tuy nhiên, khi chuyển sang bối cảnh đại số không giao hoán, nhiều kết quả và công cụ kinh điển của xác suất cổ điển không còn áp dụng được hoặc không còn giữ nguyên dạng:
- Không tồn tại một không gian xác suất cơ bản $(\Omega, \mathcal{F}, P)$ đóng vai trò nền tảng như trong mô hình Kolmogorov.
- Phép nhân giữa các toán tử không có tính chất giao hoán ($xy \neq yx$).
- Không thể xác định trực tiếp các khái niệm cận trên, cận dưới, giá trị lớn nhất, giá trị nhỏ nhất ($\sup, \inf, \max, \min$) đối với các toán tử nhận giá trị trong không gian Hilbert.
- Sự tồn tại của kỳ vọng có điều kiện từ một đại số đối với một đại số con cho trước gặp nhiều hạn chế.
- Tính cộng tính của phép chuyển qua giới hạn và các vấn đề hiển nhiên trong trường hợp giao hoán không còn được bảo toàn.
Do những rào cản toán học này, việc nghiên cứu các định lý giới hạn dạng luật số lớn trong giải tích không giao hoán đòi hỏi phải xây dựng các phương pháp và công cụ mới. Luận án tập trung giải quyết khoảng trống nghiên cứu về việc thiết lập các định lý giới hạn dạng luật số lớn (cả luật yếu và luật mạnh) cho các dãy đơn chỉ số, dãy nhiều chỉ số của các toán tử đo được độc lập, cũng như cho dãy martingale và martingale hiệu trong không gian xác suất không giao hoán.
Mục tiêu và câu hỏi nghiên cứu
Mục tiêu nghiên cứu tổng quát được xác định trong luận án là thiết lập các định lý giới hạn dạng luật số lớn trong bối cảnh xác suất không giao hoán. Cụ thể hóa qua các mục tiêu thành phần:
- Thiết lập các điều kiện đủ cho sự hội tụ theo độ đo và hội tụ hầu đều của tổng có trọng lượng các toán tử đo được độc lập từng cặp, tự liên hợp và cùng phân phối hoặc không cùng phân phối.
- Thiết lập luật yếu số lớn và luật mạnh số lớn cho dãy nhiều chỉ số ($d$-chỉ số) của các toán tử đo được độc lập, mở rộng kết quả cổ điển mà không cần sử dụng bất đẳng thức cực đại kiểu Kolmogorov.
- Thiết lập luật số lớn dạng Hsu-Robbins đối với dãy đơn chỉ số và dãy hai chỉ số trên các dãy con đơn điệu của tập số tự nhiên mà không đòi hỏi giả thiết cùng phân phối.
- Mở rộng các kết quả dạng luật số lớn cho martingale, thiết lập các điều kiện đủ cho sự hội tụ hầu đều hai phía và hội tụ theo độ đo đối với tổng có trọng lượng và dạng toàn phương của martingale hiệu.
Đối tượng và phạm vi nghiên cứu
- Đối tượng nghiên cứu: Đại số von Neumann $A$ tác động trên không gian Hilbert phức $H$, trang bị trạng thái vết chuẩn tắc, chính xác, hữu hạn $\tau$; đại số các toán tử đo được $\tilde{A}$; các dãy toán tử đo được (đơn chỉ số $n \in \mathbb{N}$ và nhiều chỉ số $n \in \mathbb{N}^d$); các dãy martingale và martingale hiệu.
- Phạm vi nghiên cứu: Luận án thuộc chuyên ngành Xác suất - Thống kê, tiếp cận hoàn toàn theo hướng toán học lý thuyết (giải tích hàm và giải tích toán tử). Phạm vi không gian nghiên cứu tập trung vào trường hợp đại số von Neumann hữu hạn có trạng thái vết $\tau$ chuẩn tắc, chính xác. Luận án không đi sâu vào trường hợp trạng thái tổng quát không phải là vết hoặc các cấu trúc tôpô không gian phân kỳ ngoài tôpô độ đo.
Tổng quan tài liệu và vị trí của luận án
Các hướng nghiên cứu trước được điểm lại trong văn bản
Trong xác suất cổ điển, các định lý giới hạn dạng luật số lớn gắn liền với các công trình của Kolmogorov, Khinchin, Tchebyshev, Marcinkiewicz, Zygmund, Hsu và Robbins:
- Nghiên cứu luật số lớn cho dãy các biến ngẫu nhiên độc lập có mômen cấp 1 và cấp 2 bị chặn (trong trường hợp không cùng phân phối), mở rộng lên mômen cấp $r$ với $0 < r < 2$.
- Mở rộng phạm vi từ trung bình cộng $\frac{1}{n} \sum_{k=1}^n X_k$ sang các tổng có trọng lượng $\sum_{k=1}^n a_{nk} X_k$ và các dạng toàn phương.
- Phát triển luật mạnh số lớn cho dãy nhiều chỉ số bằng kỹ thuật martingale ngược và các bất đẳng thức cực đại.
- Nghiên cứu luật số lớn dạng Hsu-Robbins về tốc độ hội tụ đầy đủ của dãy tổng.
Khi chuyển sang lý thuyết xác suất không giao hoán, tác giả điểm lại các kết quả đã công bố:
- C.J.K. Batty (1979): Đề cập đến luật mạnh số lớn kiểu Kolmogorov trong bối cảnh đại số toán tử nhưng tiếp cận theo một định hướng khác.
- R. Jajte (1987, 1989): Nghiên cứu các bổ đề giải tích, sự hội tụ của các toán tử đo được và luật số lớn dạng Hsu-Robbins trong trường hợp đặc biệt: dãy toán tử $(x_n) \subset \tilde{A}$ độc lập liên tiếp và các phần tử $x_n$ (hoặc $|x_n|$) có cùng phân phối.
- A. Łuczek (1989): Khảo sát luật số lớn cho tổng các toán tử đo được độc lập không cùng phân phối, luật Marcinkiewicz-Zygmund và luật số lớn dạng Hsu-Robbins trong các trường hợp đặc thù.
- C.C. Heyde (1970): Thiết lập các điều kiện hội tụ của tổng có trọng lượng trong xác suất cổ điển.
- N. Etemadi (1981): Đưa ra phương pháp chứng minh luật mạnh số lớn cho dãy biến ngẫu nhiên một chỉ số và nhiều chỉ số không thông qua bất đẳng thức cực đại Kolmogorov mà sử dụng bất đẳng thức Chebyshev và tính chất giải tích trên tập số thực.
- O.I. Klesov (1981): Đạt được các kết quả về luật số lớn cho dãy nhiều chỉ số trong lý thuyết xác suất cổ điển.
Khoảng trống luận án lựa chọn giải quyết
Mặc dù đã có một số công trình ban đầu của Jajte và Łuczek, nhiều vấn đề căn bản liên quan đến luật số lớn trong xác suất không giao hoán vẫn chưa được giải quyết đầy đủ:
- Thiếu vắng kết quả cho dãy nhiều chỉ số ($d$-chỉ số): Các công trình trước đây chủ yếu dừng lại ở dãy đơn chỉ số ($d=1$). Trong xác suất cổ điển, việc chứng minh cho dãy nhiều chỉ số dựa vào bất đẳng thức cực đại của martingale ngược, một công cụ chưa được thiết lập trọn vẹn trong giải tích không giao hoán.
- Hạn chế về giả thiết cùng phân phối: Kết quả về luật Hsu-Robbins của R. Jajte đòi hỏi điều kiện dãy toán tử phải độc lập liên tiếp và cùng phân phối. Trường hợp dãy không cùng phân phối, lấy tổng trên các dãy con đơn điệu của tập số tự nhiên chưa được nghiên cứu.
- Mở rộng kết quả của Heyde và Marcinkiewicz-Zygmund: Cần một lý thuyết tương ứng cho tổng có trọng lượng của các toán tử đo được không giao hoán dưới các ma trận trọng số tổng quát (như ma trận Toeplitz).
- Luật số lớn cho Martingale: Thiết lập các định lý dạng luật số lớn cho martingale và martingale hiệu trong không gian toán tử đo được chưa có các điều kiện đủ đối với hội tụ hầu đều hai phía và hội tụ theo độ đo.
Cơ sở lý thuyết và phương pháp nghiên cứu
Khung lý thuyết và khái niệm cơ sở
Luận án sử dụng ngôn ngữ của lý thuyết đại số toán tử và giải tích hàm hiện đại:
- Đại số von Neumann: Ký hiệu là $A$, là $$-đại số con đóng yếu (hoặc đóng mạnh) của đại số $B(H)$ các toán tử tuyến tính bị chặn trên không gian Hilbert phức $H$, chứa toán tử đơn vị $\mathbf{1}$ và tự liên hợp ($x \in A \Rightarrow x^ \in A$).
- Hình chiếu (Projection): Tập hợp các phép chiếu trực giao trong $A$ ký hiệu là $Proj(A)$. Hai phép chiếu $p, q \in Proj(A)$ tương đương ($p \sim q$) nếu tồn tại toán tử đẳng cự bộ phận $u \in A$ sao cho $u^u = p$ và $uu^ = q$. Ta viết $p \prec q$ nếu $p$ tương đương với một phép chiếu con của $q$.
- Trạng thái và vết: Phiếm hàm tuyến tính dương $\varphi$ trên $A$ với $\varphi(\mathbf{1}) = 1$ gọi là một trạng thái. Trạng thái $\varphi$ là chuẩn tắc nếu liên tục trên các lưới đơn điệu theo tôpô mạnh; chính xác nếu $\varphi(x^*x) = 0 \Rightarrow x = 0$. Vết $\tau$ là phiếm hàm thỏa mãn $\tau(xy) = \tau(yx)$ với mọi $x, y \in A$. Đại số $A$ là hữu hạn khi và chỉ khi trên $A$ tồn tại vết hữu hạn, chuẩn tắc, chính xác $\tau$.
- Đại số các toán tử đo được: Với đại số von Neumann hữu hạn $A$ cùng vết chuẩn tắc, chính xác $\tau$, tôpô độ đo trên $A$ được xác định bởi hệ lân cận của gốc tọa độ:
$$N(\epsilon, \delta) = {x \in A : \exists p \in Proj(A), |xp| < \epsilon, \tau(\mathbf{1} - p) < \delta}$$
Bao đóng đầy đủ của $A$ theo tôpô độ đo được ký hiệu là $\tilde{A}$, gọi là $*$-đại số các toán tử đo được. Mọi toán tử đo được $x \in \tilde{A}$ đều là toán tử đóng, xác định trù mật trên $H$ và có phân tích cực $x = u|x|$, trong đó $|x| = (x^*x)^{1/2}$, $u$ là phép đẳng cự bộ phận thuộc $A$.
- Không gian $L^r(A, \tau)$: Với $1 \le r < \infty$, đặt $|x|_r = (\tau(|x|^r))^{1/r}$ với $x \in A$. Bao đóng của $A$ theo chuẩn này ký hiệu là $L^r(A, \tau)$. Khi $r = 2$, $L^2(A, \tau)$ là không gian Hilbert với tích vô hướng $(x, y) = \tau(y^*x)$.
- Kỳ vọng có điều kiện và Martingale: Nếu $B$ là đại số von Neumann con của $A$, phép chiếu trực giao từ $L^2(A, \tau)$ lên $L^2(B, \tau)$ xác định ánh xạ kỳ vọng có điều kiện $E(\cdot|B)$. Dãy $(x_n) \subset L^1(A, \tau)$ tương thích với dãy đại số con tăng $(B_n)$ được gọi là martingale hiệu nếu $E(x_n | B_{n-1}) = 0$.
Các khái niệm hội tụ trong xác suất không giao hoán
Luận án định nghĩa tường minh các kiểu hội tụ cho dãy $d$-chỉ số $(x(n))_{n \in \mathbb{N}^d} \subset \tilde{A}$ về toán tử $x \in \tilde{A}$:
| Dạng hội tụ |
Ký hiệu / Định nghĩa toán học |
Ý nghĩa giải tích |
| Hội tụ hầu đều (Almost uniform) |
$\forall \epsilon > 0, \exists p \in Proj(A): \tau(\mathbf{1} - p) < \epsilon$, $(x(n) - x)p \in A$, $|(x(n) - x)p| \to 0$ |
Mở rộng tự nhiên của hội tụ hầu chắc chắn thông qua định lý Egorov |
| Hội tụ hầu đều hai phía (Bilateral almost uniform) |
$\forall \epsilon > 0, \exists p \in Proj(A): \tau(\mathbf{1} - p) < \epsilon$, $p(x(n) - x)p \in A$, $|p(x(n) - x)p| \to 0$ |
Dạng hội tụ đối xứng phù hợp với cấu trúc toán tử tự liên hợp |
| Hội tụ theo độ đo (In measure) |
$\forall \epsilon > 0, \tau(e_{(\epsilon, \infty)}( |
x(n) - x |
| Hội tụ đầy đủ (Complete) |
$\forall \epsilon > 0, \exists (q(n)) \subset Proj(A): \sum_{n} \tau(\mathbf{1} - q(n)) < \infty$, $(x(n)-x)q(n) \in A$, $|(x(n)-x)q(n)| < \epsilon$ |
Kéo theo hội tụ hầu đều khi $ |
| Hội tụ dạng Hsu-Robbins |
$\forall \epsilon > 0, \sum_{ |
n |
Các dạng độc lập của toán tử đo được
Để khắc phục tính không giao hoán, luận án đưa ra ba mức độ độc lập cho các $*$-đại số con đóng theo tôpô độ đo của $\tilde{A}$:
- Độc lập từng cặp: $A_1$ và $A_2$ độc lập nếu $\tau(ab) = \tau(a)\tau(b)$ với mọi $a \in A_1, b \in A_2$.
- Độc lập liên tiếp: Dãy $(x_n)$ độc lập liên tiếp nếu với mọi $m$, đại số $W^(x_m)$ sinh bởi $x_m$ độc lập với đại số $W^(x_k : k < m)$.
- Độc lập mạnh: Với mọi cặp tập chỉ số rời nhau $K_1, K_2 \subset \mathbb{N}^d$ ($K_1 \cap K_2 = \emptyset$), đại số sinh bởi họ ${x(n) : n \in K_1}$ độc lập với đại số sinh bởi họ ${x(n) : n \in K_2}$.
Phương pháp nghiên cứu thực tế
Luận án sử dụng phương pháp nghiên cứu lý thuyết giải tích toán học:
- Kỹ thuật cắt cụt toán tử (Truncation method): Sử dụng các phép chiếu phổ $e_{[0, c)}(|x|)$ của toán tử tự liên hợp để tách toán tử thành phần bị chặn và phần đuôi phổ.
- Phương pháp Etemadi mở rộng: Khắc phục việc không thể dùng bất đẳng thức cực đại Kolmogorov bằng cách sử dụng bất đẳng thức Chebyshev kết hợp các phân tích dãy con đơn điệu và quy nạp giải tích nhiều chiều trên lưới $\mathbb{N}^d$.
- Phép phân tích cực và tích phân phổ: Khai thác biểu diễn phổ $x = \int_0^\infty \lambda de_\lambda(|x|)$ và phương pháp tích phân từng phần để ước lượng giá trị vết của các hàm toán tử.
Nội dung chính theo từng chương
Chương I: Một số khái niệm và kết quả liên quan
Chương I xây dựng hệ thống nền tảng cho toàn bộ luận án:
- Trình bày định nghĩa đại số von Neumann, trạng thái chuẩn tắc, chính xác và vết hữu hạn $\tau$.
- Xây dựng đại số các toán tử đo được $\tilde{A}$ qua bổ đề về phân tích cực và các tính chất: nếu $x \in \tilde{A}$ và $g$ là hàm đo được trên $[0, \infty)$ sao cho $\inf g^{-1}(\lambda, \infty) \to \infty$ khi $\lambda \to \infty$ thì $g(|x|) \in \tilde{A}$.
- Thiết lập định nghĩa thứ tự và phép toán trên lưới chỉ số $\mathbb{N}^d$: với $m = (m_1, \dots, m_d)$ và $n = (n_1, \dots, n_d)$, thứ tự bộ phận xác định bởi $m \le n \Leftrightarrow m_i \le n_i, \forall i = 1, \dots, d$. Đặt $|n| = n_1 \dots n_d$.
- Phân tích mối quan hệ giữa các dạng hội tụ:
- Khi đại số $A$ là giao hoán, hội tụ hầu đều và hội tụ hầu đều hai phía trùng nhau.
- Trong trường hợp tổng quát, hội tụ hầu đều kéo theo hội tụ hầu đều hai phía.
- Thiết lập tiêu chuẩn tương đương cho hội tụ theo độ đo thông qua phổ $\tau(e_{(\epsilon, \infty)}(|x(n) - x|)) \to 0$.
- Trình bày không gian $L^r(A, \tau)$, tính chất của kỳ vọng có điều kiện bảo toàn vết, và định nghĩa dãy martingale, martingale hiệu đối với dãy tăng các đại số con $(B_n)$.
Chương II: Một số định lý giới hạn dạng luật số lớn đối với các toán tử đo được độc lập
Chương II là trọng tâm của luận án, chia thành 4 tiết:
Tiết I: Mở đầu
Giới thiệu tổng quan hướng nghiên cứu, đặt vấn đề mở rộng kết quả cổ điển của C.C. Heyde, N. Etemadi, O.I. Klesov và R. Jajte sang không gian các toán tử đo được không giao hoán.
Tiết II: Sự hội tụ của tổng có trọng lượng
Tiết này nghiên cứu điều kiện hội tụ của tổng có trọng lượng $\sum_{k=1}^n a_{nk} x_k$:
- Định lý II.1 (Luật yếu số lớn cho tổng có trọng lượng Toeplitz): Cho ma trận Toeplitz $(a_{nk})$ thỏa mãn $\lim_{n \to \infty} a_{nk} = 0$ với mọi $k \ge 1$ và $\sum_{k=1}^n |a_{nk}| \le C$. Nếu $(x_k) \subset \tilde{A}$ là dãy toán tử đo được, tự liên hợp, độc lập từng cặp, cùng phân phối và thỏa mãn:
- $\lim_{t \to \infty} t \tau(e_{(t, \infty)}(|x_1|)) = 0$
- $\lim_{t \to \infty} \tau(x_1 e_{[0, t]}(|x_1|)) = a \in \mathbb{C}$
- $\max_{1 \le k \le n} |a_{nk}| \to 0$ khi $n \to \infty$
Thì tổng $\sum_{k=1}^n a_{nk} x_k$ hội tụ theo độ đo về $a \cdot \mathbf{1}$.
- Định lý II.2 và Định lý II.3 (Hội tụ hầu đều của tổng có trọng lượng): Cho dãy $(a_n)$ và $(A_n)$ với $a_n > 0$, $A_n \uparrow \infty$, $a_n / A_n \to 0$. Dãy $(x_k)$ độc lập liên tiếp, có $\tau(x_k) = 0$ và thỏa mãn điều kiện tích phân kiểu Heyde:
$$\int_0^\infty \lambda \tau(e_{(\lambda, \infty)}(|x_k|)) \int_0^\lambda \frac{u}{A(u)} du d\lambda < \infty$$
Khi đó $\frac{1}{A_n} \sum_{k=1}^n a_k x_k \to 0$ hầu đều khi $n \to \infty$.
- Hệ quả II.1 (Luật Marcinkiewicz-Zygmund): Nếu $(x_k)$ độc lập liên tiếp, $\tau(x_k) = 0$, thỏa mãn điều kiện trội phân phối bởi $x$ với $\tau(|x|^p) < \infty$ ($1 < p < 2$), thì:
$$\frac{1}{n^{1/p}} \sum_{k=1}^n x_k \to 0 \quad \text{hầu đều khi } n \to \infty$$
Tiết III: Luật yếu và luật mạnh số lớn cho dãy nhiều chỉ số
- Định lý III.1 và Hệ quả III.1, III.2 (Luật yếu): Thiết lập cho dãy $d$-chỉ số $(x(n)){n \in \mathbb{N}^d}$ tự liên hợp, độc lập từng cặp. Chứng minh sự hội tụ theo độ đo của trung bình cộng $|n|^{-1} \sum{k \le n} x(k)$ về $\tau(x(1))\mathbf{1}$ với điều kiện $\tau(|x(1)|) < \infty$, mở rộng trực tiếp định lý của Klesov sang dạng không giao hoán.
- Định lý III.2 (Luật mạnh số lớn Kolmogorov một chiều): Nếu $(x_n)$ độc lập từng cặp, tự liên hợp, cùng phân phối và $\tau(|x_1|) < \infty$, thì:
$$\frac{1}{n} \sum_{k=1}^n x_k \to \tau(x_1)\mathbf{1} \quad \text{hầu đều hai phía khi } n \to \infty$$
- Định lý III.3 (Luật mạnh số lớn cho dãy nhiều chỉ số): Cho dãy $d$-chỉ số $(x(n)){n \in \mathbb{N}^d}$ độc lập mạnh, tự liên hợp, cùng phân phối. Nếu thỏa mãn điều kiện tích phân logarit:
$$\tau\left(|x(1)| \left(\log^+ |x(1)|\right)^{d-1}\right) < \infty$$
Thì tổng trung bình cộng hội tụ hầu đều hai phía:
$$\frac{1}{|n|} \sum{k \le n} x(k) \to \tau(x(1))\mathbf{1} \quad \text{khi } |n| \to \infty \text{ và khi } n \to \infty$$
Chứng minh sử dụng phương pháp Etemadi mở rộng, kết hợp quy nạp từ trường hợp $d=1$ lên $d=2$ và tổng quát hóa cho $d$ chiều qua các lát cắt tọa độ.
Tiết IV: Luật số lớn dạng Hsu-Robbins
Tiết này mở rộng công trình của R. Jajte:
- Khảo sát dãy toán tử $(x_n) \subset \tilde{A}$ độc lập liên tiếp, tự liên hợp, không nhất thiết cùng phân phối.
- Xét dãy các số thực dương $(t_i)$ và dãy con số tự nhiên tăng $(n_i)$.
- Định lý IV.1: Thiết lập các điều kiện chuỗi hội tụ đối với vết của các phép chiếu phổ:
$$\sum_{i=1}^\infty t_i \sum_{k=1}^{n_i} \tau\left(e_{(\epsilon, \infty)}(|x_k|)\right) < \infty$$
kết hợp các ước lượng kỳ vọng cắt cụt để suy ra:
$$\sum_{i=1}^\infty t_i \tau\left(e_{(\epsilon, \infty)}\left(\left|\sum_{k=1}^{n_i} x_k\right|\right)\right) < \infty$$
- Mở rộng luật dạng Hsu-Robbins cho dãy 2 chỉ số trên các tập con của $\mathbb{N}^2$.
Chương 3: Một số định lý giới hạn dạng luật số lớn đối với martingale
Chương 3 mở rộng các định lý giới hạn từ dãy độc lập sang dãy phụ thuộc dạng martingale:
- Khảo sát martingale $(S_n = \sum_{k=1}^n x_k, B_n)$ với dãy martingale hiệu tương ứng $(x_k)$.
- Thiết lập các điều kiện đủ về mômen và vết cho sự hội tụ hầu đều hai phía và hội tụ theo độ đo của tổng có trọng lượng $\sum_{k=1}^n a_k x_k / A_n$.
- Thiết lập luật số lớn cho dạng toàn phương của martingale hiệu $\sum_{k=1}^n |x_k|^2 / A_n$.
- Các kết quả này cung cấp sự mở rộng tương ứng từ trường hợp xác suất cổ điển sang đại số von Neumann cho các cấu trúc quá trình ngẫu nhiên không giao hoán.
Kết quả và những đóng góp mới
Luận án tự nêu các đóng góp mới về lý luận toán học như sau:
- Mở rộng lý thuyết tổng có trọng lượng: Thiết lập trọn vẹn các điều kiện đủ cho sự hội tụ theo độ đo và hội tụ hầu đều của tổng có trọng lượng các toán tử đo được độc lập trên đại số von Neumann hữu hạn, mở rộng kết quả cổ điển của C.C. Heyde và bao hàm kết quả của A. Łuczek như các trường hợp riêng.
- Thiết lập luật số lớn cho dãy nhiều chỉ số trong giải tích không giao hoán: Đạt được các kết quả đầu tiên về luật yếu và luật mạnh số lớn cho dãy toán tử đo được mang $d$-chỉ số ($d \ge 2$). Việc mở rộng định lý Klesov và việc chứng minh luật mạnh số lớn thỏa mãn điều kiện mômen logarit $\tau(|x(1)|(\log^+ |x(1)|)^{d-1}) < \infty$ là những kết quả đầu tiên thuộc dạng này trong lý thuyết xác suất không giao hoán.
- Phát triển kỹ thuật chứng minh không phụ thuộc bất đẳng thức cực đại: Đã khắc phục khó khăn do thiếu vắng bất đẳng thức cực đại Kolmogorov trong không gian không giao hoán bằng cách thích nghi thành công phương pháp Etemadi, sử dụng bất đẳng thức Chebyshev và cấu trúc topo độ đo trên đại số von Neumann.
- Tổng quát hóa luật Hsu-Robbins: Mở rộng kết quả của R. Jajte từ trường hợp các toán tử độc lập cùng phân phối sang trường hợp dãy toán tử độc lập liên tiếp không cùng phân phối, lấy tổng trên các dãy con đơn điệu tùy ý và mở rộng lên trường hợp dãy hai chỉ số.
- Định lý giới hạn cho Martingale không giao hoán: Thiết lập các điều kiện đủ đầu tiên cho sự hội tụ hầu đều hai phía và hội tụ theo độ đo của tổng có trọng lượng và dạng toàn phương của martingale hiệu trong đại số von Neumann.
Về mặt công bố: Phần lớn các kết quả của luận án đã được báo cáo tại seminar của Bộ môn Xác suất Thống kê, Khoa Toán - Cơ - Tin học, Trường Đại học Tổng hợp Hà Nội (nay là Trường Đại học Khoa học Tự nhiên - ĐHQG Hà Nội) và công bố trên các tạp chí chuyên ngành toán học.
Hạn chế và hướng nghiên cứu tiếp
Hạn chế
Văn bản nêu rõ các giới hạn phạm vi nghiên cứu:
- Chỉ xét trường hợp đại số von Neumann hữu hạn $A$ được trang bị trạng thái vết hữu hạn, chuẩn tắc, chính xác $\tau$. Luận án chưa xem xét trường hợp trạng thái tổng quát không phải là vết (khi $\tau(xy) \neq \tau(yx)$).
- Trong trường hợp tổng quát của các trạng thái không phải là vết, các vấn đề về sự tồn tại, tính chất đóng kín của các đại số toán tử đo được đối với các phép toán giải tích đòi hỏi các công cụ phức tạp hơn mà luận án chưa đi sâu giải quyết.
- Đối với dãy nhiều chỉ số trong luật mạnh, luận án đòi hỏi giả thiết độc lập mạnh giữa các đại số con sinh bởi các tập chỉ số rời nhau.
Hướng nghiên cứu tiếp
Dựa trên các nhận xét bổ sung ở cuối Chương I của văn bản, các hướng nghiên cứu mở rộng bao gồm:
- Nghiên cứu các định lý giới hạn dạng luật số lớn trong trường hợp trạng thái tổng quát (không phải là trạng thái vết) trên đại số von Neumann nửa hữu hạn hoặc vô hạn.
- Khảo sát tính đóng kín và sự tồn tại của kỳ vọng có điều kiện và martingale khi không có vết chuẩn tắc chính xác.
- Mở rộng nghiên cứu các dạng hội tụ khác đã được đề cập trong lý thuyết xác suất không giao hoán đối với dãy nhiều chỉ số.
Giá trị tham khảo
Luận án là tài liệu chuyên khảo lý thuyết hữu ích cho các đối tượng và định hướng nghiên cứu sau:
- Nghiên cứu sinh và học viên cao học ngành Toán học: Đặc biệt thuộc các chuyên ngành Xác suất - Thống kê, Giải tích hàm, Lý thuyết toán tử và Vật lý toán.
- Giảng viên và nhà nghiên cứu lý thuyết xác suất hiện đại: Cung cấp tài liệu tham khảo chi tiết về kỹ thuật xử lý giải tích toán tử không giao hoán mà không cần không gian xác suất cơ bản.
- Các phần đáng tham khảo nhất trong văn bản:
- Chương I (Mục 1.6 - 1.16): Cung cấp hệ thống định nghĩa chuẩn xác về đại số các toán tử đo được $\tilde{A}$, phân tích cực, các dạng hội tụ (hầu đều, hầu đều hai phía, theo độ đo, đầy đủ) và các cấp độ độc lập toán tử.
- Chương II (Tiết III): Kỹ thuật thích nghi phương pháp Etemadi cho dãy nhiều chỉ số là một mẫu hình chứng minh giải tích mẫu mực khi không thể áp dụng bất đẳng thức cực đại kiểu Kolmogorov.
- Chương II (Tiết IV): Phương pháp ước lượng phổ của tổng toán tử không cùng phân phối trong luật dạng Hsu-Robbins.
Câu hỏi thường gặp
1. Tại sao các công cụ giải tích xác suất cổ điển lại thất bại hoặc gặp khó khăn khi chuyển sang lý thuyết xác suất không giao hoán?
Trong lý thuyết xác suất không giao hoán, không tồn tại không gian mẫu cơ bản $(\Omega, \mathcal{F}, P)$, các toán tử không giao hoán qua phép nhân ($xy \neq yx$), và không thể định nghĩa các toán tử $\max, \min, \sup, \inf$ cho các toán tử nhận giá trị trong không gian Hilbert. Hơn nữa, tính cộng tính của phép chuyển qua giới hạn và sự tồn tại của kỳ vọng có điều kiện đối với đại số con bất kỳ không còn được bảo toàn tự nhiên như trường hợp giao hoán.
2. Sự khác biệt cốt lõi giữa hội tụ hầu đều và hội tụ hầu đều hai phía trong luận án là gì?
Hội tụ hầu đều yêu cầu tồn tại phép chiếu $p \in Proj(A)$ sao cho $\tau(\mathbf{1}-p) < \epsilon$, hiệu $(x(n) - x)p \in A$ và $|(x(n) - x)p| \to 0$. Trong khi đó, hội tụ hầu đều hai phía chỉ yêu cầu kẹp hai bên: $p(x(n) - x)p \in A$ và $|p(x(n) - x)p| \to 0$. Khi đại số là giao hoán, hai khái niệm này trùng nhau. Nhưng trong đại số không giao hoán tổng quát, hội tụ hầu đều chặt hơn và kéo theo hội tụ hầu đều hai phía.
3. Luận án đã vượt qua rào cản thiếu bất đẳng thức cực đại Kolmogorov trong dãy nhiều chỉ số bằng cách nào?
Trong xác suất cổ điển, luật mạnh cho dãy nhiều chỉ số phụ thuộc vào martingale ngược và bất đẳng thức cực đại kiểu Kolmogorov. Luận án đã thích nghi phương pháp của N. Etemadi: chỉ sử dụng bất đẳng thức Chebyshev kết hợp với kỹ thuật cắt cụt toán tử, phép phân tích cực và phân chia dãy con đơn điệu, sau đó tiến hành quy nạp giải tích trên số chiều không gian $\mathbb{N}^d$ để chứng minh luật mạnh mà không cần dùng đến bất đẳng thức cực đại.
4. Kết quả về luật số lớn dạng Hsu-Robbins của luận án mở rộng công trình của R. Jajte ở những điểm cụ thể nào?
Trong bài báo năm 1987 của R. Jajte, tác giả chỉ xét trường hợp đặc biệt khi dãy toán tử $(x_n)$ độc lập liên tiếp và các toán tử $x_n$ (hoặc $|x_n|$) phải cùng phân phối. Luận án đã mở rộng lên trường hợp tổng quát hơn: dãy các toán tử $(x_n)$ độc lập liên tiếp nhưng không nhất thiết cùng phân phối, các tổng có thể lấy trên dãy con đơn điệu bất kỳ của tập số tự nhiên, đồng thời thiết lập định lý cho cả dãy hai chỉ số.
Kết luận
Luận án tiến sĩ đã giải quyết có hệ thống các bài toán về định lý giới hạn dạng luật số lớn trong khuôn khổ lý thuyết xác suất không giao hoán trên đại số von Neumann hữu hạn có vết. Bằng việc xây dựng các công cụ giải tích toán tử thích hợp và thích nghi phương pháp Etemadi, tác giả đã thiết lập thành công luật yếu và luật mạnh số lớn cho cả dãy đơn chỉ số và dãy nhiều chỉ số của các toán tử đo được độc lập, cũng như tổng quát hóa luật Hsu-Robbins và định lý giới hạn cho martingale. Toàn bộ các kết quả đạt được là những mở rộng có ý nghĩa lý thuyết sâu sắc từ lý thuyết xác suất cổ điển sang giải tích không giao hoán, đặt nền tảng quan trọng cho các nghiên cứu tiếp theo về quá trình ngẫu nhiên lượng tử.
