Related papers: Field theory with the Maxima computer algebra syst…
A new method of deriving the Higgs Lagrangian from vector-like gauge theories is explored. After performing a supersymmetric extension of gauge theories we identify the auxiliary field associated with the "meson" superfield, in the low…
Multilinear algebra kernel performance on modern massively-parallel systems is determined mainly by data movement. However, deriving data movement-optimal distributed schedules for programs with many high-dimensional inputs is a notoriously…
We have been involved in the creation of multiple software systems for computer algebra, including Reduce, Maple, Axiom and Aldor as well as a number of smaller specialised programs. We relate observations on how the meaning of software…
This book is divided into two parts. In the first part we give an elementary introduction to computational physics consisting of 21 simulations which originated from a formal course of lectures and laboratory simulations delivered since…
We illustrate how effective field theories work in nuclear physics by using an effective Lagrangian in which all other degrees of freedom than the nucleonic one have been integrated out to calculate the low-energy properties of two-nucleon…
The article mainly presents some results in using MAPLE platform for computer algebra and GrTensorII package in doing calculations for theoretical and numerical cosmology
The prototype of mutually independent systems are systems which are localized in spacelike separated regions. In the framework of locally covariant quantum field theory we show that the commutativity of observables in spacelike separated…
For a given base space $M$ (spacetime), we consider the Guichardet space over the Guichardet space over $M$. Here we develop a ''field calculus'' based on the Guichardet integral. This is the natural setting in which to describe Green…
We present a systematic construction of the most general first order Lagrangian describing an arbitrary number of interacting Maxwell and Proca fields on Minkowski spacetime. To this aim, we first formalize the notion of a Proca field, in…
We introduce the MathGR package, written in Mathematica. The package can manipulate tensor and GR calculations with either abstract or explicit indices, simplify tensors with permutational symmetries, decompose tensors from abstract indices…
The Maxwell algebra is the result of enlarging the Poincar\'{e} algebra by six additional tensorial Abelian generators that make the fourmomenta non-commutative. We present a local gauge theory based on the Maxwell algebra with vierbein,…
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…
In this work we investigate the presence of electrically charged structures that are localized in two and three spatial dimensions. We use the Maxwell-scalar Lagrangian to describe several systems with distinct interactions for the scalar…
We present a public code to generate random fields with an arbitrary probability distribution function (PDF) and an arbitrary correlation function. The algorithm is cosmology-independent, applicable to any stationary stochastic process over…
We introduce an algorithm to decide isomorphism between tensors. The algorithm uses the Lie algebra of derivations of a tensor to compress the space in which the search takes place to a so-called densor space. To make the method practicable…
The Maxwell field with a general gauge fixing (GF) term is nontrivial, not only the longitudinal and temporal modes are mixed up in the field equations, but also unwanted consequences might arise from the GF term. We derive the complete set…
This paper presents the Lagrangian duality theory for mixed-integer semidefinite programming (MISDP). We derive the Lagrangian dual problem and prove that the resulting Lagrangian dual bound dominates the bound obtained from the continuous…
We figure out the explicit expression for the trace of the field equations associated to generic higher derivative theories of gravity endowed with Lagrangians depending upon the metric and its Riemann tensor, together with arbitrary order…
The rational, real and complex numbers with their standard operations, including division, are partial algebras specified by the axiomatic concept of a field. Since the class of fields cannot be defined by equations, the theory of…
We prove small data energy estimates of all orders of differentiability between past null infinity and future null infinity of de Sitter space for the conformally invariant Maxwell-scalar field system. This allows us to construct bounded…