xPerm: fast index canonicalization for tensor computer algebra
From MaRDI portal
XPerm: fast index canonicalization for tensor computer algebra
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.
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
Cites work
- scientific article; zbMATH DE number 3922932 (Why is no real title available?)
- Algorithmic simplification of tensor expressions
- Cadabra: a field-theory motivated symbolic computer algebra system
- Combinatorial aspects of simplification of algebraic expressions
- Fundamental algorithms for permutation groups
- GROUP-THEORETIC APPROACH FOR SYMBOLIC TENSOR MANIPULATION
- Review of some classical gravitational superenergy tensors using computational techniques
- The Canon package: a fast kernel for tensor manipulators
- The Invar tensor package
Cited in
(60)- Canonical formulation of spin in general relativity
- Magnetogenesis from isocurvature initial conditions
- 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
- Regge constraints on local four-point scattering amplitudes of massive particles with spin
- On \(\alpha '\)-effects from \(D\)-branes in \(4d\) \( \mathcal{N} = 1\)
- An ideal conformally covariant characterization of the Kerr conformal structure
- \textit{xTras}: a field-theory inspired \textit{xAct} package for Mathematica
- Lorentz symmetry is relevant
- An approximate global solution of Einstein's equation for a rotating compact source with linear equation of state
- Higher derivatives in type II and M-theory on Calabi-Yau threefolds
- Conformal Killing initial data
- Gauge fixing and classical dynamical \(r\)-matrices in \(\mathrm{ISO}(2, 1)\)-Chern-Simons theory
- Kodama-like vector fields in axisymmetric spacetimes
- 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
- Heat kernel coefficients for massive gravity
- Accelerated motion and the self-force in Schwarzschild spacetime
- \texttt{VEST}: Abstract vector calculus simplification in \texttt{Mathematica}
- Scalar-tensor theories within asymptotic safety
- Aspects of three-dimensional higher curvature gravities
- Infinite order quantum-gravitational correlations
- 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
- xPerm
- 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
- Spin-2 Green's functions on Kerr in radiation gauge
- Faster tensor canonicalization
- Isocurvature initial conditions for second order Boltzmann solvers
- A property of light-cones in Einstein's gravity
- Form factors in asymptotic safety: conceptual ideas and computational toolbox
- Graviton emission in Einstein-Hilbert gravity
- F-theory vacua and '-corrections
- A brief introduction to \texttt{Cadabra}: a tool for tensor computations in general relativity
- Analysis of unitarity in conformal quantum gravity
- 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
- Conformal anomalies for (maximal) 6d conformal supergravity
- 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
- Graviton-mediated scattering amplitudes from the quantum effective action
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)
