xPerm: fast index canonicalization for tensor computer algebra
From MaRDI portal
Publication:711101
DOI10.1016/J.CPC.2008.05.009zbMATH Open1197.15002arXiv0803.0862OpenAlexW1979058129MaRDI QIDQ711101FDOQ711101
Authors: D. Kharzeev 
Publication date: 25 October 2010
Published in: Computer Physics Communications (Search for Journal in Brave)
Abstract: We present a very fast implementation of the Butler-Portugal algorithm for index canonicalization with respect to permutation symmetries. It is called xPerm, and has been written as a combination of a Mathematica package and a C subroutine. The latter performs the most demanding parts of the computations and can be linked from any other program or computer algebra system. We demonstrate with tests and timings the effectively polynomial performance of the Butler-Portugal algorithm with respect to the number of indices, though we also show a case in which it is exponential. Our implementation handles generic tensorial expressions with several dozen indices in hundredths of a second, or one hundred indices in a few seconds, clearly outperforming all other current canonicalizers. The code has been already under intensive testing for several years and has been essential in recent investigations in large-scale tensor computer algebra.
Full work available at URL: https://arxiv.org/abs/0803.0862
Recommendations
- Faster tensor canonicalization
- The Canon package: a fast kernel for tensor manipulators
- Tensor computations in computer algebra systems
- Efficient vector and parallel manipulation of tensor products
- High performance rearrangement and multiplication routines for sparse tensor arithmetic
- Fast structured matrix computations: tensor rank and Cohn-Umans method
- Tensor Equivalents for Solution of Linear Systems: A Parallel Algorithm
- Efficient Tensor Decompositions
- Recursive fast algorithm and the role of the tensor product
- A use of ideal decomposition in the computer algebra of tensor expressions
Symbolic computation and algebraic computation (68W30) Software, source code, etc. for problems pertaining to linear algebra (15-04) Software, source code, etc. for problems pertaining to associative rings and algebras (16-04)
Cites Work
- The Canon package: a fast kernel for tensor manipulators
- The Invar tensor package
- Cadabra: a field-theory motivated symbolic computer algebra system
- GROUP-THEORETIC APPROACH FOR SYMBOLIC TENSOR MANIPULATION
- Algorithmic simplification of tensor expressions
- Fundamental algorithms for permutation groups
- Title not available (Why is that?)
- Review of some classical gravitational superenergy tensors using computational techniques
- Combinatorial aspects of simplification of algebraic expressions
Cited In (60)
- Regge constraints on local four-point scattering amplitudes of massive particles with spin
- An ideal conformally covariant characterization of the Kerr conformal structure
- Kodama-like vector fields in axisymmetric spacetimes
- Heat kernel coefficients for massive gravity
- Spin-2 Green's functions on Kerr in radiation gauge
- Conformal anomalies for (maximal) 6d conformal supergravity
- The non-linear coupled spin 2-spin 3 cotton equation in three dimensions
- Canonical center and relative coordinates for compact binary systems through second post-Newtonian order
- On \(\alpha '\)-effects from \(D\)-branes in \(4d\) \( \mathcal{N} = 1\)
- Conformal Killing initial data
- Lorentz symmetry is relevant
- Higher derivatives in type II and M-theory on Calabi-Yau threefolds
- Gauge fixing and classical dynamical \(r\)-matrices in \(\mathrm{ISO}(2, 1)\)-Chern-Simons theory
- \textit{xTras}: a field-theory inspired \textit{xAct} package for Mathematica
- An approximate global solution of Einstein's equation for a rotating compact source with linear equation of state
- Quadratic gravity potentials in de Sitter spacetime from Feynman diagrams
- Binary spinning black hole Hamiltonian in canonical center-of-mass and rest-frame coordinates through higher post-Newtonian order
- Next-to-next-to-leading order post-Newtonian spin-orbit Hamiltonian for self-gravitating binaries
- Next-to-next-to-leading order post-Newtonian linear-in-spin binary Hamiltonians
- Pseudo-Finsler spaces modeled on a pseudo-Minkowski space
- Classical black hole scattering from a worldline quantum field theory
- Light charged fermions in quantum gravity
- Spinor calculus on five-dimensional spacetimes
- A set of invariant quality factors measuring the deviation from the Kerr metric
- Accelerated motion and the self-force in Schwarzschild spacetime
- Aspects of three-dimensional higher curvature gravities
- Scalar-tensor theories within asymptotic safety
- Infinite order quantum-gravitational correlations
- \texttt{VEST}: Abstract vector calculus simplification in \texttt{Mathematica}
- Canonical representation of polynomial expressions with indices
- Next-to-next-to-leading order post-Newtonian spin(1)-spin(2) Hamiltonian for self-gravitating binaries
- On variational principle and canonical structure of gravitational theory in double-foliation formalism
- On the uniqueness of higher-spin symmetries in AdS and CFT
- FeynGrav: FeynCalc extension for gravity amplitudes
- Lessons from conformally reduced quantum gravity
- Conservation of asymptotic charges from past to future null infinity: Lorentz charges in general relativity
- xPerm
- Isocurvature initial conditions for second order Boltzmann solvers
- Faster tensor canonicalization
- Form factors in asymptotic safety: conceptual ideas and computational toolbox
- A property of light-cones in Einstein's gravity
- Graviton emission in Einstein-Hilbert gravity
- Analysis of unitarity in conformal quantum gravity
- F-theory vacua and \(\alpha '\)-corrections
- A brief introduction to \texttt{Cadabra}: a tool for tensor computations in general relativity
- The Canon package: a fast kernel for tensor manipulators
- \textit{Spinors}: a Mathematica package for doing spinor calculus in general relativity
- Type D conformal initial data
- \(xPert\): Computer algebra for metric perturbation theory
- Closed conformal Killing-Yano initial data
- Quasi-normal mode of a regular Schwarzschild black hole
- FeynGrav 2.0
- Supertranslations and holographic stress tensor
- One-modulus Calabi-Yau fourfold reductions with higher-derivative terms
- Irrelevant operators and their holographic anomalies
- Asymptotic symmetries and charges at spatial infinity in general relativity
- On the characterization of non-degenerate foliations of pseudo-Riemannian manifolds with conformally flat leaves
- Magnetogenesis from isocurvature initial conditions
- Canonical formulation of spin in general relativity
- Graviton-mediated scattering amplitudes from the quantum effective action
Uses Software
This page was built for publication: xPerm: fast index canonicalization for tensor computer algebra
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q711101)
