Related papers: S@M, a Mathematica Implementation of the Spinor-He…
Existing computer algebra packages do not fully support quantum mechanics calculations in Dirac's notation. I present the foundation for building such support: a mathematical system for the symbolic manipulation of expressions used in the…
We introduce a formalism for describing four-dimensional scattering amplitudes for particles of any mass and spin. This naturally extends the familiar spinor-helicity formalism for massless particles to one where these variables carry an…
The spinor-helicity formalism has become an invaluable tool for understanding the S-matrix of massless particles in four dimensions. In this paper we construct a spinor-helicity formalism in six dimensions, and apply it to derive compact…
We consider spaces for which there is a notion of harmonicity for complex valued functions defined on them. For instance, this is the case of Riemannian manifolds on one hand, and (metric) graphs on the other hand. We observe that it is…
This preprint contains a description of a package for Mathematica called EinS. This package allows one to perform various calculations with indexed objects.
Scattering amplitudes of gluons coupled with a pair of massive scalars, so-called massive scalar amplitudes, provide the simplest yet physically useful examples of massive amplitudes. In this paper we construct an S-matrix functional for…
In this paper we present a formal computational framework for modeling manipulation actions. The introduced formalism leads to semantics of manipulation action and has applications to both observing and understanding human manipulation…
Let M be a symplectic 4-manifold. A semitoric integrable system on M is a pair of real-valued smooth functions J, H on M for which J generates a Hamiltonian S^1-action and the Poisson brackets {J,H} vanish. We shall introduce new global…
This paper introduces mathematical formalism for Spatial (SP) of Hierarchical Temporal Memory (HTM) with a spacial consideration for its hardware implementation. Performance of HTM network and its ability to learn and adjust to a problem at…
A method is developed whereby spinor helicity techniques can be used to simplify the calculation of loop amplitudes. This is achieved by using the Feynman-parameter representation where the offending off-shell loop momenta do not appear.…
In this note, we study, formalize, and generalize the pure spinor superfield formalism from a rather nontraditional perspective. To set the stage, we review the notion of a multiplet for a general super Lie algebra, working in the context…
In this paper, we present an implementation of the harmonic polylogarithm of Remiddi and Vermaseren for Mathematica. It contains an implementation of the product algebra, the derivative properties, series expansion and numerical evaluation.…
Isomorphisms of separable Hilbert spaces are analogous to isomorphisms of n-dimensional vector spaces. However, while n-dimensional spaces in applications are always realized as the Euclidean space R^n, Hilbert spaces admit various useful…
The goal of this contribution is to introduce the Hamiltonian formalism of theoretical mechanics for analysing motion in generic linear and non-linear dynamical systems, including particle accelerators. This framework allows the derivation…
Service-oriented sensor-actuator networks (SOSANETs) are deployed in health-critical applications like patient monitoring and have to fulfill strong safety requirements. However, a framework for the rigorous formal modeling and analysis of…
We introduce a new formulation of the real-spectral-triple formalism in non-commutative geometry (NCG): we explain its mathematical advantages and its success in capturing the structure of the standard model of particle physics. The idea,…
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…
Coordinate formalism on Hilbert manifolds developed in Kryukov is reviewed. The results of Kryukov are applied to the simpliest case of a Hilbert manifold: the abstract Hilbert space. In particular, functional transformations preserving…
With the exception of q-hypergeometric summation, the use of computer algebra packages implementing Zeilberger's "holonomic systems approach" in a broader mathematical sense is less common in the field of q-series and basic hypergeometric…
Accurate modeling of spin-orbit coupling and noncollinear magnetism requires noncollinear density functionals within the two-component generalized Kohn-Sham (GKS) framework, yet constructing and implementing noncollinear functionals remains…