REVIEW 13 cited by
xPerm: fast index canonicalization for tensor computer algebra
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
Signed reviews
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 13 Pith papers
-
The fermion sector of the SMEFT from asymptotically safe gravity
In a toy model of one quark generation, asymptotically safe gravity predicts four-fermion SMEFT coefficients are either Planck-scale suppressed or zero, with exceptions only at very large gravitational coupling.
-
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...
-
Gravitational waves from b-EMRIs: Doppler shift and beaming, resonant excitation, helicity oscillations and self-lensing
A first-principles Teukolsky model of a binary extreme-mass-ratio inspiral shows Doppler modulation, beaming, self-lensing, helicity-dependent scattering, and SMBH ringdown resonances in the waveform.
-
Perturbations of relativistic dissipative stars
Linearized perturbations of relativistic stars with BDNK viscosity reduce to two coupled wave equations in the axial sector and five coupled wave equations plus a constraint in the polar sector, including a new viscous mode.
-
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.
-
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.
-
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...
-
Sound as a gauge theory and its infrared triangle
Linear acoustic perturbations admit a memory effect that, in a dual Kalb-Ramond formulation, is encoded by large gauge transformations plus a monopole piece.
-
Matter Spectral Functions from Quantum Gravity
Under asymptotically safe quantum gravity, photon and scalar propagators acquire Källén-Lehmann spectral functions that are non-normalizable and change sign in the ultraviolet.
-
The particle spectra of parity-violating theories: A less radical approach and an upgrade of PSALTer
The authors derive a simpler no-ghost condition based on a kinetic matrix and release a parity-violating upgrade of PSALTer, demonstrating it on Einstein-Cartan gravity with two scalar modes.
-
Using SimTeEx to simplify polynomial expressions with tensors
SimTeEx simplifies tensor polynomials with arbitrary symmetry relations by combining graph-based handling of dummy indices with reduced row echelon form linear algebra.
Discussion (0). Continue with ORCID to comment.