Tổng quan về luận án

Lý thuyết xử lý tín hiệu hiện đại và quang học sóng đang chứng kiến bước chuyển dịch mang tính nền tảng từ phân tích miền tần số Fourier cổ điển sang các miền biểu diễn thời gian - tần số tổng quát. Trong các hệ thống thông tin vô tuyến băng rộng, radar khẩu độ tổng hợp (SAR), hệ thống truyền dẫn quang học và cơ học lượng tử, các tín hiệu phi dừng (non-stationary signals) thường xuyên bị biến điệu và suy hao bởi các thành phần nhiễu chirp tổng quát có dạng $e^{i\pi(\eta t^2 + 2\xi t)}$. Phép biến đổi Fourier truyền thống ($\Psi_{\text{FT}}$) và các cấu trúc lọc tuyến tính kinh điển bộc lộ giới hạn nghiêm trọng khi phân bố năng lượng của tín hiệu mong muốn và nhiễu bị chồng lấp hoàn toàn trên trục tần số đơn chiều, dẫn đến việc không thể phân tách hay phục hồi tín hiệu nguyên bản mà không làm suy giảm tỷ số tín hiệu trên tạp âm (SNR).

Nhằm vượt qua ranh giới giải tích này, các biến đổi tích phân mở rộng với nhiều bậc tự do tham số đã được phát triển, tiêu biểu là Biến đổi chính tắc tuyến tính bù (Offset Linear Canonical Transform - OLCT) với 6 tham số độc lập và Biến đổi dạng Hartley chính tắc (Canonical Hartley-type Transform - CHTT). Tuy nhiên, một khoảng trống nghiên cứu cốt lõi (research gap) tồn tại kéo dài trong y văn: cấu trúc đại số của phép chập (convolution structures), các đẳng thức nhân tử hóa (factorization properties), bất đẳng thức giải tích dạng Young, hàm riêng Hermite và nguyên lý bất định Heisenberg liên kết trực tiếp với OLCT và CHTT vẫn chưa được thiết lập một cách toàn diện và chặt chẽ trên các không gian hàm $\mathcal{S}(\mathbb{R})$, $L^1(\mathbb{R})$, $L^2(\mathbb{R})$ và không gian hàm suy rộng $\mathcal{D}'(\mathbb{R})$.

Luận án tiến sĩ toán học của nghiên cứu sinh Lại Tiến Minh với tiêu đề "Phép chập liên kết với Biến đổi chính tắc tuyến tính bù và Biến đổi dạng Hartley chính tắc" đã giải quyết trọn vẹn khoảng trống học thuật này thông qua bốn câu hỏi nghiên cứu và giả thuyết khoa học trung tâm:

  • Câu hỏi nghiên cứu 1 ($RQ_1$): Các tính chất toán tử cơ bản (bổ đề Riemann-Lebesgue, định lý đảo, tính duy nhất, đẳng thức Parseval, tính đẳng cự Plancherel) của OLCT và CHTT được xác lập như thế nào trên không gian Schwartz $\mathcal{S}(\mathbb{R})$ và không gian Hilbert $L^2(\mathbb{R})$?
    Giả thuyết 1 ($H_1$): Tồn tại toán tử mở rộng đẳng cự duy nhất $\tilde{\mathcal{O}}_A: L^2(\mathbb{R}) \to L^2(\mathbb{R})$ bảo toàn tích vô hướng $\langle \mathcal{O}_A f, \mathcal{O}_A g \rangle = \langle f, g \rangle$ và chuẩn $|\mathcal{O}_A f|_2 = |f|_2$.
  • Câu hỏi nghiên cứu 2 ($RQ_2$): Điều kiện biên giải tích nào cho phép thiết lập công thức biến đổi ngược của CHTT mà không gặp phải điểm kỳ dị giải tích?
    Giả thuyết 2 ($H_2$): Biến đổi ngược của CHTT tồn tại duy nhất khi và chỉ khi tham số dịch chuyển $h$ và tham số ma trận $b > 0$ thỏa mãn điều kiện vô tỉ $\frac{h^2}{b} \neq \alpha\pi$ với mọi $\alpha \in \mathbb{Q}$.
  • Câu hỏi nghiên cứu 3 ($RQ_3$): Làm thế nào để xây dựng các cấu trúc chập mới cho OLCT với các hàm trọng số (Hermite, chirp, Gauss) thỏa mãn đẳng thức nhân tử hóa và bất đẳng thức dạng Young?
    Giả thuyết 3 ($H_3$): Các hàm trọng số giải tích cho phép đại số hóa toán tử tích chập thành tích thông thường trong miền OLCT, đóng vai trò hạt nhân để giải chính xác các phương trình tích phân dạng chập.
  • Câu hỏi nghiên cứu 4 ($RQ_4$): Cấu trúc phép chập mới có thể tối ưu hóa thiết kế bộ lọc số và mở rộng Định lý lấy mẫu Whittaker-Shannon-Kotelnikov trong miền OLCT như thế nào?
    Giả thuyết 4 ($H_4$): Bộ lọc nhân, bộ lọc Gauss và bộ lọc kép xây dựng từ phép chập OLCT có độ phức tạp tính toán giải tích thấp hơn các bộ lọc LCT/FrFT tiền nhiệm và khử triệt để nhiễu chirp đa biến.

Khung lý thuyết của luận án được định hình từ Giải tích điều hòa trừu tượng, Lý thuyết phân phối Wigner ($WDF$), Đại số toán tử tích phân và Giải tích hàm suy rộng. Đóng góp đột phá của công trình được lượng hóa qua việc xây dựng 5 cấu trúc phép chập mới liên kết với OLCT, 3 nguyên lý bất định Heisenberg mở rộng, chứng minh giải tích chính xác nghiệm phương trình tích phân tích chập và thiết lập 3 mô hình lọc tín hiệu tối ưu trên không gian pha liên tục.

Literature Review và Positioning

Lịch sử phát triển của các biến đổi tích phân ghi nhận sự tiến hóa từ biến đổi Fourier cổ điển ($\Psi_{\text{FT}}$) sang biến đổi Hartley (Ralph Hartley, 1942; Ronald N. Bracewell, 1986), biến đổi Fourier phân thứ (FrFT - Namias, 1980; Mendlovic, 1996) và biến đổi chính tắc tuyến tính (LCT - Moshinsky & Quesne, 1971; Pei & Ding, 2001). Năm 1994, Abe và Sheridan đã đề xuất Biến đổi chính tắc tuyến tính bù (Offset Linear Canonical Transform - OLCT) nhằm mô hình hóa tổng quát sự lan truyền sóng ánh sáng qua các hệ thống quang học lệch trục với vector tham số $A = (a, b, c, d, u_0, \omega_0) \in \mathbb{R}^6$ thỏa mãn điều kiện đơn modular $ad - bc = 1$. Nhân toán tử của OLCT được xác định bởi: $$K_A(u, t) := \tilde{K}_A \exp\left{i\left(\frac{d}{2b}u^2 - \frac{1}{b}tu + \frac{a}{2b}t^2 + \frac{b\omega_0 - du_0}{b}u + \frac{u_0}{b}t\right)\right}$$ trong đó hằng số chuẩn hóa $\tilde{K}_A := \frac{1}{\sqrt{2\pi b i}} e^{\frac{i}{2b}(cdu_0^2 - 2adu_0\omega_0 + ab\omega_0^2)}$ với $b > 0$.

Trong dòng nghiên cứu về cấu trúc chập, Xiang và Qin (2014) đã giới thiệu phép chập cơ bản liên kết với OLCT: $$(f \star_A g)(t) := \tilde{K}A \int{\mathbb{R}} f(\tau) g(t-\tau) e^{-i\frac{a\tau}{b}(t-\tau)} d\tau$$ thỏa mãn đẳng thức nhân tử hóa: $$\mathcal{O}_A{(f \star_A g)(t)}(u) = e^{-i\left(\frac{d}{2b}u^2 + \frac{b\omega_0 - du_0}{b}u\right)} \mathcal{O}_A{f(t)}(u) \cdot \mathcal{O}_A{g(t)}(u)$$ Năm 2016, Zhi, Wei và Zhang đề xuất phép chập tổng quát $(f \Theta g)(t)$ liên kết với OLCT với tính chất bảo toàn dạng tích thuần túy $\mathcal{O}_A{(f \Theta g)}(u) = \mathcal{O}_A{f}(u) \cdot \mathcal{O}_A{g}(u)$. Song song đó, Shi và các cộng sự (2012) xây dựng cấu trúc chập cho LCT dựa trên 3 bộ tham số ma trận độc lập $B_1^k = (a_k, b_k, c_k, d_k, 0, 0)$ ($k \in {1, 2, 3}$).

Tuy nhiên, các tranh luận học thuật lớn nảy sinh quanh hai quan điểm đối nghịch:

  1. Tranh luận về độ phức tạp giải tích và tính khả thi tính toán: Mô hình của Shi et al. (2012) đòi hỏi việc phối hợp đồng thời ba ma trận biến đổi phụ thuộc, dẫn đến hàm pha trễ $e_{d_1,d_2,d_3}(u)$ cực kỳ phức tạp, làm gia tăng gánh nặng tính toán khi giải tích ngược tín hiệu. Ngược lại, cấu trúc của Xiang & Qin (2014) và Zhi et al. (2016) tuy rút gọn biểu thức nhưng lại thiếu tính linh hoạt khi xử lý các hàm nhân suy rộng có trọng số phi tuyến.
  2. Tranh luận về việc xử lý tín hiệu thực trên miền biến đổi: Biến đổi Fourier và LCT vốn ánh xạ hàm thực sang hàm phức, làm tăng gấp đôi dung lượng bộ nhớ xử lý số. Biến đổi Hartley và CHTT (Canonical Hartley-type Transform - kết hợp nhân $\text{cas}(x) = \cos x + \sin x$) khắc phục triệt để nhược điểm này nhưng lại gặp khó khăn giải tích lớn khi xây dựng biến đổi ngược do sự xuất hiện của các điểm suy biến pha khi hàm lượng giác triệt tiêu.

Luận án của Lại Tiến Minh định vị chính xác tại giao điểm của các tranh luận trên, vượt lên các công trình quốc tế của Abe & Sheridan (1994), Pei & Ding (2007), Shi et al. (2012), Xiang & Qin (2014) và Zhi et al. (2016). Bằng việc đưa vào các hàm trọng số dạng Hermite, chirp và Gauss, tác giả đã dung hòa trọn vẹn giữa bậc tự do tham số mở rộng và tính đơn giản trong thuật toán phân rã tín hiệ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 lý thuyết giải tích hàm và toán tử tích phân thông qua các đóng góp nền tảng sau:

  1. Thiết lập toán tử ngược giải tích của OLCT và CHTT: Chứng minh chặt chẽ công thức biến đổi ngược của OLCT với bộ tham số liên hợp $A^{-1} = (d, -b, -c, a, b\omega_0 - du_0, cu_0 - a\omega_0)$: $$f(t) = C \int_{\mathbb{R}} K_{A^{-1}}(t, u) \mathcal{O}A{f(t)}(u) du$$ với hằng số pha $C := e^{\frac{i}{2}(cdu_0^2 - 2adu_0\omega_0 + ab\omega_0^2)}$. Đối với biến đổi CHTT xác định bởi nhân: $$K{A_1}^h(u, t) := \frac{1}{\sqrt{2\pi b i}} e^{i\left(\frac{d}{2b}u_h^2 + \frac{a}{2b}t_h^2\right)} \text{cas}\left(\frac{u_h t_h - h^2}{b}\right)$$ với $u_h = u+h, t_h = t+h$, luận án phát hiện và chứng minh điều kiện cần và đủ để toán tử ngược tồn tại: $$f(t) = \frac{e^{-i\frac{a}{2b}t_h^2}}{\sqrt{-2\pi b i}\cos\left(\frac{2h^2}{b}\right)} \int_{\mathbb{R}} \mathcal{L}_h{f(t)}(u) e^{-i\frac{d}{2b}u_h^2} \text{cas}\left(\frac{u_h t_h + h^2}{b}\right) du$$ với điều kiện biên loại trừ điểm kỳ dị: không tồn tại $\alpha \in \mathbb{Q}$ sao cho $\frac{h^2}{b} = \alpha\pi$.

  2. Mối quan hệ tổng quát giữa OLCT và hệ hàm Hermite: Pei và Ding (2007) từng chứng minh hàm Hermite là hàm riêng của LCT chỉ dưới điều kiện giới hạn $|a+d| < 2$. Luận án tạo ra bước đột phá khi mở rộng định lý này lên phạm vi tham số tổng quát $|a+d| \ge 2$ với điều kiện $1-ad > 0$. Luận án chứng minh tồn tại tham số co giãn $\lambda > 0$ và bộ vector dịch chuyển $(m_1, m_2, m_3)$ thỏa mãn: $$\mathcal{O}_A\left{e^{im_1 t} \psi_n^\lambda\left(\frac{t-m_2}{\lambda}\right)\right}(u) = \frac{e^{i\left(m_3 - \frac{du_0^2}{2b}\right)}}{\mu_n^\lambda \sqrt{\lambda}} e^{im_1 u} \psi_n^\lambda\left(\frac{u-m_2}{\lambda}\right)$$ trong đó $\psi_n(t) = (-1)^n e^{t^2/2} \frac{d^n}{dt^n} e^{-t^2}$ là hàm Hermite chuẩn hóa và $\mu_n^\lambda$ là các giá trị riêng giải tích tương ứng.

  3. Thiết lập các nguyên lý bất định Heisenberg mở rộng: Chứng minh 3 bất đẳng thức bất định mới cho OLCT và CHTT, thiết lập ranh giới định lượng cho độ tán xạ của tín hiệu trong miền thời gian và miền tần số tổng quát: $$\Delta t^2_{\mathcal{O}A} \cdot \Delta u^2{\mathcal{O}_A} \ge \frac{b^2}{4}$$ khẳng định giới hạn vật lý của độ phân giải tín hiệu trong không gian pha tổng quát.

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

Khung phân tích của luận án tích hợp đa tầng giữa ba cấu trúc lý thuyết:

  • Lý thuyết nhóm chính tắc chuyển vị pha: Tác động của nhóm biến đổi affine $Sp(2, \mathbb{R}) \ltimes \mathbb{R}^2$ lên không gian trạng thái.
  • Không gian hàm kiểm tra Schwartz $\mathcal{S}(\mathbb{R})$ và không gian Sobolev suy rộng: Đảm bảo tính khả vi vô hạn và triệt tiêu nhanh ở vô cực.
  • Đại số toán tử chập có trọng: Xây dựng hệ thống 5 phép chập độc nhất:
    • 3 phép chập liên kết với hàm trọng Hermite: $(f \star_H g)(t)$.
    • 1 phép chập liên kết với hàm trọng chirp: $E_A(t) = e^{i\left(\frac{a}{2b}t^2 + \frac{u_0}{b}t\right)}$.
    • 1 phép chập liên kết với hàm trọng Gauss: $G(t) = \frac{1}{\sqrt{2\pi}b} e^{-\frac{t^2}{2b^2}}$.

Các cấu trúc này đều thỏa mãn bất đẳng thức giải tích dạng Young: $$|f \star_W g|r \le C{A, W} |f|_p |g|_q, \quad \left(\frac{1}{p} + \frac{1}{q} = \frac{1}{r} + 1, ; p, q, r \ge 1\right)$$ tạo cơ sở đại số để chặn chuẩn nghiệm của các phương trình vi tích phân phức tạp.

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

Thiết kế nghiên cứu

Luận án vận hành trên nền tảng phương pháp luận Diễn dịch Logic Toán học thuần túy (Formal Deductive Mathematical Paradigm) kết hợp với Giải tích toán tử kiến thiết (Constructive Operator Analysis). Nghiên cứu không sử dụng phương pháp thống kê thực nghiệm quy nạp mà sử dụng quy trình tiên đề hóa giải tích hàm:

[Không gian Schwartz S(R)] --Thác triển liên tục--> [Không gian Hilbert L^2(R)] --Hội tụ yếu--> [Không gian suy rộng D'(R)]
         |                                                 |                                            |
(Bổ đề Riemann-Lebesgue)                          (Đẳng cự Plancherel)                       (Hàm xung Dirac delta)

Quy trình nghiên cứu rigorous

Tính chặt chẽ toán học của luận án được kiểm soát thông qua các quy trình giải tích nghiêm ngặt:

  • Kỹ thuật xấp xỉ liên tục và thác triển trù mật: Chứng minh toán tử xác định trên không gian trù mật $\mathcal{S}(\mathbb{R}) \subset L^2(\mathbb{R})$, sau đó sử dụng Định lý thác triển liên tục (Continuous Extension Theorem) để mở rộng đẳng cự duy nhất lên toàn bộ không gian Hilbert $L^2(\mathbb{R})$.
  • Định lý đồ thị đóng trong không gian Fréchet: Ứng dụng để chứng minh tính liên tục và tính đóng của toán tử $\mathcal{H}_h$ và $\mathcal{L}_h$ trên $\mathcal{S}(\mathbb{R})$.
  • Khử tích phân suy rộng bằng Định lý Fubini và hạt nhân Dirichlet: Sử dụng bổ đề giới hạn chính quy: $$\lim_{\lambda \to +\infty} \frac{1}{\pi} \int_{\mathbb{R}} f(v) \frac{\sin\left(\frac{\lambda}{b}(v-t)\right)}{v-t} dv = f(t) \quad \text{a.e.}$$ để chứng minh tính hội tụ hầu khắp nơi của biến đổi ngược.
  • Tính duy nhất của toán tử (Injectivity): Chứng minh trực tiếp từ tính trù mật: nếu $\int_{\mathbb{R}} [f_0(u) - f(u)] \Phi(u) du = 0$ với mọi hàm thử $\Phi \in \mathcal{S}(\mathbb{R})$, suy ra $f_0(u) = f(u)$ hầu khắp nơi trên $\mathbb{R}$.

Data và phân tích

  • Đối tượng giải tích: Họ các tín hiệu năng lượng hữu hạn $f(t) \in L^2(\mathbb{R})$, tín hiệu khả tích $L^1(\mathbb{R})$, các phân phối xung Dirac $\delta(t - nT) \in \mathcal{D}'(\mathbb{R})$ và tín hiệu thử nghiệm điển hình trong xử lý tín hiệu: $$r_{in}(t) = 2e^{-0.1(t-7)^2} + e^{i(0.5t^2 + 2t)}$$ trong đó $x(t) = 2e^{-0.1(t-7)^2}$ là tín hiệu mong muốn và $n(t) = e^{i(0.5t^2 + 2t)}$ là nhiễu chirp bậc hai.
  • Kỹ thuật phân tích miền thời gian - tần số: Sử dụng Hàm phân phối Wigner ($WDF$): $$W_f(t, \omega) := \frac{1}{2\pi} \int_{\mathbb{R}} f\left(t + \frac{\tau}{2}\right) \overline{f\left(t - \frac{\tau}{2}\right)} e^{-i\omega\tau} d\tau$$ để trực quan hóa sự quay và biến dạng affine của mặt phẳng pha $(t, \omega)$ dưới tác động của ma trận tham số $A = (a, b, c, d, u_0, \omega_0)$. Góc quay và hệ số góc của đường phân cách năng lượng được xác định chính xác bởi tỷ số $\frac{a}{b} = \frac{\omega_1}{t_1}$.

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

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

  1. Khẳng định tính đẳng cự Plancherel tuyệt đối của OLCT trên $L^2(\mathbb{R})$: Chứng minh định lý đẳng cự hoàn chỉnh: $$\langle \mathcal{O}A f, \mathcal{O}A g \rangle{L^2} = \langle f, g \rangle{L^2} \implies |\mathcal{O}_A f|_2 = |f|_2$$ Điều này chứng minh OLCT bảo toàn $100%$ năng lượng tín hiệu trên toàn bộ không gian Hilbert, giải phóng hoàn toàn các hệ số biến dạng biên vốn tồn tại trong các xấp xỉ rời rạc trước đây.

  2. Khám phá điều kiện giải tích hội tụ của biến đổi ngược CHTT: Xác định chính xác điều kiện $\frac{h^2}{b} \neq \alpha\pi$ ($\alpha \in \mathbb{Q}$), chứng minh rằng khi điều kiện này thỏa mãn, phổ toán tử CHTT là khả nghịch trên toàn bộ $\mathcal{S}(\mathbb{R})$ và $L^2(\mathbb{R})$, khắc phục triệt để hiện tượng chia cho $0$ trong nhân tích phân $\text{cas}\left(\frac{u_h t_h - h^2}{b}\right)$.

  3. Giải thành công phương trình tích phân tích chập Fredholm loại hai dạng mới: Sử dụng phép chập có trọng Hermite và chirp, luận án quy đổi phương trình tích phân dạng: $$f(t) + \lambda (f \star_W g)(t) = h(t)$$ về phương trình đại số tuyến tính trong miền OLCT: $$\mathcal{O}_A{f}(u) \left[1 + \lambda \Gamma_W(u) \mathcal{O}_A{g}(u)\right] = \mathcal{O}_A{h}(u)$$ cho phép tìm ra nghiệm giải tích tường minh dạng giải tích chính xác $f(t) = \mathcal{O}_A^{-1}\left{\frac{\mathcal{O}_A{h}(u)}{1 + \lambda \Gamma_W(u) \mathcal{O}_A{g}(u)}\right}(t)$.

  4. Thiết lập Định lý lấy mẫu Whittaker-Shannon trong miền OLCT: Mở rộng định lý lấy mẫu kinh điển cho tín hiệu có dải tần bị chặn trên miền chính tắc tuyến tính bù $\Omega$. Luận án chứng minh tín hiệu $f(t)$ có thể khôi phục chính xác $100%$ từ chuỗi mẫu rời rạc $f(nT)$ tại chu kỳ lấy mẫu $T \le \frac{\pi b}{\Omega}$: $$f(t) = \sum_{n=-\infty}^{+\infty} f(nT) e^{i\frac{a}{2b}((nT)^2 - t^2) + i\frac{u_0}{b}(nT - t)} \frac{\sin\left(\frac{\Omega}{b}(t - nT)\right)}{\frac{\Omega}{b}(t - nT)}$$

  5. Đột phá thiết kế 3 cấu trúc lọc tín hiệu thế hệ mới:

    • Bộ lọc nhân (Multiplicative Filter): $r_{out}(t) = \mathcal{O}_A^{-1}{\mathcal{O}A{r{in}}(u) \cdot H(u)}(t)$.
    • Bộ lọc Gauss (Gaussian Filter): Khử nhiễu biên mượt mà không gây hiện tượng Gibbs.
    • Bộ lọc kép (Dual Filter): Tách đồng thời nhiều thành phần nhiễu chirp đa hướng trong mặt phẳng pha.

Implications đa chiều

  • Về mặt lý thuyết: Thống nhất và tổng quát hóa toàn diện các lý thuyết biến đổi Fourier, FrFT, LCT và Hartley dưới một cấu trúc toán tử đại số duy nhất.
  • Về mặt phương pháp luận: Cung cấp công cụ đại số hóa giải tích mới để xử lý các lớp phương trình đạo hàm riêng và phương trình tích phân kỳ dị trong vật lý toán.
  • Về mặt ứng dụng thực tiễn: Tạo tiền đề nâng cấp các thuật toán xử lý tín hiệu trong hệ thống Radar độ phân giải cao, hệ thống định vị thủy âm (Sonar), viễn thông thế hệ mới (5G/6G OTFS - Orthogonal Time Frequency Space), và kỹ thuật nén ảnh y tế (MRI/CT).

Limitations và Future Research

Luận án thẳng thắn chỉ ra các giới hạn nghiên cứu nội tại:

  1. Giới hạn không gian chiều: Toàn bộ hệ thống định lý và phép chập được xây dựng trên không gian 1 chiều $\mathbb{R}^1$. Việc mở rộng lên không gian đa chiều $\mathbb{R}^n$ đòi hỏi xử lý ma trận tham số symplectic phức tạp kích thước $2n \times 2n$.
  2. Điều kiện tham số chính quy: Luận án luôn giả định tham số ma trận $b > 0$, loại trừ trường hợp suy biến $b = 0$ (tương ứng với toán tử nhân pha thuần túy và biến đổi tỉ lệ).
  3. Thực thi tính toán số: Luận án tập trung vào tính chặt chẽ giải tích thuần túy, chưa tối ưu hóa thuật toán rời rạc hóa nhanh (Fast OLCT Algorithm) trên phần cứng chuyên dụng FPGA hoặc DSP.

Chương trình nghiên cứu tiếp nối trong tương lai:

  • Xây dựng Biến đổi OLCT và CHTT trên đại số Quaternion và Clifford để ứng dụng trong xử lý ảnh màu 3D và dữ liệu không-thời gian.
  • Phát triển mạng nơ-ron tích chập trên miền chính tắc tuyến tính bù (OLCT-CNN) nhằm tự động học tham số tối ưu $A$ cho các bài toán nhận dạng mẫu radar phức tạp.
  • Nghiên cứu định lý lấy mẫu ngẫu nhiên (Compressed Sensing) trong miền OLCT cho các tín hiệu thưa (sparse signals).

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

  • Ảnh hưởng học thuật: Các kết quả của luận án được công bố trên 4 công trình khoa học chuyên ngành, báo cáo tại Đại hội Toán học Việt Nam lần thứ IX (Nha Trang, 2018) và các seminar chuyên môn tại Trường ĐH Khoa học Tự nhiên - ĐHQGHN. Công trình mở ra tiềm năng trích dẫn lớn trong các tạp chí quốc tế hàng đầu (như IEEE Transactions on Signal Processing, Applied and Computational Harmonic Analysis, Signal Processing).
  • Chuyển đổi công nghiệp: Cung cấp thuật toán nền tảng cho R&D công nghệ cao trong viễn thông vô tuyến, khử nhiễu radar quân sự và đo lường quang học chính xác.
  • Tác động quốc tế: Kết nối trực tiếp và giải quyết triệt để các bài toán mở được đặt ra bởi các nhóm nghiên cứu tiên phong tại Hoa Kỳ, Trung Quốc, Ireland và Đài Loan.

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

  • Nghiên cứu sinh & Nhà toán học lý thuyết: Tiếp cận hệ thống chứng minh giải tích mẫu mực về toán tử tích phân, cấu trúc chập và nguyên lý bất định.
  • Kỹ sư R&D Điện tử - Viễn thông: Ứng dụng trực tiếp cấu trúc bộ lọc nhân và bộ lọc kép để thiết kế hệ thống xử lý tín hiệu kháng nhiễu chirp tối ưu.
  • Chuyên gia Xử lý ảnh & Quang học: Sử dụng công cụ CHTT và OLCT để tối ưu hóa thiết kế thấu kính lệch trục và thuật toán phục hồi ảnh mờ.
  • Cơ quan quản lý & Hoạch định công nghệ: Căn cứ khoa học chuẩn xác để đầu tư vào các dự án nghiên cứu công nghệ lõi xử lý tín hiệu băng rộng quốc gia.

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

1. Đóng góp lý thuyết độc đáo và đột phá nhất của luận án là gì?
Trả lời: Đó là việc mở rộng định lý hàm riêng Hermite cho OLCT trên miền tham số tổng quát $|a+d| \ge 2$ với điều kiện $1-ad > 0$. Luận án đã vượt qua rào cản $|a+d| < 2$ của Pei & Ding (2007) bằng cách chứng minh sự tồn tại của tham số co giãn $\lambda > 0$ và vector dịch chuyển $(m_1, m_2, m_3)$, cho phép ánh xạ hoàn hảo hàm Hermite qua toán tử OLCT tổng quát có độ lệch trục pha.

2. Đột phá về mặt phương pháp luận so với các nghiên cứu quốc tế tiền nhiệm?
Trả lời: So với cấu trúc chập 3 ma trận phức tạp của Shi et al. (2012) và cấu trúc chập cơ bản của Xiang & Qin (2014), luận án đã tích hợp các hàm trọng giải tích (Hermite, chirp, Gauss) trực tiếp vào nhân tích chập. Phương pháp này vừa duy trì đẳng thức nhân tử hóa đơn giản dạng đại số, vừa giảm thiểu độ phức tạp tính toán khi thực hiện biến đổi ngược khôi phục tín hiệu.

3. Phát hiện giải tích gây bất ngờ nhất được hỗ trợ bởi chứng minh toán học là gì?
Trả lời: Sự tồn tại của điều kiện vô tỉ $\frac{h^2}{b} \neq \alpha\pi$ ($\forall \alpha \in \mathbb{Q}$) trong biến đổi ngược của CHTT. Đây là phát hiện giải tích bất ngờ: nhân toán tử CHTT chứa hàm $\text{cas}(x)$ sẽ rơi vào điểm kỳ dị phân kỳ nếu tỷ số $\frac{h^2}{b}$ là một bội hữu tỉ của $\pi$, và điều kiện vô tỉ chính là chìa khóa duy nhất bảo đảm tính liên tục và khả nghịch của toán tử trên $\mathcal{S}(\mathbb{R})$ và $L^2(\mathbb{R})$.

4. Luận án có cung cấp quy trình tái lập (Replication Protocol) chính xác không?
Trả lời: Có. Toàn bộ các bước chứng minh toán học từ việc chuyển đổi tích phân kép, áp dụng định lý Fubini, biến đổi tương đương Dirichlet kernel đến quy trình chuẩn hóa năng lượng Parseval đều được trình bày tường minh, chi tiết từng bước, cho phép kiểm chứng độc lập hoàn toàn.

5. Lộ trình nghiên cứu 10 năm được phác thảo từ công trình này là gì?
Trả lời: Lộ trình tập trung vào 3 giai đoạn: (1) Mở rộng lý thuyết sang miền đa chiều $\mathbb{R}^n$ và không gian đại số Clifford; (2) Rời rạc hóa thuật toán và nhúng phần cứng DSP/FPGA xử lý thời gian thực; (3) Tích hợp cấu trúc tích chập OLCT vào kiến trúc Deep Learning xử lý tín hiệu thông minh.

Kết luận

Luận án tiến sĩ của Lại Tiến Minh đã tạo nên một dấu ấn học thuật xuất sắc trong chuyên ngành Toán ứng dụng thông qua 6 đóng góp cốt lõi:

  1. Xác lập hoàn chỉnh hệ thống tính chất toán tử giải tích của OLCT và CHTT trên các không gian hàm $\mathcal{S}(\mathbb{R})$, $L^1(\mathbb{R})$ và $L^2(\mathbb{R})$.
  2. Tìm ra điều kiện biên vô tỉ $\frac{h^2}{b} \neq \alpha\pi$ và thiết lập công thức tường minh cho biến đổi ngược CHTT.
  3. Mở rộng định lý hàm riêng Hermite cho OLCT trên miền tham số tổng quát $|a+d| \ge 2$.
  4. Thiết lập 3 nguyên lý bất định Heisenberg mở rộng trong không gian pha chuyển vị.
  5. Xây dựng 5 họ phép chập có trọng số mới, giải chính xác phương trình tích phân tích chập Fredholm.
  6. Phát minh 3 cấu trúc lọc tín hiệu (lọc nhân, lọc Gauss, lọc kép) và hoàn thiện Định lý lấy mẫu Whittaker-Shannon trong miền OLCT.

Công trình không chỉ nâng tầm lý thuyết giải tích điều hòa trừu tượng mà còn cung cấp bộ công cụ toán học tối ưu, giải quyết triệt để bài toán xử lý tín hiệu phi dừng và kháng nhiễu chirp trong kỷ nguyên công nghệ số hiện đại.