A field-theory motivated approach to symbolic computer algebra

Abstract

Field theory is an area in physics with a deceptively compact notation. Although general purpose computer algebra systems, built around generic list-based data structures, can be used to represent and manipulate field-theory expressions, this often leads to cumbersome input formats, unexpected side-effects, or the need for a lot of special-purpose code. This makes a direct translation of problems from paper to computer and back needlessly time-consuming and error-prone. A prototype computer algebra system is presented which features TeX-like input, graph data structures, lists with Young-tableaux symmetries and a multiple-inheritance property system. The usefulness of this approach is illustrated with a number of explicit field-theory problems.

14 pages; v2: several clarifications and references added, version as published

References in corpus (6)

• New features of FORM
• Introducing Cadabra: a symbolic computer algebra system for field theory problems
• Superfield integrals in high dimensions
• An Algorithm to Simplify Tensor Expressions
• ATENSOR - REDUCE program for tensor simplification
• EinS: a Mathematica package for computations with indexed objects

Cited by in corpus (156)

• Double Field Theory and N=4 Gauged Supergravity
• xPerm: fast index canonicalization for tensor computer algebra
• Differential geometry with a projection: Application to double field theory
• Boundary Stress-Energy Tensor and Newton-Cartan Geometry in Lifshitz Holography
• Duality Invariant M-theory: Gauged supergravities and Scherk-Schwarz reductions
• Universal holographic hydrodynamics at finite coupling
• Introducing Cadabra: a symbolic computer algebra system for field theory problems
• Higher-derivative couplings in string theory: dualities and the B-field
• The Invar Tensor Package
• Consistent Type IIB Reductions to Maximal 5D Supergravity
• Quantum gravitational contributions to quantum electrodynamics
• M-theory and Type IIB from a Duality Manifest Action
• Generalization of the Geroch-Held-Penrose formalism to higher dimensions
• On the relative importance of second-order terms in relativistic dissipative fluid dynamics
• Supergravities without an Action: Gauging the Trombone
• A perturbative approach to Dirac observables and their space-time algebra
• Duality Invariance: From M-theory to Double Field Theory
• FormTracer - A Mathematica Tracing Package Using FORM
• Higher derivative terms including the Ramond-Ramond five-form
• Riemann Normal Coordinate expansions using Cadabra
• Gauged supergravities in 5 and 6 dimensions from generalised Scherk-Schwarz reductions
• Fermions and Supersymmetry in ${\mathrm{E}}_{6(6)}$ Exceptional Field Theory
• Unitarity analysis of general Born-Infeld gravity theories
• The Gaugings of Maximal D=6 Supergravity
• Subleading Soft Theorem for Multiple Soft Gravitons
• N=8 Supergravity with Local Scaling Symmetry
• Construction of all N=4 conformal supergravities
• Vorticity generation at second order in cosmological perturbation theory
• Conformal properties of soft-operators - 1 : Use of null-states
• Kerr-Schild spacetimes with (A)dS background
• Perturbative quantum gravity with the Immirzi parameter
• $O(N)$ model in Euclidean de Sitter space: beyond the leading infrared approximation
• The component structure of conformal supergravity invariants in six dimensions
• Holographic Renormalization for z=2 Lifshitz Space-Times from AdS
• Three-Dimensional Extended Newtonian (Super)Gravity
• Conformal properties of soft operators -- 2 : Use of null-states
• A brief introduction to Cadabra: a tool for tensor computations in General Relativity
• Some exact solutions of all f(Ricci) theories in three dimensions
• New localization method of U(1) gauge vector field on flat branes in (asymptotic) $Ad{S}_5$ spacetime
• Curvature squared invariants in six-dimensional $\mathcal{N}=(1,0)$ supergravity
• Rigid 6D supersymmetry and localization
• Perturbations of higher-dimensional spacetimes
• Type III and N solutions to quadratic gravity
• E${}_{8(8)}$ Exceptional Field Theory: Geometry, Fermions and Supersymmetry
• On the conformal properties of topological terms in even dimensions
• Plasma conductivity at finite coupling
• All Bulk and Boundary Unitary Cubic Curvature Theories in Three Dimensions
• Quartic Quasi-topological Gravity, Black Holes and Holography
• N=4 conformal supergravity: the complete actions
• Quantum gravity and scalar fields
• Three-Dimensional Extended Lifshitz, Schrödinger and Newton-Hooke Supergravity
• A note on the quartic effective action of type IIB superstring
• SO(9) supergravity in two dimensions
• Carrollian and Non-relativistic Jackiw-Teitelboim Supergravity
• Hadron structure functions at small $x$ from string theory
• Born-Infeld Gravity with a Massless Graviton in Four Dimensions
• E8 duality and dual gravity
• Quantum gravity, gauge coupling constants, and the cosmological constant
• Estimating the amount of vorticity generated by cosmological perturbations in the early universe
• Polyvector deformations in eleven-dimensional supergravity
• A Schrödinger approach to Newton-Cartan and Hořava-Lifshitz gravities
• Supersymmetric gauged Double Field Theory: Systematic derivation by virtue of \textit{Twist}
• Cosmological perturbation of Unimodular Gravity and General Relativity are identical
• Classical solutions for exotic instantons?
• Conserved Killing charges of quadratic curvature gravity theories in arbitrary backgrounds
• Distinguishing general relativity from Chern-Simons gravity using gravitational wave polarizations
• E${}_{7(7)}$ Exceptional Field Theory in Superspace
• Interacting Scalar Fields in the Context of Effective Quantum Gravity
• Cosmic structures and gravitational waves in ghost-free scalar-tensor theories of gravity
• On curvature-squared invariants of minimal five-dimensional supergravity from superspace
• Simple counterterms for asymptotically AdS spacetimes in Lovelock gravity
• Born-Infeld Gravity with a Unique Vacuum and a Massless Graviton
• Quantum corrections to broken N = 8 supergravity
• Towards 't Hooft parameter corrections to charge transport in strongly-coupled plasma
• Tensor calculus with open-source software: the SageManifolds project
• Dynamical Black Hole Entropy in Effective Field Theory
• Black hole thermodynamics, stringy dualities and double field theory
• Extended Kerr-Schild spacetimes: General properties and some explicit examples
• N=2 higher-derivative couplings from strings
• Gauge-Invariant Quantum Gravity Corrections to Gauge Couplings via Vilkovisky-DeWitt Method and Gravity Assisted Gauge Unification
• Complete Hamiltonian analysis of cosmological perturbations at all orders
• Integration of trace anomaly in 6D
• Optical structures, algebraically special spacetimes, and the Goldberg-Sachs theorem in five dimensions
• Simple recipe for holographic Weyl anomaly
• Probing the String Winding Sector
• Universal role of curvature in vacuum entanglement
• Particle Number and 3D Schroedinger Holography
• Local momentum space and the vector field
• Effects of non-linearities on magnetic field generation
• On The Supersymmetric Solutions of D=3 Half-maximal Supergravities
• On eleven-dimensional Supergravity and Chern-Simons theory
• Energy-momentum tensors in linearized Einstein's theory and massive gravity: The question of uniqueness
• VEST: abstract vector calculus simplification in Mathematica
• T-duality of D-brane action at order ${\alpha }^{\prime }$ in bosonic string theory
• Holographic Two-Point Functions in Conformal Gravity
• Computing with Hamiltonian operators
• Amplitudes Involving Massive States Using Pure Spinor Formalism
• Introduction to Redberry: a computer algebra system designed for tensor manipulation
• Practical tools for third order cosmological perturbations
• Exploring the geometry of supersymmetric double field theory
• Linear Density Perturbations in Multifield Coupled Quintessence
• Comparing different formulations of non-linear cosmological perturbation theory
• Complete Hamiltonian analysis of cosmological perturbations at all orders II: Non-canonical scalar field
• Effect of tidal curvature on dynamics of accelerated probes
• Invariants of the heat equation for non-minimal operators
• An Algebraic Geometric Foundation for a Classification of Superintegrable Systems in Arbitrary Dimension
• Vector Galileon and inflationary magnetogenesis
• A short note on the curvature perturbation at second order
• M-theory Compactifications to Three Dimensions with M2-brane Potentials
• Deformed Weitzenböck Connections and Double Field Theory
• Galileon scalar electrodynamics
• Algebraic Conditions for Conformal Superintegrability in Arbitrary Dimension
• Monopole star products are non-alternative
• Conserved Quantities in Lemaitre-Tolman-Bondi Cosmology
• Faster Tensor Canonicalization
• FieldsX -- An extension package for the xAct tensor computer algebra suite to include fermions, gauge fields and BRST cohomology
• Exact Solutions of General Relativity and Quadratic Gravity in Arbitrary Dimension
• Brane Curvature Corrections to the $\mathcal{N}=1$ Type II/F-theory Effective Action
• On Topologically Massive Spin-2 Gauge Theories beyond Three Dimensions
• U-dualities in Type II string theories and M-theory
• New Features in the Second Version of the Cadabra Computer Algebra System
• Entropy currents from holography in hydrodynamics with charge
• Quantum Field Theories Coupled to Supergravity: AdS/CFT and Local Couplings
• Using Two Types of Computer Algebra Systems to Solve Maxwell Optics Problems
• Localization of $U(1)$ gauge field by non-minimal coupling with gravity
• On the gravity dual of strongly coupled charged plasma
• Photon propagator for inflation in the general covariant gauge
• Instability in near-horizon geometries of even-dimensional Myers-Perry black holes
• A polynomial affine model of gravity: after ten years
• Geometry of ${\mathbb{R}}^{+}\times E_{3(3)}$ Exceptional Field Theory and F-theory
• Time-dependent toroidal compactification proposals and the Bianchi type II model: classical and quantum solutions
• Cosmic structures in Ricci-inverse theories of gravity
• Hamiltonian formalism of cosmological perturbations and higher derivative theories
• Computer algebra calculations in supersymmetric electrodynamics
• 'Constraint consistency' at all orders in Cosmological perturbation theory
• Hamiltonian analysis of metric-affine-$R^2$ theory
• Hamiltonian equations of motion of quadratic gravity
• The Hamiltonian constraint in the symmetric teleparallel equivalent of general relativity
• Massive strings from a haunted field theory
• Approach of background metric expansion to a new metric ansatz for gauged and ungauged Kaluza-Klein supergravity black holes
• Cadabra and Python algorithms in General Relativity and Cosmology II: Gravitational Waves
• A geometric Laplace method
• A calculation of the Weyl anomaly for 6D Conformal Higher Spins
• Multiple M-branes and 3-algebras
• Numerical evolution of Maxwell's equations for wavefronts propagating through a spherical gravitational potential
• Six-dimensional $\mathcal{N}=(2,0)$ Conformal Superspace
• Higher derivative quartic vertex of $f(R)$ gravity in light-cone gauge
• Higher Derivative BLG: Lagrangian and Supersymmetry Transformations
• d = 11 Supergravity on almost flat R^4 times a compact hyperbolic 7-manifold, and the dip and bump seen in ATLAS-CONF-2010-088
• Damping of cosmological tensor modes in Horndeski theories after GW170817
• Yang-Baxter structure of the extended space
• One-loop divergences in 7D Einstein and 6D Conformal Gravities
• SeQuant Framework for Symbolic and Numerical Tensor Algebra. I. Core Capabilities
• On five-dimensional curvature squared supergravity and holography
• Dirac: a command-line $\gamma$-matrix calculator
• Improvement of a provisional solution of the quantum-corrected field equations of d = 11 supergravity on flat R^4 times a compact hyperbolic 7-manifold, and modes that decay along the beam line outside the interaction region at the LHC