Related papers: Lambda: A Mathematica-package for operator product…
I present the tensor computer algebra package FieldsX, which extends the xAct suite of tensor algebra packages to perform computations in field theory with fermions and gauge fields. This includes the standard tools of curved-space $\gamma$…
We develop a vector space semantics for Lambek Calculus with Soft Subexponentials, apply the calculus to construct compositional vector interpretations for parasitic gap noun phrases and discourse units with anaphora and ellipsis, and…
We prove that the Kauffman bracket skein algebra of a cylinder over a surface with boundary, defined over complex numbers, is isomorphic to the observables of an appropriate lattice gauge field theory.
A tutorial of the Mathematica package CGAlgebra, for conformal geometric algebra calculations is presented. Using rule-based programming, the 5-dimensional conformal geometric algebra is implemented and defined functions simplify the…
We present a scheme for translating logic programs, which may use aggregation and arithmetic, into algebraic expressions that denote bag relations over ground terms of the Herbrand universe. To evaluate queries against these relations, we…
The $\lambda$-superposition calculus is a successful approach to proving higher-order formulas. However, some parts of the calculus are extremely explosive, notably due to the higher-order unifier enumeration and the functional…
This research addresses a new tool for data analysis known as Topological Data Analysis TDA It underlies an area of Mathematics known as Combinatorial Algebra or more recently Algebraic Topology which through making strong use of…
The role of the operator-product expansion in QCD calculations is discussed. Approximating the two-point correlation function by several terms and assuming an upper bound on the truncation error along the euclidean ray, we consider two…
GroupMath is a Mathematica package which performs several calculations related to semi-simple Lie algebras and the permutation groups, both of which are important in particle physics as well as in other areas of research.
\textbf{FlexBox} is a flexible MATLAB toolbox for finite dimensional convex variational problems in image processing and beyond. Such problems often consist of non-differentiable parts and involve linear operators. The toolbox uses a…
In logarithmic conformal field theory, primary fields come together with logarithmic partner fields on which the stress-energy tensor acts non-diagonally. Exploiting this fact and global conformal invariance of two- and three-point…
We revisit the Vectorial Lambda Calculus, a typed version of Lineal. Vectorial (as well as Lineal) has been originally designed for quantum computing, as an extension to System F where linear combinations of lambda terms are also terms and…
In the note some construction of Lie algebras is introduced. It is proved that the construction has the same property as a well known wreath product of groups [1]: Any extension of groups can be embedded into their wreath product [2].
We define Boolean algebras in the linear context and study its symmetric powers. We give explicit formulae for products in symmetric Boolean algebras of various dimensions. We formulate symmetric forms of the inclusion-exclusion principle.
In this paper we present two flavors of a quantum extension to the lambda calculus. The first one, $\lambda_\rho$, follows the approach of classical control/quantum data, where the quantum data is represented by density matrices. We provide…
We study Laplace-type operators on hybrid manifolds, i.e. on configurations consisting of closed two-dimensional manifolds and one-dimensional segments. Such an operator can be constructed by using the Laplace-Beltrami operators on each…
This article provides a quick guide to the implementation of supersymmetry with Cadabra, a symbolic computer algebra system. Details are provided on the implementation of Grassmann variables, fermionic fields, supercharges, and…
We show that lambda calculus is a computation model which can step by step simulate any sequential deterministic algorithm for any computable function over integers or words or any datatype. More formally, given an algorithm above a family…
We propose a new operator defined between two tensors, the broadcast product. The broadcast product calculates the Hadamard product after duplicating elements to align the shapes of the two tensors. Complex tensor operations in libraries…
A two-point algebra is a set of bounded analytic functions on the unit disk that agree at two distinct points $a,b \in \mathbb{D}$. This algebra serves as a multiplier algebra for the family of Hardy Hilbert spaces $H^2_t := \{ f\in H^2 :…