The \texttt{Invar} tensor package: differential invariants of Riemann

DOI10.1016/J.CPC.2008.04.018MaRDI QIDQ711099zbMATH OpenOpenAlexFDO

Authors D. Kharzeev

Publication date 25 October 2010

Published in Computer Physics Communications (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/0802.1274

zbMATH Keywords

\texttt{Maple}\texttt{Mathematica}computer algebraRiemann tensortensor calculus

Mathematics Subject Classification ID

Software, source code, etc. for problems pertaining to linear algebra (15-04)

Abstract: The long standing problem of the relations among the scalar invariants of the Riemann tensor is computationally solved for all 6x10^23 objects with up to 12 derivatives of the metric. This covers cases ranging from products of up to 6 undifferentiated Riemann tensors to cases with up to 10 covariant derivatives of a single Riemann. We extend our computer algebra system Invar to produce within seconds a canonical form for any of those objects in terms of a basis. The process is as follows: (1) an invariant is converted in real time into a canonical form with respect to the permutation symmetries of the Riemann tensor; (2) Invar reads a database of more than 6x10^5 relations and applies those coming from the cyclic symmetry of the Riemann tensor; (3) then applies the relations coming from the Bianchi identity, (4) the relations coming from commutations of covariant derivatives, (5) the dimensionally-dependent identities for dimension 4, and finally (6) simplifies invariants that can be expressed as product of dual invariants. Invar runs on top of the tensor computer algebra systems xTensor (for Mathematica) and Canon (for Maple).

Recommendations

• The Invar tensor package
• A complete set of Riemann invariants
• The identities of the algebraic invariants of the four-dimensional Riemann tensor
• Normal forms for tensor polynomials. I. The Riemann tensor
• The identities of the algebraic invariants of the four-dimensional Riemann tensor. II

Cites work

• Differential invariants and regularity
• Dimensionally dependent tensor identities by double antisymmetrization
• General Relativity
• GROUP-THEORETIC APPROACH FOR SYMBOLIC TENSOR MANIPULATION
• scientific article; zbMATH DE number 3314959 (Why is no real title available?)
• Normal forms for tensor polynomials. I. The Riemann tensor
• The Canon package: a fast kernel for tensor manipulators
• The identities of the algebraic invariants of the four-dimensional Riemann tensor. III
• The Invar tensor package

Cited in

(36)

• xPert: Computer algebra for metric perturbation theory
• Normalization in Riemann tensor polynomial ring
• E6Tensors: a Mathematica package for \(E_6\) tensors
• Elucidation of covariant proofs in general relativity: example of the use of algebraic software in the shear-free conjecture in MAPLE
• An effective formalism for testing extensions to general relativity with gravitational waves
• xTensor
• The weak-gravity bound and the need for spin in asymptotically safe matter-gravity models
• Irrelevant operators and their holographic anomalies
• Are there ALPs in the asymptotically safe landscape?
• Faster tensor canonicalization
• Distance invariant method for normalization of indexed differentials
• Light charged fermions in quantum gravity
• An example of non-Weyl preserving complex transformation
• Lorentz symmetry is relevant
• Supertranslations and holographic stress tensor
• Quantum corrections to unimodular gravity
• Rigid supersymmetry from conformal supergravity in five dimensions
• Superconformal indices and M2-branes
• Extremal black holes in dynamical Chern-Simons gravity
• \textit{xTras}: a field-theory inspired \textit{xAct} package for Mathematica
• Enumeration of the order-14 invariants formed from the Riemann tensor
• Normal forms for tensor polynomials. I. The Riemann tensor
• Infinite order quantum-gravitational correlations
• The gravitational wave stress–energy (pseudo)-tensor in modified gravity
• scientific article; zbMATH DE number 1364665 (Why is no real title available?)
• A complete classification of canonical forms of a class of Riemann tensor indexed expressions and its applications in differential geometry
• From a locality-principle for new physics to image features of regular spinning black holes with disks
• Quasi-normal mode of a regular Schwarzschild black hole
• Lessons from conformally reduced quantum gravity
• Shift-symmetric Horndeski gravity in the asymptotic-safety paradigm
• Yang-Mills Casimir wormholes in D = 2 + 1
• Quadratic gravity with propagating torsion and asymptotic freedom
• Restricted Gröbner basis theory for normalization of indexed differential Riemann metric tensor polynomials
• The Invar tensor package
• \textit{Spinors}: a Mathematica package for doing spinor calculus in general relativity
• Effective field theory of gravity to all orders

Describes a project that uses

Uses Software

• Canon
• Invar
• Maple
• Mathematica

This page was built for publication: The \texttt{Invar} tensor package: differential invariants of Riemann

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q711099)