Group-theoretic Approach for Symbolic Tensor Manipulation: II. Dummy Indices

Abstract

Computational Group Theory is applied to indexed objects (tensors, spinors, and so on) with dummy indices. There are two groups to consider: one describes the intrinsic symmetries of the object and the other describes the interchange of names of dummy indices. The problem of finding canonical forms for indexed objects with dummy indices reduces to finding double coset canonical representatives. Well known computational group algorithms are applied to index manipulation, which allow to address the simplification of expressions with hundreds of indices going further to what is needed in practical applications.

14 pages, 1 figure, LaTeX

References in corpus (1)

• ATENSOR - REDUCE program for tensor simplification

Cited by in corpus (11)

• xTras: a field-theory inspired xAct package for Mathematica
• xPerm: fast index canonicalization for tensor computer algebra
• xPert: Computer algebra for metric perturbation theory
• The Invar Tensor Package
• The Invar tensor package: Differential invariants of Riemann
• Exploding operators for Majorana neutrino masses and beyond
• VEST: abstract vector calculus simplification in Mathematica
• Faster Tensor Canonicalization
• Computer Algebra in Physics: The hidden SO(4) symmetry of the hydrogen atom
• On the number of terms in the Lovelock products
• SeQuant Framework for Symbolic and Numerical Tensor Algebra. I. Core Capabilities