[论文解读] Computation of Difference Groebner Bases

Vladimir P. Gerdt, Daniel Robertz|arXiv (Cornell University)|Jun 1, 2012

Polynomial and algebraic computation参考文献 20被引用 11

一句话总结

本文提出了一种基于类似 Janet 除法的对合算法，用于在差分多项式环中计算差分 Gröbner 域基，该方法扩展至线性和非线性多项式理想。该算法在 Maple 中实现为 LDA 软件包，可实现线性偏微分方程的有限差分逼近以及费曼积分的约化，且在非线性情况下保证终止性，从而生成有效的 Gröbner 基。

ABSTRACT

This paper is an updated and extended version of our note [1] (cf. also [2]). To compute difference Grobner bases of ideals generated by linear polynomials we adopt to difference polynomial rings the involutive algorithm based on Janet-like division. The algorithm has been implemented in Maple in the form of the package LDA (Linear Difference Algebra) and we describe the main features of the package. Its applications are illustrated by generation of finite difference approximations to linear partial differential equations and by reduction of Feynman integrals. We also present the algorithm for an ideal generated by a finite set of nonlinear difference polynomials. If the algorithm terminates, then it constructs a Grobner basis of the ideal.

研究动机与目标

• 开发一种高效算法，用于在差分多项式环中计算 Gröbner 基，特别是针对线性和非线性系统。
• 将基于类似 Janet 除法的对合算法扩展至差分多项式的语境。
• 在用户友好的 Maple 软件包（LDA）中实现该算法，以支持数学物理中的实际应用。
• 展示该方法在生成线性偏微分方程有限差分近似中的实用性。
• 将该算法应用于量子场论中费曼积分的约化。

提出的方法

• 采用类似 Janet 的除法，该算法通过指定的单项式序系统地约化多项式，构建差分 Gröbner 基。
• 对于线性理想，该算法通过满足对合除法规则，确保终止性并生成唯一的 Gröbner 基。
• 通过扩展对合框架，该方法处理非线性差分多项式，且终止性意味着生成有效的 Gröbner 基。
• 该算法在 Maple 的 LDA（线性差分代数）软件包中实现，支持差分代数中的符号计算。
• 该方法利用差分多项式的结构，以保持计算效率和正确性。
• 该实现支持理论分析与实际应用，如偏微分方程的离散化和积分约化。

实验结果

研究问题

• RQ1 如何将基于类似 Janet 除法的对合方法适配于在差分多项式环中计算 Gröbner 基？
• RQ2 该算法在非线性差分多项式理想中的计算行为和终止条件是什么？
• RQ3 该算法能否高效生成线性偏微分方程的有限差分近似？
• RQ4 LDA 软件包如何促进量子场论中费曼积分的约化？
• RQ5 该算法在符号计算中的实际性能和适用边界是什么？

主要发现

• 该算法成功利用类似 Janet 的除法，为由线性差分多项式生成的理想计算出差分 Gröbner 基。
• LDA 软件包的实现可实现线性偏微分方程有限差分格式的自动化生成。
• 对于非线性差分多项式理想，当算法终止时，可生成有效的 Gröbner 基。
• 该方法提供了一种系统性方法，利用差分环中的代数结构约化费曼积分。
• LDA 软件包在涉及差分多项式的符号计算任务中表现出实际效用。
• 该方法将 Gröbner 基理论的应用范围扩展至差分方程和物理建模。