Related papers: Lambda: A Mathematica-package for operator product…
We present in this work a systematic study of integrable models and supersymmetric extensions of the Gelfand-Dickey algebra of pseudo differential operators. We describe in detail the relation existing between the algebra of super…
The graded algebra Lambda defined by Pierre Vogel is of general interest in the theory of finite-type invariants of knots and of 3-manifolds because it acts on the corresponding spaces of connected graphs subject to relations called IHX and…
The symmetrized product for quantum mechanical observables is defined. It is seen as consisting of the ordinary multiplication and the application of the superoperator that orders the operators of coordinate and momentum. This superoperator…
The algebraic $\lambda$-calculus is an extension of the ordinary $\lambda$-calculus with linear combinations of terms. We establish that two ordinary $\lambda$-terms are equivalent in the algebraic $\lambda$-calculus iff they are…
Vertex algebras provide an axiomatic algebraic description of the operator product expansion (OPE) of chiral fields in 2-dimensional conformal field theory. Vertex Lie algebras (= Lie conformal algebras) encode the singular part of the OPE,…
In this paper we study fields satisfying $N$-point locality and their properties. We obtain residue formulae for $N$-point local fields in terms of derivatives of delta functions and Bell polynomials. We introduce the notion of the space of…
We designed a superposition calculus for a clausal fragment of extensional polymorphic higher-order logic that includes anonymous functions but excludes Booleans. The inference rules work on $\beta\eta$-equivalence classes of…
We describe a type system for the linear-algebraic lambda-calculus. The type system accounts for the part of the language emulating linear operators and vectors, i.e. it is able to statically describe the linear combinations of terms…
We present a vertex operator algebra which is an extension of the level $k$ vertex operator algebra for the $\hat{sl}_2$ conformal field theory. We construct monomial basis of its irreducible representations.
We describe how the SgpDec computer algebra package can be used for composing and decomposing permutation groups and transformation semigroups hierarchically by directly constructing substructures of wreath products, the so called cascade…
We present and publish a Mathematica package, which can be used to automatically obtain any numerical MSSM input parameter from SUSY spectrum generators, which follow the SLHA standard, like Spheno, Softsusy, Suseflav or Suspect. The…
We provide a uniform definition of higher order Toda brackets in a general setting, covering the known cases of long Toda brackets for topological spaces and chain complexes and Massey products for differential graded algebras, among…
We introduce notions of open-string vertex algebra, conformal open-string vertex algebra and variants of these notions. These are ``open-string-theoretic,'' ``noncommutative'' generalizations of the notions of vertex algebra and of…
This paper studies algebras arising as algebraic semantics for logics used to model reasoning with incomplete or inconsistent information. In particular we study, in a uniform way, varieties of bilattices equipped with additional…
For the simple Lie algebra $ \frak{so}_m$, we study the commutant vertex operator algebra of $ L_{\hat{\frak{so}}_{m}}(n,0)$ in the $n$-fold tensor product $ L_{\hat{\frak{so}}_{m}}(1,0)^{\otimes n}$. It turns out that this commutant vertex…
In a previous paper an asymptotic expansion for lambda_d in powers of 1/d was developed. The results of computer computations for some terms in the expansion, as well as various quantities associated to the expansion, are herein presented.…
We study the interpretation of the lambda-calculus in a framework based on tropical mathematics, and we show that it provides a unifying framework for two well-developed quantitative approaches to program semantics: on the one hand program…
We establish convergence of spectra of Neumann Laplacian in a thin neighborhood of a branching 2D structure in 3D to the spectrum of an appropriately defined operator on the structure itself. This operator is a 2D analog of the well known…
We study Rota--Baxter operators on vertex algebras using the integrated $\lambda$-bracket formalism. A Rota--Baxter operator produces a deformed vertex algebra structure, and the difference between the deformed and original brackets yields…
The algebraic lambda calculus and the linear algebraic lambda calculus are two extensions of the classical lambda calculus with linear combinations of terms. They arise independently in distinct contexts: the former is a fragment of the…