We consider the tensor product of the completely depolarising channel on d × d matrices with the map of Schur multiplication by a k × k correlation matrix and characterise, via matrix theory methods, when such a map is a mixed (random) unitary channel. When d = 1, this recovers a result of O’Meara and Pereira and for larger d, is equivalent to a result of Haagerup and Musat that was originally obtained via the theory of factorisation through von Neumann algebras. We obtain a bound on the distance between a given correlation matrix for which this tensor product is nearly mixed unitary and a correlation matrix for which such a map is exactly mixed unitary. This bound allows us to give an elementary proof of another result of Haagerup and Musat about the closure of such correlation matrices without appealing to the theory of von Neumann algebras.
We consider the tensor product of the completely depolarising channel on d × d matrices with the map of Schur multiplication by a k × k correlation matrix and characterise, via matrix theory methods, when such a map is a mixed (random) unitary channel. When d = 1, this recovers a result of O’Meara and Pereira and for larger d, is equivalent to a result of Haagerup and Musat that was originally obtained via the theory of factorisation through von Neumann algebras. We obtain a bound on the distance between a given correlation matrix for which this tensor product is nearly mixed unitary and a correlation matrix for which such a map is exactly mixed unitary. This bound allows us to give an elementary proof of another result of Haagerup and Musat about the closure of such correlation matrices without appealing to the theory of von Neumann algebras.
It is established that both discrete and continuous semigroups of unital quantum channels are eventually mixed unitary. This result is novel even for the subclass of Schur maps and stands in sharp contrast to the resolution of the asymptotic quantum Birkhoff conjecture by Haagerup and Musat, who demonstrated that tensor powers of some unital quantum channels maintain a persistent positive distance from the set of mixed unitary channels. Remarkably, our results show that this gap vanishes in finite time when considering ordinary powers within a semigroup. Building on this, we define the mixed unitary index of a unital quantum channel as the minimum time (or power) beyond which all subsequent maps become mixed unitary. We demonstrate that for any fixed dimension d≥3, there is no universal upper bound for this index. Furthermore, we observe that if a continuous semigroup is not mixed unitary at some t>0, it remains non-mixed unitary for all t sufficiently close to the origin. Finally, we investigate quantum dynamical semigroups where mixed unitarity is restricted to specific families, such as Weyl or diagonal unitaries. We show that Schur semigroups of correlation matrices eventually become mixtures of rank-one correlation matrices, and we characterize the generators of Schur semigroups that remain within this set for all t≥0.
Abstract We establish an operator algebra generalization of Watrous’ theorem (Watrous 2009 Quantum Inf. Comput. 9 403–413) on mixing unital quantum channels (completely positive trace-preserving maps) with the completely depolarizing channel, wherein the more general objects of focus become (finite-dimensional) von Neumann algebras, the unique trace preserving conditional expectation onto the algebra, the group of unitary operators in the commutant of the algebra, and the fixed point algebra of the channel. As an application, we obtain a result on the asymptotic theory of quantum channels, showing that all unital channels are eventually mixed unitary. We also discuss the special case of the diagonal algebra in detail, and draw connections to the theory of correlation matrices and Schur product maps.
A quantum channel can always be implemented by a unitary interaction with an environment that starts in a pure state. With a finite, maximally mixed environment, the implementable channels are the noisy operations. A tracial von Neumann algebra as environment gives the factorizable channels, and by a theorem of Haagerup and Musat combined with MIP* = RE, some of these lie outside the closure of the noisy operations. Version 1.0 of this record wrote down explicit rational channels of this kind, with no value for their distance from the closure. This version gives explicit lower bounds. Using Wang and Zhi's dimension-uniform reflection estimate, it constructs a factorizable unital channel on twelve qubits with Kraus entries in {0, 1, ±3/5, 4/5}, whose normalized Choi and diamond distances from the closure are at least 2^-(2J+50), with J = 2^(2^1122000). The bound comes from a compiler theorem: group relations that are rigid uniformly in the matrix dimension give a rational channel with an explicit distance bound. For the channels of version 1.0, a new spectral certificate for the root groups of their presentation gives explicit gaps: 2^-(2J+41) for the fifteen-qubit channel and its two variants and, by the bound of version 1.0, 2^-(2J+36) in Choi distance and 2^-(2J+21) in diamond distance for the fully referenced channel. The numbers are tiny because Wang and Zhi's tolerance is 2^-J. The results depend on recent preprints of Wang and Zhi, Thom, and Alekseev, Liu and Thom, which are not yet refereed. This archive includes the paper, the channel data, the certificates, and programs that rebuild and check them; python verify_all.py ends with OK ALL.
In this paper, we compute the exact values of the minimum output entropy and the completely bounded minimal entropy of very large classes of quantum channels acting on matrix algebras Mn. Our new and simple approach relies on the theory of locally compact quantum groups and our results use a new and precise description of bounded Fourier multipliers from L1(G) into Lp(G) for 1<p≤∞ where G is a co-amenable locally compact quantum group and on the automatic completely boundedness of these multipliers that this description entails. Indeed, our approach even allows to use convolution operators on quantum hypergroups. This enable us to connect equally the topic of computation of entropies and capacities to subfactor planar algebras. We also give a upper bound of the classical capacity of each considered quantum channel which is already sharp in the commutative case. Quite surprisingly, we observe by direct computations that some Fourier multipliers identifies to direct sums of classical examples of quantum channels (as dephasing channel or depolarizing channels). Indeed, we show that the study of unital qubit channels can be seen as a part of the theory of Fourier multipliers on the von Neumann algebra of the quaternion group Q8. Unexpectedly, we also connect ergodic actions of (quantum) groups to this topic of computation, allowing some transference to other channels. We also connect the Quantum Harmonic analysis of Werner. Finally, we investigate entangling breaking and PPT Fourier multipliers and we characterize conditional expectations which are entangling breaking.
Building on recent works that investigate positivity preserving matrix products, we {examine} the class of \JCP (\jcp) matrix products. A bilinear map on the Cartesian product of the space of n by n matrices with itself into m by m matrices is a \jcp matrix product if the natural linear map it induces on the tensor product of the space of n by n matrices with itself into m by m matrices is completely positive. In particular, a matrix product is \jcp if and only if its naturally associated Choi matrix is positive semidefinite. Similarly, a matrix product is \jcp if and only if it admits a Choi-Kraus representation. We use the Choi-Kraus representation of \jcp matrix products to study various basic properties, including positivity lower bounds, commutativity, units, causality, and separability. As examples, we apply our results to the Schur (Hadamard) product and the convolution product.
We will consider completely positive maps defined on tensor products of von Neumann algebras and taking values in the algebra of bounded operators on a Hilbert space and particularly certain convex subsets of the set of such maps. We show that when one of the marginal maps of such a map is an extreme point, then the marginals uniquely determine the map. We will further prove that when both of the marginals are extreme, then the whole map is extreme. We show that this general result is the common source of several well-known results dealing with, e.g., jointly measurable observables. We also obtain new insight especially in the realm of quantum instruments and their marginal observables and channels.