For all p > 1, we demonstrate the existence of quantum channels with non-multiplicative maximal output p-norms. Equivalently, for all p >1, the minimum output Renyi entropy of order p of a quantum channel is not additive. The violations found are large; in all cases, the minimum output Renyi entropy of order p for a product channel need not be significantly greater than the minimum output entropy of its individual factors. Since p=1 corresponds to the von Neumann entropy, these counterexamples demonstrate that if the additivity conjecture of quantum information theory is true, it cannot be proved as a consequence of any channel-independent guarantee of maximal p-norm multiplicativity. We also show that a class of channels previously studied in the context of approximate encryption lead to counterexamples for all p > 2.
We consider the maximal p-norm associated with a completely positive map and the question of its multiplicativity under tensor products. We give a condition under which this multiplicativity holds when p = 2, and we describe some maps which satisfy our condition. This class includes maps for which multiplicativity is known to fail for large p. Our work raises some questions of independent interest in matrix theory; these are discussed in two appendices.
For all 1 < p < 2, we demonstrate the existence of quantum channels with non-multiplicative maximal p-norms. Equivalently, the minimum output Renyi entropy of order p of a quantum channel is not additive for all 1 < p < 2. The violations found are large. As p approaches 1, the minimum output Renyi entropy of order p for a product channel need not be significantly greater than the minimum output entropy of its individual factors. Since p=1 corresponds to the von Neumann entropy, these counterexamples demonstrate that if the additivity conjecture of quantum information theory is true, it cannot …
We study the multiplicativity of the output 2-norm for depolarized Werner-Holevo channels and show that multiplicativity holds for a product of two identical channels in this class. Moreover, it shown that the depolarized Werner-Holevo channels do not satisfy the entrywise positivity condition introduced by C. King and M.B. Ruskai, which suggests that the main result is non-trivial.
Recently, King and Ruskai [1] conjectured that the maximal p-norm of the Werner--Holevo channel is multiplicative for all $1\le p \le 2$. In this paper we prove this conjecture. Our proof relies on certain convexity and monotonicity properties of the p--norm.
A problem in quantum information theory that has received considerable attention in recent years is the question of multiplicativity of the so-called maximal output purity (MOP) of a quantum channel. This quantity is defined as the maximum value of the purity one can get at the output of a channel by varying over all physical input states, when purity is measured by the Schatten $q$-norm, and is denoted by $ν_q$. The multiplicativity problem is the question whether two channels used in parallel have a combined $ν_q$ that is the product of the $ν_q$ of the two channels. A positive answer would …
We address the question of the multiplicativity of the maximal p-norm output purities of bosonic Gaussian channels under Gaussian inputs. We focus on general Gaussian channels resulting from the reduction of unitary dynamics in larger Hilbert spaces. It is shown that the maximal output purity of tensor products of single-mode channels under Gaussian inputs is multiplicative for any p>1 for products of arbitrary identical channels as well as for a large class of products of different channels. In the case of p=2 multiplicativity is shown to be true for arbitrary products of generic channels act…
We introduce a condition for memoryless quantum channels which, when satisfied guarantees the multiplicativity of the maximal l_p-norm with p a fixed integer. By applying the condition to qubit channels, it can be shown that it is not a necessary condition, although some known results for qubits can be recovered. When applied to the Werner-Holevo channel, which is known to violate multiplicativity when p is large relative to the dimension d, the condition suggests that multiplicativity holds when $d \geqslant 2^{p-1}$. This conjecture is proved explicitly for p=2, 3, 4. Finally, a new class of…
Multiplicativity of certain maximal p -> q norms of a tensor product of linear maps on matrix algebras is proved in situations in which the condition of complete positivity (CP) is either augmented by, or replaced by, the requirement that the entries of a matrix representative of the map are non-negative (EP). In particular, for integer t, multiplicativity holds for the maximal 2 -> 2t norm of a product of two maps, whenever one of the pair is EP; for the maximal 1 -> t norm for pairs of CP maps when one of them is also EP; and for the maximal 1 -> 2t norm for the product of an EP and a 2-posi…
Let $Φ$ be a trace-preserving, positivity-preserving (but not necessarily completely positive) linear map on the algebra of complex $2 \times 2$ matrices, and let $Ω$ be any finite-dimensional completely positive map. For $p=2$ and $p \geq 4$, we prove that the maximal $p$-norm of the product map $Φ\ot Ω$ is the product of the maximal $p$-norms of $Φ$ and $Ω$. Restricting $Φ$ to the class of completely positive maps, this settles the multiplicativity question for all qubit channels in the range of values $p \geq 4$.
In this paper we present a class of maps for which the multiplicativity of the maximal output p-norm holds when p is 2 and p is larger than or equal to 4. The class includes all positive trace-preserving maps from the matrix algebra on the three-dimensional space to that on the two-dimensional.
A conjecture arising naturally in the investigation of additivity of classical information capacity of quantum channels states that the maximal purity of outputs from a quantum channel, as measured by the p-norm, should be multiplicative with respect to the tensor product of channels. We disprove this conjecture for p>4.79. The same example (with p=infinity) also disproves a conjecture for the multiplicativity of the injective norm of Hilbert space tensor products.
We prove multiplicativity of maximal output $p$ norm of classical noise channels and thermal noise channels of arbitrary modes for all $p>1$ under the assumption that the input signal states are Gaussian states. As a direct consequence, we also show the additivity of the minimal output entropy and that of the energy-constrained Holevo capacity for those Gaussian channels under Gaussian inputs. To the best of our knowledge, newly discovered majorization relation on symplectic eigenvalues, which is also of independent interest, plays a central role in the proof.
Formalism of discrete noncommutative Fourier transform is developed and applied to the study of Weyl-covariant channels. We then extend a result in quant-ph/0509126 concerning a bound of the maximal output 2-norm of a Weyl-covariant channel. A class of channels which attain the bound is introduced, for which the multiplicativity of the maximal output 2-norm is proven. Complementary channels are described which share the multiplicativity properties with the Weyl-covariant channels.
Quantum channels can be described via a unitary coupling of system and environment, followed by a trace over the environment state space. Taking the trace instead over the system state space produces a different mapping which we call the conjugate channel. We explore the properties of conjugate channels and describe several different methods of construction. In general, conjugate channels map M_d to M_d' with d < d', and different constructions may differ by conjugation with a partial isometry. We show that a channel and its conjugate have the same minimal output entropy and maximal output p-n…
We prove the claim made in the title by showing that approximately randomising maps of large dimension are counterexamples to the multiplicativity conjecture.
A class of problems in quantum information theory, having an elementary formulation but still resisting solution, concerns the additivity properties of various quantities characterizing quantum channels, notably the "classical capacity", and the "maximal output purity". All known results, including extensive numerical work, are consistent with the conjecture that these quantities are indeed additive (resp. multiplicative) with respect to tensor products of channels. A proof of this conjecture would have important consequences in quantum information theory. In particular, according to this conj…
We consider generalizations of depolarizing channels to maps in which the identity channel is replaced by a convex combinations of unitary conjugations. We show that one can construct unital channels of this type for which the input which achieves maximal output purity is unique. We give conditions under which multiplicativity of the maximal p-norm and additivity of the minimal output entropy. We also show that the Holevo capacity need not equal log d - the minimal entropy as one might expect for a convex combination of unitary conjugations. Conversely, we give examples for which this conditio…
We simplify some conjectures in quantum information theory; the additivity of minimal output entropy, the multiplicativity of maximal output p-norm and the superadditivity of convex closure of output entropy. We construct a unital channel for a given channel so that they share the above additivity properties; we can reduce the conjectures for all channels to those for unital channels.
We prove a lemma which allows one to extend results about the additivity of the minimal output entropy from highly symmetric channels to a much larger class. A similar result holds for the maximal output $p$-norm. Examples are given showing its use in a variety of situations. In particular, we prove the additivity and the multiplicativity for the shifted depolarising channel.
We introduce a technique for applying quantum expanders in a distributed fashion, and use it to solve two basic questions: testing whether a bipartite quantum state shared by two parties is the maximally entangled state and disproving a generalized area law. In the process these two questions which appear completely unrelated turn out to be two sides of the same coin. Strikingly in both cases a constant amount of resources are used to verify a global property.
We begin by deriving bounds for the entanglement of a spin with an (adjacent and non-adjacent) interval of spins in an arbitrary pure Finitely Correlated States (FCS). The bounds we derive become exact in the case where one considers the entanglement of a single spin with a half-infinite chain to the right of it. Our result permits a more efficient calculation, numerically and in some cases even analytically, of the entanglement in arbitrary finitely correlated quantum spin chains. We continue the study of entanglement in the setting of ground states of Hamiltonians with a spectral gap. In par…
For two symmetric quantum states one may be interested in maximizing the overlap under local operations applied to one of them. The question arises whether the maximal overlap can be obtained by applying the same local operation to each party. We show that for two symmetric multiqubit states and local unitary transformations this is the case; the maximal overlap can be reached by applying the same unitary matrix everywhere. For local invertible operations (stochastic local operations assisted by classical communication equivalence), however, we present counterexamples, demonstrating that consi…
We define and study the properties of channels which are analogous to unital qubit channels in several ways. A full treatment can be given only when the dimension d is a prime power, in which case each of the (d+1) mutually unbiased bases (MUB) defines an axis. Along each axis the channel looks like a depolarizing channel, but the degree of depolarization depends on the axis. When d is not a prime power, some of our results still hold, particularly in the case of channels with one symmetry axis. We describe the convex structure of this class of channels and the subclass of entanglement breakin…
We realize Landau-Streater (LS) and Werner-Holevo (WH) quantum channels for qutrits on the IBM quantum computers. These channels correspond to interaction between the qutrit and its environment that result in the globally unitarily covariant qutrit transformation violating multiplicativity of the maximal $p$-norm. Our realization of LS and WH channels is based on embedding qutrit states into states of two qubits and using single-qubit and two-qubit CNOT gates to implement the specific interaction. We employ the standard quantum gates hence the developed algorithm suits any quantum computer. We…
We examine Ralph's equivalent circuit model of D-CTCs, which was proposed to derive Deutsch's maximum entropy rule of D-CTCs. By constructing counterexamples we show that the equivalent circuit model does not always reproduce the unique fixed state with the maximal von Neumann entropy. We speculate that the equivalent circuit model remains the correct description of D-CTCs and it can reproduce a revised maximum entropy rule of D-CTCs. We also suggest that the revised maximum entropy rule may eliminate the discontinuous quantum evolutions of D-CTCs.
