We construct spaces of quantum increasing sequences, which give quantum
families of maps in the sense of Soltan. We then introduce a notion of quantum
spreadability for a sequence of noncommutative random variables, by requiring
their joint distribution to be invariant under taking quantum subsequences. Our
main result is a free analogue of a theorem of Ryll-Nardzewski: for an infinite
sequence of noncommutative random variables, quantum spreadability is
equivalent to free independence and identical distribution with respect to a
conditional expectation.
We prove that we have an isomorphism of type $A_{aut}(\mathbb
C_\sigma[G])\simeq A_{aut}(\mathbb C[G])^\sigma$, for any finite group $G$, and
any 2-cocycle $\sigma$ on $G$. In the particular case $G=\mathbb Z_n^2$, this
leads to a Haar-measure preserving identification between the subalgebra of
$A_o(n)$ generated by the variables $u_{ij}^2$, and the subalgebra of
$A_s(n^2)$ generated by the variables $X_{ij}=\sum_{a,b=1}^np_{ia,jb}$.
We consider the limiting distribution of $U_NA_NU_N^*$ and $B_N$ (and more
general expressions), where $A_N$ and $B_N$ are $N \times N$ matrices with
entries in a unital C$^*$-algebra $\mathcal B$ which have limiting $\mathcal
B$-valued distributions as $N \to \infty$, and $U_N$ is a $N \times N$ Haar
distributed quantum unitary random matrix with entries independent from
$\mathcal B$. Under a boundedness assumption, we show that $U_NA_NU_N^*$ and
$B_N$ are asymptotically free with amalgamation over $\mathcal B$.
We consider several orthogonal quantum groups satisfying the easiness
assumption axiomatized in our previous paper. For each of them we discuss the
computation of the asymptotic law of Tr(u^k) with respect to the Haar measure,
u being the fundamental representation. For the classical groups O_n, S_n we
recover in this way some well-known results of Diaconis and Shahshahani.
We consider several orthogonal quantum groups satisfying the easiness
assumption axiomatized in our previous paper. For each of them we discuss the
computation of the asymptotic law of Tr(u^k) with respect to the Haar measure,
u being the fundamental representation. For the classical groups O_n, S_n we
recover in this way some well-known results of Diaconis and Shahshahani.