[论文解读] Explicit closed-form parametrization of SU(3) and SU(4) in terms of complex quaternions and elementary functions

André Gsponer|ArXiv.org|Nov 22, 2002

Advanced NMR Techniques and Applications参考文献 14被引用 5

一句话总结

本文提出使用复四元数（双四元数）的线性函数，对 SU(3) 和 SU(4) 进行显式、封闭形式的参数化，提供了一种无需坐标系、代数更简化的替代方案，以取代传统的 3×3 和 4×4 矩阵表示。该方法利用双四元数代数，通过初等函数和类似李代数或欧拉角的分解方式表达群元素，使量子色动力学和粒子物理学中的计算更加直观且计算效率更高。

ABSTRACT

Remarkably simple closed-form expressions for the elements of the groups SU(n), SL(n,R), and SL(n,C) with n=2, 3, and 4 are obtained using linear functions of biquaternions instead of n x n matrices. These representations do not directly generalize to SU(n>4). However, the quaternion methods used are sufficiently general to find applications in quantum chromodynamics and other problems which necessitate complicated 3 x 3 or 4 x 4 matrix calculations.

研究动机与目标

• 开发 SU(3) 和 SU(4) 的显式、封闭形式参数化，避免使用标准 3×3 和 4×4 矩阵表示的复杂性。
• 将用于 SU(2) 的四元数方法推广至更高秩的酉群，特别是 SU(3) 和 SU(4)，使用双四元数。
• 利用双四元数的线性函数，为群元素提供计算高效且几何直观的框架。
• 在量子色动力学及涉及 3×3 或 4×4 矩阵结构的其他问题中，实现群元素的更简便计算。
• 探索通过自然分组标量与向量的四元数分量来表达群元素，可能带来新的物理诠释。

提出的方法

• 使用双四元数（ℂ⊗ℍ 中的元素）的线性函数表示 SU(n)（n=3 和 4）的元素，其同构于 4×4 复矩阵。
• 利用双四元数代数，通过生成元的线性组合的指数形式编码 SU(3) 和 SU(4) 的群元素，类似于李群理论中的指数映射。
• 构建两类表示：一类为使用所有生成元的李型表示，另一类为使用部分生成元的欧拉角型表示，以反映旋转与对角结构。
• 在非交换双四元数表达式中使用哈密顿记法，通过方括号表示算子插入，确保代数顺序正确。
• 将复 3×3 和 4×4 矩阵映射为等价的双四元数函数，利用额外维度作为辅助分量，以简化计算。
• 证明该方法保持群结构，并支持对子群的连续特化，为矩阵块分解提供一种无坐标替代方案。

实验结果

研究问题

• RQ1 能否使用双四元数而非 3×3 或 4×4 矩阵，对 SU(3) 和 SU(4) 实现封闭形式的参数化？
• RQ2 如何将 SU(2) 参数化的代数简洁性（通过四元数）推广至更高秩的酉群，如 SU(3) 和 SU(4)？
• RQ3 用于 SU(3) 和 SU(4) 元素参数化的双四元数分量具有何种几何或物理意义？
• RQ4 该双四元数方法能否简化量子色动力学及其他涉及 3×3 或 4×4 矩阵的规范理论中的计算？
• RQ5 所得参数化是否允许类似于三维旋转中欧拉角的自然分解？这对 SU(3) 和 SU(4) 变换的结构有何启示？

主要发现

• 本文提出使用双四元数线性函数对 SU(3) 和 SU(4) 进行全新、显式、封闭形式的参数化，其等价于 4×4 矩阵表示，但代数上更易处理。
• 该方法使利用初等四元数代数计算 SU(3) 和 SU(4) 群元素成为可能，相比标准矩阵方法显著简化了计算。
• SU(3) 的欧拉角型参数化将一般变换分解为三步：绕轴 b 的三维旋转、对角旋转，以及绕轴 a 的第二次三维旋转，与标准欧拉角的直觉一致。
• 双四元数表示可自然地将对称、反对称和对角矩阵分量分组为独立的四元数函数，可能揭示更深层的几何洞察。
• 该方法为无坐标系，且支持对子群的连续特化，为矩阵块分解提供更具灵活性的替代方案。
• 该方法可能带来新的物理诠释，因为双四元数表达式中的参数（如 α、β、a、b、δn）可能不直接对应于标准夸克或胶子算符，从而为替代理论框架开辟新途径。