-
Further results on latin squares with disjoint subsquares using rational outline squares
Authors:
Tara Kemp,
James Lefevre
Abstract:
In this paper we consider the problem of finding latin squares with sets of pairwise disjoint subsquares. We develop a new necessary condition on the sizes of the subsquares which incorporates and extends the known conditions. We provide a construction for the case where all but two of the subsquares are the same size, and in this case the condition is sufficient. We obtain these results using sym…
▽ More
In this paper we consider the problem of finding latin squares with sets of pairwise disjoint subsquares. We develop a new necessary condition on the sizes of the subsquares which incorporates and extends the known conditions. We provide a construction for the case where all but two of the subsquares are the same size, and in this case the condition is sufficient. We obtain these results using symmetric rational outline squares, and additionally provide several new results and extensions to this theory.
△ Less
Submitted 12 May, 2025;
originally announced May 2025.
-
The strong Haagerup inequality for q-circular systems
Authors:
Todd Kemp,
Akihiro Miyagawa
Abstract:
Together with Speicher, in 2007 the first author proved the strong Haagerup inequality for operator norms of homogeneous holomorphic polynomials in freely independent $\mathscr{R}$-diagonal elements (including in particular circular random variables); the inequality improved the bound from the original Haagerup inequality to grow with $\sqrt{n}$, rather than linearly in $n$, on homogeneous polynom…
▽ More
Together with Speicher, in 2007 the first author proved the strong Haagerup inequality for operator norms of homogeneous holomorphic polynomials in freely independent $\mathscr{R}$-diagonal elements (including in particular circular random variables); the inequality improved the bound from the original Haagerup inequality to grow with $\sqrt{n}$, rather than linearly in $n$, on homogeneous polynomials of degree $n$. In this paper, we prove a similar inequality for $q$-circular systems for $|q|<1$, generalizing the free case when $q=0$. In particular, we prove the strong Haagerup inequality for systems exhibiting neither free independence nor $\mathscr{R}$-diagonality. As an application, we prove a strong ultracontractivity theorem for the $q$-Ornstein--Uhlenbeck semigroup, and prove sharp rates for the Haagerup and ultracontractive inequalities.
△ Less
Submitted 11 June, 2025; v1 submitted 4 September, 2024;
originally announced September 2024.
-
Realizations with five subsquares
Authors:
Tara Kemp
Abstract:
Given an integer partition $(h_1,h_2,\dots,h_k)$ of $n$, is it possible to find an order $n$ latin square with $k$ disjoint subsquares of orders $h_1,\dots,h_k$? This question was posed by L.Fuchs and is only partially solved. Existence has been determined in general when $k\leq 4$, and in this paper we will complete the case when $k=5$. We also prove some less general results for partitions with…
▽ More
Given an integer partition $(h_1,h_2,\dots,h_k)$ of $n$, is it possible to find an order $n$ latin square with $k$ disjoint subsquares of orders $h_1,\dots,h_k$? This question was posed by L.Fuchs and is only partially solved. Existence has been determined in general when $k\leq 4$, and in this paper we will complete the case when $k=5$. We also prove some less general results for partitions with $k=5$.
△ Less
Submitted 2 June, 2024;
originally announced June 2024.
-
Bias and Division in the Free World
Authors:
Larry Goldstein,
Todd Kemp
Abstract:
Sampling bias is a foundational concept in statistics; associated bias transforms, such as size bias, have come to play important roles in probability theory of late. The first author and G. Reinert introduced zero bias, a transform whose unique fixed point is the normal distribution; it has become a standard tool in Stein's method and Gaussian approximation. Very recently, connections between zer…
▽ More
Sampling bias is a foundational concept in statistics; associated bias transforms, such as size bias, have come to play important roles in probability theory of late. The first author and G. Reinert introduced zero bias, a transform whose unique fixed point is the normal distribution; it has become a standard tool in Stein's method and Gaussian approximation. Very recently, connections between zero bias and the class of infinitely divisible distributions have been found.
In this paper, we develop a free probabilistic analog of the zero bias transform, proving its existence and regularity. The free zero bias has the semicircle law (free probability's central limit distribution) as its unique fixed point. We offer a construction of the free zero bias that mirrors a classical one incorporating square bias with a mollifier, and in the process develop a surprisingly new class of distributional operations through their Cauchy transforms.
We then explore connections between the free zero bias, and size bias, with the class of freely infinitely divisible distributions. We develop a new self-contained treatment of the subject, together with a new characterization of free infinite divisibility using bias transforms. We also develop a parallel treatment of positively freely infinitely divisible distributions, which can also be characterized by a new kind of Levy--Khintchine formula that has no known classical analogue, and we use this to both give several new descriptions of such distributions and furnish new examples using these bias methods.
△ Less
Submitted 1 April, 2025; v1 submitted 28 March, 2024;
originally announced March 2024.
-
Latin hypercubes realizing integer partitions
Authors:
Diane Donovan,
Tara Kemp,
James Lefevre
Abstract:
For an integer partition $h_1 + \dots + h_n = N$, a 2-realization of this partition is a latin square of order $N$ with disjoint subsquares of orders $h_1,\dots,h_n$. The existence of 2-realizations is a partially solved problem posed by Fuchs. In this paper, we extend Fuchs' problem to $m$-ary quasigroups, or, equivalently, latin hypercubes. We construct latin cubes for some partitions with at mo…
▽ More
For an integer partition $h_1 + \dots + h_n = N$, a 2-realization of this partition is a latin square of order $N$ with disjoint subsquares of orders $h_1,\dots,h_n$. The existence of 2-realizations is a partially solved problem posed by Fuchs. In this paper, we extend Fuchs' problem to $m$-ary quasigroups, or, equivalently, latin hypercubes. We construct latin cubes for some partitions with at most two distinct parts and highlight how the new problem is related to the original.
△ Less
Submitted 18 December, 2023;
originally announced December 2023.
-
A Martingale Approach to Noncommutative Stochastic Calculus
Authors:
David A. Jekel,
Todd A. Kemp,
Evangelos A. Nikitopoulos
Abstract:
We present a new approach to noncommutative stochastic calculus that is, like the classical theory, based primarily on the martingale property. Using this approach, we introduce a general theory of stochastic integration and quadratic (co)variation for a certain class of noncommutative processes -- analogous to semimartingales -- that includes both the $q$-Brownian motions and classical…
▽ More
We present a new approach to noncommutative stochastic calculus that is, like the classical theory, based primarily on the martingale property. Using this approach, we introduce a general theory of stochastic integration and quadratic (co)variation for a certain class of noncommutative processes -- analogous to semimartingales -- that includes both the $q$-Brownian motions and classical $n \times n$ matrix-valued Brownian motions. As applications, we obtain Burkholder-Davis-Gundy inequalities (with $p \geq 2$) for continuous-time noncommutative martingales and a noncommutative Itô formula for "adapted $C^2$ maps," including trace $\ast$-polynomial maps and operator functions associated to the noncommutative $C^2$ scalar functions $\mathbb{R} \to \mathbb{C}$ introduced by Nikitopoulos, as well as the more general multivariate tracial noncommutative $C^2$ functions introduced by Jekel-Li-Shlyakhtenko.
△ Less
Submitted 18 August, 2023;
originally announced August 2023.
-
Sphere Under Advection and Mean Curvature Flow
Authors:
Bryce A. Besler,
Tannis D. Kemp,
Nils D. Forkert,
Steven K. Boyd
Abstract:
Advection and mean curvature flow is used as a model of bone microarchitecture adaptation. It is an equivalent geometric flow to prescribed mean curvature flow with an additional rate term. In order to validate numerical methods for simulating this flow and developing an inverse solver, a closed-form solution for advection and mean curvature flow of a sphere is derived.
Advection and mean curvature flow is used as a model of bone microarchitecture adaptation. It is an equivalent geometric flow to prescribed mean curvature flow with an additional rate term. In order to validate numerical methods for simulating this flow and developing an inverse solver, a closed-form solution for advection and mean curvature flow of a sphere is derived.
△ Less
Submitted 18 December, 2020;
originally announced December 2020.
-
The Brown measure of the free multiplicative Brownian motion
Authors:
Bruce K. Driver,
Brian C. Hall,
Todd Kemp
Abstract:
The free multiplicative Brownian motion $b_{t}$ is the large-$N$ limit of the Brownian motion on $\mathsf{GL}(N;\mathbb{C}),$ in the sense of $\ast $-distributions. The natural candidate for the large-$N$ limit of the empirical distribution of eigenvalues is thus the Brown measure of $b_{t}$. In previous work, the second and third authors showed that this Brown measure is supported in the closure…
▽ More
The free multiplicative Brownian motion $b_{t}$ is the large-$N$ limit of the Brownian motion on $\mathsf{GL}(N;\mathbb{C}),$ in the sense of $\ast $-distributions. The natural candidate for the large-$N$ limit of the empirical distribution of eigenvalues is thus the Brown measure of $b_{t}$. In previous work, the second and third authors showed that this Brown measure is supported in the closure of a region $Σ_{t}$ that appeared work of Biane. In the present paper, we compute the Brown measure completely. It has a continuous density $W_{t}$ on $\barΣ_{t},$ which is strictly positive and real analytic on $Σ_{t}$. This density has a simple form in polar coordinates: \[ W_{t}(r,θ)=\frac{1}{r^{2}}w_{t}(θ), \] where $w_{t}$ is an analytic function determined by the geometry of the region $Σ_{t}$.
We show also that the spectral measure of free unitary Brownian motion $u_{t}$ is a "shadow" of the Brown measure of $b_{t}$, precisely mirroring the relationship between Wigner's semicircle law and Ginibre's circular law. We develop several new methods, based on stochastic differential equations and PDE, to prove these results.
△ Less
Submitted 25 August, 2020; v1 submitted 26 March, 2019;
originally announced March 2019.
-
Brown Measure Support and the Free Multiplicative Brownian Motion
Authors:
Brian Hall,
Todd Kemp
Abstract:
The free multiplicative Brownian motion $b_{t}$ is the large-$N$ limit of Brownian motion $B_t^N$ on the general linear group $\mathrm{GL}(N;\mathbb{C})$. We prove that the Brown measure for $b_{t}$---which is an analog of the empirical eigenvalue distribution for matrices---is supported on the closure of a certain domain $Σ_{t}$ in the plane. The domain $Σ_t$ was introduced by Biane in the contex…
▽ More
The free multiplicative Brownian motion $b_{t}$ is the large-$N$ limit of Brownian motion $B_t^N$ on the general linear group $\mathrm{GL}(N;\mathbb{C})$. We prove that the Brown measure for $b_{t}$---which is an analog of the empirical eigenvalue distribution for matrices---is supported on the closure of a certain domain $Σ_{t}$ in the plane. The domain $Σ_t$ was introduced by Biane in the context of the large-$N$ limit of the Segal--Bargmann transform associated to $\mathrm{GL}(N;\mathbb{C})$.
We also consider a two-parameter version, $b_{s,t}$: the large-$N$ limit of a related family of diffusion processes on $\mathrm{GL}(N;\mathbb{C})$ introduced by the second author. We show that the Brown measure of $b_{s,t}$ is supported on the closure of a certain planar domain $Σ_{s,t}$, generalizing $Σ_t$, introduced by Ho.
In the process, we introduce a new family of spectral domains related to any operator in a tracial von Neumann algebra: the {\em $L^p_n$-spectrum} for $n\in\mathbb{N}$ and $p\ge 1$, a subset of the ordinary spectrum defined relative to potentially-unbounded inverses. We show that, in general, the support of the Brown measure of an operator is contained in its $L_2^2$-spectrum.
△ Less
Submitted 26 July, 2019; v1 submitted 29 September, 2018;
originally announced October 2018.
-
Most Boson quantum states are almost maximally entangled
Authors:
Shmuel Friedland,
Todd Kemp
Abstract:
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. In this paper, we show that for $m$ qubit {\em Boson} qua…
▽ More
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. In this paper, we show that for $m$ qubit {\em Boson} quantum states (those that are actually available in current designs for quantum computers), the maximal possible geometric measure of entanglement is $\log_2 m$, opening the door to many computationally universal states. We further show the corresponding concentration result that $E \ge \log_2 m - O(\log \log m)$ with high probability as $m\to\infty$. We extend these results also to $m$-mode $n$-bit Boson quantum states.
△ Less
Submitted 2 December, 2016;
originally announced December 2016.
-
The Complex-Time Segal-Bargmann Transform
Authors:
Bruce Driver,
Brian Hall,
Todd Kemp
Abstract:
We introduce a new form of the Segal--Bargmann transform for a Lie group $K$ of compact type. We show that the heat kernel $(ρ_{t}(x))_{t>0,x\in K}$ has a space-time analytic continuation to a holomorphic function \[ (ρ_{\mathbb{C}}(τ,z))_{\mathrm{Re}\,τ>0,z\in K_{\mathbb{C}}} \] where $K_{\mathbb{C}}$ is the complexification of $K$. The new transform is defined by the integral \[ (B_τf)(z)=\int_{…
▽ 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 $(ρ_{t}(x))_{t>0,x\in K}$ has a space-time analytic continuation to a holomorphic function \[ (ρ_{\mathbb{C}}(τ,z))_{\mathrm{Re}\,τ>0,z\in K_{\mathbb{C}}} \] where $K_{\mathbb{C}}$ is the complexification of $K$. The new transform is defined by the integral \[ (B_τf)(z)=\int_{K}ρ_{\mathbb{C}}(τ,zk^{-1})f(k)\,dk,\quad z\in K_{\mathbb{C}}. \] If $s>0$ and $τ\in\mathbb{D}(s,s)$ (the disk of radius $s$ centered at $s$), this integral defines a holomorphic function on $K_{\mathbb{C}}$ for each $f\in L^{2}(K,ρ_{s})$. We construct a heat kernel density $μ_{s,τ}$ on $K_{\mathbb{C}}$ such that, for all $s,τ$ as above, $B_{s,τ}:=B_τ|_{L^{2}(K,ρ_{s})}$ is an isometric isomorphism from $L^{2}(K,ρ_{s})$ onto the space of holomorphic functions in $L^{2}(K_{\mathbb{C}},μ_{s,τ})$. When $τ=t=s$, the transform $B_{t,t}$ coincides with the one introduced by the second author for compact groups and extended by the first author to groups of compact type. When $τ=t\in (0,2s)$, the transform $B_{s,t}$ coincides with the one introduced by the first two authors.
△ Less
Submitted 31 May, 2019; v1 submitted 1 October, 2016;
originally announced October 2016.
-
Strong Convergence of Unitary Brownian Motion
Authors:
Benoit Collins,
Antoine Dahlqvist,
Todd Kemp
Abstract:
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 t…
▽ 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. We also prove an extension theorem: any strongly convergent collection of random matrix ensembles independent from a unitary Brownian motion also converge strongly jointly with the Brownian motion. We give an application of this strong convergence to the Jacobi process.
△ Less
Submitted 16 March, 2015; v1 submitted 22 February, 2015;
originally announced February 2015.
-
Fluctuations of Brownian Motions on GL_N
Authors:
Guillaume Cébron,
Todd Kemp
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 fini…
▽ 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. These results generalize earlier work of Lévy and Maïda, and Diaconis and Evans, on unitary groups. Our approach is geometric, rather than combinatorial.
△ Less
Submitted 20 June, 2015; v1 submitted 19 September, 2014;
originally announced September 2014.
-
Random Matrices with Log-Range Correlations, and Log-Sobolev Inequalities
Authors:
Todd Kemp,
David Zimmermann
Abstract:
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 conver…
▽ 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)$.) we prove this result be developing a new log-Sobolev inequality, generalizing the first author's introduction of mollified log-Sobolev inequalities: we show that if $\mathbf{Y}$ is a bounded random vector and $\mathbf{Z}$ is a standard normal random vector independent from $\mathbf{Y}$, then the law of $\mathbf{Y}+t\mathbf{Z}$ satisfies a log-Sobolev inequality for all $t>0$, and we give bounds on the optimal log-Sobolev constant.
△ Less
Submitted 6 December, 2016; v1 submitted 11 May, 2014;
originally announced May 2014.
-
On Sharp Constants for Dual Segal--Bargmann $L^p$ Spaces
Authors:
William E. Gryc,
Todd Kemp
Abstract:
We study dilated holomorphic $L^p$ space of Gaussian measures over $\mathbb{C}^n$, denoted $\mathcal{H}_{p,α}^n$ with variance scaling parameter $α>0$. The duality relations $(\mathcal{H}_{p,α}^n)^\ast \cong \mathcal{H}_{p',α}$ 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',α}$ and…
▽ More
We study dilated holomorphic $L^p$ space of Gaussian measures over $\mathbb{C}^n$, denoted $\mathcal{H}_{p,α}^n$ with variance scaling parameter $α>0$. The duality relations $(\mathcal{H}_{p,α}^n)^\ast \cong \mathcal{H}_{p',α}$ 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',α}$ and $(\mathcal{H}_{p,α}^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$.
△ Less
Submitted 23 August, 2014; v1 submitted 8 January, 2014;
originally announced January 2014.
-
Strong Logarithmic Sobolev Inequalities for Log-Subharmonic Functions
Authors:
Piotr Graczyk,
Todd Kemp,
Jean-Jacques Loeb
Abstract:
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 functio…
▽ 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.
△ Less
Submitted 15 November, 2013;
originally announced November 2013.
-
The Large-$N$ Limits of Brownian Motions on $\mathbb{GL}_N$
Authors:
Todd Kemp
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ô processes $(b_{r,s}(t))_{t\ge 0}$ in a faithful, tracial $W^\ast$-probability space, and we prove that the full pro…
▽ 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ô 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.
△ Less
Submitted 25 June, 2013;
originally announced June 2013.
-
Heat Kernel Empirical Laws on $\mathbb{U}_N$ and $\mathbb{GL}_N$
Authors:
Todd Kemp
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 resu…
▽ 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. These results are then strengthened from variance estimates to $L^p$ estimates for even integers $p$.
△ Less
Submitted 10 June, 2013;
originally announced June 2013.
-
The Large-$N$ Limit of the Segal--Bargmann Transform on $\mathbb{U}_N$
Authors:
Bruce K. Driver,
Brian C. Hall,
Todd Kemp
Abstract:
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 spa…
▽ 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. We prove several concentration of measure and limit theorems, giving a direct connection from the finite-dimensional transform $\mathbf{B}_{s,t}^N$ to its limit $\mathscr{G}_{s,t}$. We characterize the operator $\mathscr{G}_{s,t}$ through its inverse action on the standard polynomial basis. Finally, we show that, in the case $s=t$, the limit transform $\mathscr{G}_{t,t}$ is the ``free Hall transform'' $\mathscr{G}^t$ introduced by Biane.
△ Less
Submitted 7 June, 2013; v1 submitted 10 May, 2013;
originally announced May 2013.
-
Duality in Segal-Bargmann Spaces
Authors:
William E. Gryc,
Todd Kemp
Abstract:
For $α>0$, the Bargmann projection $P_α$ is the orthogonal projection from $L^2(γ_α)$ onto the holomorphic subspace $L^2_{hol}(γ_α)$, where $γ_α$ is the standard Gaussian probability measure on $\C^n$ with variance $(2α)^{-n}$. The space $L^2_{hol}(γ_α)$ is classically known as the Segal-Bargmann space. We show that $P_α$ extends to a bounded operator on $L^p(γ_{αp/2})$, and calculate the exact no…
▽ More
For $α>0$, the Bargmann projection $P_α$ is the orthogonal projection from $L^2(γ_α)$ onto the holomorphic subspace $L^2_{hol}(γ_α)$, where $γ_α$ is the standard Gaussian probability measure on $\C^n$ with variance $(2α)^{-n}$. The space $L^2_{hol}(γ_α)$ is classically known as the Segal-Bargmann space. We show that $P_α$ extends to a bounded operator on $L^p(γ_{α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}(γ_{αp/2})$ is an $L^{p'}$ Segal-Bargmann space, but with the Gaussian measure scaled differently: $(L^p_{hol}(γ_{αp/2}))^* \cong L^{p'}_{hol}(γ_{α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.
△ Less
Submitted 26 November, 2012;
originally announced November 2012.
-
Liberation of Projections
Authors:
Benoit Collins,
Todd Kemp
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 $μ_t$; we prove that the Cauchy transform of the measure satisfies a holomorphic PDE. We develop a theo…
▽ 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 $μ_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 $μ_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.
△ Less
Submitted 7 September, 2013; v1 submitted 26 November, 2012;
originally announced November 2012.
-
Wigner chaos and the fourth moment
Authors:
Todd Kemp,
Ivan Nourdin,
Giovanni Peccati,
Roland Speicher
Abstract:
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 ce…
▽ 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. We can also use these techniques to distinguish the first order of chaos from all others in terms of distributions; we then use tools from the free Malliavin calculus to give quantitative bounds on a distance between different orders of chaos. When applied to highly symmetric kernels, our results yield a new transfer principle, connecting central limit theorems in free Wigner chaos to those in Gaussian Wiener chaos. We use this to prove a new free version of an important classical theorem, the Breuer-Major theorem.
△ Less
Submitted 30 July, 2012; v1 submitted 20 September, 2010;
originally announced September 2010.
-
Enumeration of non-crossing pairings on bit strings
Authors:
Todd Kemp,
Karl Mahlburg,
Amarpreet Rattan,
Clifford Smyth
Abstract:
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} ... 1^{n_r} 0^{m_r}$, we generalize classical problems from the theory of Catalan structures. In particular, it is very difficult to find useful explicit formulas for the enumeration function…
▽ 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} ... 1^{n_r} 0^{m_r}$, we generalize classical problems from the theory of Catalan structures. In particular, it is very difficult to find useful explicit formulas for the enumeration function $φ(n_1, m_1, ..., n_r, m_r)$, which counts the number of pairings as a function of the underlying bitstring. We determine explicit formulas for $φ$, and also prove general upper bounds in terms of Fuss-Catalan numbers by relating non-crossing pairings to other generalized Catalan structures (that are in some sense more natural). This enumeration problem arises in the theory of random matrices and free probability.
△ Less
Submitted 17 June, 2009; v1 submitted 11 June, 2009;
originally announced June 2009.
-
Resolvents of R-Diagonal Operators
Authors:
Uffe Haagerup,
Todd Kemp,
Roland Speicher
Abstract:
We consider the resolvent $(λ-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 $|λ-c|^2$ where $c$ is Voiculescu's circular operator, and give an asymptotic formula for the negative moments of $|λ-a|^2$ for any $R$-dia…
▽ More
We consider the resolvent $(λ-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 $|λ-c|^2$ where $c$ is Voiculescu's circular operator, and give an asymptotic formula for the negative moments of $|λ-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.
△ Less
Submitted 19 November, 2008;
originally announced November 2008.
-
Hypercontractivity for log-subharmonic functions
Authors:
Piotr Graczyk,
Todd Kemp,
Jean-Jacques Loeb,
Tomasz Zak
Abstract:
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…
▽ 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. This result is extended to all dimensions for compactly-supported measures.
△ Less
Submitted 19 October, 2008; v1 submitted 28 February, 2008;
originally announced February 2008.
-
R-diagonal dilation semigroups
Authors:
Todd Kemp
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$ e…
▽ More
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$.
△ Less
Submitted 11 February, 2008; v1 submitted 19 August, 2007;
originally announced August 2007.
-
Strong Haagerup inequalities for free R-diagonal elements
Authors:
Todd Kemp,
Roland Speicher
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…
▽ 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. Finally, we use our strong Haagerup inequality to prove a strong ultracontractivity theorem.
△ Less
Submitted 28 December, 2005; v1 submitted 20 December, 2005;
originally announced December 2005.
-
Strong hypercontractivity in non-commutative holomorphic spaces
Authors:
Todd Kemp
Abstract:
We introduce holomorphic algebras $H_q$ in the context of the q-Gaussian algebra $Γ_q$ of Bozejko, Kümmerer, 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.
We introduce holomorphic algebras $H_q$ in the context of the q-Gaussian algebra $Γ_q$ of Bozejko, Kümmerer, 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.
△ Less
Submitted 22 September, 2005; v1 submitted 25 October, 2004;
originally announced October 2004.
