Tổng quan luận án

Luận án tiến sĩ toán học với đề tài nghiên cứu về các hàm nở trong không gian hữu hạn được thực hiện bởi nghiên cứu sinh Lê Quang Hàm, dưới sự hướng dẫn khoa học của Giáo sư Lê Anh Vinh. Luận án thuộc chuyên ngành Cơ sở Toán học cho Tin học (mã số: 9460117.02), hoàn thành tại Bộ môn Tin học, Khoa Toán - Cơ - Tin học, Trường Đại học Khoa học Tự nhiên thuộc Đại học Quốc gia Hà Nội vào năm 2022.

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

Tổ hợp cộng tính là lĩnh vực nghiên cứu giao thoa giữa tổ hợp, lý thuyết số, giải tích Fourier và lý thuyết ergodic. Theo mô tả của Green, tổ hợp cộng tính tập trung vào 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. Các công cụ và kết quả của tổ hợp cộng tính có nhiều ứng dụng trong khoa học máy tính lý thuyết và mật mã học, bao gồm việc xây dựng hàm nở, hàm trích xuất ngẫu nhiên, cấu trúc tựa ngẫu nhiên, kiểm thử thuộc tính, lý thuyết độ phức tạp tính toán, khuếch đại độ khó, các hệ thống chứng minh kiểm tra được bằng xác suất (PCPs), lý thuyết thông tin và giao thức bỏ phiếu điện tử.

Trong tổ hợp cộng tính, bài toán hàm nở có mối liên hệ trực tiếp với bài toán khoảng cách phân biệt Erdős và bài toán tổng - tích thông qua việc nghiên cứu tốc độ nở của các ánh xạ đa thức tương ứng. Việc xây dựng và xác định tốc độ nở của các hàm ít biến thường phức tạp hơn so với các hàm nhiều biến. Dù đã có nhiều công trình nghiên cứu, bài toán hàm nở trong các không gian hữu hạn vẫn chưa được giải quyết triệt để và đặt ra nhiều yêu cầu mở rộng: xác lập ngưỡng định lượng cho các lớp hàm bốn biến mới, mở rộng không gian khảo sát sang vành định giá hữu hạn và thiết lập các đánh giá định lượng cho tập tích ma trận trên các nhóm phi giao hoán như nhóm Heisenberg.

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

Mục tiêu tổng quát của luận án là nghiên cứu tính chất nở của một số lớp hàm trong không gian hữu hạn và nhóm ma trận. Luận án xác định ba nhóm nhiệm vụ cụ thể được đánh số theo văn bản như sau:

  1. Nghiên cứu các hàm nở bốn biến trên trường hữu hạn, định hướng chứng minh một số lớp hàm nở bốn biến với ngưỡng $5/13$ trên trường nguyên tố $\mathbb{F}_p$ và ngưỡng $3/8$ trên trường hữu hạn bất kỳ $\mathbb{F}_q$.
  2. Nghiên cứu hàm nở hai biến trên vành định giá hữu hạn, mở rộng một số kết quả trên trường hữu hạn, đồng thời khảo sát các hàm nở ba biến và bốn biến trên cấu trúc này.
  3. Nghiên cứu các hàm nở và đánh giá lực lượng của tập tích các ma trận trên nhóm Heisenberg bậc $n$.

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

  • Đối tượng nghiên cứu: Các đa thức nhiều biến (hai biến, ba biến, bốn biến), hàm năng lượng, tập tích ma trận trong nhóm Heisenberg, và các cấu trúc tập hợp con trong đại số hữu hạn.
  • Phạm vi không gian: Trường hữu hạn $\mathbb{F}_q$ (với $q$ là lũy thừa của một số nguyên tố lẻ), trường nguyên tố $\mathbb{F}_p$, vành định giá hữu hạn $R$, nhóm Heisenberg $H_n(\mathbb{F}_q)$, và trường số phức $\mathbb{C}$.
  • Phạm vi thời gian và tư liệu: Công trình được hoàn thành và bảo vệ năm 2022, kế thừa hệ thống kết quả nghiên cứu về hình học liên thuộc, phổ đồ thị và giải tích Fourier từ các công bố quốc tế giai đoạn trước đó.

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

Các hướng nghiên cứu trước được điểm lại trong văn bản

Văn bản luận án hệ thống hóa các kết quả nghiên cứu trước đây theo bốn nhóm đối tượng chính:

  1. Hàm nở hai biến:

    • Bourgain [58] là người đầu tiên chỉ ra rằng đa thức hai biến $x^2 + xy$ là hàm nở yếu, tuy nhiên công trình không đưa ra các mối quan hệ định lượng cụ thể cho ngưỡng nở.
    • Hegyvári và Hennecart [79] sử dụng định lý liên thuộc điểm - đường trên trường hữu hạn của Lê Anh Vinh [60] để thiết lập kết quả định lượng cho tốc độ nở của đa thức hai biến dạng $f(x,y) = f(x) + x^k g(y)$ (ngoại trừ một số trường hợp suy biến).
    • Tao khảo sát hàm nở vừa và chứng minh rằng với đa thức hai biến $f(x,y)$ bất kỳ không có dạng suy biến $Q(H(x) + G(y))$ hay $Q(H(x)G(y))$, nếu hai tập con $A_1, A_2 \subset \mathbb{F}_p$ thỏa mãn $|A_1||A_2| \gg p^{3/2}$ thì $|f(A_1, A_2)| \gg p$, tương ứng với ngưỡng nở vừa là $1/4$.

  2. Hàm nở ba biến:

    • Hart và Iosevich [29] chứng minh đa thức $x + yz$ là hàm nở ba biến với ngưỡng $1/3$.
    • Lê Anh Vinh mở rộng kết quả trên cho lớp đa thức $x + P(y,z)$ với $P(y,z)$ không có dạng tách biến $g(y) + h(z)$ bằng phương pháp phổ đồ thị.
    • Trên trường nguyên tố, sử dụng định lý liên thuộc điểm - mặt phẳng của Rudnev [73], các tác giả [30], [84] chứng minh các đa thức $x + yz$ và $x(y+z)$ là các hàm nở trên toàn bộ trường nguyên tố.
    • Lê Anh Vinh và các cộng sự [96] mở rộng cho họ đa thức bậc hai $f(x,y,z) \in \mathbb{F}_p[x,y,z]$ không có dạng $g(h(x) + k(y) + l(z))$: với các tập thỏa mãn $|A| = |B| = |C| = N < p^{3/2}$ thì $|f(A,B,C)| \gg N^{3/2}$.

  3. Hàm nở bốn biến:

    • Hart và Iosevich [29] chứng minh các hàm $xy + zt$ và $(x-y)^2 + (z-t)^2$ là hàm nở vừa với ngưỡng $1/3$. Sárkózy [8], [9] sử dụng ước lượng tổng đặc trưng cộng tính để chứng minh các hàm $x+y+zt$, $xy+zt$ và $(x-y)^2 + (z-t)^2$ nở vừa với ngưỡng $1/3$.
    • Bennett, Hart, Iosevich, Pakianathan và Rudnev [65] bổ sung lớp hàm $(x-y)(z-t)$ với ngưỡng $1/3$.
    • Lê Anh Vinh [59] sử dụng phương pháp phổ đồ thị thiết lập các lớp hàm nở vừa có ngưỡng $3/8$, bao gồm: $xy + (z-t)^2$, $f(x) + g(y) + uv$, $f(x) + g(y) + (u-v)^2$, $f(x)g(y) + uv$, và $f(x)g(y) + (u-v)^2$.

  4. Hàm nở trên nhóm ma trận Heisenberg:

    • Hegyvári và Hennecart nghiên cứu hàm nở đối với các khối trong nhóm Heisenberg $H_n(\mathbb{F}_p)$. Shkredov [45] cải thiện tương quan giữa số chiều $n$ và tham số $\epsilon$.
    • Trong công trình [82], Hegyvári và Hennecart sử dụng ước lượng tổng - tích trên $H_1(\mathbb{F}_p)$, chứng minh rằng với $A \subset \mathbb{F}_p$ thỏa mãn $|A| > p^{1/2}$ thì $|[A,A,0][A,A,0]| \gg \min{p^{-1}|[A,A,0]|^4, p^{1/2}|[A,A,0]|^2}$.
    • Trên trường số thực $\mathbb{R}$, Hegyvári và Hennecart [82] sử dụng chặn liên thuộc điểm - mặt phẳng của Elekes và Tóth [57] cùng biến thể năng lượng của Rudnev, Shkredov và Stevens [70] để đánh giá tập tích ma trận khi $|A| \ge 3$.

Khoảng trống luận án lựa chọn giải quyết

Luận án tập trung giải quyết các bài toán chưa có lời giải hoàn chỉnh:

  • Xây dựng họ hàm nở bốn biến tổng quát có bậc hai trên cơ sở hàm hợp giữa đa thức hai biến và đa thức ba biến, nhằm nâng ngưỡng nở vừa lên $5/13$ trên trường nguyên tố $\mathbb{F}_p$ và $3/8$ trên trường hữu hạn $\mathbb{F}_q$.
  • Cải thiện đánh giá chặn dưới cho lực lượng tập tích ma trận trên nhóm Heisenberg $H_n(\mathbb{F}_q)$ để đạt được bậc số mũ tối ưu (chặt), mở rộng trường hợp nhóm con nhân trên trường nguyên tố, và khảo sát bài toán trên trường số phức $\mathbb{C}$.
  • Mở rộng lý thuyết hàm nở hai, ba, bốn biến và các bất đẳng thức dạng tổng - tích trên cấu trúc vành định giá hữu hạn.

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

Các khái niệm và định nghĩa nền tảng

  • Hàm nở trên vành: Cho $R$ là vành có đặc số $p$. Đa thức $f \in R[x_1, \dots, x_n]$ được gọi là hàm nở nếu tồn tại các hằng số $\alpha > 1$ và $\epsilon > 0$ sao cho với mọi tập hợp $A_1, \dots, A_n \subset R$ có cùng lực lượng $N < p^\alpha$ thì $|f(A_1, \dots, A_n)| \gg N^{1+\epsilon}$.
  • Phân loại cấp độ nở trên trường hữu hạn $\mathbb{F}_q$ (với ánh xạ $f: \mathbb{F}_q^k \to \mathbb{F}_q$):
    • Nở mạnh: Với ngưỡng $0 < \epsilon < 1$, nếu với mọi $A \subset \mathbb{F}_q$ thỏa mãn $|A| > q^{1-\epsilon}$ thì $|f(A, \dots, A)| > q - k$ với hằng số nguyên dương $k$ cố định.
    • Nở vừa: Với ngưỡng $0 < \epsilon < 1$, nếu với mọi $A \subset \mathbb{F}_q$ thỏa mãn $|A| \gg q^{1-\epsilon}$ thì $|f(A, \dots, A)| \gg q$.
    • Nở yếu: Với ngưỡng $0 < \epsilon < 1$ và $0 < \delta < 1$, nếu với mọi $A \subset \mathbb{F}_q$ thỏa mãn $|A| \gg q^{1-\epsilon}$ thì $|f(A, \dots, A)| \gg q^\delta$.
  • Nhóm Heisenberg: Nhóm Heisenberg bậc $n$ trên trường $\mathbb{F}_q$, ký hiệu là $H_n(\mathbb{F}_q)$, là nhóm các ma trận vuông cấp $n+2$ dạng: $$[x, y, z] := \begin{pmatrix} 1 & x & z \ 0 & I_n & y^T \ 0 & 0 & 1 \end{pmatrix}$$ trong đó $x, y \in \mathbb{F}_q^n$, $y^T$ là véc-tơ cột chuyển vị của $y$, $I_n$ là ma trận đơn vị cấp $n$, và $z \in \mathbb{F}_q$. Phép nhân ma trận thỏa mãn quy tắc: $$[x, y, z][x', y', z'] = [x+x', y+y', z+z'+x \cdot y']$$ với $x \cdot y'$ là tích vô hướng thông thường. Tập ma trận được ký hiệu $[E, F, A] := {[x, y, z] : x \in E, y \in F, z \in A}$.
  • Năng lượng của hàm và năng lượng cộng tính: Năng lượng của hàm $f$ trên tập hợp $A$ là đại lượng $E_f(A) = |{(a, a') \in A \times A : f(a) = f(a')}|$. Năng lượng cộng tính của tập hợp $A$ được ký hiệu là $A^+(A) = |{(a,b,c,d) \in A^4 : a+b = c+d}|$; năng lượng nhân tính là $A^\times(A) = |{(a,b,c,d) \in A^4 : ab = cd}|$.

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

Luận án sử dụng các phương pháp suy luận diễn dịch thuần túy của toán học lý thuyết:

  1. Phương pháp hình học liên thuộc (Incidence Geometry):
    • Định lý liên thuộc điểm - siêu phẳng của Lê Anh Vinh [60]: Với tập điểm $P$ và tập siêu phẳng $\mathcal{H}$ trong $\mathbb{F}_q^d$ ($d \ge 2$), số liên thuộc thỏa mãn: $$I(P, \mathcal{H}) \le \frac{|P||\mathcal{H}|}{q} + q^{(d-1)/2} |P|^{1/2} |\mathcal{H}|^{1/2}$$
    • Định lý liên thuộc điểm - đường của Stevens và De Zeeuw [93] trên $\mathbb{F}_p^2$: Cho $A, B \subset \mathbb{F}_p$ và $\mathcal{L}$ là tập các đường thẳng thỏa mãn $|A||B|^2 \le |\mathcal{L}|^3$ và $|A||\mathcal{L}| \le p^2$, thì $I(A \times B, \mathcal{L}) \ll |A|^{3/4} |B|^{1/4} |\mathcal{L}|^{3/4} + |\mathcal{L}|$.
    • Định lý liên thuộc điểm - đường trên trường số phức $\mathbb{C}^2$ của Tóth [22]: $I(P, \mathcal{L}) \ll |P|^{2/3} |\mathcal{L}|^{2/3} + |P| + |\mathcal{L}|$.
  2. Lý thuyết phổ đồ thị và lý thuyết đồ thị cực trị:
    • Bổ đề Zarankiewicz / Kővári - Sós - Turán: Với đồ thị hai phần $G = (A \cup B, e(G))$ không chứa đồ thị lưỡng phân đầy đủ $K_{s,t}$, số cạnh được chặn bởi: $$e(G) \le s^{1/2} |A| |B|^{1/2} + t|B|$$
  3. Giải tích Fourier trên nhóm hữu hạn:
    • Phép biến đổi Fourier của hàm $f: \mathbb{F}q^n \to \mathbb{C}$ theo đặc trưng cộng không tầm thường $\chi$: $$\widehat{f}(m) = q^{-n} \sum{x \in \mathbb{F}_q^n} f(x) \chi(-m \cdot x)$$
    • Công thức nghịch đảo Fourier và hệ 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$.
  4. Kỹ thuật tổ hợp đại số: Sử dụng bất đẳng thức Cauchy - Schwarz và bất đẳng thức Hölder để chuyển việc ước lượng lực lượng của tập ảnh về bài toán đếm số nghiệm của các phương trình đại số (ước lượng năng lượng hàm).

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

Luận án là công trình nghiên cứu lý thuyết toán học thuần túy, không sử dụng dữ liệu số thực nghiệm hay khảo sát xã hội học. Toàn bộ cơ sở dữ liệu phân tích là các định lý, bổ đề và các cấu trúc đại số trừu tượng trích xuất từ các công bố khoa học chuyên ngành.

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

Chương 1: Hàm nở bốn biến trên trường hữu hạn

Chương 1 giải quyết bài toán xây dựng và phân lớp các hàm bốn biến nở vừa trên trường nguyên tố $\mathbb{F}_p$ và trường hữu hạn $\mathbb{F}_q$.

  • Phát biểu bài toán: Cho đa thức bậc hai ba biến $f \in \mathbb{F}_q[x,y,z]$ không có dạng suy biến $g(h(x) + k(y) + l(z))$. Cho hai đa thức một biến $m(x), n(x)$ có bậc bị chặn sao cho $m(x)$ và $x^k$ độc lập affine. Định nghĩa đa thức hai biến $Q(u,v) = m(u) + u^k n(v)$ và hàm bốn biến $F(u,v,y,z) := f(Q(u,v), y, z)$ với $k$ là số nguyên dương cố định.
  • Các định lý chính đạt được:
    1. Trên trường nguyên tố $\mathbb{F}_p$: Với mọi tập con $A \subset \mathbb{F}_p$ thỏa mãn $|A| \gg p^{8/13}$ (tương ứng ngưỡng $\epsilon = 5/13$), ta có $|F(A, A, A, A)| \gg p$. Lớp hàm này bao gồm các đa thức cụ thể:
      • $u(u+v)y + z$
      • $u(u+v) + yz$
      • $u(u+v)(y + z)$
      • $y(u(u+v) + z)$
      • $(u(u+v) - y)^2 + z$
      • $(y - z)^2 + u(u+v)$
    2. Trên trường hữu hạn $\mathbb{F}_q$: Với mọi tập con $A \subset \mathbb{F}_q$ thỏa mãn $|A| \gg q^{5/8}$ (tương ứng ngưỡng $\epsilon = 3/8$), ta có $|F(A, A, A, A)| \gg q$. Các đa thức cụ thể trên cũng đồng thời là hàm nở vừa với ngưỡng $3/8$ trên $\mathbb{F}_q$.
  • Kỹ thuật chứng minh:
    • Tác giả thiết lập chặn trên cho năng lượng của hàm ba biến $E_f(U,V,W)$ trên $\mathbb{F}_q$ (mở rộng kết quả của Koh, Mirzaei, Thắng và Shen [24] trên $\mathbb{F}_p$): $$E_f(U,V,W) \ll \frac{(|U||V||W|)^2}{q} + \max{|V|^2|W|^2, |V|^2|U|^2, |U|^2|W|^2}$$ với điều kiện $|U||V||W| > q^2$.
    • Chứng minh dựa trên việc phân loại đa thức bậc hai $f(x,y,z)$ thành các trường hợp đại số, quy đổi điều kiện phương trình $f(x,y,z) = f(x',y',z')$ thành bài toán liên thuộc giữa tập điểm $P$ và tập mặt phẳng $\mathcal{H}$ trong không gian véc-tơ ba chiều $\mathbb{F}q^3$, sau đó áp dụng định lý liên thuộc điểm - siêu phẳng của Lê Anh Vinh kết hợp với chặn số cạnh của đồ thị hai phần không chứa chu trình $K{2,2}$.
    • Kết hợp với đánh giá lực lượng tập ảnh hàm hai biến $|Q(A,A)| \gg \min{q, |A|^2/q^{1/2}}$ trên $\mathbb{F}_q$ và $|Q(A,A)| \gg |A|^{5/4}$ khi $|A| < p^{2/3}$ trên $\mathbb{F}_p$.

Chương 2: Hàm nở trên nhóm Heisenberg

Chương 2 trình bày các kết quả đánh giá lực lượng của tập tích ma trận $[E,F,A][E',F',A']$ trong nhóm Heisenberg, tập trung vào tập $[E,E,0][E,E,0]$.

  • Các kết quả chính đạt được:
    1. Trên nhóm $H_n(\mathbb{F}_q)$: Cho $E \subset \mathbb{F}_q^n$. Luận án chứng minh rằng nếu $|E| > q^{\frac{n+1}{2}}$ thì: $$|[E, E, 0][E, E, 0]| \gg \frac{|[E, E, 0]|^2}{q} = \frac{|E|^4}{q}$$ Tác giả chỉ ra rằng số mũ trong kết quả này là chặt: khi chọn $E$ là không gian con của $\mathbb{F}_q^n$ hoặc xét $q = p^2$ với $E = \mathbb{F}_p^n$, số mũ không thể giảm xuống dưới mức tương ứng.
    2. Trên nhóm $H_2(\mathbb{F}_p)$ với $p \equiv 3 \pmod 4$: Nếu $E \subset \mathbb{F}_p^2$ và $|E| < p^{5/3}$, tác giả chứng minh: $$|[E, E, 0][E, E, 0]| \gg |[E, E, 0]|^{6/5}$$ Cơ sở của việc đòi hỏi điều kiện $p \equiv 3 \pmod 4$ là để đảm bảo trong $\mathbb{F}_p^2$ không tồn tại đường thẳng đẳng hướng (isotropic line).
    3. Trường hợp nhóm con nhân trên $\mathbb{F}_p$: Khi $A$ là nhóm con theo phép nhân của $\mathbb{F}_p^*$ thỏa mãn $|A| < p^{1/2} \log p$, tác giả thu được đánh giá: $$|[A, A, 0][A, A, 0]| \gg |[A, A, 0]|^{15/14}$$
    4. Mở rộng trên trường số phức $\mathbb{C}$: Với mọi tập con hữu hạn $A \subset \mathbb{C}$ thỏa mãn $|A| \ge 2$, luận án chứng minh: $$|[A, A, 0][A, A, 0]| \gg |[A, A, 0]|^{7/6}$$
    5. Cải thiện kết quả của Hegyvári và Hennecart khi năng lượng cộng tính nhỏ: Cho $A \subset \mathbb{F}_q$. Nếu $A^+(A) \le \frac{|A|^3}{K}$ với $K > 0$ và $|A| > K^{1/3} q^{2/3}$, thì: $$|[A, A, 0][A, A, 0]| \gg \frac{K}{q} |[A, A, 0]|^2$$
  • Kỹ thuật chứng minh:
    • Áp dụng bất đẳng thức Cauchy - Schwarz chuyển việc ước lượng tập tích về việc đếm số bộ bốn ma trận có tích bằng nhau.
    • Sử dụng công cụ giải tích Fourier cho tập bội trên $\mathbb{F}_q^{2n} \times \mathbb{F}_q$ để ước lượng số nghiệm của hệ phương trình tích ma trận.
    • Sử dụng định lý chặn liên thuộc điểm - đường trên $\mathbb{C}^2$ của Tóth để chứng minh chặn số bộ ba điểm thẳng hàng $T(A) \ll |A|^4 \log |A|$ và đánh giá số nghiệm trên trường số phức.

Hàm nở trên vành định giá hữu hạn (Chương 3/4 của luận án)

Theo cấu trúc tổng thể được giới thiệu trong phần mở đầu của luận án, tác giả mở rộng nghiên cứu sang vành định giá hữu hạn $R$ (với $R^\times$ là tập phần tử khả nghịch và $R^0$ là tập phần tử không khả nghịch):

  • Hàm nở hai biến và bất đẳng thức tổng - tích: Xây dựng đồ thị tổng - tích trên vành định giá hữu hạn và thiết lập các đánh giá định lượng: $$|f(A, B)||DB + C| \gg \min \left{ |B||C|, \frac{|A||B||C|}{q}, \frac{|A||B|^2|C|}{m^2 q^{2r-1}} \right}$$ với các dạng hàm $f(x,y) = g(x)h(y)(x+y)$.
  • Hàm nở ba biến và bốn biến: Chứng minh đa thức $xyz + g(x) + s(y) + t(z)$ là hàm nở trên vành định giá hữu hạn, đồng thời thiết lập các bất đẳng thức tổng - tích: $$\max{|A+A|, |A^2+A^2|} \gg q^{-1/3} |A|^{4/3}$$ $$\max{|A+A|, |A^3+A^3|} \gg q^{-7/10} |A|^{9/10}$$ $$\max{|A-A|, |AA+AA|} \gg q^{-1/3} |A|^{4/3}$$ $$\max{|A^4+A^4|, |AA|} \gg q^{-1/3} |A|^{4/3}$$
  • Phân lớp một số hàm bốn biến nở trên vành định giá hữu hạn tương ứng với các dạng đã khảo sát trên trường hữu hạn.

Bảng tổng hợp các kết quả chính của luận án

Không gian đại số Lớp hàm / Cấu trúc đối tượng Điều kiện tập hợp con Kết quả đánh giá lực lượng / Ngưỡng nở
Trường nguyên tố $\mathbb{F}_p$ $F(u,v,y,z) := f(Q(u,v),y,z)$ $|A| \gg p^{8/13}$ Hàm nở vừa với ngưỡng $\epsilon = 5/13$ ($|F(A,A,A,A)| \gg p$)
Trường hữu hạn $\mathbb{F}_q$ $F(u,v,y,z) := f(Q(u,v),y,z)$ $|A| \gg q^{5/8}$ Hàm nở vừa với ngưỡng $\epsilon = 3/8$ ($|F(A,A,A,A)| \gg q$)
Nhóm Heisenberg $H_n(\mathbb{F}_q)$ $[E, E, 0][E, E, 0]$ $E \subset \mathbb{F}_q^n, |E| > q^{\frac{n+1}{2}}$ $|[E, E, 0][E, E, 0]| \gg q^{-1}|[E, E, 0]|^2 = q^{-1}|E|^4$ (chặt)
Nhóm Heisenberg $H_2(\mathbb{F}_p)$ $[E, E, 0][E, E, 0]$ $p \equiv 3 \pmod 4, |E| < p^{5/3}$ $|[E, E, 0][E, E, 0]| \gg |[E, E, 0]|^{6/5}$
Nhóm Heisenberg $H_1(\mathbb{F}_p)$ $[A, A, 0][A, A, 0]$ $A \le \mathbb{F}_p^*, |A| < p^{1/2} \log p$ $|[A, A, 0][A, A, 0]| \gg |[A, A, 0]|^{15/14}$
Nhóm Heisenberg $H_1(\mathbb{F}_q)$ $[A, A, 0][A, A, 0]$ $A^+(A) \le \frac{|A|^3}{K}, |A| > K^{1/3} q^{2/3}$ $|[A, A, 0][A, A, 0]| \gg K q^{-1} |[A, A, 0]|^2$
Trường số phức $\mathbb{C}$ $[A, A, 0][A, A, 0]$ $A \subset \mathbb{C}, |A| \ge 2$ $|[A, A, 0][A, A, 0]| \gg |[A, A, 0]|^{7/6}$
Vành định giá hữu hạn $R$ Hàm ba biến $xyz + g(x) + s(y) + t(z)$ Tập $A \subset R$ Là hàm nở; $\max{|A+A|, |A^2+A^2|} \gg q^{-1/3}|A|^{4/3}$

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

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

  1. Phân lớp và thiết lập ngưỡng mới cho hàm bốn biến: Luận án đã xây dựng thành công một họ hàm bốn biến bậc hai $F(u,v,y,z) = f(Q(u,v),y,z)$ và chứng minh tính nở vừa của họ hàm này với ngưỡng $5/13$ trên trường nguyên tố $\mathbb{F}_p$ và ngưỡng $3/8$ trên trường hữu hạn $\mathbb{F}_q$. Các ngưỡng này cải thiện và làm phong phú thêm danh mục các hàm nở nhiều biến đã biết trong tổ hợp cộng tính.
  2. Cải thiện các đánh giá trên nhóm Heisenberg: Luận án mở rộng và cải thiện các kết quả trước đó của Hegyvári và Hennecart trên nhóm Heisenberg:
    • Thiết lập chặn dưới chặt cho tích $[E,E,0][E,E,0]$ trên $H_n(\mathbb{F}_q)$.
    • Nâng số mũ nở lên $6/5$ đối với nhóm $H_2(\mathbb{F}_p)$ khi $p \equiv 3 \pmod 4$.
    • Nâng số mũ lên $15/14$ đối với nhóm con nhân của trường nguyên tố.
    • Thiết lập số mũ nở $7/6$ cho tập tích ma trận trên trường số phức $\mathbb{C}$.
  3. Mở rộng lý thuyết sang vành định giá hữu hạn: Mở rộng thành công các bài toán hàm nở hai biến, ba biến và bốn biến cùng các bất đẳng thức dạng tổng - tích từ trường hữu hạn sang vành định giá hữu hạn.
  4. Phát triển kỹ thuật chứng minh tích hợp: Kết hợp thành công kỹ thuật hình học liên thuộc (chặn liên thuộc điểm - siêu phẳng, điểm - đường) với lý thuyết phổ đồ thị (đồ thị không chứa $K_{s,t}$) và giải tích Fourier hữu hạn để giải quyết bài toán ước lượng năng lượng hàm và đếm số nghiệm của các hệ phương trình đại số.

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

Các kết quả nghiên cứu chính của luận án đã được bình duyệt và công bố trên hai tạp chí toán học quốc tế:

  • Bài báo "Moderate Expanders Over Rings" công bố trên tạp chí Journal of Number Theory (chứa nội dung Chương 1 và phần kết quả trên vành định giá).
  • Bài báo "On a theorem of Hegyvari and Hennecart" công bố trên tạp chí Pacific Journal of Mathematics (chứa nội dung Chương 2).

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

Hạn chế được ghi nhận từ văn bản

  • Tính triệt để của ngưỡng: Luận án chỉ rõ các bài toán hàm nở trong tổ hợp cộng tính một mặt vẫn chưa được chứng minh một cách triệt để; các ngưỡng đạt được ($5/13$ và $3/8$) phụ thuộc vào chặn năng lượng hiện có và chưa khẳng định là chặn tối ưu tuyệt đối.
  • Ràng buộc về điều kiện đại số:
    • Kết quả trên nhóm $H_2(\mathbb{F}_p)$ phụ thuộc vào điều kiện đặc số $p \equiv 3 \pmod 4$ để triệt tiêu các đường thẳng đẳng hướng trong hình học giải tích trên trường hữu hạn.
    • Đánh giá trên nhóm con nhân đòi hỏi giới hạn kích thước $|A| < p^{1/2} \log p$.
    • Các hàm khảo sát chủ yếu dừng lại ở cấu trúc đa thức bậc hai hoặc hàm hợp chứa thành phần bậc hai.

Hướng nghiên cứu tiếp

  • Mở rộng khảo sát tính chất nở cho các đa thức có bậc cao hơn hai trên các trường hữu hạn và vành định giá.
  • Tìm kiếm các kỹ thuật giải tích mới nhằm loại bỏ điều kiện $p \equiv 3 \pmod 4$ trên nhóm Heisenberg bậc cao.
  • Nghiên cứu tốc độ nở của tập tích ma trận trên các nhóm Lie ma trận khác ngoài nhóm Heisenberg.

Giá trị tham khảo

Luận án có giá trị tham khảo chuyên môn sâu đối với các nhóm đối tượng học thuật sau:

  • Nghiên cứu sinh và học viên cao học ngành Toán học và Khoa học máy tính lý thuyết: Luận án cung cấp hệ thống tài liệu tham khảo chi tiết về cách thức áp dụng hình học liên thuộc, phổ đồ thị và giải tích Fourier vào các bài toán tổ hợp cộng tính.
  • Giảng viên và nhà nghiên cứu trong lĩnh vực Mật mã học và Lý thuyết độ phức tạp: Các cấu trúc hàm nở vừa và hàm nở trên nhóm Heisenberg cung cấp cơ sở toán học để thiết kế các hàm giả ngẫu nhiên, trích xuất ngẫu nhiên và giao thức mật mã.
  • Phần nội dung có giá trị tham khảo cao nhất:
    • Kỹ thuật chuyển đổi phương trình đại số sang mô hình liên thuộc điểm - mặt phẳng để đánh giá năng lượng hàm $E_f(U,V,W)$ trong Chương 1.
    • Phương pháp giải tích Fourier trên tập bội kết hợp bất đẳng thức Cauchy - Schwarz dùng để đếm nghiệm ma trận trong Chương 2.

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

1. Khái niệm hàm nở vừa trên trường hữu hạn được định nghĩa như thế nào trong luận án?

Theo Định nghĩa 1.1 trong luận án, một ánh xạ $f: \mathbb{F}_q^k \to \mathbb{F}_q$ được gọi là hàm nở vừa với ngưỡng $0 < \epsilon < 1$ nếu với mọi tập con $A \subset \mathbb{F}_q$ thỏa mãn điều kiện lực lượng $|A| \gg q^{1-\epsilon}$, thì tập ảnh thỏa mãn $|f(A, \dots, A)| \gg q$.

2. Các ngưỡng nở vừa mà luận án đạt được cho lớp hàm bốn biến là bao nhiêu?

Luận án chứng minh lớp hàm bốn biến dạng $F(u,v,y,z) := f(Q(u,v), y, z)$ là hàm nở vừa với:

  • Ngưỡng $\epsilon = 5/13$ trên trường nguyên tố $\mathbb{F}_p$ (khi $|A| \gg p^{8/13}$).
  • Ngưỡng $\epsilon = 3/8$ trên trường hữu hạn bất kỳ $\mathbb{F}_q$ (khi $|A| \gg q^{5/8}$).

3. Tại sao trong định lý về nhóm Heisenberg $H_2(\mathbb{F}_p)$ lại cần điều kiện $p \equiv 3 \pmod 4$?

Điều kiện $p \equiv 3 \pmod 4$ đảm bảo rằng $-1$ không phải là số chính phương trong trường nguyên tố $\mathbb{F}_p$. Do đó, phương trình $x^2 + y^2 = 0$ chỉ có nghiệm tầm thường $(0,0)$, dẫn đến việc không tồn tại đường thẳng đẳng hướng (isotropic line) trong không gian $\mathbb{F}_p^2$, cho phép tác giả áp dụng thành công chặn liên thuộc điểm - đường của Stevens và De Zeeuw.

4. Đánh giá lực lượng tập tích ma trận trên nhóm Heisenberg $H_n(\mathbb{F}_q)$ đạt được kết quả gì và tính chất chặt thể hiện thế nào?

Luận án chứng minh rằng nếu $E \subset \mathbb{F}_q^n$ có $|E| > q^{\frac{n+1}{2}}$ thì $|[E,E,0][E,E,0]| \gg q^{-1}|[E,E,0]|^2 = q^{-1}|E|^4$. Kết quả này là chặt vì nếu chọn $E$ là một không gian con trong $\mathbb{F}_q^n$, tích $[E,E,0][E,E,0]$ nằm trong tập $[E,E,\mathbb{F}_q]$ có lực lượng bằng $q|E|^2 = q^{-1}|E|^4$. Do đó, số mũ không thể giảm xuống dưới mức này.

5. Công cụ toán học trung gian nào đóng vai trò mấu chốt để chứng minh các hàm nở bốn biến trong Chương 1?

Công cụ trung gian mấu chốt là định lý đánh giá chặn trên của năng lượng hàm bậc hai ba biến $E_f(U,V,W)$ trên $\mathbb{F}_q$. Chặn này được thiết lập bằng cách quy đổi phương trình $f(x,y,z) = f(x',y',z')$ về mô hình liên thuộc giữa tập điểm và tập mặt phẳng trong $\mathbb{F}q^3$, sau đó kết hợp định lý liên thuộc điểm - siêu phẳng của Lê Anh Vinh với bổ đề chặn số cạnh đồ thị hai phần không chứa $K{2,2}$.

Kết luận

Luận án tiến sĩ của tác giả Lê Quang Hàm đã giải quyết có hệ thống bài toán xác định tốc độ nở của các hàm đa thức và tập tích ma trận trong các không gian đại số hữu hạn. Bằng việc phối hợp các công cụ từ hình học liên thuộc, lý thuyết phổ đồ thị và giải tích Fourier, công trình đã phân lớp thành công họ hàm bốn biến nở vừa với ngưỡng $5/13$ trên trường nguyên tố và $3/8$ trên trường hữu hạn, đồng thời thiết lập các đánh giá chặt cho lực lượng tập tích ma trận trên nhóm Heisenberg. Các kết quả nghiên cứu đã được công bố trên các tạp chí toán học quốc tế uy tín, đóng góp các kỹ thuật giải tích hữu ích cho lĩnh vực tổ hợp cộng tính và cơ sở toán học cho tin học.