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.

16 pages, 3 figures. Package can be downloaded from http://metric.iem.csic.es/Martin-Garcia/xAct/

References in corpus (5)

• A field-theory motivated approach to symbolic computer algebra
• Introducing Cadabra: a symbolic computer algebra system for field theory problems
• The Invar Tensor Package
• Well-posedness of formulations of the Einstein equations with dynamical lapse and shift conditions
• Group-theoretic Approach for Symbolic Tensor Manipulation: II. Dummy Indices

Cited by in corpus (145)

• Covariant Galileon
• Maximal freedom at minimum cost: linear large-scale structure in general modifications of gravity
• Classical black hole scattering from a worldline quantum field theory
• xTras: a field-theory inspired xAct package for Mathematica
• xPert: Computer algebra for metric perturbation theory
• Arbitrary p-form Galileons
• Post-Newtonian, Quasi-Circular Binary Inspirals in Quadratic Modified Gravity
• A new framework for analyzing the effects of small scale inhomogeneities in cosmology
• The Gravitational Two-Loop Counterterm is Asymptotically Safe
• On the uniqueness of higher-spin symmetries in AdS and CFT
• Numerical binary black hole mergers in dynamical Chern-Simons: I. Scalar field
• Generalized Parametrization Dependence in Quantum Gravity
• Form Factors in Asymptotic Safety: conceptual ideas and computational toolbox
• Next-to-next-to-leading order gravitational spin-squared potential via the effective field theory for spinning objects in the post-Newtonian scheme
• How perturbative is quantum gravity?
• Zooming in on fermions and quantum gravity
• Influence of internal structure on the motion of test bodies in extreme mass ratio situations
• Next-to-next-to-leading order gravitational spin-orbit coupling via the effective field theory for spinning objects in the post-Newtonian scheme
• Effective Gravitational Wave Stress-energy Tensor in Alternative Theories of Gravity
• Canonical Formulation of Spin in General Relativity
• Correlation functions on a curved background
• A complete gauge-invariant formalism for arbitrary second-order perturbations of a Schwarzschild black hole
• Next-to-next-to-leading order post-Newtonian linear-in-spin binary Hamiltonians
• Next-to-next-to-leading order post-Newtonian spin-orbit Hamiltonian for self-gravitating binaries
• Ising and Gross-Neveu model in next-to-leading order
• Next-to-next-to-leading order post-Newtonian spin(1)-spin(2) Hamiltonian for self-gravitating binaries
• Spin-induced dynamical scalarization, de-scalarization and stealthness in scalar-Gauss-Bonnet gravity during black hole coalescence
• $d=4$ as the critical dimensionality of asymptotically safe interactions
• Lorentz invariance violations in the interplay of quantum gravity with matter
• Lorentz symmetry is relevant
• Critical (Chiral) Heisenberg Model with the Functional Renormalisation Group
• Light charged fermions in quantum gravity
• Higher derivatives in Type II and M-theory on Calabi-Yau threefolds
• Black hole scalar charge from a topological horizon integral in Einstein-dilaton-Gauss-Bonnet gravity
• Second-order gravitational self-force in a highly regular gauge
• Infinite order quantum-gravitational correlations
• Numerical relativity for Horndeski gravity
• Constraints on Horndeski Theory Using the Observations of Nordtvedt Effect, Shapiro Time Delay and Binary Pulsars
• Conservation of asymptotic charges from past to future null infinity: Lorentz charges in general relativity
• Motion and gravitational wave forms of eccentric compact binaries with orbital-angular-momentum-aligned spins under next-to-leading order in spin-orbit and leading order in spin(1)-spin(2) and spin-squared couplings
• Consistent massive graviton on arbitrary backgrounds
• Scalar-Tensor theories within Asymptotic Safety
• Mode coupling of Schwarzschild perturbations: Ringdown frequencies
• On ghosts in theories of self-interacting massive spin-2 particles
• A brief introduction to Cadabra: a tool for tensor computations in General Relativity
• Cosmological perturbations in modified teleparallel gravity models: Boundary term extension
• Quasinormal modes and their excitation beyond general relativity
• Gravitational perturbations of rotating black holes in Lorenz gauge
• Graviton-Mediated Scattering Amplitudes from the Quantum Effective Action
• Beta functions of (3+1)-dimensional projectable Horava gravity
• Transport Equation Approach to Calculations of Hadamard Green functions and non-coincident DeWitt coefficients
• The weak-gravity bound in asymptotically safe gravity-gauge systems
• Generic effective source for scalar self-force calculations
• Higher-curvature Gravities from Braneworlds and the Holographic c-theorem
• Integrability of eccentric, spinning black hole binaries up to second post-Newtonian order
• Next-to-leading order spin-orbit and spin(a)-spin(b) Hamiltonians for n gravitating spinning compact objects
• Partially Massless Graviton on Beyond Einstein Spacetimes
• Canonical formulation of gravitating spinning objects at 3.5 post-Newtonian order
• Lessons from conformally reduced quantum gravity
• FeynGrav : FeynCalc extension for gravity amplitudes
• Spinors: a Mathematica package for doing spinor calculus in General Relativity
• Deformation of extremal black holes from stringy interactions
• Graviton emission in Einstein-Hilbert gravity
• Vector and tensor contributions to the curvature perturbation at second order
• Scattering amplitudes in affine gravity
• On the vacuum Einstein equations along curves with a discrete local rotational and reflection symmetry
• The non-linear coupled spin 2 - spin 3 Cotton equation in three dimensions
• On the weak-gravity bound for a shift-symmetric scalar field
• On Swift Gravitons
• Petrov D vacuum spaces revisited: Identities and Invariant Classification
• FeynGrav 2.0
• Renormalization Group in Six-derivative Quantum Gravity
• Kerr Initial data
• Supercomputers against strong coupling in gravity with curvature and torsion
• Tensor calculus with open-source software: the SageManifolds project
• A multicritical Landau-Potts field theory
• Asymptotic symmetries and charges at spatial infinity in general relativity
• Hamiltonian theory for the axial perturbations of a dynamical spherical background
• Accelerated motion and the self-force in Schwarzschild spacetime
• Three-point functions of a superspin-2 current multiplet in 3D, N=1 superconformal theory
• One-modulus Calabi-Yau fourfold reductions with higher-derivative terms
• VEST: abstract vector calculus simplification in Mathematica
• Separating metric perturbations in near-horizon extremal Kerr
• On variational principle and canonical structure of gravitational theory in double-foliation formalism
• O($D$,$D$)-covariant two-loop $\beta$-functions and Poisson-Lie T-duality
• On ${\alpha }^{\prime }$-effects from $D$-branes in $4d\mathcal{N}=1$
• Post-adiabatic waveform-generation framework for asymmetric precessing binaries
• Introduction to Redberry: a computer algebra system designed for tensor manipulation
• A set of invariant quality factors measuring the deviation from the Kerr metric
• Binary spinning black hole Hamiltonian in canonical center-of-mass and rest-frame coordinates through higher post-Newtonian order
• An approximate global solution of Einstein's equation for a rotating compact source with linear equation of state
• Conformal anomalies in 6d 4-derivative theories: a heat-kernel analysis
• Supertranslations and Holographic Stress Tensor
• Second-order gravitational self-force in a highly regular gauge: Covariant and coordinate punctures
• Generalised Proca Theories in Teleparallel Gravity
• Perturbations of relativistic dissipative stars
• Conformal Killing Initial Data
• Gauge fixing in (2+1)-gravity: Dirac bracket and spacetime geometry
• Separable electromagnetic perturbations of rotating black holes
• Heat kernel coefficients for massive gravity
• Spontaneous Conformal Symmetry Breaking and Quantum Quadratic Gravity
• Canonical center and relative coordinates for compact binary systems through second post-Newtonian order
• Sourced metric perturbations of Kerr spacetime in Lorenz gauge
• Analysis of Unitarity in Conformal Quantum Gravity
• Irrelevant Operators and their Holographic Anomalies
• Pseudo-Finsler spaces modeled on a pseudo-Minkowski space
• Faster Tensor Canonicalization
• Vacuum polarization of the quantized massive scalar field in the global monopole spacetime II: the renormalized quantum stress energy tensor
• Lectures in Quantum Gravity
• Isocurvature initial conditions for second order Boltzmann solvers
• Spinor calculus on 5-dimensional spacetimes
• FieldsX -- An extension package for the xAct tensor computer algebra suite to include fermions, gauge fields and BRST cohomology
• Kodama-like Vector Fields in Axisymmetric Spacetimes
• Corrections to the gravitational wave phasing
• Covariantly Constant Anomalies on Conformal Manifolds
• Unitarity through PT symmetry in Quantum Quadratic Gravity
• Gauge fixing and classical dynamical r-matrices in ISO(2,1)-Chern-Simons theory
• Gravitational-wave memory effects in the Damour-Esposito-Farèse extension of Brans-Dicke theory
• Toward Second-Order Self-Force for Eccentric Extreme-Mass Ratio Inspirals in Schwarzschild Spacetime
• Magnetogenesis from isocurvature initial conditions
• Massive graviton on arbitrary background: derivation, syzygies, applications
• Cosmic Electromagnetic Fields due to Perturbations in the Gravitational Field
• RG and logarithmic CFT multicritical properties of randomly diluted Ising models
• Spin-2 Green's Functions on Kerr in Radiation Gauge
• Slow-roll inflation in $f\left(R,T,R_{ab}{T}^{ab}\right)$ gravity
• Hadamard Renormalization of a 2-Dimensional Dirac Field
• Mapping the Weak-Field Limit of Scalar-Gauss-Bonnet Gravity
• Heat kernel of non-minimal second-order operators
• Closed conformal Killing-Yano initial data
• Reformulations of Yang-Mills Theories with Space-time Tensor Fields
• Approximate helical symmetry in compact binaries
• Quantizing non-projectable Hořava gravity with Lagrangian path integral
• Quadratic gravity potentials in de Sitter spacetime from Feynman diagrams
• Non-linear effects in early Universe cosmology
• Simplification of tensor expressions in computer algebra
• Type D conformal initial data
• Quasinormal modes and their excitation beyond general relativity. II: isospectrality loss in gravitational waveforms
• De Sitter scattering amplitudes in the Born approximation
• Vacuum polarization of the quantized massive scalar field in the global monopole spacetime I: the field fluctuation
• Gravitational Deflection of Vector Photons via Effective Field Theory
• SeQuant Framework for Symbolic and Numerical Tensor Algebra. I. Core Capabilities
• Aspects of three-dimensional higher-curvature gravities
• Theories of Massive Gravity in 2+1 Dimensions
• The Equivalence and/or the Effacing principle in $f\left(R\right)$ theories of gravity
• The ghost of vector fields in compact stars