Related papers: Reconstructing Classical Algebras via Ternary Oper…
In this work we discuss the elements required for the construction of the operator algebra for the space of paths over a simply laced $SU(3)$ graph. These operators are an important step in the construction of the bialgebra required to find…
Motivated by an ongoing project on computer aided derivation of asymptotic models governed by partial differential equations, we introduce a class of term transformations that consists of traversal strategies and insertion of contexts. We…
We propose a modal logic tailored to describe graph transformations and discuss some of its properties. We focus on a particular class of graphs called termgraphs. They are first-order terms augmented with sharing and cycles. Termgraphs…
A binary relation on graphs is recursively enumerable if and only if it can be computed by a formula in monadic second-order logic. The latter means that the formula defines a set of graphs, in the usual way, such that each "computation…
We describe the construction of quantum gates (unitary operators) from boolean functions and give a number of applications. Both non-reversible and reversible boolean functions are considered. The construction of the Hamilton operator for a…
Starting from the observation that distinct notions of copying have arisen in different categorical fields (logic and computation, contrasted with quantum mechanics) this paper addresses the question of when, or whether, they may coincide.…
In this paper we describe all, up to isomorphism, left unital, right unital and unital algebra structures on two-dimensional vector space over any algebraically closed field and $\mathbb{R}$. We tabulate the algebras with the units.
It is well known that in every inverse semigroup the binary operation and the unary operation of inversion satisfy the following three identities: [\quad x=(xx')x \qquad \quad (xx')(y'y)=(y'y)(xx') \qquad \quad (xy)z=x(yz"). ] The goal of…
We reduce the set of classic relational algebra operators to two binary operations: natural join and generalized union. We further demonstrate that this set of operators is relationally complete and honors lattice axioms.
Potential algebras can be used effectively in the analysis of the quantum systems. In the article, we focus on the systems described by a separable, 2x2 matrix Hamiltonian of the first order in derivatives. We find integrals of motion of…
We first discuss how open/closed chord diagrams, both with and without marked points, act on appropriate Hochschild complexes possibly coupled with the two-sided cobar complex. Then, in the main part of the paper, we introduce the notion of…
We give a brief account of a construction called tokens here, which is significant in algebra, analysis, combinatorics, and physics. Tokens allow to express a semigroup on one set via a semigroup convolution on another set. Therefore tokens…
In this paper we show how the theory of monads can be used to deduce in a uniform manner several duality theorems involving categories of relations on one side and categories of algebras with homomorphisms preserving only some operations on…
In these notes, we define a new simplicial structure on a connected multiplicative operad and call it connected multiplicative simplicial operad (for short; simplicial operad). Next we introduce on this simplicial operad a brace algebra…
In this paper we give a new foundational, categorical formulation for operations and relations and objects parameterizing them. This generalizes and unifies the theory of operads and all their cousins including but not limited to PROPs,…
We show that certain spaces of log-integrable functions and operators are complete topological *-algebras with respect to a natural metric space structure. We explore connections with the Nevanlinna class of holomorphic functions.
A finite-dimensional unital and associative algebra over $\mathbb{R}$, or what we shall call simply "an algebra" in this paper for short, generalities the construction by which we derive the complex numbers by "adjoining an element $i$" to…
This paper provides a general operadic definition for the notion of splitting the operations of algebraic structures. This construction is proved to be equivalent to some Manin products of operads and it is shown to be closely related to…
Analytical thinking is dominated by binary ideas. From pair-wise interactions, to algebraic operations, to compositions of processes, to network models, binary structures are deeply ingrained in the fabric of most current scientific…
Rigorous modelling of natural and industrial systems still conveys various challenges related to abstractions, methods to proceed with and easy-to-use tools to build, compose and reason on models. Operads are mathematical structures that…