{Tr}(p_1(X_N)q_1(Y_N)\cdots p_m(X_N)q_m(Y_N))\cdot \\
&\quad\overline{\mathrm{Tr}(\tilde p_1(X_N)\tilde q_1(Y_N)\cdots \tilde p_{\tilde m}(X_N)\tilde q_{\tilde m}(Y_N))}\,\big) \\
&=\begin{cases}
\sum_{\ell=0}^{m-1}\prod_{j=1}^m\tau(p_j(s)\tilde p_{j+\ell}(s))\tau(q_j(s)\tilde q_{j+\ell}(s)),&m=\tilde m \\
0,&m\ne\tilde m,\end{cases}\end{aligned}$$ where the subscripts of $p$ and $q$ are taken modulo $m$. Furthermore, for any polynomial $r$, we have $$\begin{aligned}
\lim_{N\to\infty}E\big(\mathrm{Tr}(p_1(X_N)q_1(Y_N)\cdots p_m(X_N)q_m(Y_N)){{\mathrm{Tr}}}(r(X_N))\big)&=0 \\
\lim_{N\to\infty}E\big(\mathrm{Tr}(p_1(X_N)q_1(Y_N)\cdots p_m(X_N)q_m(Y_N)){{\mathrm{Tr}}}(r(Y_N))\big)&=0.\end{aligned}$$

If $\mathfrak{A}$ is any unital algebra and if $a_1,a_2\in\mathfrak{A}$, we let $${{\mathrm{ev}}}_{a_1,a_2}:\mathbb{C}\langle x_1,x_2\rangle\to\mathfrak{A}$$ be the algebra homomorphism given by $${{\mathrm{ev}}}_{a_1,a_2}(P)=P(a_1,a_2).$$ In the corollary below, which follows directly from Theorem \[MS\] and Proposition \[prop:johansson\], we take as $\mathfrak{A}$ the algebra of random matrices (over a fixed probability space) whose entries have moments of all orders.

\[cor:MS\] Let $u$ and $v
{ Tr}(p_1(X_N)q_1(Y_N)\cdots p_m(X_N)q_m(Y_N))\cdot \\ 
 & \quad\overline{\mathrm{Tr}(\tilde p_1(X_N)\tilde q_1(Y_N)\cdots \tilde p_{\tilde m}(X_N)\tilde q_{\tilde m}(Y_N))}\,\big) \\ 
 & = \begin{cases } 
 \sum_{\ell=0}^{m-1}\prod_{j=1}^m\tau(p_j(s)\tilde p_{j+\ell}(s))\tau(q_j(s)\tilde q_{j+\ell}(s)),&m=\tilde m \\ 
 0,&m\ne\tilde m,\end{cases}\end{aligned}$$ where the subscripts of $ p$ and $ q$ are taken modulo $ m$. Furthermore, for any polynomial $ r$, we have $ $ \begin{aligned } 
 \lim_{N\to\infty}E\big(\mathrm{Tr}(p_1(X_N)q_1(Y_N)\cdots p_m(X_N)q_m(Y_N)){{\mathrm{Tr}}}(r(X_N))\big)&=0 \\ 
 \lim_{N\to\infty}E\big(\mathrm{Tr}(p_1(X_N)q_1(Y_N)\cdots p_m(X_N)q_m(Y_N)){{\mathrm{Tr}}}(r(Y_N))\big)&=0.\end{aligned}$$ 

 If $ \mathfrak{A}$ is any unital algebra and if $ a_1,a_2\in\mathfrak{A}$, we let $ $ { { \mathrm{ev}}}_{a_1,a_2}:\mathbb{C}\langle x_1,x_2\rangle\to\mathfrak{A}$$ constitute the algebra homomorphism render by $ $ { { \mathrm{ev}}}_{a_1,a_2}(P)=P(a_1,a_2).$$ In the corollary below, which follows directly from Theorem \[MS\ ] and Proposition \[prop: johansson\ ], we take as $ \mathfrak{A}$ the algebra of random matrix (over a fixed probability space) whose submission give birth moments of all orders. 

 \[cor: MS\ ] Let $ u$ and $ v
{Tr}(p_1(D_N)q_1(Y_N)\cdots p_m(X_N)q_m(Y_N))\cdot \\
&\duad\overline{\matkem{Tr}(\tinde p_1(X_H)\tilde q_1(H_N)\cdots \tilde p_{\tilde m}(X_N)\tildx q_{\tulde n}(Y_N))}\,\big) \\
&=\begin{cases}
\sum_{\elu=0}^{m-1}\prod_{j=1}^m\twu(p_j(s)\tilee p_{o+\ell}(s))\tau(q_j(s)\tilde q_{j+\ell}(s)),&m=\bnlde j \\
0,&m\ne\ciode m,\end{cases}\ekd{aligned}$$ wvere the subscsiotd of $p$ and $q$ are taken modulo $m$. Furehermorr, vor any polynoiial $w$, we have $$\begin{aligned}
\lim_{N\to\infty}E\big(\mzthrm{Tr}(k_1(X_N)q_1(Y_N)\cdots p_m(X_N)q_m(U_N)){{\mathrm{Tr}}}(r(X_N))\big)&=0 \\
\lim_{N\to\infhy}E\blg(\mathrm{Tr}(p_1(X_N)q_1(Y_N)\cdlts p_m(X_N)q_m(Y_B)){{\matrem{Tr}}}(r(Y_N))\big)&=0.\ena{aligned}$$

If $\mathfrak{A}$ ia any unital algebra and if $a_1,a_2\iv\mathyrak{A}$, we lej $${{\jahvrm{ev}}}_{a_1,a_2}:\mathub{C}\landle x_1,x_2\rangle\bp\mathfsak{A}$$ be the algebra hpmokorphism given by $${{\mathrm{xv}}}_{a_1,a_2}(P)=P(a_1,a_2).$$ In the corojlary belmw, which follows dieextly xrom Theueem \[MS\] aid Lroposltikn \[prop:johznsson\], we tqke as $\mathfrak{A}$ tht ajtebra of randkm matwises (over a fixed probability space) whost entdies have moments of alo orders.

\[cor:MS\] Let $u$ ajd $v
{Tr}(p_1(X_N)q_1(Y_N)\cdots p_m(X_N)q_m(Y_N))\cdot \\ &\quad\overline{\mathrm{Tr}(\tilde p_1(X_N)\tilde q_1(Y_N)\cdots \tilde q_{\tilde \\ &=\begin{cases} p_{j+\ell}(s))\tau(q_j(s)\tilde q_{j+\ell}(s)),&m=\tilde m subscripts $p$ and $q$ taken modulo $m$. for any polynomial $r$, we have \lim_{N\to\infty}E\big(\mathrm{Tr}(p_1(X_N)q_1(Y_N)\cdots p_m(X_N)q_m(Y_N)){{\mathrm{Tr}}}(r(X_N))\big)&=0 \\ \lim_{N\to\infty}E\big(\mathrm{Tr}(p_1(X_N)q_1(Y_N)\cdots p_m(X_N)q_m(Y_N)){{\mathrm{Tr}}}(r(Y_N))\big)&=0.\end{aligned}$$ If $\mathfrak{A}$ is any unital algebra and if we let $${{\mathrm{ev}}}_{a_1,a_2}:\mathbb{C}\langle x_1,x_2\rangle\to\mathfrak{A}$$ be the algebra homomorphism given by $${{\mathrm{ev}}}_{a_1,a_2}(P)=P(a_1,a_2).$$ In the below, follows from \[MS\] and Proposition \[prop:johansson\], we take as $\mathfrak{A}$ the algebra of random matrices (over a fixed space) whose entries have moments of all orders. Let $u$ and $v
{Tr}(p_1(X_N)q_1(Y_N)\cdots p_m(X_N)q_m(Y_N))\cdot \\
&\Quad\overliNe{\matHrm{tr}(\tIlDe p_1(X_n)\tilDe q_1(Y_N)\cdots \tildE P_{\tilDe m}(X_N)\tilde q_{\tilde m}(Y_N))}\,\big) \\
&=\Begin{CaSEs}
\suM_{\ElL=0}^{m-1}\proD_{j=1}^m\tau(p_J(S)\tILDe p_{J+\eLl}(S))\taU(q_J(S)\tIlde q_{J+\elL}(s)),&m=\tildE m \\
0,&m\ne\tilde M,\enD{cAses}\end{alignED}$$ wHere the subScrIpts of $p$ and $q$ aRe tAken moDuLo $m$. fUrtheRmoRe, for Any polYNomial $R$, we have $$\beGiN{AligneD}
\Lim_{N\to\iNFTy}e\big(\Mathrm{Tr}(p_1(X_N)q_1(Y_N)\cdoTS p_M(x_N)q_m(Y_N)){{\mathrm{Tr}}}(R(X_N))\big)&=0 \\
\LiM_{n\tO\INftY}E\bIg(\mathrm{Tr}(P_1(X_n)q_1(Y_N)\cDOts p_m(X_N)Q_M(Y_n)){{\MAThrM{tr}}}(r(Y_N))\big)&=0.\end{alIgned}$$

If $\mathFRak{a}$ is any UnItaL AlgebrA and iF $a_1,A_2\In\mAthfrak{A}$, we lEt $${{\maThrm{ev}}}_{a_1,a_2}:\mAthbb{C}\LAngle x_1,x_2\RAngle\to\MathfrAk{A}$$ Be tHe alGEbRa HomOmORphISm GivEN by $${{\Mathrm{ev}}}_{A_1,a_2}(p)=P(A_1,a_2).$$ In tHe coROLLAry bEloW, whiCh folLows directly fRom theoREm \[Ms\] and PRoposItioN \[pRop:joHanssoN\], we taKe As $\mathfrak{A}$ the aLgebRa of randoM maTrIceS (oVer a fIXed proBabIliTy space) Whose enTRieS hAVE MoMents of all orders.

\[coR:Ms\] lEt $U$ and $v
{Tr}(p_1(X_N)q_1(Y_N)\cdot s p_m(X_N) q_m(Y _N) )\c do t \\ 
&\q uad\overline{\ m athr m{Tr}(\tilde p_1(X_N)\ tilde  q _ 1(Y_ N )\ cdots  \tilde p_ { \ til de  m }(X _N ) \t ildeq_{ \tildem}(Y_N))}\ ,\b ig ) \\
&=\begi n {c ases}
\sum _{\ ell=0}^{m-1} \pr od_{j= 1} ^m\ t au(p_ j(s )\til de p_{ j +\ell} (s))\tau( q_ j (s)\ti l de q_{j + \ el l}(s )),&m=\tilde m \\ 0, & m\ne\tilde m,\ end{ca se s }\ e n d{a lig ned}$$ whe re  thes ubscrip t so f $p$ and $q$ are t aken modulo $m$ . Furt he rmo r e, for  anypo l yno mial $r$, w e ha ve $$\beg in{ali g ned}
\l i m_{N\to \infty }E\ big (\ma t hr m{ Tr} (p _ 1(X _ N) q_1 ( Y_N )\cdotsp_ m( X_N)q _m(Y _ N ) ) {{\m ath rm{T r}}}( r(X_N))\big)& =0\\
\ l im_ {N\to \inft y}E\ bi g(\ma thrm{T r}(p_ 1( X_N)q_1(Y_N)\cd otsp_m(X_N)q _m( Y_ N)) {{ \math r m{Tr}} }(r (Y_ N))\big )&=0.\e n d{a li g n e d} $$

If $\mathfrak{ A} $ is  any uni tal al g eb ra and if $ a_ 1,a _2\i n \ mathf rak{ A }$ , we let  $${{\ m at hr m{ev}}} _{ a_1,a_ 2} :\m ath bb{C} \ lang le x_1 ,x_2\ran gle\t o \mathfrak{A}$$ be the algebr a  h o m om o rphi smgiven by $$ {{\m a thrm {ev} } }_ {a_ 1 ,a_2} (P)=P (a _ 1, a _2).$$ In the corol la ry bel ow, w hich followsdirectly f r o m  Theorem  \[M S \] and Propositio n \[p rop:johans s on\], we  take  as $\ma thfrak{A} $ the alge bra  of  ra ndo m ma trices (overa fixe dprobabi lit y space ) w hos e e ntr ie s have mo ments of  a ll  o rd ers .

\[ c or:MS\]Le t $ u$  an d $v
{Tr}(p_1(X_N)q_1(Y_N)\cdots p_m(X_N)q_m(Y_N))\cdot_\\
&\quad\overline{\mathrm{Tr}(\tilde p_1(X_N)\tilde_q_1(Y_N)\cdots \tilde p_{\tilde m}(X_N)\tilde_q_{\tilde m}(Y_N))}\,\big)_\\
&=\begin{cases}
\sum_{\ell=0}^{m-1}\prod_{j=1}^m\tau(p_j(s)\tilde_p_{j+\ell}(s))\tau(q_j(s)\tilde q_{j+\ell}(s)),&m=\tilde_m_\\
0,&m\ne\tilde m,\end{cases}\end{aligned}$$ where_the subscripts of_$p$ and $q$ are_taken modulo $m$._Furthermore,_for any polynomial $r$, we have $$\begin{aligned}
\lim_{N\to\infty}E\big(\mathrm{Tr}(p_1(X_N)q_1(Y_N)\cdots p_m(X_N)q_m(Y_N)){{\mathrm{Tr}}}(r(X_N))\big)&=0 \\
\lim_{N\to\infty}E\big(\mathrm{Tr}(p_1(X_N)q_1(Y_N)\cdots p_m(X_N)q_m(Y_N)){{\mathrm{Tr}}}(r(Y_N))\big)&=0.\end{aligned}$$

If $\mathfrak{A}$ is any unital_algebra_and if_$a_1,a_2\in\mathfrak{A}$,_we_let $${{\mathrm{ev}}}_{a_1,a_2}:\mathbb{C}\langle x_1,x_2\rangle\to\mathfrak{A}$$ be the_algebra homomorphism given by $${{\mathrm{ev}}}_{a_1,a_2}(P)=P(a_1,a_2).$$_In the_corollary below, which follows directly from Theorem \[MS\]_and_Proposition \[prop:johansson\], we_take as $\mathfrak{A}$ the algebra of random matrices (over_a fixed probability space) whose entries_have moments of_all_orders.

\[cor:MS\]_Let $u$ and $v