Recognition: unknown
The Invar tensor package: Differential invariants of Riemann
read the original 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).
This paper has not been read by Pith yet.
Forward citations
Cited by 4 Pith papers
-
Quasinormal modes and their excitation beyond general relativity. II: isospectrality loss in gravitational waveforms
In a beyond-GR cubic-curvature model, loss of isospectrality makes it generally difficult to identify the two fundamental quasinormal modes from black hole ringdown time series, though evidence for a non-GR mode is so...
-
Quantum gravity contributions to the gauge and Yukawa couplings in proper time flow
Quantum gravity contributions to the beta functions of gauge and Yukawa couplings are derived via the Schwinger proper-time flow equation; their dependence on gauge fixing and regulators is quantified at gravity's int...
-
Cancellation of UV divergences in ghost-free infinite derivative gravity
Specific choices of form factors in ghost-free infinite derivative gravity cancel all one-loop logarithmic UV divergences except the Gauss-Bonnet term and a surface term.
-
Theoretical and Observational Bounds on Dynamical Chern-Simons Gravity as an Effective Field Theory
Dynamical Chern-Simons gravity is bounded by causality and perturbativity to produce only tiny corrections on macroscopic gravitational systems.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.