We investigate non-random quantum channels generated from the representation the- ory of orthogonal quantum groups to perform numerical computations for estimates of their minimum output entropies. In doing so, we address the violation of the additiv- ity conjecture for minimum output entropies, previously established through probabilistic proofs. This violation is relevant because given two quantum channels whose minimum output entropies sum to a value greater than the minimum output entropy of their tensor product channel it can be shown that more information can be sent with greater fidelity via the two channels in parallel than by using each separately. This is directly related to the relevance of quantum entanglement in quantum information theory. \nWe numerically compute minimum output entropies for single quantum channels and tensor products of quantum channels with respect to both Von Neumann and Renyi en- tropies. We then proceed to compute entropy estimates for nonplanar channels directly with Temperley-Lieb Category Theory. We conclude by discussing which of our choices for channels are optimal for entangled inputs.
We investigate non-random quantum channels generated from the representation the- ory of orthogonal quantum groups to perform numerical computations for estimates of their minimum output entropies. In doing so, we address the violation of the additiv- ity conjecture for minimum output entropies, previously established through probabilistic proofs. This violation is relevant because given two quantum channels whose minimum output entropies sum to a value greater than the minimum output entropy of their tensor product channel it can be shown that more information can be sent with greater fidelity via the two channels in parallel than by using each separately. This is directly related to the relevance of quantum entanglement in quantum information theory. \nWe numerically compute minimum output entropies for single quantum channels and tensor products of quantum channels with respect to both Von Neumann and Renyi en- tropies. We then proceed to compute entropy estimates for nonplanar channels directly with Temperley-Lieb Category Theory. We conclude by discussing which of our choices for channels are optimal for entangled inputs.
Counterexamples to additivity of minimum output p-Rényi entropy of quantum channels for all p≥0
The additivity of minimum output entropies is a central problem in quantum information theory. Nonadditivity is known for every Rényi order p>1, at the von Neumann point p=1, and for sufficiently small positive p, while much of the interval 0<p<1 has remained open. In this work, we prove that for every p>0 there exist finite-dimensional quantum channels whose minimum output p-Rényi entropies violate additivity. Our proof combines two constructions: random projection-induced channels yield nonadditivity for p>3/4, and antisymmetric postprocessing extends the violation to all positive Rényi orders. Our estimates also improve the output-dimension bound obtained by Belinschi, Collins, and Nechita for additivity violation of minimum output von Neumann entropy.
We consider the sequences of random quantum channels defined by using the Stinespring formula with Haar-distributed random orthogonal matrices. For any fixed sequence of input states, we study the asymptotic eigenvalue distribution of the outputs through the tensor powers of random channels. We show that the input states achieving minimum output entropy are tensor products of maximally entangled states (Bell states) when the tensor power is even. This phenomenon is completely different from the one for random quantum channels constructed from Haar-distributed random unitary matrices, which leads us to formulate some conjectures about the regularized minimum output entropy.
The problem of additivity of the Minimum Output Entropy is of fundamental importance in Quantum Information Theory (QIT). It was solved by Matthew B. Hastings [“Superadditivity of communication capacity using entangled inputs”, Nature Physics 5, 255–257 (2009; doi:)] in the one-shot case by exhibiting a pair of random quantum channels. However, the initial motivation was arguably to understand regularized quantities, and there was so far no way to solve additivity questions in the regularized case. The purpose of this paper is to give a solution to this problem. Specifically, we exhibit a pair of quantum channels that unearths additivity violation of the regularized minimum output entropy. Unlike previously known results in the one-shot case, our construction is non-random, infinite-dimensional, and in the commuting-operator setup. The commuting-operator setup is equivalent to the tensor-product setup in the finite-dimensional case for this problem, but their difference in the infinite-dimensional setting has attracted substantial attention and legitimacy recently in QIT with the celebrated resolutions of Tsirelson's and Connes embedding problem [ Z. Ji et al., “ \mathsf{MIP}^*= \mathsf{RE} ”, Preprint, ], Likewise, it is not clear that our approach works in the finite-dimensional setup. Our strategy of proof relies on developing a variant of the Haagerup inequality optimized for a product of free groups.
This thesis studies four topics in quantum information theory using tools from representation theory and (high-dimensional) probability theory.First, we study the nonadditivity of minimum output von Neumann and Rényi entropy of quantum channels.A sketch of the proof by Aubrun, Szarek and Werner for nonadditivity of minimum output entropy is presented, and a slight simplification is given.We show that asymptotically H(•) Shannon entropy, or von Neumann entropy D(ρ, σ) Trace distance between two quantum states ρ, σ F(ρ, σ) Fidelity between two quantum states ρ, σ
We prove that minimum-output Rényi-entropy additivity can fail by almost one bit simultaneously at every nonnegative order. For every ε∈(0,log2), there exists a finite-dimensional quantum channel with a real Stinespring isometry such that the same maximally entangled input witnesses a tensor-square entropy gap of at least log2−ε for all p∈[0,∞]. The output dimension can be chosen to be O(ε−3) as ε↓0.
The construction uses direct products of free groups: tensorized Haagerup estimates control the one-copy outputs, while commutation between distinct factors forces exact Bell-branch collisions at two copies. Strong convergence gives both an existential realization through finite-dimensional representations of right-angled Artin groups followed by realification, and a Haar-orthogonal model whose success probability tends to one as the matrix dimension grows. We also determine the exact Bell quotient, prove asymptotically sharp regular-radius bounds, and show that the cubic output-dimension scale is optimal within the present purity--rank certificate.
We find an upper bound for the minimum output entropy of a unital quantum channel, and obtain an exact formula for general qubit channels. Our techniques incorporate the Rényi entropies, particularly, with Rényi parameter α = 2. Moreover, since our upper bound is additive under tensor product, we get as a corollary an upper bound for the classical capacity of unital quantum channels. Interestingly, our upper bound for the classical capacity depends only on the operator norm of matrix representations of channels on the space of traceless Hermitian operators, and is tight in the sense that it gives the precise quantity of classical capacity of the Werner-Holevo channel. As an example, we study quantum channels with operator sum representation that is made of the discrete Weyl operators (generalized Pauli operators), and explain how our formula works in this case. Finally, we find new examples for which the minimum output Rényi 2-entropy is additive.