Eigenvalue and Entropy Statistics for Products of Conjugate Random Quantum Channels

Abstract

Using the graphical calculus and integration techniques introduced by the authors, we study the statistical properties of outputs of products of random quantum channels for entangled inputs. In particular, we revisit and generalize models of relevance for the recent counterexamples to the minimum output entropy additivity problems. Our main result is a classification of regimes for which the von Neumann entropy is lower on average than the elementary bounds that can be obtained with linear algebra techniques.

1. Introduction

As in classical computer science, randomized proofs and constructions are ubiquitous in quantum information. Since quantum mechanics is non commutative, the random objects of study are matrices. Therefore, quantum information theory provides a rich source of random matrix problems.

One of the most important classes of problems in the mathematical aspects of quantum information theory is the study of data transmission through noisy quantum channels. A famous conjecture reduced the calculation of the channel capacity for classical data to the question of the additivity of Minimum channel Output Entropy. The conjecture was stated in 1999 by King and Ruskai [1] and shown to be equivalent to the additivity of the Holevo capacity (and to other quantities of interest) by Shor [2]. For a long time, no counterexamples were available and additivity was proven to hold in many cases. A stronger, $L^p$ version of this question was also available and relevant to operator algebra and operator space theory. This version was disproved by Hayden and Winter in 2007, for all $p>1$ [3]. The original conjecture, regarding von Neumann entropies, was disproved by Hastings in 2008 [4]. His very innovative argument exploited the idea of tubular neighborhoods so as to considerably refine available estimates on random quantum channels. However, constructive, non-random counterexamples to any of these conjectures are still elusive.

The random counterexamples to the various forms of the additivity conjecture rely on bounds on the Minimum Output Entropies (MOE) for single and product channels that follow mainly from two important ideas. Let Φ be a random quantum channel between matrix spaces such that the dimensions of the input and output spaces are large enough. The first key idea is that, with high probability, the Minimum Output Entropy of Φ is almost maximal: all output states are highly mixed. On the other hand, if one considers the product channel $\Phi \otimes \overline{\Phi }$ (where $\overline{\Phi }$ is obtained by replacing the Stinespring unitary U defining the channel by its conjugate), then if one takes a maximally entangled (or Bell) state as an input, the output density matrix has always a large eigenvalue. This second important fact was observed by Winter, and it implies that the output state in question has low entropy, allowing for a violation of additivity.

Our work addresses bounds for conjugate product channels, and improves them in several cases. We provide a complete spectral description of the output of product channels when the input is maximally entangled. In [5] and [6], we have studied situations when the channels are conjugate ($\Phi \otimes \overline{\Phi }$) or independent ($\Phi \otimes \Psi$) in two different asymptotic regimes.

In this work, after recalling the aforementioned results and reviewing the techniques used in deriving them, we consider more general models of random quantum channels, from two different perspectives. We first generalize the linear scaling asymptotic regime to include the situations where the dimension of the input space is different from the dimension of the output of a quantum channel; however, all three parameters (the respective dimensions of the input, output and ancilla spaces) scale linearly. Then we move beyond the linear regime, considering situations where the dimensions of the output space and of the ancilla space scale in a non-linear fashion. Motivated by the search of improved bounds one may use in the study of additivity questions, we compute asymptotic expressions for the von Neumann entropies of output matrices for the models under consideration.

The paper is organized as follows: in Section 2, we first review the tools available to study moments of outputs of random quantum channels. These techniques were introduced in [7,8] and [5] and their first applications to quantum information theory were developed in [5,6] and [9]. In Section 3, we generalize the results of [6] to the case where the relative dimensions of the input and the output are different. In Section 4, we generalize the setting of [6] to the case where the relative dimensions of the input space and the ancilla space have relative polynomial growth. This is motivated by the recent results of [10], where the authors consider the case $k\sim n^{1/2}$ (n being the dimension of the input/output space and k being the dimension of the ancilla space). We show that depending on the growth, different results occur and that the case where the ancilla space and the input space have the same dimension has a potential for yielding a bigger violation for the additivity of the entropy. Finally, in Section 5, we use these results to provide new bounds for von Neumann entropy of the output of product random quantum channels.

2. Studying Moments of Outputs of Random Quantum Channels: Techniques and First Examples

In this section, we recall, for the convenience of the reader and for the sake of being self-contained, techniques to compute the eigenvalue distribution of random quantum channels, as well as a few results obtained recently with these techniques.

The techniques rely on Weingarten calculus (subsection 2.1) and on a graphical model (subsection 2.2). Then, in subsection 2.4 and subsection 2.5, we recall two applications of these techniques.

2.1. Weingarten calculus

In this section, we recall a few facts about the Weingarten calculus, useful to evaluate averages with respect to the Haar measure on the unitary group.

Definition 2.1. The unitary Weingarten function $Wg(n,\sigma )$ is a function of a dimension parameter n and of a permutation σ in the symmetric group ${\mathcal{S}}_p$ on p elements, defined as the pseudo-inverse of the function $\sigma \mapsto n^{\#\sigma }$ under the convolution for the symmetric group ($\#\sigma$ denotes the number of cycles of the permutation σ).

Note that the function $\sigma \mapsto n^{\#\sigma }$ is invertible for $n⩾p$, (to see that it is invertible for n large enough, observe that it behaves like $n^p{\delta }_e$ as $n\to \infty$). In this case, we can replace the pseudo-inverse by the inverse. We refer to [8] for historical references and further details. We shall use the shorthand notation $Wg\left(\sigma \right)=Wg(n,\sigma )$ when the dimension parameter n is obvious.

The following theorem relates integrals with respect to the Haar measure on the unitary group $\left(n\right)$ and the Weingarten function Wg. (see for example [11]):

Theorem 2.2. Let n be a positive integer and $(i_1,\dots ,i_p)$, $(i_1^{\prime },\dots ,i_p^{\prime })$, $(j_1,\dots ,j_p)$, $(j_1^{\prime },\dots ,j_p^{\prime })$ be p-tuples of positive integers from $\{1,2,\dots ,n\}$. Then

$$\begin{array}{c}{\int }_{\left(n\right)}{U}_{i_1{j}_1}\cdots U_{i_p{j}_p}\overline{U_{i_1^{\prime }{j}_1^{\prime }}}\cdots \overline{U_{i_p^{\prime }{j}_p^{\prime }}}dU=\hfill \\ \hfill \sum _{\sigma ,\tau \in {\mathcal{S}}_p}{\delta }_{i_1{i}_{\sigma \left(1\right)}^{\prime }}\dots {\delta }_{i_p{i}_{\sigma \left(p\right)}^{\prime }}{\delta }_{j_1{j}_{\tau \left(1\right)}^{\prime }}\dots {\delta }_{j_p{j}_{\tau \left(p\right)}^{\prime }}Wg(n,\tau {\sigma }^{-1})\end{array}$$

(1)

If $p\ne p^{\prime }$ then

$${\int }_{\left(n\right)}{U}_{i_1{j}_1}\cdots U_{i_p{j}_p}\overline{U_{i_1^{\prime }{j}_1^{\prime }}}\cdots \overline{U_{i_{p^{\prime }}^{\prime }{j}_{p^{\prime }}^{\prime }}}dU=0$$

(2)

We are interested in the values of the Weingarten function in the limit $n\to \infty$. The following result encloses all the data we need for our computations about the asymptotics of the Wg function; see [11] for a proof.

Theorem 2.3. For a permutation $\sigma \in {\mathcal{S}}_p$, let $\mathrm{Cycles}\left(\sigma \right)$ denote the set of cycles of σ. Then

$$Wg(n,\sigma )={(-1)}^{n-\#\sigma }\prod _{c\in \mathrm{Cycles}\left(\sigma \right)}Wg(n,c)(1+O\left(n^{-2}\right))$$

(3)

and

$$Wg(n,(1,\dots ,d))={(-1)}^{d-1}{c}_{d-1}\prod _{-d+1⩽j⩽d-1}{(n-j)}^{-1}$$

(4)

where $c_i=\frac{\left(2i\right)!}{(i+1)!i!}$ is the i-th Catalan number.

The Catalan numbers and Wg are related to the Moebius function on the lattice of non-crossing partitions, as follows:

$$Wg(n,\sigma )=n^{-(p+|\sigma \left|\right)}(Mob\left(\sigma \right)+O\left(n^{-2}\right))$$

(5)

where $\left|\sigma \right|=p-\#\sigma$ is the length of σ, i.e., the minimal number of transpositions that multiply to σ. We refer to [8] for details about the function Mob.

2.2. Planar expansion

The purpose of the graphical calculus introduced in [5] is to yield an effective method to evaluate the expectation of random tensors with respect to the Haar measure on a unitary group. In graphical language, a tensor corresponds to a box, and an appropriate Hilbertian structure yields a correspondence between boxes and tensors. However, the calculus yielding expectations only relies on diagrammatic operations.

Each box B is represented as a rectangle with decorations on its boundary. The decorations are either white or black, and belong to $S\left(B\right)\bigsqcup S^{*}\left(B\right)$. Figure 1 depicts an example of boxes and diagrams.

Figure 1. Basic diagrams and axioms: (a) diagram for a general tensor M; (b) trace of a $(1,1)$-tensor (matrix) M; (c) Scalar product $\langle y\left|M\right|x\rangle$; (d) tensor product of two diagrams. The round, square and diamond-shaped labels correspond to pairs of dual finite dimensional complex Hilbert spaces.

Figure 1. Basic diagrams and axioms: (a) diagram for a general tensor M; (b) trace of a $(1,1)$-tensor (matrix) M; (c) Scalar product $\langle y\left|M\right|x\rangle$; (d) tensor product of two diagrams. The round, square and diamond-shaped labels correspond to pairs of dual finite dimensional complex Hilbert spaces.

It is possible to construct new boxes out of old ones by formal algebraic operations such as sums or products. We call diagram a picture consisting in boxes and wires according to the following rule: a wire may link a white decoration in $S\left(B\right)$ to its black counterpart in $S^{*}\left(B\right)$. A diagram can be turned into a box by choosing an orientation and a starting point.

Regarding the Hilbertian structure, wires correspond to tensor contractions. There exists an involution for boxes and diagrams. It is antilinear and it turns a decoration in $S\left(B\right)$ into its counterpart in $S^{*}\left(B\right)$. Our conventions are close to those of [12,13]. They should be familiar to the reader acquainted with existing graphical calculus of various types (planar algebra theory, Feynman diagrams theory, traced category theory). Our notations are designed to fit well to the problem of computing expectations, as shown in the next section. In Figure 2(b), 2(c) and 2(d) we depict the trace of a matrix, multiplication of tensors and the tensor product operation. For details, we refer to [5].

The main application of our calculus is to compute expectation of diagrams where some boxes represent random matrices (e.g., Haar distributed or Gaussian). For this, we need a concept of removal of boxes U and $\overline{U}$. A removal r is a way to pair decorations of the U and $\overline{U}$ boxes appearing in a diagram. It therefore consists in a pairing α of the white decorations of U boxes with the white decorations of $\overline{U}$ boxes, together with a pairing β between the black decorations of U boxes and the black decorations of $\overline{U}$ boxes. Assuming that $\mathcal{D}$ contains p boxes of type U and that the boxes U (resp. $\overline{U}$)are labeled from 1 to p, then r = (α, β) where α, β are permutations of S_p.

Given a removal $r\in Rem\left(\mathcal{D}\right)$, we construct a new diagram ${\mathcal{D}}_r$ associated to r, which has the important property that it no longer contains boxes of type U or $\overline{U}$. One starts by erasing the boxes U and $\overline{U}$ but keeps the decorations attached to them. Assuming that one has labeled the erased boxes U and $\overline{U}$ with integers from $\{1,\dots ,p\}$, one connects all the (inner parts of the) white decorations of the i-th erased U box with the corresponding (inner parts of the) white decorations of the $\alpha \left(i\right)$-th erased $\overline{U}$ box. In a similar manner, one uses the permutation β to connect black decorations.

In [5], we proved the following result:

Theorem 2.4. The following holds true:

$${\mathbb{E}}_U\left(\mathcal{D}\right)=\sum _{r=(\alpha ,\beta )\in {Rem}_U\left(\mathcal{D}\right)}{\mathcal{D}}_{r}Wg(n,\alpha {\beta }^{-1})$$

2.3. Wishart matrices, Marchenko-Pastur distributions and their entropy

We recall the definition of a free Poisson (or Marchenko-Pastur) random variable [14]. For $c>0$, the probability measure

$${\pi }_c=max(1-c,0){\delta }_0+\frac{\sqrt{4c-{(x-1-c)}^2}}{2\pi x}{\mathbf{1}}_{[1+c-2\sqrt{c},1+c+2\sqrt{c}]}\left(x\right)dx$$

is called a free Poisson measure of parameter c. The plots of the densities for these measures are plotted in Figure 2.

The free Poisson distribution arises in random matrix theory as the almost sure limit of the eigenvalue counting distribution for Wishart matrices, i.e., matrices $X_n{X}_n^{*}$ where $X_n$ is an $n\times \lfloor cn\rfloor$ matrix whose entries are i.i.d. standard complex Gaussian random variables of variance $1/n$.

From a combinatorial perspective, the free Poisson distribution ${\pi }_c$ has the nice property that all its free cumulants are equal to c. Hence, the free moment-cumulant formula (see [15], Lecture 11, pp. 173) reads

$$\int x^{p}d{\pi }_c\left(x\right)=\sum _{\sigma \in NC\left(p\right)}{c}^{\#\sigma }$$

(6)

Figure 2. Densities for the Marchenko-Pastur measures of parameters $c=1/5$, $c=1$ and $c=5$. For $c=1/5$, only the absolutely continuous part of the measure was plotted; ${\pi }_{1/5}$ has a Dirac mass of $4/5$ at $x=0$ which is not represented.

Figure 2. Densities for the Marchenko-Pastur measures of parameters $c=1/5$, $c=1$ and $c=5$. For $c=1/5$, only the absolutely continuous part of the measure was plotted; ${\pi }_{1/5}$ has a Dirac mass of $4/5$ at $x=0$ which is not represented.

where $\#\sigma$ denotes the number of blocks of the non-crossing partition σ. From the moment formula, one can obtain the value of the following integral, useful in the computation of von Neumann entropies [16]:

$${\int }_{}^{}xlogxd{\pi }_c\left(x\right)=\left\{\begin{array}{cc}\frac{1}{2}+clogc\hfill & \text{if}c⩾1\hfill \\ \frac{c^2}{2}\hfill & \text{if}0<c<1\hfill \end{array}\right.$$

(7)

2.4. Application 1: Fixed ancilla space

The counterexamples to the additivity conjecture obtained so far arise from the random choice of a quantum channel from the ensemble

$$\Phi :{\mathcal{M}}_m\left(\right)\to {\mathcal{M}}_n\left(\right)$$

(8)

given by $\Phi \left(X\right)={Tr}_k\left[U(X\otimes |0\rangle \langle 0\left|\right)U^{*}\right]$, where $U\in \mathcal{U}\left(nk\right)$ is a random unitary matrix and $|0\rangle \langle 0|$ is an ancilla rank-one projector. The counterexamples rely on the idea of using a tensor product of conjugate channels $\Phi \otimes \overline{\Phi }$ and, more precisely, the output of this channel when the input is the Bell state ($\{e_1,\dots ,e_m\}$ is some fixed basis of ^m):

$$E_m=\frac{1}{m}\sum _{i,j=1}^m|e_i\rangle \langle e_j|\otimes |e_i\rangle \langle e_j|$$

(9)

In the regime where $m=tnk$ with n and k integers and $t\in (0,1)$ a fixed parameter, we gave in [5] a complete spectral description of the (random) density matrix $[\Phi \otimes \overline{\Phi }]\left(E_{tnk}\right)$. The following result improves on the previously known bound of Winter, ${\lambda }_1⩾t$:

Theorem 2.5. Almost surely, as $n\to \infty$, the $k^2$ non-zero eigenvalues of the random matrix $[\Phi \otimes \overline{\Phi }]\left(E_{tnk}\right)\in {\mathcal{M}}_{n^2}\left(\right)$ converge towards the deterministic probability vector

$${\gamma }^{\left(t\right)}=\left(t+\frac{1-t}{k^2},\underset{k^2-1\mathit{times}}{\underbrace{\frac{1-t}{k^2},\dots ,\frac{1-t}{k^2}}}\right)$$

In the particular case $\Phi :{\mathcal{M}}_n\left(\right)\to {\mathcal{M}}_n\left(\right)$, corresponding to $kt=1$, the eigenvalues are $\frac{1}{k}+\frac{1}{k^2}-\frac{1}{k^3}$, with multiplicity one and $\frac{1}{k^2}-\frac{1}{k^3}$, with multiplicity $k^2-1$. Not only the value of the largest eigenvalue is improved from $\frac{1}{k}$ to $\frac{1}{k}+\frac{1}{k^2}-\frac{1}{k^3}$, but the lower eigenvalues are also computed.

A better understanding of the spectrum of the output matrix for the product channel yields immediately better bounds for the Minimum Output Entropy of $\Phi \otimes \overline{\Phi }$. Applications of this result are twofold. First, it allows for violations of additivity of Rényi entropies, for all $p>1$, just by using a qubit as an ancilla state for the input ($t=1/2$). Second, the improvements on the bound for the entropy of the product channel can yield better minimum values of k needed to obtain violations of additivity for $p=1$ (see [17,18]).

2.5. Application 2: Ancilla and input space of linear dimensions

Theorem 2.5 is highly non-intuitive: it is not clear why the small eigenvalues should all behave in the same way. Moreover, there was numerical evidence [3] that the spectrum should not be flat beyond the second eigenvalue. This raises the question of what happens when the ancilla space is not of fixed dimension, but rather of dimension comparable to the input space.

The study of such asymptotic regimes was initiated in [6]. After stating the main result obtained in that paper, we shall generalize in Section 3 the setting, allowing for the dimension of the input space to vary linearly with the dimension of the output.

In [6], Section 6.3, we considered random quantum channels $\Phi :{\mathcal{M}}_n\left(\right)\to {\mathcal{M}}_n\left(\right)$ obtained from random Haar unitary matrices $U\in \left(nk\right)$ via the Stinespring representation

$$\Phi \left(X\right)={Tr}_k\left[U(X\otimes P_k)U^{*}\right]$$

(10)

where $P_k\in {\mathcal{M}}_k($ is a non-random rank-one projector (pure state) and both n and k grow to infinity at a constant ration $k/n\to c>0$. The diagram for such a channel is represented in Figure 3.

Figure 3. Diagram for a quantum channel with equal input and output spaces. The state $P_k$ of the ancilla space is omitted, since it has no role to play in the computations. Round labels attached to boxes correspond to input/output spaces ⁿ and square symbols correspond to ancilla spaces ^k.

Figure 3. Diagram for a quantum channel with equal input and output spaces. The state $P_k$ of the ancilla space is omitted, since it has no role to play in the computations. Round labels attached to boxes correspond to input/output spaces ⁿ and square symbols correspond to ancilla spaces ^k.

For the regime where both n and k grow to infinity at a constant ratio c, the main result of [6] is as follows.

Theorem 2.6. Consider a pair of conjugate random quantum channels $\Phi ,\overline{\Phi }$ in the regime where $n,k\to \infty$, $k\sim cn$. The eigenvalues ${\lambda }_1⩾\cdots ⩾{\lambda }_{n^2}$ of the random matrix $Z_n=[\Phi \otimes \overline{\Phi }]\left(E_n\right)$ are such that:

• The first eigenvalue satisfies $cn{\lambda }_1\to 1$ (in probability).
• The distribution $\frac{1}{n^2-1}{\sum }_{i=2}^{n^2}{\delta }_{c^2{n}^2{\lambda }_i}$ converges a.s. to a free Poisson distribution of parameter $c^2$.

Here we see that a new phenomenon of two different convergence rates for eigenvalues appears. This is due to the fact that the $U-\overline{U}$ model for the product channel contains the “conjugation” symmetry. Instead of considering a channel and its complex conjugate, we looked in [6] at two independent quantum channels, taken from the same ensemble.

Theorem 2.7. In the regime $k\sim cn$, $n\to \infty$, let $Z_n=[\Phi \otimes \Psi ]\left(E_n\right)$ be the output of the product of two independent quantum channels Φ and Ψ, when the input is a maximally entangled state $E_n$. Then, almost surely, the distribution of the rescaled output matrix $c^2{n}^2{Z}_n$ converges towards a free Poisson of parameter $c^2$.

A striking feature of this asymptotic regime is that the von Neumann entropies of the $U-V$ and $U-\overline{U}$ models are almost the same. It is then natural to ask whether the $U-\overline{U}$ symmetry is in fact needed to obtain violations of the additivity. Indeed, it seems that the largest eigenvalue for the output of the product channel does not play a big role in the bounds for the entropy. Having counterexamples with independent channels will be an important step to a better understanding of additivity violations. Possible violations with independent channels would be generic, as opposed to conjugate-channels violations which are not. Also, these considerations give concrete hope that larger violations of additivity could be achieved.

3. Generalized Linear Setting—Input and Output Spaces of Different Dimension

In this section, we generalize the model of quantum channels we have considered, by allowing input and output spaces of different dimensions. We consider random quantum channels $\Phi :{\mathcal{M}}_m\left(\right)\to {\mathcal{M}}_n\left(\right)$ defined by

$$\Phi \left(X\right)={Tr}_k\left[U(X\otimes P_l)U^{*}\right]$$

(11)

where $l=nk/m$ and $P_l$ is a deterministic rank-one projector in ${\mathcal{M}}_l\left(\right)$; we tacitly assume that l is an integer. All three dimensions $m,n$ and k grow to infinity, at constant ratios: $m/n\to b$ and $k/n\to c$, with $b,c\in (0,\infty )$ fixed constants. The generalized diagram corresponding to Φ ias depicted in Figure 4.

Figure 4. Diagram for a quantum channel with different input and output spaces. Round labels attached to boxes correspond to output spaces ⁿ, square symbols correspond to ancilla spaces ^k and diamonds correspond to input spaces ^m. The rank-one projector $P_l$ is omitted.

Figure 4. Diagram for a quantum channel with different input and output spaces. Round labels attached to boxes correspond to output spaces ⁿ, square symbols correspond to ancilla spaces ^k and diamonds correspond to input spaces ^m. The rank-one projector $P_l$ is omitted.

When presented with the maximally entangled (or Bell state) $E_m\in {\mathcal{M}}_{m^2}\left(\right)$ as an input, the product conjugate channel $\Phi \otimes \overline{\Phi }$ produces a random density matrix

$$Z=[\Phi \otimes \overline{\Phi }]\left(E_m\right)\in {\mathcal{M}}_{n^2}\left(\right)$$

(12)

The remaining of this section is dedicated to the study of the random matrix Z, depicted in Figure 5. The analysis of the spectrum of Z follows closely corresponding results in [6], Section 6.3, which is a specialization of this section, in the case $m=n$ (i.e., $b=1$). The spectral properties of the output random matrix Z are summarized in Theorem 3.4, the main result of this section. The reader in invited to compare the conclusions of Theorems 2.6 and 3.4.

Figure 5. Diagram for the output of a product of two conjugate channels, when the input is the maximally entangled state. The complex Hilbert spaces associated to labels are as follows: $◦ •{⇝}^n$, $▫ \blacksquare {⇝}^k$, $◇ ◆{⇝}^m$ and $▵ ▴{⇝}^l$.

Figure 5. Diagram for the output of a product of two conjugate channels, when the input is the maximally entangled state. The complex Hilbert spaces associated to labels are as follows: $◦ •{⇝}^n$, $▫ \blacksquare {⇝}^k$, $◇ ◆{⇝}^m$ and $▵ ▴{⇝}^l$.

The first step of our analysis of the output matrix is the computation of the asymptotic moments.

Proposition 3.1. Consider a sequence of random quantum channels ${\Phi }_n$ where $m,n,k\to \infty$, $m/n\to b$ and $k/n\to c$. The asymptotic moments of the output matrix $Z=[\Phi \otimes \overline{\Phi }]\left(E_m\right)$ are given by:

$$\begin{array}{cc}\hfill Tr\left(Z\right)& =1;\hfill \\ \hfill \mathbb{E}Tr\left[{\left(\frac{c}{b}nZ\right)}^2\right]& =1+\frac{1}{b^2}+\frac{c^2}{b^2}+o\left(1\right)\hfill \\ \hfill \mathbb{E}Tr\left[{\left(\frac{c}{b}nZ\right)}^p\right]& =1+o\left(1\right),\forall p⩾3\hfill \end{array}$$

Proof. The starting point of the proof is the following exact formula for the moments of the random matrix Z, obtained from the graph expansion technique detailed in [5]:

$$\mathbb{E}[Tr\left(Z^p\right)]=\sum _{\alpha ,\beta \in {\mathcal{S}}_{2p}}{k}^{\#\alpha }{n}^{\#\left(\alpha {\gamma }^{-1}\right)}{m}^{\#\left(\beta \delta \right)-p}Wg\left(\alpha {\beta }^{-1}\right)$$

(13)

where the permutations $\gamma ,\delta \in {\mathcal{S}}_{2p}$ are defined as follows. We relabel the index set $\{1,2,\dots 2p\}$ as $\{p^B,\dots ,1^B,1^T,2^T,\dots ,p^T\}$ in order to make precise the association of indices with blocks corresponding to the “top” channel Φ ($1^T,\dots ,p^T$) and blocks corresponding to the “bottom” channel $\overline{\Phi }$ ($1^B,\dots ,p^B$). With this notation, we define the permutations

$$\gamma \left(i^T\right)={(i-1)}^T,\gamma \left(i^B\right)={(i+1)}^B\text{and}\delta \left(i^T\right)=i^B,\delta \left(i^B\right)=i^T$$

(14)

Using the asymptotic expressions for the dimensions $m\sim bn$, $k\sim cn$ and for the Weingarten function (see Theorem 2.3)

$$Wg\left(\alpha {\beta }^{-1}\right)\sim {\left(nk\right)}^{-2p-|\alpha {\beta }^{-1}|}Mob\left(\alpha {\beta }^{-1}\right)\sim c^{-2p-|\alpha {\beta }^{-1}|}{n}^{-4p-2|\alpha {\beta }^{-1}|}Mob\left(\alpha {\beta }^{-1}\right)$$

(15)

equation (13) becomes

$$\mathbb{E}[Tr\left(Z^p\right)]\sim \sum _{\alpha ,\beta \in {\mathcal{S}}_{2p}}{c}^{-\left(\right|\alpha |+|\alpha {\beta }^{-1}\left|\right)}{b}^{p-\left|\beta \delta \right|}{n}^{-f(\alpha ,\beta )}Mob\left(\alpha {\beta }^{-1}\right)$$

(16)

where the function $f(\alpha ,\beta )$ is given by

$$f(\alpha ,\beta )=\left|\alpha \right|+|\alpha {\gamma }^{-1}|+|\beta \delta |+2|\alpha {\beta }^{-1}|-p$$

(17)

In order to find the dominating terms in the sums (13) or (16), one has to minimize the quantity $f(\alpha ,\beta )$ over the permutation group ${\mathcal{S}}_{2p}$. This has been done in the proof of Theorem 6.8 of [6]:

• for $p=1$, $f(\alpha ,\beta )⩾0$, with equality iff. $\alpha =\beta =id$;
• for $p=2$, $f(\alpha ,\beta )⩾p$, with equality iff. $\alpha =\beta \in \{id,\delta ,\gamma \}$;
• for $p⩾3$, $f(\alpha ,\beta )⩾p$, with equality iff. $\alpha =\beta =\delta$.

One concludes now by plugging the optimal values for the permutations α and β into equation (16).

Theorem 3.1 only gives a partial description of the spectrum of the random matrix Z; from the moment information one can deduce that there are some eigenvalues on the scale $n^{-1}$ and that the rest of the spectrum is distributed on lower scales, such as $n^{-2}$. Obtaining information on the lower scale eigenvalues by brute force via the moment method is a difficult task, since their asymptotic contribution is negligible with respect to the contribution of the eigenvalue(s) on the scale $n^{-1}$. The trick we using to obtain information about the smaller eigenvalues is inspired by Hayden and Winter’s proof of the existence of a large eigenvalue. Their proof contains, as a byproduct, some information on the eigenvector for the large eigenvalue. We introduce the orthogonal projection $Q=I-E$, where $E=E_n$ is the maximally entangled state on a product of two copies of the output space ${ }^n{\otimes }^n$. Using the (rank $n^2-1$) projector Q, we shall obtain some information on the smallest $n^2-1$ eigenvalues of the random output matrix Z, by analyzing the “compressed” matrix $QZQ$ (which, in a suitable basis, corresponds to considering the $(1,1)$ minor of Q).

Proposition 3.2. Almost surely, the matrix $c^2{n}^{2}QZQ$ converges in distribution, to a free Poisson (or Marchenko-Pastur) law of parameter $c^2$.

Remark 3.3. By `almost surely’, we mean with probability one, in any probability space on which the whole sequence (indexed by the input dimension) of random quantum channels is defined. In this paper, we supply no proofs of almost sure convergence results, as they require further -not so enlightening- technicalities. We refer the interested reader to the appendix of [6] for details. Let us just mention that the proofs rely on the Borel-Cantelli lemma. More precisely, one proves that the covariance of any moment behaves as $O\left(n^{-2}\right)$ as the dimension goes to infinity. The fact that $O\left(n^{-2}\right)$ is summable over n makes it possible to use the Borel-Cantelli lemma.

To prove this result, one can use the arguments of Theorem 6.9 from [6] mutatis mutandis. The method of moments is employed by computing the moments of the random matrix $c^2{n}^{2}QZQ$ and showing that they converge to the corresponding moments of the free Poisson distribution of parameter $c^2$:

$$\underset{n\to \infty }{lim}\frac{1}{n^2}\mathbb{E}[Tr{\left(c^2{n}^{2}QZQ\right)}^p]=\int x^{p}d{\pi }_{c^2}\left(x\right)$$

(18)

The reader can note that the parameter b (describing the size of the entangled input) has no influence on the lower part of the spectrum. It only appears in the expression of the largest eigenvalue of Z, as stated in the following Theorem, which is the main result of this section.

Theorem 3.4. Consider a pair of conjugate random quantum channels $\Phi ,\overline{\Phi }$ in the regime where $m,n,k\to \infty$, $m\sim bn$ and $k\sim cn$. The eigenvalues ${\lambda }_1⩾\cdots ⩾{\lambda }_{n^2}$ of the random matrix $Z_n=[\Phi \otimes \overline{\Phi }]\left(E_m\right)$ are such that:

• The first eigenvalue satisfies $(c/b)n{\lambda }_1\to 1$ in probability.
• The distribution $\frac{1}{n^2-1}{\sum }_{i=2}^{n^2}{\delta }_{c^2{n}^2{\lambda }_i}$ converges almost surely to a free Poisson distribution of parameter $c^2$.

The proof of this result combines Theorems 3.1, 3.2 and Cauchy’s interlacing theorem ([19], Corollary III.1.5).

Remark 3.5. The almost sure convergence argument described in Remark 3.3 does not extend to the first item of Theorem 3.4, as the covariances tend to zero but are not summable.

4. Non-linear Output Dimension

In this section we generalize the “linear” model of [6] in a different direction than we did in Section 3. We shall consider random quantum channels $\Phi :{\mathcal{M}}_n\left(\right)\to {\mathcal{M}}_n\left(\right)$ defined by the Stinespring representation (10), where the dimension of the ancilla space ^k scales with n in a non-linear fashion:

$$k\sim c{n}^d,\text{when}n\to \infty$$

(19)

Here, $c>0$ and $d⩾0$ are two real parameters of the model. As before, we are interested in the spectral properties of the random matrix $Z=[\Phi \otimes \overline{\Phi }]\left(E_n\right)$, where $E_n$ is the rank-one projection on the maximally entangled state in the input space of the product channel, ${ }^n{\otimes }^n$.

Before performing a detailed analysis of the spectrum of Z, let us make some observations on the role of the parameters c and d, as well as on several particular cases already treated in the literature. Generally, in such models, the parameter c will play the role of a scaling parameter in the limiting spectral distribution. This phenomenon can be observed in [20], Theorem 5 or in [6], Theorem 6.11. On the other hand, the exponent parameter d will have a more qualitative role to play, as it will decide the type of behavior of the spectrum of the random matrix Z.

Several particular cases of this very general model of random quantum channels have already been studied in the literature. In [5], we studied the case where the dimension k of the ancillary system is fixed, which corresponds in our setting to the case $d=0$ (hence $k=c$). It has been shown (Section 2.4, Theorem 2.5) that in this situation, the random matrix Z has one large eigenvalue (${\lambda }_1=k^{-1}+k^{-2}-k^{-3})$) and that the rest of the spectrum is “flat”: ${\lambda }_2=\cdots ={\lambda }_{k^2}=k^{-2}-k^{-3}$. In [6], the case $d=1$ was investigated; this corresponds to a coupling with an ancilla space of dimension k which scales as $k\sim cn$. The situation was rather different in this case: one large eigenvalue of size ${\left(cn\right)}^{-1}$ was observed, and the lower spectrum was not flat, having a free Poisson ${\pi }_{c^2}$ shape. As a final remark, note that the model under study here is different than the one in Section 3, where inputs of arbitrary size were considered.

The main result of this section is the following theorem, which classifies the spectral behavior of the output random matrix Z in terms of the parameter d.

Proposition 4.1. The asymptotic moments of the random output matrix $Z=[\Phi \otimes \overline{\Phi }]\left(E_n\right)$ are given by:

• If $d=0$ (see [5]):

  $$\mathbb{E}[Tr\left(Z^p\right)]={\left(\frac{1}{c}+\frac{1}{c^2}-\frac{1}{c^3}\right)}^p+(c^2-1){\left(\frac{1}{c^2}-\frac{1}{c^3}\right)}^p+o\left(1\right)\forall p⩾2$$

  (20)
• If $d\in (0,1)$:

  $$\begin{array}{cc}& \mathbb{E}[Tr\left(Z^p\right)]\sim 2c^{-2}{n}^{-2d}\sim 2k^{-2}\mathit{if}p=2\hfill \\ & \mathbb{E}[Tr\left(Z^p\right)]\sim c^{-p}{n}^{-dp}\sim k^{-p}\forall p⩾3\hfill \end{array}$$

  (21)
• If $d=1$ (see [6]):

  $$\begin{array}{cc}& \mathbb{E}[Tr\left(Z^p\right)]\sim (1+2c^{-2})n^{-2}\mathit{if}p=2\hfill \\ & \mathbb{E}[Tr\left(Z^p\right)]\sim c^{-p}{n}^{-dp}\sim k^{-p}\forall p⩾3\hfill \end{array}$$

  (22)
• If $d\in (1,2)$:

  $$\begin{array}{cc}& \mathbb{E}[Tr\left(Z^p\right)]\sim n^{-(2p-2)}\mathit{if}p<\frac{2}{2-d}\hfill \\ & \mathbb{E}[Tr\left(Z^p\right)]\sim (1+c^{-p})n^{-dp}\sim (1+c^{-p})n^{-(2p-2)}\mathit{if}p=\frac{2}{2-d}\hfill \\ & \mathbb{E}[Tr\left(Z^p\right)]\sim c^{-p}{n}^{-dp}\sim k^{-p}\mathit{if}p>\frac{2}{2-d}\hfill \end{array}$$

  (23)
• If $d⩾2$:

  $$\begin{array}{cc}& \mathbb{E}[Tr\left(Z^p\right)]\sim n^{-(2p-2)}\forall p⩾2\hfill \end{array}$$

  (24)

Proof. The starting point of the proof is the following exact moment formula, obtained via the graphical calculus introduced in [5] and the Weingarten formula:

$$\mathbb{E}[Tr\left(Z^p\right)]=\sum _{\alpha ,\beta \in {\mathcal{S}}_{2p}}{k}^{\#\alpha }{n}^{\#\left(\alpha {\gamma }^{-1}\right)+\#\left(\beta \delta \right)-p}Wg\left(\alpha {\beta }^{-1}\right)$$

(25)

After using the asymptotic expression for the ancillary dimension $k\sim c{n}^d$ and the Weingarten function

$$\begin{array}{cc}\hfill Wg\left(\alpha {\beta }^{-1}\right)& \sim {\left(nk\right)}^{-2p-|\alpha {\beta }^{-1}|2p-|\alpha {\beta }^{-1}|}Mob\left(\alpha {\beta }^{-1}\right)\hfill \\ & \sim c^{-2p-|\alpha {\beta }^{-1}|}{n}^{-(d+1)(2p+|\alpha {\beta }^{-1}\left|\right)}Mob\left(\alpha {\beta }^{-1}\right)\hfill \end{array}$$

(26)

we obtain the following expression (which holds if the right-hand-side is non-zero):

$$\mathbb{E}[Tr\left(Z^p\right)]\sim \sum _{\alpha ,\beta \in {\mathcal{S}}_{2p}}{c}^{-\left(\right|\alpha |+|\alpha {\beta }^{-1}\left|\right)}{n}^{-S(\alpha ,\beta )}Mob\left(\alpha {\beta }^{-1}\right)$$

(27)

where $S(\alpha ,\beta )$ is the exponent of n in the preceding sum:

$$S(\alpha ,\beta )=d\left|\alpha \right|+|\alpha {\gamma }^{-1}|+|\beta \delta |+(d+1)|\alpha {\beta }^{-1}|-p$$

(28)

In this proof, since the permutation δ is a product of disjoint transpositions, thus an involution, we shall use the fact that $\left|\alpha \delta \right|=|\alpha {\delta }^{-1}|=|{\alpha }^{-1}\delta |$. In order to find the dominating terms in the sum (27), one has to minimize the quantity $S(\alpha ,\beta )$ over ${\mathcal{S}}_{2p}^2$. The solution to this problem is obtained in three steps. First, using the following triangular inequalities:

$$\begin{array}{cc}\hfill \left|\alpha \right|+|\alpha {\beta }^{-1}|& ⩾\left|\beta \right|,\hfill \\ \hfill |\alpha {\gamma }^{-1}|+|\alpha {\beta }^{-1}|& ⩾|\beta {\gamma }^{-1}|\hfill \end{array}$$

(29)

we obtain that

$$S(\alpha ,\beta )⩾d\left|\beta \right|+|\beta {\gamma }^{-1}|+|\beta \delta |-p=:S_1\left(\beta \right)$$

(30)

where the inequality can be saturated if , e.g., $\alpha =\beta$. The minimization problem for the $S_1$ function, although much simpler that the two-variable problem for S, can be further simplified by replacing the two-cycle permutation γ with the full-cycle:

$$\text{minimize}{S}_2\left(\beta \right)=d\left|\beta \right|+|\beta {\tilde{\gamma }}^{-1}|+|\beta \delta |-p$$

(31)

where $\tilde{\gamma }=(p^T\cdots 2^T{1}^T{1}^B{2}^B\cdots p^B)$. Since the permutation δ is an element of the geodesic $id\to \tilde{\gamma }$, the solution for the $S_2$ minimization problem is easy to find using one or more of the following inequalities:

$$\begin{array}{cc}\hfill |\beta |& ⩾0;\hfill \\ \hfill |\beta |+|\beta {\tilde{\gamma }}^{-1}|& ⩾|\tilde{\gamma }|=2p-1\hfill \\ \hfill |\beta \delta |+|\beta {\tilde{\gamma }}^{-1}|& ⩾|\delta {\tilde{\gamma }}^{-1}|=p-1\hfill \end{array}$$

(32)

The solution for the $S_2$ problem, in terms of the value of the parameter d, is summarized in Table 1.

Table 1. Solution to the $S_2$ minimization problem of equation (31).

d	Minorant for $S_2\left(\beta \right)$	Equality cases
0	$-1$	$\{\delta \to \tilde{\gamma }\}$
$(0,2)$	$dp-1$	δ
2	$2p-1$	$\{id\to \delta \}$
$(2,\infty )$	$2p-1$	id

Table 1. Solution to the $S_2$ minimization problem of equation (31).

d	Minorant for $S_2\left(\beta \right)$	Equality cases
0	$-1$	$\{\delta \to \tilde{\gamma }\}$
$(0,2)$	$dp-1$	δ
2	$2p-1$	$\{id\to \delta \}$
$(2,\infty )$	$2p-1$	id

Next, we move towards finding the minimum of $S_1\left(\beta \right)$, defined in equation (30). The permutations γ and $\tilde{\gamma }$ are at distance one:

$$\gamma =\tilde{\gamma }·\left(1^B{p}^T\right)$$

(33)

hence the same holds for $\beta {\gamma }^{-1}$ and $\beta {\tilde{\gamma }}^{-1}$. We have thus $S_1\left(\beta \right)=S_2\left(\beta \right)\pm 1$ and, even more precisely,

$$S_1\left(\beta \right)=\left\{\begin{array}{cc}{S}_2\left(\beta \right)-1\hfill & \text{if}{1}^B\text{and}{p}^T\text{are}\text{in}\text{the}\text{same}\text{block}\text{of}\beta {\tilde{\gamma }}^{-1}\hfill \\ S_2\left(\beta \right)+1\hfill & \text{otherwise}\hfill \end{array}\right.$$

(34)

In the same manner that is was argued in [6], $p^T$ and $1^B$ belong to the same block of $\beta {\tilde{\gamma }}^{-1}$ if and only if $\beta ⩽\gamma$ (the permutations being compared with the partial order relation on the corresponding non-crossing partitions). Analyzing the different equality cases in Table 1 and using the fact that the unique element of the geodesic set $\{id\to \delta \}$ which is smaller than γ is $\beta =id$, we conclude that, for $d⩾2$, $S_1\left(\beta \right)⩾2p-2$, with equality iff. $\beta =id$. The case $d\in [0,2)$ is more intricate, since one cannot have $S_1\left(\beta \right)=S_2\left(\beta \right)-1$ and saturate at the same time the lower bound for $S_2$.

For $d=0$, it was shown in [5] that $S_1\left(\beta \right)⩾0$, with equality iff $\beta \in \{\delta ,\gamma \}$. Choose $d\in (0,1]$ and consider $\beta \in {\mathcal{S}}_{2p}$ such that $S_1\left(\beta \right)=S_2\left(\beta \right)-1$. Then, since $\beta ⩽\gamma$, one has $\left|\beta \delta \right|⩾p$ and thus

$$\begin{array}{cc}\hfill S_1\left(\beta \right)& =S_2\left(\beta \right)-1=d\left|\beta \right|+|\beta {\gamma }^{-1}|+|\beta \delta |-p-1\hfill \\ & =d\left(\right|\beta |+|\beta {\gamma }^{-1}\left|\right)+(1-d)|\beta {\gamma }^{-1}|+|\beta \delta |-p-1\hfill \\ & ⩾d(2p-1)+(1-d)+p-p-1=d(2p-2)\hfill \end{array}$$

(35)

We conclude that, for $d\in (0,1]$, $p⩾3$ and β such that $S_1\left(\beta \right)=S_2\left(\beta \right)-1$, $S_1\left(\beta \right)>S_1\left(\delta \right)=dp$. Thus, for $d\in (0,1]$ and $p⩾3$, the minimum $dp$ is attained only at the point $\beta =\delta$. For $p=2$, an exhaustive search in $S_4$ reveals that, for $d\in (0,1)$, $S_1\left(\beta \right)⩾dp$, with equality iff $\beta =\delta ,\gamma$, and, for $d=1$, $S_1\left(\beta \right)⩾p$, with equality iff $\beta =id,\delta ,\gamma$.

In the case $d\in (1,2)$, the situation is different. We shall consider three cases:

• $\beta \notin \{id\to \tilde{\gamma }\}$. Since β is not a geodesic permutation, we have that $\left|\beta \right|+|\beta {\tilde{\gamma }}^{-1}|⩾2p+1$, $\left|\beta \right|+\left|\beta \delta \right|⩾p+2$, $\left|\beta \right|⩾1$ and $\left|\beta \delta \right|⩾1$. It follows that

  $$\begin{array}{cc}\hfill S_1\left(\beta \right)& ⩾S_2\left(\beta \right)-1⩾\left|\beta \right|+|\beta {\tilde{\gamma }}^{-1}|+(d-1)(\left|\beta \right|+\left|\beta \delta \right|)+(2-d)|\beta \delta |-p-1\hfill \\ & ⩾2p+1+(d-1)(p+2)+(2-d)-p-1=dp+d>dp=S_1\left(\delta \right)\hfill \end{array}$$

  (36)
• $\beta \in \{id\to \gamma \}$. In this situation, $S_1\left(\beta \right)=S_2\left(\beta \right)-1$ and thus (we use the fact that $\left|\beta \delta \right|⩾p$ in this case)

  $$\begin{array}{cc}\hfill S_1\left(\beta \right)& =S_2\left(\beta \right)-1⩾\left|\beta \right|+|\beta {\tilde{\gamma }}^{-1}|+(d-1)|\beta |+|\beta \delta |-p-1\hfill \\ & ⩾2p-1+0+p-p-1⩾2p-2=S_1(id)\hfill \end{array}$$

  (37)

  with equality iff. $\beta =id$.
• $\beta \in \{id\to \tilde{\gamma }\},\beta \notin \{id\to \gamma \}$. In this situation, $S_1\left(\beta \right)=S_2\left(\beta \right)+1$ and thus

  $$\begin{array}{cc}\hfill S_1\left(\beta \right)& =S_2\left(\beta \right)+1⩾\left|\beta \right|+|\beta {\tilde{\gamma }}^{-1}|+(d-1)(\left|\beta \right|+\left|\beta \delta \right|)+(2-d)|\beta \delta |-p+1\hfill \\ & ⩾2p-1+(d-1)p+(d-2)0-p+1⩾dp=S_1\left(\delta \right)\hfill \end{array}$$

  (38)

  with equality iff. $\beta =\delta$.

Analyzing the three cases, we conclude that if $p⩽2/(2-d)$, we have $S_1\left(\beta \right)⩾2p-2$, otherwise $S_1\left(\beta \right)⩾dp$, the unique minimizers being respectively $\beta =id$, $\beta =\delta$ and $\beta \in \{id,\delta \}$ for the interface case $p=2/(2-d)$. The answer to the $S_1$ minimization problem is summarized in Table 2.

In order to solve the initial problem for the two-variable function $S(\alpha ,\beta )$, one needs to notice that, for a fixed value of β, the only possibility to saturate the inequalities (29) at the same time is $\alpha =\beta$. Since,

Table 2. Solution to the $S_1$ minimization problem of equation (30).

d	Minorant for $S_1\left(\beta \right)$	Equality cases
0	0	$\{\delta \to \gamma \}$
$(0,1)(p=2)$	$2d$	$\delta ,\gamma$
$1(p=2)$	2	$id,\delta ,\gamma$
$(0,1](p⩾3)$	$dp$	δ
$(1,2)(p<\frac{2}{2-d})$	$2p-2$	id
$(1,2)(p=\frac{2}{2-d})$	$2p-2=dp$	$id,\delta$
$(1,2)(p>\frac{2}{2-d})$	$dp$	δ
$[2,\infty )$	$2p-2$	id

Table 2. Solution to the $S_1$ minimization problem of equation (30).

d	Minorant for $S_1\left(\beta \right)$	Equality cases
0	0	$\{\delta \to \gamma \}$
$(0,1)(p=2)$	$2d$	$\delta ,\gamma$
$1(p=2)$	2	$id,\delta ,\gamma$
$(0,1](p⩾3)$	$dp$	δ
$(1,2)(p<\frac{2}{2-d})$	$2p-2$	id
$(1,2)(p=\frac{2}{2-d})$	$2p-2=dp$	$id,\delta$
$(1,2)(p>\frac{2}{2-d})$	$dp$	δ
$[2,\infty )$	$2p-2$	id

for $d>0$, both these inequalities are used to go from S to $S_1$, we conclude that for strictly positive d, the solution for the S minimization problem can be found in Table 2, with $\alpha =\beta$. The solution for $d=0$ has been entirely described in [5]. One concludes by replacing the values for the minimizing permutations into equation (27).

In the cases $d=0$ and $d⩾2$, the behavior of the eigenvalues can be easily deduced from the moment information, since one can identify in the formulas the moments of some probability distribution. In the case $d=0$, as it was argued in [5], the larges eigenvalue of Z converges to $\frac{1}{c}+\frac{1}{c^2}-\frac{1}{c^3}$ and the $k^2-1$ others converge to $\frac{1}{c^2}-\frac{1}{c^3}$. Such a behavior is typical for the model we study, with a spectrum containing one large eigenvalue and $k^2-1$ (or $n^2-1$) identical smaller eigenvalues. The case $d⩾2$ is somehow atypical: all the $n^2$ eigenvalues behave like $n^{-2}$. This is due to the fact that the “large” eigenvalue, which usually behaves as $k^{-1}$ has no contribution asymptotically. We summarize these facts in the following proposition.

Proposition 4.2. In the regime $d=0$ (which corresponds to considering a fixed ancilla dimension $k=c$), the eigenvalues of the random matrix Z are such that, almost surely, in the limit $n\to \infty$,

$${\lambda }_1\to \frac{1}{c}+\frac{1}{c^2}-\frac{1}{c^3}\mathit{and}{\lambda }_2,\dots ,{\lambda }_{k^2}\to \frac{1}{c^2}-\frac{1}{c^3}$$

(39)

In the regime $d⩾2$, the (rescaled) empirical spectral distribution of Z converges to the Dirac mass at 1, ${\delta }_1$:

$$\underset{n\to \infty }{lim}\frac{1}{n^2}\sum _{i=1}^{n^2}{\delta }_{n^2{\lambda }_i}={\delta }_1$$

(40)

As in Section 3, in order to understand fully the eigenvalues of the random matrix Z, we need to understand the lower part of the spectrum, in the remaining cases $d\in (0,1)$ and $d\in (1,2)$ (the case $d=1$ being treated in [6]). This is done by “pinching” the matrix Z by the projector $Q=I-E_n$, orthogonal to the maximally entangled state $E_n$.

Proposition 4.3. The matrix $k^{2}QZQ$ converges, in moments, to the Dirac mass at 1, ${\delta }_1$.

Proof. We follow the idea of the proof of Theorem 6.10 in [6], compute the moments of the rank $k^2$ matrix $k^{2}QZQ$, and show that they converge to the corresponding moments of the limit law:

$$\underset{n\to \infty }{lim}\frac{1}{k^2}\mathbb{E}[Tr{\left(k^{2}QZQ\right)}^p]=1$$

(41)

After replacing $Q=I-E$ and developing the product, we get

$$\begin{array}{cc}\hfill \frac{1}{k^2}\mathbb{E}[Tr{\left(k^{2}QZQ\right)}^p]& =k^{2p-2}\mathbb{E}[Tr(I-E)Z(I-E)Z\cdots (I-E)Z]\hfill \\ & =c^{2p}{n}^{2p-2}\sum _{f\in {\mathcal{F}}_p}{(-1)}^{|f^{-1}\left(E\right)|}{n}^{-|f^{-1}\left(E\right)|}\mathbb{E}[Trf\left(1\right)Zf\left(2\right)Z\cdots f\left(p\right)Z]\hfill \end{array}$$

(42)

where $\mathcal{F}$ is a set of the $2^p$ choice functions $f:\{1,2,\dots ,p\}\to \{I,E\}$. The factor $n^{-|f^{-1}\left(E\right)|}$ is due to the normalization of the Bell states $E=E_n$. The moment $\mathbb{E}[Trf(1\left)Zf\right(2)Z\cdots f(p\left)Z\right]$ is computed via the graphical Weingarten calculus:

$$\mathbb{E}[Trf\left(1\right)Zf\left(2\right)Z\cdots f\left(p\right)Z]=\sum _{\alpha ,\beta \in {\mathcal{S}}_{2p}}{k}^{\#\alpha }{n}^{\#(\alpha {\widehat{f}}^{-1})+\#\left(\beta \delta \right)-p}Wg\left(\alpha {\beta }^{-1}\right)$$

(43)

where $\widehat{f}\in {\mathcal{S}}_{2p}$ is the permutation associated to the choice function $f\in {\mathcal{F}}_p$ describing the way f connects the different instances of the channel (the arithmetic operations of indices i should be understood modulo p):

$$\begin{array}{cc}\hfill i^T& \stackrel{\widehat{f}}{\mapsto }\left\{\begin{array}{cc}{(i-1)}^T\hfill & \text{if}f\left(i\right)=I\hfill \\ i^B\hfill & \text{if}f\left(i\right)=E\hfill \end{array}\right.\hfill \\ \hfill i^B& \stackrel{\widehat{f}}{\mapsto }\left\{\begin{array}{cc}{(i+1)}^B\hfill & \text{if}f(i+1)=I\hfill \\ i^T\hfill & \text{if}f(i+1)=E\hfill \end{array}\right.\hfill \end{array}$$

Exactly as in the proof of Theorem 6.10 from [5], one has to understand the possible cancellations of high powers in n. In order to do this, we rewrite the non-asymptotic equation (42) as

$$\frac{1}{k^2}\mathbb{E}[Tr{\left(k^{2}QZQ\right)}^p]=\sum _{\alpha ,\beta \in {\mathcal{S}}_{2p}}{k}^{4p-\left|\alpha \right|-2}{n}^{3p-\left|\beta \delta \right|}Wg\left(\alpha {\beta }^{-1}\right)\sum _{f\in {\mathcal{F}}_p}{(-1)}^{|f^{-1}\left(E\right)|}{n}^{-(|f^{-1}\left(E\right)|+|\alpha {\widehat{f}}^{-1}|)}.$$

(44)

As in [5], we can show that for all permutations $\alpha \in \mathcal{V}$, the sum over all choices $f\in {\mathcal{F}}_p$ is exactly zero, where

$$\begin{array}{cc}\hfill \mathcal{V}& =\{\sigma \in {\mathcal{S}}_{2p}|\exists i\in \{1,\dots ,p\}\text{s.t.}\sigma \left(i^T\right)=i^B\text{or}\sigma \left(i^B\right)=i^T\}\hfill \\ & =\{\sigma \in {\mathcal{S}}_{2p}|\sigma \delta \text{has}\text{at}\text{least}\text{one}\text{fixed}\text{point}\}\hfill \end{array}$$

(45)

Hence,

$$\frac{1}{k^2}\mathbb{E}[Tr{\left(k^{2}QZQ\right)}^p]\sim \sum _{f\in {\mathcal{F}}_p,\alpha ,\beta \in {\mathcal{S}}_{2p},\alpha \notin \mathcal{V}}{(-1)}^{|f^{-1}\left(E\right)|}{c}^{2p-2-\left(\right|\alpha |+|\alpha {\beta }^{-1}\left|\right)}{n}^{-S(\alpha ,\beta ,f)}Mob\left(\alpha {\beta }^{-1}\right)$$

(46)

where

$$S(\alpha ,\beta ,f)=\left|\beta \delta \right|+d\left|\alpha \right|+(d+1)|\alpha {\beta }^{-1}|+|f^{-1}\left(E\right)|+|\alpha {\widehat{f}}^{-1}|-p(2d+1)+2d$$

(47)

Since $\alpha \notin \mathcal{V}$, $\alpha \delta$ has no fixed point, and hence $\left|\alpha \delta \right|⩾p$. Using the facts that $|\alpha {\beta }^{-1}|+|\beta \delta |⩾\left|\alpha \delta \right|$, $|\alpha {\beta }^{-1}|⩾0$ and $\left|\alpha \right|+|\alpha {\widehat{f}}^{-1}|⩾|\widehat{f}|$, we obtain that

$$S(\alpha ,\beta ,f)⩾|f^{-1}\left(E\right)|+d|\widehat{f}|+(1-d)|\alpha {\widehat{f}}^{-1}|-2dp+2d,$$

with equality if and only if $\alpha =\beta \in \{id\to \widehat{f}\}$.

The number of cycles of $\widehat{f}$ is easily shown to be:

$$\#\widehat{f}=\left\{\begin{array}{cc}2\hfill & \text{if}f\equiv I,\hfill \\ |f^{-1}\left(E\right)|\hfill & \text{otherwise}\hfill \end{array}\right.$$

(48)

hence, $|f^{-1}\left(E\right)|+d|\widehat{f}|⩾2dp-2d$, with equality iff $f\equiv I$. We can conclude that $S(\alpha ,\beta ,f)⩾0$, with equality if and only if $\alpha =\beta =\widehat{I}=\gamma$. Replacing these values in equation (46), we obtain the announced result.

Using Cauchy’s interlacing theorem ([19], Corollary III.1.5) for the eigenvalues of $QZQ$ and those of Z, we obtain the complete description of the spectrum of the random output matrix.

Theorem 4.4. In the regime $k\sim c{n}^d$, with $d\in (0,1)$, the eigenvalues ${\lambda }_1⩾\cdots ⩾{\lambda }_{n^2}$ of $Z=[\Phi \otimes \overline{\Phi }]\left(E_n\right)$ satisfy:

• In probability, $k{\lambda }_1\to 1$.
• Almost surely, $\frac{1}{k^2-1}{\sum }_{i=2}^{k^2}{\delta }_{k^2{\lambda }_i}$ converges in distribution to the Dirac mass at 1, ${\delta }_1$.
• The remaining $n^2-k^2$ eigenvalues are null: ${\lambda }_{k^2+1}=\cdots ={\lambda }_{n^2}=0$.

We finally treat the regime $d\in (1,2)$, stating the results and underlining the (small) differences between the proofs in this case and the proofs of Proposition 4.3 and, respectively, of Theorem 4.4.

Proposition 4.5. In the regime $d\in (1,2)$, the matrix $n^{2}QZQ$ converges, in moments, to the Dirac mass at 1, ${\delta }_1$.

Proof. As in the proof of Proposition 4.3, we obtain

$$\frac{1}{n^2}\mathbb{E}[Tr{\left(n^{2}QZQ\right)}^p]\sim \sum _{f\in {\mathcal{F}}_p,\alpha ,\beta \in {\mathcal{S}}_{2p},\alpha \notin \mathcal{V}}{(-1)}^{|f^{-1}\left(E\right)|}{c}^{-\left(\right|\alpha |+|\alpha {\beta }^{-1}\left|\right)}{n}^{-S(\alpha ,\beta ,f)}Mob\left(\alpha {\beta }^{-1}\right)$$

(49)

where

$$S(\alpha ,\beta ,f)=\left|\beta \delta \right|+d\left|\alpha \right|+(d+1)|\alpha {\beta }^{-1}|+|f^{-1}\left(E\right)|+|\alpha {\widehat{f}}^{-1}|-3p+2$$

(50)

Using the same arguments as before, we obtain that

$$S(\alpha ,\beta ,f)⩾|f^{-1}\left(E\right)|+|\widehat{f}|+(d-1)|\alpha |-2p+2,$$

with equality if and only if $\alpha =\beta \in \{id\to \widehat{f}\}$.

Counting the number of cycles of $\widehat{f}$, we have that $|f^{-1}\left(E\right)|+|\widehat{f}|⩾2p-2$, with equality iff $f\equiv I$. We conclude that $S(\alpha ,\beta ,f)⩾0$, with equality if and only if $\alpha =\beta =id$. The result follows by plugging the minimizing values into the asymptotic expression (49).

Theorem 4.6. In the regime $k\sim c{n}^d$, with $d\in (1,2)$, the eigenvalues ${\lambda }_1⩾\cdots ⩾{\lambda }_{n^2}$ of $Z=[\Phi \otimes \overline{\Phi }]\left(E_n\right)$ satisfy:

• In probability, $k{\lambda }_1\to 1$.
• Almost surely, $\frac{1}{n^2-1}{\sum }_{i=2}^{n^2}{\delta }_{n^2{\lambda }_i}$ converges in distribution to the Dirac mass at 1, ${\delta }_1$.

5. Asymptotics of the Von Neumann Entropy

Using the moment information and the behavior of the lower part of the spectrum deduced in Section 4, we now analyze the von Neumann entropy of the random output matrix Z:

$$H\left(Z\right)=-\sum _{i=1}^{n^2}{\lambda }_{i}log{\lambda }_i$$

(51)

In the physical literature, the idea of using conjugate quantum channels to tackle important questions, such as the additivity of the minimum output entropy for quantum channels, dates back to the work of A. Winter and P. Hayden [3]. To bound the entropy of Z, they use the following fact, coming from linear algebra, which is independent of the random model used: the largest eigenvalue of Z is larger that the inverse of the dimension of the ancilla space, ${\lambda }_1⩾1/k$. This bound (which is actually a bound on the operator norm of Z) yields the following bound on the von Neumann entropy:

$$H\left(Z\right)⩽2logk-\frac{logk}{k}+\frac{1}{k}$$

(52)

One of the main applications of the results in this paper is the fact that our exact spectral information yield better upper bounds for the von Neumann entropy in some specific cases.

Theorem 5.1. The asymptotic von Neumann entropy of the random output matrix $Z=[\Phi \otimes \overline{\Phi }]\left(E_n\right)$ is given by:

• If $d=0$ ($k=c$ is an integer):

  $$H\left(Z\right)=-\left(\frac{1}{c}+\frac{1}{c^2}-\frac{1}{c^3}\right)log\left(\frac{1}{c}+\frac{1}{c^2}-\frac{1}{c^3}\right)-(c^2-1)\left(\frac{1}{c^2}-\frac{1}{c^3}\right)log\left(\frac{1}{c^2}-\frac{1}{c^3}\right)+o\left(1\right)$$

  (53)
• If $d\in (0,1)$:

  $$\begin{array}{cc}& H\left(Z\right)=2logk+o\left(1\right)\hfill \end{array}$$

  (54)
• If $d=1$ (see [6]):

  $$H\left(Z\right)=\left\{\begin{array}{cc}2logk-\frac{c^2}{2}+o\left(1\right)\hfill & \mathit{if}0<c<1,\hfill \\ 2logn-\frac{1}{2c^2}+o\left(1\right)\hfill & \mathit{if}c⩾1\hfill \end{array}\right.$$

  (55)
• If $d\in (1,2)$:

  $$\begin{array}{cc}& H\left(Z\right)=2logn+o\left(1\right)\hfill \end{array}$$

  (56)
• If $d⩾2$:

  $$\begin{array}{cc}& H\left(Z\right)=2logn+o\left(1\right)\hfill \end{array}$$

  (57)

One can make the following very instructive observations about the above theorem. First, notice that in all cases where $d>0$, the main contribution to the von Neumann entropy is given by the lower part of the spectrum, and not by the main eigenvalue. This is in contrast with the case of the p-Rényi entropies ($p>0$), where the largest eigenvalue gives the main contribution [3].

Another important point concerns the fixed dimension case $d=0$ and the linear case, $d=1$, $k\sim cn$. In these regimes, the entropy defect $2log(k\wedge n)-H\left(Z\right)$ is macroscopic (53), (55). This improves considerably the naive bound (52) and may provide more insight into the question of additivity of minimal output entropies, as argued in [4,10,21]. However, Hastings’ techniques [4], as well as the recent developments of Aubrun, Szarek and Werner [10] do not seem to apply to this linear regime. Studying additivity violations in the linear regime and using the bounds in Theorem 5.1 to provide larger violations remain interesting open problems.