1 {\mathbf{a}}_2\cdots {\mathbf{a}}_k)=0$$ for all ${\mathbf{a}}_i \in
\mathcal{A}_{j_i}$ whenever $\tau({\mathbf{a}}_i)=0$ for every $1\leq i \leq
k$.

Random variables in a noncommutative probability space $(\mathcal{A},\tau)$ are said to be free if the subalgebras generated by them and ${\mathbb I}$ are free.

We say that a family of sequences of random matrices $(\{{\mathbf A}_n(l)\};l=1,\ldots,m)$ is asymptotically free (*cf.* [@Hiai-Petz]) if for every noncommutative polynomial $p$ in $m$ variables $${{\rm tr}}_n \left( p({\mathbf A}_n(1),\ldots,{\mathbf A}_n(m))\right)
\xrightarrow{n\to \infty} \tau \left( p({\mathbf{a}}_1,\ldots,{\mathbf{a}}_m)\right)
\qquad a.s.$$ where $({\mathbf{a}}_1,\ldots,{\mathbf{a}}_m)$ is a family of free noncommutative random variables in some noncommutative probability space $(\mathcal{A},\tau)$.

\[folk\] If $(\{{\mathbf A}_n(l)\};l=1,\dots,m)$ is a family of independent $\mathbf{Wigner}(n,1)$ matrices for which $E(|A_{12}(l)|^4)< \infty$ and $E(A_{11}^2(l))<\infty$, then $(\{{\mathbf A}_n(l)\};l=1,\dots,m)$ is asymptotically free.

Proof of Theorem \[folk\]
-------------------------

In [@capitaine-2005], Capitaine and Donati-Martin showed the asymptotic freeness for independent Wigner matrices when the distribution of the entries is symmetric and satisfies Poincaré inequality. Recently, Guionnet [@Guionnet2006] gave a proof where she assumes that all the moments of the entries exist. Szarek [@Szarek] showed us a proof for symmetric and non-symmetric matrices with uniformly bounded entries. Szarek’s proof, in brief, is based on concentration inequalities and some tools of operator theory. In this paper, we are going to give a combinatorial proof for the case of Hermitian Wigner matrices with finite variance and fourth moment of the entries.


1 { \mathbf{a}}_2\cdots { \mathbf{a}}_k)=0$$ for all $ { \mathbf{a}}_i \in 
 \mathcal{A}_{j_i}$ whenever $ \tau({\mathbf{a}}_i)=0 $ for every $ 1\leq i \leq 
 k$. 

 Random variables in a noncommutative probability space $ (\mathcal{A},\tau)$ are said to be free if the subalgebras generate by them and $ { \mathbb I}$ are spare. 

 We say that a family of sequences of random matrix $ (\{{\mathbf A}_n(l)\};l=1,\ldots, m)$ is asymptotically free (* cf. * [ @Hiai - Petz ]) if for every noncommutative polynomial $ p$ in $ m$ variable $ $ { { \rm tr}}_n \left (p({\mathbf A}_n(1),\ldots,{\mathbf A}_n(m))\right) 
 \xrightarrow{n\to \infty } \tau \left (p({\mathbf{a}}_1,\ldots,{\mathbf{a}}_m)\right) 
 \qquad a.s.$$ where $ ({ \mathbf{a}}_1,\ldots,{\mathbf{a}}_m)$ is a kin of free noncommutative random variables in some noncommutative probability space $ (\mathcal{A},\tau)$. 

 \[folk\ ] If $ (\{{\mathbf A}_n(l)\};l=1,\dots, m)$ is a family of autonomous $ \mathbf{Wigner}(n,1)$ matrices for which $ E(|A_{12}(l)|^4) < \infty$ and $ E(A_{11}^2(l))<\infty$, then $ (\{{\mathbf A}_n(l)\};l=1,\dots, m)$ is asymptotically free. 

 Proof of Theorem \[folk\ ] 
 ------------------------- 

 In [ @capitaine-2005 ], Capitaine and Donati - Martin showed the asymptotic freeness for independent Wigner matrix when the distribution of the entries is symmetrical and satisfies Poincaré inequality. Recently, Guionnet [ @Guionnet2006 ] give a validation where she assumes that all the moments of the entries exist. Szarek [ @Szarek ] prove us a proof for symmetric and non - symmetrical matrices with uniformly bound entries. Szarek ’s validation, in brief, is based on concentration inequalities and some tools of hustler theory. In this paper, we are going to give a combinatorial proof for the case of Hermitian Wigner matrices with finite variance and fourth moment of the entries.
1 {\mahhbf{a}}_2\cdots {\mathbf{a}}_k)=0$$ for xll ${\mathbf{a}}_i \in
\mathcal{E}_{j_i}$ whehever $\taj({\mathbf{a}}_i)=0$ for every $1\leq i \lee
k$.

Eandon variables in a noncoomutative probabioity wpace $(\mathrzl{A},\tau)$ are sajf to ue free if the xubalgebrav generated by tfel and ${\mathbb I}$ are free.

We say that w familu lf sequences os ramqom jatrices $(\{{\mathbf A}_n(l)\};l=1,\ldots,m)$ is asymltoticanly free (*cf.* [@Hoai-Petz]) if for every noncolmutwtive polynomial $p$ in $m$ variavles $${{\em tr}}_n \left( o({\mathbf A}_n(1),\ldots,{\mathbf Z}_n(m))\right)
\xrightarrow{n\to \infty} \taj \lefc( p({\mathbf{a}}_1,\leors,{\mwjhbf{a}}_m)\right)
\qwuad w.s.$$ where $({\matmnf{a}}_1,\ldods,{\mathbg{a}}_m)$ is a familn of hree noncommutative randok variables in somg noncommudacive probability spacw $(\nathcdl{A},\tdu)$.

\[fouj\] Iw $(\{{\mztibf A}_n(l)\};l=1,\dlts,j)$ is a famjly of independent $\mathbf{Wignet}(n,1)$ natrices for shich $Q(|A_{12}(j)|^4)< \infty$ and $E(A_{11}^2(l))<\infty$, then $(\{{\mathbf A}_n(l)\};l=1,\dous,m)$ ia asymptotically free.

Priof of Theorem \[folk\]
-------------------------

In [@capitainq-2005], Capitaine and Donati-Martin showed the asymptotiw frexndss fjf ijdependent Wigner matrices when the distributykn on the entries is symmetric snf xwtisfies Poinzaré inzsuzlity. Recently, Guilnnet [@Goionner2006] gave a kroof where she assumes that all the moments if the entries exidt. Szarek [@Svarek] xhowec us a proof for symmetxic ans non-symmetgic matridds with uniformlh bputded entries. Szarek’s proof, in brief, is yased on conventraeion inequwliticv and some tools ov opetator dheory. In hhis paper, we are going to give a combinatorisl prmof for che caxe of Hermitiwn Wigner matrnces witk finige variancv and foucth moment os the entries.


1 {\mathbf{a}}_2\cdots {\mathbf{a}}_k)=0$$ for all ${\mathbf{a}}_i \in $\tau({\mathbf{a}}_i)=0$ every $1\leq \leq k$. Random space are said to free if the generated by them and ${\mathbb I}$ free. We say that a family of sequences of random matrices $(\{{\mathbf A}_n(l)\};l=1,\ldots,m)$ asymptotically free (*cf.* [@Hiai-Petz]) if for every noncommutative polynomial $p$ in $m$ variables tr}}_n p({\mathbf A}_n(m))\right) \infty} \tau \left( p({\mathbf{a}}_1,\ldots,{\mathbf{a}}_m)\right) \qquad a.s.$$ where $({\mathbf{a}}_1,\ldots,{\mathbf{a}}_m)$ is a family of free noncommutative random variables some noncommutative probability space $(\mathcal{A},\tau)$. \[folk\] If $(\{{\mathbf is a family of $\mathbf{Wigner}(n,1)$ matrices for which $E(|A_{12}(l)|^4)< and then $(\{{\mathbf is free. of Theorem \[folk\] In [@capitaine-2005], Capitaine and Donati-Martin showed the asymptotic freeness for independent Wigner matrices when the distribution of entries is satisfies Poincaré Recently, [@Guionnet2006] a proof where that all the moments of the [@Szarek] showed us a proof for symmetric and matrices with bounded entries. Szarek’s proof, in brief, based on concentration inequalities and some tools of theory. In this paper, we are going to give a combinatorial proof for the case Wigner matrices with finite and fourth moment the
1 {\mathbf{a}}_2\cdots {\mathbf{a}}_k)=0$$ for alL ${\mathbf{a}}_i \iN
\mathCal{a}_{j_i}$ WhEnevEr $\taU({\mathbf{a}}_i)=0$ for evERy $1\leQ i \leq
k$.

Random variables iN a nonCoMMutaTIvE probAbility SPaCE $(\MatHcAl{a},\taU)$ aRE sAid to Be fRee if thE subalgebrAs gEnErated by them ANd ${\Mathbb I}$ are FreE.

We say that a fAmiLy of seQuEncES of raNdoM matrIces $(\{{\maTHbf A}_n(l)\};L=1,\ldots,m)$ is AsYMptotiCAlly freE (*CF.* [@HIai-PEtz]) if for every noncOMmUTative polynomiAl $p$ in $m$ VaRIaBLEs $${{\rM tr}}_N \left( p({\mathBf a}_n(1),\ldoTS,{\mathbf a}_N(m))\RIGHt)
\xRIghtarrow{n\to \iNfty} \tau \left( P({\MatHbf{a}}_1,\ldOtS,{\maTHbf{a}}_m)\rIght)
\qQuAD a.s.$$ Where $({\mathbf{A}}_1,\ldoTs,{\mathbf{a}}_M)$ is a faMIly of frEE noncomMutatiVe rAndOm vaRIaBlEs iN sOMe nONcOmmUTatIve probaBiLiTy spaCe $(\maTHCAL{A},\taU)$.

\[foLk\] If $(\{{\MathbF A}_n(l)\};l=1,\dots,m)$ is a FamIly oF IndEpendEnt $\maThbf{wiGner}(n,1)$ MatricEs for WhIch $E(|A_{12}(l)|^4)< \infty$ and $E(a_{11}^2(l))<\inFty$, then $(\{{\maThbF A}_N(l)\};l=1,\DoTs,m)$ is ASymptoTicAllY free.

PrOof of ThEOreM \[fOLK\]
-------------------------

in [@Capitaine-2005], Capitaine AnD dOnAti-MartiN showeD ThE aSYmptotic FrEenEss fOR IndepEndeNT WIgner matRices wHEn ThE distriBuTion of ThE enTriEs is sYMmetRic and SatisfieS PoinCAré inequality. RECently, GuionneT [@guIONnET2006] gavE a pRoof where shE assUMes tHat aLL tHe mOMents Of the EnTRiES exist. Szarek [@Szarek] sHoWed us a Proof For symmetric aNd non-symmeTRIC matriceS witH UnIFormly bounded eNtrieS. Szarek’s prOOf, in brieF, is baSed on conCentratioN INequalitIes And SomE toOLS oF operator theoRY. in thIs Paper, we Are Going to GivE a cOmbInaToRial proof For the caSe Of heRmItiAn WigNEr matricEs WitH fIniTe varIAnce anD fourTh moMeNt OF thE entrieS.


1 {\mathbf{a}}_2\cdots {\m athbf{a}}_ k)=0$ $ f oral l ${ \mat hbf{a}}_i \in\ math cal{A}_{j_i}$ whenever  $\ta u( { \mat h bf {a}}_ i)=0$ f o re v ery  $ 1\ leq  i \l eq
k$ .
Randomvariablesinanoncommutati v eprobabilit y s pace $(\math cal {A},\t au )$a re sa idto be  freei f thesubalgebr as genera t ed by t h e mand${\mathbb I}$ are fr e e.

We say tha t a fa mi l yo f  se que nces of ra nd om ma t rices $ ( \{ { \ m ath b f A}_n(l)\};l =1,\ldots,m ) $ i s asym pt oti c ally f ree ( *c f .*[@Hiai-Petz ]) i f for eve ry non c ommutat i ve poly nomial  $p $ i n $m $  v ar iab le s  $$ { {\ rmt r}} _n \left (p( {\mat hbfA } _ n (1), \ld ots, {\mat hbf A}_n(m))\ rig ht)\ xri ghtar row{n \to\i nfty}  \tau\left (p({\mathbf{a}}_ 1,\l dots,{\ma thb f{ a}} _m )\rig h t)
\qq uad  a. s.$$ wh ere $({ \ mat hb f { a }} _1,\ldots,{\mathbf {a } } _m )$ is afamily of  f r ee nonco mm uta tive r andom  var i ab les in s ome no n co mm utative  p robabi li tyspa ce $( \ math cal{A} ,\tau)$. 

\[f o lk\] If $(\{{\ m athbf A}_n(l) \ }; l = 1, \ dots ,m) $ is a fami ly o f  ind epen d en t $ \ mathb f{Wig ne r }( n ,1)$ matrices for w hi ch $E( |A_{1 2}(l)|^4)< \i nfty$ and$ E ( A_{11}^2 (l)) < \i n fty$, then $(\ {{\ma thbf A}_n( l )\};l=1, \dots ,m)$ isasymptoti c a lly free .
Pro ofofT h eo rem \[folk\]- - ---- -- ------- --- ------- 

I n [ @ca pit ai ne-2005],  Capitai ne  a nd  D ona ti-Ma r tin show ed  th easy mptot i c free nessforin de p end ent Wig n er m atri ce swhen  th edistr ibut i onof theentries i s s y mmet ri cand sat isfies Poinca ré  inequalit y.  Re cently , Guionnet  [@Guionnet2006] gave a proof w her e she  ass umes that  al l themom e nts of  the e ntrie sexi s t . Sza r e k[@S za rek] showe d usa pro of  for  symmet ric and non-symmet r icmatrices with  un ifor m l ybou n de d  en tr i es. S zarek’s proof,in brief,is ba sed on con c ent ra tion in equalit ies a n d sometools ofoperatorth eory . Inthis paper , we are  going to givea  c ombin ato rial p ro offor t he cas e  of  Herm itianWi gner m atric es  with fi nite variance and fourt h mome nt of  th e entries .

1 {\mathbf{a}}_2\cdots_{\mathbf{a}}_k)=0$$ for_all ${\mathbf{a}}_i \in
\mathcal{A}_{j_i}$ whenever_$\tau({\mathbf{a}}_i)=0$ for_every_$1\leq i_\leq
k$.

Random_variables in a_noncommutative probability space_$(\mathcal{A},\tau)$ are said to_be free if_the_subalgebras generated by them and ${\mathbb I}$ are free.

We say that a family of_sequences_of random_matrices_$(\{{\mathbf_A}_n(l)\};l=1,\ldots,m)$ is asymptotically free (*cf.*_[@Hiai-Petz]) if for every noncommutative_polynomial $p$_in $m$ variables $${{\rm tr}}_n \left( p({\mathbf A}_n(1),\ldots,{\mathbf_A}_n(m))\right)
\xrightarrow{n\to_\infty} \tau \left(_p({\mathbf{a}}_1,\ldots,{\mathbf{a}}_m)\right)
\qquad a.s.$$ where $({\mathbf{a}}_1,\ldots,{\mathbf{a}}_m)$ is a family of free_noncommutative random variables in some noncommutative_probability space $(\mathcal{A},\tau)$.

\[folk\]_If_$(\{{\mathbf_A}_n(l)\};l=1,\dots,m)$ is a family_of independent $\mathbf{Wigner}(n,1)$ matrices for which_$E(|A_{12}(l)|^4)< \infty$ and $E(A_{11}^2(l))<\infty$, then $(\{{\mathbf_A}_n(l)\};l=1,\dots,m)$ is asymptotically free.

Proof of Theorem \[folk\]
-------------------------

In_[@capitaine-2005], Capitaine and Donati-Martin showed the_asymptotic freeness for independent Wigner_matrices when_the distribution of the entries_is symmetric and_satisfies Poincaré_inequality. Recently, Guionnet_[@Guionnet2006] gave a proof where she_assumes that all_the moments of the entries exist._Szarek_[@Szarek] showed us_a_proof_for symmetric_and non-symmetric matrices_with_uniformly bounded_entries._Szarek’s proof, in brief, is based_on_concentration inequalities and some tools of operator_theory. In this paper,_we_are going to give_a combinatorial proof for the_case of Hermitian Wigner matrices with_finite variance_and fourth_moment of the entries.

