Stinespring Dilation Research Articles

Generalized orthogonal measures on the space of unital completely positive maps

Abstract A classical result by Effros connects the barycentric decomposition of a state on a C*-algebra to the disintegration theory of the GNS representation of the state with respect to an orthogonal measure on the state space of the C*-algebra. In this note, we take this approach to the space of unital completely positive maps on a C*-algebra with values in B ⁢ ( H ) {B(H)} , connecting the barycentric decomposition of the unital completely positive map and the disintegration theory of the minimal Stinespring dilation of the same. This generalizes Effros’ work in the non-commutative setting. We do this by introducing a special class of barycentric measures which we call generalized orthogonal measures. We end this note by mentioning some examples of generalized orthogonal measures.

Dilation, discrimination and Uhlmann’s theorem of link products of quantum channels

We establish the Stinespring dilation theorem of the link product of quantum channels in two different ways, discuss the discrimination of quantum channels, and show that the distinguishability can be improved by self-linking each quantum channel n times as n grows. We also find that the maximum value of Uhlmann’s theorem can be achieved for diagonal channels.

Quantum simulation of nonequilibrium dynamics and thermalization in the Schwinger model

We present simulations of nonequilibrium dynamics of quantum field theories on digital quantum computers. As a representative example, we consider the Schwinger model, a ($1+1$)-dimensional U(1) gauge theory, coupled through a Yukawa-type interaction to a thermal environment described by a scalar field theory. We use the Hamiltonian formulation of the Schwinger model discretized on a spatial lattice. With the thermal scalar fields traced out, the Schwinger model can be treated as an open quantum system and its real-time dynamics are governed by a Lindblad equation in the Markovian limit. The interaction with the environment ultimately drives the system to thermal equilibrium. In the quantum Brownian motion limit, the Lindblad equation is related to a field theoretical Caldeira-Leggett equation. By using the Stinespring dilation theorem with ancillary qubits, we perform studies of both the nonequilibrium dynamics and the preparation of a thermal state in the Schwinger model using IBM's simulator and quantum devices. The real-time dynamics of field theories as open quantum systems and the thermal state preparation studied here are relevant for a variety of applications in nuclear and particle physics, quantum information and cosmology.

Covariant Ergodic Quantum Markov Semigroups via Systems of Imprimitivity

We construct relativistic quantum Markov semigroups from covariant completely positive maps. We proceed by generalizing a step in Stinespring's dilation to a general system of imprimitivity and basing it on Poincare group. The resulting noise channels are relativistically consistent and the method is applicable to any fundamental particle, though we demonstrate it for the case of light-like particles. The Krauss decomposition of the relativistically consistent completely positive identity preserving maps (our set up is in Heisenberg picture) enables us to construct the covariant quantum Markov semigroups that are uniformly continuous. We induce representations from the little groups to ensure the quantum Markov semigroups that are ergodic due to transitive systems imprimitivity.

Bennett and Stinespring, Together at Last

We present a universal construction that relates reversible dynamics on open systems to arbitrary dynamics on closed systems: the restriction affine completion of a monoidal restriction category quotiented by well-pointedness. This categorical completion encompasses both quantum channels, via Stinespring dilation, and classical computing, via Bennett's method. Moreover, in these two cases, we show how our construction can be essentially 'undone' by a further universal construction. This shows how both mixed quantum theory and classical computation rest on entirely reversible foundations.

Quantum operations in an information theory for fermions

A reasonable quantum information theory for fermions must respect the parity super-selection rule to comply with the special theory of relativity and the no-signaling principle. This rule restricts the possibility of any quantum state to have a superposition between even and odd parity fermionic states. It thereby characterizes the set of physically allowed fermionic quantum states. Here we introduce the physically allowed quantum operations, in congruence with the parity super-selection rule, that map the set of allowed fermionic states onto itself. We first introduce unitary and projective measurement operations of the fermionic states. We further extend the formalism to general quantum operations in the forms of Stinespring dilation, operator-sum representation, and axiomatic completely-positive-trace-preserving maps. We explicitly show the equivalence between these three representations of fermionic quantum operations. We discuss the possible implications of our results in characterization of correlations in fermionic systems.

Extensions and dilations of module maps

We study completely positive module maps on C*-algebras which are C*-module over another C*-algebra with compatible actions. We extend several well known dilation and extension results to this setup, including the Stinespring dilation theorem and Wittstock, Arveson, and Voiculescu extension theorems.

Dilation theory for right LCM semigroup dynamical systems

This paper examines actions of right LCM semigroups by endomorphisms of C*-algebras that encode an additional structure of the right LCM semigroup. We define contractive covariant representations for these semigroup dynamical systems and prove a generalized Stinespring's dilation theorem showing that these representations can be dilated if and only if the map on the C⁎-algebra is unital and completely positive. This generalizes earlier results about dilations of right LCM semigroups of contractions. In addition, we also give sufficient conditions under which a contractive covariant representation of a right LCM system can be dilated to an isometric representation of the boundary quotient.

Strong convergence of quantum channels: Continuity of the Stinespring dilation and discontinuity of the unitary dilation

It is shown that a sequence {Φn} of quantum channels strongly converges to a quantum channel Φ0 if and only if there exist a common environment for all the channels and a corresponding sequence {Vn} of Stinespring isometries strongly converging to a Stinespring isometry V0 of the channel Φ0. A quantitative description of the above characterization of the strong convergence in terms of appropriate metrics on the sets of quantum channels and Stinespring isometries is given. As a result, the uniform selective continuity of the complementary operation with respect to the strong convergence is established. The discontinuity of the unitary dilation is shown by constructing a strongly converging sequence of quantum channels that cannot be represented as a reduction of a strongly converging sequence of unitary channels. The Stinespring representation of strongly converging sequences of quantum channels allows us to prove the lower semicontinuity of the entropic disturbance as a function of a pair (channel, input ensemble). Some corollaries of this property are considered.

A quantum algorithm for evolving open quantum dynamics on quantum computing devices

Designing quantum algorithms for simulating quantum systems has seen enormous progress, yet few studies have been done to develop quantum algorithms for open quantum dynamics despite its importance in modeling the system-environment interaction found in most realistic physical models. In this work we propose and demonstrate a general quantum algorithm to evolve open quantum dynamics on quantum computing devices. The Kraus operators governing the time evolution can be converted into unitary matrices with minimal dilation guaranteed by the Sz.-Nagy theorem. This allows the evolution of the initial state through unitary quantum gates, while using significantly less resource than required by the conventional Stinespring dilation. We demonstrate the algorithm on an amplitude damping channel using the IBM Qiskit quantum simulator and the IBM Q 5 Tenerife quantum device. The proposed algorithm does not require particular models of dynamics or decomposition of the quantum channel, and thus can be easily generalized to other open quantum dynamical models.

Stochastic thermodynamics with arbitrary interventions.

We extend the theory of stochastic thermodynamics in three directions: (i) instead of a continuously monitored system we consider measurements only at an arbitrary set of discrete times, (ii) we allow for imperfect measurements and incomplete information in the description, and (iii) we treat arbitrary manipulations (e.g., feedback control operations) which are allowed to depend on the entire measurement record. For this purpose we define for a driven system in contact with a single heat bath the four key thermodynamic quantities-internal energy, heat, work, and entropy-along a single "trajectory" for a causal model. The first law at the trajectory level and the second law on average is verified. We highlight the special case of Bayesian or "bare" measurements (incomplete information, but no average disturbance) which allows us to compare our theory with the literature and to derive a general inequality for the estimated free energy difference in Jarzynski-type experiments. An analysis of a recent Maxwell demon experiment using real-time feedback control is also given. As a mathematical tool, we prove a classical version of Stinespring's dilation theorem, which might be of independent interest.

A strengthened data processing inequality for the Belavkin–Staszewski relative entropy

In this work, we provide a strengthening of the data processing inequality for the relative entropy introduced by Belavkin and Staszewski (BS-entropy). This extends previous results by Carlen and Vershynina for the relative entropy and other standard [Formula: see text]-divergences. To this end, we provide two new equivalent conditions for the equality case of the data processing inequality for the BS-entropy. Subsequently, we extend our result to a larger class of maximal [Formula: see text]-divergences. Here, we first focus on quantum channels which are conditional expectations onto subalgebras and use the Stinespring dilation to lift our results to arbitrary quantum channels.

Fock majorization in bosonic quantum channels with a passive environment

We introduce a class of quantum channels called passive-environment bosonic channels. These channels are relevant from a quantum thermodynamical viewpoint because they correspond to the energy-preserving linear coupling of a bosonic system with a bosonic environment that is in a passive state (no energy can be extracted from it with a unitary transformation) followed by discarding the environment. The Fock-majorization relation defined in Jabbour et al (2016 New J. Phys. 18 073047) happens to be particularly useful in this context as, unlike regular majorization, it connects the disorder of a state together with its energy. Our main result here is the preservation of Fock-majorization across all passive-environment bosonic channels. This implies a similar preservation for regular majorization over the set of passive states, and also extends to the passive-environment bosonic channels whose Stinespring dilation involves an active Gaussian unitary. Beyond bosonic systems, the class of passive-environment operations as defined here naturally generalizes the set of thermal operations and is expected to provide new insights into the thermodynamics of quantum systems.

All phase-space linear bosonic channels are approximately Gaussian dilatable

We compare two sets of multimode quantum channels acting on a finite collection of harmonic oscillators: (a) the set of linear bosonic channels, whose action is described as a linear transformation at the phase space level; and (b) Gaussian dilatable channels, that admit a Stinespring dilation involving a Gaussian unitary. Our main result is that the set (a) coincides with the closure of (b) with respect to the strong operator topology. We also present an example of a channel in (a) which is not in (b), implying that taking the closure is in general necessary. This provides a complete resolution to the conjecture posed in Sabapathy and Winter (2017 Phys. Rev. A 95 062309). Our proof technique is constructive, and yields an explicit procedure to approximate a given linear bosonic channel by means of Gaussian dilations. It turns out that all linear bosonic channels can be approximated by a Gaussian dilation using an ancilla with the same number of modes as the system. We also provide an alternative dilation where the unitary is fixed in the approximating procedure. Our results apply to a wide range of physically relevant channels, including all Gaussian channels such as amplifiers, attenuators, phase conjugators, and also non-Gaussian channels such as additive noise channels and photon-added Gaussian channels. The method also provides a clear demarcation of the role of Gaussian and non-Gaussian resources in the context of linear bosonic channels. Finally, we also obtain independent proofs of classical results such as the quantum Bochner theorem, and develop some tools to deal with convergence of sequences of quantum channels on continuous variable systems that may be of independent interest.

Interpreting quantum coherence through a quantum measurement process

Recently, there has been a renewed interest in the quantification of coherence or other coherence-like concepts within the framework of quantum resource theory. However, rigorously defined or not, the notion of coherence or decoherence has already been used by the community for decades since the advent of quantum theory. Intuitively, the definitions of coherence and decoherence should be the two sides of the same coin. Therefore, a natural question is raised: how can the conventional decoherence processes, such as the von Neumann-L\"{u}ders (projective) measurement postulation or partially dephasing channels, fit into the bigger picture of the recently established theoretic framework? Here we show that the state collapse rules of the von Neumann or L\"{u}ders-type measurements, as special cases of genuinely incoherent operations (GIO), are consistent with the resource theories of quantum coherence. New hierarchical measures of coherence are proposed for the L\"{u}ders-type measurement and their relationship with measurement-dependent discord is addressed. Moreover, utilizing the fixed point theory for $C^\ast$-algebra, we prove that GIO indeed represent a particular type of partially dephasing (phase-damping) channels which have a matrix representation based on the Schur product. By virtue of the Stinespring's dilation theorem, the physical realizations of incoherent operations are investigated in detail and we find that GIO in fact constitute the core of strictly incoherent operations (SIO) and generally incoherent operations (IO) and the unspeakable notion of coherence induced by GIO can be transferred to the theories of speakable coherence by the corresponding permutation or relabeling operators.

Operator Algebras in Rigid C*-Tensor Categories

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 modules ${\sf FreeMod}_{\mathcal{C}}(\mathbf{A})$ is a $\mathcal{C}$-module C*/W*-category respectively. When $\mathcal{C}={\sf Hilb_{f.d.}}$, the category of finite dimensional Hilbert spaces, we recover the usual notions of operator algebras. We generalize basic representation theoretic results, such as the Gelfand-Naimark and von Neumann bicommutant theorems, along with the GNS construction. We define the notion of completely positive maps between C*-algebra objects in $\mathcal{C}$ and prove the analog of the Stinespring dilation theorem. As an application, we discuss approximation and rigidity properties, including amenability, the Haagerup property, and property (T) for a connected W*-algebra $\mathbf{M}$ in $\mathcal{C}$. Our definitions simultaneously unify the definitions of analytic properties for discrete quantum groups and rigid C*-tensor categories.

Minimal normal measurement models of quantum instruments

In this work, we study the minimal normal measurement models of quantum instruments. We show that usually the apparatus' Hilbert space in such a model is unitarily isomorphic to the minimal Stinespring dilation space of the instrument.However, if the Hilbert space of the system is infinite dimensional and the multiplicities of the outcomes of the associated observable (POVM) are all infinite then this may not be the case. In these pathological cases, the minimal apparatus' Hilbert space is shown to be unitarily isomorphic to the instrument's minimal dilation space augmented by one extra dimension. We also point out errors in earlier papers of one of the authors (J-P.P.).

On bipartite unitary matrices generating subalgebra-preserving quantum operations

We study the structure of bipartite unitary operators which generate via the Stinespring dilation theorem, quantum operations preserving some given matrix algebra, independently of the ancilla state. We characterize completely the unitary operators preserving diagonal, block-diagonal, and tensor product algebras. Some unexpected connections with the theory of quantum Latin squares are explored, and we introduce and study a Sinkhorn-like algorithm used to randomly generate quantum Latin squares.

Paschke Dilations

In 1973 Paschke defined a factorization for completely positive maps between C*-algebras. In this paper we show that for normal maps between von Neumann algebras, this factorization has a universal property, and coincides with Stinespring's dilation for normal maps into B(H).

On some classes of bipartite unitary operators

We investigate unitary operators acting on a tensor product space, with the property that the quantum channels they generate, via the Stinespring dilation theorem, are of a particular type, independently of the state of the ancilla system in the Stinespring relation. The types of quantum channels we consider are those of interest in quantum information theory: unitary conjugations, constant channels, unital channels, mixed unitary channels, positive partial transpose channels, and entanglement breaking channels. For some of the classes of bipartite unitary operators corresponding to the above types of channels, we provide explicit characterizations, necessary and/or sufficient conditions for membership, and we compute the dimension of the corresponding algebraic variety. Inclusions between these classes are considered, and we show that for small dimensions, many of these sets are identical.