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

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

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

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

Cited in

(33)

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

Describes a project that uses

Uses Software

• Mathematica
• Maple
• Invar
• Canon

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)