Group-Theoretic Approach for Symbolic Tensor Manipulation
Abstract
We describe how Computational Group Theory provides tools for manipulating indexed objects (tensors, spinors, and so on) in explicit index notation. In particular, we present algorithms that put tensors with free and dummy indices obeying permutation symmetries into the canonical form. The method is based on algorithms for determining canonical double coset representatives of subgroups of the symmetric group. The complexity of the algorithms is polynomial on the number of indices in practical applications and allows one to address the simplification of tensor expressions with hundreds of indices, going beyond what is needed in practical applications.
- Publication:
-
International Journal of Modern Physics C
- Pub Date:
- 2002
- DOI:
- 10.1142/S0129183102004571
- arXiv:
- arXiv:math-ph/0107032
- Bibcode:
- 2002IJMPC..13..859M
- Keywords:
-
- Symbolic tensor manipulation;
- Computational Group Theory;
- computer algebra algorithms;
- canonical coset representative;
- symmetric group;
- Mathematical Physics;
- General Relativity and Quantum Cosmology;
- High Energy Physics - Theory;
- 70G45 (Primary) 20B40;
- 53A45;
- 20B35;
- 53A35;
- 20B30;
- 53A15 (Secondary)
- E-Print:
- 14 pages, 1 figure, LaTeX