Introducing Cadabra: a symbolic computer algebra system for field theory problems
arXiv:hep-th/0701238
Abstract
Cadabra is a new computer algebra system designed specifically for the solution of problems encountered in field theory. It has extensive functionality for tensor polynomial simplification taking care of Bianchi and Schouten identities, for fermions and anti-commuting variables, Clifford algebras and Fierz transformations, implicit coordinate dependence, multiple index types and many other field theory related concepts. The input format is a subset of TeX and thus easy to learn. Both a command-line and a graphical interface are available. The present paper is an introduction to the program using several concrete problems from gravity, supergravity and quantum field theory.
19 pages; v3: updated for 2.x syntax, otherwise unchanged; v2: several points clarified, Young tableau example added, typos corrected; software available at https://cadabra.science/
References in corpus (1)
Cited by in corpus (89)
- xTras: a field-theory inspired xAct package for Mathematica
- xPerm: fast index canonicalization for tensor computer algebra
- A field-theory motivated approach to symbolic computer algebra
- Differential geometry with a projection: Application to double field theory
- Boundary Stress-Energy Tensor and Newton-Cartan Geometry in Lifshitz Holography
- A Tower Weak Gravity Conjecture from Infrared Consistency
- Duality Invariant M-theory: Gauged supergravities and Scherk-Schwarz reductions
- T-duality and -corrections
- Higher-derivative couplings in string theory: dualities and the B-field
- Consistent Type IIB Reductions to Maximal 5D Supergravity
- M-theory and Type IIB from a Duality Manifest Action
- Supergravities without an Action: Gauging the Trombone
- Duality Invariance: From M-theory to Double Field Theory
- The Odd story of -corrections
- Gauged supergravities in 5 and 6 dimensions from generalised Scherk-Schwarz reductions
- Riemann Normal Coordinate expansions using Cadabra
- Fermions and Supersymmetry in Exceptional Field Theory
- The Gaugings of Maximal D=6 Supergravity
- Subleading Soft Theorem for Multiple Soft Gravitons
- Hamiltonian formulation of teleparallel gravity
- N=8 Supergravity with Local Scaling Symmetry
- Construction of all N=4 conformal supergravities
- Kerr-Schild spacetimes with (A)dS background
- Perturbative quantum gravity with the Immirzi parameter
- Four-point correlators with higher weight superconformal primaries in the AdS/CFT Correspondence
- The component structure of conformal supergravity invariants in six dimensions
- Frame Covariance in Quantum Gravity
- Holographic Renormalization for z=2 Lifshitz Space-Times from AdS
- Remarks on the non-Riemannian sector in Double Field Theory
- Second order higher-derivative corrections in Double Field Theory
- A brief introduction to Cadabra: a tool for tensor computations in General Relativity
- Curvature squared invariants in six-dimensional supergravity
- New localization method of U(1) gauge vector field on flat branes in (asymptotic) spacetime
- Some exact solutions of all f(Ricci) theories in three dimensions
- Rigid 6D supersymmetry and localization
- Type III and N solutions to quadratic gravity
- E Exceptional Field Theory: Geometry, Fermions and Supersymmetry
- On the conformal properties of topological terms in even dimensions
- Plasma conductivity at finite coupling
- A note on the quartic effective action of type IIB superstring
- Quantum gravity and scalar fields
- SO(9) supergravity in two dimensions
- Hadron structure functions at small from string theory
- Quantum gravity, gauge coupling constants, and the cosmological constant
- Kaluza-Klein reduction on a maximally non-Riemannian space is moduli-free
- Geometric algebra techniques in flux compactifications (II)
- Classical solutions for exotic instantons?
- Conserved Killing charges of quadratic curvature gravity theories in arbitrary backgrounds
- Spinors: a Mathematica package for doing spinor calculus in General Relativity
- Interacting Scalar Fields in the Context of Effective Quantum Gravity
- Geometric algebra techniques in flux compactifications
- N=2 higher-derivative couplings from strings
- Complete Hamiltonian analysis of cosmological perturbations at all orders
- Simple recipe for holographic Weyl anomaly
- Factorising the 3D Topologically Twisted Index
- Local momentum space and the vector field
- Particle Number and 3D Schroedinger Holography
- Energy-momentum tensors in linearized Einstein's theory and massive gravity: The question of uniqueness
- Charge density wave instability in holographic d-wave superconductor
- T-duality of D-brane action at order in bosonic string theory
- On eleven-dimensional Supergravity and Chern-Simons theory
- On The Supersymmetric Solutions of D=3 Half-maximal Supergravities
- Holographic Two-Point Functions in Conformal Gravity
- Introduction to Redberry: a computer algebra system designed for tensor manipulation
- Exploring the geometry of supersymmetric double field theory
- Symbolic and Numerical Analysis in General Relativity with Open Source Computer Algebra Systems
- A short note on the curvature perturbation at second order
- Vector Galileon and inflationary magnetogenesis
- Conformal Killing Initial Data
- Algebraic Conditions for Conformal Superintegrability in Arbitrary Dimension
- A polynomial model of purely affine gravity
- Exact Solutions of General Relativity and Quadratic Gravity in Arbitrary Dimension
- U-dualities in Type II string theories and M-theory
- Entropy currents from holography in hydrodynamics with charge
- Localization of gauge field by non-minimal coupling with gravity
- Combinatorial aspects in the one-loop renormalization of higher derivative theories
- Emergent Planck mass and dark energy from affine gravity
- Conformal and gauge invariant spin-2 field equations
- Hamiltonian analysis of metric-affine- theory
- Multiple M-branes and 3-algebras
- Deformed Weitzenböck Connections and Teleparallel Gravity
- Higher derivative quartic vertex of gravity in light-cone gauge
- Computations of superstring amplitudes in pure spinor formalism via Cadabra
- 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
- Quantization due to the time evolution, with applications to Quantum Yang-Mills theory, Quantum Gravity and Classical Statistical Field Theory
- Recursion operators in the cotangent covering of the rdDym equation
- 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
- One-loop divergences in 7D Einstein and 6D Conformal Gravities
- High order chiral Lagrangians with vector mesons in different approaches