1: \documentclass[a4paper,11pt]{amsart}

2: 

3: 

4: \textwidth 16cm

5: 

6: \topmargin 0.0cm

7: \oddsidemargin 0cm

8: \evensidemargin 0cm

9: \parskip 0.2cm

10: %row=ligne

11: %column=colone

12: 

13: \usepackage{amssymb,amsmath,epsfig,graphicx,eufrak}

14: \usepackage{subfigure}

15: \usepackage{epsfig,stmaryrd}

16: 

17: \author[Florent Benaych-Georges]{Florent Benaych-Georges}\address{Florent Benaych-Georges, LPMA,  UPMC Univ Paris 6, Case courier 188, 4, Place Jussieu, 75252 Paris Cedex 05, France\\ and CMAP, \'Ecole Polytechnique, route de Saclay, 91128 Palaiseau Cedex, France} \email{florent.benaych@gmail.com}

18: \title[On a surprising relation between the rectangular and square free convolutions]{On a surprising relation between the Marchenko-Pastur law,  rectangular and square free convolutions}

19: \date{\today}

20: \newcommand{\MP}{\operatorname{MP}}

21: \newcommand{\inv}{^{\lan -1\ran}}

22: \newcommand{\be}{\begin{equation}}

23: \newcommand{\ee}{\end{equation}}

24: \newcommand{\beq}{\begin{eqnarray*}}

25: \newcommand{\eeq}{\end{eqnarray*}}

26: \newcommand{\Sy}{\mathfrak{S}}

27: \newcommand{\Po}{\operatorname{P}}

28: \newcommand{\PS}{\operatorname{PS}}

29: \newcommand{\Var}{\operatorname{Var}}

30: \newcommand{\Poiss}{\operatorname{Poiss}}

31: \newcommand{\Beg}{\operatorname{Beg}}

32: \newcommand{\End}{\operatorname{End}}

33: \newcommand{\lan}{\langle}

34: \newcommand{\ran}{\rangle}

35: \newcommand{\h}{\mc{H}}

36: \newcommand{\Ran}{\operatorname{ran}}

37: \newcommand{\Alg}{\operatorname{Alg}}

38: \newcommand{\Adj}{\operatorname{Adj}}

39: \newcommand{\Haar}{\operatorname{Haar}}

40: \newcommand{\Proj}{\operatorname{Pr}}

41: \newcommand{\Mob}{\operatorname{Mob}}

42: \newcommand{\diag}{\operatorname{diag}}

43: \newcommand{\Diag}{\operatorname{Diag}}

44: \newcommand{\En}{\operatorname{E^{(n)}}}

45: \newcommand{\Inv}{\operatorname{Inv}}

46: \newcommand{\sq}{\operatorname{sq}}

47: \newcommand{\Part}{\operatorname{Part}}

48: \newcommand{\NC}{\operatorname{NC}}

49: \newcommand{\NCp}{\operatorname{NC'}}

50: \newcommand{\NCd}{\operatorname{NC_d}}

51: \newcommand{\Bij}{\operatorname{Bij}}

52: \newcommand{\acc}{\operatorname{acc}}

53: \newcommand{\adm}{\operatorname{adm}}

54: \newcommand{\ED}{\operatorname{E}}

55: \newcommand{\EDn}{\operatorname{E_{\mathit{n}}}}

56: \newcommand{\EDpi}{\operatorname{E_{\pi}}}

57: \newcommand{\EDsigma}{\operatorname{E_{\sigma}}}

58: \newcommand{\EDtau}{\operatorname{E_{\tau}}}

59: \newcommand{\ds}{\displaystyle}

60: \newcommand{\mphd}{\mathcal{M}_1(\mathbb{H}_d)}

61: \newcommand{\Pro}{\operatorname{P}}

62: \newcommand{\Pros}{\operatorname{P}'}

63: \newcommand{\tr}{\operatorname{tr}}

64: \newcommand{\rg}{\operatorname{rg}}

65: \newcommand{\Span}{\operatorname{Span}}

66: \newcommand{\ELinf}{\operatorname{E_{\mathit{L}^{\infty}}}}

67: \newcommand{\mf}{\mathfrak}

68: \newcommand{\Mn}{\mathfrak{M}_n}

69: \newcommand{\supp}{\operatorname{supp}}

70: \newcommand{\trp}{\frac{1}{d'}\operatorname{Tr}}

71: \newcommand{\Tr}{\operatorname{Tr}}

72: \newcommand{\kinf}{\underset{k\to\infty}{\longrightarrow}}

73: \newcommand{\dinf}{\underset{d\to\infty}{\longrightarrow}}

74: \newcommand{\ninf}{\underset{n\to\infty}{\longrightarrow}}

75: \newcommand{\ssi}{if and only if }

76: \newcommand{\teos}{theorems }

77: \newcommand{\teo}{theorem }

78: 

79: \newcommand{\ensn}{\{1,\ldots,n\}}

80: \newcommand{\E}{\mathbb{E}}

81: \newcommand{\Q}{\mathbb{Q}}

82: \newcommand{\R}{\mathbb{R}}

83: \newcommand{\C}{\mathbb{C}}

84: \newcommand{\n}{\mathbb{N}}

85: \newcommand{\z}{\mathbb{Z}}

86: \newcommand{\K}{\mathbb{K}}

87: \newcommand{\m}{(\mathbb{N}^\ast)^2}

88: \newcommand{\ud}{\mathrm{d}}

89: 

90: 

91: \newcommand{\pro}{probability }

92: 

93: \newcommand{\f}{\frac}

94: \newcommand{\ff}{\frac{1}}

95: \newcommand{\lf}{\left}

96: \newcommand{\ri}{\right}

97: \newcommand{\spl}{spectral law }

98: \newcommand{\st}{such that }

99: \newcommand{\la}{\lambda}

100: \newcommand{\La}{\Lambda}

101: \newcommand{\tii}{\scriptstyle\times\ds\!}

102: \newcommand{\var}{\mathbb{V}\mathrm{ar}}

103: \newcommand{\vfi}{\varphi}

104: \newcommand{\ste}{\, ;\, }

105: \newcommand{\mc}{\mathcal }

106: 

107: \newcommand{\eps}{\varepsilon}

108: \newcommand{\arc}{\boxplus_{\la}}

109: \newcommand{\arco}{\boxplus_{0}}

110: \newcommand{\gab}{\Delta_{\alpha,\beta}}

111: \newcommand{\sst}{\scriptstyle}

112: \newcommand{\kk}{\mathfrak{K}}

113: \newcommand{\bxp}{\boxplus}

114: \newcommand{\bxt}{\boxtimes}

115: \newcommand{\stt}{\scriptstyle\times\ds\!}

116: \newcommand{\A}{\mc{A}}

117: \newcommand{\D}{\mc{D}}

118: \newcommand{\B}{\mc{B}}

119: \newcommand{\bxs}{\begin{picture}(9,5)  \put(2,0){\framebox(5,5){$\smallsetminus$}} \end{picture}}

120: \newcommand{\bxpp}{{\scriptscriptstyle\boxplus}}

121: \newcommand{\bck}{\backslash}

122: \newcommand{\esm}{\operatorname{ESM}}

123: 

124: \newtheorem{Th}{Theorem}

125: \newtheorem{propo}[Th]{Proposition} 

126: \newtheorem{propr}[Th]{Property} 

127: \newtheorem{lem}[Th]{Lemma}

128: \newtheorem{ex}[Th]{Example}

129: \newtheorem{rmq}[Th]{Remark}

130: \newtheorem{cor}[Th]{Corollary}

131: \newtheorem{Def}[Th]{Definition}

132: \newtheorem{propdef}[Th]{Proposition-Definition}

133: \newenvironment{pr}{\noindent {\bf Proof. }}{\ \ \  \hfill $\square$}

134: \newenvironment{prth}{\noindent {\bf Proof of the theorem. }}{\ \ \  \hfill $\square$}

135: \long\def\symbolfootnote[#1]#2{\begingroup

136: \def\thefootnote{\fnsymbol{footnote}}\footnote[#1]{#2}\endgroup} 

137: 

138: 

139: \keywords{Free Probability,  Random Matrices, Free Convolution, Infinitely Divisible Laws, Marchenko-Pastur Law} 

140: 

141: \subjclass[2000]{46L54, %Free proabability and free factors

142: 15A52} %Random matrices 

143: 

144: \thanks{This work was partially supported by the \emph{Agence Nationale de la

145: Recherche} grant ANR-08-BLAN-0311-03.}

146: \begin{document}

147: \maketitle

148: 

149: 

150: 

151: 

152: \begin{abstract}In this paper, we prove a result linking the square and the rectangular $R$-transforms, the consequence of which is a surprising relation between the square and rectangular versions  the free additive  convolutions, involving the Marchenko-Pastur law. Consequences on random matrices, on infinite divisibility and on the arithmetics of the square versions of the free additive and multiplicative convolutions  are given.

153: \\

154: \\

155: Dans cet article, on prouve un r\'esultat reliant les versions carr\'e et rectangulaire de la $R$-transform\'ee, qui a pour cons\'equence une relation surprenante entre les versions carr\'e et rectangulaire  de la convolution libre additive, impliquant la loi de Marchenko-Pastur. On donne des cons\'equences de ce r\'esultat portant sur les matrices al\'eatoires, sur l'infinie divisibilit\'e et sur l'arithm\'etique des versions carr\'e des convolutions additives et multiplicatives.

156: \end{abstract}

157: %arXiv abtract: In this paper, we prove a result linking the square and the rectangular R-transforms, the consequence of which is a surprising relation between the square and rectangular free convolutions, involving the Marchenko-Pastur law. Consequences on random matrices, on infinite divisibility and on the arithmetics of Voiculescu's free additive and multiplicative convolutions  are given.

158: 

159: \tableofcontents

160: 

161: 

162: \section*{Introduction}Free convolutions are operations on \pro measures on the real line which allow to compute the empirical spectral\footnote{The {\em empirical spectral measure} of a matrix is the uniform law on its eigenvalues with multiplicity.}  or singular\footnote{The {\em empirical singular measure} of a matrix $M$ with size $n$ by $p$ ($n\leq p$) is the 

163: empirical spectral measure of $|M|:=\sqrt{MM^*}$.}  measures of large random matrices which are expressed as sums or products of independent random matrices, the spectral measures of which are known. 

164: More specifically, the operations $\bxp,\bxt$, called respectively {\em free additive and multiplicative convolutions} are defined in the following way \cite{vdn91}. Let, for each $n$, $M_n$, $N_n$ be $n$ by $n$ independent random hermitian matrices, one of them having a distribution which is invariant under the action of the unitary group by conjugation, the empirical spectral measures of which converge, as $n$ tends to infinity, to non random \pro measures denoted respectively  by $\tau_1, \tau_2$. Then $\tau_1\bxp\tau_2$ is the limit of the empirical spectral law of $M_n+N_n$ and, in the case where the matrices are positive, $\tau_1\bxt\tau_2$ is the limit of the empirical spectral law of $M_nN_n$. In the same way, for any $\la\in [0,1]$, the {\em rectangular free convolution} $\arc$ is defined, in  \cite{bg07}, in the following way. Let $M_{n,p}, N_{n,p}$ be $n$ by $p$ independent random  matrices, one of them having a distribution which is   invariant by multiplication by any unitary matrix on any side,    the symmetrized\footnote{The {\em symmetrization} of a law $\mu$ on $[0,+\infty)$ is the law $\nu$ defined by $\nu(A)=\f{\mu(A)+\mu(-A)}{2}$ for all Borel set $A$.   Dealing with laws on $[0,+\infty)$ or with their symmetrizations is equivalent, but for historical reasons, the rectangular free convolutions have been defined with symmetric laws. In all this paper, we shall often pass from symmetric laws to laws on $[0,+\infty)$ and vice-versa. Thus in order to avoid confusion, we shall mainly use the letter $\mu$ for laws on $[0,\infty)$ and $\nu$ for symmetric ones.} empirical singular measures of which tend, as $n,p$ tend to infinity in such a way that $n/p$ tends to $\la$,  to non random \pro measures $\nu_1,\nu_2$.  Then the symmetrized  empirical singular law of $M_{n,p}+N_{n,p}$ tends to  $\nu_1\arc \nu_2$. These operations can also, equivalently, be defined   in reference to free elements of a non commutative \pro space, but in this paper, we have chosen to use the random matrix point of view.  

165: 

166:  In the cases $\la=0$ or  $\la=1$, i.e. where the rectangular random matrices considered in the previous definition are either ``almost flat" or ``almost square",  the rectangular free convolution with ratio $\la$ can be expressed with the additive free convolution:  $\bxp_1=\bxp$ and  for all symmetric laws $\nu_1,\nu_2$, $\nu_1\bxp_0 \nu_2$ is the symmetric law the push-forward by    the map $t\mapsto t^2$ of which is the free additive convolution of the push forwards of $\nu_1$ and $\nu_2$ by the same map. These surprising relations have no simple explanations, but they allow to hope a general relation between the operations $\arc$ and $\bxp$, which would be true for any $\la$. Up to now, despite many efforts, no such relation had been found, until a paper of Debbah and Ryan \cite{dr07}, where a relation between $\arc,\bxp$ and $\bxt$ is proved in a particular case. In the present paper, we give a shorter proof of a wide generalization\footnote{See Remark \ref{28.08.08.1}.} of their result:  for any $\la\in (0,1]$, we define $\mu_\la$ to be the law of $\la$ times a random variable with law the Marchenko-Pastur 

167: law with mean $1/\la$, and we prove that for any pair $\mu,\mu'$ of \pro measures on $[0,+\infty)$, we have 

168: \be\label{27.08.08.77}\sqrt{\mu\bxt\mu_\la}\arc \sqrt{\mu'\bxt\mu_\la}=\sqrt{(\mu\bxp\mu')\bxt\mu_\la}, \ee where for any \pro measure $\rho$ on $[0,+\infty)$, $\sqrt{\rho}$ denotes the symmetrization of the push-forward of $\rho$ by the map $t\mapsto \sqrt{t}$.  

169: Our proof is based on the following relation between the $R$-transform\footnote{Note that there are two conventions regarding the $R$-transform. The one we use is the one used in the combinatorial approach to freeness  \cite{ns06}, which is not exactly the one used in the analytic approach \cite{hiai}: $R_\mu^{\textrm{combinatorics}}(z)=zR_\mu^{\textrm{analysis}}(z)$.\label{footnote.25.08.08.1}}  $R_\mu$ of a \pro measure $\mu$ on $[0,+\infty)$ and the rectangular $R$-transform $C_{\sqrt{\mu\bxt\mu_\la}}$ with ratio $\la$ of $\sqrt{\mu\bxt\mu_\la}$: we prove that for all $z$, $$R_\mu(z)=C_{\sqrt{\mu\bxt\mu_\la}}(z).$$This relation also allows us to   prove precise relations between $\bxp$-infinitely divisible laws and $\arc$-infinitely divisible laws. 

170: 

171: %We would like to observe that formula \eqref{27.08.08.77} has some consequences which are far from obvious. It means that for $n,p$ large integers \st $n/p\simeq \la$, for $A,B,M$ independent random matrices with respective sizes $n\times n$, $n\times n$ and $p\times p$ \st$A,B$ are invariant in law under left and right multiplication by unitary matrices and $M$ has independent Gaussian entries, if ones defines $P$ to be the $n\times p$ matrix $P=\begin{bmatrix}I_n &0\end{bmatrix}$, then 	as far as the spectral measure is concerned, $$APM(APM)^*+BPM(BPM)^*\simeq (APM+BPM)(APM+BPM)^*.$$It also means, if $1<< n<< p$, that for $M,N$ independent $n\times p$ random matrices, as far as the spectrums are concerned, $$ MM^*+NN^*\simeq (M+N)(M+N)^*.$$

172: 

173: 

174: We would like to observe that formula \eqref{27.08.08.77} has some consequences which are far from obvious. It means that for $n,p$ large integers \st $n/p\simeq \la$, for $A,B,M,M'$ independent random matrices with respective sizes $n\times n$, $n\times n$, $n\times p$ and $n\times p$ \st $A,B$ are invariant in law under left and right multiplication by unitary matrices and $M,M'$ have independent Gaussian entries,   then 	as far as the spectral measure is concerned, $$ (AM+BM')(AM+BM')^*\simeq AM(AM)^*+BM'(BM')^*.$$ It also means, if $1<< n<< p$, that for $X,Y$ independent $n\times p$ random matrices, as far as the spectrums are concerned, $$ (X+Y)(X+Y)^*\simeq XX^*+YY^*.$$

175: 

176: The relation \eqref{27.08.08.77} has also  consequences on the arithmetics of   free additive and multiplicative convolutions $\bxp$ and $\bxt$ (Corollaries  \ref{27.08.08.1cor} and \ref{28.08.08.randocycle})

177:    which wasn't known yet, despite the many papers written the last years about questions related to this subject, e.g.  \cite{bv95,appenice,fbg04,gotzea, gotzeb,bbg07,bbcc08}.

178:    

179: {\bf Acknowledgments:} The author would like to thank his friend Raj Rao for bringing the paper \cite{dr07} to his attention and %M\'erouane Debbah,  

180: {\O}yvind Ryan and Serban Belinschi for some useful discussions. He would also like to thank an anonymous referee for suggesting him Remark \ref{10.6.09.1}. 

181: 

182: \section{A relation between the Marchenko-Pastur law, the square and the rectangular free convolutions}

183: \subsection{Prerequisites on square and rectangular analytic transforms of \pro measures}

184: \subsubsection{The square case: the $R$- and $S$-transforms}

185:  These are analytic transforms of \pro measures which allow to compute the operations $\bxp$ and $\bxt$, like the Fourier transform for the classical convolution. The $R$-transform can be defined for any \pro measure on the real line, but we shall only define it for \pro measures on $[0,+\infty)$. Consider such a \pro measure $\mu$. It $\mu=\delta_0$, then $R_\mu=S_\mu=0$. Now, let us suppose that $\mu\neq \delta_0$. Let us define the function $$M_\mu(z)=\int_{t\in\R}\f{tz}{1-tz}\ud \mu(t).$$ Then the {\it $R$- and $S$-transforms\footnote{See the footnote \ref{footnote.25.08.08.1}.}} of $\mu$, denoted respectively by $R_\mu$ and $S_\mu$ are the analytic functions defined as follows\be\label{23.08.08.1}R_\mu(z)=[(1+z)M_\mu^{-1}(z)]^{-1},\quad S_\mu(z)=\f{1+z}{z}M_\mu^{-1}(z),\ee where the exponent $^{-1}$ refers to the inversion of functions with respect to the operation of composition $\circ$. Note that $M_\mu$ is an analytic function defined in $\{z\in \C\ste 1/z\notin \operatorname{support}(\mu)\}$. Hence in the case where $\mu$ is compactly supported, the functions $M_\mu$ and $(1+z)M_\mu^{-1}(z)$ can be inverted in a neighborhood of zero as  

186: analytic  functions in a neighborhood of zero vanishing at zero, with non null derivative at zero. In the case where $\mu$ is not compactly supported, these functions are inverted as functions on intervals $(-\epsilon, 0)$ which are equivalent to $(\textrm{positive constant})\times z$ at zero \cite{defconv}. 

187: 

188: 

189: Note that puting together both equations of \eqref{23.08.08.1}, one gets \be\label{23.08.08.2}S_\mu(z)=\ff{z}R_\mu^{-1}(z)=\f{1+z}{z}M_\mu^{-1}(z).

190: \ee

191: 

192: The main properties of the $R$- and $S$-transforms are the fact that they characterize measures and their weak convergence and that they allow to compute free convolutions : for all $\mu,\nu$, \be\label{25.08.08.1}R_{\mu\bxp\nu}=R_\mu+R_\nu\quad\textrm{ and }\quad S_{\mu\bxt\nu}=S_\mu S_\nu.\ee

193: 

194: \subsubsection{The rectangular case: the rectangular $R$-transform with ratio $\la$}In the same way, for $\la\in [0,1]$, the rectangular free convolution with ratio $\la$ can be computed with an analytic transform of \pro measures. Let $\nu$ be a symmetric \pro measure on the real line. Let us define 

195: $H_\nu(z)= z(\la M_{\nu^2}(z)+1)(M_{\nu^2}(z)+1)$, where $\nu^2$ denotes the push forward of $\nu$ by the map $t\mapsto t^2$. Then with the same conventions about inverses of functions than in the previous section,  the {\em rectangular $R$-transform with ratio $\la$} of $\nu$ is defined to be $$C_\nu(z)=U\lf( \f{z}{H_\nu^{-1}(z)}-1\ri), $$where $U(z)=  \f{-\la-1+\lf[(\la+1)^2+4\la z\ri]^{1/2}}{2\la}$ for $\la>0$ and $U(z)=z$ for $\la=0$. By Theorems 3.8, 3.11 and 3.12 of  \cite{bg07}, the  rectangular $R$-transform characterizes measures and their weak convergence, and for all pair $\nu_1, \nu_2$ of symmetric \pro measures, $\nu_1\arc\nu_2$ is characterized by the fact that \be\label{28.08.08.17}C_{\nu_1\arc\nu_2}=C_{\nu_1}+C_{\nu_2}.\ee

196: 

197: \subsection{A relation between the square and the rectangular $R$-transforms}Let us fix $\la\in [0,1]$. We recall that for any \pro measure $\rho$ on $[0,+\infty)$, $\sqrt{\rho}$ denotes the symmetrization of the push-forward of $\rho$ by the map $t\mapsto \sqrt{t}$ and that  for $\la>0$, we have defined $\mu_\la$ to be the law of $\la$ times a random variable with law the Marchenko-Pastur 

198: law with mean $1/\la$, i.e. $\mu_\la$ is the law with support $[(1-\sqrt{\la})^2, (1+\sqrt{\la})^2]$ and density $$x\mapsto \f{\sqrt{4\la -(x-1-\la)^2}}{2\pi\la x}.$$

199: For $\la=0$, we let $\mu_\la$ denote the Dirac mass at $1$. 

200: 

201: \begin{Th}\label{R=C}Let $\mu$ be a \pro measure on $[0,+\infty)$. Then we have $$R_\mu(z)=C_{\sqrt{\mu\bxt\mu_\la}}(z).$$

202: \end{Th}

203: 

204: \begin{rmq}[The cumulants point of view]\label{28.08.08.16} {\rm Suppose  $\mu$   to be compactly supported. Let us denote  the free cumulants \cite{ns06} of $\mu$ by $(k_n(\mu))_{n\geq 1}$ and the rectangular free cumulants with ratio $\la$ \cite{bg07, bg07c} of $\sqrt{\mu\bxt\mu_\la}$ by $(c_{2n}(\sqrt{\mu\bxt\mu_\la}))_{n\geq 1}$. Then the previous theorem means that for all $n\geq 1$, one has \be\label{10.6.09.2}k_n(\mu)=c_{2n}(\sqrt{\mu\bxt\mu_\la}).\ee}

205: \end{rmq}

206: 

207: 

208: 

209: \begin{pr} - First of all, note that by continuity of the applications $\mu\mapsto\mu\bxt\mu_\la$, $\rho\mapsto R_\rho$ and $\nu\mapsto C_\nu$ with respect to weak convergence \cite{defconv, bg07}, it suffices to prove the result in the case where $\mu$ is compactly supported. In this case, the functions $M_{\mu}, R_\mu, S_\mu, M_{\mu\bxt\mu_\la}, H_{{\sqrt{\mu\bxt\mu_\la}}},C_{\sqrt{\mu\bxt\mu_\la}}$  are analytic in a neighborhood of zero and the operations of inversion on these functions or related ones can be used without precaution. 

210: 

211: - If $\la>0$, the free cumulants of the Marchenko-Pastur law with mean $1/\la$ are all equal to $1/\la$, thus  the ones of $\mu_\la$ are given by the formula $k_n(\mu_\la)=\la^{n-1}$ for all $n\geq 1$ and $R_{\mu_\la}(z)=\sum_{n\geq 1} \la^{n-1}z^n$. From \eqref{23.08.08.2}, it follows that $S_{\mu_\la}(z)=\ff{1+\la z}$. Hence by \eqref{25.08.08.1}, we have $S_{\mu\bxt\mu_\la}(z)=\f{S_\mu(z)}{1+\la z}$, and by \eqref{23.08.08.2}, \be\label{26.08.08.1}M_{\mu\bxt\mu_\la}(z)=\lf(\f{M_\mu^{-1}(z)}{1+\la z}\ri)^{-1}.\ee Note that since $\mu_0=\delta_1$, \eqref{26.08.08.1} stays true if $\la=0$. Now, let us define the function $T(x)=(\la x+1)(x+1)$. Note that $T(U(x-1))=x$ for $x$ in a neighborhood of zero.

212: We have $$H_{\sqrt{\mu\bxt\mu_\la}}(z)=z\times T\circ M_{\mu\bxt\mu_\la}(z)=z\times T\circ \lf(\f{M_\mu^{-1}(z)}{1+\la z}\ri)^{-1},$$ and \be\label{28.08.08.4}C_{\sqrt{\mu\bxt\mu_\la}}(z)=U\lf(\f{z}{\lf(z\times T\circ \lf(\f{M_\mu^{-1}(z)}{1+\la z}\ri)^{-1}\ri)^{-1}}-1\ri).\ee

213: 

214: - Hence by \eqref{23.08.08.1} and \eqref{28.08.08.4},  we have the following equivalence\begin{eqnarray*}R_\mu=C_{\sqrt{\mu\bxt\mu_\la}}&\iff& \lf((z+1)M_\mu^{-1}(z)\ri)^{-1}=U\lf(\f{z}{\lf(z\times T\circ \lf(\f{M_\mu^{-1}(z)}{1+\la z}\ri)^{-1}\ri)^{-1}}-1\ri)\\ &\iff&

215: T\circ  \lf((z+1)M_\mu^{-1}(z)\ri)^{-1}=\f{z}{\lf(z\times T\circ \lf(\f{M_\mu^{-1}(z)}{1+\la z}\ri)^{-1}\ri)^{-1}}\\

216: &\iff& \lf(z\times T\circ \lf(\f{M_\mu^{-1}(z)}{1+\la z}\ri)^{-1}\ri)^{-1}\times  T\circ  \lf((z+1)M_\mu^{-1}(z)\ri)^{-1}=z. 

217: \end{eqnarray*}Composing both terms on the right by $(z+1)M_\mu^{-1}(z)$, it gives  \begin{eqnarray*}R_\mu=C_{\sqrt{\mu\bxt\mu_\la}}&\iff&\lf(z\times T\circ \lf(\f{M_\mu^{-1}(z)}{1+\la z}\ri)^{-1}\ri)^{-1}\circ ((z+1)M_\mu^{-1}(z))\times  T(z) =(z+1)M_\mu^{-1}(z).\end{eqnarray*}Dividing by $T(z)$, it gives \begin{eqnarray*}R_\mu=C_{\sqrt{\mu\bxt\mu_\la}}&\iff&\lf(z\times T\circ \lf(\f{M_\mu^{-1}(z)}{1+\la z}\ri)^{-1}\ri)^{-1}\circ ((z+1)M_\mu^{-1}(z)) =\f{M_\mu^{-1}(z)}{1+\la z}\\ &\iff& (z+1)M_\mu^{-1}(z) =\lf(z\times T\circ \lf(\f{M_\mu^{-1}(z)}{1+\la z}\ri)^{-1}\ri)\circ\f{M_\mu^{-1}(z)}{1+\la z}\\ &\iff& (z+1)M_\mu^{-1}(z) = \f{M_\mu^{-1}(z)}{1+\la z}T(z),

218: \end{eqnarray*}which is obviously true by definition of $T(z)$.

219: \end{pr}

220: 

221: 

222: \subsection{Main result of the paper}

223: 

224: The main theorem of this paper is the following one. $\la\in [0,1]$ is still fixed.

225: \begin{Th}\label{27.08.08.1}For any pair $\mu,\mu'$ of \pro measures on $[0,+\infty)$, we have 

226: \be\label{26.08.08.2}\sqrt{\mu\bxt\mu_\la}\arc \sqrt{\mu'\bxt\mu_\la}=\sqrt{(\mu\bxp\mu')\bxt\mu_\la}.\ee\end{Th}

227: 

228: \begin{rmq}\label{28.08.08.1avant} {\rm Note that in the case where $\la=0$,  this theorem expresses what we already knew about $\bxp_0$ (and which is explained in  the second paragraph of the introduction), but that the case $\la=1$ isn't a consequence of the already known formula $\bxp_1=\bxp$.}

229:  \end{rmq}

230: 

231: \begin{rmq}\label{28.08.08.1}{\rm Part of this theorem could have been deduced from Theorem 6 of \cite{dr07}. However, \eqref{26.08.08.2} could be deduced from the theorem of Debbah and Ryan only for laws $\mu,\mu'$ which can be expressed as limit singular laws of $n$ by $p$ (for $n/p\simeq \la$) corners of large $p\times p$ bi-unitarily invariant random matrices, but it follows from Theorem 14.10 of \cite{ns06} that not every law has this form. Moreover, even though the idea which led us to our result was picked in the  pioneer work of Debbah and Ryan, our proof is much shorter and shows the connection with the rectangular machinery in a more clear way (via Theorem \ref{R=C} and Remark \ref{28.08.08.16}).} \end{rmq}

232: 

233: \begin{pr}Define $\nu:=\sqrt{\mu\bxt\mu_\la}\arc \sqrt{\mu'\bxt\mu_\la}$. By \eqref{28.08.08.17}, we have  $$C_\nu=C_{\sqrt{\mu\bxt\mu_\la}}+ C_{\sqrt{\mu'\bxt\mu_\la}}.$$ Thus, by Theorem \ref{R=C}, and \eqref{25.08.08.1}, we have $$C_\nu=R_\mu+R_{\mu'}=R_{\mu\bxp\mu'}=C_{\sqrt{(\mu\bxp\mu')\bxt\mu_\la}}.$$Hence by injectivity of the rectangular $R$-transform (Theorem 3.8 of \cite{bg07}), \eqref{26.08.08.2} is valid.\end{pr}

234: 

235: The formula \eqref{26.08.08.2} gives us a new insight on rectangular free convolutions: it allows to express it, in certain cases, in terms of the free convolutions ``of  square type" $\bxp$ and $\bxt$. However, only laws which can be expressed under the form\be\label{27.08.08.6}\sqrt{\mu\bxt\mu_\la},\quad\textrm{ ($\mu$ \pro measure on $[0,+\infty)$)}\ee  can have their rectangular convolution computed via formula \eqref{26.08.08.2}. Thus it seems natural to ask whether all symmetric laws %try to find out which laws 

236: can be expressed  like in \eqref{27.08.08.6}. Note that it is equivalent to the fact that any law on $[0,+\infty)$ can be expressed under the form $\mu\bxt \mu_\la$, which is equivalent to the fact that the Dirac mass at one $\delta_1$  can be expressed under the form $\mu\bxt \mu_\la$. Indeed, if $\delta_1=\mu\bxt\mu_\la$, then  any law $\tau$ on $[0,+\infty)$ satisfies $\tau=\tau\bxt\delta_1=(\tau\bxt\mu)\bxt\mu_\la$. The following proposition shows that it is not the case. However, Theorem \ref{27.08.08.5} will show that many symmetric laws can be expressed like in \eqref{27.08.08.6}.

237: 

238: \begin{propo}\label{27.08.08.9}Unless $\la=0$, the law  $\f{\delta_1+\delta_{-1}}{2}$ cannot be expressed  under the form $\sqrt{\mu\bxt\mu_\la}$ for $\mu$ \pro measure on $[0,+\infty)$. \end{propo}

239:  

240:  \begin{pr} Suppose that $\la>0$ and that there is a \pro measure $\mu$ on $[0,+\infty)$ \st $\f{\delta_1+\delta_{-1}}{2}=\sqrt{\mu\bxt\mu_\la}$. Then $\delta_1=\mu\bxt\mu_\la$. This is impossible,  by Corollary  3.4 of \cite{b06}, which states that the free multiplicative convolution of two laws which are not Dirac masses has always a non null absolutely continuous part (there is another, more direct way to see that it is impossible: by \eqref{25.08.08.1}, such a law $\mu$ has to satisfy $S_\mu(z)=1+\la z$, which implies that for $z$ small enough, $M_\mu(z)=\f{z-1+[(1-z)^2+4\la z]^{1/2}}{2\la}$: such a function doesn't admit any analytic continuation to $\C\bck[0,+\infty)$, thus no such \pro measure $\mu$ exists).

241:   \end{pr}

242:   

243: 

244: Theorem \ref{27.08.08.1} has a consequence on the free convolutions ``of  square type" which wasn't known yet, despite the many papers written the last years about questions related to the arithmetics of  these convolutions, e.g.  \cite{bv95,appenice,fbg04,gotzea, gotzeb,bbg07,bbcc08}.

245: \begin{cor}\label{27.08.08.1cor}For any pair $\mu,\mu'$, of \pro measures on $[0,+\infty)$ we have 

246: \be\label{27.08.08.22.10.6.09}

247: \sqrt{\mu\bxt\mu_1}\bxp \sqrt{\mu'\bxt\mu_1}=\sqrt{(\mu\bxp\mu')\bxt\mu_1}.\ee \end{cor}

248: 

249: \begin{pr}It is an obvious consequence of Theorem \ref{27.08.08.1} and of the fact that $\bxp_1=\bxp$.

250: \end{pr}

251: 

252: \begin{rmq}\label{10.6.09.1}{\rm The referee of the paper communicated to us a proof of \eqref{27.08.08.22.10.6.09} which is not, as ours, based on computations on the $R$- and $S$-transforms, but   on the direct proof of \eqref{10.6.09.2} in the special case $\la=1$. Let us briefly outline  this proof.  When $\la=1$, by \cite[Eq. (4.1)]{fbg05.inf.div}, \eqref{10.6.09.2} reduces to \be\label{bayrou-cohn.10.6.09}k_n(\mu)=k_{2n}(\sqrt{\mu\bxt\mu_1}).\ee Let  $a,s$ are free elements in a tracial non commutative \pro space %$(\mc{A},\vfi)$, 

253: with respective distributions $\mu$ and the standard semicircle law. By  \cite[Prop. 12.13]{ns06}, $s^2$ has distribution $\mu_1$,  hence $sas$ has distribution $\mu\bxt\mu_1$. It follows, by \cite[Prop. 12.18]{ns06}, that for all $n$, the $n$-th moment of $\mu$ is equal to $k_n(\mu\bxt\mu_1).$ But by \cite[Prop. 11.25]{ns06}, for all $n$, we have $$k_n(\mu\bxt\mu_1)=\sum_{\pi\in \NC(n)}\prod_{V\in \pi} k_{2|V|}(\sqrt{\mu\bxt\mu_1}).$$ It follows, using the expression of the $n$-th moment of $\mu$ in terms of its free cumulants, that for all $n$, $$\sum_{\pi\in \NC(n)}\prod_{V\in \pi} k_{|V|}(\mu)=\sum_{\pi\in \NC(n)}\prod_{V\in \pi} k_{2|V|}(\sqrt{\mu\bxt\mu_1}),$$ and that for all $n$, $k_n(\mu)=k_{2n}(\sqrt{\mu\bxt\mu_1})$.}\end{rmq}

254: 

255: \section{Consequences on square and rectangular infinite divisibility}

256: \subsection{Prerequisites on infinite divisibility and L\'evy-Kinchine formulas}

257:  Infinite divisibility is a fundamental probabilistic notion, at the base of L\'evy processes, and which allows to explain deep relations between limit theorems for sums of either independent random variables, square or rectangular random matrices. Let us briefly recall basics of this theory \cite{gne,sato,defconv, appenice,fbg05.inf.div}.

258: 

259: Let $*$ denote the classical convolution of \pro measures on the real line.

260:  Firstly, recall that a \pro measure $\mu$ is said to be $*$-infinitely divisible (resp.  $\bxp$-, $\arc$-infinitely divisible) if for all integer $n$, there exists a \pro measure $\nu_n$ \st $\nu_n^{*n}=\mu$ (resp.   $\nu_n^{\bxp n}=\mu$,  $\nu_n^{\arc n}=\mu$). In this case, there exists a $*$- (resp. $\bxp$-, $\arc$-) semigroup $(\mu_t)_{t\geq 0}$ \st $\mu_0=\delta_0$ and $\mu_1=\mu$. For all $t$, $\mu_t$ is denoted by $\mu^{* t}$ (resp. $\mu^{\bxp t}, \mu^{\arc t}$). Infinitely divisible  distributions have been classified: $\mu$ is $*$- (resp. $\bxp$-) infinitely divisible \ssi there exists a real number $\gamma$ and a positive finite measure on the real line   $\sigma$ \st  the Fourier transform is $\hat{\mu}(t)=\exp\lf[i\gamma t+\int_\R(e^{itx}-1-\f{itx}{x^2+1})\f{x^2+1}{x^2}\ud \sigma(x)\ri]$ (resp. $R_\mu(z)=\gamma z+z\int_\R\f{z+t}{1-tz}\ud \sigma(t)$). Moreover, in this case, such a pair $(\gamma, \sigma)$ is unique, it is called the {\it L\'evy pair} of $\mu$ and we denote $\mu$ by $\nu_{*}^{\gamma, \sigma}$ (resp. $\nu_{\bxp}^{\gamma, \sigma}$). For all $t\geq 0$,  $\mu_t$ has L\'evy pair $(t\gamma, t\sigma)$. In the same way, a symmetric \pro measure $\nu$ is  $\arc$-infinitely divisible \ssi there exists a positive finite symmetric measure on the real line $G$ \st $C_\nu(z)=z\int_{\R}\f{1+t^2}{1-zt^2}\ud G(t)$. In this case, the measure $G$ is unique, and $\nu$ will be denoted by $\nu_{\arc}^G$. The correspondences $\nu_{*}^{\gamma, \sigma}\longleftrightarrow \nu_{\bxp}^{\gamma, \sigma}$ (for any pair $(\gamma, \sigma)$ as above) and $\nu_{*}^{0, G}\longleftrightarrow \nu_{\arc}^{G}$ (for any $G$ as above) are called {\it Bercovici-Pata bijections}. These bijections have many deep properties \cite{appenice, fbg05.inf.div}, some of which will be mentioned in the proof of the following lemma. 

261: 

262: 

263: \begin{lem}\label{inf.div.pos.08.08}

264: Let $\gamma$ be  a real number and $\sigma$ be a positive finite measure on the real line. Then we have equivalence between: 

265: 

266: (i) For all $t\geq 0$, $\nu_{*}^{t\gamma, t\sigma}$ is supported on $[0,+\infty)$.

267: 

268: (ii) For all $t\geq 0$, $\nu_{\bxp}^{t\gamma, t\sigma}$ is supported on $[0,+\infty)$.

269: 

270: (iii) We have $\sigma((-\infty,0])=0$ and  the integral $\int \ff{x}\ud \sigma(x)$ is finite and $\leq \gamma$.

271: \end{lem}

272: 

273: \begin{pr}The equivalence between (i) and (iii) follows from Theorem 24.7 and Corollary 24.8 of \cite{sato}. Let us prove the equivalence between (i) and (ii). In order to do that, let us recall a fact proved in \cite{appenice}: for any L\'evy pair $(\gamma, \sigma)$ and any sequence $(\nu_n)$ of \pro measures, one has \be\label{27.08.08.3}\nu_n^{*n}\textrm{ converges weakly to }\nu_{*}^{\gamma, \sigma}\iff\nu_n^{\bxp n}\textrm{ converges weakly to }\nu_{\bxp}^{\gamma, \sigma}.\ee Let us suppose (i) (resp. (ii)) to be true. Let us fix $t\geq 0$. For all $n$, we have $$(\nu_{*}^{\f{t\gamma}{n}, \f{t\sigma}{n}})^{*n}=\nu_{*}^{t\gamma, t\sigma}\quad\textrm{ (resp. }(\nu_{\bxp}^{\f{t\gamma}{n}, \f{t\sigma}{n}})^{\bxp n}=\nu_{\bxp}^{t\gamma, t\sigma}\textrm{).}$$Thus by \eqref{27.08.08.3}, $$(\nu_{*}^{\f{t\gamma}{n}, \f{t\sigma}{n}})^{\bxp n}\textrm{ converges weakly to }\nu_{\bxp}^{t\gamma, t\sigma}\quad\textrm{ (resp. }(\nu_{\bxp}^{\f{t\gamma}{n}, \f{t\sigma}{n}})^{* n}\textrm{ converges weakly to }\nu_{*}^{t\gamma, t\sigma}\textrm{).}$$Thus since any free (resp. classical) additive convolution and any weak limit of measures with supports on $[0,+\infty)$ has support on $[0,+\infty)$, (ii) (resp. (i)) holds.

274: \end{pr}

275: 

276: \begin{rmq}\label{27.08.08.55}{\rm Note that (i) is equivalent to the fact that there exists $t> 0$ \st $\nu_*^{t\gamma, t\sigma}$ is supported on $[0,+\infty)$  \cite[Cor. 24.8]{sato}. However,  the same is not true for the free infinitely divisible laws. Indeed, let, for each $t\geq 0$, $\MP_t$ denote the   Marchenko-Pastur law with mean $t$ \cite[Ex. 3.3.5]{hiai} and let us define, for each $t$, $\mu_t=\MP_t*\delta_{-t/4}$. Then since free and classical convolutions with Dirac masses are the same, $(\mu_t)_{t\geq 0}$ is a convolution semi-group with respect to $\bxp$. But  $\mu_4$ is supported on $[0,+\infty)$, whereas for each $t\in(0,1]$, the support of $\mu_t$ contains a negative number (namely $-t/4$).}

277: \end{rmq}

278: 

279: \subsection{Main result of the section}The following theorem allows us to claim that even though not every symmetric law can be expressed under the form $\sqrt{\mu\bxt\mu_\la}$ for $\mu$ law on $[0,+\infty)$ (see Proposition \ref{27.08.08.9}), many of them have this form. $\la\in [0,1]$ is still fixed. 

280: 

281: For $G$ measure on the real line, we let $G^2$ denote the push-forward of $G$ by the function $t\mapsto t^2$.

282: 

283: \begin{Th}\label{27.08.08.5}(i) Let $\mu$ be a $\bxp$-infinitely divisible law \st for all $t\geq 0$, $\mu^{\bxp t}$ is supported on $[0,+\infty)$. Then the law $\sqrt{\mu\bxt\mu_\la}$ is $\arc$-infinitely divisible, with L\'evy measure the only symmetric measure $G$ \st \be\label{27.08.08.33}G^2=\lf(\gamma-\int\f{1}{x}\ud \sigma(x)\ri)\delta_0+ \f{1+x^2}{x(1+x)}\ud \sigma(x), \ee where  $(\gamma, \sigma)$ denotes the  L\'evy pair  of $\mu$.

284: 

285: (ii) Reciprocally, any $\arc$-infinitely divisible law $\nu$ has the form $\sqrt{\mu\bxt\mu_\la}$ for some $\bxp$-infinitely divisible law $\mu$ \st for all $t\geq 0$, $\mu^{\bxp t}$ is supported on $[0,+\infty)$. Moreover, the L\'evy pair  $(\gamma, \sigma)$ of $\mu$ is defined by \be\label{27.08.08.44}\gamma=\int_{[0,+\infty)}\f{1+x}{1+x^2}\ud G^2(x)\quad\textrm{ and }\quad \sigma=\f{x(1+x)}{1+x^2}\ud G^2(x),\ee where $G$ denotes the L\'evy measure of $\nu$.

286: \end{Th}

287: 

288: \begin{pr} (i) Note that by Theorem \ref{27.08.08.1}, the map $\mu\mapsto\sqrt{\mu\bxt\mu_\la}$ is a morphism from the set of laws on $[0,+\infty)$ to the set on symmetric laws on the real line endowed respectively with the operations $\bxp$ and $\arc$. Thus if $\mu$ is $\bxp$-infinitely divisible, then $\sqrt{\mu\bxt\mu_\la}$ is $\arc$-infinitely divisible. Moreover, if the L\'evy pair of $\mu$ is $(\gamma, \sigma)$, then its $R$-transform is $R_\mu(z)=\gamma z+z \int_{t\in \R} \f{z+t}{1-zt}\ud \sigma(t).$ By Theorem \ref{R=C}, it implies that $C_{\sqrt{\mu\bxt\mu_\la}}(z)= \gamma z+z \int_{t\in \R} \f{z+t}{1-zt}\ud \sigma(t)$. 

289: But by uniqueness, the L\'evy measure $G$ of $\sqrt{\mu\bxt\mu_\la}$ is characterized by the fact that 

290:   $C_{\sqrt{\mu\bxt\mu_\la}}(z)=z\int_\R\f{1+t^2}{1-zt^2}\ud G(t)$.   Thus to prove \eqref{27.08.08.33}, it suffices to prove that for $G$ given by  \eqref{27.08.08.33}, for all $z$, one has $$\gamma z+z \int_{t\in \R} \f{z+t}{1-zt}\ud \sigma(t)=z\int_\R\f{1+t^2}{1-zt^2}\ud G(t),$$which can easily be verified.

291: 

292: (ii) Let $\nu$ be a $\arc$-infinitely divisible law with L\'evy measure denoted by $G$. Let $(\gamma, \sigma)$ be the L\'evy pair defined by \eqref{27.08.08.44}. Note that $(\gamma, \sigma)$ satisfies (iii) of Lemma \ref{inf.div.pos.08.08}, thus, for $\mu:=\nu_{\bxp}^{\gamma,\sigma}$, for  all $t\geq 0$,  the law $\mu^{\bxp t}$ is actually supported by $[0,+\infty)$. Thus by (i), $\sqrt{\mu\bxt\mu_\la}$ is $\arc$-infinitely divisible with L\'evy measure the only symmetric measure $H$ satisfying $$H^2=\lf(\gamma-\int\f{1}{x}\ud \sigma(x)\ri)\delta_0+ \f{1+x^2}{x(1+x)}\ud \sigma(x).$$ To prove that  $\sqrt{\mu\bxt\mu_\la}=\nu$, it suffices to prove that $H=G$, which can easily be verified.

293: \end{pr}

294: 

295: One of the consequences of this theorem is that it gives us a description of the free multiplicative  convolution of two Marchenko-Pastur laws (i.e. free Poisson laws), one of them having a mean $\geq 1$. For all $t>0$, the Marchenko-Pastur law  $\MP_t$ with mean $t$ has been introduced  at Remark \ref{27.08.08.55}.

296: 

297: \begin{cor}\label{28.08.08.randocycle}Consider $a,c>0$ \st $a>1$. Then $\MP_c\bxt\MP_a$ is the push forward, by the map $x\mapsto ax^2$, of the $\arc$-infinitely divisible law with L\'evy measure $\f{c}{4}(\delta_1+\delta_{-1})$ for $\la=1/a$. 

298: \end{cor}

299:  

300:  \begin{pr}

301:  It suffices to notice that for $\la=1/a$, $\MP_a$ is the push-forward, by the map $x\mapsto ax$, of the law $\mu_\la$, that $\MP_c$ is the $\bxp$-infinitely divisible law with L\'evy pair $(c/2,c/2\delta_1)$, and then to apply (i) of Theorem \ref{27.08.08.5}.

302:  \end{pr}

303:  

304:  This corollary can be interpreted as the coincidence of the limit laws of two different matrix models. Indeed, the  $\arc$-infinitely divisible law with L\'evy measure $\f{c}{4}(\delta_1+\delta_{-1})$ was already known \cite[Prop. 6.1]{fbg05.inf.div} to be the limit symmetrized singular law of the random matrix $M:=\sum_{k=1}^pu_kv_k^*$, for  $n,p,q$ tending to infinity in such a way that $p/n\to c$  and $n/q\to \la$ and  $(u_k)_{k\geq 1}$, $(v_k)_{k\geq 1}$ two independent families  of independent random vectors \st for all $k$, $u_k, v_k$ are  uniformly distributed on the unit spheres of respectively $\C^n, \C^q$. 

305: Thus, if, for large $n,p,q$'s \st $p/n\simeq c$ and $n/q\simeq \la$, one considers such a random matrix $M$ and also

306:   two independent random matrices $T,Q$  with respective dimensions $n \times p, n\times q$, the   entries of which   are  independent real standard Gaussian random variables, then the empirical spectral measures of 

307:   the random matrices $MM^*$ and $\ff{nq} TT^*QQ^*$ are close to each other, as illustrated by Figure \ref{histo.11.06.09}. 

308:     

309:  \begin{figure}[h!]

310: \begin{center}

311: %\rotatebox{270}{\scalebox{0.6}{

312: \scalebox{0.6}{\includegraphics{picIHP2009}}

313: \caption{Histograms  of the spectrums of $MM^*$ (left) and $\ff{nq} TT^*QQ^*$ (right) for $n=2000$, $\la=0.6$, $c=1.3$.}\label{histo.11.06.09}

314: \end{center}

315: \end{figure}

316:  

317:  

318: \begin{thebibliography}{99}\bibitem[BBCC08]{bbcc08} Banica, T., Belinschi, S., Capitaine, M.,  Collins, B.  \emph{Free Bessel Laws},  to appear in Canad. J. of Math.

319: %\bibitem[BBA07]{bba07} Belinschi, S., Benaych-Georges, F., Guionnet, A. \emph{Regularization by free additive convolution, square and rectangular cases}. To appear in  Complex Analysis and Operator Theory. 

320: \bibitem[B06]{b06} Belinschi, S.  \emph{A note on regularity for free convolutions}.  Ann. Inst. H. Poincar\'e Probab. Statist.  42  (2006),  no. 5, 635--648. 

321: \bibitem[BBG08]{bbg07} Belinschi, S., Benaych-Georges, F., Guionnet, A. \emph{Regularization by free additive convolution, square and rectangular cases}. 2008,

322: to appear in Complex Analysis and Operator Theory.

323: \bibitem[B04]{fbg04} Benaych-Georges, F. \emph{Failure of the Raikov theorem for free random variables}.

324: S\'eminaire de Probabilit\'es XXXVIII, p. 313-320 (2004) 

325: \bibitem[B07a]{fbg05.inf.div} Benaych-Georges, F. \emph{Infinitely divisible distributions for rectangular free convolution: classification and matricial interpretation}

326: Probability Theory and Related Fields. Volume 139, Numbers 1--2 / september 2007, 143--189. 

327: \bibitem[B07b]{bg07c} Benaych-Georges, F. \emph{Rectangular random matrices, related free entropy and free Fisher's information}. 2007,  to appear in

328:  Journal of Operator Theory.

329:  \bibitem[B09]{bg07} Benaych-Georges, F. \emph{Rectangular random matrices, related convolution}.  Probability Theory and Related Fields.  Volume 144, Numbers 3--4 /  july 2009, 471--515.

330: \bibitem[BPB99]{appenice} Bercovici, H., Pata, V., with an appendix by Biane, P. \emph{Stable laws and domains of attraction in free

331: probability theory} Annals of Mathematics, 149. (1999) 1023--1060

332: \bibitem[BV93]{defconv} Bercovici, H., Voiculescu, D. \emph{Free convolution of measures with unbounded supports} Indiana Univ.

333: Math. J. 42 (1993) 733--773

334: \bibitem[BV95]{bv95} Bercovici, H., Voiculescu, D.  \emph{Superconvergence to the central limit and failure of 

335: the Cram\'er theorem for free random variables}. Probability Theory and Related 

336: Fields 102 (1995) 215--222 

337: %\bibitem[B68]{billingsley} Billingsley, P. \emph{Convergence of probability measures} Wiley, 1968

338: \bibitem[CG08a]{gotzea} Chistyakov, G. P., G\"otze, F. \emph{Limit theorems in free probability theory. I.}  Ann. Probab.  36  (2008),  no. 1, 54--90. 

339: \bibitem[CG08b]{gotzeb} Chistyakov, G. P., G\"otze, F. \emph{Limit theorems in free probability theory. II.}  Cent. Eur. J. Math.  6  (2008),  no. 1, 87--117. 

340: \bibitem[DR07]{dr07} Debbah, M., Ryan, {\O}. {\em Multiplicative free Convolution and Information-Plus-Noise Type Matrices}. arXiv.  The submitted version of this paper, more focused on applications than on the result we are interested in here, is \cite{dr08}.

341: \bibitem[DR08]{dr08} Debbah, M., Ryan, {\O}. {\em Free Deconvolution for Signal Processing Applications} Submitted.

342: \bibitem[GK54]{gne} Gnedenko, V., Kolmogorov, A.N. \emph{Limit distributions for sums of independent random variables} Adisson-Wesley Publ. Co., Cambridge, Mass., 1954

343: %\bibitem[HL00]{haag2}  Haagerup, U.,  Larsen, F. \emph{Brown's spectral distribution measure for R-diagonal elements in finite von Neumann algebras} Journ. Functional Analysis. 176, 331-367 (2000).

344: \bibitem[HP00]{hiai} Hiai, F., Petz, D. \emph{The semicircle law, free random variables, and entropy} Amer. Math. Soc., Mathematical Surveys and Monographs Volume 77, 2000

345: \bibitem[NS06]{ns06} Nica, A., Speicher, R. {\em Lectures on the combinatorics of free probability}. London Mathematical Society Lecture Note Series, 335. Cambridge University Press, Cambridge, 2006.

346: \bibitem[Sa99]{sato} Sato, K.I. \emph{L\'evy processes and infinitely divisible distributions} Volume 68 of Cambridge Studies

347:   in Advanced Mathematics,  Cambridge University Press, Cambridge, 1999

348: \bibitem[VDN91]{vdn91} Voiculescu, D.V., Dykema, K., Nica, A. \emph{Free random variables} CRM Monograghs Series No.1, Amer. Math. Soc., Providence, RI, 1992 

349: \end{thebibliography} 

350: 

351: \end{document}

352: 

353:  

354: