arXiv subjects
Publications and source records attributed to J. E. Pascoe.
We give an entire free holomorphic function $f$ which is unbounded on the row ball. That is, we give a holomorphic free noncommutative function which is continuous in the free topology developed by Agler and McCarthy but is unbounded on the set of row contractions.
It was shown classically that matrix monotone and matrix convex functions must be real analytic by Löwner and Kraus respectively. Recently, various analogues have been found in several noncommuting variables. We develop a general framework for lifting automatic analyticity theorems in matrix analysis from one variable to several variables, the so-called "royal road theorem." That is, we establish the principle that the hard part of proving any automatic analyticity theorem lies in proving the one variable theorem. We use our main result to prove the noncommutative Löwner and Kraus theorems over operator systems as examples, including an analogue of the "butterfly realization" of Helton-McCullough-Vinnikov for general analytic functions.
Schoenberg showed that a function $f:(-1,1)\rightarrow \mathbb{R}$ such that $C=[c_{ij}]_{i,j}$ positive semi-definite implies that $f(C)=[f(c_{ij})]_{i,j}$ is also positive semi-definite must be analytic and have Taylor series coefficients nonnegative at the origin. The Schoenberg theorem is essentially a theorem about the functional calculus arising from the Schur product, the entrywise product of matrices. Two important properties of the Schur product are that the product of two rank one matrices is rank one, and the product of two positive semi-definite matrices is positive semi-definite. We classify all products which satisfy these two properties and show that these generalized Schur products satisfy a Schoenberg type theorem.
We examine a special case of an approximation of the joint spectral radius given by Blondel and Nesterov, which we call the outer spectral radius. The outer spectral radius is given by the square root of the ordinary spectral radius of the $n^2$ by $n^2$ matrix $\sum{\overline{X_i}}\otimes{X_i}.$ We give an analogue of the spectral radius formula for the outer spectral radius which can be used to quickly obtain the error bounds in methods based on the work of Blondel and Nesterov. The outer spectral radius is used to analyze the iterates of a completely postive map, including the special case of quantum channels. The average of the iterates of a completely positive map approach to a completely positive map where the Kraus operators span an ideal in the algebra generated by the Kraus operators of the original completely positive map. We also give an elementary treatment of Popescu's theorems on similarity to row contractions in the matrix case, describe connections to the Parrilo-Jadbabaie relaxation, and give a detailed analysis of the maximal spectrum of a completely positive map.
A committee space is a Hilbert space of power series, perhaps in several or noncommuting variables, such that $\|z^α\|\|z^β\| \geq \|z^{α+β}\|.$ Such a space satisfies the true column-row property when ever the map transposing a column multiplier to a row multiplier is contractive. We describe a model for random multipliers and show that such random multipliers satisfy the true column-row property. We also show that the column-row property holds asymptotically for large random Nevanlinna-Pick interpolation problems where the nodes are chosen identically and independently. These results suggest that finding a violation of the true column-row property for the Drury-Arveson space via naïve random search is unlikely.
We give an efficient solution to the following problem: Given $X_1, \ldots X_d$ and $Y$ some $n$ by $n$ matrices can we determine if $Y$ is in the unital algebra generated by $X_1, \ldots, X_d$ as a subalgebra of all $n$ by $n$ matrices? The solution also gives an easy method for computing the dimension of this algebra.
Let $f: D \rightarrow Ω$ be a complex analytic function. The Julia quotient is given by the ratio between the distance of $f(z)$ to the boundary of $Ω$ and the distance of $z$ to the boundary of $D.$ A classical Julia-Carathéodory type theorem states that if there is a sequence tending to $τ$ in the boundary of $D$ along which the Julia quotient is bounded, then the function $f$ can be extended to $τ$ such that $f$ is nontangentially continuous and differentiable at $τ$ and $f(τ)$ is in the boundary of $Ω.$ We develop an extended theory when $D$ and $Ω$ are taken to be the upper half plane which corresponds to amortized boundedness of the Julia quotient on sets of controlled tangential approach, so-called $λ$-Stolz regions, and higher order regularity, including but not limited to higher order differentiability, which we measure using $γ$-regularity. Applications are given, including perturbation theory and moment problems.
A Herglotz function is a holomorphic map from the open complex unit disk into the closed complex right halfplane. A classical Herglotz function has an integral representation against a positive measure on the unit circle. We prove a free analytic analogue of the Herglotz representation and describe how our representations specialize to the free probabilistic case. We also show that the set of representable Herglotz functions arising from noncommutative conditional expectations must be closed in a natural topology.
The edge-of-the-wedge theorem in several complex variables gives the analytic continuation of functions defined on the poly upper half plane and the poly lower half plane, the set of points in $\mathbb{C}^d$ with all coordinates in the upper and lower half planes respectively, through a set in real space, $\mathbb{R}^d.$ The geometry of the set in the real space can force the function to analytically continue within the boundary itself, which is qualified in our wedge-of-the-edge theorem. For example, if a function extends to the union of two cubes in $\mathbb{R}^d$ which are positively oriented, with some small overlap, the functions must analytically continue to a neighborhood of that overlap of a fixed size not depending of the size of the overlap.
Given a function $f: (a,b) \rightarrow \mathbb{R},$ Löwner's theorem states $f$ is monotone when extended to self-adjoint matrices via the functional calculus, if and only if $f$ extends to a self-map of the complex upper half plane. In recent years, several generalizations of Löwner's theorem have been proven in several variables. We use the relaxed Agler, McCarthy and Young theorem on locally matrix monotone functions in several commuting variables to generalize results in the noncommutative case. Specifically, we show that a real free function defined over an operator system must analytically continue to a noncommutative upper half plane as map into another noncommutative upper half plane.
We derive some Positivstellensatzë for noncommutative rational expressions from the Positivstellensatzë for noncommutative polynomials. Specifically, we show that if a noncommutative rational expression is positive on a polynomially convex set, then there is an algebraic certificate witnessing that fact. As in the case of noncommutative polynomials, our results are nicer when we additionally assume positivity on a convex set-- that is, we obtain a so-called "perfect Positivstellensatz" on convex sets.
Nevanlinna showed that Cauchy transforms of probability measures parametrize all functions from the upper half plane into itself satisfying a certain asymptotic condition at infinity. We show that the correspondence fails in general for the unbounded case for somewhat trivial reasons; however, we show that in a setting of "homomorphic" operator valued free probability that Cauchy transforms of homomorphic conditional expectations parametrize free Pick functions.
We study the asymptotic behavior of Pick functions, analytic functions which take the upper half plane to itself. We show that if a two variable Pick function $f$ has real residues to order $2N-1$ at infinity and the imaginary part of the remainder between $f$ and this expansion is of order $2N+1,$ then $f$ has real residues to order $2N$ and directional residues to order $2N+1.$ Furthermore, $f$ has real residues to order $2N+1$ if and only if the $2N+1$-th derivative is given by a polynomial, thus obtaining a two variable analogue of a higher order Julia-Carathéodory type theorem.
This paper concerns matrix "convex" functions of (free) noncommuting variables, $x = (x_1, \ldots, x_g)$. Helton and McCullough showed that a polynomial in $x$ which is matrix convex is of degree two or less. We prove a more general result: that a function of $x$ that is matrix convex near $0$ and also that is "analytic" in some neighborhood of the set of all self-adjoint matrix tuples is in fact a polynomial of degree two or less. More generally, we prove that a function $F$ in two classes of noncommuting variables, $a = (a_1, \ldots, a_{\tilde{g}})$ and $x = (x_1, \ldots, x_g)$ that is "analytic" and matrix convex in $x$ on a "noncommutative open set" in $a$ is a polynomial of degree two or less.
In this brief note, we show that the hypotheses of Löwner's theorem on matrix monotonicity in several commuting variables as proved by Agler, McCarthy and Young can be significantly relaxed. Specifically, we extend their theorem from continuously differentiable locally matrix monotone functions to arbitrary locally matrix monotone functions using mollification techniques.
In 1936, Margarete C. Wolf showed that the ring of symmetric free polynomials in two or more variables is isomorphic to the ring of free polynomials in infinitely many variables. We show that Wolf's theorem is a special case of a general theory of the ring of invariant free polynomials: every ring of invariant free polynomials is isomorphic to a free polynomial ring. Furthermore, we show that this isomorphism extends to the free functional calculus as a norm-preserving isomorphism of function spaces on a domain known as the row ball. We give explicit constructions of the ring of invariant free polynomials in terms of representation theory and develop a rudimentary theory of their structures. Specifically, we obtain a generating function for the number of basis elements of a given degree and explicit formulas for good bases in the abelian case.
We extend the study of the Pick class, the set of complex analytic functions taking the upper half plane into itself, to the noncommutative setting. R. Nevanlinna showed that elements of the Pick class have certain integral representations which reflect their asymptotic behavior at infinity. Loewner connected the Pick class to matrix monotone functions. We generalize the Nevanlinna representation theorems and Loewner's theorem on matrix monotone functions to the free Pick class, the collection of functions that map tuples of matrices with positive imaginary part into the matrices with positive imaginary part which obey the free functional calculus.
We establish an invertibility criterion for free polynomials and free functions evaluated on some tuples of matrices. We show that if the derivative is nonsingular on some domain closed with respect to direct sums and similarity, the function must be invertible. Thus, as a corollary, we establish the Jacobian conjecture in this context. Furthermore, our result holds for commutative polynomials evaluated on tuples of commuting matrices.