Tổng quan luận án

Luận án thuộc chuyên ngành Vật lý lý thuyết và vật lý toán, tiếp cận theo hướng lý thuyết thuần túy (phương pháp giải tích và tính toán lý thuyết). Cấu trúc gồm hai chương nội dung chính: Chương 1 về hệ số đối xứng của giản đồ Feynman, và Chương 2 về đối xứng Peccei-Quinn và khối lượng các quark trong mô hình E331.

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

Tác giả xác định hai vấn đề trung tâm thúc đẩy nghiên cứu. Thứ nhất, khai triển bậc cao trong lý thuyết trường lượng tử là điều kiện tất yếu để thu hẹp sai lệch giữa lý thuyết và thực nghiệm, đặc biệt khi một số quá trình vật lý — điển hình là moment từ của neutrino và rã Higgs thành hai photon — chỉ xuất hiện ở các bậc khai triển cao hơn mức cây (tree-level). Trong bối cảnh máy gia tốc LHC tại CERN phát hiện hạt vô hướng có khối lượng khoảng 125–126 GeV (dự đoán từ Mô hình Chuẩn), nhu cầu tính toán chính xác trở nên cấp thiết hơn. Mỗi phần tử của ma trận tán xạ tương ứng với một hoặc nhiều giản đồ Feynman, và hệ số đối xứng (HSĐX) của các giản đồ là yếu tố quyết định tính đúng đắn của kết quả vật lý.

Thứ hai, tác giả chỉ ra rằng mô hình E331 — một trong các mô hình 3-3-1 mở rộng Mô hình Chuẩn — có hạn chế nghiêm trọng ở mức cây: khối lượng của up-quark và down-quark bằng không. Nguyên nhân được nhóm tác giả liên quan xác định là sự tồn tại của một đối xứng kiểu Peccei-Quinn trong mô hình, đòi hỏi phải kiểm tra lại toàn bộ các kết quả trước đây của E331 và tính lại khối lượng các quark ở bậc nhiễu loạn một vòng.

Mục tiêu nghiên cứu

Tác giả nêu hai mục đích nghiên cứu:

  1. Xây dựng công thức xác định hệ số đối xứng tổng quát cho các giản đồ Feynman.
  2. Ứng dụng công thức đó để tính khối lượng các quark trong mô hình E331 ở bậc nhiễu loạn một vòng.

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

Đối tượng nghiên cứu bao gồm: các phương pháp khai triển bậc cao trong lý thuyết trường; các giản đồ Feynman với các loại trường khác nhau (trường vô hướng thực, trường vô hướng phức, trường spinor, trường chuẩn); và khối lượng các fermion trong mô hình E331. Phạm vi thời gian không được xác định cụ thể; phạm vi không gian là nghiên cứu lý thuyết thuần túy, không gắn với địa điểm thực nghiệm cụ thể.

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

Các hướng nghiên cứu mà tác giả điểm lại

Tác giả khảo sát nhiều nhóm công trình về HSĐX của giản đồ Feynman:

  • Kastening và các đồng nghiệp (tài liệu [23]): tính HSĐX dựa trên đặc điểm topo của các giản đồ.
  • Chương trình FeynArt (tài liệu [21]) và QGRAF (tài liệu [22]): các công cụ tính tự động, nhưng theo tác giả gần như chỉ xét trường thực và giản đồ liên kết, chưa quan tâm đến trường phức và giản đồ chân không.
  • T. Li (tài liệu [11]): đưa ra HSĐX của một số giản đồ cho trường vô hướng thực, nhưng chưa có công thức tổng quát.
  • Schroeder (tài liệu [12]): đề cập đến sự thừa số hóa chân không của các giản đồ nhưng chưa đưa ra công thức tổng quát.
  • C. Palmer và các đồng tác giả (tài liệu [35]): tính HSĐX cho nhiều trường hợp (vô hướng, spinor QED, scalar QED, QCD), song chỉ xét giản đồ liên kết, chưa xét giản đồ chân không, và chưa chỉ ra cách xác định hệ số hoán vị g giữa các đỉnh tương tác.
  • Các công bố sử dụng phương pháp đạo hàm phiếm hàm (tài liệu [6, 7, 8, 9]): cách tiếp cận khác để tính HSĐX.
  • Một nhóm khác (tài liệu [10]): tính HSĐX ở bậc nhiễu loạn cao dựa trên HSĐX ở bậc thấp hơn.
  • Các tác giả trong tài liệu [11, 12, 13, 14, 15]: sử dụng khai triển bậc cao trong lý thuyết trường để xác định HSĐX — hướng tiếp cận mà luận án này tiếp nối và phát triển.

Về mô hình E331, tác giả tham chiếu công trình của Pisano, Pleitez và Frampton (1992) (tài liệu [99]) về mô hình 3-3-1 tối thiểu; công trình của Foot, Long và Tuan (1994) (tài liệu [17]) về phiên bản với neutrino phân cực phải; công trình của P. Long (tài liệu [106]) về mô hình E331; và kết quả của tài liệu [39, 52] về số lepton trong mô hình E331.

Khoảng trống luận án giải quyết

Khoảng trống thứ nhất: chưa có công thức tổng quát xác định HSĐX áp dụng đồng thời cho cả trường thực, trường phức, các giản đồ liên kết lẫn giản đồ chân không, cùng với cách xác định tường minh hệ số hoán vị g. Khoảng trống thứ hai: khối lượng các quark u và d trong mô hình E331 bằng không ở mức cây, và chưa được tính ở bậc nhiễu loạn một vòng trong bối cảnh đối xứng kiểu Peccei-Quinn đã được chỉ ra.

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

Lý thuyết và khung phân tích

Luận án đặt trong khung của lý thuyết trường lượng tử nhiễu loạn (perturbative quantum field theory). Các công cụ lý thuyết chính bao gồm:

  • Ma trận tán xạ (S-matrix) và toán tử tiến triển thời gian (evolution operator): được xây dựng từ phương trình Schrödinger và biểu diễn tương tác, dẫn đến dạng $S = T\exp!\left(i\int dx, L_{\rm int}(x)\right)$.
  • Các định lý Wick (Wick's theorems): công cụ trung tâm để khai triển T-tích thành tổng các N-tích với mọi cặp đôi khả dĩ, từ đó trực tiếp xác định HSĐX.
  • Hàm Green (Green's function) nhiều điểm, bao gồm hàm Green sớm, hàm Green trễ và hàm Green nhân quả; hàm Green toàn phần ở các bậc nhiễu loạn khác nhau.
  • Giản đồ Feynman và các yếu tố: hàm truyền (propagator), đỉnh tương tác (vertex), hệ số đối xứng.
  • Lý thuyết QED spinor, scalar QED (sQED) và QCD được xét lần lượt.
  • Nhóm đối xứng chuẩn SU(3)_C ⊗ SU(3)_L ⊗ U(1)_X của các mô hình 3-3-1, trong đó mô hình E331 (economical 3-3-1 model) được phân tích chi tiết.
  • Đối xứng kiểu Peccei-Quinn và vai trò của nó trong việc triệt tiêu khối lượng quark ở mức cây.
  • Cơ chế Higgs và phá vỡ đối xứng tự phát qua giá trị trung bình chân không (VEV) của các vô hướng χ và φ.
  • Cơ chế bập bênh (seesaw mechanism) và ma trận trộn neutrino.

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

Luận án sử dụng phương pháp lý thuyết trường lượng tử (quantum field theory method) kết hợp với tính toán bằng phần mềm Mathematica 7.0. Cụ thể:

  • Khai triển T-tích của các Lagrangian tương tác theo N-tích bằng định lý Wick, từ đó đọc trực tiếp HSĐX.
  • Tính toán giải tích các ma trận trộn khối lượng (mass mixing matrices) cho các fermion.
  • Tính bổ đính một vòng (one-loop correction) cho khối lượng quark u và d trong mô hình E331.

Nguồn tư liệu

Nguồn tư liệu hoàn toàn là tài liệu lý thuyết (các bài báo khoa học và sách giáo khoa chuyên ngành), không sử dụng dữ liệu thực nghiệm gốc.

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

Chương 1: Hệ số đối xứng của giản đồ Feynman

Chương này xây dựng công thức xác định HSĐX tổng quát qua năm bước.

Bước 1 trình bày nền tảng lý thuyết: ma trận tán xạ, toán tử tiến triển thời gian, các định lý Wick, hàm Green trong lý thuyết trường và mối liên hệ giữa hàm Green với các yếu tố của S-matrix.

Bước 2 xây dựng HSĐX cho trường vô hướng thực (lý thuyết φ⁴ thực). Từ khai triển T-tích của Lagrangian tương tác $L^r_{\rm int} = \frac{1}{4!}\phi^4$, tác giả xác định ba hạng a, b, c tương ứng với N-tích không có cặp, bóng đơn (single bubble) và bóng đôi (double bubble). Kết quả là công thức tổng quát:

$$S = g \cdot 2^\beta \cdot 2^d \prod_n (n!)^{\alpha_n}$$

trong đó g là số hoán vị các đỉnh giữ nguyên topo của giản đồ, β là số bóng đơn, d là số bóng đôi, và α_n là số cặp đỉnh liên kết bởi n đường giống nhau. Theo tác giả, đây là kết quả chưa được đưa ra trong các công bố trước như [21], [22].

Bước 3 xét trường vô hướng phức (lý thuyết φ⁴ phức). Do các đường trên giản đồ có hướng, khả năng liên kết ít hơn, dẫn đến HSĐX nói chung thấp hơn so với trường thực. Đặc biệt, bóng đơn có hướng nên β = 0 với trường phức. Ví dụ minh họa: hệ số đối xứng của giản đồ thứ hai ở bậc một là 1/2, khác với 1/8 trong trường hợp thực.

Bước 4 xử lý spinor QED. Lagrangian tương tác $L^{\rm QED}{\rm int}(x) = eq\bar{\psi}(x)\gamma^\mu\psi(x)A\mu(x)$ có đúng ba loại trường khác nhau. Kết quả: $S = 1/g$ với g = 1 cho mọi giản đồ liên kết. Từ đó tác giả phát biểu định lý: Nếu Lagrangian tương tác của một lý thuyết bất kỳ chỉ có ba loại trường khác nhau thì HSĐX của các giản đồ liên kết luôn bằng 1; chỉ các giản đồ chân không mới có thể có HSĐX khác 1. Kết quả này được tác giả đánh giá là hữu ích cho tính toán bổ đính bậc cao trong các mô hình chuẩn mở rộng.

Bước 5 xét scalar QED (sQED) và QCD. Với sQED, Lagrangian có hai số hạng tương tác (số hạng có đạo hàm và số hạng bốn trường), dẫn đến sáu loại đỉnh a₁–a₆. Với QCD, Lagrangian tương tác bao gồm tương tác quark-gluon, đỉnh ba gluon và đỉnh bốn gluon; các số hạng gluon được quy về dạng tương tự lý thuyết φ³ và φ⁴.

Chương kết thúc bằng bảng phân loại các trường thành hai nhóm để áp dụng công thức chung:

Real scalar-like Complex scalar-like
Trường vô hướng thực Trường vô hướng phức
Photon A_μ Trường spinor Dirac
Z-boson W-boson
Gluon Ghost field
Majorana field —

Chương 2: Đối xứng Peccei-Quinn và khối lượng các quark trong mô hình E331

Chương này trình bày mô hình E331 và ứng dụng kết quả Chương 1 để tính khối lượng quark ở bậc một vòng.

Mô hình E331 dựa trên nhóm đối xứng $SU(3)_C \otimes SU(3)L \otimes U(1)X$, với các lepton xếp trong tam tuyến $\psi{La} \sim (1, 3, -1/3)$ và đơn tuyến $e{aR} \sim (1, 1, -1)$. Mô hình chỉ cần hai tam tuyến Higgs χ và φ để thực hiện phá vỡ đối xứng tự phát theo sơ đồ:

$$SU(3)_L \otimes U(1)_X \xrightarrow{\omega} SU(2)_L \otimes U(1)_Y \xrightarrow{v,u} U(1)_Q$$

với điều kiện $u^2, v^2 \ll \omega^2$.

Tác giả lập bảng số lepton mới L và số baryon B cho tất cả các đa tuyến, trong đó đáng chú ý: χ có tích B = 0, tích L = 4/3; φ có tích B = 0, tích L = -2/3. Bảng 2.2 cho thấy trường χ₁⁰ có L(χ₁⁰) ≠ 0 nhưng có VEV khác không, đây là nguyên nhân dẫn đến các tương tác Yukawa vi phạm số lepton trong mô hình.

Về khối lượng các boson chuẩn: khối lượng W-boson $m^2_W = g^2v^2/4$; phổ khối lượng boson trung hòa bao gồm photon ($m_\gamma = 0$), Z-boson ($m^2_Z \approx \frac{g^2}{4c^2_W}(v^2 - 3u^2)$) và Z'-boson ($m^2_{Z'} \approx \frac{g^2 c^2_W \omega^2}{3 - 4s^2_W}$); trường X⁰ là bilepton mang số lepton bằng 2.

Về khối lượng fermion: khối lượng lepton mang điện xác định từ tương tác Yukawa với VEV của φ; ma trận trộn khối lượng up-quark là ma trận 4×4 (u₁, u₂, u₃, U) được trình bày tường minh. Đặc biệt, ma trận trộn neutrino tổng quát có dạng $M_\nu^{\rm gen} = M_\nu + M_\nu^{\rm new}$, trong đó M_ν ở mức cây chỉ chứa ma trận con $M_D$; các bổ đính bậc cao bổ sung ma trận $M_L$ và $M_R$, với các phần tử như f, r, t được viết tường minh theo khối lượng lepton và hằng số tương tác.

Ở mức cây, khối lượng up-quark và down-quark bằng không. Tác giả chỉ ra sau khi phá vỡ đối xứng tự phát, đối xứng còn dư không phải là đối xứng kiểu Peccei-Quinn, do đó các quark có thể nhận khối lượng từ các bổ đính nhiễu loạn bậc cao. Sử dụng công thức HSĐX xây dựng ở Chương 1 cho các giản đồ bậc một vòng, tác giả tính được khối lượng của up-quark và down-quark ở bậc nhiễu loạn một vòng.

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

Tác giả nêu các đóng góp sau:

Về lý luận:

  1. Xây dựng công thức tổng quát xác định HSĐX của giản đồ Feynman: $S = g \cdot 2^\beta \cdot 2^d \prod_n (n!)^{\alpha_n}$, áp dụng được cho cả trường thực, trường phức, giản đồ liên kết và giản đồ chân không (vacuum diagrams) — nhóm đối tượng mà các công trình FeynArt [21], QGRAF [22] và các tác giả trong [35] chưa xét đến đầy đủ.

  2. Xác định tường minh hệ số hoán vị g giữa các đỉnh tương tác trong giản đồ — điểm còn thiếu trong [35].

  3. Đưa ra định lý: HSĐX của mọi giản đồ liên kết trong spinor QED (và tổng quát hơn, trong mọi lý thuyết có đúng ba loại trường khác nhau trong Lagrangian tương tác) bằng 1; chỉ giản đồ chân không mới có thể có HSĐX khác 1.

  4. Phân loại các trường thành hai nhóm (real scalar-like và complex scalar-like) để áp dụng công thức chung, cho phép mở rộng sang các lý thuyết bất kỳ.

  5. Chỉ ra rằng đối xứng còn dư sau phá vỡ đối xứng tự phát trong mô hình E331 không phải là đối xứng kiểu Peccei-Quinn, tức các quark u và d có thể nhận khối lượng ở bậc nhiễu loạn cao hơn mức cây.

  6. Tính được khối lượng up-quark và down-quark trong mô hình E331 ở bậc nhiễu loạn một vòng, góp phần ủng hộ tính nhất quán của các kết quả đã công bố của mô hình E331.

Về thực tiễn:

Tác giả đề xuất rằng kết quả về HSĐX hữu ích trực tiếp cho tính toán bổ đính bậc cao trong các mô hình chuẩn mở rộng và trong việc nghiên cứu các quá trình vi phạm số lepton — một hướng tìm kiếm vật lý ngoài Mô hình Chuẩn đang được nhiều nhóm nghiên cứu quan tâm.

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

Văn bản không trình bày một mục riêng về hạn chế. Dựa trên phạm vi nghiên cứu có thể ghi nhận:

  • Chương 1 chủ yếu minh họa công thức cho các lý thuyết đơn giản (φ⁴, QED, sQED, QCD); việc áp dụng cho các mô hình phức tạp hơn (như mô hình siêu đối xứng hay các mô hình thêm nhiều trường Higgs) chưa được thực hiện trong luận án.
  • Chương 2 tính khối lượng quark ở bậc một vòng; các bổ đính bậc hai vòng (two-loop) chưa được xét.
  • Phổ khối lượng neutrino và các giá trị số cụ thể của ma trận trộn neutrino trong mô hình E331 chỉ được trình bày về cấu trúc đại số mà chưa so sánh định lượng với dữ liệu thực nghiệm dao động neutrino trong phần văn bản được cung cấp.
  • Tác giả đề cập dòng trung hòa vi phạm số lepton tỉ lệ với sin θ và ghi nhận đây là "hướng phát triển mới" đang nhận được quan tâm, hàm ý đây là hướng nghiên cứu tiếp theo.

Giá trị tham khảo

Nghiên cứu sinh và nhà nghiên cứu chuyên ngành vật lý hạt lý thuyết, lý thuyết trường lượng tử và lý thuyết chuẩn mở rộng sẽ thấy hữu ích ở phần xây dựng công thức HSĐX (Chương 1, mục 1.2), đặc biệt bảng phân loại trường real scalar-like / complex scalar-like và định lý về HSĐX trong QED — có thể áp dụng ngay khi tính bổ đính bậc cao cho các mô hình cụ thể.

Nghiên cứu sinh làm việc với mô hình 3-3-1 sẽ tìm thấy ở Chương 2 trình bày tương đối đầy đủ về sắp xếp hạt, cơ chế phá vỡ đối xứng, phổ khối lượng boson chuẩn, ma trận trộn neutrino và quark trong mô hình E331, cùng với cách tiếp cận phân tích đối xứng kiểu Peccei-Quinn.

Giảng viên giảng dạy các học phần lý thuyết trường lượng tử và vật lý hạt nâng cao có thể tham khảo phần trình bày về ma trận tán xạ, định lý Wick, hàm Green và mối liên hệ với giản đồ Feynman (mục 1.1) như một ví dụ về cách trình bày các nội dung này theo hướng gắn với ứng dụng tính toán thực tế.

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

1. Công thức tổng quát xác định HSĐX của giản đồ Feynman trong luận án có dạng như thế nào và các tham số trong công thức có ý nghĩa gì?

Công thức có dạng $S = g \cdot 2^\beta \cdot 2^d \prod_n (n!)^{\alpha_n}$, trong đó: g là số hoán vị các đỉnh giữ nguyên topo của giản đồ; β là tổng số bóng đơn (β = 0 với các trường có đường hướng như spinor Dirac, W-boson, ghost); d là số đỉnh có bóng đôi; α_n là số tập hợp gồm n đường giống nhau liên kết một cặp đỉnh giống nhau. Công thức áp dụng thống nhất cho cả trường vô hướng thực lẫn trường vô hướng phức và các trường khác sau khi phân loại vào hai nhóm real scalar-like hoặc complex scalar-like.

2. Tại sao HSĐX của mọi giản đồ liên kết trong spinor QED bằng 1, và điều này có ý nghĩa gì trong thực tiễn tính toán?

Lagrangian tương tác của spinor QED $L^{\rm QED}{\rm int} = eq\bar{\psi}\gamma^\mu\psi A\mu$ chứa đúng ba loại trường khác nhau (ψ, ψ̄, A_μ). Khi khai triển T-tích, hệ số hoán vị g = 1 vì không có hoán vị đỉnh nào giữ nguyên topo mà lại khác đồng nhất. Theo định lý được phát biểu trong luận án, điều này mở rộng cho bất kỳ lý thuyết nào có Lagrangian tương tác gồm đúng ba loại trường khác nhau. Trong thực tiễn, điều này có nghĩa là khi tính các biên độ tán xạ hay bổ đính bậc cao trong QED (và các lý thuyết cùng cấu trúc), người tính không cần tra hoặc kiểm tra HSĐX cho các giản đồ liên kết, chỉ cần chú ý đến các giản đồ chân không.

3. Tại sao khối lượng up-quark và down-quark bằng không ở mức cây trong mô hình E331, và luận án giải quyết vấn đề này như thế nào?

Ở mức cây, khối lượng các quark được sinh ra từ các số hạng tương tác Yukawa sau phá vỡ đối xứng tự phát. Trong mô hình E331, số trường vô hướng đưa vào là ít nhất (hai tam tuyến Higgs χ và φ), dẫn đến một số kết hợp Yukawa cho khối lượng u và d bằng không. Tác giả chỉ ra thêm rằng có một đối xứng kiểu Peccei-Quinn tồn tại trong mô hình làm cho triệt tiêu này xảy ra ở mọi bậc nhiễu loạn nếu đối xứng này không bị phá. Tuy nhiên, tác giả chứng minh rằng sau phá vỡ đối xứng tự phát, đối xứng còn dư không phải là đối xứng Peccei-Quinn, do đó các bổ đính bậc một vòng có thể sinh khối lượng hữu hạn cho u-quark và d-quark. Luận án dùng công thức HSĐX từ Chương 1 để tính cụ thể các bổ đính này.

4. Sự khác biệt chính về HSĐX giữa giản đồ Feynman của trường vô hướng thực và trường vô hướng phức là gì?

Trường vô hướng thực biểu diễn bằng các đường không có hướng trên giản đồ, cho phép nhiều khả năng liên kết hơn, dẫn đến HSĐX nói chung lớn hơn. Trường vô hướng phức biểu diễn bằng đường có hướng, hạn chế các cách liên kết khả dĩ. Cụ thể, bóng đơn (self-loop) của trường phức có hướng, nên β = 0 trong công thức. Ví dụ tường minh được trình bày: ở giản đồ bậc một của hàm Green hai điểm trong lý thuyết φ⁴ phức, hệ số đối xứng của giản đồ chứa bóng là 1/2, trong khi trong lý thuyết φ⁴ thực, giản đồ tương ứng có hệ số 1/8.

5. Mô hình E331 khác mô hình 331RH như thế nào, và mỗi mô hình cần bao nhiêu tam tuyến Higgs?

Mô hình 331RH (mô hình 3-3-1 với neutrino phân cực phải) do Foot, Long và Tuan đề xuất năm 1994 đặt neutrino phân cực phải vào thành phần thứ ba của các tam tuyến lepton, cần ba tam tuyến và một lục tuyến vô hướng Higgs để thực hiện phá vỡ đối xứng tự phát. Mô hình E331 (economical 3-3-1 model) do P. Long phát triển là rút gọn của 331RH, chỉ cần hai tam tuyến Higgs (χ và φ), có số trường vô hướng ít nhất trong họ mô hình 3-3-1 và số tham số tự do nhỏ hơn, nhưng giải quyết được hầu hết các vấn đề quan trọng như khối lượng neutrino, vi phạm số lepton, và số thế hệ fermion bằng 3. Hạn chế của E331 là khối lượng u-quark và d-quark bằng không ở mức cây — điều mà luận án này giải quyết.

Kết luận

Luận án đề xuất công thức đại số tổng quát xác định hệ số đối xứng của giản đồ Feynman, bao quát đồng thời nhiều loại trường (vô hướng thực, vô hướng phức, spinor, chuẩn) và cả giản đồ chân không — khía cạnh quan trọng trong lý thuyết hiệu dụng và vũ trụ học mà các công cụ hiện có như FeynArt hay QGRAF chưa xử lý đầy đủ. Từ công thức này, tác giả rút ra định lý về HSĐX trong QED và các lý thuyết có cùng cấu trúc Lagrangian. Ở phần ứng dụng, luận án phân tích đối xứng kiểu Peccei-Quinn trong mô hình E331, chỉ ra rằng đối xứng này không tồn tại sau phá vỡ đối xứng tự phát, và tính được khối lượng up-quark cùng down-quark ở bậc nhiễu loạn một vòng. Hai đóng góp — công thức HSĐX và tính khối lượng quark trong E331 — liên kết với nhau hữu cơ: công cụ tính toán được xây dựng ở Chương 1 được dùng trực tiếp trong Chương 2.