
We consider sequences of random quantum channels defined using the
Stinespring formula with Haardistributed random orthogonal matrices. For any
fixed sequence of input states, we study the asymptotic eigenvalue distribution
of the outputs through 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 Haardistributed random unitary matrices, which leads us to formulate some
conjectures about the regularized minimum output entropy.

We investigate meandric systems with a large number of loops using tools
inspired by free probability. For any fixed integer $r$, we express the
generating function of meandric systems on $2n$ points with $nr$ loops in
terms of a finite (the size depends on $r$) subclass of irreducible meandric
systems, via the momentcumulant formula from free probability theory. We show
that the generating function, after an appropriate change of variable, is a
rational function, and we bound its degree. Exact expressions for the
generating functions are obtained for $r \leq 6$, as well as the asymptotic
behavior of the meandric numbers for general $r$.

Inspired by Montanaro's work, we introduce the concept of additivity rates of
a quantum channel $L$, which give the first order (linear) term of the minimum
output $p$R\'enyi entropies of $L^{\otimes r}$ as functions of $r$. We lower
bound the additivity rates of arbitrary quantum channels using the operator
norms of several interesting matrices including partially transposed Choi
matrices. As a direct consequence, we obtain upper bounds for the classical
capacity of the channels. We study these matrices for random quantum channels
defined by random subspaces of a bipartite tensor product space. A detailed
spectral analysis of the relevant random matrix models is performed, and strong
convergence towards free probabilistic limits is showed. As a corollary, we
compute the threshold for random quantum channels to have the positive partial
transpose (PPT) property. We then show that a class of random PPT channels
violate generically additivity of the $p$R\'enyi entropy for all $p\geq30.95$.

We investigate minimum output (R\'enyi) entropy of qubit channels and unital
quantum channels. We obtain an exact formula for the minimum output entropy of
qubit channels, and bounds for unital quantum channels. Interestingly, our
bounds depend only on the operator norm of the matrix representation of the
channels on the space of traceless Hermitian operators. Moreover, since these
bounds respect tensor products, we get bounds for the capacity of unital
quantum channels, which is saturated by the WernerHolevo channel. Furthermore,
we construct an orthonormal basis, besides the GellMann basis, for the space
of traceless Hermitian operators by using discrete Weyl operators. We apply
our bounds to discrete Weyl covariant channels with this basis, and find new
examples in which the minimum output R\'enyi $2$entropy is additive.

We prove additivity violation of minimum output entropy of quantum channels
by straightforward application of \epsilonnet argument and L\'evy's lemma. The
additivity conjecture was disproved initially by Hastings. Later, a proof via
asymptotic geometric analysis was presented by Aubrun, Szarek and Werner, which
uses Dudley's bound on Gaussian process (or Dvoretzky's theorem with
Schechtman's improvement). In this paper, we develop another proof along
Dvoretzky's theorem in Milman's view showing additivity violation in broader
regimes than the existing proofs. Importantly, Dvoretzky's theorem works well
with norms to give strong statements but these techniques can be extended to
functions which have normlike structures  positive homogeneity and triangle
inequality. Then, a connection between Hastings' method and ours is also
discussed. Besides, we make some comments on relations between regularized
minimum output entropy and classical capacity of quantum channels.

The free contraction norm (or the (t)norm) was introduced by Belinschi,
Collins and Nechita as a tool to compute the typical location of the collection
of singular values associated to a random subspace of the tensor product of two
Hilbert spaces. In turn, it was used in by them in order to obtain sharp bounds
for the violation of the additivity of the minimum output entropy for random
quantum channels with Bell states. This free contraction norm, however, is
difficult to compute explicitly. The purpose of this note is to give a good
estimate for this norm. Our technique is based on results of super convergence
in the context of free probability theory. As an application, we give a new,
simple and conceptual proof of the violation of the additivity of the minimum
output entropy.

We study quantum channels with respect to their image, i.e., the image of the
set of density operators under the action of the channel. We first characterize
the set of quantum channels having polytopic images and show that additivity of
the minimal output entropy can be violated in this class. We then provide a
complete characterization of quantum channels $T$ that are universally image
additive in the sense that for any quantum channel $S$, the image of $T \otimes
S$ is the convex hull of the tensor product of the images of $T$ and $S$. These
channels turn out to form a strict subset of entanglement breaking channels
with polytopic images and a strict superset of classicalquantum channels.

We study the asymptotic behavior of the output states of sequences of quantum
channels. Under a natural assumption, we show that the output set converges to
a compact convex set, clarifying and substantially generalizing results in
[BCN13]. Random mixed unitary channels satisfy the assumption; we give a
formula for the asymptotic maximum output infinity norm and we show that the
minimum output entropy and the Holevo capacity have a simple relation for the
complementary channels. We also give nontrivial examples of sequences $\Phi_n$
such that along with any other quantum channel $\Xi$, we have convergence of
the output set of $\Phi_n$ and $\Phi_n\otimes \Xi$ simultaneously; the case
when $\Xi$ is entanglement breaking is investigated in details.

We investigate the asymptotic behavior of the empirical eigenvalues
distribution of the partial transpose of a random quantum state. The limiting
distribution was previously investigated via Wishart random matrices indirectly
(by approximating the matrix of trace 1 by the Wishart matrix of random trace)
and shown to be the semicircular distribution or the free difference of two
free Poisson distributions, depending on how dimensions of the concerned spaces
grow. Our use of Wishart matrices gives exact combinatorial formulas for the
moments of the partial transpose of the random state. We find three natural
asymptotic regimes in terms of geodesics on the permutation groups. Two of them
correspond to the above two cases; the third one turns out to be a new matrix
model for the meander polynomials. Moreover, we prove the convergence to the
semicircular distribution together with its extreme eigenvalues under weaker
assumptions, and show large deviation bound for the latter.

It is now wellknown that, with high probability, the additivity of minimum
output entropy does not hold for a pair of a random quantum channel and its
complex conjugate. We investigate asymptotic behavior of output states of
$r$tensor powers of such pairs, as the dimension of inputs grows. We compute
the limit output states for any sequence of wellbehaved inputs, which consist
of a large class of input states having a nice set of parameters. Then, we show
that among these input states tensor products of Bell states give
asymptotically the least output entropy, giving positive mathematical evidence
towards additivity of above pairs of channels.

In this paper, we study the behaviour of the output of pure entangled states
after being transformed by a product of conjugate random unitary channels. This
study is motivated by the counterexamples by Hastings and HaydenWinter to the
additivity problems. In particular, we study in depth the difference of
behaviour between random unitary channels and generic random channels. In the
case where the number of unitary operators is fixed, we compute the limiting
eigenvalues of the output states. In the case where the number of unitary
operators grows linearly with the dimension of the input space, we show that
the eigenvalue distribution converges to a limiting shape that we characterize
with free probability tools. In order to perform the required computations, we
need a systematic way of dealing with moment problems for random matrices whose
blocks are i.i.d. Haar distributed unitary operators. This is achieved by
extending the graphical Weingarten calculus introduced in Collins and Nechita
(2010).

We consider the image of some classes of bipartite quantum states under a
tensor product of random quantum channels. Depending on natural assumptions
that we make on the states, the eigenvalues of their outputs have new
properties which we describe. Our motivation is provided by the additivity
questions in quantum information theory, and we build on the idea that a Bell
state sent through a product of conjugated random channels has at least one
large eigenvalue. We generalize this setting in two directions. First, we
investigate general entangled pure inputs and show that that Bell states give
the least entropy among those inputs in the asymptotic limit. We then study
mixed input states, and obtain new multiscale random matrix models that allow
to quantify the difference of the outputs' eigenvalues between a quantum
channel and its complementary version in the case of a nonpure input.

Recently Hastings proved the existence of random unitary channels which
violate the additivity conjecture. In this paper we use Hastings' method to
derive new bounds for the entanglement of random subspaces of bipartite
systems. As an application we use these bounds to prove the existence of
nonunital channels which violate additivity of minimal output entropy.

In this paper we present a class of maps for which the multiplicativity of
the maximal output pnorm holds when p is 2 and p is larger than or equal to 4.
The class includes all positive tracepreserving maps from the matrix algebra
on the threedimensional space to that on the twodimensional.

Hastings recently provided a proof of the existence of channels which violate
the additivity conjecture for minimal output entropy. In this paper we present
an expanded version of Hastings' proof. In addition to a careful elucidation of
the details of the proof, we also present bounds for the minimal dimensions
needed to obtain a counterexample.

We study the additivity problems for the classical capacity of quantum
channels, the minimal output entropy and its convex closure. We show for each
of them that additivity for arbitrary pairs of channels holds iff it holds for
arbitrary equal pairs, which in turn can be taken to be unital. In a similar
sense, weak additivity is shown to imply strong additivity for any convex
entanglement monotone. The implications are obtained by considering direct sums
of channels (or states) for which we show how to obtain several information
theoretic quantities from their values on the summands. This provides a simple
and general tool for lifting additivity results.

We simplify some conjectures in quantum information theory; the additivity of
minimal output entropy, the multiplicativity of maximal output pnorm 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.