[论文解读] Introduction to Redberry: a computer algebra system designed for tensor manipulation

Dmitriy A. Bolotin, S. Poslavskii|arXiv (Cornell University)|Feb 5, 2013

Computational Physics and Python Applications参考文献 17被引用 12

一句话总结

本文介绍了 Redberry，一个为符号张量运算而构建的开源计算机代数系统（CAS），原生支持索引表达式、对称性以及哑标处理。它采用图论方法实现高性能——在基准测试中，其速度最高可达 xAct 的 41 倍、Cadabra 的 33 倍，从而实现了高能物理中复杂张量表达式的高效计算，包括费曼图和一阶圈反项。

ABSTRACT

In this paper we introduce Redberry --- an open source computer algebra system with native support of tensorial expressions. It provides basic computer algebra tools (algebraic manipulations, substitutions, basic simplifications etc.) which are aware of specific features of indexed expressions: contractions of indices, permutational symmetries, multiple index types etc. Redberry supports conventional \LaTeX-style input notation for tensorial expressions. The high energy physics package includes tools for Feynman diagrams calculation: Dirac and SU(N) algebra, Levi-Civita simplifications and tools for one-loop calculations in quantum field theory. In the paper we give detailed overview of Redberry features: from basic manipulations with tensors to real Feynman diagrams calculation, accompanied by many examples. Redberry is written in Java 7 and provides convenient Groovy-based user interface inside the high-level general purpose programming language environment. Redberry is available from http://redberry.cc

研究动机与目标

• 解决通用 CAS 在处理具有复杂索引结构的张量表达式时效率低下的问题。
• 提供一个高性能、可扩展的系统，专为理论物理和高能物理中的符号张量计算而设计。
• 将张量特有操作（如索引对称性、哑标处理和张量缩并）整合到统一且用户友好的环境中。
• 通过优化的内部算法，实现对复杂物理问题（包括费曼图和一阶圈反项）的可扩展计算。
• 通过在高级编程语言（Groovy）中提供无缝接口，实现通用编程与领域特定张量代数的结合。

提出的方法

• Redberry 将张量表达式表示为带有基于图的索引映射的表达式树，从而实现对索引缩并和对称性的高效检测。
• 它采用基于图同构的规范化过程来比较张量表达式，确保在索引置换下保持一致的表示。
• 系统使用基于 Groovy 的领域特定接口，允许用户使用类似 LaTeX 的语法编写张量表达式，并通过高级命令应用变换。
• Redberry 实现了针对张量简化的专用变换，包括 Levi-Civita 缩并、狄拉克和 SU(N) 跟迹计算，以及对称性感知的项约简。
• 通过早期简化中间表达式，并使用基于模式的重写技术高效遍历表达式树，实现性能优化。
• 核心采用 Java 7 实现，使用 Apache Commons Math 和 Trove4j 等外部库，并与 Java 代数系统集成以支持代数运算。

实验结果

研究问题

• RQ1 计算机代数系统如何高效管理具有对称性和哑标缩并的复杂索引张量表达式结构？
• RQ2 与传统的基于列表的 CAS 相比，使用图论方法进行张量操作在性能上能带来哪些优势？
• RQ3 高级编程接口（Groovy）在多大程度上可以与底层张量代数有效结合，以支持复杂物理计算？
• RQ4 在真实世界高能物理基准测试中，Redberry 在简化张量表达式方面的性能与 xAct、Cadabra 和 Maple Physics 等成熟系统相比如何？
• RQ5 在符号张量计算中，原生支持多种索引类型、置换对称性以及自动哑标冲突解析，能带来哪些实际优势？

主要发现

• 在不涉及索引对称性的基准测试中，Redberry 的性能最高可达 xAct 的 41 倍、Cadabra 的 29 倍。
• 在涉及索引对称性的情况下，Redberry 的性能最高可达 xAct 的 26 倍、Cadabra 的 33 倍，表明其在结构化张量问题中具有持续的优越性。
• 该系统的基于图的索引规范化机制能够正确且高效地比较张量表达式，即使在复杂的索引置换下亦然。
• Redberry 能够成功简化涉及狄拉克矩阵、SU(N) 群和 Levi-Civita 张量的复杂张量表达式，而 Maple Physics 无法处理此类表达式。
• Groovy 的集成提供了一个高效的开发环境，使通用编程与张量代数能够结合，从而实现复杂计算的自动化。
• 基准测试结果表明，随着表达式规模增大，性能提升更加显著，由于采用了激进的中间表达式简化策略，Redberry 在某些情况下可比其他系统快数千倍。