Abstract:
This paper addresses extensions of the complex Ornstein-Uhlenbeck semigroup to operator algebras in free probability theory. If $a_1,...,a_k$ are $\ast$-free $\mathscr{R}$-diagonal operators in a $\mathrm{II}_1$ factor, then $D_t(a_{i_1}... a_{i_n}) = e^{-nt} a_{i_1}... a_{i_n}$ defines a dilation semigroup on the non-self-adjoint operator algebra generated by $a_1,...,a_k$. We show that $D_t$ extends (in two different ways) to a semigroup of completely positive maps on the von Neumann algebra generated by $a_1,...,a_k$. Moreover, we show that $D_t$ satisfies an optimal ultracontractive property: $\|D_t\colon L^2\to L^\infty\| \sim t^{-1}$ for small $t>0$.

Abstract:
This paper studies the empirical measures of eigenvalues and singular values for random matrices drawn from the heat kernel measures on the unitary groups $\mathbb{U}_N$ and the general linear groups $\mathbb{GL}_N$, for $N\in\mathbb{N}$. It establishes the strongest known convergence results for the empirical eigenvalues in the $\mathbb{U}_N$ case, and the first known almost sure convergence results for the eigenvalues and singular values in the $\mathbb{GL}_N$ case. The limit noncommutative distribution associated to the heat kernel measure on $\mathbb{GL}_N$ is identified as the projection of a flow on an infinite-dimensional polynomial space. These results are then strengthened from variance estimates to $L^p$ estimates for even integers $p$.

Abstract:
We introduce a two-parameter family of diffusion processes $(B_{r,s}^N(t))_{t\ge 0}$, $r,s>0$, on the general linear group $\mathbb{GL}_N$ that are Brownian motions with respect to certain natural metrics on the group. At the same time, we introduce a two-parameter family of free It\^o processes $(b_{r,s}(t))_{t\ge 0}$ in a faithful, tracial $W^\ast$-probability space, and we prove that the full process $(B^N_{r,s}(t))_{t\ge 0}$ converges to $(b_{r,s}(t))_{t\ge 0}$ in noncommutative distribution as $N\to\infty$ for each $r,s>0$. The processes $(b_{r,s}(t))_{t\ge 0}$ interpolate between the free unitary Brownian motion when $(r,s)=(1,0)$, and the free multiplicative Brownian motion when $r=s=\frac12$; we thus resolve the open problem of convergence of the Brownian motion on $\mathbb{GL}_N$ posed by Biane in 1997.

Abstract:
We introduce holomorphic algebras $H_q$ in the context of the q-Gaussian algebra $\Gamma_q$ of Bozejko, K\"ummerer, and Speicher, and give a q-Segal-Bargmann transform for them. We then prove a strong hypercontractivity theorem, generalizing Janson's strong (holomorphic) hypercontractivity, from $L^2(H_q) \to L^r(H_q)$ for r an even integer.

Abstract:
We study the liberation process for projections: $(p,q)\mapsto (p_t,q)= (u_tpu_t^\ast,q)$ where $u_t$ is a free unitary Brownian motion freely independent from $\{p,q\}$. Its action on the operator-valued angle $qp_tq$ between the projections induces a flow on the corresponding spectral measures $\mu_t$; we prove that the Cauchy transform of the measure satisfies a holomorphic PDE. We develop a theory of subordination for the boundary values of this PDE, and use it to show that the spectral measure $\mu_t$ possesses a piecewise analytic density for any $t>0$ and any initial projections of trace $\frac12$. We us this to prove the Unification Conjecture for free entropy and information in this trace $\frac12$ setting.

Abstract:
In this paper, we generalize Haagerup's inequality (on convolution norm in the free group) to a very general context of R-diagonal elements in a tracial von Neumann algebra; moreover, we show that in this "holomorphic" setting, the inequality is greatly improved from its originial form. We give an elementary combinatorial proof of a very special case of our main result, and then generalize these techniques. En route, we prove a number of moment and cumulant estimates for R-diagonal elements that are of independent interest. Finally, we use our strong Haagerup inequality to prove a strong ultracontractivity theorem.

Abstract:
For $\alpha>0$, the Bargmann projection $P_\alpha$ is the orthogonal projection from $L^2(\gamma_\alpha)$ onto the holomorphic subspace $L^2_{hol}(\gamma_\alpha)$, where $\gamma_\alpha$ is the standard Gaussian probability measure on $\C^n$ with variance $(2\alpha)^{-n}$. The space $L^2_{hol}(\gamma_\alpha)$ is classically known as the Segal-Bargmann space. We show that $P_\alpha$ extends to a bounded operator on $L^p(\gamma_{\alpha p/2})$, and calculate the exact norm of this scaled $L^p$ Bargmann projection. We use this to show that the dual space of the $L^p$-Segal-Bargmann space $L^p_{hol}(\gamma_{\alpha p/2})$ is an $L^{p'}$ Segal-Bargmann space, but with the Gaussian measure scaled differently: $(L^p_{hol}(\gamma_{\alpha p/2}))^* \cong L^{p'}_{hol}(\gamma_{\alpha p'/2})$ (this was shown originally by Janson, Peetre, and Rochberg). We show that the Bargmann projection controls this dual isomorphism, and gives a dimension-independent estimate on one of the two constants of equivalence of the norms.

Abstract:
We consider a two parameter family of unitarily invariant diffusion processes on the general linear group $\mathbb{GL}_N$ of $N\times N$ invertible matrices, that includes the standard Brownian motion as well as the usual unitary Brownian motion as special cases. We prove that all such processes have Gaussian fluctuations in high dimension with error of order $O(1/N)$; this is in terms of the finite dimensional distributions of the process under a large class of test functions known as trace polynomials. We give an explicit characterization of the covariance of the Gaussian fluctuation field, which can be described in terms of a fixed functional of three freely independent free multiplicative Brownian motions. These results generalize earlier work of L\'evy and Ma\"ida, and Diaconis and Evans, on unitary groups. Our approach is geometric, rather than combinatorial.

Abstract:
We study dilated holomorphic $L^p$ space of Gaussian measures over $\mathbb{C}^n$, denoted $\mathcal{H}_{p,\alpha}^n$ with variance scaling parameter $\alpha>0$. The duality relations $(\mathcal{H}_{p,\alpha}^n)^\ast \cong \mathcal{H}_{p',\alpha}$ hold with $\frac{1}{p}+\frac{1}{p'}=1$, but not isometrically. We identify the sharp lower constant comparing the norms on $\mathcal{H}_{p',\alpha}$ and $(\mathcal{H}_{p,\alpha}^n)^\ast$, and provide upper and lower bounds on the sharp upper constant. We prove several suggestive partial results on the sharpness of the upper constant. One of these partial results leads to a sharp bound on each Taylor coefficient of a function in the Fock space for $n=1$.

Abstract:
We consider the resolvent $(\lambda-a)^{-1}$ of any $R$-diagonal operator $a$ in a $\mathrm{II}_1$-factor. Our main theorem gives a universal asymptotic formula for the norm of such a resolvent. En route to its proof, we calculate the $R$-transform of the operator $|\lambda-c|^2$ where $c$ is Voiculescu's circular operator, and give an asymptotic formula for the negative moments of $|\lambda-a|^2$ for any $R$-diagonal $a$. We use a mixture of complex analytic and combinatorial techniques, each giving finer information where the other can give only coarse detail. In particular, we introduce {\em partition structure diagrams}, a new combinatorial structure arising in free probability.