Related papers: FieldsX -- An extension package for the xAct tenso…
We present the tensor computer algebra package xTras, which provides functions and methods frequently needed when doing (classical) field theory. Amongst others, it can compute contractions, make Ans\"atze, and solve tensorial equations. It…
We present a Mathematica package for doing computations with gamma matrices, spinors, tensors and other objects, in any dimension and signature. The approach we use is based on defining the commutation relations of the relevant matrices,…
We present the tensor computer algebra package xPert for fast construction and manipulation of the equations of metric perturbation theory, around arbitrary backgrounds. It is based on the combination of explicit combinatorial formulas for…
We describe the implementation and usage of `fermionic_amplitudes.m', a Mathematica package for the computation of tree amplitudes involving arbitrary numbers of gauge bosons and arbitrarily-charged massless fermions of (possibly) distinct…
We introduce a graphical calculus, consisting of a set of fermionic tensors with tensor-network equations, which can be used to perform various computations in fermionic many-body physics purely diagrammatically. The indices of our tensors…
The Maxima computer algebra system, the open-source successor to MACSYMA, the first general-purpose computer algebra system that was initially developed at the Massachusetts Institute of Technology in the late 1960s and later distributed by…
This article summarizes new features and enhancements of the first major update of Package-X. Package-X 2.0 can now generate analytic expressions for arbitrarily high rank dimensionally regulated tensor integrals with up to four distinct…
I present here a new method that allows the introduction of a discrete auxiliary symmetry in a theory in such a way that the eigenvalue spectrum of the fermion functional determinant is made up of complex conjugated pairs. The method…
Presented is a quantum computing model of a quantum field theory for a system of fermions interacting via a massive gauge field. The model describes a relativistic superconducting fluid and uses a metric tensor field to both encode the…
We present a small computer algebra program for use in Maxwell's theory. The Maxwell equations and the energy-momentum current of the electromagnetic field are formulated in the language of exterior differential forms. The corresponding…
In this paper we present a short overview of the new Wolfram Mathematica package intended for elementary "in-basis" tensor and differential-geometric calculations. In contrast to alternatives our package is designed to be easy-to-use,…
Package-X, a Mathematica package for the analytic computation of one-loop integrals dimensionally regulated near 4 spacetime dimensions is described. Package-X computes arbitrarily high rank tensor integrals with up to three propagators,…
We show that for open gauge theories, it is possible to build an off-shell Becchi-Rouet-Stora-Tyutin (BRST) algebra together with an invariant extension of the classical action. This is based on the introduction of auxiliary fields, after…
We give a quantum field theoretic derivation of the formula obeyed by the Ray-Singer torsion on product manifolds. Such a derivation has proved elusive up to now. We use a BRST formalism which introduces the idea of an infinite dimensional…
In this paper we introduce Redberry --- an open source computer algebra system with native support of tensorial expressions. It provides basic computer algebra tools (algebraic manipulations, substitutions, basic simplifications etc.) which…
The central notion of this work is that of a functor between categories of finitely presented modules over so-called computable rings, i.e. rings R where one can algorithmically solve inhomogeneous linear equations with coefficients in R.…
We introduce the Spin-ZX calculus as an elevation of Penrose's diagrams and associated binor calculus to the level of a formal diagrammatic language. The power of doing so is illustrated by the variety of scientific areas we apply it to:…
The recursive method of Berends and Giele to compute tree-level gluon amplitudes is revisited using the framework of ten-dimensional super Yang-Mills. First we prove that the pure spinor formula to compute SYM tree amplitudes derived in…
DifferentialGeometry is a Maple software package which symbolically performs fundamental operations of calculus on manifolds, differential geometry, tensor calculus, Lie algebras, Lie groups, transformation groups, jet spaces, and the…
Mapping fermionic systems to qubits on a quantum computer is often the first step for algorithms in quantum chemistry and condensed matter physics. However, it is difficult to reconcile the many different approaches that have been proposed,…