Contents
1 Free Independence and Free Harmonic Analysis.
1.1 Probability spaces.
1.1.1 Random variables; laws.
1.1.2 The expectation $E$ .
1.2 Non-commutative probability spaces.
1.2.1 Positivity.
1.2.2 The law of a random variable.
1.2.3 Moments.
1.3 Classical independence.
1.4 Free products of non-commutative probability spaces.
1.4.1 Free products of groups.
1.4.2 Free products of algebras.
$$\begin{array}{ccc}\phi ({a}_{1}\cdots {a}_{n})& =& 0,{a}_{j}\in {A}_{i\left(j\right)},i\left(1\right)\ne i\left(2\right),i\left(2\right)\ne i\left(3\right),\dots ,\end{array}$$ |
$$\begin{array}{ccc}& & {\phi}_{i\left(j\right)}\left({a}_{j}\right)=0,\forall j\end{array}$$ |
1.4.3 Free independence.
1.5 Free Fock space.
1.5.1 Free Fock space.
1.5.2 Free creation operators.
1.5.3 Relation with non-crossing diagrams.
1.5.4 Moments of ${\ell}_{1}+{\ell}_{1}^{*}$ .
1.5.5 Free independence.
1.6 Free Central Limit Theorem.
1.6.1 Convergence in moments.
1.6.2 Classical CLT
1.6.3 Free CLT
1.7 Free Harmonic Analysis.
1.7.1 Free additive convolution.
1.7.2 $R$ -transform.
1.7.3 Proof of additivity of $R$ -transform.
1.7.4 Combinatorial definition of $R$ -transform.
1.7.5 Additivity of combinatorial $R$ -transform.
1.7.6 Analytic and combinatorial $R$ -transforms are the same.
$$\begin{array}{ccc}{x}^{*}{\omega}_{z}& =& (\ell +f({\ell}^{*}\left)\right){\omega}_{z}=\ell {\omega}_{z}+f\left(z\right){\omega}_{z}\end{array}$$ |
$$\begin{array}{ccc}& =& \frac{1}{z}({\omega}_{z}-\Omega )+f\left(z\right){\omega}_{z}\end{array}$$ |
$$\begin{array}{ccc}& =& (\frac{1}{z}+f(z\left)\right){\omega}_{z}-\frac{1}{z}\Omega ,0<\left|z\right|<1.\end{array}$$ |
$$\begin{array}{ccc}\phi \left({\left(\left(\frac{1}{z}+f\left(z\right)\right)1-{x}^{*}\right)}^{-1}\right)& =& \langle {\left(\left(\frac{1}{z}+f\left(z\right)\right)1-{x}^{*}\right)}^{-1}\Omega ,\Omega \rangle \end{array}$$ |
$$\begin{array}{ccc}& =& z\langle {\omega}_{z},\Omega \rangle =z.\end{array}$$ |
1.7.7 Semicircular variables.
1.7.8 Proof of free CLT
$$\begin{array}{ccc}{Z}_{n}& =& ({X}_{1}+\cdots +{X}_{n}),\end{array}$$ |
$$\begin{array}{ccc}{Y}_{n}& =& \frac{1}{\sqrt{n}}({X}_{1}+\cdots +{X}_{n})=\frac{1}{\sqrt{n}}{Z}_{n}.\end{array}$$ |
1.8 Further topics.
2 Random Matrices and Free Probability.
2.1 Random matrices.
2.1.1 Expected distributions.
$$\begin{array}{ccc}{\Lambda}_{N}\left(\right[a,b\left]\right)& =& \frac{1}{N}\text{Expected}\#\left\{\text{eigenvalues of}{X}_{N}\text{in}\right[a,b\left]\right\}\end{array}$$ |
$$\begin{array}{ccc}& =& E(\frac{1}{N}\#\{\text{eigenvalues of}{X}_{N}\left(t\right)\text{in}[a,b]\left\}\right)\end{array}$$ |
2.2 Asymptotics of random matrices.
2.2.1 Wigner’s theorem for Gaussian random matrices.
2.2.2 Voiculescu’s asymptotic freeness results.
$$\begin{array}{ccc}{lim}_{N\to \infty}E\left(\frac{1}{N}Tr({D}_{N}^{{n}_{0}}{X}_{N}^{\left({j}_{1}\right)}{D}_{N}^{{n}_{1}}\cdots {X}_{N}^{\left({j}_{t}\right)}{D}_{N}^{{n}_{t}})\right)& & \end{array}$$ |
$$\begin{array}{ccc}=\phi ({d}^{{n}_{0}}{x}_{{j}_{1}}{d}^{{n}_{1}}\cdots {x}_{{j}_{t}}{d}^{{n}_{t}}).& & \end{array}$$ |
2.2.3 Some remarks on the proof.
$$\begin{array}{ccc}\frac{1}{N}E\left(\text{Tr}\right({X}_{N}^{k}\left)\right)& =& \frac{1}{N}{\sum}_{{i}_{1},\dots ,{i}_{k}}E({g}_{{i}_{1}{i}_{2}}{g}_{{i}_{2}{i}_{3}}\cdots {g}_{{i}_{k-1}{i}_{k}}{g}_{{i}_{k}{i}_{1}}).\end{array}$$ | (2.1) |
$$\begin{array}{c}{i}_{s}={i}_{r},{i}_{s+1}={i}_{r-1}\text{if}s{\sim}_{\pi}r,s\ne r\end{array}$$ | (2.2) |
2.3 An application to random matrix theory.
2.4 Applications to von Neumann algebras.
$$\begin{array}{c}pL(\mathbb{F}(n\left)\right)p\sim =L(\mathbb{F}(m\left)\right).\end{array}$$ | (2.3) |
3 Free Entropy via Microstates.
3.1 Definition of free entropy.
3.1.1 Microstates and Macrostates.
3.1.2 Matricial microstates.
$$\begin{array}{ccc}& & \Gamma ({x}_{1},\dots ,{x}_{n};k,l,\varepsilon )=\{({X}_{1},\dots ,{X}_{n})\in ({M}_{k\times k}^{sa}{)}^{n}:\end{array}$$ |
$$\begin{array}{ccc}& & \text{}\text{for any word}w\text{in}n\text{letters of length at most}l,\end{array}$$ |
$$\begin{array}{ccc}& & \left|\frac{1}{N}\text{Tr}\right(w({X}_{1},\dots ,{X}_{n}))-\phi (w({x}_{1},\dots ,{x}_{n})\left)\right|<\varepsilon \}.\end{array}$$ |
3.1.3 Definition of free entropy.
3.1.4 Relation to Connes’ problem.
3.2 Properties of free entropy.
3.2.1 Infinitesimal change of variables formula.
3.3 Free entropy dimension.
3.3.1 Packing and covering numbers and Minkowski dimension.
3.3.2 Free entropy dimension.
$$\begin{array}{ccc}{P}_{\delta}({x}_{1},\dots ,{x}_{n})& =& {inf}_{\varepsilon ,l}{limsup}_{k\to \infty}\frac{1}{{k}^{2}}log{P}_{\delta}(\Gamma ({x}_{1},\dots ,{x}_{n};l,k,\varepsilon \left)\right)\end{array}$$ |
$$\begin{array}{ccc}{K}_{\delta}({x}_{1},\dots ,{x}_{n})& =& {inf}_{\varepsilon ,l}{limsup}_{k\to \infty}\frac{1}{{k}^{2}}log{K}_{\delta}(\Gamma ({x}_{1},\dots ,{x}_{n};l,k,\varepsilon \left)\right).\end{array}$$ |
3.4 Properties of free entropy dimension.
3.4.1 Invariance of ${\delta}_{0}$ .
3.4.2 Free entropy dimension for a single variable.
3.4.3 Upper bounds on ${\delta}_{0}$ .
3.4.4 Lower bounds on ${\delta}_{0}$ .
3.5 Relation with ${L}^{2}$ -Betti numbers.
4 Non-microstates Approach to Free Entropy.