Related papers: A Lie-algebraic perspective on Tree-Adjoining Gram…
In this paper we prove that every recursively presented Lie algebra over a field which is a finite extention of its simple subfield can be embedded in a recursively presented Lie algebra defined by relations which are equalities of…
Adjoint logic is a general approach to combining multiple logics with different structural properties, including linear, affine, strict, and (ordinary) intuitionistic logics, where each proposition has an intrinsic mode of truth. It has…
D. Calaque, K. Ebrahimi-Fard and D. Manchon have recently defined a Hopf algebra by introducing a new coproduct on a commutative algebra of rooted forests. The space of primitive elements of the graded dual is endowed with a left pre-Lie…
We introduce a new logic that combines Adjoint Logic with Graded Necessity Modalities. This results in a very expressive system capable of controlling when and how structural rules are used. We give a sequent calculus, natural deduction,…
A Lie algebra $L$ is said to be $(\Theta_{n},sl_{n})$-graded if it contains a simple subalgebra $\mathfrak{g}$ isomorphic to $sl_{n}$ such that the $\mathfrak{g}$-module $L$ decomposes into copies of the adjoint module, the trivial module,…
In this paper, we study representations of hom-Lie algebras. In particular, the adjoint representation and the trivial representation of hom-Lie algebras are studied in detail. Derivations, deformations, central extensions and derivation…
We present a new approach to classification that combines data and knowledge. In this approach, data mining is used to derive association rules (possibly with negations) from data. Those rules are leveraged to increase the predictive…
We study the pre-Lie algebra of rooted trees $(\Cal T, \rightarrow)$ and we define a pre-Lie structure on its doubling space $(V, \leadsto)$. Also, we find the enveloping algebras of the two pre-Lie algebras denoted respectively by $(\Cal…
The aim of this paper is to present remarkable classes of Lie-admissible algebras containing in particular the associative algebras, the Vinberg algebras and pre-Lie algebras. We determine the associated quadratic operads and their dual…
We develop a shape analysis for reasoning about relational properties of data structures. Both the concrete and the abstract domain are represented by hypergraphs. The analysis is parameterized by user-supplied indexed graph grammars to…
Recently researchers working in the LFG framework have proposed algorithms for taking advantage of the implicit context-free components of a unification grammar [Maxwell 96]. This paper clarifies the mathematical foundations of these…
We prove how the universal enveloping algebra constructions for Lie-Rinehart algebras and anchored Lie algebras are naturally left adjoint functors. This provides a conceptual motivation for the universal properties these constructions…
We consider pairs of Lie algebras $g$ and $\bar{g}$, defined over a common vector space, where the Lie brackets of $g$ and $\bar{g}$ are related via a post-Lie algebra structure. The latter can be extended to the Lie enveloping algebra…
The set of primitive elements of a Hopf algebra in the braided category of group graded vector spaces (with a commutative group) carry the structure of a generalized Lie algebra. In particular the graded derivations of an associative…
We give a simple characterization of Lie elements in free pre-Lie algebras as elements of the kernel of a map between spaces of trees. We explain how this result is related to natural operations on the Chevalley-Eilenberg complex of a Lie…
In this paper, we define a class of auxiliary graphs associated with simple undirected graphs. This class of auxiliary graphs is based on the set of spanning trees of the original graph and the edges constituting those spanning trees. A…
We equip the graded polynomial algebra generated by nonplanar rooted binary trees with a Hopf algebra structure by defining a coproduct which disallows cutting both children of any given vertex, refining Connes-Kreimer's notion of…
Hom-Lie algebras are non-associative algebras generalizing Lie algebras by twisting the Jacobi identity by an endomorphism. The main examples are algebras of twisted derivations (i.e., linear maps with a generalized Leibniz rule). Such…
This paper describes the incremental generation of parse tables for the LR-type parsing of Tree Adjoining Languages (TALs). The algorithm presented handles modifications to the input grammar by updating the parser generated so far. In this…
In extending results from Lie to Leibniz algebras, it is helpful to have techniques which translate results from the former to the latter without having to repeat the (perhaps modified) arguments. Such a technique is developed in this work,…