Related papers: A Java library to perform S-expansions of Lie alge…
A generalization of the reduction technique for ODEs recently introduced by Gao and Liu is given. It is shown that the use of algebraic methods allows the extension of the procedure to much more general flows, as well as the derivation of…
We investigate Lie-Trotter product formulae for abstract nonlinear evolution equations with delay. Using results from the theory of nonlinear contraction semigroups in Hilbert spaces, we explain the convergence of the splitting procedure.…
We present LieART 2.0 which contains substantial extensions to the Mathematica application LieART (Lie Algebras and Representation Theory) for computations frequently encountered in Lie algebras and representation theory, such as tensor…
The library of practical abstractions (LIBPA) provides efficient implementations of conceptually simple abstractions, in the C programming language. We believe that the best library code is conceptually simple so that it will be easily…
In this paper we generalize some of these results for loop algebras and groups as well as for the Virasoro algebra to the two-dimensional case. We define and study a class of infinite dimensional complex Lie groups which are central…
We call a unital locally convex algebra $A$ a continuous inverse algebra if its unit group $A^\times$ is open and inversion is a continuous map. For any smooth action of a, possibly infinite-dimensional, connected Lie group $G$ on a…
In these notes we review and further explore the Lie enveloping algebra of a post-Lie algebra. From a Hopf algebra point of view, one of the central results, which will be recalled in detail, is the existence of a second Hopf algebra…
In this paper we propose a framework to leverage Lie group symmetries on arbitrary spaces exploiting \textit{algebraic signal processing} (ASP). We show that traditional group convolutions are one particular instantiation of a more general…
Splint of root system of simple Lie algebra appears naturally in the study of (regular) embeddings of reductive subalgebras. It can be used to derive branching rules. Application of splint properties drastically simplifies calculations of…
A theorem prover without an extensive library is much less useful to its potential users. Algebra, the study of algebraic structures, is a core component of such libraries. Algebraic theories also are themselves structured, the study of…
An algebraically expandable (AE) class is a class of algebraic structures axiomatizable by sentences of the form $\forall \exists! \land p = q$. For a logic $L$ algebraized by a quasivariety $\mathcal{Q}$ we show that the AE-subclasses of…
In convex integer programming, various procedures have been developed to strengthen convex relaxations of sets of integer points. On the one hand, there exist several general-purpose methods that strengthen relaxations without specific…
Lie algebras endowed with an action by automorphisms of any of the symmetric groups S3 or S4 are considered, and their decomposition into a direct sum of irreducible modules for the given action is studied. In case of S3-symmetry, the Lie…
We introduce Metatheory.jl: a lightweight and performant general purpose symbolics and metaprogramming framework meant to simplify the act of writing complex Julia metaprograms and to significantly enhance Julia with a native term rewriting…
A Lie (super)algebra with a non-degenerate invariant symmetric bilinear form will be called a NIS-Lie (super)algebra. The double extension of a NIS-Lie (super)algebra is the result of simultaneously adding to it a central element and an…
Degenerations, contractions and deformations of various algebraic structures play an important role in mathematics and physics. There are many different definitions and special cases of these notions. We try to give a general definition…
We give an introduction to the Mathematica package Lambda, designed for calculating $\lambda$-brackets in both vertex algebras, and in SUSY vertex algebras. This is equivalent to calculating operator product expansions in two-dimensional…
The notion of an F-manifold algebra is the underlying algebraic structure of an $F$-manifold. We introduce the notion of pre-Lie formal deformations of commutative associative algebras and show that F-manifold algebras are the corresponding…
The Carath\'eodory's Extension Theorem is a powerful tool that allows us to generate a measure, over a sigma-algebra, from a pre-measure defined over an algebra of sets. However, although this result reduces our work to define a measure by…
A study is made of real Lie algebras admitting compatible complex and product structures, including numerous 4-dimensional examples. If g is a Lie algebra with such a structure then its complexification has a hypercomplex structure. It is…