Tổng quan về luận án

Nghiên cứ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" của tác giả Lại Tiến Minh (Chuyên ngành Toán ứng dụng, mã số 9460112.01, thực hiện tại Trường Đạ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. Nguyễn Minh Tuấn và PGS. Nguyễn Hữu Điển) giải quyết các thách thức nền tảng trong xử lý tín hiệu hiện đại và giải tích toán học. Trong kỷ nguyên số hóa, các hệ thống quang học, vi sóng, radar và âm thanh thường xuyên phải xử lý các tín hiệu phi dừng chứa thành phần nhiễu có tần số tức thời thay đổi theo thời gian, điển hình là nhiễu dạng chirp tổng quát $e^{i\pi(\eta t^2 + 2\xi t)}$. Các công cụ truyền thống như biến đổi Fourier (FT) hay biến đổi Fourier phân thứ (FrFT) bộc lộ giới hạn nghiêm trọng khi phân phối năng lượng của tín hiệu mong muốn và tạp âm chồng lấn phức tạp trong mặt phẳng pha thời gian – tần số.

Khoảng trống nghiên cứu (research gap) cốt lõi xuất phát từ việc biến đổi chính tắc tuyến tính bù (Offset Linear Canonical Transform - OLCT) với 6 tham số tự do $A = (a, b, c, d, u_0, \omega_0)$ thỏa mãn $ad - bc = 1$ và biến đổi dạng Hartley chính tắc (Canonical Hartley-Type Transform - CHTT) sở hữu khả năng xử lý hình học pha linh hoạt vượt trội nhưng cấu trúc toán tử giải tích, hệ thống phép chập tích phân, bất đẳng thức giải tích và nguyên lý bất định Heisenberg của chúng chưa được chuẩn hóa toàn diện. Luận án thiết lập 4 câu hỏi nghiên cứu và giả thuyết tương ứng:

  1. RQ1 / H1: Thiết lập khung toán tử hoàn chỉnh (tính khả nghịch, đẳng cự tuyến tính, tính duy nhất) cho OLCT và CHTT trên các không gian hàm $L^1(\mathbb{R})$, $L^2(\mathbb{R})$ và không gian Schwartz $\mathcal{S}(\mathbb{R})$.
  2. RQ2 / H2: Xây dựng các phép chập mới gắn với hàm trọng chirp, hàm trọng Gauss, hàm trọng Hermite cho OLCT và CHTT thỏa mãn đẳng thức nhân tử hóa và bất đẳng thức dạng Young.
  3. RQ3 / H3: Chứng minh mở rộng nguyên lý bất định Heisenberg trong không gian pha cho OLCT và CHTT để định lượng giới hạn độ phân giải tín hiệu.
  4. RQ4 / H4: Hiện thực hóa các ứng dụng tính toán: mở rộng định lý lấy mẫu Shannon cho tín hiệu có dải tần bị chặn trong miền OLCT, giải phương trình tích phân chập và thiết kế bộ lọc nhân, lọc Gauss, lọc kép nhằm triệt tiêu nhiễu chirp với độ phức tạp tính toán tối ưu.

Khung lý thuyết của công trình tích hợp giải tích hàm hiện đại, lý thuyết phân phối Wigner ($W_f(t, \omega)$), hàm suy rộng Dirac $\mathcal{D}'(\mathbb{R})$ và lý thuyết đa thức trực giao Hermite. Phạm vi nghiên cứu bao quát các tín hiệu liên tục và rời rạc trong không gian Lebesgue $L^p(\mathbb{R})$ ($p \ge 1$), đóng góp bước đột phá toán học thuần túy và cung cấp nền tảng thuật toán vững chắc cho kỹ thuật điện tử viễn thông và cơ học lượng tử.

Literature Review và Positioning

Lịch sử phát triển của lý thuyết lọc và phân tích tín hiệu bắt đầu từ biến đổi Fourier cổ điển của Joseph Fourier, được chuẩn hóa tính toán qua thuật toán FFT của Cooley-Tukey. Tuy nhiên, như Mendlovic et al. (1996) và Erden & Ozaktas (1998) đã chỉ ra, FT chỉ xử lý hiệu quả tín hiệu có phân phối năng lượng không chồng lấn dạng đường ngang trên mặt phẳng pha. Nhằm khắc phục hạn chế này, Namias (1980) tái phát triển FrFT, sau đó Moshinsky & Quesne (1971) cùng Collins (1970) giới thiệu biến đổi chính tắc tuyến tính (LCT) với 4 tham số $A_1 = (a, b, c, d, 0, 0)$. Năm 2001, Pei và Ding chứng minh LCT vượt trội trong việc tách lọc nhiễu biến thiên thời gian thông qua phép quay và biến dạng affine trên mặt phẳng pha.

                  ┌──────────────────────────────────────────────────────────┐
                  │          Biến đổi Fourier cổ điển (FT)                    │
                  │   - Lọc tín hiệu tĩnh / phân phối không chồng lấn        │
                  │   - Hạn chế: Thất bại trước nhiễu chirp phân bố nghiêng  │
                  └────────────────────────────┬─────────────────────────────┘
                                               │ (Mở rộng tham số góc quay θ)
                                               ▼
                  ┌──────────────────────────────────────────────────────────┐
                  │       Biến đổi Fourier phân thứ (FrFT - Namias 1980)      │
                  │   - Khả năng xoay mặt phẳng pha góc θ                    │
                  │   - Hạn chế: Chưa hỗ trợ co giãn affine & dịch chuyển pha│
                  └────────────────────────────┬─────────────────────────────┘
                                               │ (Mở rộng 4 tham số ma trận)
                                               ▼
                  ┌──────────────────────────────────────────────────────────┐
                  │    Biến đổi chính tắc tuyến tính (LCT - Collins 1970)    │
                  │   - Tham số hóa ma trận tự do A1 = (a, b, c, d)          │
                  │   - Hạn chế: Thiếu độ lệch thời gian-tần số (u0, ω0)     │
                  └────────────────────────────┬─────────────────────────────┘
                                               │ (Bổ sung tham số bù u0, ω0)
                                               ▼
┌───────────────────────────────────────────────────────────────────────────────────────────────────────────┐
│                        CÔNG TRÌNH LUẬN ÁN: TÍCH HỢP ĐỘT PHÁ OLCT & CHTT                                   │
│  1. OLCT: Bộ tham số thực 6 chiều A = (a, b, c, d, u0, ω0) với kernel toàn diện:                           │
│     KA(u, t) = KA * exp[ i/(2b) * (d*u^2 - 2tu + a*t^2 + 2(b*ω0 - d*u0)*u + 2*u0*t) ]                    │
│  2. CHTT: Mở rộng biến đổi Hartley qua nhân cas((uh*th - h^2)/b) xử lý tín hiệu thực tối ưu               │
│  3. Hệ thống phép chập trọng số (Hermite, Gauss, Chirp) + Bộ lọc tối ưu hóa độ phức tạp                   │
└───────────────────────────────────────────────────────────────────────────────────────────────────────────┘

Đến năm 1994, Abe và Sheridan đưa vào hai tham số dịch chuyển thời gian $u_0$ và tần số $\omega_0$, hình thành biến đổi chính tắc tuyến tính bù (OLCT). Nhân tích phân của OLCT được định nghĩa: $$K_A(u, t) := 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}, \quad b \neq 0$$ với hằng số pha: $$K_A := \frac{e^{i\frac{cd u_0^2 - 2ad u_0 \omega_0 + ab \omega_0^2}{2b}}}{\sqrt{2\pi b i}}$$

Song song với đó, biến đổi Hartley được đề xuất bởi Ralph V. Hartley (1942) và phiên bản rời rạc bởi Ronald N. Bracewell (1983) đã mang lại ưu thế vượt trội khi xử lý tín hiệu thực do nhân biến đổi $\text{cas}(t) = \cos(t) + \sin(t)$ là hàm thực, không tạo ra phần ảo như Fourier. Các nghiên cứu ban đầu về biến đổi Hartley phân thứ và Hartley chính tắc của Pei & Ding (2002) hay Zhao et al. (2008) chỉ dừng lại ở các cấu trúc sơ khai.

Trong y văn thế giới tồn tại cuộc tranh luận học thuật sâu sắc về cách thức xây dựng phép chập liên kết với OLCT:

  • Trường phái Shi et al. (2012): Xây dựng phép chập tổng quát liên kết 3 bộ tham số $B_1, B_2, B_3$ cho LCT nhưng cấu trúc giải tích cực kỳ phức tạp và tiêu tốn tài nguyên tính toán.
  • Trường phái Xiang & Qin (2014): Đưa ra phép chập cho OLCT ở dạng $(f \star_A g)(t) := K_A \int_{\mathbb{R}} f(\tau)g(t-\tau)e^{-i\frac{a\tau}{b}(t-\tau)}d\tau$, tạo ra đẳng thức nhân tử hóa mang pha phụ thuộc biến tần số $u$, gây khó khăn cho việc thiết kế mạch lọc phần cứng.
  • Trường phái Zhi, Wei & Zhang (2016): Định nghĩa phép chập $(f \Theta g)(t)$ với cấu trúc dịch chuyển pha phức tạp, đòi hỏi tính toán toán tử ngược liên tục.

So với các công bố quốc tế nêu trên, luận án của Lại Tiến Minh định vị vị thế tiên phong bằng cách:

  1. Đơn giản hóa cấu trúc phép chập thông qua việc đưa vào các hàm trọng giải tích (Hermite, Gauss, chirp), triệt tiêu các pha ký sinh trong đẳng thức nhân tử hóa.
  2. Thiết lập định lý nghịch đảo cho biến đổi dạng Hartley chính tắc (CHTT) với tham số tự do $h \in \mathbb{R}$, giải quyết điều kiện kỳ dị khi $\frac{h^2}{b} = \alpha\pi$ ($\alpha \in \mathbb{Q}$).
  3. Thiết lập cầu nối giải tích giữa hệ hàm trực giao Hermite và OLCT trong điều kiện tổng quát $|a+d| \ge 2$, vượt qua giới hạn $|a+d| < 2$ của các công trình tiền nhiệm.

Đó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 các lý thuyết giải tích hàm Fourier cổ điển thông qua việc thiết lập các định lý nền tảng cho lớp toán tử OLCT và CHTT:

  1. Bổ đề dạng Riemann-Lebesgue cho OLCT và CHTT: Luận án chứng minh rằng với tín hiệu $f(t) \in L^1(\mathbb{R})$, khi $|u| \to +\infty$ thì tích phân biến đổi tiệm cận về 0: $$\lim_{|u|\to+\infty} |\mathcal{O}_A{f(t)}(u)| = 0, \quad |\mathcal{O}A f|\infty \le \frac{1}{\sqrt{2\pi b}} |f|_1$$ và đối với CHTT: $$|\mathcal{L}h f|\infty \le \frac{1}{\sqrt{\pi b}} |f|_1$$ Khẳng định tính liên tục đều của ảnh biến đổi trên toàn trục thực $\mathbb{R}$.

  2. Định lý nghịch đảo và tính duy nhất trên không gian Schwartz $\mathcal{S}(\mathbb{R})$ và $L^1(\mathbb{R})$: Xác lập công thức biến đổi ngược chính xác của OLCT thông qua 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, \quad C := e^{\frac{i}{2}(cd u_0^2 - 2ad u_0 \omega_0 + ab \omega_0^2)}$$ và định lý nghịch đảo cho CHTT khi không tồn tại $\alpha \in \mathbb{Q}$ sao cho $\frac{h^2}{b} = \alpha\pi$: $$f(t) = \frac{e^{-i\frac{a}{2b}t_h^2}}{\sqrt{-2\pi bi}\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$$

  3. Định lý thác triển đẳng cự Plancherel - Parseval trên $L^2(\mathbb{R})$: Chứng minh toán tử $\mathcal{O}_A$ và $\mathcal{L}_h$ mở rộng duy nhất thành các toán tử đẳng cự tuyến tính trên không gian Hilbert $L^2(\mathbb{R})$, bảo toàn tích vô hướng và chuẩn năng lượng: $$\langle \mathcal{O}_A f, \mathcal{O}_A g \rangle = \langle f, g \rangle, \quad |\mathcal{O}_A f|_2 = |f|_2$$

  4. Hệ hàm riêng Hermite tổng quát cho OLCT: Mở rộng kết quả của Pei & Ding (2001), chứng minh rằng với mọi bộ tham số $A$ thỏa mãn $1 - ad > 0$, tồn tại hệ số co giãn $\lambda > 0$ để hàm Hermite suy rộng là hàm riêng của OLCT: $$\mathcal{O}_A\left{ e^{im_1 t} \psi_n^\lambda\left(\frac{t - m_2}{\lambda}\right) \right}(u) = \frac{\sqrt{\lambda}}{\mu_n^\lambda} e^{i\left(m_3 - \frac{du_0^2}{2b}\right)} e^{im_1 u} \psi_n^\lambda\left(\frac{u - m_2}{\lambda}\right)$$ trong đó các tham số $m_1, m_2, m_3$ được xác định giải tích chính xác từ hệ phương trình affine của $A$.

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

Luận án xây dựng khung phân tích tích hợp giữa lý thuyết biến đổi tích phân, không gian hàm suy rộng Sobolev-Schwartz và mặt phẳng pha Wigner. Khung phân tích này cho phép thao tác trên các toán tử tích phân thông qua ba lớp phép chập mới liên kết với OLCT:

                                    ┌────────────────────────────────────────────────────────┐
                                    │               TÍN HIỆU ĐẦU VÀO rin(t)                  │
                                    │    rin(t) = x(t) + n(t) (Tín hiệu gốc + Nhiễu chirp)   │
                                    └───────────────────────────┬────────────────────────────┘
                                                                │
                                                                ▼
                                    ┌────────────────────────────────────────────────────────┐
                                    │            BIỂU DIỄN MẶT PHẲNG PHA WIGNER              │
                                    │                 W_rin(t, ω) ∈ L1(R^2)                  │
                                    │      Xác định góc nghiêng: tan(θ) = πη = a/b           │
                                    └───────────────────────────┬────────────────────────────┘
                                                                │
                                                                ▼
                                    ┌────────────────────────────────────────────────────────┐
                                    │             KHUNG PHÉP CHẬP TRỌNG SỐ OLCT              │
                                    │  - Hàm trọng Hermite: ψn(t)                            │
                                    │  - Hàm trọng Gauss: G(t) = (1/b√2π) * exp(-t^2/2b^2)   │
                                    │  - Hàm trọng Chirp: EA(t) = exp(i(a/2b*t^2 + u0/b*t))  │
                                    └───────────────────────────┬────────────────────────────┘
                                                                │
                                    ┌───────────────────────────┴────────────────────────────┐
                                    ▼                                                        ▼
┌───────────────────────────────────────────────────────┐ ┌───────────────────────────────────────────────────────┐
│        LỌC TÍCH PHÂN KHÔNG GIAN (Lọc Gauss/Kép)       │ │          LỌC NHÂN TẦN SỐ (Multiplicative Filter)       │
│   rout(t) = (rin *A G)(t)                             │ │   rout(t) = OA^{-1} [ OA{rin}(u) * HA(u) ]            │
│   - Triệt tiêu hoàn toàn đáp ứng pha bậc hai          │ │   - HA(u) = 1 (Dải thông) / 0 (Dải dừng)              │
│   - Tiết kiệm 50% khối lượng biến đổi ngược           │ │   - Loại bỏ thành phần nhiễu chirp lệch trục          │
└───────────────────────────────────────────────────────┘ └───────────────────────────────────────────────────────┘
                                    │                                                        │
                                    └───────────────────────────┬────────────────────────────┘
                                                                ▼
                                    ┌────────────────────────────────────────────────────────┐
                                    │              TÍN HIỆU KHÔI PHỤC rout(t)                │
                                    │         Bảo toàn năng lượng: ||rout - x||_2 ≈ 0        │
                                    └────────────────────────────────────────────────────────┘
  1. Phép chập với hàm trọng Gauss: Sử dụng nhân Gauss $G(t) = \frac{1}{b\sqrt{2\pi}} e^{-\frac{t^2}{2b^2}}$ để thiết lập đẳng thức nhân tử hóa trực tiếp: $$\mathcal{O}_A{(f \star_G 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)$$
  2. Phép chập với hàm trọng Chirp: Triệt tiêu hoàn toàn thành phần pha dịch chuyển, hỗ trợ phân rã tín hiệu thành tích trực tiếp của hai phổ năng lượng.
  3. Phép chập dạng Hartley: Sử dụng nhân $\text{cas}(\cdot)$ kết hợp trọng số điều hòa, tạo ra công cụ tính toán hoàn toàn thực cho xử lý ảnh và quang học màng mỏng.

Điều kiện biên (boundary conditions) của khung phân tích được xác lập chặt chẽ: tham số $b > 0$, $ad - bc = 1$, hàm tín hiệu thuộc $L^1(\mathbb{R}) \cap L^2(\mathbb{R})$, và điều kiện vô tỷ $\frac{h^2}{b\pi} \notin \mathbb{Q}$ nhằm loại bỏ hoàn toàn các điểm kỳ dị của toán tử ngược.

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ế hoàn toàn dựa trên quan điểm nhận thức luận duy lý toán học (Mathematical Rationalism / Positivism) và phương pháp suy diễn tiên đề giải tích (Axiomatic Deductive Methodology). Nghiên cứu không sử dụng các phương pháp lấy mẫu thực nghiệm thống kê xã hội học mà xây dựng hệ thống chứng minh hình thức trên các cấu trúc topo vô hạn chiều.

Thiết kế đa tầng bao gồm:

  • Tầng 1 (Toán học thuần túy): Thiết lập các cấu trúc không gian Banach $L^p(\mathbb{R})$, không gian Hilbert $L^2(\mathbb{R})$, không gian Frechet $\mathcal{S}(\mathbb{R})$ và không gian đối ngẫu hàm suy rộng $\mathcal{D}'(\mathbb{R})$.
  • Tầng 2 (Giải tích toán tử): Xây dựng biểu diễn toán tử vi - tích phân, biến đổi đối ngẫu, tính toán phổ hàm riêng và chứng minh các bất đẳng thức hàm (Young, Parseval, Heisenberg).
  • Tầng 3 (Toán ứng dụng và Tính toán số): Thiết kế thuật toán lọc tín hiệu số, thuật toán lấy mẫu tối ưu và mô phỏng hàm phân phối pha Wigner.

Quy trình nghiên cứu rigorous

Quy trình chứng minh giải tích tuân thủ các tiêu chuẩn nghiêm ngặt nhất của Giải tích hàm:

  • Tính đóng và liên tục: Sử dụng Định lý đồ thị đóng (Closed Graph Theorem) trong không gian Frechet để chứng minh toán tử CHTT $\mathcal{H}_h$ liên tục từ $\mathcal{S}(\mathbb{R})$ vào chính nó.
  • Chuyển dịch tích phân và tích phân suy rộng: Áp dụng Định lý Fubini đối với các tích phân kép trên miền $[-\lambda, \lambda] \times \mathbb{R}$ và giải tích giới hạn tiệm cận thông qua bổ đề Dirichlet dạng: $$\lim_{\lambda\to+\infty} \frac{1}{\pi} \int_{\mathbb{R}} f(t) \frac{\sin\lambda(u-t)}{u-t} dt = \frac{1}{2}[f(u+0) + f(u-0)]$$
  • Đánh giá chuẩn và độ đo: Khảo sát tính khả tích Lebesgue thông qua bất đẳng thức Minkowski và bất đẳng thức Cauchy-Schwarz.
  • Bất đẳng thức Young mở rộng cho phép chập: Chứng minh rằng nếu $f \in L^p(\mathbb{R})$, $g \in L^q(\mathbb{R})$ với $\frac{1}{p} + \frac{1}{q} = \frac{1}{r} + 1$ ($p, q, r \ge 1$), thì: $$|f \star_A g|_r \le \frac{1}{\sqrt{2\pi b}} |f|_p |g|_q$$

Data và phân tích

Đối tượng phân tích của luận án là các lớp hàm tín hiệu giải tích và mô hình toán học của tín hiệu thực tế. Luận án kiểm chứng lý thuyết thông qua việc phân tích cấu trúc tín hiệu tổng hợp: $$r_{in}(t) = 2e^{-0.1(t-7)^2} e^{i(t^2 + 2t)} + e^{-0.1(t+7)^2} e^{i(-t^2 + 5t)}$$ trong đó thành phần tín hiệu mong muốn $x(t) = 2e^{-0.1(t-7)^2} e^{i(t^2 + 2t)}$ bị bao phủ bởi nhiễu chirp năng lượng cao $n(t) = e^{-0.1(t+7)^2} e^{i(-t^2 + 5t)}$.

Phân tích Wigner Distribution Function (WDF) của tín hiệu: $$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$$ chỉ ra rằng trong miền Fourier thông thường, hai thành phần này phân bố chồng lấn hoàn toàn dọc theo trục tần số, khiến bộ lọc FT cổ điển $r_{out}(t) = \Psi_{FT}^{-1}{\Psi_{FT}{r_{in}}\cdot H}$ bị vô hiệu hóa. Bằng cách tham số hóa góc xoay $\arctan\left(\frac{a}{b}\right)$ trong miền OLCT, luận án tách biệt hoàn toàn hai dải năng lượng với khoảng cách phân tách hình học tuyệt đối $\Delta > 0$, chứng minh tính khả thi tuyệt đối của thuật toán.

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

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

  1. Phát hiện 1 - Đẳng thức nhân tử hóa không pha ký sinh cho phép chập OLCT: Khác với các công thức của Xiang & Qin (2014) mang hệ số pha phức tạp phụ thuộc biến $u$, phép chập với hàm trọng do luận án đề xuất đạt được sự tuyến tính hóa hoàn hảo trong miền phổ OLCT: $$\mathcal{O}_A{(f \star g)(t)}(u) = \mathcal{O}_A{f(t)}(u) \cdot \mathcal{O}_A{g(t)}(u)$$ cho phép nhân trực tiếp các hàm truyền dải thông mà không cần bù pha bậc hai.

  2. Phát hiện 2 - Tổng quát hóa hệ hàm riêng Hermite vượt ngưỡng $|a+d| < 2$: Khẳng định bước nhảy vọt so với nghiên cứu kinh điển của Pei & Ding (2001). Luận án chứng minh với mọi ma trận chính tắc thỏa mãn $ad - bc = 1$ và $1 - ad > 0$ (kể cả khi $|a+d| \ge 2$), luôn tồn tại 4 nghiệm phân biệt: $$\lambda_k \in \left{ \frac{-1 \pm \sqrt{1 - ad}}{a}, \frac{1 \pm \sqrt{1 - ad}}{a} \right}$$ để thiết lập hệ trực chuẩn hàm riêng Hermite cho OLCT.

  3. Phát hiện 3 - Thiết lập hai nguyên lý bất định Heisenberg cho CHTT: Xác định chính xác giới hạn phân giải thời gian - tần số cho biến đổi dạng Hartley chính tắc: $$\Delta t^2 \cdot \Delta u^2 \ge \frac{b^2}{4} \left( 1 - \frac{4h^2}{b} \text{Cov}(t, u) \right)$$ cung cấp công cụ định lượng độ bất định thông tin trong các hệ cơ học lượng tử có tham số bù.

  4. Phát hiện 4 - Định lý lấy mẫu Shannon tổng quát trên miền OLCT: Chứng minh tín hiệu có dải tần bị chặn trong miền OLCT với băng thông $\Omega$ có thể được khôi phục chính xác $100%$ từ chuỗi mẫu rời rạc: $$f(t) = e^{-i\left(\frac{a}{2b}t^2 + \frac{u_0}{b}t\right)} \sum_{n=-\infty}^{+\infty} f(nT) e^{i\left(\frac{a}{2b}(nT)^2 + \frac{u_0}{b}(nT)\right)} \frac{\sin\left(\frac{\Omega}{b}(t - nT)\right)}{\frac{\Omega}{b}(t - nT)}$$ với chu kỳ lấy mẫu tới hạn Nyquist $T \le \frac{\pi b}{\Omega}$.

Đặc tính so sánh Biến đổi Fourier (FT) LCT (Collins 1970, Pei 2001) OLCT (Luận án Lại Tiến Minh 2019)
Số tham số tự do 0 4 tham số $(a, b, c, d)$ 6 tham số $(a, b, c, d, u_0, \omega_0)$
Xử lý nhiễu Chirp Thất bại (chồng lấn mặt phẳng pha) Tách được chirp đi qua gốc tọa độ Tách mọi chirp tổng quát lệch trục
Cấu trúc phép chập Phép chập tích phân cổ điển Chập phức tạp mang pha ký sinh Chập hàm trọng nhân tử hóa hoàn toàn
Độ phức tạp lọc kép $\mathcal{O}(N \log N)$ (chỉ lọc tĩnh) $\mathcal{O}(3N \log N)$ Tối ưu hóa, giảm 50% tính toán ngược
Bất định Heisenberg $\Delta t \cdot \Delta \omega \ge \frac{1}{2}$ $\Delta t \cdot \Delta u \ge \frac{b}{2}$ Chuẩn hóa cho cả OLCT và CHTT

Implications đa chiều

  • Về mặt lý thuyết: Mở rộng biên giới của Giải tích điều hòa (Harmonic Analysis) và Lý thuyết toán tử (Operator Theory). Thống nhất các biến đổi tích phân rời rạc (Fourier, Fresnel, Fractional Fourier, Hartley, LCT) dưới một cấu trúc tổng quát duy nhất là OLCT và CHTT.
  • Về phương pháp luận: Cung cấp quy trình mẫu mực để xây dựng phép chập giải tích cho bất kỳ biến đổi tích phân mới nào trong tương lai thông qua kỹ thuật hàm trọng trực giao.
  • Về ứng dụng thực tiễn:
    • Điện tử viễn thông và Radar: Thuật toán lọc kép và lọc Gauss liên kết OLCT cho phép trích xuất tín hiệu mục tiêu trong môi trường radar quân sự bị gây nhiễu chủ động (chirp jamming) với tỷ số tín hiệu trên nhiễu (SNR) cải thiện vượt bậc.
    • Xử lý ảnh số và Quang học: Biến đổi CHTT với nhân $\text{cas}(\cdot)$ thực giúp giảm một nửa dung lượng bộ nhớ RAM khi xử lý dữ liệu mảng 2 chiều và tăng tốc độ xử lý phần cứng DSP/FPGA.

Limitations và Future Research

Mặc dù đạt được những đóng góp đột phá, luận án thẳng thắn chỉ ra các giới hạn nghiên cứu:

  1. Giới hạn chiều không gian: Toàn bộ hệ thống định lý và phép chập mới chỉ được thiết lập trên không gian 1 chiều $\mathbb{R}$. Việc mở rộng lên tín hiệu đa chiều $\mathbb{R}^n$ ($n \ge 2$) hoặc mặt cầu đa tạp chưa được thực hiện.
  2. Điều kiện khả tích nghiêm ngặt: Các định lý yêu cầu tín hiệu thuộc $L^1(\mathbb{R}) \cap L^2(\mathbb{R})$ hoặc không gian hàm giảm nhanh $\mathcal{S}(\mathbb{R})$, chưa bao quát trọn vẹn các lớp tín hiệu fractal hoặc tín hiệu ngẫu nhiên phi dừng có kỳ vọng vô hạn.
  3. Ràng buộc tham số vô tỷ của CHTT: Điều kiện $\frac{h^2}{b\pi} \notin \mathbb{Q}$ tuy giải quyết được mặt giải tích nhưng trong tính toán số (floating-point arithmetic), việc xấp xỉ số vô tỷ trên máy tính có thể dẫn đến hiện tượng bất ổn định số (numerical instability) khi mẫu số tiến gần về 0.

Chương trình nghiên cứu 10 năm tiếp theo (Future Research Agenda) tập trung vào:

  • Xây dựng biến đổi chính tắc tuyến tính bù quaternion đa chiều (Multi-dimensional Quaternion OLCT) cho xử lý ảnh màu và video 3D.
  • Phát triển biến đổi Wavelet và biến đổi Gabor liên kết với CHTT để phân tích cục bộ thời gian - tần số với cửa sổ di động.
  • Hiện thực hóa phần cứng: Thiết kế chip vi xử lý chuyên dụng kiến trúc RISC-V tích hợp tập lệnh phần cứng cho biến đổi CHTT và lọc OLCT nhanh.
  • Ứng dụng trong mật mã hóa hình ảnh quang học: Tận dụng 6 bậc tự do của bộ tham số $A$ làm khóa mã hóa đối xứng đa tầng với không gian khóa khổng lồ lên tới $10^{96}$.

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

Công trình của NCS. Lại Tiến Minh tạo ra xung lực phát triển mạnh mẽ cho cộng đồng Toán học tính toán và Kỹ thuật xử lý tín hiệu:

  • Tác động học thuật: Cung cấp tài liệu tham khảo nền tảng cho các nghiên cứu sinh chuyên ngành Toán ứng dụng, Giải tích và Kỹ thuật viễn thông. Dự kiến tạo ra hàng trăm trích dẫn trong các tạp chí chuyên ngành quốc tế uy tín (như IEEE Transactions on Signal Processing, Signal Processing, Applied Mathematics and Computation, Journal of Fourier Analysis and Applications).
  • Chuyển đổi công nghệ công nghiệp: Định hình chuẩn thiết kế mới cho các hệ thống radar hàng không, sonar định vị thủy âm và các thiết bị thu phát sóng 5G/6G MIMO.
  • Lợi ích xã hội: Tăng cường độ chính xác cho các thiết bị chẩn đoán hình ảnh y tế (MRI, siêu âm Doppler) thông qua việc triệt tiêu hiệu quả các xung nhiễu chuyển động sinh học có quy luật phi tuyến.

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

  • Nghiên cứu sinh & Nhà toán học lý thuyết: Khai thác hệ thống chứng minh giải tích mẫu mực, các đẳng thức nhân tử hóa và kỹ thuật xử lý hàm suy rộng Dirac để mở rộng sang các cấu trúc không gian hàm phi Banach.
  • Kỹ sư R&D Viễn thông & Xử lý tín hiệu: Tiếp cận trực tiếp các thuật toán thiết kế bộ lọc nhân, lọc Gauss và công thức lấy mẫu Nyquist trong miền OLCT để nhúng vào vi điều khiển DSP.
  • Chuyên gia Quang học & Mật mã học: Ứng dụng 6 bậc tự do của OLCT và tính toán thực của CHTT để chế tạo các thấu kính pha biến thiên và hệ thống bảo mật thông tin quang học bất đối xứng.
  • Giảng viên đại học: Sử dụng làm học liệu cao học chuyên sâu cho các học phần Giải tích Fourier ứng dụng, Xử lý tín hiệu số nâng cao và Toán học tính toán.

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 mở rộng định lý phổ hàm riêng Hermite cho OLCT sang miền tham số tổng quát $|a+d| \ge 2$ với $1-ad > 0$. Kết quả này đã phá vỡ giới hạn tồn tại suốt hai thập kỷ của Pei & Ding (2001) (vốn chỉ áp dụng cho $|a+d| < 2$), chứng minh tính phổ quát của hệ hàm trực giao Hermite dưới mọi phép biến đổi affine trong không gian pha.

2. Đột phá về phương pháp luận của luận án khi so sánh với các công bố quốc tế trước đó? Trả lời: So sánh với công trình của Xiang & Qin (2014) và Zhi, Wei & Zhang (2016), đột phá của luận án là sáng tạo ra các phép chập tích phân đi kèm hàm trọng (Hermite, Gauss, chirp). Kỹ thuật này đã triệt tiêu hoàn toàn các hệ số pha phức ký sinh trong đẳng thức nhân tử hóa, giúp phép chập trong miền thời gian tương đương hoàn toàn với phép nhân đại số trực tiếp trong miền phổ OLCT, tối ưu hóa $50%$ thời gian tính toán của mạch lọc.

3. Phát hiện bất ngờ nhất về mặt toán học có số liệu minh chứng là gì? Trả lời: Phát hiện về sự xuất hiện của hệ số suy giảm góc $\cos\left(\frac{2h^2}{b}\right)$ trong mẫu số của toán tử ngược CHTT. Nếu $\frac{h^2}{b} = \frac{(2k+1)\pi}{4}$ ($k \in \mathbb{Z}$), toán tử CHTT trở nên suy biến hoàn toàn (kỳ dị giải tích), không thể khả nghịch. Đây là điều kiện biên giải tích chưa từng được ghi nhận trong các biến đổi Hartley truyền thống.

4. Luận án có cung cấp giao thức tái lập (Replication Protocol) hoàn chỉnh không? Trả lời: Hoàn toàn có. Luận án cung cấp tường minh:

  • Từng bước biến đổi tích phân với cận tích phân xác định từ $-\lambda$ đến $\lambda$ khi $\lambda \to +\infty$.
  • Công thức giải tích tường minh xác định các hệ số $m_1, m_2, m_3$ của hàm riêng Hermite qua hệ phương trình đại số bậc nhất.
  • Cấu trúc tín hiệu kiểm thử mẫu $r_{in}(t)$ kèm thông số bộ lọc băng thông dải dừng $H_A(u)$.

5. Lộ trình nghiên cứu 10 năm tới được phác thảo như thế nào? Trả lời: Lộ trình bao gồm việc mở rộng lý thuyết toán tử lên đại số Quaternion và Clifford cho tín hiệu 3D/4D; giải bài toán biến đổi tích phân trên mạng nơ-ron tích chập (Convolutional Neural Networks - CNN) trong học sâu; và chế tạo thử nghiệm phần cứng xử lý tín hiệu thực nghiệm.

Kết luận

Luận án tiến sĩ của tác giả Lại Tiến Minh là một công trình khoa học xuất sắc, mẫu mực về tính chuẩn xác toán học và giàu giá trị thực tiễn:

  1. Xác lập hoàn chỉnh lý thuyết toán tử cho Biến đổi chính tắc tuyến tính bù (OLCT) và Biến đổi dạng Hartley chính tắc (CHTT) trên các không gian hàm cơ bản.
  2. Thiết lập 5 dạng phép chập tích phân mới kèm hàm trọng, giải quyết triệt để bài toán đẳng thức nhân tử hóa không pha ký sinh.
  3. Chứng minh mở rộng thành công hệ hàm riêng Hermite cho OLCT trong trường hợp tổng quát $|a+d| \ge 2$.
  4. Thiết lập nguyên lý bất định Heisenberg và định lý lấy mẫu Shannon tổng quát trong miền OLCT.
  5. Đề xuất các cấu trúc lọc tín hiệu đột phá (lọc nhân, lọc Gauss, lọc kép), loại bỏ triệt để nhiễu chirp tổng quát với chi phí tính toán thấp.
  6. Mở ra 3 hướng nghiên cứu mới về xử lý tín hiệu đa chiều, mật mã học quang học và giải tích điều hòa phi giao hoán trên không gian Hilbert.