# Todd Kemp

## Contact Details

NameTodd Kemp |
||

Affiliation |
||

Location |
||

## Pubs By Year |
||

## Pub CategoriesMathematics - Functional Analysis (14) Mathematics - Operator Algebras (7) Mathematics - Probability (7) Mathematics - Mathematical Physics (4) Mathematical Physics (4) Mathematics - Complex Variables (2) High Energy Physics - Theory (2) Mathematics - Quantum Algebra (2) Mathematics - Combinatorics (2) Quantum Physics (1) Mathematics - Analysis of PDEs (1) |

## Publications Authored By Todd Kemp

The geometric measure of entanglement $E$ of an $m$ qubit quantum state takes maximal possible value $m$. In previous work of Gross, Flammia, and Eisert, it was shown that $E \ge m-O(\log m)$ with high probability as $m\to\infty$. They showed, as a consequence, that the vast majority of states are too entangled to be computationally useful. Read More

We introduce a new form of the Segal--Bargmann transform for a Lie group $K$ of compact type. We show that the heat kernel $(\rho_{t}(x))_{t>0,x\in K}$ has a space-time analytic continuation to a holomorphic function $(\rho_{\mathbb{C}} (\tau,z))_{\mathrm{Re}\,\tau>0,z\in K_{\mathbb{C}}}$, where $K_{\mathbb{C}}$ is the complexification of $K$. The new transform is defined by the integral \[ (B_{\tau}f)(z)=\int_{K}\rho_{\mathbb{C}}(\tau,zk^{-1})f(k)\,dk,\quad z\in K_{\mathbb{C}}. Read More

We prove the Makeenko-Migdal equation for two-dimensional Euclidean Yang-Mills theory on an arbitrary compact surface, possibly with boundary. In particular, we show that two of the proofs given by the first, third, and fourth authors for the plane case extend essentially without change to compact surfaces. Read More

We give three short proofs of the Makeenko-Migdal equation for the Yang-Mills measure on the plane, two using the edge variables and one using the loop or lasso variables. Our proofs are significantly simpler than the earlier pioneering rigorous proofs given by T. L\'evy and by A. Read More

We show that the minimum Renyi entropy output of a quantum channel is locally additive for Renyi parameter alpha>1. While our work extends the results of [10] (in which local additivity was proven for alpha=1), it is based on several new techniques that incorporate the multiplicative nature of p-norms, in contrast to the additivity property of the von-Neumann entropy. Our results demonstrate that the counterexamples to the Renyi additivity conjectures exhibit global effects of quantum channels. Read More

The Brownian motion $(U^N_t)_{t\ge 0}$ on the unitary group converges, as a process, to the free unitary Brownian motion $(u_t)_{t\ge 0}$ as $N\to\infty$. In this paper, we prove that it converges strongly as a process: not only in distribution but also in operator norm. In particular, for a fixed time $t>0$, we prove that the spectral measure has a hard edge: there are no outlier eigenvalues in the limit. Read More

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. Read More

Let $X_N$ be a symmetric $N\times N$ random matrix whose $\sqrt{N}$-scaled centered entries are uniformly square integrable. We prove that if the entries of $X_N$ can be partitioned into independent subsets each of size $o(\log N)$, then the empirical eigenvalue distribution of $X_N$ converges weakly to its mean in probability. This significantly extends the best previously known results on convergence of eigenvalues for matrices with correlated entries (where the partition subsets are blocks and of size $O(1)$. Read More

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. Read More

We prove an intrinsic equivalence between strong hypercontractivity and a strong logarithmic Sobolev inequality for the cone of logarithmically subharmonic functions. We introduce a new large class of measures, Euclidean regular and exponential type, in addition to all compactly-supported measures, for which this equivalence holds. We prove a Sobolev density theorem through log-subharmonic functions, and use it to prove the equivalence of strong hypercontractivity and the strong log Sobolev inequality for such log-subharmonic functions. Read More

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. Read More

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. Read More

We study the (two-parameter) Segal--Bargmann transform $\mathbf{B}_{s,t}^N$ on the unitary group $\mathbb{U}_N$, for large $N$. Acting on matrix valued functions that are equivariant under the adjoint action of the group, the transform has a meaningful limit $\mathscr{G}_{s,t}$ as $N\to\infty$, which can be identified as an operator on the space of complex Laurent polynomials. We introduce the space of {\em trace polynomials}, and use it to give effective computational methods to determine the action of the heat operator, and thus the Segal--Bargmann transform. Read More

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$. Read More

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. Read More

We prove that a normalized sequence of multiple Wigner integrals (in a fixed order of free Wigner chaos) converges in law to the standard semicircular distribution if and only if the corresponding sequence of fourth moments converges to 2, the fourth moment of the semicircular law. This extends to the free probabilistic, setting some recent results by Nualart and Peccati on characterizations of central limit theorems in a fixed order of Gaussian Wiener chaos. Our proof is combinatorial, analyzing the relevant noncrossing partitions that control the moments of the integrals. Read More

A non-crossing pairing on a bitstring matches 1s and 0s in a manner such that the pairing diagram is nonintersecting. By considering such pairings on arbitrary bitstrings $1^{n_1} 0^{m_1} .. Read More

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$. Read More

We prove strong hypercontractivity (SHC) inequalities for logarithmically subharmonic functions on $\RR^n$ and different classes of measures: Gaussian measures on $\RR^n$, symmetric Bernoulli and symmetric uniform probability measures on $\RR$, as well as their convolutions. Surprisingly, a slightly weaker strong hypercontractivity property holds for {\em any} symmetric measure on $\RR$. For all measures on $\R$ for which we know the (SHC) holds, we prove that a log--Sobolev inequality holds in the log-subharmonic category with a constant {\em smaller} than the one for Gaussian measure in the classical context. Read More

This paper addresses extensions of the complex Ornstein-Uhlenbeck semigroup to operator algebras in free probability theory. If $a_1,.. Read More

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. Read More

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. Read More