Related papers: The realization of input-output maps using bialgeb…
Algebraic effects are computational effects that can be represented by an equational theory whose operations produce the effects at hand. The free model of this theory induces the expected computational monad for the corresponding effect.…
We introduce a framework to define coalgebra and bialgebra structures on two-dimensional (2D) square lattices, extending the algebraic theory of Hopf algebras and quantum groups beyond the one-dimensional (1D) setting. Our construction is…
In this paper, for a given finitely generated algebra (an algebraic structure with arbitrary operations and no predicates) A we study finitely generated limit algebras of A, approaching them via model theory and algebraic geometry. Along…
All coboundary Lie bialgebras and their corresponding Poisson--Lie structures are constructed for the oscillator algebra generated by $\{\aa,\ap,\am,\bb\}$. Quantum oscillator algebras are derived from these bialgebras by using the…
Let G be a locally compact group, M(G) denote its measure algebra and L^1(G) denote its group algebra. Also, let pi:G->U(H) be a strongly continuous unitary representation, and let CB^{sigma}(B(H)) be the space of normal completely bounded…
We present some more foundations for a theory of real structure in operator spaces and algebras, in particular concerning the real case of the theory of injectivity, and the injective, ternary, and $C^*$-envelope. We consider the…
The pro-algebraic fundamental group can be understood as a completion with respect to finite-dimensional non-commutative algebras. We introduce finer invariants by looking at completions with respect to Banach and C*-algebras, from which we…
Representations of $C^*$-algebras are realized on section spaces of holomorphic homogeneous vector bundles. The corresponding section spaces are investigated by means of a new notion of reproducing kernel, suitable for dealing with…
We propose the concept of a system algebra with a parallel composition operation and an interface connection operation, and formalize composition-order invariance, which postulates that the order of composing and connecting systems is…
We extend homological perturbation theory to encompass algebraic structures governed by operads and cooperads. The main difficulty is to find a suitable notion of algebra homotopy that generalizes to algebras over operads O. To solve this…
Starting with a given generalized boson algebra U_<q>(h(1)) known as the bosonized version of the quantum super-Hopf U_q[osp(1/2)] algebra, we employ the Hopf duality arguments to provide the dually conjugate function algebra Fun_<q>(H(1)).…
This is a proposal of an algebra which aims at distributed array processing. The focus lies on re-arranging and distributing array data, which may be multi-dimensional. The context of the work is scientific processing; thus, the core…
We introduce the notion of an algebraic cocycle as the algebraic analogue of a map to an Eilenberg-MacLane space. Using these cocycles we develop a ``cohomology theory" for complex algebraic varieties. The theory is bigraded, functorial,…
We study representations of Hilbert bimodules on pairs of Hilbert spaces. If $A$ is a C*-algebra and $\mathsf{X}$ is a right Hilbert $A$-module, we use such representations to faithfully represent the C*-algebras $\mathcal{K}_A(\mathsf{X})$…
We construct and study new generalisations to rooted trees and forests of some properties of shuffles of words. First, we build a coproduct on rooted trees which, together with their shuffle, endow them with bialgebra structure. We then…
We define inductively a sequence of purely algebraic invariants - namely, classes in the Quillen cohomology of the Pi-algebra \pi_* X - for distinguishing between different homotopy types of spaces. Another sequence of such cohomology…
We give the explicit construction of the product of an arbitrary family of coalgebras, bialgebras and Hopf algebras: it turns out that the product of an arbitrary family of coalgebras (resp. bialgebras, Hopf algebras) is the sum of a family…
Real algebraic geometry adapts the methods and ideas from (complex) algebraic geometry to study the real solutions to systems of polynomial equations and polynomial inequalities. As it is the real solutions to such systems modeling…
As dynamic and control systems become more complex, relying purely on numerical computations for systems analysis and design might become extremely expensive or totally infeasible. Computer algebra can act as an enabler for analysis and…
In this paper we systematically consider various ways of generating integrable and separable Hamiltonian systems in canonical and in non-canonical representations from algebraic curves on the plane. In particular, we consider St\"ackel…