Tổng quan luận án

Luận án tiến sĩ toán học với đề tài "Một số định lý giới hạn trong xác suất không giao hoán" do nghiên cứu sinh Đỗ Thế Sơn thực hiện tại Trường Đại học Vinh, thuộc chuyên ngành Lý thuyết xác suất và Thống kê toán học (mã số 9460106), dưới sự hướng dẫn khoa học của GS. Nguyễn Văn Quảng và TS. Lê Hồng Sơn.

Tính cấp thiết và khoảng trống nghiên cứu

Lý thuyết xác suất cổ điển nghiên cứu các biến ngẫu nhiên giao hoán trên không gian xác suất cơ bản $(\Omega, \mathcal{F}, P)$. Tuy nhiên, nhiều bài toán phát sinh từ cơ học lượng tử và vật lý hiện đại đòi hỏi một mô hình toán học trong đó các đại lượng quan sát không có tính chất giao hoán. Lý thuyết xác suất không giao hoán được xây dựng trên nền tảng của đại số von Neumann và lý thuyết tích phân không giao hoán. Trong không gian xác suất không giao hoán, các biến ngẫu nhiên được thay thế bằng các toán tử tuyến tính bị chặn trên đại số von Neumann hoặc các toán tử đo được liên kết với đại số von Neumann đối với một trạng thái vết.

Khó khăn cốt lõi trong xác suất không giao hoán xuất phát từ việc phép nhân toán tử không có tính giao hoán ($XY \neq YX$), đồng thời không thể xác định trực tiếp các phép toán lấy cực trị như $\max$ hay $\min$ của các toán tử. Nghiên cứu luật số lớn trong xác suất không giao hoán được chia làm hai hướng chính:

  1. Toán tử bị chặn trên đại số von Neumann với trạng thái: Gặp hạn chế do các tính chất đặc thù của trạng thái.
  2. Toán tử đo được với trạng thái vết chuẩn tắc, chính xác: Tính không bị chặn của các toán tử đo được làm nảy sinh nhiều vấn đề kỹ thuật phức tạp.

Khoảng trống nghiên cứu mà luận án tập trung giải quyết là mở rộng các định lý giới hạn dạng luật mạnh và luật yếu số lớn từ trường hợp các toán tử độc lập liên tiếp sang các trường hợp tổng quát hơn: dãy các toán tử đo được dương, dãy các toán tử độc lập đôi một, dãy các toán tử $m$-phụ thuộc, cùng với các cấu trúc mảng toán tử đo được thỏa mãn các điều kiện khả tích mới.

Mục tiêu và nhiệm vụ nghiên cứu

Mục đích nghiên cứu của luận án được xác định cụ thể bao gồm các nhiệm vụ đánh số sau:

  1. Thiết lập các định lý giới hạn dạng luật mạnh số lớn cho dãy các toán tử đo được dương dưới điều kiện bị chặn kiểu Cesàro và điều kiện tương quan song tuyến tính.
  2. Mở rộng các kết quả luật mạnh số lớn cho dãy các toán tử đo được độc lập đôi một (cùng phân phối hoặc không cùng phân phối) với sự hội tụ hầu đều hai phía.
  3. Nghiên cứu và thiết lập các điều kiện tương đương của tính khả tích đều; xây dựng các khái niệm khả tích mới như khả tích mạnh mức $\alpha$ (SCI($\alpha$)), khả tích đều mạnh Cesàro (SCUI) và chứng minh luật mạnh số lớn tương ứng.
  4. Xây dựng các định lý giới hạn dạng luật yếu số lớn (hội tụ theo độ đo và hội tụ trong $L^1$) cho dãy các toán tử đo được độc lập đôi một hoặc $m$-phụ thuộc thỏa mãn điều kiện khả tích Cesàro dư mức $\alpha$.
  5. Mở rộng khái niệm khả tích sang mảng các toán tử đo được: khả tích đều theo nghĩa Cesàro, $h$-khả tích tương ứng với mảng hằng số ${a_{ni}}$, $h$-khả tích với mũ $r$; từ đó thiết lập các định lý hội tụ trung bình và luật yếu số lớn cho mảng toán tử.

Đối tượng và phạm vi nghiên cứu

  • Đối tượng nghiên cứu: Các toán tử đo được liên kết với đại số von Neumann $\mathcal{A}$ trang bị một trạng thái vết chuẩn tắc, chính xác $\tau$, cùng các định lý giới hạn dạng luật số lớn cho dãy và mảng các toán tử này.
  • Phạm vi nghiên cứu:
    • Về không gian giải tích: Không gian Hilbert phức $H$, đại số toán tử bị chặn $\mathcal{L}(H)$, đại số von Neumann $\mathcal{A}$, không gian các toán tử đo được $\widetilde{\mathcal{A}} \equiv L^0(\mathcal{A}, \tau)$ và các không gian Banach $L^p(\mathcal{A}, \tau)$ với $p \ge 1$.
    • Về các dạng hội tụ: Hội tụ theo chuẩn $|\cdot|_\infty$, hội tụ trong không gian $L^p$, hội tụ theo độ đo $\tau$, hội tụ hầu đều (a.u.) và hội tụ hầu đều hai phía (b.a.u.).
    • Về cấu trúc phụ thuộc: Dãy toán tử đo được độc lập đôi một, độc lập liên tiếp, $m$-phụ thuộc và mảng toán tử độc lập đôi một theo hàng.

Tổng quan tài liệu và vị trí của luận án

Lịch sử nghiên cứu và các công trình liên quan

Lý thuyết tích phân không giao hoán được đặt nền móng từ những năm 1952–1953 bởi I. Segal, sau đó tiếp tục được phát triển bởi R. Kunze (1958) và E. Nelson (1974). Trên cơ sở lý thuyết giải tích hàm và lý thuyết tích phân trên đại số toán tử, C. Jajte (1985) đã hệ thống hóa và thúc đẩy sự phát triển của lý thuyết xác suất không giao hoán.

Nhóm tác giả / Tác giả Thời gian Đóng góp chính được luận án điểm lại
C. Batty 1979 Thiết lập dạng không giao hoán của bất đẳng thức Kolmogorov; chứng minh luật mạnh số lớn đầu tiên cho dãy toán tử đo được độc lập liên tiếp.
A. Luczak 1985, 1988 Thiết lập một số luật mạnh và luật yếu số lớn cho dãy các toán tử đo được độc lập liên tiếp cùng phân phối.
C. Jajte 1985, 1987 Chứng minh luật mạnh số lớn cho dãy toán tử trực giao, định lý ba chuỗi Kolmogorov, và luật mạnh số lớn dạng Chung Kailai trong xác suất không giao hoán.
Nguyễn Duy Tiến, Nguyễn Văn Quảng, Lê Hồng Sơn, Nguyễn Ngọc Huy 2014, 2017 Nghiên cứu luật số lớn cho dãy và mảng các toán tử đo được trong các bài toán xác suất không giao hoán tại Việt Nam.
T. Goswami 2013, 2014 Phát triển kỹ thuật phân rã dãy số và ước lượng cận trên cho tổng các biến ngẫu nhiên dương trong xác suất cổ điển.
V. Korchevsky 2015 Mở rộng định lý luật mạnh số lớn của Petrov và Goswami cho dãy các đại lượng ngẫu nhiên phụ thuộc trong xác suất cổ điển.
S. Chandra, F. Móricz, V. Totik, K. Tandori 1976–1992 Các định lý cổ điển về luật số lớn dưới điều kiện độc lập đôi một, hệ số suy biến và hàm chặn tích phân $G(x)$.

Vị trí và khoảng trống luận án lựa chọn giải quyết

Trong khi phần lớn các công trình kinh điển của C. Batty, A. Luczak hay C. Jajte đòi hỏi giả thiết độc lập liên tiếp (hoặc dãy toán tử trực giao) và phân phối đồng nhất, luận án của Đỗ Thế Sơn lựa chọn giải quyết các bài toán biên chưa có lời giải trong xác suất không giao hoán:

  • Chuyển giao các phương pháp giải tích hiện đại của T. Goswami và V. Korchevsky sang cấu trúc đại số von Neumann không giao hoán để giải quyết luật mạnh số lớn cho dãy toán tử đo được dương không cần độc lập hoàn toàn.
  • Yếu hóa giả thiết độc lập từ độc lập liên tiếp xuống độc lập đôi một và $m$-phụ thuộc cho các toán tử tự liên hợp thuộc $L^0(\mathcal{A}, \tau)$.
  • Thiết lập khái niệm khả tích mới cho mảng toán tử đo được nhằm nghiên cứu luật yếu số lớn với dạng hội tụ theo độ đo $\tau$ và hội tụ trung bình trong $L^1(\mathcal{A}, \tau)$.

Cơ sở lý thuyết và phương pháp nghiên cứu

Cơ sở lý thuyết và khung phân tích

Luận án vận dụng hệ thống giải tích toán tử và xác suất không giao hoán:

  • Đại số von Neumann $\mathcal{A}$: Là một đại số con đóng đối với phép lấy liên hợp của đại số các toán tử tuyến tính bị chặn $\mathcal{L}(H)$ trên không gian Hilbert phức $H$, chứa toán tử đơn vị $\mathbf{1}$, và đóng đối với tôpô toán tử yếu.
  • Trạng thái vết $\tau$: Một phiếm hàm tuyến tính $\tau: \mathcal{A} \to \mathbb{C}$ thỏa mãn các tính chất: dương ($\tau(X) \ge 0$ với mọi $X \ge 0$), chuẩn hóa ($\tau(\mathbf{1}) = 1$), chuẩn tắc (bảo toàn giới hạn của dãy đơn điệu tăng theo tôpô toán tử mạnh), chính xác ($\tau(X) = 0, X \ge 0 \implies X = 0$), và có tính chất vết ($\tau(XY) = \tau(YX)$ với mọi $X, Y \in \mathcal{A}$).
  • Toán tử đo được: Toán tử đóng $X$ xác định trù mật trên $H$ có phân tích cực duy nhất $X = U|X|$ (trong đó $U$ là toán tử đẳng cự bộ phận, $|X| = (X^*X)^{1/2}$) được gọi là liên kết với $\mathcal{A}$ nếu $U \in \mathcal{A}$ và mọi phép chiếu phổ $e_B(|X|)$ đều thuộc $\mathcal{A}$ với mọi tập Borel $B \in \mathcal{B}(\mathbb{R})$. Tập tất cả các toán tử đo được ký hiệu là $\widetilde{\mathcal{A}} \equiv L^0(\mathcal{A}, \tau)$.
  • Không gian $L^p(\mathcal{A}, \tau)$ ($p \ge 1$): Tập hợp các phần tử $X \in L^0(\mathcal{A}, \tau)$ sao cho $|X|_p = [\tau(|X|^p)]^{1/p} < \infty$.
Không gian L∞(A, τ) ≡ A ⊂ LQ(A, τ) ⊂ LP(A, τ) ⊂ L0(A, τ) ≡ Ã  (với 1 ≤ P ≤ Q < ∞)

  • Các khái niệm hội tụ:

    • Hội tụ hầu đều (a.u.): Dãy ${X_n} \subset L^0(\mathcal{A}, \tau)$ hội tụ hầu đều đến $X$ ($X_n \xrightarrow{a.u.} X$) nếu với mọi $\varepsilon > 0$, tồn tại phép chiếu $p \in \mathcal{A}$ sao cho $\tau(p^\perp) < \varepsilon$, $(X_n - X)p \in \mathcal{A}$ và $\lim_{n \to \infty} |(X_n - X)p|_\infty = 0$.
    • Hội tụ hầu đều hai phía (b.a.u.): Dãy ${X_n} \subset L^0(\mathcal{A}, \tau)$ hội tụ hầu đều hai phía đến $X$ ($X_n \xrightarrow{b.a.u.} X$) nếu với mọi $\varepsilon > 0$, tồn tại phép chiếu $p \in \mathcal{A}$ sao cho $\tau(p^\perp) < \varepsilon$, $p(X_n - X)p \in \mathcal{A}$ và $\lim_{n \to \infty} |p(X_n - X)p|_\infty = 0$.
    • Quan hệ giữa các dạng hội tụ: $X_n \xrightarrow{a.u.} X \implies X_n \xrightarrow{b.a.u.} X$; $X_n \xrightarrow{L^p} X \implies X_n \xrightarrow{\tau} X$ (hội tụ theo độ đo).

  • Khái niệm độc lập: Hai đại số von Neumann $\mathcal{A}_1, \mathcal{A}_2 \subset \mathcal{A}$ độc lập nếu $\tau(XY) = \tau(X)\tau(Y)$ với mọi $X \in \mathcal{A}_1, Y \in \mathcal{A}_2$. Hai toán tử $X, Y \in L^0(\mathcal{A}, \tau)$ độc lập nếu hai đại số von Neumann sinh bởi chúng $W^(X)$ và $W^(Y)$ độc lập.

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

Luận án sử dụng các phương pháp toán học thuần túy của giải tích hàm và lý thuyết xác suất:

  1. Phương pháp phân tích phổ: Sử dụng biểu diễn phổ của toán tử tự liên hợp $X = \int_{-\infty}^{+\infty} \lambda e_{d\lambda}(X)$ và phép chiếu phổ $e_B(X)$ để chuyển đổi các tích phân toán tử sang dạng tích phân đại số vết.
  2. Phương pháp chặt cụt (Truncation technique): Tách toán tử $X_n$ thành phần bị chặn $X_n^{(n)} = X_n e_{B_n}(X_n)$ và phần đuôi vô hạn thông qua phép chiếu phổ trên các tập Borel $B_n = [0, n)$ hoặc $B_n = (-n, n)$.
  3. Phương pháp dãy con (Subsequence method): Lập các dãy chỉ số nguyên ${m_l}$ và ${k_s^{\pm}(l)}$ dựa trên tốc độ tăng của dãy số dương $f(n)$ để phân đoạn tổng riêng $S_n$.
  4. Kỹ thuật bất đẳng thức xác suất không giao hoán: Thiết lập và khai thác bất đẳng thức Chebyshev và Markov không giao hoán: $$\tau(e_{[\varepsilon, \infty)}(|X|)) \le \frac{\tau(g(|X|))}{g(\varepsilon)}$$ $$\tau(e_{(\varepsilon, \infty)}(|X_n - X|)) \le \frac{\tau(|X_n - X|^p)}{\varepsilon^p}$$

Nguồn tư liệu nghiên cứu

Luận án sử dụng tài liệu giải tích toán học lý thuyết từ các chuyên khảo quốc tế về lý thuyết toán tử và đại số von Neumann (Takesaki, Kadison, Ringrose, Nelson, Segal, Jajte) và các bài báo khoa học chuyên ngành trên các tạp chí quốc tế về giải tích và xác suất.

Nội dung chính theo từng chương

Cấu trúc nội dung chính của luận án được trình bày trong bảng tổng hợp sau:

Chương Tên chương trong văn bản Nội dung trọng tâm
Chương 1 Kiến thức chuẩn bị Trình bày lý thuyết không gian Hilbert, đại số von Neumann, toán tử đo được, các dạng hội tụ ($L^p, \tau, a.u., b.a.u.$) và các cấu trúc độc lập.
Chương 2 Một số định lý giới hạn dạng luật mạnh số lớn đối với dãy các toán tử đo được Xây dựng luật mạnh số lớn với hội tụ $b.a.u.$ cho dãy toán tử dương, dãy toán tử độc lập đôi một, và dãy toán tử thỏa mãn các điều kiện khả tích mạnh mới.
Chương 3 Một số định lý giới hạn dạng luật yếu số lớn đối với dãy và mảng các toán tử đo được Thiết lập luật yếu số lớn trong $L^1$ và theo độ đo $\tau$ cho dãy độc lập đôi một, $m$-phụ thuộc, và cho mảng toán tử đo được thỏa mãn các điều kiện $h$-khả tích.

Chương 1. Kiến thức chuẩn bị

Chương 1 gồm 4 mục cung cấp các định nghĩa, bổ đề và công cụ cơ sở cho toàn bộ luận án:

  • Mục 1.1 (Toán tử trong không gian Hilbert): Định nghĩa đại số Banach $\mathcal{L}(H)$, phổ $\sigma(T) = {\lambda \in \mathbb{C} : (\lambda \mathbf{1} - T) \text{ không khả nghịch}}$, toán tử bị chặn, toán tử xác định trù mật, toán tử đóng, toán tử tự liên hợp ($T = T^*$), toán tử chuẩn tắc, và toán tử dương ($T \ge 0 \iff \langle T(h), h \rangle \ge 0, \forall h \in D(T)$). Thiết lập định lý biểu diễn phổ cho toán tử tự liên hợp $T = \int_{-\infty}^{+\infty} \lambda dE(\lambda)$ qua khai triển đơn vị $E$.
  • Mục 1.2 (Đại số von Neumann): Trình bày tôpô toán tử mạnh và tôpô toán tử yếu trên $\mathcal{L}(H)$. Định nghĩa đại số von Neumann $\mathcal{A}$, phép chiếu trực giao $p = p^* = p^2$, toán tử đẳng cự bộ phận ($U^*U$ là phép chiếu), tính tương đương của các phép chiếu ($p \sim q \iff \exists U \in \mathcal{A}: U^U = p, UU^ = q$). Thiết lập các tính chất của trạng thái vết chuẩn tắc, chính xác $\tau$.
  • Mục 1.3 (Toán tử đo được): Trình bày phân tích cực $X = U|X|$ của toán tử đóng xác định trù mật; định nghĩa tập các toán tử đo được $\widetilde{\mathcal{A}} \equiv L^0(\mathcal{A}, \tau)$ liên kết với đại số von Neumann $\mathcal{A}$. Xây dựng các không gian $L^p(\mathcal{A}, \tau)$ và chứng minh các bất đẳng thức vết:
    • Bất đẳng thức tam giác phổ: $|X + a| \le |X| + |a|$ với mọi số thực $a \in \mathbb{R}$ và $X$ tự liên hợp.
    • Bất đẳng thức mômen với hằng số $C_r = \max{1, 2^{r-1}}$: $$\tau(|X + a|^r) \le C_r [\tau(|X|^r) + |a|^r]$$
  • Mục 1.4 (Các dạng hội tụ và sự độc lập): Thiết lập định nghĩa hình thức cho 4 dạng hội tụ chính trong $L^0(\mathcal{A}, \tau)$ ($L^p$, theo độ đo $\tau$, hầu đều $a.u.$, hầu đều hai phía $b.a.u.$) và quan hệ giữa chúng. Định nghĩa đại số von Neumann sinh bởi toán tử $W^*(X)$, tính độc lập đôi một, độc lập liên tiếp của dãy ${X_n}$, và tính độc lập đôi một theo hàng của mảng ${X_{nk}}$.

Chương 2. Một số định lý giới hạn dạng luật mạnh số lớn đối với dãy các toán tử đo được

Chương 2 tập trung thiết lập các định lý luật mạnh số lớn với sự hội tụ hầu đều hai phía ($b.a.u.$) cho tổng riêng $S_n = \sum_{k=1}^n X_k$ chuẩn hóa bởi dãy số thực dương không giảm, không bị chặn $f(n)$.

1. Luật mạnh số lớn đối với dãy các toán tử đo được dương (Mục 2.1)

Tác giả mở rộng định lý của T. Goswami [8] và V. Korchevsky [29] sang đại số toán tử không giao hoán:

  • Bổ đề cơ sở (Bổ đề 2.5): Giả sử ${X_n, n \ge 1} \subset L^0(\mathcal{A}, \tau)$ là dãy các toán tử tự liên hợp và ${B_n}$ là dãy tập Borel thỏa mãn $\sum_{n=1}^\infty \tau(e_{B_n^c}(X_n)) < \infty$. Khi đó: $$\frac{S_n - \widetilde{S}n}{f(n)} \xrightarrow{a.u.} 0 \quad \text{khi } n \to \infty \quad \left(\text{với } \widetilde{S}n = \sum{k=1}^n X_k e{B_k}(X_k)\right)$$

  • Định lý 2.6 (Mở rộng định lý Goswami): Giả sử ${X_n} \subset L^0(\mathcal{A}, \tau)$ là dãy các toán tử dương thỏa mãn:

    1. $\sup_{n \ge 1} \frac{\tau(S_n)}{f(n)} < \infty$
    2. Tồn tại dãy kép các số thực không âm ${\rho_{ij}}$ sao cho $\tau(|S_n - \tau(S_n)|^2) \le \sum_{i=1}^n \sum_{j=1}^n \rho_{ij}$ với mọi $n \ge 1$ và $\sum_{i=1}^\infty \sum_{j=1}^\infty \frac{\rho_{ij}}{f(i \vee j)^2} < \infty$

    Khi đó: $$\frac{S_n - \tau(S_n)}{f(n)} \xrightarrow{b.a.u.} 0 \quad \text{khi } n \to \infty$$

  • Hệ quả 2.8 & 2.10 (Mở rộng định lý Korchevsky): Đối với dãy toán tử dương độc lập đôi một, chọn $\rho_{ij} = \tau(X_i X_j) - \tau(X_i)\tau(X_j)$, $f(n) = n$ và $B_n = [0, n)$, thu được: $$\frac{S_n - \tau(\widetilde{S}_n)}{n} \xrightarrow{b.a.u.} 0 \quad \text{khi } n \to \infty$$

  • Định lý 2.11: Xét dãy ${X_n} \subset L^p(\mathcal{A}, \tau)$ ($p \ge 1$), dưới điều kiện tồn tại hàm $\psi(x) \in \psi_c$ sao cho chuỗi $\sum_{n=1}^\infty \frac{1}{\psi(b^n)} < \infty$ với mọi $b > 1$, tác giả thiết lập sự hội tụ $b.a.u.$ của $\frac{S_n - \tau(S_n)}{f(n)}$ về $0$.

2. Luật mạnh số lớn đối với dãy các toán tử đo được độc lập đôi một (Mục 2.2)

Mở rộng các kết quả của S. Chandra, F. Móricz, V. Totik [16], và K. Tandori:

  • Định lý 2.13: Cho ${X_n}$ là dãy toán tử tự liên hợp, độc lập đôi một thỏa mãn:

    1. $\sup_{n \ge 1} \frac{1}{f(n)} \sum_{k=1}^n \tau(|X_k - \tau(X_k)|) < \infty$
    2. $\sum_{i=1}^\infty \sum_{j=1}^\infty \frac{\tau[(X_i - \tau(X_i))(X_j - \tau(X_j))]}{f(i \vee j)^2} < \infty$

    Chứng minh dựa trên phân tích $X_k - \tau(X_k) = Y_k - Z_k$ thành hiệu của hai toán tử dương $Y_k = (X_k - \tau(X_k))^+ \ge 0$ và $Z_k = (X_k - \tau(X_k))^- \ge 0$, áp dụng Định lý 2.6 cho từng dãy tổng riêng $S_n^*$ và $S_n^{**}$.

  • Định lý 2.15 (Mở rộng định lý Tandori): Cho dãy ${X_n}$ tự liên hợp độc lập đôi một, bị chặn bởi hàm phân phối tích phân $G(x)$ trên $[0, \infty)$ với $\int_0^\infty G(x)dx < \infty$. Khi đó: $$\frac{1}{n} \sum_{k=1}^n c_k (X_k - \tau(X_k)) \xrightarrow{b.a.u.} 0 \quad \text{khi } n \to \infty$$ với mọi dãy số thực bị chặn ${c_n}$.

3. Các dạng khả tích đều và luật mạnh số lớn (Mục 2.3)

  • Chứng minh hệ thống các điều kiện tương đương của tính khả tích đều trong không gian xác suất không giao hoán.
  • Xây dựng hai khái niệm mới:
    • Dãy toán tử khả tích mạnh mức $\alpha$ (Strongly Cesàro Integrable of order $\alpha$ - SCI($\alpha$)).
    • Dãy toán tử khả tích đều mạnh Cesàro (Strongly Cesàro Uniformly Integrable - SCUI).
  • Thiết lập các định lý luật mạnh số lớn cho dãy toán tử độc lập đôi một thỏa mãn SCI($\alpha$) và SCUI.

Chương 3. Một số định lý giới hạn dạng luật yếu số lớn đối với dãy và mảng các toán tử đo được

Chương 3 mở rộng phạm vi nghiên cứu sang các cấu trúc phụ thuộc yếu ($m$-phụ thuộc) và cấu trúc mảng toán tử hai chiều ${X_{ni}}$:

1. Luật yếu số lớn đối với dãy các toán tử đo được (Mục 3.1)

  • Nghiên cứu sự hội tụ trong không gian $L^1(\mathcal{A}, \tau)$ và hội tụ theo độ đo $\tau$ cho dãy toán tử đo được tự liên hợp.
  • Xây dựng điều kiện khả tích Cesàro dư mức $\alpha$ và thiết lập luật yếu số lớn cho:
    • Dãy các toán tử độc lập đôi một.
    • Dãy các toán tử $m$-phụ thuộc (mở rộng cấu trúc độc lập sang trường hợp các toán tử cách nhau trên $m$ bước mới độc lập).

2. Luật yếu số lớn đối với mảng các toán tử đo được (Mục 3.2)

Xây dựng khung lý thuyết cho mảng toán tử ${X_{ni}, 1 \le i \le k_n, n \ge 1} \subset L^0(\mathcal{A}, \tau)$:

  • Các khái niệm khả tích mới cho mảng:
    • Khả tích đều theo nghĩa Cesàro cho mảng toán tử.
    • $h$-khả tích tương ứng với mảng hằng số ${a_{ni}}$.
    • $h$-khả tích với mũ $r$ ($r > 0$).
  • Kết quả đạt được: Thiết lập các định lý hội tụ trung bình trong $L^p$ và luật yếu số lớn (hội tụ theo độ đo $\tau$) cho tổng có trọng số $\sum_{i=1}^{k_n} a_{ni} X_{ni}$ dưới các điều kiện độc lập đôi một theo hàng hoặc phụ thuộc suy biến.

Kết quả và những đóng góp mới

Luận án đã đạt được các kết quả khoa học cụ thể được công bố và bảo vệ:

Đóng góp về mặt lý luận

  1. Mở rộng các định lý luật mạnh số lớn cổ điển: Thiết lập thành công phiên bản không giao hoán cho các định lý kinh điển của T. Goswami, V. Korchevsky, S. Chandra, F. Móricz, V. Totik, và K. Tandori trên không gian các toán tử đo được $L^0(\mathcal{A}, \tau)$.
  2. Yếu hóa các điều kiện phụ thuộc: Thay thế điều kiện độc lập liên tiếp trong các công trình trước đây (C. Batty, A. Luczak) bằng điều kiện độc lập đôi một và $m$-phụ thuộc, áp dụng cho cả dãy và mảng toán tử.
  3. Xây dựng hệ thống khái niệm khả tích mới: Đưa ra các định nghĩa và tiêu chuẩn tương đương cho tính khả tích mạnh Cesàro mức $\alpha$ (SCI($\alpha$)), khả tích đều mạnh Cesàro (SCUI), $h$-khả tích với mảng hằng số, và $h$-khả tích mũ $r$ trong đại số von Neumann.

Đóng góp thực tiễn và công bố khoa học

Các kết quả chính của luận án đã được công bố trong 3 bài báo khoa học trên các tạp chí quốc tế thuộc danh mục ISI/Scopus:

  • Statistics & Probability Letters
  • Journal of Theoretical Probability
  • Lobachevskii Journal of Mathematics

Đồng thời, các nội dung nghiên cứu đã được báo cáo tại Đại hội Toán học Việt Nam lần thứ 9 (Nha Trang, 2018), Hội thảo khoa học tại Trường Đại học Vinh (2019), và hệ thống Seminar chuyên ngành Xác suất thống kê (2015–2019).

Hạn chế và hướng nghiên cứu tiếp

Dựa trên nội dung và phạm vi nghiên cứu được trình bày trong văn bản:

  • Hạn chế: Luận án tập trung chủ yếu vào không gian đại số von Neumann với trạng thái vết $\tau$ (trạng thái có tính chất giao hoán vết $\tau(XY) = \tau(YX)$). Các trường hợp toán tử trên đại số von Neumann với trạng thái tổng quát (không có tính chất vết) chưa được giải quyết đầy đủ do cấu trúc giải tích phức tạp của trạng thái không vết.
  • Hướng nghiên cứu tiếp:
    • Mở rộng các định lý giới hạn dạng luật số lớn sang trường hợp đại số von Neumann trang bị trạng thái chuẩn tắc tùy ý (sử dụng lý thuyết tích phân không gian $L^p$ của Haagerup hoặc Hilbert-vết mở rộng).
    • Nghiên cứu các dạng định lý giới hạn khác như định lý giới hạn trung tâm (CLT), luật logarit lặp (LIL) cho mảng toán tử đo được độc lập đôi một hoặc phụ thuộc yếu trong xác suất không giao hoán.

Giá trị tham khảo

Luận án là tài liệu tham khảo chuyên khảo trong lĩnh vực giải tích hàm và lý thuyết xác suất hiện đại:

  • Đối tượng tham khảo:
    • Nghiên cứu sinh, học viên cao học và sinh viên ngành Toán giải tích, Lý thuyết xác suất và Thống kê toán học.
    • Giảng viên, nhà nghiên cứu về đại số toán tử, xác suất lượng tử (quantum probability), và vật lý toán.
  • Các phần có giá trị tham khảo cao:
    • Chương 1: Hệ thống hóa chi tiết các kỹ thuật giải tích phổ, phân tích cực và các dạng hội tụ trên đại số von Neumann.
    • Chương 2 (Mục 2.1 & 2.2): Cung cấp kỹ thuật chi tiết về phương pháp chặt cụt kết hợp phương pháp dãy con trong chứng minh hội tụ hầu đều hai phía ($b.a.u.$).
    • Chương 3 (Mục 3.2): Hệ thống các tiêu chuẩn khả tích mới áp dụng cho mảng toán tử hai chiều.

Câu hỏi thường gặp

1. Tại sao nghiên cứu luật số lớn trong xác suất không giao hoán không thể áp dụng trực tiếp các phương pháp của xác suất cổ điển?

Trong xác suất cổ điển, các biến ngẫu nhiên giao hoán với nhau ($XY = YX$) và có thể xác định các hàm cực trị $\max(X_1, \dots, X_n)$ hay $\min(X_1, \dots, X_n)$. Trong xác suất không giao hoán, các toán tử không giao hoán trong phép nhân và không thể định nghĩa trực tiếp giá trị cực trị. Do đó, các chứng minh cổ điển dựa trên chặn cực trị phải được thay thế hoàn toàn bằng kỹ thuật phân tích phổ, phép chiếu phổ $e_B(X)$, và ước lượng bất đẳng thức qua trạng thái vết $\tau$.

2. Sự khác biệt giữa hội tụ hầu đều (a.u.) và hội tụ hầu đều hai phía (b.a.u.) là gì?

  • Hội tụ hầu đều (a.u.): Đòi hỏi với mọi $\varepsilon > 0$, tồn tại phép chiếu $p \in \mathcal{A}$ sao cho $\tau(p^\perp) < \varepsilon$, $(X_n - X)p \in \mathcal{A}$ và $\lim_{n \to \infty} |(X_n - X)p|_\infty = 0$.
  • Hội tụ hầu đều hai phía (b.a.u.): Đòi hỏi tồn tại phép chiếu $p \in \mathcal{A}$ sao cho $\tau(p^\perp) < \varepsilon$, $p(X_n - X)p \in \mathcal{A}$ và $\lim_{n \to \infty} |p(X_n - X)p|_\infty = 0$. Tính chất: $X_n \xrightarrow{a.u.} X$ luôn suy ra $X_n \xrightarrow{b.a.u.} X$.

3. Điều kiện độc lập đôi một của các toán tử đo được được định nghĩa như thế nào trong luận án?

Hai toán tử đo được $X, Y \in L^0(\mathcal{A}, \tau)$ được gọi là độc lập nếu hai đại số von Neumann sinh bởi chúng là $W^(X)$ và $W^(Y)$ độc lập, nghĩa là $\tau(AB) = \tau(A)\tau(B)$ với mọi $A \in W^(X)$ và mọi $B \in W^(Y)$. Dãy toán tử ${X_n}$ được gọi là độc lập đôi một nếu với mọi $m \neq n$, $W^(X_m)$ và $W^(X_n)$ độc lập.

4. Kết quả của luận án mở rộng định lý của K. Tandori như thế nào?

Luận án mở rộng định lý cổ điển của Tandori sang đại số toán tử (Định lý 2.15) bằng cách chứng minh rằng: nếu dãy toán tử tự liên hợp độc lập đôi một ${X_n} \subset L^0(\mathcal{A}, \tau)$ bị chặn bởi một hàm tích phân $G(x)$ thỏa mãn $\int_0^\infty G(x)dx < \infty$, thì tổng có trọng số $\frac{1}{n}\sum_{k=1}^n c_k (X_k - \tau(X_k))$ hội tụ hầu đều hai phía ($b.a.u.$) về $0$ với mọi dãy số thực bị chặn ${c_n}$.

Kết luận

Luận án "Một số định lý giới hạn trong xác suất không giao hoán" của nghiên cứu sinh Đỗ Thế Sơn là công trình nghiên cứu chuyên sâu thuộc chuyên ngành Lý thuyết xác suất và Thống kê toán học. Tác giả đã thiết lập hệ thống các định lý giới hạn dạng luật mạnh và luật yếu số lớn cho dãy và mảng các toán tử đo được trên đại số von Neumann với trạng thái vết chuẩn tắc, chính xác. Các kết quả của luận án đã mở rộng thành công nhiều định lý kinh điển từ lý thuyết xác suất cổ điển sang mô hình không giao hoán dưới các điều kiện độc lập đôi một, $m$-phụ thuộc và các dạng khả tích Cesàro mới. Công trình đóng góp các luận điểm lý thuyết giải tích toán tử có giá trị học thuật cao, đã được công bố trên các tạp chí quốc tế chuyên ngành uy tín.