Related papers: Two-sorted algebraic decompositions of Brookes's s…
We provide a visual and intuitive introduction to effectively calculating in 2-groups along with explicit examples coming from non-abelian 1- and 2-form gauge theory. In particular, we utilize string diagrams, tools similar to tensor…
Our goal is to define an algebraic language for reasoning about non-deterministic computations. Towards this goal, we introduce an algebra of string-to-string transductions. Specifically, it is an algebra of partial functions on words over…
We present a modular semantic account of Bayesian inference algorithms for probabilistic programming languages, as used in data science and machine learning. Sophisticated inference algorithms are often explained in terms of composition of…
In sorting literature, comparative statics for multidimensional assignment models with general output functions and input distributions is an important open question. We provide a complete theory of comparative statics for technological…
A $q$-deformed Weyl-Heisenberg algebra is used to define a deformed displacement operator giving rise to a naturally normalized nonlinear coherent states type. Robust maximally entangled deformed coherent states are studied and the effect…
In the paper, we define the notion of a state BCK-algebra and a state-morphism BCK-algebra extending the language of BCK-algebras by adding a unary operator which models probabilistic reasoning. We present a relation between state operators…
The modelling, specification and study of the semantics of concurrent reactive systems have been interesting research topics for many years now. The aim of this thesis is to exploit the strengths of the (co)algebraic framework in modelling…
A long-term research proposal on the algebraic structure, the representations and the possible applications of paraparticle algebras is structured in three modules: The first part stems from an attempt to classify the inequivalent gradings…
Algebraic effects offer a versatile framework that covers a wide variety of effects. However, the family of operations that delimit scopes are not algebraic and are usually modelled as handlers, thus preventing them from being used freely…
This article provides an algebraic study of intermediate inquisitive and dependence logics. While these logics are usually investigated using team semantics, here we introduce an alternative algebraic semantics and we prove it is complete…
We introduce semiframes (an algebraic structure) and investigate their duality with semitopologies (a topological one). Both semitopologies and semiframes are relatively recent developments, arising from a novel application of topological…
We represent a two-qubit density matrix in the basis of Pauli matrix tensor products, with the coefficients constituting a Bloch matrix, analogous to the single qubit Bloch vector. We find the quantum state positivity requirements on the…
Results of Haagerup and Schultz (2009) about existence of invariant subspaces that decompose the Brown measure are extended to a large class of unbounded operators affiliated to a tracial von Neumann algebra. These subspaces are used to…
The Heisenberg algebra is first deformed with the set of parameters ${q, l, \lambda}$ to generate a new family of generalized coherent states. In this framework, the matrix elements of relevant operators are exactly computed. A proof on…
There are two kinds of splittings of operations, namely, the classical splitting which is interpreted operadically as taking successors and another splitting which we call the second splitting giving the anti-structures of the successors'…
Pseudo-effect algebras are partial algebraic structures, that were introduced as a non-commutative generalization of effect algebras. In the present paper, lattice ordered pseudo-effect algebras are considered as possible algebraic…
Reduced density matrices are a powerful tool in the analysis of entanglement structure, approximate or coarse-grained dynamics, decoherence, and the emergence of classicality. It is straightforward to produce a reduced density matrix with…
I argue that the marquis characteristics of the quantum-mechanical double-slit experiment (point detection, random distribution, Born rule) can be explained using Schroedinger's equation alone, if one takes into account that, for any atom…
In this note we give two proofs of Brooks' Theorem. The first is obtained by modifying an earlier proof and the second by combining two earlier proofs. We believe these proofs are easier to teach in Computer Science courses.
A deformed boson algebra is naturally introduced from studying quantum mechanics on noncommutative phase space in which both positions and momenta are noncommuting each other. Based on this algebra, corresponding intrinsic noncommutative…