Plurisubharmonic Noncommutative Rational Functions

Abstract

A noncommutative (nc) function in $x_1,\dots ,x_g,x_1^{\ast },\dots ,x_g$ is called plurisubharmonic (plush) if its nc complex Hessian takes only positive semidefinite values on an nc neighborhood of 0. The main result of this paper shows that an nc rational function is plush if and only if it is a composite of a convex rational function with an analytic (no $x_j^{\ast }$) rational function. The proof is entirely constructive. Further, a simple computable necessary and sufficient condition for an nc rational function to be plush is given in terms of its minimal realization.

References in corpus (8)

• Algebras of bounded noncommutative analytic functions on subvarieties of the noncommutative unit ball
• Free holomorphic automorphisms of the unit ball of $B(H{)}^n$
• Minimal and maximal matrix convex sets
• Free convex sets defined by rational expressions have LMI representations
• The Tracial Hahn-Banach Theorem, Polar Duals, Matrix Convex Sets, and Projections of Free Spectrahedra
• A local-global principle for linear dependence of noncommutative polynomials
• Bianalytic Maps Between Free Spectrahedra
• Bianalytic free maps between spectrahedra and spectraballs