Related papers: A Note on Decomposable Maps on Operator Systems

Let E_n={x_i=1, x_i+x_j=x_k, x_i*x_j=x_k: i,j,k \in {1,...,n}}. We prove: (1) there is an algorithm that for every computable function f:N-->N returns a positive integer m(f), for which a second algorithm accepts on the input f and any…

We examine k-minimal and k-maximal operator spaces and operator systems, and investigate their relationships with the separability problem in quantum information theory. We show that the matrix norms that define the k-minimal operator…

Two kinds of maps that describe evolution of states of a subsystem coming from dynamics described by a unitary operator for a larger system, maps defined for fixed mean values and maps defined for fixed correlations, are found to be quite…

This paper applies the Thomas decomposition technique to nonlinear control systems, in particular to the study of the dependence of the system behavior on parameters. Thomas' algorithm is a symbolic method which splits a given system of…

We give a direct tensor decomposition for any density matrix into Hermitian operators. Based upon the decomposition we study when the mixed states are separable and generalize the separability indicators to multi-partite states and show…

A parametrization of multipartite separable states in a finite-dimensional Hilbert space is suggested. It is proved to be a diffeomorphism between the set of zero-trace operators and the interior of the set of separable density operators.…

In this paper, we investigate the mapping properties of pseudo-differential operators with operator-valued symbols. Thanks to the smooth atomic decomposition of the operator-valued Triebel-Lizorkin spaces…

Let $(E,\mathcal E,\mu)$ be a measure space and $G\colon E\times E\to [0,\infty]$ be measurable. Moreover, let $\mathcal F\!_{ui}$ denote the set of all $q\in\mathcal E^+$ (measurable numerical functions $q\ge 0$ on $E$) such that…

We give conditions when not necessarily adjointable operators between Hilbert modules allow for a polar decomposition involving not necessarily adjointable partial isometries. While the latter have been introduced and discussed by Shalit…

In this paper we consider the cone of all positive, bounded operators acting on an infinite dimensional, complex Hilbert space, and examine bijective maps that preserve absolute continuity in both directions. It turns out that these maps…

A map is bi-orientable if it admits an assignment of local orientations to its vertices such that for every edge, the local orientations at its two endpoints are opposite. Such an assignment is called a bi-orientation of the map. A…

This work provides a systematic study of the variational properties of decomposable functions which are compositions of an outer support function and an inner smooth mapping under certain constraint qualifications. A particular focus is put…

The composition of the Fourier transform in $\mathbb{R}^n$ with a suitable pseudodifferential operator is called a Fourier operator. It is compact in appropriate function spaces. The paper deals with its spectral theory. This is based on…

An $n$-valued map is a set-valued continuous function $f$ such that $f(x)$ has cardinality $n$ for every $x$. Some $n$-valued maps will "split" into a union of $n$ single-valued maps. Characterizations of splittings has been a major theme…

We recall the notion of a differential operator over a smooth map (in linear and non-linear settings) and consider its versions such as formal $\hbar$-differential operators over a map. We study constructions and examples of such operators,…

For linear operators which factor with suitable assumptions concerning commutativity of the factors, we introduce several notions of a decomposition. When any of these hold then questions of null space and range are subordinated to the same…

It was shown in arXiv:0906.2527, that in finite-dimensional Hilbert spaces each operator system corresponds to some channel, for which this operator system will be an operator graph. This work is devoted to finding necessary and sufficient…

We give $\operatorname{CMSO}$-transductions that, given a graph $G$, output its modular decomposition, its split decomposition and its bi-join decomposition. This improves results by Courcelle [Logical Methods in Computer Science, 2006] who…

A partial description of the structure of positive unital maps $\phi: M_2(\bC) \to M_{n+1}(\bC)$ ($n\geq 2$) is given.

We analyze semigroups of decomposable maps on C*-algebras in context of the algebraic structure of associated infinitesimal generators. Case of von Neumann algebras, including $B(\mathcal{H})$ for $\mathcal{H}$ a Hilbert space, is also…