Stinespring Dilation Research Articles

Hilbert von Neumann modules

We introduce a way of regarding Hilbert von Neumann modules as spaces of operators between Hilbert space, not unlike [Skei], but in an apparently much simpler manner and involving far less machinery. We verify that our definition is equivalent to that of [Skei], by verifying the `Riesz lemma' or what is called `self-duality' in [Skei]. An advantage with our approach is that we can totally side-step the need to go through $C^*$-modules and avoid the two stages of completion - first in norm, then in the strong operator topology - involved in the former approach. We establish the analogue of the Stinespring dilation theorem for Hilbert von Neumann bimodules, and we develop our version of `internal tensor products' which we refer to as Connes fusion for obvious reasons. In our discussion of examples, we examine the bimodules arising from automorphisms of von Neumann algebras, verify that fusion of bimodules corresponds to composition of automorphisms in this case, and that the isomorphism class of such a bimodule depends only on the inner conjugacy class of the automorphism. We also relate Jones' basic construction to the Stinespring dilation associated to the conditional expectation onto a finite-index inclusion (by invoking the uniqueness assertion regarding the latter).

A continuity theorem for Stinespring's dilation

We show a continuity theorem for Stinespring's dilation: two completely positive maps between arbitrary C ∗-algebras are close in cb-norm if and only if we can find corresponding dilations that are close in operator norm. The proof establishes the equivalence of the cb-norm distance and the Bures distance for completely positive maps. We briefly discuss applications to quantum information theory.

The Information-Disturbance Tradeoff and the Continuity of Stinespring's Representation

Stinespring's dilation theorem is the basic structure theorem for quantum channels: it states that any quantum channel arises from a unitary evolution on a larger system. Here we prove a continuity theorem for Stinespring's dilation: if two quantum channels are close in cb-norm, then it is always possible to find unitary implementations which are close in operator norm, with dimension-independent bounds. This result generalizes Uhlmann's theorem from states to channels and allows to derive a formulation of the information-disturbance tradeoff in terms of quantum channels, as well as a continuity estimate for the no-broadcasting theorem. We briefly discuss further implications for quantum cryptography, thermalization processes, and the black hole information loss puzzle.

Reexamination of quantum bit commitment: The possible and the impossible

Bit commitment protocols whose security is based on the laws of quantum mechanics alone are generally held to be impossible. We give a strengthened and explicit proof of this result. We extend its scope to a much larger variety of protocols, which may have an arbitrary number of rounds, in which both classical and quantum information is exchanged, and which may include aborts and resets. Moreover, we do not consider the receiver to be bound to a fixed ``honest'' strategy, so that ``anonymous state protocols,'' which were recently suggested as a possible way to beat the known no-go results, are also covered. We show that any concealing protocol allows the sender to find a cheating strategy, which is universal in the sense that it works against any strategy of the receiver. Moreover, if the concealing property holds only approximately, the cheat goes undetected with a high probability, which we explicitly estimate. The proof uses an explicit formalization of general two-party protocols, which is applicable to more general situations, and an estimate about the continuity of the Stinespring dilation of a general quantum channel. The result also provides a natural characterization of protocols that fall outside the standard setting of unlimited available technology and thus may allow secure bit commitment. We present such a protocol whose security, perhaps surprisingly, relies on decoherence in the receiver's laboratory.

Hilbert [formula omitted]-modules and projective representations associated with multipliers

In this paper we consider projective σ-representations and give the dilations associated with the representations. To unify the various representation theorem, we use the Kolmogorov decompositions for positive definite kernels. We present dilation theorems for projective σ-representations, which generalize Stinespring dilation theorem for covariant completely positive maps as well as Naimark–Sz.-Nagy characterization of positive definite functions. We also construct a representation of a right Hilbert C ∗ -module for a strictly U-covariant and completely positive map.

Remarks on Additivity of the Holevo Channel Capacity and of the Entanglement of Formation

The purpose of these notes is to discuss the relation between the additivity questions regarding the quantities (Holevo) capacity of a quantum channel T and entanglement of formation of a given bipartite state. In particular, using the Stinespring dilation theorem, we give a formula for the channel capacity involving entanglement of formation. This can be used to show that additivity of the latter for some states can be inferred from the additivity of capacity for certain channels. We demonstrate this connection for a family of group--covariant channels, allowing us to calculate the entanglement cost for many states, including some where a strictly smaller upper bound on the distillable entanglement is known. Group symmetry is used for more sophisticated analysis, giving formulas valid for a class of channels. This is presented in a general framework, extending recent findings of Vidal, Dur and Cirac (e-print quant-ph/0112131). We speculate on a general relation of superadditivity of the entanglement of formation, which would imply both the general additivity of this function under tensor products and of the Holevo capacity (with or without linear cost constraints).

Stinespring representability and Kadison’s Schwarz inequality in non-unital Banach star algebras and applications

A completely positive operator valued linear map ϕ on a (not necessarily unital) Banach *-algebra with continuous involution admits minimal Stinespring dilation iff for some scalark > 0, ϕ(x)*ϕ(x) ≤ kϕ(x*x) for allx iff ϕ is hermitian and satisfies Kadison’s Schwarz inequality ϕ(h) 2 ≤ kϕ(h 2) for all hermitianh iff ϕ extends as a completely positive map on the unitizationA e of A. A similar result holds for positive linear maps. These provide operator state analogues of the corresponding well-known results for representable positive functionals. Further, they are used to discuss (a) automatic Stinespring representability in Banach *-algebras, (b) operator valued analogue of Bochner-Weil-Raikov integral representation theorem, (c) operator valued analogue of the classical Bochner theorem in locally compact abelian groupG, and (d) extendability of completely positive maps from *-subalgebras. Evans’ result on Stinespring respresentability in the presence of bounded approximate identity (BAI) is deduced. A number of examples of Banach *-algebras without BAI are discussed to illustrate above results.