Related papers: A Note on Decomposable Maps on Operator Systems
It has been an open question as to whether the Modular Structural Operational Semantics framework can express the dynamic semantics of call/cc. This paper shows that it can, and furthermore, demonstrates that it can express the more general…
Transition systems (TS) and Petri nets (PN) are important models of computation ubiquitous in formal methods for modeling systems. An important problem is how to extract from a given TS a PN whose reachability graph is equivalent (with a…
Let $(\mathcal{M},\tau)$ and $(\mathcal{N},\tau^{\prime})$ be tracial von-Neumann algebras and let $\phi:\mathcal{M}\to\mathcal{N}$ be a strictly completely positive, trace preserving map. Given a positive, invertible $B\in\mathcal{M}$ with…
We investigate the decomposability of nonnegative compact r-potent operators on a separable Hilbert space L2(X). We provide a constructive algorithm to prove that basis functions of range spaces of nonnegative r-potent operators can be…
We use the method of atomic decomposition and a new family of Banach spaces to study the action of transfer operators associated to piecewise-defined maps. It turns out that these transfer operators are quasi-compact even when the…
We give some new characterizations of unitaries, isometries, unital operator spaces, unital function spaces, operator systems, C*-algebras, and related objects. These characterizations only employ the vector space and operator space…
Decomposition techniques for linear programming are difficult to extend to conic optimization problems with general non-polyhedral convex cones because the conic inequalities introduce an additional nonlinear coupling between the variables.…
In this article we provide necessary and sufficient conditions for a completely positive trace-preserving (CPT) map to be decomposable into a convex combination of unitary maps. Additionally, we set out to define a proper distance measure…
We give an order-theoretic characterization of the essential image of the forgetful functor from the category of real/complex unital C*-algebras to the category of real/complex unital operator systems. It is based on the characterization of…
We describe a general method to construct completely bounded idempotent mappings on operator spaces, starting from amenable semigroups of completely bounded mappings. We then explore several applications of that method to injective operator…
Let X be a set of analytic functions on the open unit disk D, and let phi be an analytic function on D such that phi(D) is contained in D and f |-> f o phi takes X into itself. We present conditions on X ensuring that if f |-> f o phi is…
We consider the vector space of $n \times n$ matrices over $\mathbb C$, Fermi operators and operators constructed from these matrices and Fermi operators. The properties of these operators are studied with respect to the underlying…
Decompositional theories describe the ways in which a global physical system can be split into subsystems, facilitating the study of how different possible partitions of a same system interplay, e.g. in terms of inclusions or signalling. In…
This paper investigates an iterative rank-one decomposition scheme for positive operators on a Hilbert space based on a residual-weighted congruence update. At each step the operator is compressed along a chosen unit vector while remaining…
In this paper we work in o-minimal structures with definable Skolem functions and show that a continuous definable map between Hausdorff locally definably compact definable spaces is definably proper if and only if it is proper morphism in…
We characterize inclusions of compact noncommutative convex sets with the property that every continuous affine function on the smaller set can be extended to a continuous affine function on the larger set with a uniform bound. As an…
We investigate some types of composition operators, linear and not, and conditions for some spaces to be mapped into themselves and for the operators to satisfy some good properties.
Geometric decomposition is a widely used tool for constructing local bases for finite element spaces. For finite element spaces of differential forms on simplicial meshes, Arnold, Falk, and Winther showed that geometric decompositions can…
We consider nonnegative r-potent matrices with finite dimensions and study their decomposability. We derive the precise conditions under which an r-potent matrix is decomposable. We further determine a general structure for the r-potent…
We discuss a new concept of definitizability of a normal operator on Krein spaces. For this new concept we develop a functional calculus $\phi \mapsto \phi(N)$ which is the proper analogue of $\phi \mapsto \int \phi \, dE$ in the Hilbert…