Tổng quan về luận án

Luận án tiến sĩ toán học chuyên ngành Cơ sở Toán học cho Tin học (Mã số: 9460117.02) của nghiên cứu sinh Lê Quang Hàm, dưới sự hướng dẫn khoa học của GS. Lê Anh Vinh tại Trường Đại học Khoa học Tự nhiên – Đại học Quốc gia Hà Nội (2022), đại diện cho một công trình nghiên cứu tiên phong thuộc giao thoa giữa Tổ hợp cộng tính (Additive Combinatorics), Hình học liên thuộc (Incidence Geometry), Lý thuyết phổ đồ thị (Spectral Graph Theory) và Lý thuyết số giải tích.

Vấn đề cốt lõi mà luận án giải quyết xuất phát từ khoảng trống nghiên cứu (research gap) mang tính nền tảng: việc xác định tốc độ nở và thiết lập ngưỡng định lượng tối ưu (expansion thresholds) cho các hàm đa thức ít biến và các tập tích trên cấu trúc phi giao hoán trong không gian hữu hạn. Trong khi các hàm nhiều biến thường dễ nở do số bậc tự do lớn, việc chứng minh tính nở của các họ hàm hai biến, ba biến, bốn biến và ma trận trên nhóm Heisenberg bậc cao đòi hỏi các kỹ thuật tinh vi nhằm kiểm soát hiện tượng triệt tiêu đại số và cấu trúc phụ thuộc tuyến tính ngầm định.

Câu hỏi nghiên cứu và các giả thuyết trọng tâm được xác định cụ thể:

  1. Câu hỏi nghiên cứu 1 (RQ1): Có thể mở rộng ngưỡng nở vừa của các đa thức bốn biến bậc hai trên trường nguyên tố $\mathbb{F}_p$ và trường hữu hạn tổng quát $\mathbb{F}_q$ vượt qua ranh giới kinh điển $1/3$ và $3/8$ hay không?
  2. Câu hỏi nghiên cứu 2 (RQ2): Tốc độ nở của các tập tích ma trận $[E,E,0][E,E,0]$ trong nhóm Heisenberg $H_n(\mathbb{F}_q)$, đặc biệt là $H_2(\mathbb{F}_p)$, $H_1(\mathbb{F}_p)$ và trên trường số phức $\mathbb{C}$, bị chặn dưới bởi những đại lượng định lượng chính xác nào?
  3. Câu hỏi nghiên cứu 3 (RQ3): Cấu trúc vành định giá hữu hạn tác động như thế nào đến các bất đẳng thức dạng tổng - tích và các hàm nở hai, ba, bốn biến?

Khung lý thuyết của luận án tích hợp sâu sắc Lý thuyết toán tử phổ đồ thị, Định lý liên thuộc điểm – đường, điểm – mặt phẳng và Giải tích Fourier trên nhóm hữu hạn. Công trình tạo ra bước đột phá định lượng vượt bậc: thiết lập ngưỡng nở vừa $\varepsilon = 5/13$ cho lớp hàm bốn biến trên trường nguyên tố $\mathbb{F}_p$ (yêu cầu tập con chỉ cần thỏa mãn $|A| \gg p^{8/13} \approx p^{0.615}$ để đạt ảnh nở tuyến tính $|F(A,A,A,A)| \gg p$) và ngưỡng $\varepsilon = 3/8$ trên trường hữu hạn $\mathbb{F}_q$; đồng thời cải thiện số mũ tăng trưởng tích ma trận Heisenberg trên trường số phức lên $7/5$ và trên nhóm con nhân hữu hạn lên $151/80$. Toàn bộ kết quả được công bố trên các tạp chí quốc tế uy tín bao gồm Journal of Number Theory và Pacific Journal of Mathematics.

Literature Review và Positioning

Tổ hợp cộng tính hiện đại nghiên cứu các cấu trúc đại số xấp xỉ. Như Ben Green đã định nghĩa: "Tổ hợp cộng tính nghiên cứu về các cấu trúc xấp xỉ như xấp xỉ nhóm, vành trường, đa thức và đồng cấu". Kể từ bước đột phá của Green và Tao (2008) về sự tồn tại của cấp số cộng vô hạn trong tập các số nguyên tố và công trình nền tảng của Bourgain, Katz, Tao (2004) về hiện tượng tổng – tích trên trường hữu hạn, bài toán xây dựng hàm nở (expanders) trở thành tâm điểm của toán học rời rạc và khoa học máy tính lý thuyết.

Trong dòng nghiên cứu về hàm nở đa biến trên trường hữu hạn, tồn tại sự phân hóa rõ rệt giữa hai trường phái tiếp cận:

  • Trường phái giải tích và tổng đặc trưng: Điển hình bởi Sárkózy (2008, 2009), sử dụng ước lượng tổng đặc trưng cộng tính để chứng minh các hàm bốn biến như $xy + zt$, $(x-y)^2 + (z-t)^2$ là hàm nở vừa với ngưỡng $\varepsilon = 1/3$. Hướng tiếp cận này phụ thuộc chặt chẽ vào cấu trúc đại số thuần nhất nhưng gặp rào cản lớn khi mở rộng sang các dạng đa thức bất đối xứng hoặc đa thức chứa cấu trúc thành phần phi tuyến.
  • Trường phái hình học tổ hợp và phổ đồ thị: Khởi xướng bởi Hart và Iosevich (2008) với kết quả hàm ba biến $x + yz$ và hàm bốn biến $xy + zt$ đạt ngưỡng $1/3$, sau đó được Bennett, Hart, Iosevich, Pakianathan, Rudnev (2014) bổ sung cho hàm $(x-y)(z-t)$. Vinh (2013, 2014) sử dụng phương pháp phổ đồ thị mở rộng ngưỡng nở cho một số đa thức bốn biến lên $\varepsilon = 3/8$.

Đối với nhóm phi giao hoán Heisenberg $H_n(\mathbb{F}_q)$, Hegyvári và Hennecart (2013) thiết lập các đánh giá đầu tiên về độ nở của tập tích các khối ma trận trên $\mathbb{R}$ và $\mathbb{F}_p$, nhưng để lại ranh giới số mũ chưa tối ưu khi $|A| > p^{1/2}$. Shkredov (2019) tiếp tục cải thiện ngưỡng kích thước khối trong $H_n(\mathbb{F}_p)$ bằng bất đẳng thức năng lượng nâng cao.

Luận án của Lê Quang Hàm định vị chính xác vào khoảng trống giữa hai trường phái: vượt qua sự phụ thuộc thuần túy vào tổng đặc trưng bằng cách kết hợp ma trận liên thuộc đồ thị hai phần, bổ đề không chứa đồ thị lưỡng phân đầy đủ $K_{s,t}$, chặn liên thuộc điểm – siêu phẳng đa chiều và định lý liên thuộc Rudnev (2014), Stevens – De Zeeuw (2017). Luận án chứng minh sự vượt trội khi mở rộng ngưỡng nở của hàm bốn biến từ $1/3$ (Sárkózy, Hart – Iosevich) lên $5/13$ trên $\mathbb{F}_p$, đồng thời phá vỡ các chặn tăng trưởng ma trận của Hegyvári – Hennecart trên $H_2(\mathbb{F}_p)$ và $\mathbb{C}$.

Đó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à thách thức các giới hạn lý thuyết được thiết lập bởi Jean Bourgain, Terence Tao, Misha Rudnev và Norbert Hegyvári thông qua ba đóng góp then chốt:

  1. Mở rộng lý thuyết hàm nở đa thức: Định nghĩa tổng quát hàm nở được luận án xác lập chặt chẽ: "Cho R là một vành với đặc số p. Một đa thức $f \in R[x_1, \dots, x_n]$ gọi là nở nếu tồn tại các số $\alpha > 1, \beta > 0$ sao cho với mọi tập hợp $A_1, \dots, A_n \subset R$ có lực lượng $N$ thỏa mãn $N < p^\beta$ ta có $|f(A_1, \dots, A_n)| \gg N^\alpha$". Luận án phân lớp hoàn chỉnh họ hàm bốn biến $F(u,v,y,z) := f(Q(u,v), y, z)$ với $Q(u,v) = m(u) + u^k n(v)$, trong đó $m(x)$ và $x^k$ độc lập affine, $f(x,y,z)$ là đa thức bậc hai không suy biến dạng $g(h(x) + k(y) + l(z))$.
  2. Chuyển dịch ranh giới định lượng (Quantitative Boundary Shift): Chứng minh xác thực rằng trên trường nguyên tố $\mathbb{F}_p$, ngưỡng nở vừa đạt mức $\varepsilon = 5/13 \approx 0.3846$, vượt xa ngưỡng $1/3 \approx 0.3333$ của Hart – Iosevich và ngưỡng $3/8 = 0.375$ của Lê Anh Vinh. Trên trường hữu hạn bất kỳ $\mathbb{F}_q$, ngưỡng đạt chính xác $3/8$.
  3. Định lý tăng trưởng cấu trúc tích trên nhóm Heisenberg: Mở rộng lý thuyết nhóm xấp xỉ (approximate groups) cho nhóm ma trận phi giao hoán $H_n(\mathbb{F}_q)$. Chứng minh rằng tập ma trận $[E,E,0][E,E,0]$ có lực lượng bị chặn dưới bởi $|E|^3 / q^n$ khi $|E| \gg q^{\frac{2n+1}{3}}$, đạt tốc độ nở siêu việt $|[E,E,0]|^{7/5}$ trên $H_2(\mathbb{F}_p)$ và $|[A,A,0]|^{151/80}$ cho nhóm con nhân trên $H_1(\mathbb{F}_p)$.

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

Khung phân tích của luận án tích hợp đồng thời ba cấu trúc lý thuyết đại số – hình học – giải tích:

  • Cơ chế khử biến thông qua năng lượng hàm: Năng lượng của hàm ba biến $E_f(U,V,W) = |{(a,b,c,a',b',c') \in (U \times V \times W)^2 : f(a,b,c) = f(a',b',c')}|$ được quy về việc đếm số điểm liên thuộc giữa tập điểm $P$ và tập siêu phẳng $H$ trong không gian ba chiều $\mathbb{F}_q^3$.
  • Phép chiếu đại số và tính độc lập Affine: Bằng cách khai thác điều kiện độc lập affine giữa $m(x)$ và $x^k$, hàm hai biến $Q(u,v)$ được chứng minh tạo ra tập ảnh $|Q(A,A)| \gg \min{q, |A|^2 / q^{1/2}}$ trên $\mathbb{F}_q$ và $|Q(A,A)| \gg |A|^{5/4}$ trên $\mathbb{F}_p$ khi $|A| < p^{2/3}$.
  • Khử đường thẳng đẳng hướng (Isotropic Line Elimination): Trên trường $\mathbb{F}_p$ với điều kiện đại số $p \equiv 3 \pmod 4$, không tồn tại phần tử $i$ sao cho $i^2 = -1$, loại bỏ hoàn toàn các đường thẳng đẳng hướng trong mặt phẳng tọa độ, cho phép áp dụng triệt để chặn liên thuộc Stevens – De Zeeuw mà không bị suy hao bậc tự do.

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 theo triết lý nghiên cứu diễn dịch hình thức (formal deductive paradigm) kết hợp logic toán học thuần túy và phương pháp kiến tạo cấu trúc (constructive structural methodology). Thiết kế nghiên cứu đa tầng kết nối chặt chẽ ba cấp độ:

  • Cấp độ 1 (Algebraic Mapping): Biến đổi bài toán giải phương trình nghiệm nguyên/nghiệm trường hữu hạn về bài toán hình học cấu trúc.
  • Cấp độ 2 (Incidence Geometric Duality): Chuyển hóa số nghiệm thành số cặp liên thuộc giữa tập điểm $P$ và tập siêu phẳng $H$ trên $\mathbb{F}_q^d$ hoặc $\mathbb{C}^d$.
  • Cấp độ 3 (Harmonic & Spectral Bounds): Sử dụng toán tử phổ đồ thị và phép biến đổi Fourier trên nhóm hữu hạn để chặn số hạng dư (error terms).

Quy trình nghiên cứu rigorous

Quy trình suy diễn toán học tuân thủ nghiêm ngặt chuẩn mực phân tích hàm tổ hợp:

[Phương trình Đại số f(x)=f(x')] 
       │
       ▼
[Biến đổi Đối ngẫu Hình học (Điểm P & Mặt phẳng H)]
       │
       ▼
[Phân rã Tập suy biến (P = P1 ∪ P2, H = H1 ∪ H2)]
       │
       ▼
[Chặn Liên thuộc Điểm - Mặt phẳng (Incidence Bound) & Bổ đề Đồ thị Khử K_{s,t}]
       │
       ▼
[Ước lượng Năng lượng Hàm Ef(U,V,W) & Bất đẳng thức Cauchy-Schwarz]
       │
       ▼
[Chặn dưới Tập ảnh Nở: |F(A,A,A,A)| ≫ q hoặc |f(A)| ≫ |A|^{1+δ}]

Sự tam giác hóa phương pháp (Methodological Triangulation) được thể hiện qua việc phối hợp:

  1. Triangulation đại số – giải tích: Kết hợp phép biến đổi Fourier và đẳng thức Plancherel $\sum_{m \in \mathbb{F}q^n} |\widehat{f}(m)|^2 = q^{-n} \sum{x \in \mathbb{F}q^n} |f(x)|^2$ với quan hệ trực giao của đặc trưng cộng $\sum{x \in \mathbb{F}_q} \chi(x \cdot v) = 0$ khi $v \neq 0$.
  2. Triangulation tổ hợp – đồ thị: Sử dụng bổ đề đồ thị hai phần $G = (A \cup B, e(G))$ không chứa $K_{s,t}$ để kiểm soát số cạnh $e(G) \le s^{1/2}|A||B|^{1/2} + t|B|$, khống chế tối đa số điểm chung giữa các mặt phẳng suy biến.
  3. Độ tin cậy và kiểm chứng tính giá trị: Mọi chặn trên và chặn dưới đều đạt độ chính xác giải tích tuyệt đối (analytic validity), không phụ thuộc vào giả thuyết chưa chứng minh.

Data và phân tích

Đối tượng phân tích trong luận án là các cấu trúc tập hợp rời rạc tổng quát $A, B, C \subset \mathbb{F}_q$, các tập véc-tơ $E, F \subset \mathbb{F}_q^n$ và nhóm ma trận $H_n(\mathbb{F}_q)$. Phân tích không dựa trên mẫu số liệu thực nghiệm mà dựa trên các tham số cấu trúc tập hợp:

Đại lượng / Ký hiệu Ý nghĩa toán học Phạm vi tham số / Điều kiện
$ A ,
$E_f(U,V,W)$ Năng lượng hàm ba biến Bộ 6 phần tử $(u,v,w,u',v',w')$ thỏa $f=f'$
$A^+(A), A^\times(A)$ Năng lượng cộng tính / nhân tính Số nghiệm $a+b=c+d$ hoặc $ab=cd$
$I(P, H)$ Số liên thuộc điểm – siêu phẳng Cặp $(p, h) \in P \times H$ thỏa $p \in h$
$p, q$ Đặc số trường / Cấp trường hữu hạn $q = p^r$, $p$ nguyên tố lẻ

Kỹ thuật phân tích năng lượng hàm bậc cao được giải quyết thông qua việc phân rã đa thức tổng quát $f(x,y,z) = axy + bxz + cyz + dx^2 + ey^2 + gz^2 + hx + iy + jz$. Khi đa thức không có dạng tách biến $g(h(x) + k(y) + l(z))$, ít nhất một trong các hệ thức triệt tiêu $4de=a^2, 4dg=b^2, 4eg=c^2, he=ia=jb$ bị vi phạm, loại trừ khả năng suy biến toàn phần và đảm bảo chặn năng lượng đạt bậc tối ưu $E_f(U,V,W) \ll \frac{(|U||V||W|)^2}{q} + \max{|U|^2|V|^2, |V|^2|W|^2, |U|^2|W|^2}$.

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

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

Luận án thiết lập 5 hệ thống kết quả định lượng đột phá:

  1. Phân lớp hàm nở bốn biến trên trường nguyên tố $\mathbb{F}_p$: Cho đa thức $F(u,v,y,z) := f(Q(u,v),y,z)$ với $Q(u,v) = m(u) + u^k n(v)$ ($m(x)$ và $x^k$ độc lập affine, $f$ là đa thức bậc hai ba biến không tách biến). Với mọi $A \subset \mathbb{F}_p$ thỏa mãn $|A| \gg p^{8/13}$ (tương ứng ngưỡng $\varepsilon = 5/13$), ta có $|F(A,A,A,A)| \gg p$. Các hàm cụ thể bao gồm: $$u(u+v)y+z, \quad u(u+v)+yz, \quad u(u+v)(y+z), \quad y(u(u+v)+z), \quad (u(u+v)-y)^2+z, \quad (y-z)^2+u(u+v)$$
  2. Phân lớp hàm nở bốn biến trên trường hữu hạn $\mathbb{F}_q$: Với cùng họ hàm $F(u,v,y,z)$, với mọi $A \subset \mathbb{F}_q$ thỏa mãn $|A| \gg q^{5/8}$ (ngưỡng $\varepsilon = 3/8$), ta có $|F(A,A,A,A)| \gg q$.
  3. Đánh giá tiệm cận chặt tập tích trên nhóm Heisenberg $H_n(\mathbb{F}_q)$: Với $E \subset \mathbb{F}_q^n$ thỏa mãn $|E| \gg q^{\frac{2n+1}{3}}$, lực lượng tập tích ma trận thỏa mãn: $$|[E,E,0][E,E,0]| \gg \frac{|E|^3}{q^n}$$ Kết quả này là chặt và không thể giảm số mũ $\frac{2n+1}{3}$ về bậc thấp hơn nếu không có thêm điều kiện cấu trúc.
  4. Tốc độ nở trên $H_2(\mathbb{F}_p)$ và nhóm con nhân: Khi $p \equiv 3 \pmod 4$ và $E \subset \mathbb{F}_p^2$ với $|E| < p^{7/5}$, ta có: $$|[E,E,0][E,E,0]| \gg |[E,E,0]|^{7/5}$$ Đặc biệt, khi $A$ là nhóm con nhân của $\mathbb{F}_p^*$ với $|A| < p^{1/2}\log p$, số mũ nở đạt mức kỷ lục: $$|[A,A,0][A,A,0]| \gg |[A,A,0]|^{151/80}$$
  5. Mở rộng trên trường số phức $\mathbb{C}$ và vành định giá: Với mọi $A \subset \mathbb{C}$ ($|A| \ge 2$), chứng minh $|[A,A,0][A,A,0]| \gg |[A,A,0]|^{7/5}$, cải thiện vượt bậc chặn của Hegyvári và Hennecart. Trên vành định giá hữu hạn $R$, thiết lập hệ bất đẳng thức tổng – tích mới: $$\max{|A+A|, |A^2+A^2|} \gg q^{-1/5}|A|^{7/5}, \quad \max{|A+A|, |A^3+A^3|} \gg q^{-7/10}|A|^{19/10}$$ $$\max{|A-A|, |AA+AA|} \gg q^{-1/3}|A|^{4/3}, \quad \max{|A^2+A^2|, |AA|} \gg q^{-1/5}|A|^{7/5}$$

Implications đa chiều

  • Về mặt lý thuyết toán học: Cung cấp công cụ giải quyết bài toán khoảng cách phân biệt Erdős (Erdős distinct distance problem) và bài toán tổng – tích trên các cấu trúc hình học hữu hạn.
  • Về khoa học máy tính lý thuyết: Các hàm nở đạt ngưỡng $5/13$ và $3/8$ trực tiếp phục vụ việc thiết kế các bộ trích xuất ngẫu nhiên hai nguồn (two-source randomness extractors), hàm phân tán (dispersers) và bộ sinh giả ngẫu nhiên (pseudorandom generators) với độ dài hạt giống (seed length) ngắn hơn đáng kể.
  • Về an toàn thông tin và mật mã học: Cấu trúc ma trận Heisenberg nở nhanh cung cấp nền tảng vững chắc cho việc xây dựng các hàm băm mật mã chống va chạm (collision-resistant hash functions), giao thức bỏ phiếu điện tử an toàn (e-voting protocols) và các hệ thống chứng minh có thể kiểm tra xác suất (PCPs).

Limitations và Future Research

Luận án thẳng thắn chỉ ra các giới hạn lý thuyết và điều kiện biên:

  1. Giới hạn đặc số và cấu trúc trường: Kết quả trên $H_2(\mathbb{F}_p)$ bắt buộc điều kiện $p \equiv 3 \pmod 4$ để triệt tiêu đường thẳng đẳng hướng. Khi $p \equiv 1 \pmod 4$, trường xuất hiện phần tử $i = \sqrt{-1}$, dẫn đến các cấu trúc suy biến hình học chưa được kiểm soát hoàn toàn.
  2. Rào cản bậc của đa thức: Các kết quả hàm bốn biến hiện giới hạn ở các đa thức thành phần bậc hai. Đối với đa thức bậc cao hơn ($d \ge 3$), việc kiểm soát các mặt phẳng tiếp xúc đại số đòi hỏi công cụ hình học đại số phức tạp hơn như Định lý Bézout tổng quát hoặc Lý thuyết đối đồng suy biến.
  3. Ranh giới số mũ tập nhỏ: Ngưỡng nở của tập ma trận Heisenberg trên $\mathbb{F}_p$ vẫn phụ thuộc vào điều kiện kích thước $|E| < p^{7/5}$.

Chương trình nghiên cứu tương lai (Future Research Agenda):

  • Hướng 1: Mở rộng đánh giá trên nhóm Heisenberg sang trường hợp đặc số $p \equiv 1 \pmod 4$ bằng cách phát triển giải tích phổ trên nón đẳng hướng (isotropic cone analysis).
  • Hướng 2: Thiết lập ngưỡng nở cho các đa thức $k$-biến tùy ý ($k \ge 5$) với bậc $d \ge 3$ trên vành định giá hữu hạn.
  • Hướng 3: Ứng dụng trực tiếp họ hàm nở $5/13$ vào việc tối ưu hóa độ phức tạp của thuật toán kiểm thử thuộc tính (property testing) trong mạng truyền thông lượng tử.
  • Hướng 4: Khảo sát bài toán tổng – tích trên nhóm ma trận Lie tổng quát như $SL_2(\mathbb{F}_q)$ và $SO_3(\mathbb{F}_q)$.

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

Công trình tạo ra tác động học thuật và ứng dụng đa tầng:

  • Ảnh hưởng học thuật quốc tế: Các bài báo xuất bản từ luận án trên Journal of Number Theory và Pacific Journal of Mathematics trở thành tài liệu tham khảo chuẩn mực trong cộng đồng giải tích tổ hợp thế giới, mở ra các trích dẫn trong nghiên cứu về năng lượng hàm và hình học liên thuộc.
  • Tác động đến công nghệ mật mã: Cung cấp cơ sở toán học thuần túy giúp các kỹ sư mật mã đánh giá độ phức tạp tính toán của các bài toán phân tích hàm một chiều trên nhóm phi giao hoán.
  • Đóng góp cho giáo dục và đào tạo: Định hình phương pháp giảng dạy chuyên đề sau đại học về Tổ hợp cộng tính và Hình học rời rạc tại Đại học Quốc gia Hà Nội và các viện nghiên cứu toán học trong nước.

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

  • Nghiên cứu sinh và học giả chuyên ngành Toán – Tin: Tiếp cận khung phương pháp luận kết hợp phổ đồ thị và liên thuộc hình học để giải quyết các bài toán biên tổ hợp.
  • Nhà nghiên cứu Khoa học máy tính lý thuyết: Sử dụng trực tiếp các đa thức nở bốn biến để xây dựng các thuật toán trích xuất ngẫu nhiên hiệu năng cao.
  • Chuyên gia An toàn thông tin và Mật mã học: Ứng dụng cấu trúc tập tích ma trận Heisenberg vào việc thiết kế giao thức truyền thông bảo mật và chữ ký số kháng lượng tử.
  • Giảng viên đại học: Khai thác hệ thống bổ đề và định lý mẫu mực làm giáo trình giảng dạy chuyên sâu về Giải tích Fourier trên trường hữu hạ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?
Đóng góp độc đáo nhất là việc phân lớp và thiết lập ngưỡng định lượng $\varepsilon = 5/13$ cho họ hàm bốn biến $F(u,v,y,z) := f(Q(u,v),y,z)$ trên trường nguyên tố $\mathbb{F}_p$. Kết quả này đã mở rộng trực tiếp Lý thuyết hàm nở đa thức của Bourgain (2005) và Tao (2008), vượt qua chặn $1/3$ kinh điển của Hart – Iosevich (2008) và chặn $3/8$ của Lê Anh Vinh (2013).

2. Đột phá phương pháp luận so với các nghiên cứu quốc tế trước đó là gì?
So với phương pháp tổng đặc trưng của Sárkózy (2008) (chỉ áp dụng cho đa thức đối xứng thuần nhất) và phương pháp giải tích Fourier đơn thuần của Hegyvári – Hennecart (2013), luận án đã kết hợp đột phá giữa phép biến đổi Fourier, định lý đảo Plancherel, bất đẳng thức Holder/Cauchy-Schwarz và kỹ thuật hình học liên thuộc điểm – siêu phẳng suy biến (Stevens – De Zeeuw, Rudnev).

3. Phát hiện bất ngờ nhất về mặt toán học trong luận án là gì?
Phát hiện bất ngờ nhất là số mũ nở tích ma trận $[A,A,0][A,A,0]$ trong nhóm Heisenberg $H_1(\mathbb{F}_p)$ đối với nhóm con nhân có thể đạt tới mức kỷ lục $151/80 \approx 1.8875$ (khi $|A| < p^{1/2}\log p$), cao hơn rất nhiều so với kỳ vọng lý thuyết ban đầu xung quanh mức $3/2$.

4. Luận án có cung cấp quy trình tái lập (Replication Protocol) hoàn chỉnh không?
Có. Luận án cung cấp hệ thống chứng minh giải tích toán học tường minh 100%. Mọi bổ đề trung gian, chặn sai số, phân hoạch tập suy biến $(P_1, P_2, H_1, H_2)$ và các phép biến đổi đại số đều được trình bày chi tiết từng bước, cho phép cộng đồng toán học quốc tế kiểm chứng độc lập mà không có bất kỳ bước nhảy logic nào.

5. Luận án có vạch ra chương trình nghiên cứu 10 năm tiếp theo không?
Có. Chương trình nghiên cứu dài hạn tập trung vào việc vượt qua rào cản đặc số $p \equiv 1 \pmod 4$ trên nhóm Heisenberg, giải quyết trọn vẹn bài toán hàm nở $k$-biến bậc cao ($d \ge 3$) trên vành định giá và ứng dụng lý thuyết hàm nở vào cấu trúc mạng truyền thông lượng tử.

Kết luận

  1. Luận án đã giải quyết xuất sắc bài toán xác định tốc độ nở và phân lớp định lượng các hàm đa thức bốn biến trên trường hữu hạn $\mathbb{F}_q$ và trường nguyên tố $\mathbb{F}_p$, thiết lập các kỷ lục ngưỡng mới: $5/13$ trên $\mathbb{F}_p$ và $3/8$ trên $\mathbb{F}_q$.
  2. Khám phá và chứng minh tường minh các cận dưới chặt chẽ cho tập tích ma trận trong nhóm Heisenberg $H_n(\mathbb{F}_q)$, đạt số mũ $7/5$ trên $H_2(\mathbb{F}_p)$, $151/80$ trên nhóm con nhân $H_1(\mathbb{F}_p)$ và $7/5$ trên trường số phức $\mathbb{C}$.
  3. Thiết lập hệ thống bất đẳng thức tổng – tích mới trên vành định giá hữu hạn, làm phong phú cơ sở lý thuyết tổ hợp cộng tính hiện đại.
  4. Phát triển thành công khung phương pháp luận kết hợp giải tích Fourier, lý thuyết phổ đồ thị và hình học liên thuộc đa chiều, cung cấp công cụ mạnh mẽ cho toán học rời rạc.
  5. Mở ra ba dòng nghiên cứu mới: hàm nở đa biến bậc cao trên vành đại số, cấu trúc nhóm xấp xỉ phi giao hoán trong mật mã học, và tối ưu hóa bộ trích xuất giả ngẫu nhiên cho khoa học máy tính.
  6. Công trình khẳng định vị thế học thuật xuất sắc thông qua các ấn phẩm quốc tế uy tín, tạo nền tảng vững chắc cho sự phát triển của chuyên ngành Cơ sở Toán học cho Tin học tại Việt Nam trên trường quốc tế.