
Let $\psi\rangle\langle \psi$ be a random pure state on
$\mathbb{C}^{d^2}\otimes \mathbb{C}^s$, where $\psi$ is a random unit vector
uniformly distributed on the sphere in $\mathbb{C}^{d^2}\otimes \mathbb{C}^s$.
Let $\rho_1$ be random induced states
$\rho_1=Tr_{\mathbb{C}^s}(\psi\rangle\langle \psi )$ whose distribution is
$\mu_{d^2,s}$; and let $\rho_2$ be random induced states following the same
distribution $\mu_{d^2,s}$ independent from $\rho_1$. Let $\rho$ be a random
state induced by the entanglement swapping of $\rho_1$ and $\rho_2$. We show
that the empirical spectrum of $\rho {1\mkern 4mu{\rm l}}/d^2$ converges
almost surely to the MarcenkoPastur law with parameter $c^2$ as $d\rightarrow
\infty$ and $s/d \rightarrow c$. As an application, we prove that the state
$\rho$ is separable generically if $\rho_1, \rho_2$ are PPT entangled.

Bhat characterizes the family of linear maps defined on $B(\mathcal{H})$
which preserve unitary conjugation. We generalize this idea and study the maps
with a similar equivariance property on finitedimensional matrix algebras. We
show that the maps with equivariance property are significant to study
$k$positivity of linear maps defined on finitedimensional matrix algebras.
Choi showed that $n$positivity is different from $(n1)$positivity for the
linear maps defined on $n$ by $n$ matrix algebras. In this paper, we present a
parametric family of linear maps $\Phi_{\alpha, \beta,n} : M_{n}(\mathbb{C})
\rightarrow M_{n^{2}}(\mathbb{C})$ and study the properties of positivity,
completely positivity, decomposability etc. We determine values of parameters
$\alpha$ and $\beta$ for which the family of maps $\Phi_{\alpha, \beta,n}$ is
positive for any natural number $n \geq 3$. We focus on the case of $n=3,$ that
is, $\Phi_{\alpha, \beta,3}$ and study the properties of $2$positivity,
completely positivity and decomposability. In particular, we give values of
parameters $\alpha$ and $\beta$ for which the family of maps $\Phi_{\alpha,
\beta,3}$ is $2$positive and not completely positive.

Consider a finite sequence of independent random permutations, chosen
uniformly either among all permutations or among all matchings on n points. We
show that, in probability, as n goes to infinity, these permutations viewed as
operators on the (n1) dimensional vector space orthogonal to the vector with
all coordinates equal to 1, are asymptotically strongly free. Our proof relies
on the development of a matrix version of the nonbacktracking operator theory
and a refined trace method.
As a byproduct, we show that the nontrivial eigenvalues of random nlifts of
a fixed based graphs approximately achieve the AlonBoppana bound with high
probability in the large n limit. This result generalizes Friedman's Theorem
stating that with high probability, the Schreier graph generated by a finite
number of independent random permutations is close to Ramanujan.
Finally, we extend our results to tensor products of random permutation
matrices. This extension is especially relevant in the context of quantum
expanders.

The LittlewoodRichardson process is a discrete random point process arising
from the isotypic decomposition of tensor products of irreducible
representations of $\operatorname{GL}_N(\mathbb{C})$. BianePerelomovPopov
matrices are quantum random matrices obtained as the geometric quantization of
random Hermitian matrices with deterministic eigenvalues and uniformly random
eigenvectors. As first observed by Biane, correlation functions of certain
global observables of the LR process coincide with correlation functions of
linear statistics of sums of classically independent BPP matrices, thereby
enabling a random matrix approach to the statistical study of
$\operatorname{GL}_N(\mathbb{C})$ tensor products. In this paper, we prove an
optimal result: classically independent BPP matrices become freely independent
in any semiclassical/largedimension limit. This proves and generalizes a
conjecture of Bufetov and Gorin, and leads to a Law of Large Numbers for the
BPP observables of the LR process which holds in any and all semiclassical
scalings.

In this paper, we study random matrix models which are obtained as a
noncommutative polynomial in random matrix variables of two kinds: (a) a first
kind which have a discrete spectrum in the limit, (b) a second kind which have
a joint limiting distribution in Voiculescu's sense and are globally
rotationally invariant. We assume that each monomial constituting this
polynomial contains at least one variable of type (a), and show that this
random matrix model has a set of eigenvalues that almost surely converges to a
deterministic set of numbers that is either finite or accumulating to only zero
in the large dimension limit. For this purpose we define a framework (cyclic
monotone independence) for analyzing discrete spectra and develop the moment
method for the eigenvalues of compact (and in particular Schatten class)
operators. We give several explicit calculations of discrete eigenvalues of our
model.

Weingarten calculus is a completely general and explicit method to compute
the moments of the Haar measure on compact subgroups of matrix algebras.
Particular cases of this calculus were initiated by theoretical physicists 
including Weingarten, after whom this calculus was coined by the first author,
after investigating it systematically. Substantial progress was achieved
subsequently by the second author and coworkers, based on representation
theoretic and combinatorial techniques. All formulas of `Weingarten calculus'
are in the spirit of Weingarten's seminal paper [W78]. However, modern proofs
are very different from Weingarten's initial ideas. In this paper, we revisit
Weingarten's initial proof and we illustrate its power by uncovering two new
important applications: (i) a uniform bound on the Weingarten function, that
subsumes existing uniform bounds, and is optimal up to a polynomial factor, and
(ii) an extension of Weingarten calculus to symmetric spaces and conceptual
proofs of identities established by the second author.

The convex set of quantum states of a composite $K \times K$ system with
positive partial transpose is analysed. A version of the hit and run algorithm
is used to generate a sequence of random points covering this set uniformly and
an estimation for the convergence speed of the algorithm is derived. For $K\ge
3$ this algorithm works faster than sampling over the entire set of states and
verifying whether the partial transpose is positive. The level density of the
PPT states is shown to differ from the MarchenkoPastur distribution, supported
in [0,4] and corresponding asymptotically to the entire set of quantum states.
Based on the shifted semicircle law, describing asymptotic level density of
partially transposed states, and on the level density for the Gaussian unitary
ensemble with constraints for the spectrum we find an explicit form of the
probability distribution supported in [0,3], which describes well the level
density obtained numerically for PPT states.

In this paper we describe a class of highly entangled subspaces of a tensor
product of finite dimensional Hilbert spaces arising from the representation
theory of free orthogonal quantum groups. We determine their largest singular
values and obtain lower bounds for the minimum output entropy of the
corresponding quantum channels. An application to the construction of
$d$positive maps on matrix algebras is also presented.

We introduce the concept of accessibility and prove that any convex body $X$
in $\mathbb R^d$ is accessible with relevant constants depending on $d$ only.
This property leads to a new algorithm which may be considered as a natural
derandomization of the hit and run algorithm applied to generate a sequence of
random points covering $X$ uniformly. We prove stability of the Markov chain
generated by the proposed algorithm and provide its rate of convergence.

In this paper, we consider the following question and variants thereof: given
$\mathbf D:=\big(a_{1;i}\otimes\cdots\otimes a_{K;i}:i\in I\big)$, a collection
of elementary tensor noncommutative random variables in the tensor product of
probability spaces $(\mathcal A_1\otimes\cdots\otimes\mathcal
A_K,\phi_1\otimes\cdots\otimes\phi_K)$, when is $\mathbf D$ $*$free? (See
Section 1.2 for a precise formulation of this problem.)
Settling whether or not freeness occurs in tensor products is a recurring
problem in operator algebras, and the following two examples provide a natural
motivation for the above question:
(A) If $(a_{1;i}:i\in I)$ is a $*$free family of Haar unitary variables and
$a_{k,i}$ are arbitrary unitary variables for $k\geq2$, then the $*$freeness
persists at the level of the tensor product $\mathbf D$.
(B) A converse of (A) holds true if all variables $a_{k;i}$ are grouplike
elements (see Corollary 1.7 of Proposition 1.6).
It is therefore natural to seek to understand the extent to which such simple
characterizations hold true in more general cases. While our results fall short
of a complete characterization, we make notable steps toward identifying
necessary and sufficient conditions for the freeness of $\mathbf D$. For
example, we show that under evident assumptions, if more than one family
$(a_{k,i}:i\in I)$ contains nonunitary variables, then the tensor family fails
to be $*$free (see Theorem 1.8 (1)).

We derive a Laurent series expansion for the structure coefficients appearing
in the dual basis corresponding to the Kauffman diagram basis of the
TemperleyLieb algebra $\text{TL}_k(d)$, converging for all complex loop
parameters $d$ with $d > 2\cos\big(\frac{\pi}{k+1}\big)$. In particular, this
yields a new formula for the structure coefficients of the JonesWenzl
projection in $\text{TL}_k(d)$. The coefficients appearing in each Laurent
expansion are shown to have a natural combinatorial interpretation in terms of
a certain graph structure we place on noncrossing pairings, and these
coefficients turn out to have the remarkable property that they either always
positive integers or always negative integers. As an application, we answer
affirmatively a question of Vaughan Jones, asking whether every TemperleyLieb
diagram appears with nonzero coefficient in the expansion of each dual basis
element in $\text{TL}_k(d)$ (when $d \in \mathbb R \backslash
[2\cos\big(\frac{\pi}{k+1}\big),2\cos\big(\frac{\pi}{k+1}\big)]$).
Specializing to JonesWenzl projections, this result gives a new proof of a
result of Ocneanu, stating that every TemperleyLieb diagram appears with
nonzero coefficient in a JonesWenzl projection. Our methods establish a
connection with the Weingarten calculus on free quantum groups, and yield as a
byproduct improved asymptotics for the free orthogonal Weingarten function.

We give a simple and conceptual proof of the fact that random unitary
channels yield violation of the Minimum Output Entropy additivity. The proof
relies on strong convergence of random unitary matrices and Haagerup's
inequality.

The purpose of this review article is to present some of the latest
developments using random techniques, and in particular, random matrix
techniques in quantum information theory. Our review is a blend of a rather
exhaustive review, combined with more detailed examples  coming from research
projects in which the authors were involved. We focus on two main topics,
random quantum states and random quantum channels. We present results related
to entropic quantities, entanglement of typical states, entanglement
thresholds, the output set of quantum channels, and violations of the minimum
output entropy of random channels.

We apply random matrix and free probability techniques to the study of linear
maps of interest in quantum information theory. Random quantum channels have
already been widely investigated with spectacular success. Here, we are
interested in more general maps, asking only for $k$positivity instead of the
complete positivity required of quantum channels. Unlike the theory of
completely positive maps, the theory of $k$positive maps is far from being
completely understood, and our techniques give many new parametrized families
of such maps. We also establish a conceptual link with free probability theory,
and show that our constructions can be obtained to some extent without random
techniques in the setup of free products of von Neumann algebras. Finally, we
study the properties of our examples and show that for some parameters, they
are indecomposable. In particular, they can be used to detect the presence of
entanglement missed by the partial transposition test, that is, PPT
entanglement. As an application, we considerably refine our understanding of
PPT states in the case where one of the spaces is large whereas the other one
remains small.

For a compact quantum group $\mathbb G$ of Kac type, we study the existence
of a Haar tracepreserving embedding of the von Neumann algebra
$L^\infty(\mathbb G)$ into an ultrapower of the hyperfinite II$_1$factor (the
Connes embedding property for $L^\infty(\mathbb G)$). We establish a connection
between the Connes embedding property for $L^\infty(\mathbb G)$ and the
structure of certain quantum subgroups of $\mathbb G$, and use this to prove
that the II$_1$factors $L^\infty(O_N^+)$ and $L^\infty(U_N^+)$ associated to
the free orthogonal and free unitary quantum groups have the Connes embedding
property for all $N \ge 4$. As an application, we deduce that the free entropy
dimension of the standard generators of $L^\infty(O_N^+)$ equals $1$ for all $N
\ge 4$. We also mention an application of our work to the problem of
classifying the quantum subgroups of $O_N^+$.

The Brownian motion $(U^N_t)_{t\ge 0}$ on the unitary group converges, as a
process, to the free unitary Brownian motion $(u_t)_{t\ge 0}$ as $N\to\infty$.
In this paper, we prove that it converges strongly as a process: not only in
distribution but also in operator norm. In particular, for a fixed time $t>0$,
we prove that the spectral measure has a hard edge: there are no outlier
eigenvalues in the limit. We also prove an extension theorem: any strongly
convergent collection of random matrix ensembles independent from a unitary
Brownian motion also converge strongly jointly with the Brownian motion. We
give an application of this strong convergence to the Jacobi process.

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.

In a previous paper, we proved that the limit of the collection of possible
eigenvalues of output states of a random quantum channel is a deterministic,
compact set K_{k,t}. We also showed that the set K_{k,t} is obtained, up to an
intersection, as the unit ball of the dual of a free compression norm. In this
paper, we identify the maximum of l^p norms on the set K_{k,t} and prove that
the maximum is attained on a vector of shape (a,b,...,b) where a > b. In
particular, we compute the precise limit value of the minimum output entropy of
a single random quantum channel. As a corollary, we show that for any eps > 0,
it is possible to obtain a violation for the additivity of the minimum output
entropy for an output dimension as low as 183, and that for appropriate choice
of parameters, the violation can be as large as log 2  eps. Conversely, our
result implies that, with probability one, one does not obtain a violation of
additivity using conjugate random quantum channels and the Bell state, in
dimension 182 and less.

We analyze the numerical range of highdimensional random matrices, obtaining
limit results and corresponding quantitative estimates in the nonlimit case.
For a large class of random matrices their numerical range is shown to converge
to a disc. In particular, numerical range of complex Ginibre matrix almost
surely converges to the disk of radius $\sqrt{2}$. Since the spectrum of
nonhermitian random matrices from the Ginibre ensemble lives asymptotically in
a neighborhood of the unit disk, it follows that the outer belt of width
$\sqrt{2}1$ containing no eigenvalues can be seen as a quantification the
nonnormality of the complex Ginibre random matrix. We also show that the
numerical range of upper triangular Gaussian matrices converges to the same
disk of radius $\sqrt{2}$, while all eigenvalues are equal to zero and we prove
that the operator norm of such matrices converges to $\sqrt{2e}$.

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 study the liberation process for projections: $(p,q)\mapsto (p_t,q)=
(u_tpu_t^\ast,q)$ where $u_t$ is a free unitary Brownian motion freely
independent from $\{p,q\}$. Its action on the operatorvalued angle $qp_tq$
between the projections induces a flow on the corresponding spectral measures
$\mu_t$; we prove that the Cauchy transform of the measure satisfies a
holomorphic PDE. We develop a theory of subordination for the boundary values
of this PDE, and use it to show that the spectral measure $\mu_t$ possesses a
piecewise analytic density for any $t>0$ and any initial projections of trace
$\frac12$. We us this to prove the Unification Conjecture for free entropy and
information in this trace $\frac12$ setting.

In this paper, we establish an explicit isomorphism between the symmetric
group algebra and the path algebra of the Young graph. Specifically, we
construct a family of matrix units in the group algebra. As a main application
of this construction, we obtain new formulas, alternative to Weingarten
calculus, for the integral of a polynomial over the unitary group with respect
to the Haar measure. In particular, we obtain a closed formula for the law of
moments of the first k rows of the unitary group.

We study asymptotics of representations of the unitary groups U(n) in the
limit as n tends to infinity and we show that in many aspects they behave like
large random matrices. In particular, we prove that the highest weight of a
random irreducible component in the Kronecker tensor product of two irreducible
representations behaves asymptotically in the same way as the spectrum of the
sum of two large random matrices with prescribed eigenvalues. This agreement
happens not only on the level of the mean values (and thus can be described
within Voiculescu's free probability theory) but also on the level of
fluctuations (and thus can be described within the framework of higher order
free probability).

We characterize in terms of inequalities the possible generalized singular
numbers of a product AB of operators A and B having given generalized singular
numbers, in an arbitrary finite von Neumann algebra. We also solve the
analogous problem in matrix algebras M_n(C), which seems to be new insofar as
we do not require A and B to be invertible.

In this paper, we obtain a property of the expectation of the inverse of
compound Wishart matrices which results from their orthogonal invariance. Using
this property as well as results from random matrix theory (RMT), we derive the
asymptotic effect of the noise induced by estimating the covariance matrix on
computing the risk of the optimal portfolio. This in turn enables us to get an
asymptotically unbiased estimator of the risk of the optimal portfolio not only
for the case of independent observations but also in the case of correlated
observations. This improvement provides a new approach to estimate the risk of
a portfolio based on covariance matrices estimated from exponentially weighted
moving averages of stock returns.