Showing 1–50 of 50 results for author: Pascoe, J E

The spectral constant for the quantum cross and asymptotically sharp bounds for annuli

Authors: J. E. Pascoe

Abstract: The quantum annulus of type $r$ is the class of invertible operators with singular values in $(1/r,r).$ Given an analytic function on the classical annulus of type $r,$ we may evaluate it on operators in the quantum annulus by The spectral constant gives the maximum ratio betweeen the supremum over the norm of evalutions at operators in the quantum annulus to the supremum over classical evaluation… ▽ More The quantum annulus of type $r$ is the class of invertible operators with singular values in $(1/r,r).$ Given an analytic function on the classical annulus of type $r,$ we may evaluate it on operators in the quantum annulus by The spectral constant gives the maximum ratio betweeen the supremum over the norm of evalutions at operators in the quantum annulus to the supremum over classical evaluations. We show that the limit of the spectral constant as $r$ goes to infinity is $2.$ Via the correspondence between annuli and hyperbolae, our study degenerates the problem to one on the quantum cross, pairs of contractions with product zero, where the spectral constant is exactly $2.$ The essential technique is to rationally dilate $Z$ to $\hat{Z}$ which has $U =(\hat{Z}+(\hat{Z}^{-1})^*)/(r+1/r)$ unitary and estimate $Uf(\hat{Z})U^*$ directly. △ Less

Submitted 17 April, 2025; originally announced May 2025.

Comments: 4 pages

MSC Class: 47A25

The geometry of inconvenience and perverse equilibria in trade networks

Authors: Michael Coopman, Austin Jacobs, Henry Pascoe, J. E. Pascoe

Abstract: The structure bilateral trading costs is one of the key features of international trade. Drawing upon the freeness-of-trade matrix, which allows the modeling of N-state trade costs, we develop a ``geometry of inconvenience'' to better understand how they impact equilbrium outcomes. The freeness-of-trade matrix was introduced in a model by Mossay and Tabuchi, where they essentially proved that if a… ▽ More The structure bilateral trading costs is one of the key features of international trade. Drawing upon the freeness-of-trade matrix, which allows the modeling of N-state trade costs, we develop a ``geometry of inconvenience'' to better understand how they impact equilbrium outcomes. The freeness-of-trade matrix was introduced in a model by Mossay and Tabuchi, where they essentially proved that if a freeness-of-trade matrix is positive definite, then the corresponding model admits a unique equilibrium. Drawing upon the spectral theory of metrics, we prove the model admits nonunique, perverse, equilibria. We use this result to provide a family of policy relevant bipartite examples, with substantive applications to economic sanctions. More generally, we show how the network structure of the freeness of trade is central to understanding the impacts of policy interventions. △ Less

Submitted 10 April, 2025; originally announced April 2025.

Comments: 25 Pages

MSC Class: 46N10; 46B85

Indices of quadratic programs over reproducing kernel Hilbert spaces for fun and profit

Authors: Geoffrey Hutinet, J. E. Pascoe

Abstract: We give an abstract perspective on quadratic programming with an eye toward long portfolio theory geared toward explaining sparsity via maximum principles. Specifically, in optimal allocation problems, we see that support of an optimal distribution lies in a variety intersect a kind of distinguished boundary of a compact subspace to be allocated over. We demonstrate some of its intelligence by usi… ▽ More We give an abstract perspective on quadratic programming with an eye toward long portfolio theory geared toward explaining sparsity via maximum principles. Specifically, in optimal allocation problems, we see that support of an optimal distribution lies in a variety intersect a kind of distinguished boundary of a compact subspace to be allocated over. We demonstrate some of its intelligence by using it to solve mazes and interpret such behavior as the underlying space trying to understand some hypothetical platonic index for which the capital asset pricing model holds. △ Less

Submitted 24 December, 2024; originally announced December 2024.

Comments: 28 pages. Comments welcome

MSC Class: 30C15; 30C80; 47B32; 46E22; 91G10; 90C20

Stable polynomials and admissible numerators in product domains

Authors: Kelly Bickel, Greg Knese, James Eldred Pascoe, Alan Sola

Abstract: Given a polynomial $p$ with no zeros in the polydisk, or equivalently the poly-upper half-plane, we study the problem of determining the ideal of polynomials $q$ with the property that the rational function $q/p$ is bounded near a boundary zero of $p$. We give a complete description of this ideal of numerators in the case where the zero set of $p$ is smooth and satisfies a non-degeneracy condition… ▽ More Given a polynomial $p$ with no zeros in the polydisk, or equivalently the poly-upper half-plane, we study the problem of determining the ideal of polynomials $q$ with the property that the rational function $q/p$ is bounded near a boundary zero of $p$. We give a complete description of this ideal of numerators in the case where the zero set of $p$ is smooth and satisfies a non-degeneracy condition. We also give a description of the ideal in terms of an integral closure when $p$ has an isolated zero on the distinguished boundary. Constructions of multivariate stable polynomials are presented to illustrate sharpness of our results and necessity of our assumptions. △ Less

Submitted 11 November, 2024; v1 submitted 18 June, 2024; originally announced June 2024.

Comments: 16 pages. Final version incorporating referee comments

MSC Class: 13A15; 13B22; 32A40; 32B05

Matrix convex verbatim enumeration functions are graphical

Authors: J. E. Pascoe, Ryan Tully-Doyle

Abstract: We give a relation between verbatim generating functions of what we call Pythagorean languages and matrix convexity. Namely, several multivariate matrix convex functions occurring in the existing matrix analysis literature arise naturally in a combinatorial way. We give a Gelfand type formula for the numerical radius. We give a relation between verbatim generating functions of what we call Pythagorean languages and matrix convexity. Namely, several multivariate matrix convex functions occurring in the existing matrix analysis literature arise naturally in a combinatorial way. We give a Gelfand type formula for the numerical radius. △ Less

Submitted 12 January, 2024; originally announced January 2024.

MSC Class: 15a09; 47a56

Germination phenomena

Authors: J. E. Pascoe

Abstract: Many theorems in complex analysis propagate analyticity, such as the Forelli theorem, edge-of-the-wedge theorem and so on. We give a germination theorem which allows for general analytic propagation in complete normed fields. In turn, we develop general analogs of the Forelli theorem, edge-of-the-wedge theorem, and the royal road theorem, and gain insight into the geometry of the zero sets of hype… ▽ More Many theorems in complex analysis propagate analyticity, such as the Forelli theorem, edge-of-the-wedge theorem and so on. We give a germination theorem which allows for general analytic propagation in complete normed fields. In turn, we develop general analogs of the Forelli theorem, edge-of-the-wedge theorem, and the royal road theorem, and gain insight into the geometry of the zero sets of hyperbolic polynomials. △ Less

Submitted 26 October, 2022; originally announced October 2022.

Comments: 10 pages

MSC Class: 32A10; 32C35; 12H25

Induced Stinespring factorization and the Wittstock support theorem

Authors: J. E. Pascoe, Ryan Tully-Doyle

Abstract: Given a pair of self-adjoint-preserving completely bounded maps on the same $C^*$-algebra, say that $\varphi \leq ψ$ if the kernel of $\varphi$ is a subset of the kernel of $ψ$ and $ψ\circ \varphi^{-1}$ is completely positive. The \emph{Agler class} of a map $\varphi$ is the class of $ψ\geq \varphi.$ Such maps admit colligation formulae, and, in Lyapunov type situations, transfer function type rea… ▽ More Given a pair of self-adjoint-preserving completely bounded maps on the same $C^*$-algebra, say that $\varphi \leq ψ$ if the kernel of $\varphi$ is a subset of the kernel of $ψ$ and $ψ\circ \varphi^{-1}$ is completely positive. The \emph{Agler class} of a map $\varphi$ is the class of $ψ\geq \varphi.$ 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. △ Less

Submitted 6 April, 2022; originally announced April 2022.

Comments: 15 pages. Comments welcome

MSC Class: 46L07; 46L52; 47A57; 47A48

Geometric Dilations and Operator Annuli

Authors: Scott McCullough, James E. Pascoe

Abstract: Fix 1<R. The dilation theory for the quantum annulus, consisting of those invertible Hilbert space operators T such that the norm of T and its inverse are both at most R is determined. The proof technique involves a geometric approach to dilation that applies to other well known dilation theorems. The dilation theory for the quantum annulus is compared, and contrasted, with the dilation theory for… ▽ More Fix 1<R. The dilation theory for the quantum annulus, consisting of those invertible Hilbert space operators T such that the norm of T and its inverse are both at most R is determined. The proof technique involves a geometric approach to dilation that applies to other well known dilation theorems. The dilation theory for the quantum annulus is compared, and contrasted, with the dilation theory for other canonical operator annuli. △ Less

Submitted 6 January, 2023; v1 submitted 17 February, 2022; originally announced February 2022.

Comments: V2. Corrected the attribution for Theorem 1.2. V3. Corrected the proof of Theorem 1.1(c) plus some minor fixes. V4 A few typos fixed and several small expository upgrades

MSC Class: [2010] 47A20 (Primary); 47B20; 47B91 (Secondary)

Local theory of stable polynomials and bounded rational functions of several variables

Authors: Kelly Bickel, Greg Knese, James Eldred Pascoe, Alan Sola

Abstract: We provide detailed local descriptions of stable polynomials in terms of their homogeneous decompositions, Puiseux expansions, and transfer function realizations. We use this theory to first prove that bounded rational functions on the polydisk possess non-tangential limits at every boundary point. We relate higher non-tangential regularity and distinguished boundary behavior of bounded rational f… ▽ More We provide detailed local descriptions of stable polynomials in terms of their homogeneous decompositions, Puiseux expansions, and transfer function realizations. We use this theory to first prove that bounded rational functions on the polydisk possess non-tangential limits at every boundary point. We relate higher non-tangential regularity and distinguished boundary behavior of bounded rational functions to geometric properties of the zero sets of stable polynomials via our local descriptions. For a fixed stable polynomial $p$, we analyze the ideal of numerators $q$ such that $q/p$ is bounded on the bi-upper half plane. We completely characterize this ideal in several geometrically interesting situations including smooth points, double points, and ordinary multiple points of $p$. Finally, we analyze integrability properties of bounded rational functions and their derivatives on the bidisk. △ Less

Submitted 10 September, 2024; v1 submitted 15 September, 2021; originally announced September 2021.

Comments: Final version. To appear in Annales Polonici Mathematici

MSC Class: 32A40; 13H10; 14H45

Averaged mixed Julia-Fatou type theory with applications to spectral foliation

Authors: J. E. Pascoe, Ryan Tully-Doyle

Abstract: Classically, theorems of Fatou and Julia describe the boundary regularity of functions in one complex variable. The former says that a complex analytic function on the disk has non-tangential boundary values almost everywhere, and the latter describes when a function takes an extreme value at a boundary point and is differentiable there non-tangentially. We describe a class of intermediate theorem… ▽ More Classically, theorems of Fatou and Julia describe the boundary regularity of functions in one complex variable. The former says that a complex analytic function on the disk has non-tangential boundary values almost everywhere, and the latter describes when a function takes an extreme value at a boundary point and is differentiable there non-tangentially. We describe a class of intermediate theorems in terms of averaged Julia-Fatou quotients. Boundary regularity is related to integrability of certain quantities against a special measure, the so-called Nevanlinna measure. Applications are given to spectral theory. △ Less

Submitted 19 August, 2021; originally announced August 2021.

Comments: 18 pages

MSC Class: Primary 30E20; 30E25 Secondary 47A55; 47A10

Monotonicity of the principal pivot transform

Authors: J. E. Pascoe, Ryan Tully-Doyle

Abstract: We prove that the principal pivot transform (also known as the partial inverse, sweep operator, or exchange operator in various contexts) maps matrices with positive imaginary part to matrices with positive imaginary part. We show that the principal pivot transform is matrix monotone by establishing Hermitian square representations for the imaginary part and the derivative. We prove that the principal pivot transform (also known as the partial inverse, sweep operator, or exchange operator in various contexts) maps matrices with positive imaginary part to matrices with positive imaginary part. We show that the principal pivot transform is matrix monotone by establishing Hermitian square representations for the imaginary part and the derivative. △ Less

Submitted 12 August, 2021; originally announced August 2021.

Comments: 4 pages

MSC Class: 15A09; 47A56

Zero-free regions near a line

Authors: Kelly Bickel, J. E. Pascoe, Meredith Sargent

Abstract: We analyze metrics for how close an entire function of genus one is to being real rooted. These metrics arise from truncated Hankel matrix positivity-type conditions built from power series coefficients at each real point. Specifically, if such a function satisfies our positivity conditions and has well-spaced zeros, we show that all of its zeros have to (in some explicitly quantified sense) be fa… ▽ More We analyze metrics for how close an entire function of genus one is to being real rooted. These metrics arise from truncated Hankel matrix positivity-type conditions built from power series coefficients at each real point. Specifically, if such a function satisfies our positivity conditions and has well-spaced zeros, we show that all of its zeros have to (in some explicitly quantified sense) be far away from the real axis. The obvious interesting example arises from the Riemann zeta function, where our positivity conditions yield a family of relaxations of the Riemann hypothesis. One might guess that as we tighten our relaxation, the zeros of the zeta function must be close to the critical line. We show that the opposite occurs: any potential complex zeros are forced to be farther and farther away from the critical line. △ Less

Submitted 10 August, 2021; originally announced August 2021.

Comments: 24 pages

MSC Class: Primary 30D15; 11M26; Secondary 93D09; 47B35; 30E20; 32A70; 11M50

Macroscale behavior of random lower triangular matrices

Authors: J. E. Pascoe, Tapesh Yadav

Abstract: We analyze the macroscale behavior of random lower (and therefore upper) triangular matrices with entries drawn iid from a distribution with nonzero mean and finite variance. We show that such a matrix behaves like a probabilistic version of a Riemann sum and therefore in the limit behaves like the Volterra operator. Specifically, we analyze certain SOT-like and WOT-like modes of convergence for r… ▽ More We analyze the macroscale behavior of random lower (and therefore upper) triangular matrices with entries drawn iid from a distribution with nonzero mean and finite variance. We show that such a matrix behaves like a probabilistic version of a Riemann sum and therefore in the limit behaves like the Volterra operator. Specifically, we analyze certain SOT-like and WOT-like modes of convergence for random lower triangular matrices to a scaled Volterra operator. We close with a brief discussion of moments. △ Less

Submitted 6 April, 2021; originally announced April 2021.

Comments: 12 pages

MSC Class: 60B20

Invariant structure preserving functions and an Oka-Weil Kaplansky density type theorem

Authors: J. E. Pascoe

Abstract: We develop the theory of invariant structure preserving and free functions on a general structured topological space. We show that an invariant structure preserving function is pointwise approximiable by the appropriate analog of polynomials in the strong topology and therefore a free function. Moreover, if a domain of operators on a Hilbert space is polynomially convex, the set of free functions… ▽ More We develop the theory of invariant structure preserving and free functions on a general structured topological space. We show that an invariant structure preserving function is pointwise approximiable by the appropriate analog of polynomials in the strong topology and therefore a free function. Moreover, if a domain of operators on a Hilbert space is polynomially convex, the set of free functions satisfies a Oka-Weil Kaplansky density type theorem -- contractive functions can be approximated by contractive polynomials. △ Less

Submitted 5 April, 2021; originally announced April 2021.

Comments: 24 pages. Comments welcome

MSC Class: 46L52; 47A15

Free noncommutative principal divisors and commutativity of the tracial fundamental group

Authors: J. E. Pascoe

Abstract: We define the principal divisor of a free noncommuatative function. We use these divisors to compare the determinantal singularity sets of free noncommutative functions. We show that the divisor of a noncommutative rational function is the difference of two polynomial divisors. We formulate a nontrivial theory of cohomology, fundamental groups and covering spaces for tracial free functions. We s… ▽ More We define the principal divisor of a free noncommuatative function. We use these divisors to compare the determinantal singularity sets of free noncommutative functions. We show that the divisor of a noncommutative rational function is the difference of two polynomial divisors. We formulate a nontrivial theory of cohomology, fundamental groups and covering spaces for tracial free functions. We show that the natural fundamental group arising from analytic continuation for tracial free functions is a direct sum of copies of $\mathbb{Q}$. Our results contrast the classical case, where the analogous groups may not be abelian, and the free case, where free universal monodromy implies such notions would be trivial. △ Less

Submitted 27 October, 2020; originally announced October 2020.

Comments: 19 pages

MSC Class: Primary 46L54; 46L53 Secondary 32A70; 46E22

Analytic continuation of concrete realizations and the McCarthy Champagne conjecture

Authors: Kelly Bickel, J. E. Pascoe, Ryan Tully-Doyle

Abstract: In this paper, we give formulas that allow one to move between transfer function type realizations of multi-variate Schur, Herglotz and Pick functions, without adding additional singularities except perhaps poles coming from the conformal transformation itself. In the two-variable commutative case, we use a canonical de Branges-Rovnyak model theory to obtain concrete realizations that analytically… ▽ More In this paper, we give formulas that allow one to move between transfer function type realizations of multi-variate Schur, Herglotz and Pick functions, without adding additional singularities except perhaps poles coming from the conformal transformation itself. In the two-variable commutative case, we use a canonical de Branges-Rovnyak model theory to obtain concrete realizations that analytically continue through the boundary for inner functions which are rational in one of the variables (so-called quasi-rational functions). We then establish a positive solution to McCarthy's Champagne conjecture for local to global matrix monotonicity in the settings of both two-variable quasi-rational functions and $d$-variable perspective functions. △ Less

Submitted 29 September, 2020; originally announced September 2020.

Comments: 40 pages

MSC Class: Primary 47A56; 32A40 Secondary 32A70; 46E22; 46L52

Positive univariate trace polynomials

Authors: Igor Klep, James Eldred Pascoe, Jurij Volčič

Abstract: A univariate trace polynomial is a polynomial in a variable x and formal trace symbols Tr(x^j). Such an expression can be naturally evaluated on matrices, where the trace symbols are evaluated as normalized traces. This paper addresses global and constrained positivity of univariate trace polynomials on symmetric matrices of all finite sizes. A tracial analog of Artin's solution to Hilbert's 17th… ▽ More A univariate trace polynomial is a polynomial in a variable x and formal trace symbols Tr(x^j). Such an expression can be naturally evaluated on matrices, where the trace symbols are evaluated as normalized traces. This paper addresses global and constrained positivity of univariate trace polynomials on symmetric matrices of all finite sizes. A tracial analog of Artin's solution to Hilbert's 17th problem is given: a positive semidefinite univariate trace polynomial is a quotient of sums of products of squares and traces of squares of trace polynomials. △ Less

Submitted 26 March, 2021; v1 submitted 21 September, 2020; originally announced September 2020.

Journal ref: J. Algebra 579 (2021) 303--317

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

Authors: J. E. Pascoe

Abstract: 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 derivat… ▽ More 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. △ Less

Submitted 12 August, 2020; originally announced August 2020.

Comments: 16 pages

MSC Class: Primary 46L54; 46L52 Secondary 32A70; 46E22; 11M26

Effective noncommutative Nevanlinna-Pick interpolation in the row ball, and applications

Authors: Meric Augat, Michael T. Jury, James Eldred Pascoe

Abstract: We provide an effective single-matrix criterion, in terms of what we call the elementary Pick matrix, for the solvability of the noncommutative Nevanlinna-Pick interpolation problem in the row ball, and provide some applications. In particular we show that the so-called "column-row property" fails for the free semigroup algebras, in stark contrast to the analogous commutative case. Additional appl… ▽ More We provide an effective single-matrix criterion, in terms of what we call the elementary Pick matrix, for the solvability of the noncommutative Nevanlinna-Pick interpolation problem in the row ball, and provide some applications. In particular we show that the so-called "column-row property" fails for the free semigroup algebras, in stark contrast to the analogous commutative case. Additional applications of the elementary Pick matrix include a local dilation theorem for matrix row contractions and interpolating sequences in the noncommutative setting. Finally we present some numerical results related to the failure of the column-row property. △ Less

Submitted 15 May, 2020; originally announced May 2020.

Comments: 21 pages

MSC Class: 47B32; 47L80

Noncommutative partially convex rational functions

Authors: Michael Jury, Igor Klep, Mark E. Mancuso, Scott McCullough, James Eldred Pascoe

Abstract: Motivated by classical notions of bilinear matrix inequalities (BMIs) and partial convexity, this article investigates partial convexity for noncommutative functions. It is shown that noncommutative rational functions that are partially convex admit novel butterfly-type realizations that necessitate square roots. The notion of xy-convexity, a strengthening of partial convexity arising in connectio… ▽ More Motivated by classical notions of bilinear matrix inequalities (BMIs) and partial convexity, this article investigates partial convexity for noncommutative functions. It is shown that noncommutative rational functions that are partially convex admit novel butterfly-type realizations that necessitate square roots. The notion of xy-convexity, a strengthening of partial convexity arising in connection with BMIs, is also considered. A characterization of xy-convex polynomials is given. △ Less

Submitted 23 June, 2022; v1 submitted 3 May, 2020; originally announced May 2020.

Comments: This version [v4], corrected a typo in the proof of Proposition 4.7. The matrices X_0 and Y_0 are self-adjoint

Journal ref: Rev. Mat. Iberoam. 38 (2022) 731-759

Noncommutative free universal monodromy, pluriharmonic conjugates, and plurisubharmonicity

Authors: J. E. Pascoe

Abstract: 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… ▽ More 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. △ Less

Submitted 18 February, 2020; originally announced February 2020.

Comments: 27 pages

MSC Class: 47A56; 46L07; 32A99; 46L89; 34M35

Automatic real analyticity and a regal proof of a commutative multivariate Löwner theorem

Authors: J. E. Pascoe, Ryan Tully-Doyle

Abstract: We adapt the "royal road" method used to simplify automatic analyticity theorems in noncommutative function theory to several complex variables. We show that certain families of functions must be real analytic if they have certain nice properties on one dimensional slices. Let $E \subset \mathbb{R}^d$ be open. A function $f:E \to \mathbb{R}$ is matrix monotone lite if… ▽ More We adapt the "royal road" method used to simplify automatic analyticity theorems in noncommutative function theory to several complex variables. We show that certain families of functions must be real analytic if they have certain nice properties on one dimensional slices. Let $E \subset \mathbb{R}^d$ be open. A function $f:E \to \mathbb{R}$ is matrix monotone lite if $f(\varphi_1(t), \ldots, \varphi_d(t))$ is a matrix monotone function of $t$ whenever $t \in (0,1)$, the $\varphi_i$ are automorphisms of the upper half plane, and the tuple $(\varphi_1(t), \ldots, \varphi_d(t))$ maps $(0,1)$ into $E$. We use the "royal road" to show that a function is matrix monotone lite if and only if it analytically continues to the multi-variate upper half plane as a map into the upper half plane. Moreover, matrix monotone lite functions in two variables are locally matrix monotone in the sense of Agler-McCarthy-Young. △ Less

Submitted 21 December, 2019; originally announced December 2019.

MSC Class: 37A20; 46L52; 30H10

Noncommutative rational functions invariant under the action of a finite solvable group

Authors: Igor Klep, James Eldred Pascoe, Gregor Podlogar, Jurij Volčič

Abstract: This paper describes the structure of invariant skew fields for linear actions of finite solvable groups on free skew fields in $d$ generators. These invariant skew fields are always finitely generated, which contrasts with the free algebra case. For abelian groups or solvable groups $G$ with a well-behaved representation theory it is shown that the invariant skew fields are free on $|G|(d-1)+1$ g… ▽ More This paper describes the structure of invariant skew fields for linear actions of finite solvable groups on free skew fields in $d$ generators. These invariant skew fields are always finitely generated, which contrasts with the free algebra case. For abelian groups or solvable groups $G$ with a well-behaved representation theory it is shown that the invariant skew fields are free on $|G|(d-1)+1$ generators. Finally, positivity certificates for invariant rational functions in terms of sums of squares of invariants are presented. △ Less

Submitted 21 June, 2020; v1 submitted 17 September, 2019; originally announced September 2019.

Journal ref: J. Math. Anal. Appl. 490 (2020) 124341, 17pp

An entire free holomorphic function which is unbounded on the row ball

Authors: J. E. Pascoe

Abstract: 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. 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. △ Less

Submitted 16 August, 2019; originally announced August 2019.

Comments: 2 pages. To appear

MSC Class: 47L25; 46L52; 32A70

Noncommutative partial convexity via $Γ$-convexity

Authors: Michael Jury, Igor Klep, Mark E. Mancuso, Scott McCullough, James Eldred Pascoe

Abstract: Motivated by classical notions of partial convexity, biconvexity, and bilinear matrix inequalities, we investigate the theory of free sets that are defined by (low degree) noncommutative matrix polynomials with constrained terms. Given a tuple of symmetric polynomials $Γ$, a free set is called $Γ$-convex if it closed under isometric conjugation by isometries intertwining $Γ$. We establish an Effro… ▽ More Motivated by classical notions of partial convexity, biconvexity, and bilinear matrix inequalities, we investigate the theory of free sets that are defined by (low degree) noncommutative matrix polynomials with constrained terms. Given a tuple of symmetric polynomials $Γ$, a free set is called $Γ$-convex if it closed under isometric conjugation by isometries intertwining $Γ$. We establish an Effros-Winkler Hahn-Banach separation theorem for $Γ$-convex sets; they are delineated by linear pencils in the coordinates of $Γ$ and the variables $x$. △ Less

Submitted 16 August, 2019; originally announced August 2019.

MSC Class: 46N10; 47L07; 52A30

Journal ref: J. Geom. Anal. 31 (2021) 3137--3160

The royal road to automatic noncommutative real analyticity, monotonicity, and convexity

Authors: J. E. Pascoe, Ryan Tully-Doyle

Abstract: 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… ▽ More 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. △ Less

Submitted 12 July, 2019; originally announced July 2019.

Comments: 22 pages

MSC Class: 46L52; 32A70; 30H10

Noncommutative Schur-type products and their Schoenberg theorem

Authors: J. E. Pascoe

Abstract: 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… ▽ More 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. △ Less

Submitted 9 July, 2019; originally announced July 2019.

Comments: 7 pages. Comments welcome

MSC Class: 15B48; 15A24; 15A45

Singularities of rational inner functions in higher dimensions

Authors: Kelly Bickel, James Eldred Pascoe, Alan Sola

Abstract: We study the boundary behavior of rational inner functions (RIFs) in dimensions three and higher from both analytic and geometric viewpoints. On the analytic side, we use the critical integrability of the derivative of a rational inner function of several variables to quantify the behavior of a RIF near its singularities, and on the geometric side we show that the unimodular level sets of a RIF co… ▽ More We study the boundary behavior of rational inner functions (RIFs) in dimensions three and higher from both analytic and geometric viewpoints. On the analytic side, we use the critical integrability of the derivative of a rational inner function of several variables to quantify the behavior of a RIF near its singularities, and on the geometric side we show that the unimodular level sets of a RIF convey information about its set of singularities. We then specialize to three-variable degree $(m,n,1)$ RIFs and conduct a detailed study of their derivative integrability, zero set and unimodular level set behavior, and non-tangential boundary values. Our results, coupled with constructions of non-trivial RIF examples, demonstrate that much of the nice behavior seen in the two-variable case is lost in higher dimensions. △ Less

Submitted 26 June, 2019; originally announced June 2019.

Comments: 36 pages, 7 figures

Journal ref: Amer. J. Math. 144 (2022), 1115-1157

The outer spectral radius and dynamics of completely positive maps

Authors: J. E. Pascoe

Abstract: 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… ▽ More 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. △ Less

Submitted 23 May, 2019; originally announced May 2019.

Comments: 22 pages

Committee spaces and the random column-row property

Authors: J. E. Pascoe

Abstract: 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… ▽ More 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. △ Less

Submitted 24 April, 2019; originally announced April 2019.

Comments: 10 pages

MSC Class: 46E22; 47B32

An elementary method to compute the algebra generated by some given matrices and its dimension

Authors: J. E. Pascoe

Abstract: 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. 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. △ Less

Submitted 28 February, 2019; v1 submitted 25 December, 2018; originally announced December 2018.

Comments: 9 pages. To appear in Linear Algebra and its Applications

MSC Class: Primary 16S50; 15A30 Secondary 47A57

Escaping nontangentiality: Towards a controlled tangential amortized Julia-Carathéodory theory

Authors: J. E. Pascoe, Meredith Sargent, Ryan Tully-Doyle

Abstract: 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… ▽ More 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. △ Less

Submitted 24 September, 2018; originally announced September 2018.

Comments: 26 pages

MSC Class: Primary 30E20; 47A10 Secondary 47A55; 47A57

Level curve portraits of rational inner functions

Authors: Kelly Bickel, James Eldred Pascoe, Alan Sola

Abstract: We analyze the behavior of rational inner functions on the unit bidisk near singularities on the distinguished boundary $\mathbb{T}^2$ using level sets. We show that the unimodular level sets of a rational inner function $φ$ can be parametrized with analytic curves and connect the behavior of these analytic curves to that of the zero set of $φ$. We apply these results to obtain a detailed descript… ▽ More We analyze the behavior of rational inner functions on the unit bidisk near singularities on the distinguished boundary $\mathbb{T}^2$ using level sets. We show that the unimodular level sets of a rational inner function $φ$ can be parametrized with analytic curves and connect the behavior of these analytic curves to that of the zero set of $φ$. We apply these results to obtain a detailed description of the fine numerical stability of $φ$: for instance, we show that $\frac{\partial φ}{\partial z_1}$ and $\frac{\partial φ}{\partial z_2}$ always possess the same $L^{\mathfrak{p}}$-integrability on $\mathbb{T}^2$, and we obtain combinatorial relations between intersection multiplicities at singularities and vanishing orders for branches of level sets. We also present several new methods of constructing rational inner functions that allow us to prescribe properties of their zero sets, unimodular level sets, and singularities. △ Less

Submitted 13 March, 2018; originally announced March 2018.

Comments: 42 pages, 10 figures

Journal ref: Annali della Scuola Normale Superiore di Pisa, Cl. Scienze (5) XXI (2020), 449-494

The wedge-of-the-edge theorem: edge-of-the-wedge type phenomenon within the common real boundary

Authors: J. E. Pascoe

Abstract: 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 analytica… ▽ More 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. △ Less

Submitted 18 September, 2017; originally announced September 2017.

Comments: 12 pages

MSC Class: 32A40

The noncommutative Löwner theorem for matrix monotone functions over operator systems

Authors: J. E. Pascoe

Abstract: 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 ma… ▽ More 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. △ Less

Submitted 26 June, 2017; originally announced June 2017.

Comments: 7 pages

MSC Class: 46L52; 32A70; 30H10

Positivstellensatzë for noncommutative rational expressions

Authors: J. E. Pascoe

Abstract: 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 assum… ▽ More 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. △ Less

Submitted 20 March, 2017; originally announced March 2017.

Comments: 6 pages

MSC Class: 13J30; 16K40; 47L07 (Primary); 15A22; 26C15; 47A63 (Secondary)

Derivatives of rational inner functions: geometry of singularities and integrability at the boundary

Authors: Kelly Bickel, James Eldred Pascoe, Alan Sola

Abstract: We analyze the singularities of rational inner functions on the unit bidisk and study both when these functions belong to Dirichlet-type spaces and when their partial derivatives belong to Hardy spaces. We characterize derivative $H^{\mathfrak{p}}$ membership purely in terms of contact order, a measure of the rate at which the zero set of a rational inner function approaches the distinguished boun… ▽ More We analyze the singularities of rational inner functions on the unit bidisk and study both when these functions belong to Dirichlet-type spaces and when their partial derivatives belong to Hardy spaces. We characterize derivative $H^{\mathfrak{p}}$ membership purely in terms of contact order, a measure of the rate at which the zero set of a rational inner function approaches the distinguished boundary of the bidisk. We also show that derivatives of rational inner functions with singularities fail to be in $H^{\mathfrak{p}}$ for $\mathfrak{p}\ge\frac{3}{2}$ and that higher non-tangential regularity of a rational inner function paradoxically reduces the $H^{\mathfrak{p}}$ integrability of its derivative. We derive inclusion results for Dirichlet-type spaces from derivative inclusion for $H^{\mathfrak{p}}$. Using Agler decompositions and local Dirichlet integrals, we further prove that a restricted class of rational inner functions fails to belong to the unweighted Dirichlet space. △ Less

Submitted 12 March, 2017; originally announced March 2017.

Comments: 56 pages, 2 figures

Journal ref: Proceedings of the London Mathematical Society 116 (2018), 281-329

Powerful numbers and the ABC-conjecture

Authors: David Cushing, James Elrded Pascoe

Abstract: The $abc$ conjecture is a very deep concept in number theory with wide application to many areas of number theory. In this article we introduce the conjecture and give examples of its applications. In particular we apply the $abc$ conjecture to the location of powerful numbers. The $abc$ conjecture is a very deep concept in number theory with wide application to many areas of number theory. In this article we introduce the conjecture and give examples of its applications. In particular we apply the $abc$ conjecture to the location of powerful numbers. △ Less

Submitted 3 November, 2016; originally announced November 2016.

The Julia-Caratheodory theorem on the bidisk revisited

Authors: John E. McCarthy, James E. Pascoe

Abstract: The Julia quotient measures the ratio of the distance of a function value from the boundary to the distance from the boundary. The Julia-Carathéodory theorem on the bidisk states that if the Julia quotient is bounded along some sequence of nontangential approach to some point in the torus, the function must have directional derivatives in all directions pointing into the bidisk. The directional de… ▽ More The Julia quotient measures the ratio of the distance of a function value from the boundary to the distance from the boundary. The Julia-Carathéodory theorem on the bidisk states that if the Julia quotient is bounded along some sequence of nontangential approach to some point in the torus, the function must have directional derivatives in all directions pointing into the bidisk. The directional derivative, however, need not be a linear function of the direction in that case. In this note, we show that if the Julia quotient is uniformly bounded along every sequence of nontangential approach, the function must have a linear directional derivative. Additionally, we analyze a weaker condition, corresponding to being Lipschitz near the boundary, which implies the existence of a linear directional derivative for rational functions. △ Less

Submitted 6 October, 2016; originally announced October 2016.

MSC Class: 32A40

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

Authors: J. E. Pascoe, Ryan Tully-Doyle

Abstract: 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 hom… ▽ More 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. △ Less

Submitted 22 July, 2016; originally announced July 2016.

Comments: 12 pages

MSC Class: 46L54; 46L53 (Primary); 32A70; 46E22 (Secondary)

Representation of free Herglotz functions

Authors: J. E. Pascoe, Benjamin Passer, Ryan Tully-Doyle

Abstract: 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 repr… ▽ More 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. △ Less

Submitted 6 March, 2018; v1 submitted 1 July, 2016; originally announced July 2016.

Comments: 19 pages. To appear in Indiana University Mathematics Journal. Significant background added, especially with an eye toward the noncommutative probability context. Cumulative with the previous revision which expanded the results using the Ball-Marx-Vinnikov innovation in noncommutative Agler model theory

MSC Class: Primary 46L54; 46L53 Secondary 32A70; 46E22

Journal ref: Indiana Univ. Math. J. 68:4 (2019), 1199-1215

A non-commutative Julia Inequality

Authors: John E. McCarthy, James E. Pascoe

Abstract: We prove a Julia inequality for bounded non-commutative functions on polynomial polyhedra. We use this to deduce a Julia inequality for holomorphic functions on classical domains in $\mathbb{C}^d$. We look at differentiability at a boundary point for functions that have a certain regularity there. We prove a Julia inequality for bounded non-commutative functions on polynomial polyhedra. We use this to deduce a Julia inequality for holomorphic functions on classical domains in $\mathbb{C}^d$. We look at differentiability at a boundary point for functions that have a certain regularity there. △ Less

Submitted 19 August, 2017; v1 submitted 30 June, 2016; originally announced June 2016.

MSC Class: 46L52; 32A40

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

Authors: J. E. Pascoe

Abstract: 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$… ▽ More 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. △ Less

Submitted 27 May, 2016; originally announced May 2016.

MSC Class: 32A70; 46E22

Regular and positive noncommutative rational functions

Authors: Igor Klep, James Eldred Pascoe, Jurij Volčič

Abstract: Call a noncommutative rational function $r$ regular if it has no singularities, i.e., $r(X)$ is defined for all tuples of self-adjoint matrices $X$. In this article regular noncommutative rational functions $r$ are characterized via the properties of their (minimal size) linear systems realizations $r=c^* L^{-1}b$. It is shown that $r$ is regular if and only if $L=A_0+\sum_jA_j x_j$ is privileged.… ▽ More Call a noncommutative rational function $r$ regular if it has no singularities, i.e., $r(X)$ is defined for all tuples of self-adjoint matrices $X$. In this article regular noncommutative rational functions $r$ are characterized via the properties of their (minimal size) linear systems realizations $r=c^* L^{-1}b$. It is shown that $r$ is regular if and only if $L=A_0+\sum_jA_j x_j$ is privileged. Roughly speaking, a linear pencil $L$ is privileged if, after a finite sequence of basis changes and restrictions, the real part of $A_0$ is positive definite and the other $A_j$ are skew-adjoint. The second main result is a solution to a noncommutative version of Hilbert's 17th problem: a positive regular noncommutative rational function is a sum of squares. △ Less

Submitted 23 December, 2016; v1 submitted 10 May, 2016; originally announced May 2016.

Journal ref: J. Lond. Math. Soc. 95 (2017) 613-632

Convex entire noncommutative functions are polynomials of degree two or less

Authors: J. William Helton, J. E. Pascoe, Ryan Tully-Doyle, Victor Vinnikov

Abstract: 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… ▽ More 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. △ Less

Submitted 23 January, 2015; originally announced January 2015.

Comments: 17 pages

MSC Class: 46L52; 47A56 (Primary); 32A99; 47Lxx (Secondary)

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

Authors: J. E. Pascoe

Abstract: 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 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. △ Less

Submitted 9 September, 2014; originally announced September 2014.

MSC Class: Primary 47A63 Secondary 32A40

Free functions with symmetry

Authors: David Cushing, J. E. Pascoe, Ryan Tully-Doyle

Abstract: 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… ▽ More 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. △ Less

Submitted 5 September, 2014; originally announced September 2014.

MSC Class: Primary 46L52 Secondary 05E05; 13A50; 17A50; 47A63 and 47A56

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

Authors: J. E. Pascoe, Ryan Tully-Doyle

Abstract: 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… ▽ More 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. △ Less

Submitted 16 October, 2013; v1 submitted 6 September, 2013; originally announced September 2013.

Comments: 53 pages

MSC Class: 46L52; 32A70; 30H10

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

Authors: J. E. Pascoe

Abstract: 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 eva… ▽ More 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. △ Less

Submitted 24 March, 2013; originally announced March 2013.

MSC Class: Primary 46L52; Secondary 14A25; 47A56

On the continuation of locally operator monotone functions

Authors: J. E. Pascoe

Abstract: 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… ▽ More 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. △ Less

Submitted 7 January, 2013; originally announced January 2013.

MSC Class: 47A63 (Primary) 32A40 (Secondary)