BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

J. E. Pascoe

J. E. Pascoe appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.FAmath.CVmath.OAmath.ACmath.AGmath.COmath.NTmath.RT

Catalog footprint

What is connected

12works
8topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

12 published item(s)

preprint2022arXiv

Induced Stinespring factorization and the Wittstock support theorem

Given a pair of self-adjoint-preserving completely bounded maps on the same $C^*$-algebra, say that $φ\leq ψ$ if the kernel of $φ$ is a subset of the kernel of $ψ$ and $ψ\circ φ^{-1}$ is completely positive. The \emph{Agler class} of a map $φ$ is the class of $ψ\geq φ.$ Such maps admit colligation formulae, and, in Lyapunov type situations, transfer function type realizations on the Stinespring coefficients of their Wittstock decompositions. As an application, we prove that the support of an extremal Wittstock decomposition is unique.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Noncommutative free universal monodromy, pluriharmonic conjugates, and plurisubharmonicity

We show that the monodromy theorem holds on arbitrary connected free sets for noncommutative free analytic functions. Applications are numerous-- pluriharmonic free functions have globally defined pluriharmonic conjugates, locally invertible functions are globally invertible, and there is no nontrivial cohomology theory arising from analytic continuation on connected free sets. We describe why the Baker-Campbell-Hausdorff formula has finite radius of convergence in terms of monodromy, and solve a related problem of Martin-Shamovich. We generalize the Dym-Helton-Klep-McCullough-Volcic theorem-- a uniformly real analytic free noncommutative function is plurisubharmonic if and only if it can be written as a composition of a convex function with an analytic function. The decomposition is essentially unique. The result is first established locally, and then Free Universal Monodromy implies the global result. Moreover, we see that plurisubharmonicity is a geometric property-- a real analytic free function plurisubharmonic on a neighborhood is plurisubharmonic on the whole domain. We give an analytic Greene-Liouville theorem, an entire free plurisubharmonic function is a sum of hereditary and antihereditary squares.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Trace minmax functions and the radical Laguerre-Pólya class

We classify functions $f:(a,b)\rightarrow \mathbb{R}$ which satisfy the inequality $$\operatorname{tr} f(A)+f(C)\geq \operatorname{tr} f(B)+f(D)$$ when $A\leq B\leq C$ are self-adjoint matrices, $D= A+C-B$, the so-called trace minmax functions. (Here $A\leq B$ if $B-A$ is positive semidefinite, and $f$ is evaluated via the functional calculus.) A function is trace minmax if and only if its derivative analytically continues to a self map of the upper half plane. The negative exponential of a trace minmax function $g=e^{-f}$ satisfies the inequality $$\det g(A) \det g(C)\leq \det g(B) \det g(D)$$ for $A, B, C, D$ as above. We call such functions determinant isoperimetric. We show that determinant isoperimetric functions are in the "radical" of the the Laguerre-Pólya class. We derive an integral representation for such functions which is essentially a continuous version of the Hadamard factorization for functions in the the Laguerre-Pólya class. We apply our results to give some equivalent formulations of the Riemann hypothesis.

0 citations0 reviewsNo code linkedOpen access
preprint2018arXiv

Representation of free Herglotz functions

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.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

An inductive Julia-Caratheodory theorem for Pick functions in two variables

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.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Cauchy transforms arising from homomorphic conditional expectations parametrize free Pick functions but those arising from conditional expectations do not

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.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Convex entire noncommutative functions are polynomials of degree two or less

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.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Free functions with symmetry

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.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Note on Löwner's theorem on matrix monotone functions in several commuting variables of Agler, McCarthy and Young

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.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Free Pick functions: representations, asymptotic behavior and matrix monotonicity in several noncommuting variables

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.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

On the continuation of locally operator monotone functions

We generalize the phenomenon of continuation from complex anal- ysis to locally operator monotone functions. Along the lines of the egde-of- the-wedge theorem, we prove continuations exist dependent only on geometric features of the domain and, namely, independent of the function values. We prove a generalization of the Julia inequality for a class of functions containing locally operator monotone functions, Pick functions.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

The inverse function theorem and the resolution of the Jacobian conjecture in free analysis

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.

0 citations0 reviewsNo code linkedOpen access