[论文解读] GAMMA: A Mathematica package for performing gamma-matrix algebra and Fierz transformations in arbitrary dimensions

Ulf Gran|ArXiv.org|May 10, 2001

Scientific Research and Discoveries参考文献 5被引用 68

一句话总结

本论文提出 GAMMA，一个用于在任意时空维度下执行 gamma-矩阵代数与 Fierz 变换的 Mathematica 工具包。它利用基于规则的编程，自动化处理如 11D 超引力等理论中的复杂代数运算，通过符号重写与指标的规范排序，高效计算 antisymmetrized gamma-矩阵乘积、迹运算以及 Fierz 恒等式。

ABSTRACT

We have developed a Mathematica package capable of performing gamma-matrix algebra in arbitrary (integer) dimensions. As an application we can compute Fierz transformations.

研究动机与目标

• 自动化在任意整数维度下进行 gamma-矩阵代数运算，尤其适用于高能物理与高维场论。
• 在任意维度下实现旋量双线性式的 Fierz 变换，这对于分析费米子相互作用与对偶性至关重要。
• 为理论高能物理中的符号计算提供一个稳健且可扩展的 Mathematica 环境，尤其适用于超引力与超弦理论的应用。
• 减少在处理 antisymmetrized gamma-矩阵乘积与迹恒等式时的手动计算繁琐程度与出错率。

提出的方法

• 该工具包在 Mathematica 中使用基于规则的编程，通过自定义函数（如 GammaProd、Tensor 与 TensorSpinor）表示 gamma-矩阵、张量与张量旋量。
• 引入专用函数如 GammaExpand 与 GammaContract，利用 Clifford 代数 {Γᵃ, Γᵇ} = 2ηᵃᵇ 来操作 gamma-矩阵的乘积。
• 通过 ASym 与 Sym 函数强制执行 antisymmetrization 与 symmetrization，并利用 ACanonicalOrder 与 SCanonicalOrder 重新排列指标，以实现简化。
• Fierz 变换通过 Fierz 与 FierzSolve 函数执行，后者通过求解线性系统，将旋量双线性式表示为 gamma-矩阵结构基底的形式。
• 重新定义 Mathematica 的核心函数如 NonCommutativeMultiply、Power 与 Subscript，以支持非交换 gamma-矩阵表达式与正确的指标格式。
• 支持用户自定义时空维度（SetDim）与旋量维度（SetSpinorDim），并通过 GammaTrace 自动处理迹运算。

实验结果

研究问题

• RQ1 如何在符号计算环境中系统性地自动化任意维度下的 gamma-矩阵代数？
• RQ2 在高维时空中，对旋量双线性式执行 Fierz 变换的最有效方法是什么？
• RQ3 如何实现指标 antisymmetrization 与规范排序，以最大程度简化 gamma-矩阵表达式？
• RQ4 在处理超引力中的复杂代数恒等式时，Mathematica 中的基于规则的方法是否优于过程式方法？
• RQ5 为支持非交换张量旋量与 gamma-矩阵代数，对 Mathematica 内置函数所需的最小修改是什么？

主要发现

• GAMMA 工具包成功实现了在任意整数维度下的 gamma-矩阵代数自动化，支持 11D 超引力及其他高维场论的计算。
• 通过基底分解与 FierzSolve 求解线性系统，Fierz 变换被准确计算，实现了旋量双线性式在不同 gamma-矩阵通道间的重表达。
• 在 Mathematica 中使用基于规则的编程，使得复杂表达式的高效且可读的运算成为可能，显著减少了人工错误与计算时间。
• 通过 ACanonicalOrder 实现 antisymmetric 指标的规范排序，可实现一致的简化，并有效检测零项或相同项。
• 该工具包通过统一处理 Minkowski 与 Euclidean 签名下的 Kronecker delta，正确实现了签名无关性，只要指标数量保持平衡。
• 对 NonCommutativeMultiply、Power 与 Subscript 的重新定义，使得输入与输出格式直观，同时保持了 gamma-矩阵的非交换性。