Related papers: Real positive maps and conditional expectations on…
We discuss conditionalisation for Accept-Desirability models in an abstract decision-making framework, where uncertain rewards live in a general linear space, and events are special projection operators on that linear space. This abstract…
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.…
In this dissertation we study the category of completely positive normal contractive maps between von Neumann algebras. It includes an extensive introduction to the basic theory of $C^*$-algebras and von Neumann algebras.
We consider operators on $L^2$ spaces that expand the support of vectors in a manner controlled by some constraint function. The primary objects of study are $\mathrm C^*$-algebras that arise from suitable families of constraints, which we…
Many interesting examples of operator algebras, both self-adjoint and non-self-adjoint, can be constructed from directed graphs. In this survey, we overview the construction of $C^*$-algebras from directed graphs and from two…
Embedding discrete Markov chains into continuous ones is a famous open problem in probability theory with many applications. Inspired by recent progress, we study the closely related questions of embeddability of real and positive operators…
In this article, we define operator algebras internal to a rigid C*-tensor category $\mathcal{C}$. A C*/W*-algebra object in $\mathcal{C}$ is an algebra object $\mathbf{A}$ in $\operatorname{ind}$-$\mathcal{C}$ whose category of free…
The aim of this paper is to establish some metrical coincidence and common fixed point theorems with an arbitrary relation under an implicit contractive condition which is general enough to cover a multitude of well known contraction…
If $\H$ is a Hilbert space, $A$ is a positive bounded linear operator on $\cH$ and $\cS$ is a closed subspace of $\cH$, the relative position between $\cS$ and $A^{-1}(\cS \orto)$ establishes a notion of compatibility. We show that the…
In [BEZ] the notion of a complete one-sided M-ideal for an operator space X was introduced as a generalization of Alfsen and Effros' notion of an M-ideal for a Banach space [AE72]. In particular, various equivalent formulations of complete…
The classical Gelfand--Naimark theorems provide important insight into the structure of general and of commutative C*-algebras. It is shown that these can be generalized to certain ordered *-algebras. More precisely, for $\sigma$-bounded…
We introduce an operator system, universal for the probabilistic models of a contextuality scenario, and identify its maximal C*-cover via the right C*-algebra of a canonical ternary ring of operators, arising from a hypergraph version of…
Drawing on the classic paper by Chellas "Basic conditional logic" (1975), we propose a general algebraic framework for studying a binary operation of conditional that models universal features of the "if..., then..." connective as strictly…
The present paper is devoted to the projective positivity in the category of function systems, which plays a key role in the quantization problems of the operator systems. The main result of the paper asserts that every unital star-normed…
We consider some multivariate rational functions which have (or are conjectured to have) only positive coefficients in their series expansion. We consider an operator that preserves positivity of series coefficients, and apply the inverse…
We generalize a preceding simple proof of the Jamiolkowski criterion to check whether a given linear map between algebras of operators is completely positive or not. The generalization is performed to embrace all algebras of Hilbert-Schmidt…
A left ideal of any $C^*$-algebra is an example of an operator algebra with a right contractive approximate identity (r.c.a.i.). Indeed left ideals in $C^*$-algebras may be characterized as the class of such operator algebras, which happen…
We initiate the study of computable presentations of real and complex C*-algebras under the program of effective metric structure theory. With the group situation as a model, we develop corresponding notions of recursive presentations and…
Let $X$ be a locally compact Hausdorff space, let $A$ be a partially ordered algebra, and let $\pi\colon \mathrm{C}_{\mathrm c}(X)\to A$ be a positive algebra homomorphism. Under conditions on $A$ that are satisfied in a good number of…
We prove a noncommutative variant of Saskin's classical theorem -- on the connection between Choquet boundaries for function spaces and Korovkin sets -- for operator systems generating separable Type I C*-algebras. The main result implies…