REVIEW 9 cited by
Not yet reviewed by Pith; the record is open.
This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.
SPECIMEN: schema-true, not a live event
T0 review · schema-true
One-sentence machine reading of the paper's core claim.
pith:XXXXXXXX · record.json · timestamp
xPerm: fast index canonicalization for tensor computer algebra
read the original 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.
Forward citations
Cited by 9 Pith papers
-
Observer-robust energy condition verification for warp drive spacetimes
Warpax toolkit demonstrates that observer-robust optimization finds more extensive and severe energy-condition violations in warp drive metrics than single-frame Eulerian analysis.
-
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...
-
Spectral Functions of Lorentzian Quantum Gravity
Spectral functions for graviton and scalar graviton modes are derived in Lorentzian asymptotically safe quantum gravity via adapted FRG flow equations, yielding normalisable results consistent with infrared effective theory.
-
Breakdown of Semiclassical Gravity in Four-Dimensional Black Hole Evaporation
Semiclassical black hole evaporation in four dimensions produces a thunderbolt singularity signaling breakdown of the effective theory at large distances.
-
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.
-
Quantizing non-projectable Ho\v{r}ava gravity with Lagrangian path integral
Develops a Lagrangian path integral formulation for non-projectable Hořava gravity and computes one-loop divergences in (2+1) dimensions, verifying cancellation of linear-in-frequency terms to extract beta functions f...
-
Conformally Invariant Corrections to the Anomaly-Induced Effective Action and Black Hole Evaporation in Four Dimensions
Conformally invariant corrections to the anomaly-induced effective action produce a one-parameter family of quantum hair for Schwarzschild black holes that modifies the near-horizon stress tensor in a static approximation.
-
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.