An official website of the United States government
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 continue through the boundary for inner functions that 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.
more »
« less
This content will become publicly available on January 1, 2026
Operator realizations of non-commutative analytic functions
A realization is a triple, (A,b,c), consisting of a d−tuple, A=(A1,⋯,Ad), d∈N, of bounded linear operators on a separable, complex Hilbert space, H, and vectors b,c∈H. Any such realization defines an analytic non-commutative (NC) function in an open neighbourhood of the origin, 0:=(0,⋯,0), of the NC universe of d−tuples of square matrices of any fixed size. For example, a univariate realization, i.e., where A is a single bounded linear operator, defines a holomorphic function of a single complex variable, z, in an open neighbourhood of the origin via the realization formula b∗(I−zA)−1c . It is well known that an NC function has a finite-dimensional realization if and only if it is a non-commutative rational function that is defined at 0 . Such finite realizations contain valuable information about the NC rational functions they generate. By extending to infinite-dimensional realizations, we construct, study and characterize more general classes of analytic NC functions. In particular, we show that an NC function is (uniformly) entire if and only if it has a jointly compact and quasinilpotent realization. Restricting our results to one variable shows that a formal Taylor series extends globally to an entire or meromorphic function in the complex plane, C, if and only if it has a realization whose component operator is compact and quasinilpotent, or compact, respectively. This motivates our definition of the field of global (uniformly) meromorphic NC functions as the field of fractions generated by NC rational expressions in the ring of NC functions with jointly compact realizations. This definition recovers the field of meromorphic functions in C when restricted to one variable.
more »
« less
- Award ID(s):
- 2522763
- PAR ID:
- 10638885
- Publisher / Repository:
- Forum of Mathematics, Sigma
- Date Published:
- Journal Name:
- Forum of Mathematics, Sigma
- Volume:
- 13
- ISSN:
- 2050-5094
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
-
-
Abstract We establish a theory of noncommutative (NC) functions on a class of von Neumann algebras with a particular direct sum property, e.g.,$$B({\mathcal H})$$. In contrast to the theory’s origins, we do not rely on appealing to results from the matricial case. We prove that the$$k{\mathrm {th}}$$directional derivative of any NC function at a scalar point is ak-linear homogeneous polynomial in its directions. Consequences include the fact that NC functions defined on domains containing scalar points can be uniformly approximated by free polynomials as well as realization formulas for NC functions bounded on particular sets, e.g., the NC polydisk and NC row ball.more » « less
-
We extend results on complex analytic measures on the complex unit circle to a non-commutative multivariate setting. Identifying continuous linear functionals on a certain self-adjoint subspace of the Cuntz–Toeplitz C ∗ - algebra, the free disk operator system, with non-commutative (NC) analogues of complex measures, we refine a previously developed Lebesgue decompo- sition for positive NC measures to establish an NC version of the Frigyes and Marcel Riesz Theorem for “analytic” measures, i.e. complex measures with vanishing positive moments. The proof relies on novel results on the order properties of positive NC measures that we develop and extend from classical measure theory.more » « less
-
Abstract We characterize the noncommutative Aleksandrov–Clark measures and the minimal realization formulas of contractive and, in particular, isometric noncommutative rational multipliers of the Fock space. Here, the full Fock space over $$\mathbb {C} ^d$$ is defined as the Hilbert space of square-summable power series in several noncommuting (NC) formal variables, and we interpret this space as the noncommutative and multivariable analogue of the Hardy space of square-summable Taylor series in the complex unit disk. We further obtain analogues of several classical results in Aleksandrov–Clark measure theory for noncommutative and contractive rational multipliers. Noncommutative measures are defined as positive linear functionals on a certain self-adjoint subspace of the Cuntz–Toeplitz algebra, the unital $C^*$ -algebra generated by the left creation operators on the full Fock space. Our results demonstrate that there is a fundamental relationship between NC Hardy space theory, representation theory of the Cuntz–Toeplitz and Cuntz algebras, and the emerging field of noncommutative rational functions.more » « less
