[论文解读] Towards an algorithmisation of the Dirac constraint formalism

Vladimir P. Gerdt, A. Khvedelidze+1 more|ArXiv.org|Nov 9, 2006

Quantum Chromodynamics and Particle Interactions参考文献 10被引用 6

一句话总结

本文提出了一种基于交换代数中格罗布纳基的算法框架，用于退化拉格朗日系统中的狄拉克约束形式化。该方法可自动计算初级和次级约束，对约束进行第一类与第二类分类，并构造规范变换生成元。在光锥 SU(2) 杨-米尔斯力学模型上成功验证，使用 Maple 10 仅需约 1 分钟完成计算。

ABSTRACT

Central issues of the Dirac constraint formalism are discussed in relation to the algorithmic methods of commutative algebra based on the Groebner basis techniques. For a wide class of finite dimensional polynomial degenerate Lagrangian systems, we describe an algorithmic scheme of computation of the complete set of constraints, their separation into subsets of first and second class constraints as well as the construction of a generator of local symmetry transformations. The proposed scheme is exemplified by considering the so-called light-cone Yang-Mills mechanics with an SU(2) gauge structure group.

研究动机与目标

• 解决退化力学系统中狄拉克约束形式化缺乏算法实现的问题。
• 开发一种计算框架，以自动化识别和分类多项式拉格朗日量系统中的约束。
• 实现在具有第一类约束的系统中，对局部规范对称性生成元的算法化构造。
• 为使用符号计算实现约束系统的哈密顿约化，提供一种实用且计算可行的方法。
• 在非平凡示例——光锥 SU(2) 杨-米尔斯力学上验证该方法，实现完整的约束分析与规范对称性生成。

提出的方法

• 应用格罗布纳基技术于相空间变量中的多项式理想，以计算和分析由退化海森矩阵引出的约束。
• 通过勒让德变换，从动量为零的关系中推导初级约束，以多项式方程形式编码。
• 通过约束的时间演化实现迭代约束传播，以生成次级约束。
• 通过计算泊松括号矩阵并分析其秩与行列式，对约束进行第一类或第二类的分类。
• 利用第一类约束的结构及其在泊松括号下的封闭性，构造局部规范变换的生成元。
• 使用参数化格罗布纳基处理物理参数（如耦合常数、质量）以及全哈密顿量中的时变乘子。

实验结果

研究问题

• RQ1 能否使用交换代数方法，算法化地计算退化多项式拉格朗日系统中的全部约束？
• RQ2 如何利用泊松括号矩阵等代数不变量，系统性地区分第一类与第二类约束？
• RQ3 能否从约束结构中算法化地推导出局部规范对称性生成元？
• RQ4 该算法方法在具有规范对称性的非平凡物理模型上的计算可行性如何？
• RQ5 符号计算工具在处理物理拉格朗日量中关键的参数系数方面，其能力边界在哪里？

主要发现

• 所提出的算法成功计算并分类了光锥 SU(2) 杨-米尔斯力学模型中的所有约束，包括 3 个第二类约束和 2 个阿贝尔第一类约束。
• 局部规范变换的生成元被算法化构造，并被证明对应于物理上的规范自由度，如欧拉角和旋转变量。
• 该方法将原始约束系统约化为等价于共形力学的无约束哈密顿系统，其约化哈密顿量为 $ H = \frac{g^2}{2}\left(p_1^2 + \frac{p_{\chi_3}^2}{4q_1^2}\right) $。
• 使用 Maple 10 的标准格罗布纳基包，SU(2) 模型的计算在约 1 分钟内完成，证明了其计算可行性。
• 对更高秩李群（如 SU(3)）的扩展是可行的，且已有近期工作提供了合适的参数化方法。
• 现有高级格罗布纳基软件包（Gb、Fgb、GINV）因对参数系数支持有限，难以适用，凸显了当前软件中的关键瓶颈。