Related papers: Two-sorted algebraic decompositions of Brookes's s…
In this paper we propose a novel approach to discretize linear port-Hamiltonian systems while preserving the underlying structure. We present a finite element exterior calculus formulation that is able to mimetically represent conservation…
Classifying states as entangled or separable is a highly challenging task, while it is also one of the foundations of quantum information processing theory. This task is higly nontrivial even for relatively simple cases, such as two-qutrit…
Recent developments in termination analysis for declarative programs emphasize the use of appropriate models for the logical theory representing the program at stake as a generic approach to prove termination of declarative programs. In…
We study the behavior of representation varieties of quivers with relations under the operation of node splitting. We show how splitting a node gives a correspondence between certain closed subvarieties of representation varieties for…
We discuss a scenario of bipartite steering with local subsystems of the parties modeled by certain operator algebras. In particular, we formalize the notion of quantum assemblages in a commuting observables paradigm and focus on equivalent…
A new totally algebraic formalism based on general, abstract ladder operators has been proposed. This approach heavily grounds in the superoperator formalism of Primas. However it is necessary to introduce many improvements in his…
It is well-known that extending the Hilbert axiomatic system for first-order intuitionistic logic with an exclusion operator, that is dual to implication, collapses the domains of models into a constant domain. This makes it an interesting…
Extending the lambda-calculus with a construct for sharing, such as let expressions, enables a special representation of terms: iterated applications are decomposed by introducing sharing points in between any two of them, reducing to the…
This is an extended version of a talk presented by the second author on the Third Mile High Conference on Nonassociative Mathematics (August 2013, Denver, CO). The purpose of this paper is twofold. First, we would like to review the…
We consider two bivariate models with two-way interactions in context of risk and queueing theory. The two entities interact with each other by providing assistance but otherwise evolve independently. We focus on certain random quantities…
A framework to systematically decouple high order elliptic equations into combination of Poisson-type and Stokes-type equations is developed. The key is to systematically construct the underling commutative diagrams involving the complexes…
We introduce a denotational semantic framework for shared-memory concurrent programs in a C11-style memory model. This denotational approach is an alternative to techniques based on "execution graphs" and axiomatizations, and it allows for…
Generalised algebraic theories (GATs) allow multiple sorts indexed over each other. For example, the theories of categories or Martin-L{\"o}f type theories form GATs. Categories have two sorts, objects and morphisms, and the latter are…
Starting from a very general trace-form entropy, we introduce a pair of algebraic structures endowed by a generalized sum and a generalized product. These algebras form, respectively, two Abelian fields in the realm of the complex numbers…
$W$-representation realizes partition functions by an action of a cut-and-join-like operator on the vacuum state with a zero-mode background. We provide explicit formulas of this kind for $\beta$- and $q,t$-deformations of the simplest…
We consider the representation theory of the Ariki-Koike algebra, a $q$-deformation of the group algebra of the complex reflection group $C_r \wr S_n$. We define the addition of a runner full of beads for the abacus display of a…
Some effects are considered to be higher-level than others. High-level effects provide expressive and succinct abstraction of programming concepts, while low-level effects allow more fine-grained control over program execution and…
In this short review main issues related to the non-Abelian Stokes theorem have been addressed. The two principal approaches to the non-Abelian Stokes theorem, operator and two variants (coherent-state and holomorphic) of the path-integral…
Permutations of particle labels are usually used to illustrate the relationship between classical and quantum statistics. We use permutations of attributes/properties of particles to express properties of waves. We express events of the…
This article presents a concrete mathematical framework for the generation of entangled quantum states from classical stochastic processes. We demonstrate that any density operator $\rho_{AB}$ of a composite system can be derived from the…