Related papers: Sets with two associative operation
We categorify cocompleteness results of monad theory, in the context of pseudomonads. We first prove a general result establishing that, in any 2-category, weighted bicolimits can be constructed from oplax bicolimits and bicoequalizers of…
Working with generating functions, the combinatorics of a recurrence relation can be expressed in a way that allows for more efficient calculation of the quantity. This is true of the Catalan numbers for an ordered binary tree…
An infinite linearly ordered set (S,<=) is called doubly homogeneous if its automorphism group A(S) acts 2-transitively on it. We show that any group G arises as outer automorphism group G cong Out(A(S)) of the automorphism group A(S), for…
The main result of this paper is an explicit construction of the free commutative skew brace -- that is, a skew brace whose circle group is commutative -- on an arbitrary generating set $X$. We embed this object into a set of rational…
We solve two longstanding major problems in Free Probability. This is achieved by generalising the theory to one with values in arbitrary commutative algebras. We prove the existence of the multi-variable $S$-transform, and show that it is…
We develop a canonical pairing between trees and graphs, which passes to their quotients by Jacobi identities. This pairing is an effective and simple tool for understanding the Lie and Poisson operads, providing canonical duals. In the…
We consider all 16 unary operations that, given a homogeneous binary relation R, define a new one by a boolean combination of xRy and yRx. Operations can be composed, and connected by pointwise-defined logical junctors. We consider the…
We show that the inverse limit of the graded algebras of local unitary invariant polynomials of finite dimensional k-partite quantum systems is free, and give an algebraically independent generating set. The number of degree 2d invariants…
Binary operations on algebras of observables are studied in the quantum as well as in the classical case. It is shown that certain natural compatibility conditions with the associative product imply the properties which usually are…
A family T of digraphs is a complete set of obstructions for a digraph H if for an arbitrary digraph G the existence of a homomorphism from G to H is equivalent to the non-existence of a homomorphism from any member of T to G. A digraph H…
We construct certain monoids, called tied monoids. These monoids result to be semidirect products finitely presented and commonly built from braid groups and their relatives acting on monoids of set partitions. The nature of our monoids…
A class of algebras is constructed using free fermions and the invariant antisymmetric tensors associated with irreducible holonomy groups. (This version contains minor typographical corrections and some additional references. )
We define an independence system associated with simple graphs. We prove that the independence system is a matroid for certain families of graphs, including trees, with bases as minimal resolving sets. Consequently, the greedy algorithm on…
This paper deals with graph automaton groups associated with trees and some generalizations. We start by showing some algebraic properties of tree automaton groups. Then we characterize the associated semigroup, proving that it is…
We describe arithmetic computations in terms of operations on some well known free algebras (S1S, S2S and ordered rooted binary trees) while emphasizing the common structure present in all them when seen as isomorphic with the set of…
Let $G$ be a group generated by a set $X$. It is well known and easy to check that \[ [g_1, g_2, \dots ,g_n] = 1 \mbox{ for all } g_i \in G \qquad \iff \qquad [x_1, x_2, \dots , x_n] =1 \mbox{ for all } x_i \in X. \] Let $L$ be a Lie…
Density operators are one of the key ingredients of quantum theory. They can be constructed in two ways: via a convex sum of 'doubled kets' (i.e. mixing), and by tracing out part of a 'doubled' two-system ket (i.e. dilation). Both…
We study the Hopf algebra of double posets and two of its Hopf subalgebras, the Hopf algebras of plane posets and of posets "without N". We prove that they are free, cofree, self-dual, and we give an explicit Hopf pairing on these Hopf…
A double algebra is a linear space $V$ equipped with linear map $V\otimes V\to V\otimes V$. Additional conditions on this map lead to the notions of Lie and associative double algebras. We prove that simple finite-dimensional Lie double…
Scaffolds are certain tensors arising in the study of association schemes, and have been (implicitly) understood diagrammatically as digraphs with distinguished "root" nodes and with matrix edge weights, often taken from Bose-Mesner…