Hostname: page-component-78c5997874-mlc7c Total loading time: 0 Render date: 2024-11-05T13:39:31.180Z Has data issue: false hasContentIssue false

Noncommutative rational Clark measures

Published online by Cambridge University Press:  27 July 2022

Michael T. Jury
Affiliation:
Department of Mathematics, University of Florida, Gainesville, FL, USA e-mail: [email protected]
Robert T.W. Martin
Affiliation:
Department of Mathematics, University of Manitoba, Canada e-mail: [email protected]
Eli Shamovich*
Affiliation:
Department of Mathematics, Ben-Gurion University of the Negev, Israel
Rights & Permissions [Opens in a new window]

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.

Type
Article
Copyright
© The Author(s), 2022. Published by Cambridge University Press on behalf of The Canadian Mathematical Society

1 Introduction

The full Fock space over $\mathbb {C} ^d$ , $\mathbb {H} ^2 _d$ , can be defined as the Hilbert space of square-summable power series in several noncommuting (NC) formal variables, $\mathfrak {z} := ( \mathfrak {z} _1 , \ldots , \mathfrak {z} _d)$ . As such, the Fock space is an obvious NC and multivariable generalization of the Hardy space $H^2$ of square-summable Taylor series in the complex unit disk, $\mathbb {D}$ . Namely, any $h \in \mathbb {H} ^2 _d$ is a power series of the form

$$ \begin{align*}h (\mathfrak{z} ) := \sum _{\omega \in \mathbb{F} ^d} \hat{h} _\omega \mathfrak{z} ^\omega, \quad \quad \hat{h} _\omega \in \mathbb{C},\end{align*} $$

where $\mathbb {F} ^d$ is the free monoid, the set of all words in the d letters $\{1 , 2 , \dots , d \}$ , and if $\omega = i_1 \cdots i_n \in \mathbb {F} ^d$ , $1 \leq i_k \leq d$ , the free monomials are defined in the obvious way as $\mathfrak {z} ^\omega := \mathfrak {z} _{i_1} \cdots \mathfrak {z} _{i_d}$ . (This is a monoid with product given by concatenation of words, and the unit is the empty word, $\emptyset $ , containing no letters.) The Fock space is a Hilbert space when equipped with the $\ell ^2$ -inner product of its power series coefficients. Remarkably, elements of $\mathbb {H} ^2 _d$ are bona fide functions in the NC unit row-ball of all strict row contractions acting on a separable Hilbert space. That is, a d-tuple of $n\times n$ complex matrices, $Z := (Z_1 , \ldots , Z_d )$ , can be viewed as a linear map $Z : \mathbb {C} ^n \otimes \mathbb {C} ^d \rightarrow \mathbb {C} ^n$ from d copies of $\mathbb {C} ^n$ into one copy. If this linear map is a (strict) contraction, then Z is said to be a (strict) row contraction. The formal power series of any $h \in \mathbb {H} ^2 _d$ converges absolutely in operator norm when evaluated at any such Z, and also uniformly on compacta in a suitable sense. Moreover, such NC functions are free noncommutative functions in the NC unit row-ball, $\mathbb {B} ^d _{\mathbb {N}}$ , in the sense of NC Function Theory: They are graded, preserve direct sums, and preserve the joint similarities which respect their NC domain, $\mathbb {B} ^d _{\mathbb {N}}$ . Here, we write $\mathbb {B} ^d _{\mathbb {N}} = \bigsqcup _{n=1} ^\infty \mathbb {B} ^d _n$ , where $\mathbb {B} ^d _n$ is the set of all strict row contractions on $\mathbb {C} ^n$ .

The Hardy algebra, $H ^\infty $ , of all uniformly bounded analytic functions in the complex unit disk is the multiplier algebra of $H^2$ . That is, if $g \in H^\infty $ and $h \in H^2$ , the linear map $h \mapsto g\cdot h$ defines a bounded linear multiplication operator and $H^\infty \subset H^2$ . The Hardy algebra contains many rational functions; any rational function in $\mathbb {C}$ with poles in $\mathbb {C} \setminus \overline {\mathbb {D}}$ automatically belongs to $H^\infty $ and is, in fact, analytic in a disk of radius greater than one. This is similarly the case for the Fock space, or NC Hardy space, $\mathbb {H} ^2 _d$ , by [Reference Jury, Martin and Shamovich44, Theorem A]. We define the NC Hardy algebra, $\mathbb {H} ^\infty _d$ , as the unital algebra of all uniformly bounded free NC functions in the unit row-ball, and this can be identified with the (left) multiplier algebra of the NC Hardy space. Rational functions can also be defined in several NC variables, and this yields a rich subdiscipline of NC function theory which has deep and novel connections to several branches of algebra and analysis including NC Algebra, Free Probability Theory, Multivariable Operator Theory, Control Theory, and Free Algebraic Geometry [Reference Ball, Groenewald and Malakorn7, Reference Ball and ter Horst9, Reference Helton, Klep, McCullough and Schweighofer29Reference Helton, McCullough and Vinnikov34, Reference Kaliuzhnyi-Verbovetskyi and Vinnikov46Reference Kaliuzhnyi-Verbovetskyi and Vinnikov48, Reference Oliveira, Helton, McCullough and Putinar54, Reference Procesi and Schacher60, Reference Taylor65Reference Volčič69, Reference Williams71].

A complex NC rational expression is any valid linear combination of NC polynomials, inverses, and products. The domain, $\mathrm {Dom} \, \mathrm {r}$ , of such an expression is the collection of all d-tuples of matrices of all sizes, $X = (X _1 , \ldots , X_d ) \in \mathbb {C} ^{n\times n} \otimes \mathbb {C} ^{1 \times d}$ , $n \in \mathbb {N}$ , for which $\mathrm {r} (X) \in \mathbb {C} ^{n \times n}$ is defined. An NC rational function, $\mathfrak {r}$ , is an equivalence class of NC rational expressions with respect to the relation $\mathrm {r} _1 \equiv \mathrm {r} _2$ , if $\mathrm {r} _1$ and $\mathrm {r} _2$ agree on the intersection of their domains. The domain of the equivalence class, $\mathfrak {r}$ , is the union of the domains of every $\mathrm {r} \in \mathfrak {r}$ and we write $\mathfrak {r} (X) := \mathrm {r} (X)$ if $\mathrm {r} \in \mathfrak {r}$ and $X \in \mathrm {Dom} \, \mathrm {r}$ . We say that $\mathfrak {r}$ is regular at  $0$ if $0 = (0 , \ldots , 0) \in \mathbb {C} ^{1\times d}$ belongs to $\mathrm {Dom} \, \mathfrak {r}$ . Any NC rational function in d-variables, $\mathfrak {r}$ , which is regular at $0$ has a finite-dimensional realization: There is a triple $(A, b, c)$ with $A \in \mathbb {C} ^d _n := \mathbb {C} ^{n \times n} \otimes \mathbb {C} ^{1\times d}$ and $b,c \in \mathbb {C} ^n$ , so that for any $X \in \mathbb {C} ^d _m$ ,

$$ \begin{align*}\mathfrak{r} (X) = b^* L_A (X) ^{-1} c; \quad \quad L_A (X) := I_n \otimes I_m - \sum A_j \otimes X_j.\end{align*} $$

Here, $L_A (\cdot ) $ is called a (monic, affine) linear pencil. Realizations of NC rational functions have been studied extensively and have numerous applications.

In this paper, we seek NC multivariable analogues of classical results for contractive rational multipliers of the Hardy space. Any contractive multiplier, $b \in [H^\infty ] _1$ , of $H^2$ corresponds, essentially uniquely, to a positive, finite, and regular Borel measure, $\mu _b$ , on the complex unit circle, $\partial \mathbb {D}$ . Here, we use the notations $[X] _1$ and $(X) _1$ to denote the closed and open unit balls, respectively, of a Banach space, X. This measure is called the Aleksandrov–Clark or Clark measure of b [Reference Aleksandrov1, Reference Aleksandrov2, Reference Clark15]. Fatou’s theorem implies that any contractive analytic function in the disk, b, is inner, i.e., isometric as a multiplier, if and only if its Clark measure is singular with respect to Lebesgue measure [Reference Fatou27, Reference Hoffman36]. If $b = \mathfrak {b}$ is a contractive rational multiplier, then $\mu _{\mathfrak {b}}$ is either a singular, finite, and positive sum of weighted point masses on the circle, in which case $\mathfrak {b}$ is an inner, finite Blaschke product, or, $\mu _{\mathfrak {b}}$ has a nonzero absolutely continuous part with respect to Lebesgue measure with log-integrable Radon–Nikodym derivative and this implies that $\mathfrak {b}$ is not an extreme point of $[H^\infty ] _1$ . One can define a one-parameter family of Clark measures, $\mu _\xi $ , associated with $b \in [H^\infty ] _1$ as the Clark measures of $\overline {\xi } b$ for any $\xi $ on the unit circle, $\partial \mathbb {D}$ . Defining $H^2 (\mu )$ as the closure of the analytic polynomials in $L^2 (\mu )$ , for any $\xi \in \partial \mathbb {D}$ , there is a natural, unitary “weighted Cauchy transform” from $H^2 (\mu _{\overline {\xi } b} )$ onto the de Branges–Rovnyak space, $\mathscr {H} (b)$ , of b. This space is a Hilbert space of analytic functions which is contractively contained in $H^2$ , and in the case where b is inner, this is simply $\mathscr {H} (b) = (bH ^2 ) ^\perp $ , the orthogonal complement of the range of b as an isometric multiplier. In this inner case, $H^2 (\mu _{\overline {\xi } b}) = L^2 (\mu _{\overline {\xi } b} )$ , so that multiplication by the independent variable, $M_\zeta ^{(\xi )} : H^2 (\mu _{\overline {\xi } b} ) \rightarrow H^2 (\mu _{\overline {\xi } b} )$ , is unitary. As discovered by Clark [Reference Clark15], the images of the adjoints of this one-parameter family of unitary operators, $M_\zeta ^{(\xi )}$ , under weighted Cauchy transform are a family of rank-one unitary perturbations of the restricted backward shift, $S^* | _{(bH^2)^\perp }$ . Here, recall that the shift, $S:= M_z$ , is the isometry of multiplication by the independent variable in $H^2$ . Analysis of the shift plays a central role in Hardy space theory, and in operator theory in general [Reference Nikolskii53, Reference Sz.-Nagy and Foiaş64]. A fundamental result, due to Aronszajn and Donoghue, in the theory of Aleksandrov–Clark measures is that the singular parts of the family $\mu _\alpha = \mu _{b \overline {\alpha }}$ , $\alpha \in \partial \mathbb {D}$ , are mutually singular [Reference Aronszajn4, Reference Donoghue24]. Moreover, point masses of $\mu _{\overline {\alpha } b}$ on the unit circle correspond to points where b has a finite Carathéodory angular derivative [Reference Carathéodory12, Reference Nevanlinna52]. We will obtain natural and convincing analogues of these results in the noncommutative setting for NC rational multipliers of the Fock space.

1.1 Reader’s Guide

The subsequent section will provide some basic background on the Fock space and NC rational functions. In Section 3, we study the NC Clark measures of contractive NC rational multipliers. Classically, positive measures on the circle can be identified with positive linear functionals via the Riesz–Markov theorem, and the appropriate NC analogue of a positive measure on the circle is then a positive linear functional on a certain operator system, the free disk system. Theorem 3.2 identifies the NC Clark measures of contractive NC rational multipliers as the finitely correlated positive linear functionals on the free disk system. Finitely correlated Cuntz states were originally introduced by Bratteli and Jørgensen in their studies of representations of the celebrated Cuntz algebra [Reference Bratteli and Jorgensen11], the universal $C^*$ -algebra of a surjective row isometry [Reference Cuntz17]. Here, a row isometry is an isometry from several copies of a Hilbert space into one copy. We further prove that an NC rational multiplier is inner, i.e., isometric, if and only if its NC Clark measure is singular with respect to NC Lebesgue measure in the sense of the NC Lebesgue decomposition of [Reference Jury and Martin40, Reference Jury and Martin41] (see Corollary 3.15). This is the analogue of a classical corollary to Fatou’s theorem in the special case of rational multipliers: A contractive multiplier of $H^2$ is inner if and only if its Clark measure is singular. Theorem 3.14 provides a detailed characterization of the finitely correlated positive NC measures, including a concrete formula for the NC Radon–Nikodym derivative of any finitely correlated NC measure with respect to a canonical NC Lebesgue measure. Theorem 4.1 provides a complete description of the minimal realization of any contractive NC rational multiplier and, in particular, any inner (isometric) NC rational multiplier.

Proposition 5.6 shows that if $\mathfrak {b} \in [ \mathbb {H} ^\infty _d ]_1$ is NC rational and inner, then there are certain finite row co-isometries, $A_\zeta $ , on the boundary of the unit row-ball, $\partial \mathbb {B} ^d _{\mathbb {N}}$ , so that $\mathfrak {b} (A _\zeta ^{\mathrm {t}} )$ has $\zeta \in \partial \mathbb {D}$ as an eigenvalue, where $\mathrm {t}$ denotes matrix transpose of each component. If v is the eigenvector of $\mathfrak {b} (A _\zeta ^{\mathrm {t}} )^*$ to eigenvalue $\overline {\zeta }$ , Theorem 5.8 shows that $v^*\mathfrak {b} (Z )$ has a “Carathéodory angular derivative” at $A_\zeta ^{\mathrm {t}}$ , and that the point evaluation $h \mapsto y^* h(A_\zeta ^{\mathrm {t}}) v$ is a bounded linear functional on the de Branges–Rovnyak space of $\mathfrak {b}$ , for any vector y of the appropriate size. Theorem 5.11 then partially extends the Aronszajn–Donoghue theorem to NC rational multipliers of Fock space: Under certain assumptions, we show that the singular parts of the family of NC Clark measures of an inner rational multiplier of Fock space are mutually singular and we provide a finite upper bound on the number of distinct NC Clark measures which are not mutually singular. Here, a Gelfand–Naimark–Segal (GNS) construction applied to any positive NC measure produces a GNS Hilbert space, and a row isometry acting on this space. (This space and this row isometry are the multivariable analogues of $H^2 (\mu )$ and $M_\zeta | _{H^2 _\mu }$ in the case where $\mu $ is a positive measure on the circle.) Two NC Clark measures $\mu _{\mathfrak {b} } , \mu _{\mathfrak {b} '}$ are then said to be mutually singular if their GNS row isometries are mutually singular in the sense that they have no unitarily equivalent direct summands.

Any row isometry uniquely determines and is uniquely determined by a $*$ -representation of the Cuntz–Toeplitz algebra, $C^* \{ I , L_1 , \ldots , L_d \}$ [Reference Cuntz17]. Here, $L := (L_1 , \ldots , L_d )$ is the left free shift, the row isometry of left multiplications by the d independent NC variables, $L_k := M^L _{\mathfrak {z} _k}$ , on the Fock space, and this plays the role of the shift operator, $S=M_z : H^2 \rightarrow H^2$ , in this multivariable NC Hardy space theory. This reveals a fundamental connection between the representation theory of the Cuntz and Cuntz–Toeplitz $C^*$ -algebras and the study of positive NC measures. In fact, any cyclic row isometry (or $*$ -representation) can be obtained, up to unitary equivalence, as the GNS row isometry of a positive NC measure [Reference Jury, Martin and Timko45, Lemma 2.2]. The Cuntz and Cuntz–Toeplitz $C^*$ -algebras are important objects in $C^*$ -algebra theory, and they also play a universal role in the dilation theory of row contractions [Reference Popescu55].

2 Background

2.1 Multipliers of Fock space

Left multiplications by the d independent NC variables $\mathfrak {z} = ( \mathfrak {z} _1 , \ldots , \mathfrak {z} _d )$ define isometries on the Fock space with pairwise orthogonal ranges,

$$ \begin{align*}L_k := M^L _{\mathfrak{z} _k}, \quad \quad L_j ^* L_k = \delta _{j,k} I.\end{align*} $$

It follows that the row d-tuple $L := (L_1 , \ldots , L_d ) : \mathbb {H} ^2 _d \otimes \mathbb {C} ^d \rightarrow \mathbb {H} ^2 _d$ is an isometry from several copies of $\mathbb {H} ^2 _d$ into itself. Such an isometry is called a row isometry, and we call this row isometry of left multiplications on the Fock space the left free shift and its components the left free shifts. Similarly, one can define the right free shifts, $R_k := M^R _{\mathfrak {z} _k}$ , as right multiplication by the independent NC variables as well as the row isometric right free shift, $R = (R _1 , \ldots , R _d)$ . The letter reversal map $\mathrm {t} : \mathbb {F} ^d \rightarrow \mathbb {F} ^d$ , which reverses the order of letters in any word $\omega \in \mathbb {F} ^d$ , defines an involution on the free monoid,

$$ \begin{align*}\omega = i_1 \cdots i_n \, \mapsto \, \omega ^{\mathrm{t}} := i_n \cdots i_1.\end{align*} $$

Given a word, $\omega = i_1 \cdots i_n \in \mathbb {F} ^d$ , the length of $\omega $ is $|\omega | =n$ and $| \emptyset | := 0$ . The free monomials $ \{ e_\omega := \mathfrak {z} ^\omega | \ \omega \in \mathbb {F} ^d \}$ define a standard orthonormal basis of $\mathbb {H} ^2 _d \simeq \ell ^2 (\mathbb {F} ^d )$ , and the letter reversal map gives rise to a unitary involution of the Fock space, $U_{\mathrm {t}}$ , defined by $U_{\mathrm {t}} \mathfrak {z} ^\omega = \mathfrak {z} ^{\omega ^{\mathrm {t}}}$ . Here, $e_\emptyset = \mathfrak {z} ^\emptyset =: 1$ is called the vacuum vector of the Fock space. It is straightforward to verify that $U_{\mathrm {t}} L_k U_{\mathrm {t}} = R_k$ , so that the left shifts are isomorphic to the right shifts.

The NC Hardy algebra, $\mathbb {H} ^\infty _d$ , of uniformly bounded NC functions can be identified, completely isometrically, with the unital Banach algebra of left multipliers of the NC Hardy space, $\mathbb {H} ^2 _d$ [Reference Salomon, Shalit and Shamovich62, Theorem 3.1]. That is, given any NC function, $F \in \mathbb {H} ^\infty _d$ , and $h \in \mathbb {H} ^2 _d$ , the left multiplication operator $M^L _F : \mathbb {H} ^2 _d \rightarrow \mathbb {H} ^2 _d$ , defined by

$$ \begin{align*}h(Z) \mapsto F(Z) \cdot h(Z),\end{align*} $$

is bounded and $\| M ^L _F \| = \| F \| _\infty $ , where $\| \cdot \| _\infty $ denotes the supremum norm over $\mathbb {B} ^d _{\mathbb {N}}$ . For any free polynomial $p \in \mathbb {C} \{ \mathfrak {z} \} := \mathbb {C} \{ \mathfrak {z} _1 , \ldots , \mathfrak {z} _d \}$ , one can check that $p(L) = M^L _p$ , and so we employ the notation $F(L) := M^L _F$ . Similarly, if $p \in \mathbb {C} \{ \mathbb {\mathfrak {z}} \} $ , then, $M^R _p = p ^{\mathrm {t}} (R) = U_{\mathrm {t}} p(L) U_{\mathrm {t}}$ , acts as right multiplication by p, where if h is a formal power series, $h(\mathfrak {z} ) = \sum \hat {h} _\omega \mathfrak {z} ^\omega $ ,

$$ \begin{align*}h^{\mathrm{t}} (\mathfrak{z} ) := \sum \hat{h} _\omega \mathfrak{z} ^{\omega ^{\mathrm{t}}} = \sum \hat{h} _{\omega ^{\mathrm{t}}} \mathfrak{z} ^\omega.\end{align*} $$

In particular, if $h \in \mathbb {H} ^2 _d$ , $h^{\mathrm {t}} = U_{\mathrm {t}} h$ . The left and right multiplier algebras of $\mathbb {H} ^2 _d$ are unitarily equivalent via the unitary letter reversal involution $U_{\mathrm {t}}$ and can be identified with the left and right analytic Toeplitz algebras, $\mathscr {L} ^\infty _d := \mathrm {Alg} \{ I , L_1 , \ldots , L_d \} ^{-WOT}$ and $\mathscr {R} ^\infty _d =\{ I , R_1 , \ldots , R_d \} ^{-WOT} = U_{\mathrm {t}} \mathscr {L} ^\infty _d U_{\mathrm {t}}$ , where $WOT$ denotes the weak operator topology. Since $p (R) = M^R _{p ^{\mathrm {t}}}$ for any $p \in \mathbb {C} \{ \mathbb {\mathfrak {z}} \} $ , we will write $G (R) = M^R _{G ^{\mathrm {t}}}$ for any $G \in \mathbb {H} ^\infty _d$ . Namely, $G \in \mathbb {H} ^\infty _d$ if and only if $G^{\mathrm {t}} \in \mathbb {H} ^{\infty; \mathrm {t}} _d := \mathrm {t} \circ \mathbb {H} ^\infty _d$ . We will use the following terminology: A left or right multiplier is inner if it is isometric and outer if it has dense range.

2.2 Noncommutative reproducing kernel Hilbert spaces

In syzygy with classical Hardy space theory, the Fock space is a (noncommutative) reproducing kernel Hilbert space, in the sense that for any $Z \in \mathbb {B} ^d _n$ and vectors $y,v \in \mathbb {C} ^n$ , the matrix-entry point evaluation, $\ell _{Z,y,v} : \mathbb {H} ^2 _d \rightarrow \mathbb {C}$ ,

$$ \begin{align*}h \mapsto y^* h(Z) v,\end{align*} $$

is a bounded linear functional. Equivalently the linear map $h \mapsto h(Z)$ is bounded as a map from $\mathbb {H} ^2 _d$ into the Hilbert space, $\mathbb {C} ^{n \times n}$ , equipped with the Hilbert–Schmidt inner product. By the Riesz lemma, $\ell _{Z,y,v}$ is implemented by inner products against vectors $K \{ Z , y , v \} \in \mathbb {H} ^2 _d$ , which we call NC Szegö kernel vectors.

In greater generality, let $\mathbb {C} ^d _{\mathbb {N}} := \bigsqcup _{n=1} ^\infty \mathbb {C} ^d _n$ denote the d-dimensional complex NC universe. Here, recall that we define $\mathbb {C} ^d _n := \mathbb {C} ^{n\times n} \otimes \mathbb {C} ^{1\times d}.$ A subset $\Omega \subseteq \mathbb {C} ^d _{\mathbb {N}}$ is an NC set if it is closed under direct sums, and we write $\Omega = \bigsqcup \Omega _n$ where $\Omega _n := \Omega \bigcap \mathbb {C} ^d _n$ . A Hilbert space, $\mathcal {H}$ , of free noncommutative functions on $\Omega $ is a noncommutative reproducing kernel Hilbert space (NC-RKHS), if for any $n\in \mathbb {N}$ , $Z \in \Omega _n$ and $y,v \in \mathbb {C} ^n$ , the linear point evaluation functional

$$ \begin{align*}h \mapsto y^* h(Z) v\end{align*} $$

is bounded on $\mathcal {H}$ [Reference Ball, Marx and Vinnikov8]. As before, the Riesz lemma implies that these functionals are implemented by taking inner products against point evaluation or NC kernel vectors $k \{ Z, y ,v \} \in \mathcal {H}$ . Given any such NC-RKHS, $Z \in \Omega _n$ , and $W \in \Omega _m$ , one can define a completely bounded map on $n \times m$ complex matrices by: $k(Z,W) [ \cdot ] : \mathbb {C} ^{n\times m} \rightarrow \mathbb {C} ^{n\times m}$ ,

$$ \begin{align*}y^* k(Z,W) [vu^*] x := \langle {k\{ Z,y,v \}} , {k \{ W,x ,u \} } \rangle_{\mathcal{H}},\end{align*} $$

and this map is completely positive if $Z=W$ [Reference Ball, Marx and Vinnikov8]. Here and throughout, all inner products are conjugate-linear in their first argument. Following [Reference Ball, Marx and Vinnikov8], we call $k(Z,W)[\cdot ]$ the completely positive noncommutative (CPNC) reproducing kernel of $\mathcal {H}$ , and we write $\mathcal {H} = \mathcal {H} _{nc} (k)$ . One can check that adjoints of left and right multipliers of an NC-RKHS have a familiar action on NC kernel vectors:

$$ \begin{align*}(M^L _F ) ^* k\{ Z , y ,v \} = k\{ Z , F(Z) ^* y , v \} \quad \mbox{and} \quad (M^R _G ) ^* k \{ Z , y ,v \} = k \{ Z , y , G (Z) v \}.\end{align*} $$

All NC-RKHS in this paper will be Hilbert spaces of free NC functions in the unit row-ball $\mathbb {B} ^d _{\mathbb {N}}$ ,

$$ \begin{align*}\mathbb{B} ^d _{\mathbb{N}} = \bigsqcup _{n=1} ^\infty \mathbb{B} ^d _n, \quad \quad \mathbb{B} ^d _n := \left\{ Z \in \mathbb{C} ^{n\times n} \otimes \mathbb{C} ^{1\times d} \bigg| \, ZZ^* = Z_1 Z_1 ^* + \cdots + Z_d Z_d ^* < I_n \right\}.\end{align*} $$

In the case of the Fock space, $\mathbb {H} ^2 _d = \mathcal {H} _{nc} (K)$ , where K is the NC Szegö kernel: Given $Z \in \mathbb {B} ^d _n, W \in \mathbb {B} ^d _m$ , and $P \in \mathbb {C} ^{n \times m}$ ,

$$ \begin{align*}K(Z,W) := \left( \mathrm{id} _{n,m} [ \cdot ] - \mathrm{Ad} _{Z, W^*} [\cdot ] \right) ^{-1} \circ P = \sum _{\omega \in \mathbb{F} ^d} Z^\omega P W^{*\omega},\end{align*} $$

$\mathrm {Ad} _{Z,W^*} [P] := Z_1 P W_1 ^* + \cdots + Z_d P W_d ^*$ .

2.3 NC rational functions

As described in the introduction, a complex NC rational expression is any syntactically consistent combination of the several NC variables $\mathfrak {z} _1 , \ldots , \mathfrak {z} _d$ , the complex scalars, $\mathbb {C}$ , the operations $+ , \cdot , ^{-1}$ , and parentheses $\left ( , \right )$ with domain $\mathrm {Dom} \, \mathrm {r} = \bigsqcup _{n=1} ^\infty \mathrm {Dom} _n \, \mathrm {r}$ , where

$$ \begin{align*}\mathrm{Dom} _n \, \mathrm{r} := \bigsqcup _{n=1} ^\infty \left\{ X = (X _1 , \ldots , X_d ) \in \mathbb{C} ^{n\times n} \otimes \mathbb{C} ^{1 \times d} \bigg| \ \mathrm{r} (X) \ \mbox{is defined} \right\}.\end{align*} $$

We will use the notation $\mathbb {C} ^d _n := \mathbb {C} ^{n\times n} \otimes \mathbb {C} ^{1\times d}$ for a row d-tuple of complex $n\times n$ matrices. An NC rational expression is valid, if its domain is nonempty. An NC rational function, $\mathfrak {r}$ , is then an equivalence class of valid NC rational expressions with respect to the relation $\mathrm {r} _1 \equiv \mathrm {r} _2$ if $\mathrm {r} _1 (X) = \mathrm {r} _2 (X)$ for all $X \in \mathrm {Dom} \, \mathrm {r} _1 \bigcap \mathrm {Dom} \, \mathrm {r} _2$ . (By [Reference Kaliuzhnyi-Verbovetskyi and Vinnikov47, Footnote, p. 52], given any two valid NC rational expressions, $\mathrm {r} _k$ , their domains at level n, $\mathrm {Dom} _n \, \mathrm {r} _k = \mathrm {Dom} \, \mathrm {r} _k \cap \mathbb {C} ^d _n$ , have nontrivial intersection for sufficiently large n.) The set of all NC rational functions in d variables with coefficients in $\mathbb {C}$ is a division ring or skew field, and is, in fact, the universal skew field of fractions for the ring $\mathbb {C} \{ \mathfrak {z} \} = \mathbb {C} \{ \mathfrak {z} _1 , \ldots , \mathfrak {z} _d \}$ of complex NC polynomials [Reference Amitsur3, Reference Cohn14], [Reference Kaliuzhnyi-Verbovetskyi and Vinnikov47, Proposition 2.2].

Any NC rational function in d-variables, $\mathfrak {r}$ , which is regular at $0$ , has a unique (up to joint similarity) minimal descriptor realization. Namely, there is a triple $(A, b, c)$ with $A \in \mathbb {C} ^d _n$ and $b,c \in \mathbb {C} ^n$ , so that for any $X \in \mathbb {C} ^d _m$ ,

$$ \begin{align*}\mathfrak{r} (X) = \left( b^* \otimes I_m \right) L_A (X) ^{-1} \left( c \otimes I_m \right), \quad \quad L_A (X) := I_n \otimes I_m - \sum A_j \otimes X_j,\end{align*} $$

and this realization is minimal in the sense that n is as small as possible. Here, $L_A (\cdot ) $ is called a (monic, affine) linear pencil, and we will employ the simplified notations

$$ \begin{align*}ZA = Z \otimes A := \sum _{j=1} ^d Z_j \otimes A_j,\end{align*} $$

for any $Z, A \in \mathbb {C} ^d _{\mathbb {N}}$ . Minimality implies that the realization is both observable,

$$ \begin{align*}\bigvee A^{*\omega} b = \mathbb{C} ^{n},\end{align*} $$

and controllable

$$ \begin{align*}\bigvee A^\omega c = \mathbb{C} ^n\end{align*} $$

(see, e.g., [Reference Helton, Mai and Speicher31, Section 3.1.2]). Minimal realizations are unique up to joint similarity [Reference Berstel and Reutenauer10, Theorem 2.4]. The domains of NC rational functions which are regular at $0$ have a convenient description:

Theorem [Reference Kaliuzhnyi-Verbovetskyi and Vinnikov46, Theorem 3.1], [Reference Volčič68, Theorem 3.10]

If $\mathfrak {r}$ is an NC rational function which is regular at $0$ with minimal realization $(A,b,c)$ , then

$$ \begin{align*}\mathrm{Dom} \, \mathfrak{r} = \bigsqcup _{n \in \mathbb{N}} \left\{ X \in \mathbb{C} ^d _n \bigg| \ \mathrm{det} \, L_A (X) \neq 0 \right\}.\end{align*} $$

Any NC rational $\mathfrak {r} \in \mathbb {H} ^2 _d$ is necessarily defined on $\mathbb {B} ^d _{\mathbb {N}}$ and hence is regular at $0$ . As proved in [Reference Jury, Martin and Shamovich44], an NC rational function belongs to the Fock space if and only if it is regular at $0$ and has minimal realization $(A,b,c)$ so that the joint spectral radius of the d-tuple A is less than 1 [Reference Jury, Martin and Shamovich44, Theorem A]. Here, if $A := (A_1 , \ldots , A_d ) : \mathbb {C} ^n \otimes \mathbb {C} ^d \rightarrow \mathbb {C} ^n$ is any row d-tuple of $n\times n$ matrices, we define the completely positive map $\mathrm {Ad} _{A, A^*} : \mathbb {C} ^{n\times n } \rightarrow \mathbb {C} ^{n \times n}$ by

$$ \begin{align*}\mathrm{Ad} _{A,A^*} (P) := A_1 P A_1 ^* + \cdots + A_d P A_d ^*.\end{align*} $$

The joint spectral radius, $\mathrm {spr} (A)$ , of A is then defined by the Beurling formula:

$$ \begin{align*}\mathrm{spr} (A) := \lim _k \sqrt[\leftroot{-2}\uproot{10}2k]{\| \mathrm{Ad} _{A, A^*} ^{(k)} (I_n) \|}.\end{align*} $$

By the multivariable Rota–Strang theorem, A is jointly similar to a strict row contraction if and only if $\mathrm {spr} (A) <1$ [Reference Popescu58, Theorem 3.8] (see also [Reference Salomon, Shalit and Shamovich62, Proposition 2.3 and Remark 2.6]). In particular, A is said to be pure if $\mathrm {Ad} ^{(k)} _{A , A^*} (I_n) \rightarrow 0$ , and a finite-dimensional row d-tuple, $A \in \mathbb {C} ^d _n$ , is pure if and only if $\mathrm {spr} (A) <1$ [Reference Salomon, Shalit and Shamovich62, Lemma 2.5]. If $\mathfrak {r} \in \mathbb {H} ^2 _d$ has minimal descriptor realization $(A,b,c)$ , then A is jointly similar to a finite strict row contraction $\overline {Z} \in \mathbb {B} ^d _n$ , where $\overline {Z}$ denotes entrywise complex conjugation, and one can verify that $\mathfrak {r} = K \{ Z , y , v \}$ is an NC Szegö kernel vector in the Fock space, where $y,v$ are the image of $\overline {b}, \overline {c}$ under the (conjugate of the) similarity and its inverse that intertwine A and $\overline {Z}$ [Reference Jury, Martin and Shamovich44, Proposition 3.2]. That is,

$$ \begin{align*}\langle {\mathfrak{r}} , {h} \rangle_{\mathbb{H} ^2} = y^* h(Z) v\end{align*} $$

and

$$ \begin{align*}K \{Z , y ,v \} (W) = \sum _{\omega \in \mathbb{F} ^d} \overline{y^* Z^\omega v} \, W^\omega, \quad \quad W \in \mathbb{B} ^d _{\mathbb{N}}.\end{align*} $$

In [Reference Jury, Martin and Shamovich44, Theorem A], we established (a more general version of) the following theorem which characterizes when an NC rational function belongs to $\mathbb {H} ^2 _d$ .

Theorem A Let $\mathfrak {r}$ be an NC rational function in d variables. The following are equivalent:

  1. (i) $\mathfrak {r} \in \mathbb {H} ^2 _d$ .

  2. (ii) $\mathfrak {r} \in \mathbb {H} ^\infty _d$ .

  3. (iii) $r \cdot \mathbb {B} ^d _{\mathbb {N}} \subseteq \mathrm {Dom} \, \mathfrak {r}$ for some $r>1$ .

  4. (iv) $\mathfrak {r} = K \{ Z , y ,v \}$ for some $Z \in \mathbb {B} ^d _n$ and $y,v \in \mathbb {C} ^n$ .

  5. (iv) $\mathfrak {r}$ is regular at $0$ and if $(A,b,c)$ is a minimal realization of $\mathfrak {r}$ , then $\mathrm {spr} (A) < 1$ .

Given $A \in \mathbb {C} ^d _m$ and $Z \in \mathbb {C} ^d _n$ , consider the linear pencil

$$ \begin{align*}L_A (Z) = I_n \otimes I_m - Z \otimes A = I_n \otimes I_m - \sum _{j=1} ^d Z_j \otimes A_j.\end{align*} $$

Observe that

$$ \begin{align*}\| Z \otimes A \| \leq \| Z \| _{\mathrm{row}} \| A \| _{\mathrm{col}} := \left\| (Z_1 , \ldots , Z _d ) \right\| _{\mathscr{L} (\mathbb{C} ^n \otimes \mathbb{C} ^d , \mathbb{C} ^n )} \left\| \left ( \begin{smallmatrix} A_1 \\ \vdots \\ A_d \end{smallmatrix} \right) \right\|_{\mathscr{L} (\mathbb{C} ^m , \mathbb{C} ^m \otimes \mathbb{C} ^d )}.\end{align*} $$

Given $A \in \mathbb {C} ^d _m$ , we will also write

$$ \begin{align*}\mathrm{col} (A) := \left ( \begin{smallmatrix} A_1 \\ \vdots \\ A _d \end{smallmatrix} \right) \in \mathbb{C} ^{m\times m} \otimes \mathbb{C} ^d, \quad \mbox{so that} \quad \| A \| _{\mathrm{col}} = \| \mathrm{col} (A) \| _{\mathscr{L} (\mathbb{C} ^m , \mathbb{C} ^m \otimes \mathbb{C} ^d )}.\end{align*} $$

It follows that $Z\otimes A$ will be similar to a contraction if Z is jointly similar to a row contraction and A is jointly similar to a column contraction, and $Z \otimes A$ will further be similar to a strict contraction if, in addition, at least one of $Z, A$ is jointly similar to a strict row or column contraction, respectively. If $Z \otimes A$ is similar to a strict contraction, then $L_A (Z) ^{-1}$ can be expanded as a convergent geometric sum. A row d-tuple, $Z \in \mathbb {C} ^d _n$ , is said to be irreducible, if it has no nontrivial jointly invariant subspace, i.e., there is no nontrivial subspace which is invariant for every $Z_k$ , $1 \leq k \leq d$ . The following lemma will be useful in the sequel.

Lemma 2.1 If $Z = (Z _1 , \ldots , Z_d ) \in \mathbb {C} ^d _n$ , then the column, $\mathrm {col} (Z)$ , is jointly similar to a column d-tuple, $\mathrm {col} (W)$ , with column norm at most $\| W \| _{\mathrm{col}} \leq \| Z \| _{\mathrm{row}} +\epsilon $ , for any $\epsilon>0$ . Conversely, for any $\epsilon>0$ , Z is jointly similar to a row d-tuple $W' \in \mathbb {C} ^d _n$ with $\| W ' \| _{\mathrm{row}} \leq \| Z \| _{\mathrm{col}} + \epsilon $ . If Z is irreducible, then one can take $\epsilon =0$ . In particular, any strict row contraction is jointly similar to a strict column contraction and vice versa.

Proof The joint spectral radius of Z obeys $\mathrm {spr} (Z) \leq \| Z \| _{\mathrm{row}}$ . Consider the row d-tuple $Z^* = \mathrm {row} (Z^*) := (Z_1 ^* , \ldots , Z_d ^* )$ . Then,

$$ \begin{align*} \mathrm{spr} (Z ^* ) & = \lim _{k \uparrow \infty} \| \mathrm{Ad} _{Z ^* , Z} ^{(k)} (I_n ) \| ^{\frac{1}{2k}} \nonumber \\[3pt]& \leq \lim \sqrt[\leftroot{-2}\uproot{10}2k]{ \mathrm{tr} \, \mathrm{Ad} _{Z ^*, Z } ^{(k)} (I_n ) } \nonumber \\[3pt]& = \lim \sqrt[\leftroot{-2}\uproot{10}2k]{ \sum _{|\omega | = k} \mathrm{tr} \, Z ^{*\omega} Z^{\omega}} \nonumber \\[3pt]& = \lim \sqrt[\leftroot{-2}\uproot{10}2k]{ \sum _{|\omega | = k} \mathrm{tr} \, Z ^{\omega } Z^{ * \omega }} \nonumber \\[3pt]& = \lim \sqrt[\leftroot{-2}\uproot{10}2k]{ \mathrm{tr} \, \mathrm{Ad} ^{(k)} _{Z , Z^* } (I_n ) } \nonumber \\[3pt]& \leq \lim \sqrt[\leftroot{-2}\uproot{10}2k]{ n \cdot \| Z \| _{\mathrm{row}} ^{2k} } \nonumber \\[3pt]& = \| Z \| _{\mathrm{row}}. \nonumber \end{align*} $$

By [Reference Salomon, Shalit and Shamovich62, Lemma 2.4], the closure of the joint similarity orbit of the row d-tuple, $\mathrm {row} ( Z^* )$ , contains a d-tuple, $W'$ , with norm at most $\| W ' \| _{\mathrm{row}} = \mathrm {spr} (Z^* ) \leq \| Z \| _{\mathrm{row}}$ , and if Z is irreducible, then its joint similarity orbit is closed so that $W'$ is in the joint similarity orbit of $Z^*$ . In particular, given any $\epsilon>0$ , $Z ^*$ is jointly similar to some $W \in \mathbb {C} ^d _n$ with $\| W \| _{\mathrm{row}} \leq \| Z \| _{\mathrm{row}} + \epsilon $ . Viewing $W : \mathbb {C} ^n \otimes \mathbb {C} ^d \rightarrow \mathbb {C} ^n$ as a linear map, its Hilbert space adjoint is $\mathrm {col} (W^*) : \mathbb {C} ^n \rightarrow \mathbb {C} ^n \otimes \mathbb {C} ^d$ with norm

$$ \begin{align*}\| W^* \|_{\mathrm{col}} ^2 = \| W \| _{\mathrm{row}} ^2 \leq (\| Z \| _{\mathrm{row}} + \epsilon ) ^2.\end{align*} $$

Since $\mathrm {row} (Z^*)$ is jointly similar to $\mathrm {row} (W)$ , it follows that $\mathrm {col} (Z)$ is jointly similar to $\mathrm {col} (W ^*)$ where $\| W ^* \| _{\mathrm{col}} \leq \| Z \| _{\mathrm{row}} + \epsilon $ . Proof of the other half of the claim is analogous.

Lemma 2.2 If $\mathfrak {r} \in \mathbb {H} ^2 _d$ , then $\mathfrak {r} ^{\mathrm {t}} := U_{\mathrm {t}} \mathfrak {r}$ is also an NC rational function in $\mathbb {H} ^2 _d$ . In particular, the transpose of any NC Szegö kernel is an NC Szegö kernel.

Proof If $\mathfrak {r} \in \mathbb {H} ^2 _d$ , then by [Reference Jury, Martin and Shamovich44, Theorem A], $\mathfrak {r} = K \{ Z , y , v \}$ for some $Z \in \mathbb {B} ^d _n$ and $y,v \in \mathbb {C} ^n$ . Let $\mathfrak {C}$ denote the conjugation (antilinear isometric involution) with respect to the standard basis $\{ e_k \} _{k=1} ^n$ defined by $\mathfrak {C} y = \overline {y}$ , the entrywise (with respect to the standard basis) complex conjugation of y. Given $A \in \mathbb {C} ^d _n$ , let $A^{\mathrm {t}} := (A_1 ^{\mathrm {t}} , \ldots , A_d ^{\mathrm {t}} )$ , where $A_j ^{\mathrm {t}}$ denotes matrix transpose, and let $\overline {A} = \mathfrak {C} A \mathfrak {C}$ denote complex conjugation applied entrywise to A in the standard basis. As described in [Reference Jury, Martin and Shamovich44], since $\mathfrak {r} = K\{ Z , y ,v \}$ for some $Z \in \mathbb {B} ^d _{\mathbb {N}}$ , if we define $A := \overline {Z}$ , $b = \overline {y}$ , and $c = \overline {v}$ , then $(A,b,c)$ is a finite-dimensional realization of $\mathfrak {r}$ . Recall that

$$ \begin{align*} \langle {L^\omega 1} , {K \{ Z , y, v \}} \rangle_{\mathbb{H} ^2} & = \overline{y^* Z^\omega v} \nonumber \\ & = b^* A^\omega c, \nonumber \end{align*} $$

and calculate

$$ \begin{align*} \langle {L^\omega 1} , {U_{\mathrm{t}} K \{ Z , y , v \}} \rangle_{\mathbb{H} ^2} & = \langle {L^{\omega ^{\mathrm{t}}} 1} , { K \{ Z , y , v \}} \rangle_{\mathbb{H} ^2} \nonumber \\& = \left( {b} , {A^{\omega ^{\mathrm{t}}}c} \right) _{\mathbb{C} ^n} \nonumber \\& = \left( {b} , { ((A^{\mathrm{t}}) ^\omega) ^{\mathrm{t}} c} \right) _{\mathbb{C} ^n} \nonumber \\& = \left( {\overline{A} ^{\mathrm{t} \omega} b } , {c} \right) _{\mathbb{C} ^n} \nonumber \\& = \left( {\mathfrak{C} c} , { \mathfrak{C} \overline{A} ^{\mathrm{t} \omega} b} \right) _{\mathbb{C} ^n} \nonumber \\& = \left( {\overline{c}} , {A^{\mathrm{t} \omega} \overline{b}} \right) _{\mathbb{C} ^n}. \nonumber \end{align*} $$

By the previous lemma, the d-tuple $A^{\mathrm {t}} \in \mathbb {C} ^d _n$ is pure, $\mathrm {spr} (A^{\mathrm {t}} ) <1$ , and $A^{\mathrm {t}}$ is jointly similar to a strict column contraction. It follows that $\mathfrak {r} ^{\mathrm {t}}$ has a finite-dimensional realization $(A^{\mathrm {t}} , \overline {c} , \overline {b} )$ , where $A^{\mathrm {t}} = \left ( A_1 ^{\mathrm {t}} , \ldots , A_d ^{\mathrm {t}} \right )$ , and hence $\mathfrak {r} ^{\mathrm {t}} \in \mathbb {H} ^2 _d$ is also NC rational.

Remark 2.3 The domain of any NC rational function, $\mathfrak {r}$ , which is regular at $0$ , is open with respect to the uniform topology on $\mathbb {C} ^d _{\mathbb {N}}$ . Namely, given any $X \in \mathbb {C} ^d _n$ and $Y \in \mathbb {C} ^d _m$ , we define the row pseudometric

$$ \begin{align*} d_{\mathrm{row}} (X,Y ) ^2 & := \| X \otimes I_m - I_n \otimes Y \| ^2 _{\mathrm{row}} = \| (X \otimes I_m - I_n \otimes Y ) ( X \otimes I_m - I_n \otimes Y) ^* \| \nonumber \\ & = \left\| \sum _{k=1} ^d (X_k \otimes I_m - I_n \otimes Y_k ) ( X_k ^* \otimes I_m - I_n \otimes Y_k ^* ) \right\|. \nonumber \end{align*} $$

Since multiplication, summation, and inversion are all jointly continuous in operator norm, and any NC rational function can be constructed by applying finitely many arithmetic operations to free polynomials, it follows that $\mathrm {Dom} \, \mathfrak {r}$ is a uniformly open NC set, and hence contains some row-ball, $t \mathbb {B} ^d _{\mathbb {N}}$ , of nonzero radius $t>0$ . Hence, by rescaling the argument, $\mathfrak {r} _t (Z) := \mathfrak {r} (tZ)$ , we obtain an NC rational function $\mathfrak {r} _r$ with $\overline {\mathbb {B} ^d _{\mathbb {N}}} \subseteq \mathrm {Dom} \, \mathfrak {r} _r$ so that $\mathfrak {r} _t \in \mathbb {H} ^\infty _d$ by [Reference Jury, Martin and Shamovich44, Theorem A]. It follows that given any NC rational function $\mathfrak {r}$ , which is regular at $0$ , there is essentially no loss in generality in assuming that $\mathfrak {r} \in \mathbb {H} ^\infty _d$ , or even $\mathfrak {r} \in [ \mathbb {H} ^\infty _d ] _1$ . Alternatively, if $\mathfrak {r}$ has minimal realization $(A,b,c)$ , then the joint spectral radius of the d-tuple, $A \in \mathbb {C} ^d _n$ , is bounded above by the row norm of A. Hence, $A' := t \cdot A$ , $t ^{-1} := (1 +\epsilon ) \| A \|$ has $\mathrm {spr} (A' ) <1$ , and if $\mathfrak {r} '$ has minimal realization $(A ' , b , c )$ , then $\mathfrak {r} ' (Z) = \mathfrak {r} \left ( t \cdot Z \right )$ is a rescaling of $\mathfrak {r}$ so that $\mathfrak {r} ' \in \mathbb {H} ^\infty _d$ .

2.4 Minimal realizations of $\mathfrak {r} \in \mathbb {H} ^\infty _d$

The minimal realization of any $\mathfrak {r} \in \mathbb {H} ^2 _d$ is easily constructed as follows. Let $c = \mathfrak {r}$ , set

$$ \begin{align*}\mathscr{M} := \bigvee R^{*\omega} \mathfrak{r}, \quad A_k := R^* _k | _{\mathscr{M}},\end{align*} $$

and $b:= P_{\mathscr {M}} 1$ . Since $\mathfrak {r} = K \{ Z ,y , v \}$ is an NC Szegö kernel vector at a finite point $Z \in \mathbb {B} ^d _n$ ,

$$ \begin{align*}\mathscr{M} = \bigvee K \{ Z , y , Z^\omega v \}\end{align*} $$

is finite-dimensional. It is easily checked that the triple $(A,b,c)$ is a realization of $\mathfrak {r}$ . The realization $(A,b,c)$ is controllable by construction, and it is also straightforward to check that it is observable. Alternatively, a minimal realization of $\mathfrak {r}$ can be constructed by applying backward left shifts to $\mathfrak {r} ^{\mathrm {t}}$ .

It will be convenient to also consider Fornasini–Marchesini (FM) realizations of $\mathfrak {r} \in \mathbb {H} ^2 _d$ . Here, an FM realization of $\mathfrak {r} \in \mathbb {H} ^2 _d$ is a quadruple $(A,B,C,D)$ , where $A \in \mathbb {C} ^d _n$ , $B \in \mathbb {C} ^n \otimes \mathbb {C} ^d$ , $C \in \mathbb {C} ^{1\times n}$ , and $D \in \mathbb {C}$ , so that for any $Z \in \mathrm {Dom} \, \mathfrak {r} \supseteq \mathbb {B} ^d _{\mathbb {N}}$ ,

$$ \begin{align*}\mathfrak{r} (Z) = D + C (I-ZA) ^{-1} B.\end{align*} $$

The NC rational function, $\mathfrak {r}$ , is called the transfer function of the FM colligation:

As before, such a realization is called controllable if

$$ \begin{align*}\mathbb{C} ^m = \bigvee _{\substack{\omega \in \mathbb{F} ^d \\ 1 \leq j \leq d }} A^\omega B_j,\end{align*} $$

observable if

$$ \begin{align*}\mathbb{C} ^m = \bigvee A^{*\omega} C ^*,\end{align*} $$

and minimal if N is as small as possible. Again, an FM realization is minimal if and only if it is both observable and controllable, and minimal FM realizations are unique up to joint similarity [Reference Ball, Groenewald and Malakorn7, Theorem 2.1]. It is straightforward to pass back and forth between minimal descriptor and FM realizations. For example, beginning with a minimal descriptor realization $(A,b,c)$ , set $\mathscr {M} _0 := \bigvee _{\omega \neq \emptyset } A^\omega c$ , with projector $P_0$ and $A ^{(0)} := A | _{\mathscr {M} _0}$ . If we define $B_k = A_k c$ , $C := (P_0 b )^*$ , and $D:= \mathfrak {r} (0)$ , then $( A^{(0)}, B , C , D )$ is a minimal FM realization of $\mathfrak {r}$ .

Any $b \in [ \mathbb {H} ^\infty _d ] _1$ has a (generally not finite-dimensional) de Branges–Rovnyak realization [Reference Ball, Bolotnikov and Fang6]. This is a FM-type realization constructed using free de Branges–Rovnyak spaces. Here, given $b \in [ \mathbb {H} ^\infty _d ] _1$ , the right free de Branges–Rovnyak space, $\mathscr {H} ^{\mathrm {t}} (b)$ , is the operator-range space of the operator $\sqrt {I - b(R) b(R) ^*}$ . That is, $\mathscr {H} ^{\mathrm {t}} (b) = \mathrm {Ran} \, \sqrt {I - b(R)b(R) ^*}$ as a vector space, and the norm on $\mathscr {H} ^{\mathrm {t}} (b)$ is defined so that $\sqrt {I - b(R) b(R) ^*}$ is a co-isometry onto its range. Equivalently, $\mathscr {H} ^{\mathrm {t}} (b)$ is the NC-RKHS $\mathcal {H} _{nc} (K^b)$ with CPNC kernel

$$ \begin{align*}K ^b (Z,W) [ \cdot ] := K(Z,W) [ \cdot ] - K(Z,W) [b ^{\mathrm{t}} (Z) ( \cdot ) b^{\mathrm{t}} (W) ^*],\end{align*} $$

and NC kernel vectors

$$ \begin{align*}K^b \{ Z, y ,v \} := (I - b(R) b(R) ^* ) K\{ Z , y ,v \} = K \{ Z , y ,v \} - b(R) K \{ Z ,y , b^{\mathrm{t}} (Z) v \},\end{align*} $$

where $K(Z,W)$ is the CPNC Szegö kernel of the free Hardy space and $K\{Z ,y , v \}$ is an NC Szegö kernel vector. Any right free de Branges–Rovnyak space is contractively contained in $\mathbb {H} ^2 _d$ , and it is always co-invariant for the left free shifts. While $b ^{\mathrm {t}} = b(R) 1$ does not belong to $\mathscr {H} ^{\mathrm {t}} (b)$ in general, $L^* _k b ^{\mathrm {t}}$ always belongs to $\mathscr {H} ^{\mathrm {t}} (b)$ [Reference Ball, Bolotnikov and Fang6, Proposition 4.2]. One then defines the co-isometric de Branges–Rovnyak colligation

where

$$ \begin{align*}\boldsymbol{A} := L^* | _{\mathscr{H} ^{\mathrm{t}} (b)}, \quad \boldsymbol{B} := L^* b^{\mathrm{t}}, \quad \boldsymbol{C} := (K_0 ^b)^*, \quad \mbox{and} \quad \boldsymbol{D} := b(0).\end{align*} $$

One can then check that b is realized as the transfer function of this colligation. In particular, if $b=\mathfrak {b} \in [\mathbb {H} ^\infty _d ] _1$ is an NC rational multiplier, one can cut down this realization to obtain a finite-dimensional and minimal de Branges–Rovnyak FM realization by setting

$$ \begin{align*}\mathscr{M} _0 (\mathfrak{b} ) := \bigvee _{\omega \neq \emptyset} L^{*\omega} \mathfrak{b} ^{\mathrm{t}},\end{align*} $$

with projector $P_0$ and then

where

$$ \begin{align*}\mathfrak{A} := \boldsymbol{A} | _{\mathscr{M} _0 (\mathfrak{b} )}, \quad \mathfrak{B} := \boldsymbol{B}, \quad \mathfrak{C} := \boldsymbol{C} P_0, \quad \mbox{and} \quad \mathfrak{D} := \boldsymbol{D} = \mathfrak{b} (0).\end{align*} $$

Here, note that if $\mathfrak {b} = K\{ Z, y , v \} \in \mathbb {H} ^2 _d$ is NC rational, then $\mathfrak {b} ^{\mathrm {t}}$ is also an NC Szegö kernel at some finite point $W \in \mathbb {B} ^d _n$ by Lemma 2.2 and Theorem A. It immediately follows that $\mathscr {M} _0 (\mathfrak {b} )$ is finite-dimensional.

Lemma 2.4 The finite de Branges–Rovnyak FM realization $(\mathfrak {A} ,\mathfrak {B} , \mathfrak {C} , \mathfrak {D} )$ of $\mathfrak {b} \in [\mathbb {H} ^\infty _d ] _1$ obtained above is minimal.

The proof is routine and omitted. As before, one can alternatively construct a de Branges–Rovnyak realization of any $b \in [ \mathbb {H} ^\infty _d ] _1$ (or minimal de Branges–Rovnyak FM realization of an NC rational $\mathfrak {b} \in [ \mathbb {H} ^\infty _d ] _1$ ) by considering the left free de Branges–Rovnyak space $\mathscr {H} (b)$ , the operator-range space of $\sqrt {I - b(L) b(L) ^*}$ . This space is right shift co-invariant and $R^{*\omega } b \in \mathscr {H} (b)$ for any $\omega \neq \emptyset $ .

2.5 Clark measures

In classical Hardy space theory, there are (essentially) bijections between contractive analytic functions in the disk, Herglotz functions, i.e., analytic functions in $\mathbb {D}$ with positive harmonic real part and positive, finite, and regular Borel measures on the unit circle. Namely, beginning with a positive measure on the circle, $\mu $ , one can define its Herglotz–Riesz integral transform:

$$ \begin{align*}H_\mu (z) := \int _{\partial \mathbb{D}} \frac{1 + z\overline{\zeta}}{1-z\overline{\zeta}} \, \mu (d\zeta ), \quad z \in \mathbb{D},\end{align*} $$

and this produces a Herglotz function in the disk. Note that $\mathrm {Re} \, H_\mu (0) = \mu (\partial \mathbb {D} )> 0$ . Since $\mathrm {Re} \, H_\mu (z) \geq 0$ , applying the so-called Cayley Transform, a fractional linear transformation, which takes the complex right half-plane onto the unit disk, yields a contractive analytic function:

$$ \begin{align*}b_\mu (z) = \frac{H_\mu (z) -1}{H_\mu (z) +1}.\end{align*} $$

Each of these steps is essentially reversible. Beginning with a contractive analytic function $b \in [H^\infty ] _1$ , its inverse Cayley transform,

$$ \begin{align*}H_b (z) := \frac{1+b(z)}{1-b(z)},\end{align*} $$

is a Herglotz function (provided b is not identically equal to $1$ ). Moreover, given any Herglotz function, H, in the disk, the Herglotz representation theorem implies that there is a unique positive measure, $\mu $ , so that

$$ \begin{align*}H(z) = i \mathrm{Im} \, H(0) + H_\mu (z) = i \mathrm{Im} \, H(0) + \int _{\partial \mathbb{D}} \frac{1 + z\overline{\zeta}}{1-z\overline{\zeta}} \, \mu (d\zeta )\end{align*} $$

[Reference Herglotz35]. That is, the Herglotz function corresponding to a positive measure is unique modulo imaginary constants. If $H = H_b$ , this concomitant measure is called the Aleksandrov–Clark measure or Clark measure of b [Reference Aleksandrov1, Reference Aleksandrov2, Reference Clark15]. Hence, any two contractive multipliers $b_1, b_2 \in [ \mathbb {H} ^\infty _d ] _1$ whose Herglotz functions $H_k := H_{b_k}$ differ by an imaginary constant have the same Clark measure. In this case, if $H_2 = H_1 +it$ for some $t \in \mathbb {R}$ , then one can check that

$$ \begin{align*}b_2 = \frac{\overline{z (t)} }{ z(t)} \cdot \mu _{z(t)} \circ b_1\end{align*} $$

is, up to the unimodular constant, $\frac {\overline {z(t)}}{z(t)}$ , a Möbius transformation of $b_1$ corresponding to the point

$$ \begin{align*}z(t) := \frac{t}{2i +t} \in \mathbb{D},\end{align*} $$

so that the contractive analytic functions corresponding to a given positive measure are unique up to such transformations.

By the Riesz–Markov theorem, any positive, finite, and regular Borel measure on $\partial \mathbb {D}$ can be viewed as a positive linear functional on the $C^*$ -algebra of continuous functions on the unit circle, $\mathscr {C} (\partial \mathbb {D} )$ . Recall that the disk algebra, $A (\mathbb {D} )$ , is the unital Banach algebra of analytic functions in the disk which extend continuously to the boundary and that this algebra is isomorphic to the operator algebra $\mathrm {Alg} \{ I , S \} ^{-\| \cdot \|}$ , where $S=M_z : H^2 \rightarrow H^2$ is the shift. By the Weierstrass approximation theorem, $\mathscr {C} (\partial \mathbb {D})$ is the supremum norm-closed linear span of the disk algebra and its conjugates. That is, $\mathscr {C} (\partial \mathbb {D}) = \left ( A(\mathbb {D} ) + A(\mathbb {D} ) ^* \right ) ^{-\| \cdot \|}$ . In the NC multivariable setting of Fock space, the immediate analogue of a positive measure is then any positive linear functional on the norm-closed operator system of the free disk algebra, $\mathbb {A} _d := \mathrm {Alg} \{ I , L_1 , \ldots , L_d \} ^{-\| \cdot \|}$ . We will use the notation

$$ \begin{align*}\mathscr{A} _d := \left( \mathbb{A} _d + \mathbb{A} _d ^* \right) ^{-\| \cdot \|}\end{align*} $$

for the free disk system, and $ \left ( \mathscr {A} _d \right ) ^{\dagger } _+ $ will denote the set of positive NC measures, i.e., the set of all positive linear functionals on the free disk system.

As in the single-variable setting, one can define a free Herglotz–Riesz transform of any positive NC measure $\mu \in \left ( \mathscr {A} _d \right ) ^{\dagger } _+ $ and this produces an NC Herglotz function, $H_\mu $ , which has positive semidefinite real part in the NC unit row-ball, $\mathbb {B} ^d _{\mathbb {N}}$ . Namely, given $\mu \in \left ( \mathscr {A} _d \right ) ^{\dagger } _+ $ and $Z \in \mathbb {B} ^d _n$ , the Herglotz–Riesz transform of $\mu $ is

$$ \begin{align*}H_\mu (Z) := \mathrm{id} _n \otimes \mu \left( (I +ZL^*) (I - ZL^* ) ^{-1} \right), \quad \quad ZL^* := Z_1 \otimes L_1 ^* + \cdots + Z_d \otimes L_d ^*.\end{align*} $$

As before, the Cayley transform of any such $H_\mu $ defines a bijection between NC Herglotz functions and contractive left multipliers, $b_\mu $ , of the Fock space. Furthermore, as before, the correspondence $\mu \leftrightarrow H_\mu $ is bijective modulo imaginary constants, and if a positive NC measure, $\mu $ , corresponds to a contractive left multiplier $b \in [ \mathbb {H} ^\infty _d ] _1$ , we write $\mu = \mu _b$ , and we call $\mu $ the NC Clark measure of b [Reference Jury and Martin38, Reference Jury and Martin39].

3 NC rational Clark measures

One can apply a GNS construction to any $\mu \in \left ( \mathscr {A} _d \right ) ^{\dagger } _+ $ to obtain a GNS Hilbert space, $\mathbb {H} ^2 _d (\mu )$ , the completion of the free polynomials, $\mathbb {C} \{ \mathbb {\mathfrak {z}} \} = \mathbb {C} \{ \mathfrak {z} _1 , \ldots , \mathfrak {z} _d \}$ , modulo vectors of zero length, with respect to the GNS pre-inner product:

$$ \begin{align*}\langle {p} , {q} \rangle_\mu := \mu (p(L) ^* q(L) ).\end{align*} $$

Equivalence classes, $p + N_\mu \in \mathbb {H} ^2 _d (\mu )$ , where $p \in \mathbb {C} \{ \mathbb {\mathfrak {z}} \} $ is a free polynomial and $N_\mu $ denotes the left ideal of zero-length vectors with respect to the $\mu $ -pre-inner product, are dense in $\mathbb {H} ^2 _d (\mu )$ . This construction also comes equipped with a left regular representation of the free disk algebra,

$$ \begin{align*}\pi _\mu (L_k) p + N_\mu := \mathfrak{z}_k p + N_\mu.\end{align*} $$

This representation is unital, completely isometric, and extends to a $*$ -representation of the Cuntz–Toeplitz algebra so that $\Pi _\mu = \left ( \Pi _{\mu; 1 } , \ldots , \Pi _{\mu ;d } \right ) := \pi _\mu (L)$ is a GNS row isometry acting on $\mathbb {H} ^2 _d (\mu )$ . For details, see [Reference Jury and Martin38Reference Jury and Martin41]. Any cyclic $*$ -representation of the Cuntz–Toeplitz algebra can be obtained, up to unitary equivalence, as the GNS representation of a positive NC measure [Reference Jury, Martin and Timko45, Lemma 2.2].

Definition 3.1 A positive NC measure, $\mu \in \left ( \mathscr {A} _d \right ) ^{\dagger } _+ $ , is a finitely correlated Cuntz–Toeplitz functional if the subspace,

$$ \begin{align*}\mathcal{H} _\mu := \bigvee _{\omega \in \mathbb{F} ^d} \Pi _\mu ^{*\omega} \left(1 + N _\mu\right),\end{align*} $$

is finite-dimensional. If $\Pi _\mu $ is also a Cuntz row isometry, i.e., a surjective row isometry, we say that $\mu $ is a finitely correlated Cuntz functional.

Remark 3.1 In [Reference Bratteli and Jorgensen11], finitely correlated Cuntz states were defined as unital and positive linear functionals on the Cuntz algebra with the above property. However, if $\mu \in \left ( \mathscr {A} _d \right ) ^{\dagger } _+ $ is a finitely correlated Cuntz state according to our definition, i.e., if $\mu $ is a unital, finitely correlated Cuntz functional on the free disk system, then $\Pi _\mu $ is Cuntz, and in this case, $\mu $ has a unique positive extension to the Cuntz–Toeplitz algebra [Reference Jury, Martin and Timko45, Proposition 5.11]. Moreover, since $\Pi _\mu $ is Cuntz, this defines a unique finitely correlated Cuntz state in the sense of Bratteli and Jørgensen [Reference Bratteli and Jorgensen11].

Theorem 3.2 An NC measure, $\mu \in \left ( \mathscr {A} _d \right ) ^{\dagger } _+ $ , is the NC Clark measure of a contractive NC rational multiplier of Fock space, $\mathfrak {b} \in [\mathbb {H} ^\infty _d ] _1$ , if and only if it is a finitely correlated Cuntz–Toeplitz functional.

It will be convenient to recall the construction of the free Cauchy transform of elements of the GNS space $\mathbb {H} ^2 _d (\mu )$ [Reference Jury and Martin38Reference Jury and Martin41]. Given any $p \in \mathbb {C} \{ \mathbb {\mathfrak {z}} \} $ , $p + N_\mu \in \mathbb {H} ^2 _d (\mu )$ , and $Z \in \mathbb {B} ^d _n$ , the right free Cauchy transform of $p + N_\mu $ is the holomorphic NC function $\mathscr {C} _\mu p \in \mathscr {O} (\mathbb {B} ^d _{\mathbb {N}} )$ ,

$$ \begin{align*} (\mathscr{C} _\mu p) (Z) & := \mathrm{t} \circ \mathrm{id} _n \otimes \mu \left( (I_n \otimes I - Z \otimes L^* ) ^{-1} p(L) \right) \nonumber \\ & = \sum _{\omega} Z^{\omega ^{\mathrm{t}}} \mu \left( L^{*\omega} p(L) \right) \nonumber \\ & = \sum Z^\omega \langle { \mathfrak{z} ^{\omega } + N_\mu} , {p + N_\mu} \rangle_\mu, \nonumber \end{align*} $$

and this final formula extends to any $x \in \mathbb {H} ^2 _d (\mu )$ . Equipping this vector space of free Cauchy transforms with the inner product that makes $\mathscr {C} _\mu $ an onto isometry produces an NC-RKHS in $\mathbb {B} ^d _{\mathbb {N}}$ , $\mathscr {H} ^+ (H _\mu )$ , the right NC Herglotz space of $\mu $ , with CPNC kernel $K^\mu $ : For any $Z \in \mathbb {B} ^d _n $ and $W \in \mathbb {B} ^d _m$ ,

$$ \begin{align*}K^\mu (Z,W) [\cdot ] = K (Z,W) \left[ \frac{1}{2} H _\mu ^{\mathrm{t}} (Z) (\cdot) + \frac{1}{2} (\cdot ) H_\mu ^{\mathrm{t}} (W) ^* \right],\end{align*} $$

where K denotes the CPNC Szegö kernel of the Fock space, and $H_\mu (Z)$ is the (left) NC Herglotz–Riesz transform of $\mu $ : For any $Z \in \mathbb {B} ^d _n$ ,

$$ \begin{align*} H_\mu (Z) & := \mathrm{id} _n \otimes \mu \left( (I_n \otimes I + Z L ^* ) (I _n \otimes I - ZL ^* ) ^{-1} \right) \nonumber \\ & = 2 (\mathscr{C} _\mu \, 1 + N _\mu ) (Z) - \mu (I) I_n. \nonumber \end{align*} $$

Any such $H_\mu $ is an NC Herglotz function in $\mathbb {B} ^d _{\mathbb {N}}$ as described in Section 2.5. That is, $\mathrm {Re} \, H_\mu (Z) \geq 0$ .

The image of the GNS row isometry, $\Pi _\mu $ , under right free Cauchy transform is a row isometry, $V_\mu $ , acting on $\mathscr {H} ^+ (H _\mu )$ :

(3.1) $$ \begin{align} V _\mu = \mathscr{C} _\mu \Pi _\mu \mathscr{C} _\mu ^* := \mathscr{C} _\mu \left( \Pi _{\mu; 1} , \ldots , \Pi _{\mu; d } \right) \mathscr{C} _\mu ^* \otimes I_d : \mathscr{H} ^+ (H _\mu ) \otimes \mathbb{C} ^d \rightarrow \mathscr{H} ^+ (H _\mu ), \end{align} $$

where $\Pi _{\mu; k } = \pi _\mu (L_k)$ . The range of the row isometry $V _\mu $ is

(3.2) $$ \begin{align} \mathrm{Ran} \, V_\mu =\bigvee _{\substack{(Z,y,v) \in \\ \mathbb{B} ^d _n \times \mathbb{C} ^n \times \mathbb{C} ^n; \ n \in \mathbb{N} }} \left( K^{\mu} \{ Z , y , v \} - K^{\mu} \{ 0 _n , y, v \} \right), \end{align} $$

and for any $Z \in \mathbb {B} ^d _n, \ y, v \in \mathbb {C}^n$ ,

(3.3) $$ \begin{align} V_\mu ^* \left( K^{\mu} \{ Z , y , v \} - K^{\mu} \{ 0 _n , y, v \} \right) = K ^\mu \{ Z , Z^* y , v \} := \left ( \begin{smallmatrix} K ^{\mu} \{ Z , Z_1 ^* y , v \} \\ \vdots \\ K ^{\mu} \{ Z , Z_d ^* y , v \} \end{smallmatrix} \right) \in \mathscr{H} ^+ (H _\mu ) \otimes \mathbb{C} ^d. \end{align} $$

The linear span of all such vectors is dense in $\mathscr {H} ^+ (H_\mu ) \otimes \mathbb {C} ^d$ since $V_\mu ^*$ is a co-isometry. See [Reference Jury and Martin39, Section 4.4] for details.

Lemma 3.3 Each $V_{\mu; k} ^*$ acts as a backward left shift on $\mathscr {H} ^+ (H _\mu )$ . That is, if $h \in \mathscr {H} ^+ (H _\mu )$ has Taylor–Taylor series at $0 \in \mathbb {B} ^d _1 $ ,

$$ \begin{align*}h(Z) = \sum _\omega \hat{h} _\omega Z^\omega, \quad \hat{h} _\omega \in \mathbb{C}, \quad \mbox{then} \quad (V_k ^* h ) (Z) = \sum _\omega \hat{h} _{kw} Z^\omega.\end{align*} $$

Here, note that if $h (Z) = \sum \hat {h} _\omega Z^\omega $ and $h \in \mathbb {H} ^2 _d$ , then $(L_k ^* h) (Z) = \sum _\omega \hat {h} _{k\omega } Z^\omega $ . This motivates the terminology “backward left shift.”

Proof The right free Cauchy transform of any $x \in \mathbb {H} ^2 _d (\mu )$ is $h := \mathscr {C} _\mu x$ ,

$$ \begin{align*}h (Z) = \sum _\omega Z^\omega \underbrace{\langle {\mathfrak{z} ^\omega + N _\mu} , {x} \rangle_\mu}_{=: \hat{h} _\omega },\end{align*} $$

so that

$$ \begin{align*} (V_{\mu; j} ^* h ) (Z) & = \sum _\omega Z^\omega \langle {\mathfrak{z} ^\omega + N_\mu} , {\Pi _{\mu ;j} ^* x } \rangle _\mu \nonumber \\ & = \sum Z^\omega \langle {\mathfrak{z} _j \mathfrak{z} ^{\omega} + N_\mu} , {x} \rangle_\mu = \sum _\omega \hat{h} _{j\omega} Z^\omega. \nonumber\\[-3.4pc] \end{align*} $$

Proof (of Theorem 3.2)

First, assume that $\mu \in \left ( \mathscr {A} _d \right ) ^{\dagger } _+ $ is a finitely correlated Cuntz–Toeplitz functional. Set $T_{\mu }^* = \Pi _{\mu }^*|_{\mathcal {H} _\mu }$ . Let $\mathfrak {H} _\mu (Z)$ be the (left) NC Herglotz–Riesz transform of $\mu $ [Reference Jury and Martin39, Theorem 3.4]: For any $Z \in \mathbb {B} ^d _n$ ,

$$ \begin{align*} \mathfrak{H}_\mu (Z) &= \mathrm{id} _n \otimes \mu \left( (I + Z L^* ) (I - Z L^* ) ^{-1} \right) \nonumber \\[3pt]& = 2 \, \mathrm{id} _n \otimes \mu \left( (I \otimes I -Z \otimes L^* ) ^{-1} \right) - \mu (I) I_n \nonumber \\[3pt]& = 2 \sum _{\omega \in \mathbb{F} ^d} Z^\omega \langle { 1 + N_\mu} , {\Pi _\mu ^{*\omega} 1 + N_\mu } \rangle_\mu - \mu (I) I_n \nonumber \\[3pt]& = 2 \sum _{\omega \in \mathbb{F} ^d} Z^\omega \langle { 1 + N_\mu} , {T_\mu ^{*\omega} 1 + N_\mu } \rangle_\mu - \mu (I) I_n \nonumber \\[3pt]& =: 2 \mathfrak{G}_\mu (Z) - \mathfrak{G}_\mu (0_n) I_n, \nonumber \end{align*} $$

where $\mathfrak {G}_\mu (Z) := (\mathscr {C} _\mu \, 1 + N_\mu ) (Z)$ . Hence, $(A,b,c) := (T^* _\mu , 1+ N_\mu , 1 + N_\mu )$ is a finite-dimensional realization of $\mathfrak {G}_\mu (Z)$ . Moreover, clearly $1+N_\mu $ is cyclic for $T^* _\mu $ by definition of $\mathcal {H} _\mu $ , so that this realization is controllable. Similarly, it is observable since $1+N_\mu $ is cyclic for $\Pi _\mu $ . Indeed, since

$$ \begin{align*}\mathbb{H} ^2 _d (\mu ) = \bigvee \Pi _\mu ^\omega \left( 1 + N_\mu \right),\end{align*} $$

it follows that if $P_\mu $ is the orthogonal projection onto $\mathcal {H} _\mu $ , then

$$ \begin{align*}\mathcal{H} _\mu = P_\mu \mathbb{H} ^2 _d (\mu) = \bigvee T_\mu ^\omega \left(1 + N_\mu\right),\end{align*} $$

and $(A,b,c)$ is the minimal realization of $\mathfrak {G} _\mu $ . Since $\mathfrak {G} _\mu $ has a finite descriptor realization, it is an NC rational function with $\mathrm {Dom} \, \mathfrak {G} _\mu \supseteq \mathbb {B} ^d _{\mathbb {N}}$ , and so $\mathfrak {H} _\mu $ is also an NC rational function in $\mathbb {B} ^d _{\mathbb {N}}$ . Applying the Cayley transform,

$$ \begin{align*}\mathfrak{b} _\mu (Z) := ( \mathfrak{H} _\mu (Z) - I_n ) ( \mathfrak{H} _\mu (Z) + I_n ) ^{-1} \in [ \mathbb{H} ^\infty _d ] _1,\end{align*} $$

is a contractive, NC rational left multiplier of Fock space with NC Clark measure $\mu $ .

Conversely, if $\mathfrak {b} \in [\mathbb {H} ^\infty _d ] _1$ is NC rational, then we can reverse the above argument to see that $\mathfrak {G} _{\mu }$ is NC rational. Moreover, by Lemma 3.3, we have that for every $j=1,\ldots ,d$ ,

$$\begin{align*}(V_{\mu,j}^* \mathfrak{G} _{\mu})(Z) = \sum_{\omega} Z^{\omega} \langle \mathfrak{z}^{j \omega} + N_{\mu}, 1 + N_{\mu} \rangle _\mu. \end{align*}$$

If $(A,b,c)$ is a minimal realization of $\mathfrak {G} _{\mu } (Z) = \sum _\omega \hat {\mathfrak {G}} _{\mu; \omega } Z^\omega $ , then for every word $\omega $ ,

$$ \begin{align*}\hat{\mathfrak{G}} _{\mu; \omega} = \langle \mathfrak{z}^{\omega} + N_{\mu}, 1 + N_{\mu} \rangle = b^* A^{\omega} c,\end{align*} $$

and it follows that the minimal realization of $V_{\mu; j}^* \mathfrak {G} _{\mu }$ is $(A,A_j^* b,c)$ . Such “backward left shifts” of NC rational functions were studied in [Reference Kaliuzhnyi-Verbovetskyi and Vinnikov46, Section 2]. To show that $\mu $ is finitely correlated, we need to show that $\mathcal {H} _\mu $ is finite-dimensional. Equivalently, we can show that

$$ \begin{align*}\mathscr{M} _\mu := \bigvee V_\mu ^{*\omega} \mathfrak{G} _\mu, \quad \mathscr{M} _\mu = \mathscr{C} _\mu \mathcal{H} _\mu\end{align*} $$

is a finite-dimensional subspace of the NC Herglotz space $\mathscr {H} ^+ (\mathfrak {H} _\mu )$ of $\mu $ -Cauchy transforms. It follows that $\mathscr {M} _\mu $ is finite-dimensional since $\bigvee A^{*\omega } b$ is finite-dimensional, by assumption.

Remark 3.4 We have also established that $( T _\mu ^* , 1 + N_\mu , 1 + N_\mu )$ is a minimal descriptor realization of $\mathfrak {G} _\mu $ , the free Cauchy transform of $1 + N _\mu $ .

3.1 Row isometric dilations of finite row contractions

Let $\mu \in \left ( \mathscr {A} _d \right ) ^{\dagger } _+ $ be a finitely correlated Cuntz–Toeplitz functional, and set $\Pi = \Pi _\mu $ . Then $1 + N_\mu $ is $\Pi $ -cyclic so that by Popescu’s NC Wold decomposition, $\Pi = \Pi _L \oplus \Pi _{Cuntz}$ where $\Pi _L$ is unitarily equivalent to L, and $\Pi _{Cuntz}$ is a cyclic and Cuntz (surjective) row isometry [Reference Popescu55, Theorem 1.3]. If we define the finite-dimensional space,

$$ \begin{align*}\mathcal{H} _\mu := \bigvee \Pi ^{*\mu} (1 + N_\mu ),\end{align*} $$

with projection $P_\mu $ , then $\Pi _\mu $ is the minimal row isometric dilation of the finite row contraction

$$ \begin{align*}T_\mu := P_\mu \Pi _\mu | _{\mathcal{H} _\mu \otimes \mathbb{C} ^d}.\end{align*} $$

In particular, $\Pi _\mu $ will be Cuntz if and only if $T_\mu $ is a row co-isometry by [Reference Popescu55, Proposition 2.5]. Let $A := (A_1 , \ldots , A _d ) : \mathcal {H} \otimes \mathbb {C} ^d \rightarrow \mathcal {H}$ be any row contraction on a finite-dimensional Hilbert space $\mathcal {H} \simeq \mathbb {C} ^n$ . Let $V = (V_1 , \ldots , V_d ) : \mathcal {K} \otimes \mathbb {C} ^d \rightarrow \mathcal {K} $ be the minimal row isometric dilation of A on $\mathcal {K} \supsetneqq \mathcal {H}$ . Such row isometries, V, as well as the structure of the unital, WOT-closed algebras they generate, were completely characterized and classified up to unitary equivalence by Davidson, Kribs, and Shpigel in [Reference Davidson, Kribs and Shpigel20]. We will have occasion to apply several results of [Reference Davidson, Kribs and Shpigel20] and so we will record some of the main results of this paper here for future reference.

Given $A, V, \mathcal {H}$ , and $\mathcal {K} $ as above, let $V = V_p \oplus V'$ be the Wold decomposition of V corresponding to $\mathcal {K} = \mathcal {K} _p \oplus \mathcal {K} '$ , where $V_p \simeq L \otimes I_{\mathcal {J}} $ is pure and $V'$ is a Cuntz row isometry on $\mathcal {K} '$ . Furthermore, let $\widetilde {\mathcal {H}}$ be the span of all minimal A-co-invariant subspaces $\widetilde {\mathcal {J} } $ of $\mathcal {H}$ so that $\widetilde {B} := (A ^* | _{\widetilde {\mathcal {J} } } ) ^*$ is a row co-isometry. Then, $\widetilde {\mathcal {H}} = \bigoplus \widetilde {\mathcal {H}} _k$ , where $\{ \widetilde {\mathcal {H}} _k \} _{k=1} ^N$ is a maximal family of mutually orthogonal and minimal $A^*$ -invariant subspaces so that $( A^* | _{\widetilde {\mathcal {H}} _k}) ^*$ is a row co-isometry. Note that if $\widetilde {\mathcal {J} } $ is minimal, then $\widetilde {B}$ is necessarily an irreducible row co-isometry. The following theorem is part of the statement of [Reference Davidson, Kribs and Shpigel20, Theorem 6.5].

Theorem B (Davidson–Kribs–Shpigel)

Let A be a finite-dimensional row contraction on $\mathcal {H}$ with minimal row isometric dilation $V = V_p \oplus V'$ on $\mathcal {K} = \mathcal {K} _p \oplus \mathcal {K} ' \supsetneq \mathcal {H}$ , with notations as above. Then $V_p$ is unitarily equivalent to $L \otimes I_{\mathcal {J}} $ where $\mathrm {dim} \, \mathcal {J} = \mathrm {rank} \, I - A A^*$ and $V'$ is the minimal row isometric dilation of the row co-isometry $\widetilde {A} := (A^* | _{\widetilde {\mathcal {H}}} ) ^*$ . Moreover, $V ' = \bigoplus _{k=1} ^N V' _k $ , where each $V' _k$ is an irreducible Cuntz row isometry and $V' _k$ is the minimal row isometric dilation of the irreducible row co-isometry $\widetilde {A} ^{(k)} := ( A ^* | _{\widetilde {\mathcal {H} } _k} ) ^*$ .

In the above statement, recall that a finite row contraction, A, on $\mathcal {H}$ is said to be irreducible, if it has no nontrivial jointly invariant subspace. This is equivalent to $\mathrm {Alg} \{ I, A_1 , \ldots , A_d \} = \mathscr {L} (\mathcal {H} )$ . If A is irreducible, then A cannot have any nontrivial jointly co-invariant subspace either, so that also $\mathrm {Alg} \{ I, A _1 ^* , \ldots , A_d ^* \} = \mathscr {L} (\mathcal {H} )$ . In this case, any vector $x \in \mathcal {H}$ is cyclic for both A and $A^*$ . On the other hand, we say that a row isometry, $V = (V_1, \ldots , V_d )$ , is irreducible if and only if the $V_k$ , $1\leq k \leq d$ , have no nontrivial jointly reducing subspace, i.e., a subspace which is both invariant and co-invariant for each $V_k$ .

The following theorem characterizes when the minimal row isometric dilations of two finite-dimensional row contractions are unitarily equivalent.

Theorem C [Reference Davidson, Kribs and Shpigel20, Theorem 6.8]

Let $A := ( A_1 , \ldots , A _d )$ and $B := (B_1 , \ldots , B_d )$ be finite-dimensional row contractions acting on finite-dimensional Hilbert spaces $\mathcal {H} _A$ and $\mathcal {H} _B$ , respectively. Let $\Pi _A$ and $\Pi _B$ be their minimal row isometric dilations acting on $\mathcal {K} _A \supseteq \mathcal {H} _A$ and $\mathcal {K} _B \supseteq \mathcal {H} _B$ . Let $\widetilde {\mathcal {H}} _A \subseteq \mathcal {H} _A$ be the subspace spanned by all minimal A-co-invariant subspaces, $\mathcal {H}$ , of $\mathcal {H} _A$ on which $A^*| _{\mathcal {H}}$ is a column isometry and similarly define $\widetilde {\mathcal {H}} _B$ . Then $\Pi _A$ and $\Pi _B$ are unitarily equivalent if and only if:

  1. (1) $\mathrm {rank} \, (I - A A^*) = \mathrm {rank} \, (I - BB^*)$ , and

  2. (2) $A^* | _{\widetilde {\mathcal {H}} _A}$ is jointly unitarily equivalent to $B^* | _{\widetilde {\mathcal {H}} _B}$ .

We will apply these results to study and characterize the GNS row isometry, $\Pi _\mu $ , arising from a finitely correlated positive NC measure, $\mu $ .

Lemma 3.5 Let $\mu \in \left ( \mathscr {A} _d \right ) ^{\dagger } _+ $ be a finitely correlated Cuntz–Toeplitz functional. Then the $\Pi _\mu -$ cyclic vector $1+N_\mu $ is cyclic for both $T_\mu $ and $T_\mu ^*$ .

Proof By definition, the finite-dimensional subspace

$$ \begin{align*}\mathcal{H} _\mu = \bigvee \Pi _\mu ^{*\omega} \left(1 + N_\mu\right) = \bigvee T_\mu ^{*\omega} \left(1 + N_\mu\right)\end{align*} $$

is $T_\mu ^*$ -cyclic. Moreover, by the GNS construction of $\mathbb {H} ^2 _d (\mu )$ , $1+N_\mu $ is $\Pi _\mu $ -cyclic. However, since $1 + N_\mu \in \mathcal {H} _\mu $ is $\Pi _\mu $ -cyclic, given any $h \in \mathcal {H} _\mu $ , there is a sequence of polynomials $p_n \in \mathbb {C} \{ \mathbb {\mathfrak {z}} \} $ so that $p_n (\Pi _\mu ) 1 + N _\mu \rightarrow h$ . Hence,

$$ \begin{align*} h & = P _{\mathcal{H} _\mu} h \nonumber \\ & = P _{\mathcal{H} _\mu} \lim p_n (\Pi _\mu ) 1 + N _\mu \nonumber \\ & = \lim p_n (P_{\mathcal{H} _\mu} \Pi _\mu P _{\mathcal{H} _\mu}) 1 + N_\mu \nonumber \\ & = \lim p_n (T_\mu ) 1 + N _\mu, \nonumber \end{align*} $$

since $\mathcal {H} _\mu $ is $\Pi _\mu $ -co-invariant. It follows that $1 +N_\mu $ is also cyclic for $T_\mu $ .

Let $T := (T_1 , \ldots , T_d ) : \mathcal {H} \otimes \mathbb {C} ^d \rightarrow \mathcal {H}$ be any row contraction on a finite-dimensional Hilbert space, $\mathcal {H}$ . Given any $x \in \mathcal {H}$ , define

$$ \begin{align*}\mathcal{H} ' := \bigvee T^{*\omega} x \subseteq \mathcal{H} \quad \mbox{and} \quad T' := \left( T^* | _{\mathcal{H} '} \right) ^*,\end{align*} $$

with projector $P'$ . Finally, define

$$ \begin{align*}\check{\mathcal{H}} := \bigvee T^{ ' \omega} x \subseteq \mathcal{H}',\end{align*} $$

with projector $\check {P}$ and $\check {T} := T' | _{\check {\mathcal {H}} \otimes \mathbb {C} ^d }.$ Observe that $\check {\mathcal {H}}$ is $T'$ -invariant and T-semi-invariant, i.e., it is the direct difference of the nested, T-co-invariant subspaces

$$ \begin{align*}\mathcal{H} ' \quad \mbox{and} \quad \mathcal{H} ' \ominus \check{\mathcal{H}}.\end{align*} $$

Let $\mathcal {K} := \bigvee V^\omega \mathcal {H}$ be the Hilbert space of the minimal row isometric dilation, V, of T; set

$$ \begin{align*}\mathcal{K} _x := \bigvee V^\omega x,\end{align*} $$

with projection, $P_x$ ; and let $V_x := V| _{\mathcal {K} _x}$ .

Proposition 3.6 Given $T,x$ as above, the linear functional, $\mu := \mu _{T,x} \in \left ( \mathscr {A} _d \right ) ^{\dagger } _+ $ , defined by

$$ \begin{align*}\mu _{T,x} (L^\omega ) := \langle {x} , {T^\omega x} \rangle_{\mathcal{H}} = \langle {x} , {\check{T} ^\omega x} \rangle_{\check{\mathcal{H}}},\end{align*} $$

is a finitely correlated positive NC measure. The vector x is both $\check {T}$ and $\check {T} ^*$ -cyclic. The map

$$ \begin{align*}\Pi _\mu ^\omega \left(1 + N_\mu\right) \stackrel{U_x}{\mapsto} V^\omega x\end{align*} $$

is an isometry of $\mathbb {H} ^2 _d (\mu )$ onto $\mathcal {K} _x$ , and $ U_x p(T_\mu ) ^* \left (1 + N_\mu \right ) = P_x p(T) ^*x$ . If x is V-cyclic, then $V \simeq \Pi _\mu $ and $\check {T} \simeq T_\mu $ are unitarily equivalent.

Proof By [Reference Popescu56, Theorem 2.1], the map $L^\omega \mapsto T^\omega $ is completely contractive and unital, and hence extends to a completely positive and unital map of the free disk system into $\mathscr {L} (\mathcal {H} )$ . In particular, $\mu = \mu _{T,x} \in \left ( \mathscr {A} _d \right ) ^{\dagger } _+ $ . The vector x is, by definition, $T^{'*}$ -cyclic, so that

$$ \begin{align*}\bigvee \check{T} ^{*\omega} x = \check{P} \bigvee T^{'*\omega} x = \check{P} \mathcal{H} ' = \check{\mathcal{H}}.\end{align*} $$

This proves that x is $\check {T} ^*$ -cyclic. Since $\check {\mathcal {H}}$ is T-semi-invariant, it follows that $\check {P} T^\omega \check {P} = \check {T} ^\omega $ . Hence,

$$ \begin{align*} \check{\mathcal{H}} & = \bigvee T^{'\omega} x = P' \bigvee T^{\omega} x \nonumber \\ & = \check{P} \bigvee T ^\omega \check{P} x = \bigvee \check{T} ^\omega x, \nonumber \end{align*} $$

so that x is also $\check {T}$ -cyclic. Semi-invariance further implies that $\mu = \mu _{T,x} = \mu _{\check {T} , x}$ .

To see that $\mathfrak {z}^\omega + N_\mu \mapsto V^\omega x$ is an isometry, note that for any free polynomial $p \in \mathbb {C} \{ \mathbb {\mathfrak {z}} \} $ , we can write

$$ \begin{align*}p(L) ^* p(L) = 2 \mathrm{Re} \, q(L) = q(L) + q(L) ^*,\end{align*} $$

for some $q \in \mathbb {C} \{ \mathbb {\mathfrak {z}} \} $ , and then $p(\Pi ) ^* p (\Pi ) = 2 \mathrm {Re} \, q(\Pi )$ for any row isometry $\Pi $ . Hence,

$$ \begin{align*} \| p + N_\mu \| ^2 _\mu & = 2 \mathrm{Re} \, \langle {1+ N_\mu} , {q + N_\mu} \rangle_\mu \nonumber \\ & = 2 \mathrm{Re} \, \langle {x} , {q(V) x} \rangle_{\mathcal{K} } = 2 \mathrm{Re} \, \langle {x} , {q(T) x} \rangle_{\mathcal{H}} \nonumber \\ & = \| p(V) x \| ^2 _{\mathcal{K} } = \| U_x \left(p + N_\mu\right) \| ^2. \nonumber \end{align*} $$

Given any $p(T_\mu ) ^* \left (1 + N_\mu \right ) \in \mathcal {H} _\mu $ , consider

$$ \begin{align*} \langle {\mathfrak{z} ^\omega + N_\mu} , { p(T_\mu ) ^* \left(1 + N_\mu\right)} \rangle_\mu & = \langle { p \mathfrak{z}^{\omega} + N_\mu} , {1+N_\mu} \rangle_\mu \nonumber \\ & = \langle {p(V) V^{\omega} x} , {x} \rangle_{\mathcal{K} } \nonumber \\ & = \langle {V^\omega x} , {P_x p(T) ^* x} \rangle_{\mathcal{K} } \nonumber \\ & = \langle {\mathfrak{z}^\omega + N_\mu} , {U_x ^* P_x p(T) ^* x} \rangle_\mu. \nonumber \end{align*} $$

It follows that

(3.4) $$ \begin{align} U_x p(T_\mu ) ^* \left(1 + N_\mu\right) = P_x p(T) ^* x. \end{align} $$

Finally, if x is V-cyclic, then $\mathcal {K} _x = \mathcal {K} $ and $U_x \Pi _\mu ^\omega = V^\omega U_x$ , so that $U_x$ is an onto isometry, and $\Pi _\mu $ and V are unitarily equivalent. Hence,

$$ \begin{align*}U_x \mathcal{H} _\mu = U_x \bigvee \Pi _\mu ^{*\omega } \left(1+N_\mu\right) = \bigvee V^{*\omega} x = \bigvee T^{*\omega} x = \mathcal{H} '.\end{align*} $$

Moreover, since x is V-cyclic, given any $h \in \mathcal {H}'$ , there is a sequence of polynomials $p_n \in \mathbb {C} \{ \mathbb {\mathfrak {z}} \} $ so that $p_n (V) x \rightarrow h$ , and then

$$ \begin{align*}h = \lim p_n (V) x = P ' h = \lim P' p_n (V) x = \lim p_n (T' ) x,\end{align*} $$

so that x is also $T'$ -cyclic, $\check {\mathcal {H}} = \mathcal {H} '$ , and $\check {T} = T'$ . It further follows that $T' = \check {T}$ and $T_\mu $ are unitarily equivalent via $U_x$ . Indeed, if $\mathcal {K} _x = \mathcal {K} $ so that $P_x = I$ , then equation (3.4) becomes

$$ \begin{align*}U_x p(T _\mu ) ^* ( 1 + N_\mu ) = p(T) ^* x.\end{align*} $$

In particular, since $U_x$ restricts to a unitary map from $\mathcal {H} _\mu $ onto $\mathcal {H} '$ , we obtain that for any $y _\mu := q (T_\mu ) ^* (1 + N _\mu ) \in \mathcal {H} _\mu $ , $q \in \mathbb {C} \{ \mathbb {\mathfrak {z}} \} $ and $1\leq k \leq d$ ,

$$ \begin{align*}U_x T_{\mu; k} ^* y _\mu = T_k ^* q(T) ^* x = T_k ^* U_x y_\mu.\end{align*} $$

This proves that $T_\mu $ is unitarily equivalent to $T '$ .

Remark 3.7 By the previous proposition, all examples of finitely correlated Cuntz–Toeplitz functionals can be constructed from finite row contractions.

Lemma 3.8 Let T be a finite and irreducible row co-isometry on $\mathcal {H}$ , and let V be its minimal (Cuntz) row isometric dilation on $\mathcal {K} \supseteq \mathcal {H}$ . Then any nonzero $x\in \mathcal {H}$ is V-cyclic and V is irreducible.

By [Reference Popescu55, Proposition 2.5], a row contraction is a row co-isometry if and only if its minimal row isometric dilation is a Cuntz row isometry. If $V := \left ( V_1 , \ldots , V _d \right )$ is a row isometry on a separable Hilbert space, $\mathcal {K} $ , recall that $\mathfrak {V} := \mathrm {Alg} \{ I , V _1 , \ldots , V_d \} ^{-WOT}$ is called the free semigroup algebra of V [Reference Davidson19].

Proof If T is an irreducible row co-isometry, then $\mathcal {H}$ is the unique, minimal T-co-invariant subspace of $\mathcal {H}$ so that V is irreducible by [Reference Davidson, Kribs and Shpigel20, Lemma 5.8]. Moreover, by [Reference Davidson, Kribs and Shpigel20, Theorem 5.2], since T is irreducible, the $WOT$ -closed unital algebra of V contains $P _{\mathcal {H}}$ , the projection onto $\mathcal {H}$ . Again, since T is irreducible, given any fixed nonzero $x \in \mathcal {H}$ , any $h \in \mathcal {H}$ can be written as $h=p(T) x$ for some $p \in \mathbb {C} \{ \mathbb {\mathfrak {z}} \} $ , so that

$$ \begin{align*} h & = p(T) x \nonumber \\ & = \underbrace{P _{\mathcal{H}} p(V)}_{\in \mathfrak{V}} x. \nonumber \end{align*} $$

Hence, any $h \in \mathcal {H}$ belongs to the weak and hence Hilbert space norm closure of $\mathfrak {V} x$ , so that

$$ \begin{align*}\bigvee \mathfrak{V} x = \bigvee \mathfrak{V} \mathcal{H} = \mathcal{K} ,\end{align*} $$

since V is the minimal row isometric dilation of T.

Lemma 3.9 Let T be a finite-dimensional row co-isometry on $\mathcal {H}$ with minimal row isometric dilation V on $\mathcal {K} $ . Any vector $h \in \mathcal {H}$ is T-cyclic if and only if it is V-cyclic.

Proof If h is V-cyclic, then it is clearly also T-cyclic. Conversely, if h is T-cyclic, consider the space

$$ \begin{align*}\mathcal{K} (h) := \bigvee V^\omega h \subseteq \mathcal{K} .\end{align*} $$

If h is not V-cyclic, then $\mathcal {K} (h) \subsetneqq \mathcal {K} $ , and there is a nonzero $x \in \mathcal {K} (h) ^\perp $ and $\mathcal {K} (h) ^\perp $ is V-co-invariant. By [Reference Davidson, Kribs and Shpigel20, Corollary 4.2], there is a nonzero $g \in \mathcal {H} \bigcap \bigvee V^{*\omega } x \subseteq \mathcal {K} (h) ^\perp $ . Hence, $V^{*\omega } g = T^{*\omega } g \perp \mathcal {K} (h)$ for any $\omega \in \mathbb {F} ^d$ . However, by assumption, h is T-cyclic so that $g=p(T) h$ for some $p \in \mathbb {C} \{ \mathbb {\mathfrak {z}} \} $ and

$$ \begin{align*}\| g\| ^2 = \langle {p(T) h} , {g} \rangle = \langle {h} , {p(T) ^* g} \rangle =0,\end{align*} $$

contradicting that $g\neq 0$ .

Remark 3.10 If T is an irreducible row co-isometry, then any $x \in \mathcal {H}$ will be $T^*,T$ , and V-cyclic by the previous lemma. Proposition 3.6 then implies that if $\mu = \mu _{T,x}$ , that $T \simeq T_\mu $ and $V \simeq \Pi _\mu $ .

In [Reference Kennedy50], Kennedy refined the Wold decomposition of any row isometry by further decomposing any Cuntz row isometry into the direct sum of three types: Cuntz type-L (or absolutely continuous Cuntz [ACC]), von Neumann type, and dilation type.

Definition 3.2 A row isometry $\Pi : \mathcal {H} \otimes \mathbb {C} ^d \rightarrow \mathcal {H}$ on a separable Hilbert space, $\mathcal {H}$ , is type-L or pure if $\Pi $ is unitarily equivalent to $L \otimes I _{\mathcal {J} }$ for some separable Hilbert space $\mathcal {J} $ . A Cuntz row isometry $\Pi $ on $\mathcal {H}$ is:

  1. (1) Cuntz type-L, or ACC, if the free semigroup algebra, $\mathfrak {S} (\Pi )$ , of $\Pi $ , is completely isometrically isomorphic and weak- $*$ homeomorphic to the unital $WOT$ -closed algebra of L, $\mathscr {L} ^\infty _d \simeq \mathbb {H} ^\infty _d$ .

  2. (2) von Neumann type if $\mathfrak {S} (\Pi )$ is self-adjoint, i.e., a von Neumann algebra.

  3. (3) dilation-type if $\Pi $ has no direct summand of the previous two types.

Remark 3.11 Any dilation-type row isometry, $\Pi $ , has an upper triangular decomposition of the form

so that $\Pi $ has a restriction to an invariant subspace which is unitarily equivalent to a pure row isometry and $\Pi $ is the minimal row isometric dilation of its compression, T, to the orthogonal complement of this invariant space [Reference Kennedy50, Proposition 6.2]. Since $\Pi $ is of Cuntz type, T is necessarily a row co-isometry [Reference Popescu55, Proposition 2.5].

Recall that a vector, $h \in \mathcal {H}$ , is said to be a wandering vector for a row isometry $V : \mathcal {H} \otimes \mathbb {C} ^d \rightarrow \mathcal {H}$ , if

$$ \begin{align*}\langle {V^\alpha h} , {V^\omega h} \rangle_{\mathcal{H}} = \delta _{\alpha , \omega} \| h \| ^2 _{\mathcal{H}},\end{align*} $$

and that the closed linear span of all wandering vectors for V is $\mathrm {Ran} \, V ^\perp $ . If x is a unit wandering vector for V, then

$$ \begin{align*}\mathcal{H} _x := \bigvee _{\omega \in \mathbb{F} ^d} V^\omega x\end{align*} $$

is V-invariant and the linear map, $U_x : \mathcal {H} _x \rightarrow \mathbb {H} ^2 _d$ , defined by $U_x V^\omega x := L^\omega 1$ is an onto isometry intertwining V and L, $U_x V^\omega = L^\omega U_x$ [Reference Popescu55].

Lemma 3.12 Let T be a finite-dimensional row contraction on $\mathcal {H}$ with minimal row isometric dilation V on $\mathcal {K} \supsetneqq \mathcal {H}$ . Any V-reducing subspace $\mathcal {K} ' \subseteq \mathcal {K} $ contains wandering vectors for V.

Proof By [Reference Davidson, Kribs and Shpigel20, Corollary 4.2], $\mathcal {H} ' := \mathcal {K} ' \bigcap \mathcal {H} \neq \{ 0 \}$ . Define the subspace

$$ \begin{align*}\mathscr{W} ' := \left( \mathcal{H}' + \bigvee _{j=1} ^d V_j \mathcal{H}' \right) \ominus \mathcal{H} '.\end{align*} $$

By [Reference Davidson, Kribs and Shpigel20, Lemma 3.1], this is a nontrivial wandering subspace for V.

Theorem 3.13 Let $V : \mathcal {K} \otimes \mathbb {C} ^d \rightarrow \mathcal {K} $ be the minimal row isometric dilation of a finite row contraction $T : \mathcal {H} \otimes \mathbb {C} ^d \rightarrow \mathcal {H}$ , $\mathcal {H} \simeq \mathbb {C} ^n$ . Then V contains no ACC or von Neumann-type direct summand so that $V = V_L \oplus V_{dil}$ is the direct sum of a pure type-L and a dilation-type row isometry.

Proof Lemma 3.12 implies that any direct summand of V has wandering vectors. It is then an immediate consequence of [Reference Kennedy49, Corollary 4.13] that V has no direct summand of von Neumann type.

Suppose that V had a nontrivial ACC direct summand, $V_{ac}$ , acting on the V-reducing subspace $\mathcal {K} _{ac}$ . Then, by [Reference Davidson, Kribs and Shpigel20, Corollary 4.2], $\mathcal {H} _{ac} := \mathcal {K} _{ac} \bigcap \mathcal {H} \neq \{ 0 \}$ , and $\mathcal {H} _{ac}$ is $V_{ac}$ -co-invariant. Let $T_{ac} := \left ( V_{ac} ^* | _{\mathcal {H} _{ac} } \right ) ^*$ , then $V_{ac}$ is the minimal row isometric dilation of $T_{ac}$ . Indeed,

$$ \begin{align*}\widetilde{\mathcal{K} } _{ac} := \bigvee _\omega V_{ac} ^\omega \mathcal{H} _{ac}\end{align*} $$

is $V_{ac}$ -reducing, so that $\mathcal {K} _{ac} \ominus \widetilde {\mathcal {K} } _{ac} =: \mathcal {K} ' _{ac}$ is also $V_{ac}$ -reducing. Then, by [Reference Davidson, Kribs and Shpigel20, Corollary 4.2], $\mathcal {K} ' _{ac} \bigcap \mathcal {H} = \mathcal {H} ' _{ac} \subseteq \mathcal {H} _{ac}$ is nontrivial. This contradicts that $\mathcal {K} ' _{ac} \perp \widetilde {\mathcal {K} } _{ac}$ , and we conclude that $\widetilde {\mathcal {K} } _{ac} = \mathcal {K} _{ac}$ .

Let $\{ \mathcal {H} _{ac; k} \}$ be a maximal family of minimal, pairwise orthogonal, and $V_{ac}$ -co-invariant subspaces of $\mathcal {H} _{ac}$ . Fix some k and choose any nonzero $h \in \mathcal {H} _{ac; k}$ . Then, since $V_{ac}$ is absolutely continuous, every $y \in \mathcal {K} _{ac}$ is an absolutely continuous vector for $V_{ac}$ in the sense of [Reference Davidson, Li and Pitts21, Definition 2.4]. In particular, by [Reference Davidson, Li and Pitts21, Theorem 2.7], $h \in \mathcal {H} _{ac ;k} \subsetneq \mathcal {K} _{ac}$ is in the range of a bounded intertwiner, $X: \mathbb {H} ^2 _d \rightarrow \mathcal {K} _{ac}$ . That is, $X L_k = V_{ac; k} X$ , and there is a $g \in \mathbb {H} ^2 _d$ so that $Xg =h$ . Note that $X^*$ must be bounded below on $\mathcal {H} _{ac; k}$ . First, $\mathrm {Ker} \, X^* $ is $V_{ac}$ -co-invariant since $X^* x =0$ implies that

$$ \begin{align*}X^* V_{ac} ^{*\omega} x = L^{*\omega} X^* x =0.\end{align*} $$

The subspace $\mathcal {H} _{ac; k}$ is finite-dimensional, so that if $X^*$ is not bounded below on this space, then it has nontrivial kernel. However, if

$$ \begin{align*}\ker X^* \bigcap \mathcal{H} _{ac; k } \neq \{ 0 \},\end{align*} $$

then this is a proper, nontrivial $V_{ac}$ -co-invariant subspace of $\mathcal {H} _{ac; k}$ , contradicting the minimality of $\mathcal {H} _{ac; k}$ . Hence, $X^*$ is bounded below by say $\epsilon>0$ on $\mathcal {H} _{ac; k}$ . Also recall that since $V_{ac}$ is Cuntz, $T_{ac}$ is a row co-isometry. Then, for any $n \in \mathbb {N}$ ,

$$ \begin{align*} \| h \| ^2 & = \sum _{|\omega| = n} \| T_{ac} ^{*\omega} h \| ^2 \nonumber \\ & \leq \epsilon ^{-2} \sum _{|\omega| = n} \| X^* T_{ac} ^{*\omega} h \| ^2 \nonumber \\ & = \epsilon ^{-2} \sum _{|\omega| = n} \| X^* V_{ac} ^{*\omega} h \| ^2 \nonumber \\ & = \epsilon ^{-2} \sum _{|\omega| = n} \| L^{*\omega} X^* h \| ^2 \nonumber \\ &\rightarrow 0, \nonumber \end{align*} $$

since L is pure. This contradiction proves the claim.

Alternatively, if $V_{ac}$ is an ACC direct summand of V acting on $\mathcal {K} _{ac}$ , then $\mathcal {H} _{ac} := \mathcal {H} \cap \mathcal {K} _{ac}$ is nontrivial and $V_{ac}$ -co-invariant by [Reference Davidson, Kribs and Shpigel20, Corollary 4.2]. If $\mathcal {H} _{ac} ' \subseteq \mathcal {H} _{ac}$ is any minimal $V_{ac}$ -co-invariant subspace, then $\mathcal {K} ' _{ac} := \bigvee V_{ac} ^\omega \mathcal {H} ' _{ac}$ is $V_{ac}$ -reducing and we set $V_{ac} ' := V_{ac} | _{\mathcal {K} ' _{ac}}$ . By [Reference Davidson, Kribs and Shpigel20, Lemma 5.4], since $\mathcal {H} ' _{ac}$ is a minimal $V_{ac}'$ -co-invariant subspace that is cyclic for $V_{ac} '$ , the free semigroup algebra, $\mathfrak {V} ' _{ac} = \mathrm {Alg} \{ I , V_{ac;1} ' , \ldots , V_{ac ;d } ' \} ^{-WOT}$ , contains the projection, $P_{ac} '$ onto $\mathcal {H} _{ac} '$ . However, $V_{ac}$ and hence $V_{ac} '$ are absolutely continuous, so that $\mathfrak {V} ' _{ac}$ is completely isometrically isomorphic and weak- $*$ homeomorphic to $\mathscr {L} ^\infty _d$ , the left analytic Toeplitz algebra. This produces a contradiction as $\mathscr {L} ^\infty _d$ contains no nontrivial projections by [Reference Davidson and Pitts23, Corollary 1.5].

Any row isometry, V, has the Kennedy–Lebesgue–von Neumann–Wold decomposition $V = V_L \oplus V_{ACC} \oplus V_{dil} \oplus V_{vN}$ , and we have shown that if V is the minimal row isometric dilation of a finite row contraction, then the ACC and von Neumann-type direct summands are absent.

The analogue of normalized Lebesgue measure in this setting is NC Lebesgue measure, $m (L^\omega ) := \langle {1} , {L^\omega 1} \rangle _{\mathbb {H} ^2}$ , the so-called vacuum state of the Fock space. (This NC measure is the NC Clark measure of the identically $0$ multiplier, just as normalized Lebesgue measure on the circle is the Clark measure of the identically $0$ function in the disk.) In [Reference Jury and Martin40, Reference Jury and Martin41], the first two authors have constructed the Lebesgue decomposition of any positive NC measure $\mu \in \left ( \mathscr {A} _d \right ) ^{\dagger } _+ $ with respect to NC Lebesgue measure, m. In particular, $\mu $ is singular with respect to NC Lebesgue measure in the sense of [Reference Jury and Martin40, Reference Jury and Martin41] if and only if its GNS row isometry is the direct sum of dilation-type and von Neumann-type row isometries [Reference Jury and Martin41, Corollary 8.13]. We say a positive NC measure $\mu \in \left ( \mathscr {A} _d \right ) ^{\dagger } _+ $ is of a given type if its GNS row isometry is of that corresponding type. The GNS space of $\mu $ decomposes as the direct sum,

$$ \begin{align*}\mathbb{H} ^2 _d (\mu ) = \mathbb{H} ^2 _d (\mu _{ac} ) \oplus \mathbb{H} ^2 _d (\mu _s ),\end{align*} $$

and $\Pi _{\mu } = \Pi _{\mu _{ac}} \oplus \Pi _{\mu _s }$ with respect to this direct sum. Here,

$$ \begin{align*}\Pi _{\mu _{ac}} = \Pi _{\mu; L} \oplus \Pi _{\mu; ACC} \quad \mbox{and} \quad \Pi _{\mu _s} = \Pi _{\mu; dil} \oplus \Pi _{\mu; vN}\end{align*} $$

(see [Reference Jury and Martin41, Section 8]).

A bounded operator, $T \in \mathscr {L} (\mathbb {H} ^2 _d )$ , is called left Toeplitz if $L_j ^* T L_k = \delta _{j,k} I$ . Such operators are called multi-Toeplitz in [Reference Popescu57]. Here, recall that a bounded operator, T, on the Hardy space, $H^2 (\mathbb {D} )$ , is called Toeplitz if $T = T_f = P_{H^2} M_f | _{H^2}$ for some $f \in \mathscr {L} ^\infty (\partial \mathbb {D} )$ . A result of Brown and Halmos identifies the bounded Toeplitz operators as the set of all bounded operators $T \in \mathscr {L} (H^2 )$ with the Toeplitz property:

$$ \begin{align*}S^* T S = T,\end{align*} $$

where $S = M_z$ is the shift on $H^2$ [Reference Halmos and Brown28, Theorem 6]. If $b \in [H^\infty ] _1$ , then $T := I - b(S) ^* b(S) \geq 0$ is a positive semidefinite Toeplitz operator, and b is not an extreme point of the closed convex set $[ H^\infty ] _1$ if and only if there is a unique, outer $a \in [ H^\infty ]_1$ , the Sarason function of b, so that $a(0)>0$ and the column $c := \left ( \begin {smallmatrix} b \\ a \end {smallmatrix} \right ) $ is inner. A contractive left multiplier of Fock space, $b \in [\mathbb {H} ^\infty _d ]_1$ , is said to be column-extreme (CE), if contractivity of the column left multiplier, $c := \left ( \begin {smallmatrix} b \\ a \end {smallmatrix} \right ) $ , for $a \in \mathbb {H} ^\infty _d$ implies $a \equiv 0$ [Reference Jury and Martin39]. In [Reference Jury and Martin39], we observed that any CE b is necessarily an extreme point, and that if b is non-CE, then one can define a unique Sarason outer function, $a \in [\mathbb {H} ^\infty _d ] _1$ , so that $a(0)>0$ and $c := \left ( \begin {smallmatrix} b \\ a \end {smallmatrix} \right ) $ is CE. In [Reference Jury and Martin42], we proved that a is outer, and that if $b = \mathfrak {b}$ is NC rational and non-CE, then $a = \mathfrak {a}$ is NC rational and the column $\mathfrak {c} := \left ( \begin {smallmatrix} \mathfrak {b} \\ \mathfrak {a} \end {smallmatrix} \right ) $ is inner.

Theorem 3.14 Let $\mu \in \left ( \mathscr {A} _d \right ) ^{\dagger } _+ $ be a finitely correlated Cuntz–Toeplitz functional with NC Lebesgue decomposition $\mu = \mu _{ac} + \mu _s$ . The absolutely continuous part of $\mu $ , $\mu _{ac} = \mu _L$ , is purely of type-L and $\Pi _{\mu _L} \simeq L$ . If $\mathfrak {b} \in [\mathbb {H} ^\infty _d ] _1$ is the contractive NC rational left multiplier so that $\mu = \mu _{\mathfrak {b}}$ is the NC Clark measure of $\mathfrak {b}$ , then

$$ \begin{align*}\mu _{ac} (L^\omega ) = \langle {1} , {(I -\mathfrak{b} (R) ^* ) ^{-1} \mathfrak{a} (R) ^* \mathfrak{a} (R) (I -\mathfrak{b} (R) ) ^{-1} L^\omega 1} \rangle_{\mathbb{H} ^2},\end{align*} $$

where $\mathfrak {a} \in [ \mathbb {H} ^\infty _d ] _1$ is the contractive outer NC rational Sarason function of $\mathfrak {b}$ ,

$$ \begin{align*}T := (I -\mathfrak{b} (R) ^* ) ^{-1} \mathfrak{a} (R) ^* \mathfrak{a} (R) (I -\mathfrak{b} (R) ) ^{-1}\end{align*} $$

is a bounded left Toeplitz operator, and $\mathfrak {a} (1 - \mathfrak {b} ) ^{-1} \in \mathbb {H} ^\infty _d$ .

The singular part, $\mu _{s}$ , is purely of dilation-type and $\Pi _{\mu; s} = \Pi _{\mu; dil} = \bigoplus _{j=1} ^N \Pi ^{(j)}$ acting on $\mathbb {H} ^2 _d (\mu _{dil} ) = \bigoplus _{j=1} ^N \mathcal {K} _j$ is the direct sum of at most finitely many irreducible Cuntz row isometries of dilation-type. If $T^{(j) *} := \Pi ^{(j)*} | _{\mathcal {H} _\mu \cap \mathcal {K} _j}$ , then each $T^{(j)}$ is a finite and irreducible row co-isometry with irreducible and minimal row isometric dilation $\Pi ^{(j)}$ .

Of course, it may be that either $\mu _{ac} =0$ or $\mu _s =0$ .

Proof If $\Pi = \Pi _\mu $ is the GNS row isometry of a finitely correlated NC measure, $\mu $ , then $\Pi _\mu $ is the minimal row isometric dilation of the finite row contraction, $T_\mu = (\Pi _\mu ^* | _{\mathcal {H} _\mu } ) ^*$ , and $1 + N_\mu $ is cyclic for $\Pi _\mu $ . By Theorem 3.13, $ \Pi = \Pi _L \oplus \Pi _{dil}$ is the direct sum of a pure row isometry and a Cuntz row isometry of dilation type. By [Reference Jury and Martin41, Section 8, Corollaries 8.12 and 8.13], $\Pi _L = \Pi _{ac} $ and $\Pi _{dil} = \Pi _s$ are the GNS row isometries of the absolutely continuous and singular parts of $\mu $ , respectively. The fact that $\Pi _\mu $ is cyclic implies that the wandering space of its pure part is at most one-dimensional, so that $\Pi _\mu \simeq L \oplus \Pi _{dil}$ where either direct summand may be absent and $\Pi _{dil}$ is cyclic.

The Radon–Nikodym formula for the absolutely continuous (and pure) part of $\mu = \mu _{\mathfrak {b}}$ in the theorem statement is established in [Reference Jury and Martin42, Theorem 6], and is a consequence of an NC rational Fejér–Riesz theorem [Reference Jury and Martin42, Theorem 5] and the NC Fatou theorem of [Reference Jury and Martin40]. It further follows from [Reference Davidson, Kribs and Shpigel20, Theorem 6.5] (see Theorem B) that $\Pi _{dil} = \oplus _{k=1} ^N \Pi ^{(k)} _{dil}$ is the direct sum of finitely many irreducible Cuntz row isometries of dilation-type. The remaining claim follows from Theorem B.

Corollary 3.15 Let $\mu \in \left ( \mathscr {A} _d \right ) ^{\dagger } _+ $ be a finitely correlated Cuntz–Toeplitz functional. The following are equivalent:

  1. (1) The NC rational multiplier, $\mathfrak {b} \in [\mathbb {H} ^\infty _d ] _1$ , so that $\mu = \mu _{\mathfrak {b}}$ is inner.

  2. (2) $\Pi _\mu $ is purely of dilation-type.

  3. (3) $\Pi _\mu $ is purely Cuntz.

  4. (4) $T_\mu $ is a finite row co-isometry.

  5. (5) $\mu $ is a singular NC measure.

Remark 3.16 Classically, a contractive multiplier of Hardy space is inner if and only if its Clark measure is singular. In the NC setting, we were able to prove one half of this fact in [Reference Jury and Martin40, Corollary 3]. Namely, if $b \in [ \mathbb {H} ^\infty _d ] _1$ is inner, then $\mu _b \in \left ( \mathscr {A} _d \right ) ^{\dagger } _+ $ is singular. By Corollary 3.15, we see that if $\mathfrak {b} \in [\mathbb {H} ^\infty _d ] _1$ is such that $\mu _{\mathfrak {b}}$ is a singular finitely correlated Cuntz–Toeplitz functional, then it is Cuntz (and of dilation-type) and $\mathfrak {b}$ is an NC rational inner. Hence, the NC analogue of this classical corollary to Fatou’s theorem holds, at least for NC rational multipliers.

Proof By [Reference Jury and Martin42, Theorem 4], a contractive NC rational multiplier of Fock space is inner if and only if it is CE. By [Reference Jury and Martin39, Theorem 6.4], $\Pi _\mu $ is Cuntz if and only if $\mathfrak {b} _\mu $ is CE. By [Reference Popescu55, Proposition 2.5], we know that a finitely correlated Cuntz–Toeplitz functional $\mu = \mu _{\mathfrak {b}}$ is such that $\Pi _\mu $ is Cuntz if and only if $T_\mu $ is a finite row co-isometry. By Theorem 3.13, $\Pi _\mu $ is Cuntz if and only if it is a cyclic row isometry purely of dilation-type. By [Reference Jury and Martin41, Corollary 8.13], this happens if and only if $\mu $ is a singular NC measure.

Remark 3.17 If $\mu \in \left ( \mathscr {A} _d \right ) ^{\dagger } _+ $ is any positive NC measure, we can define a positive extension of $\mu $ from the free disk system to the Cuntz–Toeplitz $C^*$ -algebra, $\mathcal {E} _d = C^* \{ I , L_1 , \ldots , L_d \}$ , by

$$ \begin{align*}\hat{\mu} ( a_1 ( L ) a_2 (L) ^* ) := \langle {1 + N_\mu} , {\pi _\mu (a_1) \pi _\mu (a_2 ) ^* \left(1 + N_\mu\right)} \rangle_\mu,\end{align*} $$

where $\pi _\mu : \mathcal {E} _d \rightarrow \mathscr {L} (\mathbb {H} ^2 _d (\mu ) )$ is the GNS $*$ -representation obtained from $\mu $ . By well-known results in $C^*$ -algebra theory, assuming that $\mu $ is unital, i.e., a state, $\hat {\mu }$ will be an extreme point in the state space of $\mathcal {E} _d$ , i.e., a pure state, if and only if $\pi _\mu $ is irreducible [Reference Davidson18, Theorem I.9.8]. Equivalently, $H_\mu $ will be an extreme point in the set of all NC Herglotz functions obeying $H(0) =1$ .

Remark 3.18 Let $\mathfrak {b}$ be NC rational inner. That $\mu _{\mathfrak {b}} \in \left ( \mathscr {A} _d \right ) ^{\dagger } _+ $ is a finitely correlated Cuntz functional is an analogue of classical theory. Indeed, any rational inner $\mathfrak {b} \in H^2$ is a finite Blaschke product,

$$ \begin{align*}\mathfrak{b} (z) = \zeta \, \prod _{k=1} ^N \frac{z-w_k}{1-\overline{w}_k z}, \quad \quad w_k \in \mathbb{D}, \ \zeta \in \partial \mathbb{D}.\end{align*} $$

In this case, the Clark measure, $\mu _{\mathfrak {b}}$ , is a finite positive linear combination of exactly N Dirac point masses. This singular measure, $\mu _{\mathfrak {b}}$ , is supported on the set of points, $\zeta \in \partial \mathbb {D}$ , at which $\mathfrak {b} (\zeta ) =1$ , so that the point masses are located at the N roots of the degree N polynomial,

$$ \begin{align*}\prod _{k=1} ^N (z-w_k) - \prod _{k=1} ^N (1 - \overline{w} _k z).\end{align*} $$

A singular finitely correlated functional can then be thought of as an analogue of a positive linear combination of finitely many point masses. If the GNS representation of the functional is irreducible, this can be interpreted as the analogue of a single atom. In this case, where $d=1$ , if $\mu $ is such a finite linear combination of point masses, then $H^2 (\mu ) = L^2 (\mu )$ so that $\Pi _\mu := M_\zeta | _{H^2 (\mu )}$ is unitary, and

$$ \begin{align*}\mathcal{H} _\mu := \bigvee _{k\geq 0} M_\zeta ^{*k} 1 = H^2 (\mu ).\end{align*} $$

In this case, $\mathcal {H} _\mu = H^2 (\mu )$ is finite-dimensional (of dimension $=N$ if $\mu $ is a linear combination of N point masses) and $\Pi _\mu $ is a finite-dimensional unitary. Indeed, since $T_\mu $ is then a finite co-isometry, it must be unitary, so that $T _\mu = \Pi _\mu $ in this single-variable case. In this regard, the theory becomes more complicated when $d>1$ as there are no finite-dimensional row isometries.

Finally, suppose that a contractive rational multiplier $\mathfrak {b} \in [ H^\infty ] _1$ is not an extreme point. Then $1 - |\mathfrak {b} (\zeta ) | ^2 = |\mathfrak {a} (\zeta ) | ^2$ , $ a.e. \ \partial \mathbb {D}$ , where $\mathfrak {a}$ is the rational Sarason function of $\mathfrak {b}$ , and it follows that $M_\zeta | _{H^2 (\mu _{\mathfrak {b}; ac})}$ is a pure cyclic isometry unitarily equivalent to the shift. In particular, $H^2 ( \mu _{\mathfrak {b} } )$ is infinite-dimensional. Recall that there is onto isometry, the weighted Cauchy transform, $\mathscr {F} _{\mathfrak {b}} : H^2 (\mu _{\mathfrak {b}} ) \rightarrow \mathscr {H} (\mathfrak {b} )$ of $H^2 (\mu _b )$ onto the de Branges–Rovnyak space of $\mathfrak {b}$ , and that the image of $\Pi _{\mathfrak {b}} ^*$ , where $\Pi _{\mathfrak {b}} := M_\zeta | _{H^2 (\mu _{\mathfrak {b}} )}$ , under the weighted Cauchy transform is a rank-one perturbation of the restricted backward shift,

$$ \begin{align*}X(1) := \underbrace{S^* | _{\mathscr{H} (\mathfrak{b} )}}_{=: X} + \frac{1}{1- \mathfrak{b} (0) } \langle {K_0 ^{\mathfrak{b}}} , {\cdot} \rangle_{\mathscr{H} (\mathfrak{b} )} S^* \mathfrak{b},\end{align*} $$

$X(1) = \mathscr {F} _{\mathfrak {b}} \Pi _{\mathfrak {b}} ^* \mathscr {F} _{\mathfrak {b}} ^*$ [Reference Clark15]. In this case, since $\mathfrak {b}$ is rational, we obtain that

$$ \begin{align*}\mathcal{H} _\mu := \bigvee \Pi _{\mathfrak{b}} ^{*k} 1 \simeq \bigvee X(1) ^{k} K_0 ^{\mathfrak{b}} =: \mathscr{M} (\mathfrak{b} ) \subsetneqq \mathscr{H} (\mathfrak{b} )\end{align*} $$

is a finite-dimensional subspace of $\mathscr {H} (\mathfrak {b} )$ . Hence, in this case, if P is the projection onto $\mathscr {M} (\mathfrak {b} )$ , then

$$ \begin{align*}T (1) := \left( X(1) | _{\mathscr{M} (\mathfrak{b} ) } \right) ^*\end{align*} $$

is a finite-dimensional contraction, and $X(1) ^* \simeq \Pi _{\mathfrak {b}} = M _\zeta | _{H^2 (\mu _{\mathfrak {b}} )}$ is its minimal isometric dilation. This again shows that our results are natural extensions of classical theory.

Remark 3.19 Let $\mu \in \left ( \mathscr {A} _d \right ) ^{\dagger } _+ $ be a state, i.e., a positive NC measure such that $\mu (I) = 1$ . Let b be the associated contractive NC function so that $H_\mu = H_b$ . Let $b_n \in \mathbb {C} \{ \mathbb {\mathfrak {z}} \} $ be the nth Cesàro sum of b. By [Reference Davidson and Pitts22, Lemma 1.1], $\|b_n(L)\| \leq \|b (L) \| \leq 1$ and, moreover, $b_n(L) \stackrel {SOT-*}{\longrightarrow } b(L)$ . Since $\mathbb {H}^2_d$ is an NC-RKHS, we obtain that $b_n$ converges uniformly to b on subballs. This implies that the inverse Cayley transforms of $b_n$ , $H_{b_n}$ , converge uniformly on subballs to the NC Herglotz function $H_{\mu }$ . Since the Taylor–Taylor coefficients of $H_{\mu }$ are essentially the moments of $\mu $ , the states $\mu _n := \mu _{b_n}$ converge weak- $*$ to $\mu $ . (These are states since $H_{\mu }(0) = 1$ and thus $b(0) = 0 = b_n (0)$ and conversely.) In other words, the finitely correlated Cuntz–Toeplitz functionals are weak- $*$ dense in $ \left ( \mathscr {A} _d \right ) ^{\dagger } _+ $ . This is consistent with our interpretation of finitely correlated NC measures as NC analogues of finite positive sums of point masses.

4 Minimal realizations of rational multipliers

The results of the previous section show that any NC rational multiplier of Fock space is determined by a positive and finitely correlated NC Clark measure. Moreover, any such NC rational Clark measure can be constructed from a finite-dimensional row contraction, T on $\mathcal {H}$ , and a vector $x \in \mathcal {H}$ which is $T^*$ -cyclic and V-cyclic, where V is the minimal row isometric dilation of T. Namely, if $\mu = \mu _{\mathfrak {b}}$ is the finitelycorrelated NC Clark measure of a multiplier $\mathfrak {b} \in [\mathbb {H} ^\infty _d ] _1$ , then $\mu (L^\omega ) = \mu _{T,x} (L^\omega ) = \langle {x} , {T^\omega x} \rangle _{\mathcal {H}}$ , where the pair $(T,x)$ has the above properties. Given such a finite row contraction T and vector x so that $\mu = \mu _{\mathfrak {b}} = \mu _{T,x}$ , our goal now is to express the minimal FM realization of $\mathfrak {b}$ solely in terms of T and x. We will accomplish this by determining the relationship between $T,x$ and the minimal de Branges–Rovnyak FM realization of $\mathfrak {b}$ as described in Section 2.4.

Assume that T is a finite row contraction on $\mathcal {H}$ , V is its minimal row-isometric dilation on $\mathcal {K} \supsetneqq \mathcal {H}$ , and $x \in \mathcal {H}$ is cyclic for $T^*$ , V, and hence T. As in the previous section, we define the positive NC measure $\mu := \mu _{T,x}$ , $\mu _{T,x} (L ^\omega ) = \langle {x} , {T^\omega x} \rangle _{\mathcal {H}}$ . By Proposition 3.6, $T\simeq T_\mu $ and $V \simeq \Pi _\mu $ via the unitary $U_x \left (\mathfrak {z}^\omega + N_\mu \right ) = V^\omega x$ . Recall that the right free Cauchy transform is an isometric map from $\mathbb {H} ^2 _d (\mu )$ onto the right free Herglotz space $\mathscr {H} ^+ ( \mathfrak {H} _\mu )$ , where $\mathfrak {H} _\mu $ is the NC rational Herglotz–Riesz transform of the finitely correlated NC measure, $\mu $ . If $\mu = \mu _{\mathfrak {b}}$ is the NC Clark measure of an NC rational $\mathfrak {b} \in [ \mathbb {H} ^\infty _d ] _1$ , $\mathfrak {H} _{\mathfrak {b}} (Z) = \mathfrak {H} _\mu (Z) + it I_n$ where $t:= \mathrm {Im} \, \mathfrak {H} _{\mathfrak {b}} (0) \in \mathbb {R}$ , and $\mathfrak {H} _{\mathfrak {b}} (Z) = (I_n + \mathfrak {b} (Z) ) (I_n - \mathfrak {b} (Z) ) ^{-1}$ . Observe that the CPNC kernel for the Herglotz space $\mathscr {H} ^+ (\mathfrak {H} _\mu )$ is

$$ \begin{align*} K^\mu (Z,W) [\cdot ]& = \frac{1}{2} K(Z,W) [ \mathfrak{H} _\mu ^{\mathrm{t}} (Z) (\cdot )] + \frac{1}{2} K(Z, W) [ (\cdot) \mathfrak{H} _\mu ^{\mathrm{t}} (W) ^*] \nonumber \\ & = \frac{1}{2} K(Z,W) [ (\mathfrak{H} _\mu ^{\mathrm{t}} (Z) +it I_n) (\cdot )] + \frac{1}{2} K(Z,W) [ (\cdot) (\mathfrak{H} _\mu ^{\mathrm{t}} (W) ^* -it I_m )] \nonumber \\ & = \frac{1}{2} K(Z,W) [ \mathfrak{H} _{\mathfrak{b}} ^{\mathrm{t}} (Z) (\cdot )] + \frac{1}{2} K(Z,W) [ (\cdot) \mathfrak{H} _{\mathfrak{b}} ^{\mathrm{t}} (W) ^* ]. \nonumber \end{align*} $$

That is, the Herglotz space of any two NC Herglotz functions, which differ by an imaginary constant, is the same. Hence, if we define

$$ \begin{align*}\mathfrak{b} _\mu (Z) := (\mathfrak{H} _\mu (Z) - I_n) (\mathfrak{H} _\mu (Z) + I_n ) ^{-1},\end{align*} $$

then as described in the background section, $\mathfrak {b} = \frac {\overline {z (t)}}{z(t)} \cdot \lambda _{z(t)} \circ \mathfrak {b} _\mu $ , where $\lambda _{z(t)}$ is the Möbius transformation

$$ \begin{align*}\lambda _{z(t)} = \frac{z - z(t)}{1-\overline{z(t)}z} \quad \mbox{and} \quad z(t) = \frac{t}{2i +t} \in \mathbb{D}.\end{align*} $$

Moreover, if we write for an operator T, $R(T) = (I - T)^{-1}$ , then we have that

$$ \begin{align*} K^\mu (Z,W) [P] & = K(Z,W)\left[ R(\mathfrak{b} _\mu ^{\mathrm{t}} (Z))\left( P - \mathfrak{b} _\mu ^{\mathrm{t}}(Z) P \mathfrak{b} _\mu ^{\mathrm{t}} (W) ^* \right) R(\mathfrak{b} _\mu ^{\mathrm{t}} (W) ^* ) \right] \\ & = K(Z,W)\left[R(\mathfrak{b} ^{\mathrm{t}} (Z) ) \left( P - \mathfrak{b} ^{\mathrm{t}}(Z) P \mathfrak{b} ^{\mathrm{t}} (W) ^* \right) R(\mathfrak{b} ^{\mathrm{t}} (W) ^* ) \right] \nonumber \end{align*} $$

for any $Z \in \mathbb {B} ^d _n$ , $W \in \mathbb {B} ^d _m$ , and $P \in \mathbb {C} ^{n \times m}$ . This identity shows that $M^R _{(I -\mathfrak {b} _\mu ^{\mathrm {t}}) }$ is an isometric right multiplier of $\mathscr {H} ^+ ( \mathfrak {H} _\mu ) = \mathscr {H} ^+ ( \mathfrak {H} _{\mathfrak {b}} )$ onto the right free de Branges–Rovnyak space $\mathscr {H} ^{\mathrm {t}} (\mathfrak {b} _\mu )$ and that $M^R _{(I-\mathfrak {b} ^{\mathrm {t}})}$ is an isometric right multiplier of $\mathscr {H} ^+ (\mathfrak {H} _\mu )$ onto $\mathscr {H} ^{\mathrm {t}} (\mathfrak {b} )$ . The weighted free Cauchy transform, $\mathscr {F} _{\mathfrak {b}} := M^R _{I_n - \mathfrak {b} ^{\mathrm {t}} (Z)} \circ \mathscr {C} _\mu : \mathbb {H} ^2 _d (\mu ) \rightarrow \mathscr {H} ^{\mathrm {t}} (\mathfrak {b} )$ is then an onto isometry [Reference Jury and Martin38, Reference Jury and Martin39], and $\mathscr {U} _x := \mathscr {F} _{\mathfrak {b}} \circ U_x ^* : \mathcal {K} \rightarrow \mathscr {H} ^{\mathrm {t}} (\mathfrak {b} )$ will be an onto isometry. Furthermore, recall from [Reference Jury and Martin38, Reference Jury and Martin39] that the weighted Cauchy transform intertwines the adjoint of the GNS row isometry, $\Pi _\mu $ , with a rank-one (co-isometric) Clark perturbation, $X(1)$ , of the restricted backward shift $X := L^* | _{\mathscr {H} ^{\mathrm {t}} (\mathfrak {b} )}$ :

$$ \begin{align*}X(1) _k := \underbrace{X_k}_{=L_k^*| _{\mathscr{H} ^{\mathrm{t}} (\mathfrak{b} )}} + \frac{1}{1-\mathfrak{b} (0)} L_k^* \mathfrak{b} ^{\mathrm{t}} \langle {K_0 ^{\mathfrak{b}}} , {\cdot} \rangle_{\mathfrak{b}}, \quad \quad 1 \leq k \leq d.\end{align*} $$

Hence, $\mathscr {U} _x V ^* _k = X(1) _k \mathscr {U} _x$ . In the above, $K_0 ^{\mathfrak {b}} = K ^{\mathfrak {b}} \{ 0 , 1 ,1 \}$ is the point evaluation vector at the point $0 \in \mathbb {B} ^d _1$ for $\mathscr {H} ^{\mathrm {t}} (\mathfrak {b} )$ . Observe that

(4.1) $$ \begin{align} X(1) _k K_0 ^{\mathfrak{b}} & = -L_k ^* \mathfrak{b} ^{\mathrm{t}} \overline{\mathfrak{b} (0)} + L_k ^* \mathfrak{b}^{\mathrm{t}} \frac{1 - | \mathfrak{b} (0) | ^2}{1 - \mathfrak{b} (0)} \nonumber \\ & = L^* _k \mathfrak{b} ^{\mathrm{t}} \, \frac{-\overline{\mathfrak{b} (0)} + |\mathfrak{b} (0) | ^2 + 1 - |\mathfrak{b} (0) | ^2 }{1 - \mathfrak{b} (0) } \nonumber \\ & = \frac{1 - \overline{\mathfrak{b} (0)}}{1- \mathfrak{b} (0)} \, L_k ^* \mathfrak{b} ^{\mathrm{t}}. \end{align} $$

That is, we can write

(4.2) $$ \begin{align} X_k = L_k ^* | _{\mathscr{H} ^{\mathrm{t}} (\mathfrak{b} )} = X(1) _k \left( I - \frac{1}{1-\overline{\mathfrak{b} (0)} } K_0 ^{\mathfrak{b}} \langle {K_0 ^{\mathfrak{b}}} , {\cdot} \rangle \right). \end{align} $$

Here, note that

$$ \begin{align*}\mathfrak{b} (0) = \frac{ \mathfrak{H} _{\mathfrak{b}} (0) -1}{\mathfrak{H} _{\mathfrak{b}} (0) +1} = \frac{ \| x \| ^2 +it -1}{\|x \| ^2 +it +1} \in \mathbb{D}.\end{align*} $$

If we define

$$ \begin{align*}\mathscr{M} _0 (\mathfrak{b} ) := \bigvee _{\omega \neq \emptyset} L^{*\omega} \mathfrak{b} ^{\mathrm{t}} \quad \mbox{and} \quad \mathscr{M} (\mathfrak{b} ) := \bigvee K_0 ^{\mathfrak{b}} + \mathscr{M} _0 (\mathfrak{b}),\end{align*} $$

then by equation (4.1),

$$ \begin{align*}\mathscr{M} (\mathfrak{b} ) = \bigvee X(1) ^\omega K_0 ^{\mathfrak{b}}\end{align*} $$

is both X- and $X(1)$ -invariant. Let $T(1) ^* := X(1) | _{\mathscr {M} (\mathfrak {b} )}$ and $T(0) ^* := X | _{\mathscr {M} (\mathfrak {b} )}$ . Observe that the image of $x \in \mathcal {H}$ under $\mathscr {U} _x$ is

(4.3) $$ \begin{align} \mathscr{U} _x x & = \left( M^R _{(I - \mathfrak{b} ^{\mathrm{t}} (Z) ) ^{-1}} \right) ^* \mathscr{C} _\mu 1 + N_\mu \nonumber \\[3pt] & = \left( M^R _{(I - \mathfrak{b} ^{\mathrm{t}} (Z) ) ^{-1}} \right) ^* K_0 ^\mu \nonumber \\[3pt] & = \frac{1}{1 - \overline{\mathfrak{b} (0)} } K_0 ^{\mathfrak{b}}. \end{align} $$

It follows that $\mathscr {M} (\mathfrak {b} ) = \mathscr {U} _x \mathcal {H} $ and that $T(1)^*$ is unitarily equivalent via $\mathscr {U} _x$ to $T ^* = V ^* | _{\mathcal {H}}$ . It then follows from equations (4.2) and (4.3) that $T (0) ^* _k$ is unitarily equivalent to

(4.4) $$ \begin{align} T_k ^* \left( I - (1 - \mathfrak{b} (0)) x \langle {x} , {\cdot} \rangle_{\mathcal{H}} \right). \end{align} $$

Observe that $\mathscr {M} _0 (\mathfrak {b})$ , as defined above and in Section 2.4, is both $T(0) ^*$ - and $T(1)^*$ -invariant. Letting $Q_0$ denote the projection onto $\mathscr {M} _0 (\mathfrak {b})$ , the minimal de Branges–Rovnyak FM realization is given by $(A,B,C,D)$ , where

$$ \begin{align*} & A = L^* | _{\mathscr{M} _0 (\mathfrak{b} )} = T(0) ^* | _{\mathscr{M} _0 (\mathfrak{b} )}, \quad B = L^* \mathfrak{b} ^{\mathrm{t}} = \frac{1 - \mathfrak{b} (0) }{1-\overline{\mathfrak{b} (0)}} T(1) ^* K_0 ^{\mathfrak{b}}, \\ & C = \langle {Q_0 K_0 ^{\mathfrak{b}}} , {\cdot} \rangle_{\mathfrak{b}}, \quad \mbox{and} \quad D = \mathfrak{b} (0). \end{align*} $$

It follows that $\mathscr {M} _0 (\mathfrak {b} ) = \mathscr {U} _x \mathcal {H} _0$ , where

$$ \begin{align*}\mathcal{H} _0 := \bigvee _{\omega \neq \emptyset} T^{*\omega} x,\end{align*} $$

with projector $P_0$ . A minimal FM realization of $\mathfrak {b}$ , where $\mu _{\mathfrak {b}} = \mu _{T,x}$ , is then $(\hat {A} , \hat {B} , \hat {C} , \hat {D} )$ , where

$$ \begin{align*}\hat{A} := T^* \left( I - (1 - \mathfrak{b} (0 ) ) x \langle { x} , {\cdot} \rangle_{\mathcal{H}} \right) \bigg| _{\mathcal{H} _0},\end{align*} $$
$$ \begin{align*}\hat{B} _k := (1 - \mathfrak{b} (0) ) T^* _k x, \quad \quad \hat{C} := (1 - \mathfrak{b} (0) ) \langle {P_0 x} , {\cdot} \rangle_{\mathcal{H} _0},\end{align*} $$

and

$$ \begin{align*}\hat{D} = \mathfrak{b} (0) = \frac{ \| x \| ^2 +it -1 }{\| x \| ^2 +it +1}.\end{align*} $$

In summary, we have proved the following theorem.

Theorem 4.1 An NC rational function, $\mathfrak {b}$ , with $0 \in \mathrm {Dom} \, \mathfrak {b}$ , belongs to $[ \mathbb {H} ^\infty _d ] _1$ if and only if it is realized as the transfer function of the minimal and finite-dimensional FM colligation:

where T is a finite-dimensional row contraction on $\mathcal {H}$ , $x \in \mathcal {H}$ is cyclic for both $T^*$ and the minimal row isometric dilation, V, of T,

$$ \begin{align*}T_0 ^* := T^* \left( I - (1 - \mathfrak{b} (0) ) \langle {x} , {\cdot} \rangle x \right) \bigg| _{\mathcal{H} _0}, \quad \mbox{and} \quad \mathcal{H} _0 = \bigvee _{\omega \neq \emptyset} T^{*\omega} x.\end{align*} $$

Moreover, $\mathfrak {b}$ is inner if and only if T is also a row co-isometry.

If T is an irreducible finite row co-isometry on $\mathcal {H}$ , Lemma 3.8 implies that given any $x \in \mathcal {H}$ , the pair $T,x$ satisfies the conditions of Theorem 4.1 and hence generates an NC rational inner. Furthermore, recall that Lemma 3.9 implies that if T is a finite row co-isometry, then $x \in \mathcal {H}$ is T-cyclic if and only if it is V-cyclic.

Remark 4.2 Observe that $\mathfrak {b} (0) =0$ if and only if $\mathfrak {H} _{\mathfrak {b}} = \mathfrak {H} _{\mu _{\mathfrak {b}}}$ and $\mu (I) = \| x \| ^2 =1$ . Also note that

$$ \begin{align*}\| x \| ^2 + i\mathrm{Im} \, \mathfrak{H} _b (0) = \mathfrak{H} _{\mathfrak{b}} (0) = \frac{1 + \mathfrak{b} (0)}{1 - \mathfrak{b} (0) }.\end{align*} $$

Example 4.3 Let $q : \mathbb {C} ^{n\times n } \rightarrow \mathbb {C} ^{n\times n}$ be a completely positive and completely contractive linear map. By Choi’s theorem [Reference Choi13], q has Kraus operators or quantum effects, $Q_k \in \mathbb {C} ^{n \times n}$ , $1\leq k \leq d$ , for some $d \in \mathbb {N}$ , so that

$$ \begin{align*}q (A) := \sum _{j=1} ^d Q_j A Q_j ^*, \quad \quad A \in \mathbb{C} ^{n\times n}.\end{align*} $$

Since q is completely contractive, the d-tuple $Q:= \left ( Q_1 , \ldots , Q_d \right )$ is a row contraction, and Q will be a row co-isometry if and only if q is unital. Provided there is a vector $x \in \mathbb {C} ^n$ which is cyclic for both $Q^*$ and the minimal row isometric dilation of Q, we can associate a unique contractive NC rational multiplier, $\mathfrak {q}$ , to the CP map q.

Example 4.4 Consider the row co-isometry $T : \mathbb {C} ^2 \otimes \mathbb {C} ^2 \rightarrow \mathbb {C} ^2$ defined by

It is not difficult to check that this is irreducible. Hence, we can choose any nonzero $x \in \mathbb {C} ^2$ , and apply Theorem 4.1 to construct an NC rational inner function.

First, consider $x = \left ( \begin {smallmatrix} 1 \\ 0 \end {smallmatrix} \right ) $ . Since $\| x \| =1$ , we will have $\mathfrak {r} (0) =0$ . Then,

Then,

This is clearly inner. Note that T is an irreducible row co-isometry, and yet $\mathfrak {b} (Z) = Z_1 Z_2$ is reducible as an inner left multiplier of the Fock space. That is, $\mathfrak {b}$ is the product of two NC rational inner left multipliers. For this $\mathfrak {b}$ ,

so that $T_0 ^*$ is a reducible $2$ -tuple.

Similarly, taking $x = \left ( \begin {smallmatrix} 0 \\ 1 \end {smallmatrix} \right ) $ gives

and

Putting this together gives, for $Z \in \mathbb {B} ^2 _n$ ,

Again, this is inner. To obtain a less trivial example, take $x = \frac {1}{\sqrt {2}} \left ( \begin {smallmatrix} 1 \\ 1 \end {smallmatrix} \right ) $ . In this case,

and

Then,

The inverse can be computed using Schur complements. If

$$ \begin{align*}S := I + \frac{Z_2}{2} - \frac{1}{4} Z_2 \left(I + \frac{Z_1}{2} \right) ^{-1} Z_1\end{align*} $$

is the Schur complement of the upper left block, then

Finally,

Hence,

This must be an NC rational inner.

Example 4.5 Consider an irreducible point arising from anticommuting unitaries

$$\begin{align*}T = \frac{1}{\sqrt{2}} \left( \begin{pmatrix} 1 & 0 \\ 0 & -1 \end{pmatrix},\, \begin{pmatrix} 0 & -1 \\ 1 & 0 \end{pmatrix} \right). \end{align*}$$

Let $x = \left ( \begin {smallmatrix} \alpha \\ \beta \end {smallmatrix} \right ) $ , and assume that $|\alpha |^2 + |\beta |^2 = 1$ . Then,

$$\begin{align*}I_2 - x x^* = \begin{pmatrix} |\beta|^2 & -\alpha \bar{\beta} \\ - \bar{\alpha} \beta & |\alpha|^2 \end{pmatrix}. \end{align*}$$

Therefore,

$$\begin{align*}I - Z \otimes T_0^* = I - \frac{1}{\sqrt{2}} \begin{pmatrix} \beta( \bar{\beta} Z_1 + \bar{\alpha} Z_2) & -\alpha (\bar{\beta} Z_1 + \bar{\alpha} Z_2) \\ \beta( \bar{\alpha} Z_1 + \bar{\beta} Z_2) & -\alpha (\bar{\alpha} Z_1 + \bar{\beta} Z_2) \end{pmatrix}. \end{align*}$$

If we set $\alpha = \beta = \frac {1}{\sqrt {2}}$ , we obtain

$$\begin{align*}I - Z \otimes T_0^* = I - \frac{1}{2 \sqrt{2}} (Z_1 + Z_2) \otimes \begin{pmatrix} 1 & - 1 \\ 1 & -1 \end{pmatrix}. \end{align*}$$

Hence,

$$ \begin{align*} \mathfrak{b} _{T,x}(Z) * & = \frac{1}{2 \sqrt{2}} \begin{pmatrix} I & I \end{pmatrix} \left( I + \frac{1}{2 \sqrt{2}} (Z_1 + Z_2) \otimes \begin{pmatrix} 1 & - 1 \\ 1 & -1 \end{pmatrix} \right) \left((Z_1 - Z_2) \otimes \begin{pmatrix} 1 \\ -1 \end{pmatrix}\right) \nonumber \\[3pt] & = \frac{1}{2} (Z_1 + Z_2) (Z_1 - Z_2), \nonumber \end{align*} $$

which is obviously inner. On the other hand, if we set $\alpha = 0$ and $\beta = 1$ , then

$$\begin{align*}\mathfrak{b} _{T,x}(Z) = \frac{1}{\sqrt{2}} \begin{pmatrix} 0 & I \end{pmatrix} \begin{pmatrix} \left( I - \frac{1}{\sqrt{2}} Z_1 \right)^{-1} & 0 \\ \frac{1}{\sqrt{2}} Z_2 \left( I - \frac{1}{\sqrt{2}} Z_1 \right) ^{-1} & I \end{pmatrix} \begin{pmatrix} -Z_2 \\ -Z_1 \end{pmatrix} = - \frac{1}{2} Z_2 \left( I - \frac{1}{\sqrt{2}} Z_1 \right)^{-1} Z_2 - \frac{1}{\sqrt{2}} Z_1. \end{align*}$$

One can verify directly that this $\mathfrak {b} _{T,x} (Z)$ is also inner:

$$ \begin{align*} \mathfrak{b} _{T,x} (L ) ^* \mathfrak{b} _{T,x} (L) & = \frac{1}{2} I + \frac{1}{4} L_2 ^* \sum _{j,k =0} ^\infty \frac{1}{\sqrt{2} ^{k+j}} L_1 ^{*j} L_2 ^* L_2 L_1 ^k \, L_2 \nonumber \\ & = \frac{1}{2} I + I \, \frac{1}{4} \sum _{j=0} ^\infty \frac{1}{2^j} = I. \nonumber \end{align*} $$

5 Rank-one Clark–Cuntz perturbations

Let $\mathfrak {b} \in [ \mathbb {H} ^\infty _d ] _1$ be a contractive NC rational multiplier, and choose any $\zeta \in \partial \mathbb {D}$ . Consider the one-parameter family of NC Clark measures $\mu _\zeta := \mu _{\mathfrak {b} \overline {\zeta }}$ indexed by the unit circle. Every $\mu _\zeta $ is a finitely correlated Cuntz–Toeplitz functional, so that if $\Pi (\zeta ) := \Pi _{\mu _\zeta }$ , then

$$ \begin{align*}\Pi (\zeta) = \bigoplus _{n=1} ^{N_\zeta} \Pi _\zeta ^{(n)}\end{align*} $$

is a direct sum of finitely many irreducible representations by Theorem 3.14. Let $\mathscr {F} _\zeta : \mathbb {H} ^2 _d (\mu _\zeta ) \rightarrow \mathscr {H} ^{\mathrm {t}} (\mathfrak {b} )$ be the onto, isometric, NC weighted Cauchy transform onto the right free de Branges–Rovnyak space of $\mathfrak {b}$ [Reference Jury and Martin38, Reference Jury and Martin39]. Here, given any positive NC Clark measure $\mu = \mu _b \in \left ( \mathscr {A} _d \right ) ^{\dagger } _+ $ for $b \in [\mathbb {H} ^\infty _d ] _1$ , the weighted (right) free Cauchy transform $\mathscr {F} _\mu : \mathbb {H} ^2 _d (\mu ) \rightarrow \mathscr {H} ^{\mathrm {t}} (b)$ is the onto isometry defined as

$$ \begin{align*}\mathscr{F} _\mu := M^R _{1 - b^{\mathrm{t}}} \circ \mathscr{C} _\mu,\end{align*} $$

where $\mathscr {C} _\mu : \mathbb {H} ^2 _d (\mu ) \rightarrow \mathscr {H} ^+ (H _\mu )$ is the free Cauchy transform as described following the statement of Theorem 3.2. Recall that the image of $\Pi (\zeta ) ^*$ under this unitary transformation is the rank-one co-isometric Clark perturbation of $X := L^* | _{\mathscr {H} ^{\mathrm {t}} (\mathfrak {b} )}$ ,

(5.1) $$ \begin{align} X (\zeta ) = X + \frac{\overline{\zeta}}{ 1 - \mathfrak{b} (0) \overline{\zeta} } \langle {K_0 ^{\mathfrak{b}}} , {\cdot} \rangle _{\mathfrak{b}} \, \vec{\mathfrak{b}}, \end{align} $$

where $\vec {\mathfrak {b}} := L^* \mathfrak {b} ^{\mathrm {t}}$ and $\langle {\cdot } , {\cdot } \rangle _{\mathfrak {b}} := \langle {\cdot } , {\cdot } \rangle _{\mathscr {H} ^{\mathrm {t}} (\mathfrak {b} )}$ (see [Reference Jury and Martin38, Theorem 6.3] and [Reference Jury and Martin39, Section 6.17]). More generally, we will also consider the Clark perturbations $X(\zeta ) $ for any $\zeta \in \mathbb {C}$ defined by the above formula. In particular, $X = X(0)$ .

Proposition 5.1 Either every $\Pi _{\mu _{\overline {\zeta } \mathfrak {b}}} = : \Pi (\zeta ) = \Pi (\zeta ) _L \oplus \Pi (\zeta ) _{dil}$ , $\zeta \in \partial \mathbb {D}$ , has a nonzero direct summand of type-L or every $\Pi (\zeta )$ has no type-L direct summand.

Proof If $\Pi (\zeta ) = \Pi (\zeta ) _{L} \oplus \Pi (\zeta ) _{dil}$ has a nonzero pure type-L direct summand, then since $\Pi (\zeta )$ has a cyclic vector, $\Pi (\zeta ) _L \simeq L$ is unitarily equivalent to exactly one copy of L. If $\Pi (\zeta )$ has a nonzero type-L direct summand and $\Pi ( \xi )$ does not, for some $\xi \neq \zeta $ , $\xi ,\zeta \in \partial \mathbb {D}$ , then $\Pi (\xi )$ is a Cuntz row isometry purely of dilation-type. However, by [Reference Jury and Martin39, Theorem 6.4], this would imply that $\overline {\xi } \mathfrak {b} ^{\mathrm {t}} \notin \mathscr {H} ^{\mathrm {t}} ( \mathfrak {b} )$ . Since $\Pi ( \zeta )$ has a nonzero type-L summand, the same result would imply that $\overline {\zeta } \mathfrak {b} ^{\mathrm {t}} \in \mathscr {H} ^{\mathrm {t}} (\mathfrak {b} )$ . This contradiction shows that either all Clark perturbations have nonzero pure type-L direct summands of multiplicity one or none do.

Given any NC rational $\mathfrak {b} \in [ \mathbb {H} ^\infty _d ] _1$ , recall that we can define the finite-dimensional subspaces

(5.2) $$ \begin{align} \mathscr{M} _0 (\mathfrak{b} ) = \bigvee _{\omega \neq \emptyset} L^ {*\omega} \mathfrak{b} ^{\mathrm{t}} \quad \quad \mbox{and} \quad \quad \mathscr{M} (\mathfrak{b} ) = \mathscr{M} _0 (\mathfrak{b} ) + \bigvee \{ K_0 ^{\mathfrak{b}} \} \subseteq \mathscr{H} ^{\mathrm{t}} (\mathfrak{b} ). \end{align} $$

Lemma 5.2 For any $\zeta \in \mathbb {C}$ , $\mathscr {M} (\mathfrak {b} )$ and $\mathscr {M} _0 (\mathfrak {b} )$ are $X (\zeta )$ -invariant.

Proof This follows immediately from the formulas (5.1) and (5.2).

For any $\zeta \in \mathbb {C} $ , let

(5.3) $$ \begin{align} T(\zeta) ^* := X(\zeta) | _{\mathscr{M} (\mathfrak{b} )}. \end{align} $$

It follows that for any $\zeta \in \partial \mathbb {D}$ , $X(\zeta ) ^*$ is the minimal row isometric dilation of $T(\zeta ) $ and $X(\zeta ) ^*$ is a cyclic Cuntz row isometry if and only if $T(\zeta ) $ is a row co-isometry.

It will be convenient to assume that $\mathfrak {b} (0) = 0$ . There is no loss in generality in making this assumption, as if $w :=\mathfrak {b} (0) \neq 0$ , we can apply the Möbius transformation

$$ \begin{align*}\lambda _{w} (z) = \frac{z - w }{1 - \overline{w} z},\end{align*} $$

to $\mathfrak {b}$ to obtain a new contractive NC rational multiplier, $\mathfrak {b} _0$ , so that $\mathfrak {b} _0 (0) = 0$ . Moreover, the composition of an isometry with a Möbius transformation is again an isometry, so that $\mathfrak {b}$ is inner if and only if $\mathfrak {b} _0$ is. As in [Reference Jury, Martin and Shamovich43, Proposition 6.6], right multiplication by

$$ \begin{align*}C ^{\mathrm{t}} _w (Z) := \sqrt{1 - |w|^2} (I + \overline{w} \mathfrak{b} ^{\mathrm{t}} _0 (Z) ) ^{-1} = \sqrt{1 -|w| ^2 } ^{-1} (I - \overline{w} \mathfrak{b} ^{\mathrm{t}} (Z) ), \quad w = \mathfrak{b} (0),\end{align*} $$

is an isometric right multiplier from $\mathscr {H} ^{\mathrm {t}} ( \mathfrak {b} _0 )$ onto $\mathscr {H} ^{\mathrm {t}} (\mathfrak {b} )$ . We will denote this right multiplier by $\mathfrak {C} _w = M^R _{C^{\mathrm {t}} _w}$ , and this is the NC analogue of a Crofoot transformation [Reference Crofoot16]. As in the commutative setting of [Reference Martin and Ramanantoanina51, Theorem 5.7 and Proposition 5.8], one can verify that

(5.4) $$ \begin{align} \frac{1}{\sqrt{1-|w| ^2}} \mathfrak{C} _w ^* \otimes I_d \vec{\mathfrak{b}} = \vec{\mathfrak{b}} _0, \end{align} $$

where $\vec {\mathfrak {b}} := L^* \mathfrak {b} ^{\mathrm {t}} \in \mathscr {H} ^{\mathrm {t}} (\mathfrak {b} ) \otimes \mathbb {C} ^d$ and that if $X := L^* | _{\mathscr {H} ^{\mathrm {t}} (\mathfrak {b} )}$ , $X^{(0)} := L^* | _{\mathscr {H} ^{\mathrm {t}} (\mathfrak {b} _0 )}$ , then

(5.5) $$ \begin{align} \mathfrak{C} _w \otimes I_d X^{(0)} \mathfrak{C} _w ^* = X + \frac{\overline{w}}{1-|w| ^2} \vec{\mathfrak{b}} \langle {K_0 ^{\mathfrak{b}}} , {\cdot} \rangle_{\mathfrak{b}}. \end{align} $$

Proposition 5.3 Any Clark–Cuntz perturbation, $X (\zeta )$ , $\zeta \in \partial \mathbb {D}$ , of $\mathfrak {b} $ is unitarily equivalent to the corresponding Clark–Cuntz perturbation, $X ^{(0)} (\zeta )$ , of $\mathfrak {b} _0$ via the NC Crofoot transformation.

Proof Given $\zeta \in \partial \mathbb {D}$ and $w = \mathfrak {b} (0)$ , we apply equations (5.4) and (5.5) to obtain

$$ \begin{align*} \mathfrak{C} _w \otimes I_d X^{(0)} (\zeta ) \mathfrak{C} _w ^* & = \mathfrak{C} _w \otimes I_d X^{(0)} \mathfrak{C} _w ^* + \overline{\zeta} \mathfrak{C} _w \otimes I_d \vec{\mathfrak{b}} _0 \langle {\mathfrak{C}_w 1} , {\cdot} \rangle_{\mathfrak{b}} \nonumber \\ & = X + \frac{\overline{w}}{1-|w| ^2} \vec{\mathfrak{b}} \langle {K_0 ^{\mathfrak{b} }} , {\cdot} \rangle_{\mathfrak{b}} +\overline{\zeta} \sqrt{1 -|w| ^2} \vec{\mathfrak{b}} \mathfrak{C} ^{-1} (0) \langle {K_0 ^{\mathfrak{b}}} , {\cdot} \rangle_{\mathfrak{b}} \nonumber \\ & = X + \frac{\overline{w} +\overline{\zeta} }{1-|w| ^2} \vec{\mathfrak{b}} \langle {K_0 ^{\mathfrak{b} }} , {\cdot} \rangle_{\mathfrak{b}} \nonumber \\ & = X + \frac{\overline{\zeta}}{1 - \overline{\zeta} w} \vec{\mathfrak{b}} \langle {K_0 ^{\mathfrak{b} }} , {\cdot} \rangle_{\mathfrak{b}} = X (\zeta). \nonumber\\[-41pt] \end{align*} $$

By the above proposition, we can and will assume, without loss of generality, that $\mathfrak {b} (0) =0$ for the remainder of this section. Note that if $\mathfrak {b} (0) =0$ , then $K_0 ^{\mathfrak {b}} = 1 - \mathfrak {b} ^{\mathrm {t}} \overline {\mathfrak {b} (0)} = 1$ , and our formulas for the finite-dimensional Clark perturbations $T(\zeta ) ^*$ simplify

(5.6) $$ \begin{align} T(\zeta ) ^* = T(0) ^* + \overline{\zeta} L^* \mathfrak{b} ^{\mathrm{t}} \langle {1} , {\cdot} \rangle_{\mathfrak{b}} \bigg| _{\mathscr{M} (\mathfrak{b}) }, \quad \quad \zeta \in \mathbb{C}. \end{align} $$

5.1 Boundary values

Let $\mathfrak {b} \in [ \mathbb {H} ^\infty _d ] _1$ be NC rational. We further assume, without loss of generality, that $\mathfrak {b} (0) =0$ .

Lemma 5.4 For any $\zeta \in \partial \mathbb {D}$ , the d-tuple $T (\zeta ) ^{\mathrm {t}}$ has joint spectral radius $\mathrm {spr} \, T (\zeta ) ^{\mathrm {t}} \leq 1$ .

In the above statement, $T (\zeta ) ^{\mathrm {t}} = \left ( T (\zeta ) _{ 1} ^{\mathrm {t}}, \ldots , T (\zeta ) _{d } ^{\mathrm {t}} \right )$ , where $\mathrm {t}$ denotes matrix transpose of each component of $T(\zeta )$ with respect to a choice of orthonormal basis of $\mathscr {M} (\mathfrak {b} )$ .

Proof Without any loss of generality, assume that $\zeta =1$ . The d-tuple, $T:= T(1)$ , is a finite-dimensional row contraction. If we identify T with a row contraction acting on $\mathbb {C} ^m \otimes \mathbb {C} ^d$ , let $\overline {T} = ( \overline {T} _1 , \ldots , \overline {T} _d )$ denote the entrywise complex conjugation of the matrix of each $T_j$ with respect to the standard orthonormal basis, so that $\overline {T_k} = (T_k ^{\mathrm {t}}) ^*$ . Since T is a row contraction, $T T^* \leq I$ . Taking conjugates shows that $\overline {T} T ^{\mathrm {t}} \leq I$ , so that $\overline {T}$ is also a row contraction, $\| \overline {T} \| _{\mathrm{row}} \leq 1$ and so $\| T ^{\mathrm {t}} \| _{\mathrm{col}} \leq 1$ . By Lemma 2.1, we have that for any $\epsilon>0$ , $T ^{\mathrm {t}}$ is jointly similar to a row d-tuple, $W \in \mathbb {C} ^d _m$ , with $\| W \| \leq \| T^{\mathrm {t}} \| _{\mathrm{col}} + \epsilon = 1 + \epsilon $ . Hence, $\mathrm {spr} (T ^{\mathrm {t}} ) \leq 1 + \epsilon $ for any $\epsilon>0$ and the claim follows.

Since $T (\zeta )$ is a row contraction for $\zeta \in \partial \mathbb {D}$ , $T (\zeta ) ^{\mathrm {t}} = \overline {T} (\zeta ) ^*$ is a column contraction. Hence, for any $Z \in \mathbb {B} ^d _n$ and $\zeta \in \partial \mathbb {D}$ ,

$$ \begin{align*}I_n \otimes I - Z \otimes T (\zeta ) ^{\mathrm{t}}\end{align*} $$

is invertible. Since we are assuming that $\mathfrak {b} (0) =0$ , a finite FM transfer function formula for $\overline {\zeta } \cdot \mathfrak {b}$ is

(5.7) $$ \begin{align} \overline{\zeta} \mathfrak{b} (Z) = I_n \otimes 1^* \left( I_n \otimes I - Z \otimes T (0) ^* \right) ^{-1} I_n \otimes T (\zeta ) ^* 1, \quad \quad Z \in \mathbb{B} ^d _n. \end{align} $$

By the previous lemma and [Reference Salomon, Shalit and Shamovich62, Lemma 2.4], the closure of the joint similarity orbit of $T (\zeta ) ^{\mathrm {t}}$ contains a row contraction. Moreover, since the minimal de Branges–Rovnyak FM realization $(A,B,C,D)$ of $\mathfrak {b}$ is such that $A = T(0) ^* | _{\mathscr {M} _0 (\mathfrak {b} )}$ , Theorem A implies that A and hence $T(0)$ is a pure and finite-dimensional row contraction. Hence, $T(0)$ is jointly similar to a strict row contraction by Lemma 2.1, $T (0) ^*$ is jointly similar to a strict column contraction, and

$$ \begin{align*}I_n \otimes I - T (\zeta) ^{\mathrm{t}} \otimes T (0) ^*\end{align*} $$

is invertible for any $\zeta \in \partial \mathbb {D}$ . We conclude that $\mathfrak {b} (T (\zeta ) ^{\mathrm {t}} )$ is well defined for any $\zeta \in \partial \mathbb {D}$ . Alternatively, since $T(\zeta )$ is a row contraction, $\mathrm {spr} (T (\zeta ) ) \leq 1$ and Lemma 2.1 implies that the closure of the joint similarity orbit of $T(\zeta ) ^{\mathrm {t}}$ contains a row contraction. Since $\mathfrak {b} \in \mathbb {H} ^\infty _d$ is NC rational, Theorem A implies that $r \cdot \mathbb {B} ^d _{\mathbb {N}} \subseteq \mathrm {Dom} \, \mathfrak {b}$ for some $r>1$ and it follows that $T(\zeta )^{\mathrm {t}} \in \mathrm {Dom} \, \mathfrak {b}$ .

Recall the concept of vectorization of matrices and completely bounded maps on matrices. If $A \in \mathbb {C}^{m\times m}$ and $B \in \mathbb {C} ^{n\times n}$ , then $A \otimes B$ is an $mn \times mn$ matrix, and it can also be identified with a completely bounded linear map on $\mathbb {C} ^{m \times n}$ . To describe this correspondence: given $Z \in \mathbb {C} ^{n\times m}$ , let $\overrightarrow {Z}$ denote the column vector of size $m \cdot n$ obtained by stacking the columns of Z one on top of the other (in order from left to right). That is, dividing $Z \in \mathbb {C} ^{n \times m}$ into m columns, $\boldsymbol {z} _k \in \mathbb {C} ^n$ (see, for example, [Reference Horn and Johnson37, Section 4.2]),

By [Reference Horn and Johnson37, Lemma 4.3.1],

$$\begin{align*}\left( A \otimes B \right) \overrightarrow{Z} = \overrightarrow{B Z A^T}. \end{align*}$$

This vectorization map, $\mathrm {vec} : \mathbb {C} ^{m \times n} \rightarrow \mathbb {C} ^{mn}$ , $\mathrm {vec} (A) := \overrightarrow {A}$ , is linear and invertible, and for any linear map $\ell \in \mathscr {L} (\mathbb {C} ^{m \times n} )$ , we define the matrization of $\ell $ , $\vec {\ell } \in \mathbb {C} ^{mn \times mn}$ by

$$ \begin{align*}\vec{\ell}\, \overrightarrow{Z} := \overrightarrow{\ell (Z)}, \quad \quad \quad \mbox{i.e.,} \quad \vec{\ell} = \mathrm{vec} \circ \ell \circ \mathrm{vec} ^{-1}.\end{align*} $$

In particular, if $\ell $ is any completely bounded linear map on the operator space $\mathbb {C} ^{m \times n}$ ,

(5.8) $$ \begin{align} \ell (X) = \sum _{j=1} ^d A_j X B_j, \quad \quad A_j \in \mathbb{C} ^{m\times m}, B_j \in \mathbb{C} ^{n \times n}, \ X \in \mathbb{C} ^{m \times n}, \end{align} $$

then

$$ \begin{align*}\vec{\ell} = \sum B_j^{\mathrm{t}} \otimes A_j.\end{align*} $$

Proposition 5.5 Let $\mathfrak {r}$ be an NC rational function with $0 \in \mathrm {Dom} \, \mathfrak {r}$ and finite FM realization $(A,B,C,D)$ . Then, for any $\lambda \in \mathbb {C} \setminus \{ 0 \}$ and $Z \in \mathbb {C} ^d _n$ so that $L_A (Z)$ is invertible,

$$ \begin{align*}\lambda ^n \mathrm{det} \, L_{A ^{(\lambda )}} (Z) = \mathrm{det} \, L_A (Z ) \cdot \mathrm{det} \left( (\lambda + \mathfrak{r} (0) ) I_n - \mathfrak{r} (Z) \right),\end{align*} $$
$$ \begin{align*}A^{(\lambda )} _k = A_k + \lambda ^{-1} B_k C.\end{align*} $$

In particular, if the monic linear pencil, $L_A (Z) = I_n \otimes I - Z \otimes A$ , is invertible, then $\lambda + \mathfrak {r} (0)$ belongs to the spectrum of $\mathfrak {r} (Z)$ if and only if $L_{A ^{(\lambda )}} (Z)$ is singular. If $(A,B,C,D)$ is a minimal realization, then this formula holds for all $Z \in \mathrm {Dom} \, \mathfrak {r}$ and the characteristic polynomial of $\mathfrak {r} (Z)$ is

$$ \begin{align*}p_{\mathfrak{r} (Z)} ( \lambda + \mathfrak{r} (0) ) = \lambda ^n \frac{\mathrm{det} \, L_{A^{(\lambda )}} (Z) }{\mathrm{det} \, L_A (Z)}.\end{align*} $$

Proof If $Z \in \mathbb {C} ^d _n$ is such that $L_A (Z)$ is invertible, then by the generalized matrix determinant lemma,

$$ \begin{align*} \mathrm{det} \left( I - Z \otimes A - \lambda ^{-1} Z \otimes BC \right) & = \mathrm{det} \left( I - Z \otimes A \right) \cdot \mathrm{det} \left( I_n - \lambda ^{-1} I_n \otimes C (I - Z \otimes A ) ^{-1} Z \otimes B \right) \nonumber \\ & = \lambda ^{-n} \mathrm{det} \left( I_n \otimes I - Z \otimes A \right) \cdot \mathrm{det} \left( \lambda I_n - (\mathfrak{r} (Z) - \mathfrak{r} (0) ) I_n ) \right), \nonumber \end{align*} $$

and the first claim follows.

If $(A' ,b,c)$ is a minimal descriptor realization of $\mathfrak {r}$ , with $A_k \in \mathscr {L} (\mathcal {H})$ , $\mathcal {H} \simeq \mathbb {C} ^m$ , then $Z \in \mathrm {Dom} \, \mathfrak {r}$ if and only if $I - Z \otimes A$ is invertible by [Reference Volčič68, Theorem 3.10]. A minimal FM realization $(A,B,C,D)$ of $\mathfrak {r}$ can be constructed from $(A,b,c)$ by setting $\mathcal {H} _0 := \bigvee _{\omega \neq \emptyset } A^{'\omega } c$ with projector $Q_0$ and

$$ \begin{align*}A := A' | _{\mathcal{H} _0}, \quad B := Ac, \quad C := (Q_0 b) ^*, \quad \mbox{and} \quad D := \mathfrak{r} (0)\end{align*} $$

(see, for example, [Reference Jury and Martin42, Lemma 6]). Observe that $\mathcal {H} _0 \subseteq \mathcal {H}$ is $A '$ -invariant and that if $\mathcal {H} _0 \neq \mathcal {H}$ , then $\mathcal {H} _0$ has co-dimension one. Hence, if $\mathcal {H} _0 \subsetneq \mathcal {H}$ , $A'$ and $L_{A '} (Z)$ have block upper-triangular decompositions with respect to $\mathcal {H} = \mathcal {H} _0 \oplus (\mathcal {H} \ominus \mathcal {H} _0)$ ,

where $a = (a_1 , \ldots , a_d )$ , $a_k \in \mathbb {C}$ . In particular, if $Z \in \mathrm {Dom} \, \mathfrak {r}$ , $Z \in \mathbb {C} ^d _n$ , then by [Reference Volčič68, Theorem 3.10],

$$ \begin{align*}0 \neq \mathrm{det} \, L_{A'} (Z) = \mathrm{det} ( L_A (Z) ) \cdot \mathrm{det} ( L_{a} (Z) ),\end{align*} $$

so that $\mathrm {det} \, L_A (Z) \neq 0$ and the second claim follows as well.

Proposition 5.6 Given $\zeta \in \partial \mathbb {D}$ , let $A_\zeta ^*$ be a column-isometric restriction of $T (\zeta ) ^*$ to an invariant subspace. Then $\zeta $ is an eigenvalue of $\mathfrak {b} ( A _\zeta ^{\mathrm {t}} )$ .

Proof As discussed above, $\mathfrak {b} (A _\zeta ^{\mathrm {t}} )$ is well defined. To simplify notations, we drop the subscript $\zeta $ . Identify $\mathscr {M} (\mathfrak {b} ) \simeq \mathbb {C} ^m$ , and suppose that $\mathcal {K} \subseteq \mathscr {M} (\mathfrak {b} )$ is $T (\zeta ) ^*$ -invariant and $A ^* := T (\zeta ) ^* | _{\mathcal {K} }$ , $\mathcal {K} \simeq \mathbb {C} ^k$ , $k \leq m$ . Then,

Note that since $T (\zeta )$ is a row contraction and A is a row co-isometry,

so that

In the above, we view $A \in \mathbb {C} ^d _n$ as a row d-tuple, $A = (A _1 , \ldots , A_d ) : \mathbb {C} ^n \otimes \mathbb {C} ^d \rightarrow \mathbb {C} ^n$ , and $A^*, B^*$ as column d-tuples so that, for example,

$$ \begin{align*}AB^* = A_1 B_1 ^* + \cdots + A_d B_d ^*.\end{align*} $$

It follows, by Schur complement theory, that $AB^* =0$ and that $BB^* + CC^* \leq I$ . Observe that

$$ \begin{align*}I_m \otimes I_m - \left ( \begin{smallmatrix} A ^{\mathrm{t}} & 0 \\ 0 & 0 \end{smallmatrix} \right) \otimes T (\zeta ) ^* \simeq I \otimes I - T (\zeta ) ^* \otimes \left ( \begin{smallmatrix} A ^{\mathrm{t}} & 0 \\ 0 & 0 \end{smallmatrix} \right) ,\end{align*} $$

and the second formula is the matrization of

$$ \begin{align*}\mathrm{id} _m - \left ( \begin{smallmatrix} A & 0 \\ 0 & 0 \end{smallmatrix} \right) (\cdot ) \left ( \begin{smallmatrix} A ^* & B ^* \\ 0 & C ^* \end{smallmatrix} \right) .\end{align*} $$

Then,

and it follows that $\overrightarrow {\left ( \begin {smallmatrix} I_k & 0 \\ 0 & 0 \end {smallmatrix} \right ) } $ is an eigenvector of $T (\zeta ) ^* \otimes \left ( \begin {smallmatrix} A^{\mathrm {t}} & 0 \\ 0 & 0 \end {smallmatrix} \right ) $ to eigenvalue $1$ , and the image of this eigenvector under the tensor swap unitary is then an eigenvector of $\left ( \begin {smallmatrix} A^{\mathrm {t}} & 0\\ 0 & 0 \end {smallmatrix} \right ) \otimes T (\zeta ) ^*$ to eigenvalue $1$ . Proposition 5.5 then implies that $\zeta $ is an eigenvalue of

so that $\zeta $ is an eigenvalue of $\mathfrak {b} (A^{\mathrm {t}} )$ . Namely, for any $Z \in \mathrm {Dom} _n \, \mathfrak {b}$ ,

$$ \begin{align*}L_{T(\zeta) ^*} (Z) = I_n \otimes I_m - Z \otimes A - \overline{\zeta} Z \otimes BC,\end{align*} $$

where

$$ \begin{align*}A = T(0) ^*, \quad B:= T(1) ^* 1, \quad C := \langle {1} , {\cdot} \rangle, \quad \mbox{and} \quad D:= \mathfrak{b} (0) =0,\end{align*} $$

gives the finite FM realization formula for $\mathfrak {b}$ from equation (5.7).

Proposition 5.7 Let $\mathcal {K} := \bigoplus _{k=1} ^N \mathcal {K} _k \subseteq \mathscr {M} (\mathfrak {b} )$ be the direct sum of minimal and mutually orthogonal $T (\zeta )$ -co-invariant subspaces of $\mathscr {M} (\mathfrak {b} )$ so that each $T(\zeta ) ^* | _{\mathcal {K} _k}$ is a column isometry. Then $\zeta $ is an eigenvalue of $\mathfrak {b} (T _\zeta ^{\mathrm {t}} )$ of geometric multiplicity at least N.

Proof To simplify notations, assume without loss of generality that $\zeta =1$ and that $N=2$ . We will also write $T:= T(1)$ . Then,

where $A_k ^* := T^* | _{\mathcal {K} _k}$ are (irreducible) row co-isometries. Hence,

For any $x = \left ( \begin {smallmatrix} x_1 \\ x_2 \\ x_3 \end {smallmatrix} \right ) $ ,

By the previous proposition, both $\mathfrak {b} (A _1 ^{\mathrm {t}} )$ and $\mathfrak {b} (A_2 ^{\mathrm {t}} )$ have eigenvectors, $y_1$ and $y_2$ to eigenvalue $1$ . It follows that

$$ \begin{align*}\left ( \begin{smallmatrix} y_1 \\ 0 \\ 0 \end{smallmatrix} \right) \quad \mbox{and} \quad \left ( \begin{smallmatrix} 0 \\ y _2 \\ 0 \end{smallmatrix} \right)\end{align*} $$

are two linearly independent eigenvectors of $\mathfrak {b} (T ^{\mathrm {t}} )$ to eigenvalue $1$ .

Theorem 5.8 Let $A (\zeta ) ^* := T(\zeta )^* | _{\mathcal {K} _\zeta }$ be a column-isometric restriction of $T(\zeta ) ^*$ to an invariant subspace $\mathcal {K} _\zeta \subseteq \mathscr {M} (\mathfrak {b} )$ . Suppose that $\mathrm {dim} \, \mathcal {K} _\zeta =n$ , identify $\mathcal {K} _\zeta $ with $\mathbb {C} ^n$ , and let v be a unit eigenvector of $\mathfrak {b} (A (\zeta ) ^{\mathrm {t}} ) ^{\mathrm {t}} $ corresponding to the eigenvalue $\zeta $ . Then, for any $y \in \mathbb {C} ^n$ , the limit $K^{\mathfrak {b}} \{ A (\zeta ) , y , v \} := \lim _{r \uparrow 1} K ^{\mathfrak {b}} \{ r A (\zeta ) , y , v \} $ exists, and for any $h \in \mathscr {H} ^{\mathrm {t}} (\mathfrak {b})$ , the limit

$$ \begin{align*}y^* h (A (\zeta) ) v := \lim _{r\uparrow 1} y ^* h (r A (\zeta ) ) v = \langle { K^{\mathfrak{b}} \{ A (\zeta ) , y , v \} } , {h} \rangle_{\mathscr{H} ^{\mathrm{t}} (\mathfrak{b} ) } \quad \quad \mbox{exists.}\end{align*} $$

Proof To simplify notations, we simply write A in place of $A (\zeta )$ . For any $0<r<1$ , the NC de Branges–Rovnyak kernel vector $K ^{\mathfrak {b}} \{ r A (\zeta ) , y , v \}$ is well defined since $r A$ is a strict row contraction. Observe that the net $K^{\mathfrak {b}} \{ r A , y , v \}$ converges pointwise in $\mathbb {B} ^d _{\mathbb {N}}$ . Indeed, given any $W \in \mathbb {B} ^d _m$ and $x,u \in \mathbb {C} ^m$ ,

$$ \begin{align*} x^* K^{\mathfrak{b}} \{ r A , y , v \} (W) u & = x^* K ^{\mathfrak{b}} (W , r A ) [ v u^*] y \nonumber \\ & = x^* K (W , r A ) [ v u^*] y - x^* K (W, r A ) [ \mathfrak{b} ^{\mathrm{t}} (Z ) v u^* \mathfrak{b} ^{\mathrm{t}} (r A ) ^*] y. \nonumber \end{align*} $$

Since $R \cdot \overline {\mathbb {B} ^d _{\mathbb {N}} } \subseteq \mathrm {Dom} \, \mathfrak {b} ^{\mathrm {t}}$ for some $R>1$ and A is a row contraction, the limit

$$ \begin{align*}\lim _{r \uparrow 1} \mathfrak{b} ^{\mathrm{t}} (r A ) = \mathfrak{b} ^{\mathrm{t}} ( A )\end{align*} $$

exists. Similarly, since $W \in \mathbb {B} ^d _m$ , the entire expression converges to

$$ \begin{align*}x^* K (W , A ) [ v u^*] y - x^* K (W , A ) [ \mathfrak{b} ^{\mathrm{t}} ( Z ) v u^* \mathfrak{b} ^{\mathrm{t}} ( A ) ^*] y.\end{align*} $$

Let $K^{\mathfrak {b}} \{ A , y , v \} (W) $ denote this pointwise limit. Observe that by assumption,

$$ \begin{align*}\mathfrak{b} ^{\mathrm{t}} ( A) v = \mathfrak{b} (A^{\mathrm{t}} ) ^{\mathrm{t}} v = \zeta v.\end{align*} $$

Now, consider

(5.9) $$ \begin{align} \| K ^{\mathfrak{b}} \{ r A , y , v \} \| _{\mathbb{H} ^2} ^2 & = y^* K (rA , rA) \left[ vv^* - \mathfrak{b} ^{\mathrm{t}} (r A ) vv^* \mathfrak{b} ^{\mathrm{t}} (rA )^* \right] y \nonumber \\ & \leq y^* K (rA , rA) [I_n ] y \cdot \| vv^* - \mathfrak{b} ^{\mathrm{t}} (rA ) vv^* \mathfrak{b} ^{\mathrm{t}} (rA) ^* \| \nonumber \\ & \leq \mathrm{tr} \, \left( vv^* - \mathfrak{b} ^{\mathrm{t}} (rA ) vv^* \mathfrak{b} ^{\mathrm{t}} (rA) ^* \right) \cdot y^* \sum _{j=0} ^\infty r^{2j} \underbrace{\mathrm{Ad} _{A , A^*} ^{(j)} (I_n )}_{=I_n} y \nonumber \\ & = \| y \| ^2 \, \frac{v^* \left( I_n - \mathfrak{b} ^{\mathrm{t}} (rA ) ^* \mathfrak{b} ^{\mathrm{t}} (rA) \right) v}{1-r^2} \nonumber \\ & = \| y \| ^2 \, \frac{v^* \left( \mathfrak{b} ^{\mathrm{t}} (A) ^* \mathfrak{b} ^{\mathrm{t}}(A) - \mathfrak{b} ^{\mathrm{t}} (rA ) ^* \mathfrak{b} ^{\mathrm{t}} (rA ) \right) v}{(1-r) (1+r)}. \end{align} $$

Since $R \cdot \mathbb {B} ^d _{\mathbb {N}} \subseteq \mathrm {Dom} \, \mathfrak {b} ^{\mathrm {t}}$ for some $R<1$ , it follows that $\mathfrak {b} ^{\mathrm {t}} (Z)$ and hence $\mathfrak {b} ^{\mathrm {t}} (Z ) ^* \mathfrak {b} ^{\mathrm {t}} (Z)$ are Gâteaux differentiable at any point on the boundary, $\partial \mathbb {B} ^d _{\mathbb {N}}$ . We conclude that the limit supremum of equation (5.9) as $r \uparrow 1$ is finite. By weak compactness, there is a weakly convergent subsequence $K ^{\mathfrak {b}} \{ r_k A , y , v \}$ which necessarily converges pointwise to $K ^{\mathfrak {b}} \{ A , y, v \} (Z) $ . Hence, any weakly convergent subsequence has the same limit and the entire net converges weakly to $K ^{\mathfrak {b}} \{ A , y, v \} \in \mathscr {H} ^{\mathrm {t}} (\mathfrak {b} )$ . By weak convergence, given any $h \in \mathscr {H} ^{\mathrm {t}} (\mathfrak {b} )$ ,

$$ \begin{align*} \langle { K^{\mathfrak{b}} \{ A , y , v \} } , {h} \rangle_{\mathscr{H} ^{\mathrm{t}} (\mathfrak{b} ) } & = \lim _{r \uparrow 1} \langle { K^{\mathfrak{b}} \{ r A , y , v \} } , {h} \rangle_{\mathscr{H} ^{\mathrm{t}} (\mathfrak{b} ) } \nonumber \\ &= \lim y^* h (r A ) v. \nonumber \end{align*} $$

It follows that $h (r A )$ is convergent and we let $h( A )$ denote this limit.

Remark 5.9 If $\mu = \mu _{\mathfrak {b}}$ is the singular NC rational Clark measure of an NC rational inner left multiplier, $\mathfrak {b} \in [ \mathbb {H} ^\infty _d ] _1$ , then we can define the support of $\mu $ , $\mathrm {supp} (\mu )$ , on the boundary, $\partial \mathbb {B} ^d _{\mathbb {N}}$ , as the set of all finite-dimensional row co-isometries, $Z \in \partial \mathbb {B} ^d _{\mathbb {N}}$ , so that the minimal row isometric dilation, V, of Z, is unitarily equivalent to a direct summand of $\Pi _\mu $ . By Theorem C, $Z \in \mathrm {supp} (\mu )$ if and only if there is a $T_{\mu }$ -co-invariant subspace $\mathcal {J} _\mu \subseteq \mathcal {H} _{\mu }$ , so that $Z ^*$ is jointly unitarily equivalent to $T_{\mu } ^* | _{\mathcal {J} _\mu }$ . Proposition 5.6 then implies that $1$ is an eigenvalue of $\mathfrak {b} (Z ^{\mathrm {t}} )$ for any $Z \in \mathrm {supp} (\mu )$ .

Recall that in one variable, any rational inner function in $H^2$ is a finite Blaschke product:

$$ \begin{align*}\mathfrak{b} (z) = \zeta \prod _{k=1} ^N \frac{z- w_k}{1-\overline{w} _k z}, \quad \quad w_k \in \mathbb{D}, \ \zeta \in \partial \mathbb{D}.\end{align*} $$

In this case, $\mu _{\mathfrak {b}}$ is a finite, positively weighted sum of exactly N point masses on the unit circle, so that $\mu _{\mathfrak {b}}$ is singular and $L^2 (\mu _b ) = H^2 (\mu _b )$ . Hence, $\Pi _{\mathfrak {b}} \simeq M_\zeta $ is unitary, and $\Pi _{\mathfrak {b}} = \Pi _{\mu _{\mathfrak {b}} }$ is irreducible if and only if $N=1$ and $\mathfrak {b}$ is a single Blaschke factor. Moreover, the point masses of $\mu _{\mathfrak {b}}$ are located precisely at the N points on the unit circle where $\mathfrak {b} (\zeta ) =1$ . Proposition 5.7 can be viewed as an analogue of this classical fact.

If $\mathfrak {b} \in H^\infty $ is rational, it extends analytically to a disk of radius $>1$ , and so it has finite Carathéodory angular derivatives at any point $\zeta \in \partial \mathbb {D}$ . That is, $|\mathfrak {b} (\zeta ) | =1$ for all $\zeta \in \partial \mathbb {D}$ and $\mathfrak {b} ' (\zeta )$ has a nontangential limit at each point on the boundary. By [Reference Sarason63, VI-4], this is equivalent to saying that every $h \in \mathscr {H} (\mathfrak {b} )$ has a nontangential limit at every point on the boundary. Theorem 5.8 can then be viewed as a generalization of this classical result.

5.2 Mutual singularity of Clark–Cuntz perturbations

Let $b \in [ H^\infty ] _1$ be a contractive analytic function in the complex unit disk. Given any $\zeta \in \partial \mathbb {D}$ , let $\mu _\zeta := \mu _{b \overline {\zeta }}$ be the one-parameter family of positive Clark measures of the contractive functions $\overline {\zeta } b$ . The goal of this subsection is to obtain an analogue of the following classical theorem of Aronszajn and Donoghue [Reference Aronszajn4, Reference Donoghue24], for the case of contractive NC rational multipliers of the Fock space.

Aronszajn–Donoghue The singular parts of the family of Clark measures $\{ \mu _\zeta = \mu _{b \overline {\zeta }} | \ \zeta \in \partial \mathbb {D} \}$ are mutually singular,

$$ \begin{align*}\mu _{\zeta; s} \ \perp \ \mu _{\xi; s} \quad \mbox{for} \quad \zeta , \xi \in \partial \mathbb{D}, \ \zeta \neq \xi.\end{align*} $$

One can show that two positive, finite, and regular Borel measures on the complex unit circle are mutually singular if and only if their Herglotz spaces of Cauchy transforms have trivial intersection [Reference Jury and Martin41, Section 1.1, Corollary 8.5]. The following is then an NC analogue of the Aronszajn–Donoghue theorem for arbitrary contractive left multipliers of Fock space.

Theorem 5.10 (NC Aronszajn–Donoghue)

Given $b \in [\mathbb {H} ^\infty _d ] _1$ , consider the one-parameter family of NC Clark measures $\mu _\zeta := \mu _{\overline {\zeta } b}$ , $\zeta \in \partial \mathbb {D}$ . The singular parts of this family of NC measures are mutually singular in the sense that their spaces of NC Cauchy transforms have trivial intersection,

$$ \begin{align*}\mathscr{H} ^+ (H _{\overline\zeta b; s } ) \bigcap \mathscr{H} ^+ (H _{\overline\xi b; s} ) = \{ 0 \}.\end{align*} $$

Proof Suppose that $h \in \mathscr {H} ^+ (H _{\overline \zeta b; s } ) \bigcap \mathscr {H} ^+ (H _{\overline \xi b; s} )$ . Then right multiplication by $I - \overline {\zeta } b^{\mathrm {t}} $ and by $I - \overline \xi b^{\mathrm {t}}$ both take this intersection space into $\mathscr {H} ^{\mathrm {t}} (b)$ . Hence, both $h - \overline \zeta h b^{\mathrm {t}}$ and $h - \overline \xi h b^{\mathrm {t}}$ belong to $\mathscr {H} ^{\mathrm {t}} (b)$ , and hence both h and $h b^{\mathrm {t}}$ belong to $\mathscr {H} ^{\mathrm {t}} (b) \subseteq \mathbb {H} ^2 _d$ . In particular, $h \in \mathbb {H} ^2 _d \bigcap \mathscr {H} ^+ (H_{\overline \zeta b; s} ) = \{ 0 \}$ , since $\mu _{\overline \zeta b; s}$ is a singular NC measure, by assumption [Reference Jury and Martin41, Corollary 8.13].

The classical Aronszajn–Donoghue theorem can also be restated in operator-theoretic language. If $\mu , \lambda $ are positive measures, both singular with respect to Lebesgue measure on the complex unit circle, consider the measure spaces $L^2 (\mu ) = H^2 (\mu )$ and $L^2 (\lambda ) = H^2 (\lambda )$ , where as before, $H^2 (\mu )$ denotes the closure of the analytic polynomials. It follows that the isometries of multiplication by the independent variable on $H^2 (\mu )$ and $H^2 (\lambda )$ , $U_\mu := M_\zeta | _{H^2 (\mu )} = M_\zeta $ and $U_\lambda $ , are unitary. To say that the singular measures $\mu , \lambda $ are mutually singular is then equivalent to the statement that $U_\mu $ and $U_\lambda $ are mutually singular in the sense that they have no unitarily equivalent restrictions to reducing subspaces. Similarly, we will say that two Cuntz row isometries, U and $U'$ , are mutually singular, and we write $U \perp U'$ , if they have no unitarily equivalent direct summands, i.e., unitarily equivalent restrictions to reducing subspaces. The exact NC analogue of this formulation of the Aronszajn–Donoghue theorem would then state that if $b \in [\mathbb {H} ^\infty _d ]_1$ , then the singular Cuntz GNS row isometries $\Pi (\zeta ) _s = \Pi _{\mu _{\overline \zeta b; s}}$ are mutually singular for $\zeta , \xi \in \partial \mathbb {D}$ , $\zeta \neq \xi $ . While the proof of this general statement eludes us at this time, we can prove the following weaker statement for contractive NC rational multipliers.

Theorem 5.11 (NC rational Aronszajn–Donoghue)

Let $\mathfrak {b} \in [\mathbb {H} ^\infty _d ]_1$ be an NC rational contractive left multiplier of Fock space. For any $\zeta \in \partial \mathbb {D}$ , let $\mu _\zeta = \mu _{\overline \zeta \cdot \mathfrak {b}}$ be the finitely correlated NC Clark measure of $\overline \zeta \cdot \mathfrak {b}$ with GNS representation $\Pi (\zeta )$ .

If $\mathfrak {b}$ is inner so that $\Pi (\zeta ) = \Pi (\zeta ) _s$ for all $\zeta \in \partial \mathbb {D}$ , if $\Pi (\zeta )$ is irreducible for some $\zeta $ and if $\mathfrak {b} | _{\mathbb {B} ^d _1}$ does not vanish identically, then $\Pi (\zeta ) \perp \Pi (\xi )$ for any $\xi \neq \zeta $ , $\xi \in \partial \mathbb {D}$ .

If $\mathfrak {b} \in [\mathbb {H} ^\infty _d ] _1$ , $\mathrm {dim} \, \mathcal {H} _\mu = n \in \mathbb {N}$ , $\mu = \mu _1$ , and $\{ \zeta _1 , \ldots , \zeta _{n+1} \} \subseteq \partial \mathbb {D}$ is any set of $n+1$ distinct points on the circle, then there is a $j \in \{ 1, \ldots , n+1 \}$ , so that $\Pi (\zeta _j ) _s \perp \Pi (\zeta _k ) _s$ for all $k \neq j$ .

5.3 Mutual singularity and disjointness

Let $U, U'$ be Cuntz row isometries acting on Hilbert spaces $\mathcal {K} , \mathcal {K} '$ , respectively. These row isometries are said to be disjoint if there is no bounded operator $X : \mathcal {K} \rightarrow \mathcal {K} '$ so that $X U_k = U' _k X$ [Reference Dutkay, Haussermann and Jorgensen26]. Such an X is called an intertwiner. The following is well known and can be found in [Reference Jury and Martin41, Lemma 8.9].

Lemma 5.12 Let $U, U'$ be row isometries on $\mathcal {K} , \mathcal {K} '$ , respectively, and suppose that $X : \mathcal {K} \rightarrow \mathcal {K} '$ is a bounded intertwiner, $X U ^\omega = U ^{'\omega } X$ . If U is a Cuntz unitary, then also

$$ \begin{align*}X^* U ^{'\omega} = U ^\omega X^*,\end{align*} $$

so that $D := X^* X$ belongs to the commutant of the von Neumann algebra, $\mathrm {vN} (U)$ , generated by U, and $D' = X X ^*$ belongs to the commutant of $\mathrm {vN} ( U' )$ .

In particular, if U is a Cuntz row isometry, then the commutant of U, i.e., the set of all operators that commute with each $U_k$ , $1 \leq k \leq d$ , is a von Neumann algebra.

Proposition 5.13 Let $U, U'$ be Cuntz row isometries on $\mathcal {K} , \mathcal {K} '$ , and let $X : \mathcal {K} \rightarrow \mathcal {K} '$ be an intertwiner. Then $U' | _{P_{\mathrm {Ran} \, X}}$ and $U | _{P _{\mathrm {Ran} \, X^*}}$ are unitarily equivalent subrepresentations.

That is, two Cuntz row isometries are disjoint if and only if they are mutually singular. In the above statement, we are identifying any row isometry, U, with a $*$ -representation, $\pi _U$ of the Cuntz–Toeplitz $C^*$ -algebra, $\mathcal {E} _d := C^* \{ I , L_1 , \ldots , L_d \}$ . To say that $\pi _U$ and $\pi _{U'}$ have no unitarily equivalent subrepresentations is equivalent to the statement that $U, U'$ have no unitarily equivalent restrictions to reducing subspaces.

Proof By the previous lemma $XX^* \in \mathrm {vN} (U') '$ , the commutant of $\mathrm {vN} (U')$ , so that $P _X := P _{\overline {\mathrm {Ran} \, X}} \in \mathrm {vN} (U') '$ is $U'$ -reducing, and similarly $P_{X^*}$ is U-reducing. Hence, $U ' | _{\mathrm {Ran} \, P_X }$ and $U | _{\mathrm {Ran} \, P_{X^*}}$ are subrepresentations of the Cuntz algebra. Define $W : \mathrm {Ran} \, P_{X^*} \rightarrow \mathrm {Ran} \, P_{X}$ by the formula $W \sqrt {X^*X} h = Xh \in \mathrm {Ran} \, X \subseteq \mathcal {K} '$ . Then W is defined on a dense subset of $\mathrm {Ran} \, P_{X^*} = \overline {\mathrm {Ran} \, X^* } \subseteq \mathcal {K} $ , it has dense range in $\mathrm {Ran} \, P_X$ , and

$$ \begin{align*} \| W \sqrt{X^*X} h \| ^2 & = \langle {Xh} , {Xh} \rangle_{\mathcal{K} '} \nonumber \\ &= \langle {h} , {X^* X h} \rangle _{\mathcal{K} } = \| \sqrt{X^*X} h \| ^2. \nonumber \end{align*} $$

The linear map $W : \overline {\mathrm {Ran} \, X^* } \rightarrow \overline {\mathrm {Ran} \, X}$ extends by continuity to an onto isometry. Finally,

$$ \begin{align*} W U_k \sqrt{X^*X} h & = W \sqrt{X^* X} U_k h \nonumber \\ & = X U_k h = U_k ' Xh \nonumber \\ & = U_k ' W \sqrt{X^* X} h. \nonumber \end{align*} $$

This proves that $W U_k P_{X^*} = U_k' P_X W$ so that these Cuntz subrepresentations are unitarily equivalent.

5.4 Proof of the NC Aronszajn–Donoghue theorem

Recall that we are assuming that $\mathfrak {b} (0) =0$ so that $K_0 ^{\mathfrak {b}} =1$ .

Lemma 5.14 If $\mathfrak {b} (0) =0$ , then for any $\zeta \in \partial \mathbb {D}$ ,

$$ \begin{align*}X (\zeta ) _j 1 = \overline{\zeta} L_j ^* \mathfrak{b} ^{\mathrm{t}} \quad \quad \mbox{and} \quad \quad X(\zeta) = X + X(\zeta) 1 \langle {1} , {\cdot} \rangle_{\mathfrak{b}}.\end{align*} $$

Proof We performed this calculation for the case $\zeta =1$ in Section 4. Since we are assuming that $\mathfrak {b} (0) =0$ , for any $\zeta \in \partial \mathbb {D}$ ,

$$ \begin{align*}X(\zeta ) _j \underbrace{K_0 ^{\mathfrak{b}}}_{=1} = 0 + \overline{\zeta} L_j ^* \mathfrak{b} ^{\mathrm{t}}.\end{align*} $$

The formula for $X (\zeta )$ becomes

$$ \begin{align*} X(\zeta) & = X + \overline{\zeta} L^* \mathfrak{b} ^{\mathrm{t}} \langle {1} , {\cdot} \rangle_{\mathfrak{b}} \nonumber \\ & = X + X(\zeta) 1 \langle {1} , {\cdot} \rangle_{\mathfrak{b}}. \nonumber\\[-35pt] \end{align*} $$

Recall that $X(\zeta )_k = \mathscr {F} _{\zeta } \Pi (\zeta ) _{k} ^* \mathscr {F} _{\zeta } ^{-1}$ is the image of a component of the adjoint of the GNS row isometry $\Pi (\zeta ) = \Pi _{\mu _{\overline {\zeta } \cdot \mathfrak {b}}}$ under the unitary weighted free Cauchy transform, $\mathscr {F} _\zeta : \mathbb {H} ^2 _d ( \mu _\zeta ) \rightarrow \mathscr {H} ^{\mathrm {t}} (\mathfrak {b} )$ . Furthermore, recall that

$$ \begin{align*}T(\zeta) ^* := X(\zeta) | _{\mathscr{M} (\mathfrak{b} )}\end{align*} $$

is defined as the restriction of $X(\zeta )$ to the finite-dimensional space $\mathscr {M} (\mathfrak {b} ) \subseteq \mathscr {H} ^{\mathrm {t}} (\mathfrak {b} )$ , for any $\zeta \in \mathbb {C}$ . Each $T(\zeta ) ^*$ is a rank-one perturbation of $T(0) ^* = L^* | _{\mathscr {M} (\mathfrak {b} )}$ ,

$$ \begin{align*} T (\zeta) ^* & = T (0) ^* + \overline{\zeta} L^* \mathfrak{b} ^{\mathrm{t}} \langle {1} , {\cdot} \rangle_{\mathscr{H} ^{\mathrm{t}} (\mathfrak{b} )} | _{\mathscr{M} (\mathfrak{b} )} \nonumber \\ & = T (0) ^* + T (\zeta ) ^* 1 \langle {1} , {\cdot} \rangle. \nonumber \end{align*} $$

A finite FM realization of $\overline {\zeta } \cdot \mathfrak {b}$ , for any $\zeta \in \partial \mathbb {D}$ , is then given as the transfer function of the colligation,

(5.10)

Note that the minimal FM realization is obtained by compressing to $\mathscr {M} _0 (\mathfrak {b} ) := \bigvee _{\omega \neq \emptyset } L^{*\omega } \mathfrak {b} ^{\mathrm {t}} \subseteq \mathscr {M} (\mathfrak {b} )$ , so that the above realization is not necessarily minimal, although it is close to it in the sense that the size of this realization is at most one greater than that of the minimal realization. By construction, $X(\zeta )^* \simeq \Pi (\zeta )$ is the minimal row-isometric dilation of $T (\zeta )$ for every $\zeta \in \partial \mathbb {D}$ .

By Theorem C, for any $\zeta , \xi \in \partial \mathbb {D}$ , $\Pi (\zeta ) _{s}$ and $\Pi (\xi ) _{s}$ will have unitarily equivalent direct summands if and only if there are minimal $T(\zeta )$ and $T (\xi )$ co-invariant subspaces, $\mathcal {K} _\zeta $ and $\mathcal {K} _\xi $ of $\mathscr {M} (\mathfrak {b} )$ , so that

$$ \begin{align*}F_\zeta ^* := T (\zeta ) ^* | _{\mathcal{K} _\zeta} \quad \mbox{and} \quad F_\xi ^* := T (\xi ) ^* | _{\mathcal{K} _\xi}\end{align*} $$

are unitarily equivalent and irreducible row co-isometries. That is,

(5.11)

has some block upper triangular decomposition with respect to $K_\zeta $ and $K_\zeta ^\perp $ , $T (\xi ) ^*$ has a similar decomposition with respect to $K_\xi $ , and $F(\zeta )$ is unitarily equivalent to $F(\xi )$ . Without loss of generality, we will assume for the remainder of this section that $\xi =1$ and $\zeta \neq 1$ . Let $P, P _\zeta $ be the projections onto $\mathcal {K} = \mathcal {K} _1$ and $\mathcal {K} _\zeta $ .

Lemma 5.15 Assume that $\mathfrak {b} \in [\mathbb {H} ^\infty _d ] _1$ and that $\mathfrak {b} (0) =0$ . Then, for any $Z \in \overline {\mathbb {B} ^d _{\mathbb {N}}}$ , $I - Z \otimes T(0) ^*$ is invertible and

$$ \begin{align*}\mathrm{det} \left( I_n \otimes I - Z \otimes T (\zeta) ^* \right) = \mathrm{det} \left( I - Z \otimes T (0) ^* \right) \cdot \mathrm{det} \left( I_n - \overline{\zeta} \mathfrak{b} (Z) \right).\end{align*} $$

Proof This follows from Proposition 5.5, the formula

$$ \begin{align*}T(\zeta ) ^* = T(0) ^* + \overline{\zeta} T(1) ^* 1 \langle {1} , {\cdot} \rangle,\end{align*} $$

the fact that $(T(0) ^* , T(1) ^* 1 , 1 ^* , 0 )$ is a finite (but not necessarily minimal) FM realization of $\mathfrak {b}$ , and the fact that $T(0)$ is a pure and finite-dimensional row contraction so that $I - Z \otimes T(0) ^*$ is invertible for any row contraction, Z, by Lemma 2.1. Since $\mathfrak {b} \in [ \mathbb {H} ^\infty _d ] _1$ , the minimal de Branges–Rovnyak FM realization $(A,B,C,D)$ of $\mathfrak {b}$ is such that $A = T(0) ^* | _{\mathscr {M} _0 (\mathfrak {b} )}$ and it follows that A is pure and similar to a strict row contraction by Theorem A and [Reference Popescu58, Theorem 3.8] or [Reference Salomon, Shalit and Shamovich62, Proposition 2.3 and Remark 2.6]. It is not difficult to show that since $\mathrm {Ran} \, T(0) ^* \subseteq \mathscr {M} _0 (\mathfrak {b} )$ , that $T(0) ^*$ is then itself also pure, and hence similar to a strict row contraction. Lemma 2.1 then implies that $T(0) ^*$ is jointly similar to a strict column contraction so that $I - Z \otimes T(0) ^*$ is invertible for every $Z \in \overline {\mathbb {B} ^d _{\mathbb {N}}}$ .

Proof (of Theorem 5.11)

First, assume that $\mathfrak {b}$ is inner, that $\mathfrak {b}$ does not vanish identically on the first level of the row-ball, that $\Pi (1)$ is irreducible, and that $\Pi (1)$ is unitarily equivalent to $\Pi (\zeta )$ . By the previous lemma, we obtain that

$$ \begin{align*}\mathrm{det} (I - \mathfrak{b} (Z) ) = \mathrm{det} (I - \overline{\zeta} \mathfrak{b} (Z) ),\end{align*} $$

for all $Z \in \mathbb {B} ^d _{\mathbb {N}}$ . In particular, choosing $Z =z \in \mathbb {B} ^d _1$ gives

$$ \begin{align*}1 - \mathfrak{b} (z) = 1 - \overline{\zeta} \mathfrak{b} (z),\end{align*} $$

which implies that $\zeta =1$ , a contradiction.

To prove the second part of the theorem statement, assume that $\mathfrak {b} \in [ \mathbb {H} ^\infty _d ] _1$ is an arbitrary and contractive NC rational left multiplier of Fock space, and that the finitely correlated NC measure $\mu = \mu _{\mathfrak {b}}$ is such that $\mathrm {dim} \, \mathcal {H} _\mu = n$ . Assume that $\{ \zeta _1 , \ldots , \zeta _{n+1} \}$ are $n+1$ distinct points on the circle, and that there is no $1 \leq j \leq n+1$ so that $\Pi (\zeta _j ) \perp \Pi (\zeta _k )$ for all $k \neq j$ . Equivalently, given any fixed $1 \leq j \leq n+1$ and every $1 \leq k \leq n+1$ , $j \neq k$ , $\Pi (\zeta _j )$ and $\Pi (\zeta _k )$ have unitarily equivalent and singular Cuntz direct summands. Hence, for every $1 \leq k \leq n+1$ , as described above,

where each $F(\zeta _k)$ is an irreducible row co-isometry, and the $F(\zeta _k)$ are jointly unitarily equivalent for each $1 \leq k \leq n+1$ . Since $\mathfrak {b}$ is an NC function, it follows that the matrices $\mathfrak {b} \left ( F(\zeta _k ) ^{\mathrm {t}} \right ) \in \mathbb {C} ^{n\times n}$ are unitarily equivalent for $1\leq k \leq n+1$ , so that each $\zeta _k$ is an eigenvalue of $\mathfrak {b} \left ( F(\zeta _k ) ^{\mathrm {t}} \right )$ , and hence also of

by Proposition 5.6. This is impossible as $\mathfrak {b} \left ( T(\zeta _k ) ^{\mathrm {t}} \right )$ is isomorphic to an $n\times n$ matrix and has at most n distinct eigenvalues.

Remark 5.16 Our NC Aronszajn–Donoghue theorem (Theorem 5.11) shows that “most of” the singular parts of the GNS row isometries, $\Pi (\zeta )$ , associated with a contractive NC rational $\mathfrak {b} \in [\mathbb {H} ^\infty _d ] _1$ , are mutually singular or disjoint. Although we suspect that it may generally be that $\Pi (\zeta ) _s \perp \Pi ( \xi ) _s$ for any $\zeta \neq \xi $ , there are several obstacles to extending our argument above. First, if $\mathfrak {b}$ is inner, vanishes identically on $\mathbb {B} ^d _1$ , and $\Pi (\zeta ) = \Pi (\zeta ) _s$ is irreducible, then if $\Pi (\zeta )$ and $\Pi (\xi )$ are not disjoint, then $\Pi (\zeta )$ is unitarily equivalent to the restriction of $\Pi (\xi )$ to a reducing subspace. By Theorem C, this happens if and only if $T (\zeta )$ and $T(\xi )$ are unitarily equivalent, or equivalently if and only if $\Pi (\zeta )$ and $\Pi (\xi )$ are unitarily equivalent. In this case, we obtain, as in the above proof, that

$$ \begin{align*}\mathrm{det} (I - \mathfrak{b} (Z) ) = \mathrm{det} (I - \overline{\zeta} \mathfrak{b} (Z) ),\end{align*} $$

for all $Z \in \mathbb {B} ^d _{\mathbb {N}}$ . Hence, if

$$ \begin{align*}\mathfrak{f} _\zeta (Z) := (I - \overline{\zeta} \mathfrak{b} (Z) ) (I - \mathfrak{b} (Z) ) ^{-1},\end{align*} $$

then $\mathfrak {f} _\zeta \in \mathscr {O} (\mathbb {B} ^d _{\mathbb {N}} )$ is NC rational and $\mathrm {det} \, \mathfrak {f} _\zeta (Z) \equiv 1$ . However, such NC rational functions exist, and one example is

$$ \begin{align*}\mathfrak{f} (x,y) = (1 -xy) (1-yx) ^{-1}\end{align*} $$

[Reference Volčič70]. If we set $\zeta = -1$ , $\mathfrak {f} := \mathfrak {f} _{-1}$ ,

$$ \begin{align*}\mathfrak{f} =: (1 - \mathfrak{r} ) ( 1 + \mathfrak{r} ) ^{-1}\end{align*} $$

and solve for $\mathfrak {r}$ , we obtain that

$$ \begin{align*}\mathfrak{r} (x,y) = (xy -yx) ( 2 -xy -yx ) ^{-1}.\end{align*} $$

By rescaling the variables, $x \mapsto r \cdot x$ , $y \mapsto r \cdot y$ , for some sufficiently small $0<r<1$ , we then obtain a contractive NC rational function $\mathfrak {b} \in [\mathbb {H} ^\infty _d ] _1$ , $\mathfrak {b} (Z) := \mathfrak {r} (r Z)$ , so that

$$ \begin{align*}\widetilde{\mathfrak{f}} (Z) = (I + \mathfrak{b} (Z) ) (I - \mathfrak{b} (Z) ) ^{-1}\end{align*} $$

is an NC rational Herglotz function with constant determinant $1$ on its domain. Hence, to prove the NC rational Aronszajn–Donoghue theorem in the case where $\mathfrak {b}$ is inner and $\Pi (\zeta )$ is an irreducible Cuntz row isometry, one would need to argue that these assumptions on $\mathfrak {b}$ imply that the function $\mathfrak {f} _\zeta (Z)$ cannot have constant determinant. The reducible case seems even more difficult: If $\Pi (\zeta ) _s$ and $\Pi (\xi ) _s$ are reducible and not mutually singular, then we obtain that

$$ \begin{align*}\mathrm{det} \, L_{G (\zeta ) ^*} (Z) \cdot \mathrm{det} \left( I - \overline{\xi} \mathfrak{b} (Z) \right) = \mathrm{det} \, L_{G(\xi ) ^*} (Z) \cdot \mathrm{det} \left( I - \overline{\zeta} \mathfrak{b} (Z) \right).\end{align*} $$

Appendix A provides a characterization of NC functions with constant determinant.

Another class of examples of NC functions with constant determinant can be constructed as follows: If $f, g \in \mathbb {H} ^\infty _d$ are any two outer or singular inner left multipliers of Fock space, then $f,g$ are pointwise invertible in the NC unit row-ball, $\mathbb {B} ^d _{\mathbb {N}}$ [Reference Jury, Martin and Shamovich43], and $h := f g f^{-1} g^{-1} \in \mathscr {O} (\mathbb {B} ^d _{\mathbb {N}} )$ will have constant determinant equal to $1$ .

The following two examples illustrate phenomena in the behavior of the components of $T (\zeta ) ^*$ as a function of $\zeta $ .

Example 5.17 In this example, each $T(\zeta )$ is a row co-isometry and $T (1) ^*$ is reducible; however, for $\zeta \neq 1$ , the $T (\zeta ) ^*$ are all irreducible. All of the $T (\zeta ) ^*$ are pairwise nonsimilar. Set

$$\begin{align*}T (1) ^*_{1} = \begin{pmatrix} 1 & 0 \\ 0 & 0 \end{pmatrix}, \quad T (1) ^*_{2} = \begin{pmatrix} 0 & 0 \\ 0 & 1 \end{pmatrix}. \end{align*}$$

It is immediate to check that $x = \frac {1}{\sqrt {2}} \left ( \begin {smallmatrix} 1 \\ 1 \end {smallmatrix} \right ) $ is a cyclic vector for $T^* (1)$ . Hence,

$$\begin{align*}T (\zeta ) ^* _{1} = T (1) ^*_{1} (1 - (\zeta - 1)xx^*) = \begin{pmatrix} \frac{\zeta + 1}{2} & \frac{\zeta - 1}{2} \\ 0 & 0 \end{pmatrix}, \quad \quad T (\zeta ) ^*_{2} = \begin{pmatrix} 0 & 0 \\ \frac{\zeta - 1}{2} & \frac{\zeta+1}{2} \end{pmatrix}. \end{align*}$$

It is well known that a pair of $2\times 2$ matrices is reducible if and only if the determinant of their commutator is $0$ . Therefore, we compute

$$\begin{align*}\det [T (\zeta ) ^*_{1}, T (\zeta ) ^*_{2}] = \frac{1}{16} \det \begin{pmatrix} (\zeta - 1)^2 & \zeta^2 - 1 \\ 1 - \zeta^2 & - (\zeta - 1)^2 \end{pmatrix} = \frac{1}{4} \zeta (\zeta - 1)^2. \end{align*}$$

In particular, this polynomial does not vanish for any $\zeta \neq 1$ on the unit circle. Thus, for every $1 \neq \zeta \in \partial \mathbb {D}$ , the point $T(\zeta ) ^*$ is irreducible. Moreover, since $\mathrm {tr} \, T(\zeta ) ^*_{1} = \frac {\zeta + 1}{2}$ , we conclude that these matrices are pairwise nonsimilar. By [Reference Davidson, Kribs and Shpigel20, Theorem 6.8], since $X (\zeta ) ^* \simeq \Pi (\zeta )$ is the minimal row isometric dilation of $T (\zeta )$ , where $\Pi (\zeta )$ is the GNS row isometry of $\mu _{\overline {\zeta } \mathfrak {b} }$ , each $\Pi (\zeta )$ is a Cuntz row isometry of dilation type, $\Pi (\zeta )$ is irreducible for $\zeta \neq 1$ , $\Pi (1 )$ is reducible, and $\Pi (\zeta ) \, \perp \, \Pi (\xi )$ are mutually singular Cuntz row isometries.

Recall that the reducible tuples of matrices form an algebraic subvariety of $\mathbb {C} _n^d$ . Let $p_1, \ldots , p_k$ be the polynomials in the co-ordinates of $\mathbb {C} _n^d$ that cut out the subvariety of reducible matrices. The map $\zeta \mapsto T (\zeta ) ^*$ is affine in $\zeta $ ; hence, we obtain a family of polynomials in $\zeta $ : $q_1(\zeta ) = p_1(T (\zeta ) ^* ),\ldots , q_k(\zeta ) = p_k(T (\zeta ) ^*)$ . Since the points where $T (\zeta ) ^*$ is reducible are precisely the common zeroes of $q_1,\ldots ,q_k$ , there are either at most finitely many of them, or $q_1 = \cdots = q_k = 0$ . The following example shows that the second case can occur.

Example 5.18 The matrices considered in this example are $4 \times 4$ . We will denote by $e_1,e_2,e_3,e_4$ the standard basis for $\mathbb {C}^4$ . Consider the row co-isometry

$$\begin{align*}T (1) ^*_{1} = \begin{pmatrix} 0 & 0 & 0 & 0 \\ 1 & 0 & 0 & 0 \\ 0 & 0 & 0 & 0 \\ 0 & 0 & 1 & 0 \end{pmatrix} \quad \mbox{and} \quad T(1) ^*_{2} = \begin{pmatrix} 0 & 0 & 0 & 0 \\ 0 & 1 & 0 & 0 \\ 0 & 0 & 0 & 1 \\ 0 & 0 & 0 & 0 \end{pmatrix}. \end{align*}$$

We take $x = \frac {1}{2} (e_1 + e_2+e_3 +e_4)$ . It is straightforward to check that x is cyclic for both $T(1) ^*$ and $T (1 )$ . For example, $T (1) _{1} x = e_1 + e_3$ , $T (1) _{2} x = e_2 + e_4$ , $T (1) _{2} T (1) _{1} x = e_4$ , $T (1) _{2}^2 x = e_2$ , and $T (1) _{1} T (1) _{2} T (1) _{1} x = e_3$ . Now, we set $\omega = \frac {\zeta - 1}{4}$ and calculate

$$\begin{align*}T(\zeta ) ^*_{1} = \begin{pmatrix} 0 & 0 & 0 & 0 \\ \omega + 1 & \omega & \omega & \omega \\ 0 & 0 & 0 & 0 \\ \omega & \omega & \omega + 1 & \omega \end{pmatrix} \quad \mbox{and} \quad T (\zeta ) ^*_{2} = \begin{pmatrix} 0 & 0 & 0 & 0 \\ \omega & \omega + 1 & \omega & \omega \\ \omega & \omega & \omega & \omega + 1 \\ 0 & 0 & 0 & 0 \end{pmatrix}. \end{align*}$$

Note that the subspace V spanned by $\{e_2,e_3,e_4\}$ is always $T (\zeta ) ^*$ -invariant. However, it is easy to see that there are two minimal $T(1)^*$ -invariant subspaces, the one spanned by $e_2$ and the one spanned by $\{e_3,e_4\}$ . Let $C^*_{\zeta } = T(\zeta ) ^*|_V$ . Since $C^*_{\zeta }$ is $3\times 3$ , if it is reducible, then $\det [C^*_{\zeta ;1}, C^*_{\zeta ;2}] = 0$ , since this pair will have either an invariant or a coinvariant one-dimensional subspace. However,

$$\begin{align*}\det[C^*_{\zeta;1}, C^*_{\zeta;2}] = -2 \omega^2( 2 \omega + 1 ). \end{align*}$$

Hence, $C^*_{\zeta }$ is reducible if and only if $\zeta = 1$ or $\zeta = -1$ . We understand the former case. In the latter case, there is a minimal $C^*_{-1}$ (and $T^*_{-1}$ ) invariant subspace spanned by $e_2 + e_4$ . This vector is $T (-1)$ -cyclic, and thus by [Reference Davidson, Kribs and Shpigel20, Corollary 5.5], we have that this minimal subspace is unique. Note that $\mathrm {tr} \, T(\zeta ) ^*_{1} = 2 \omega $ and thus these pairs are pairwise nonsimilar. Moreover, the Cuntz isometries $X(\zeta )$ are irreducible for all $\zeta \in \partial \mathbb {D} \setminus \{ 1 \}$ . However, the free semigroup algebra of $X(-1)^*$ is different from those of the $X(\zeta ) ^*$ for $\zeta \neq \pm 1$ by [Reference Davidson, Kribs and Shpigel20, Theorem 5.15].

5.5 Additional NC rational Aronszajn–Donoghue results

Proposition 5.19 Suppose that $T(\zeta )$ is an irreducible row co-isometry. If there is a $Z \in \mathbb {C} ^d _{\mathbb {N}}$ so that $Z \otimes T(\zeta ) ^*$ is not singular, then $\Pi (\zeta ) _s \perp \Pi (\xi ) _s$ for any $\zeta \neq \xi $ , $\zeta , \xi \in \partial \mathbb {D}$ .

Proof This follows easily from the fact that

$$ \begin{align*}T (\zeta ) ^* = T (\xi ) ^* V_{\zeta, \xi}, \quad \mbox{where} \quad V_{\zeta ,\xi} = I - \xi \cdot \overline{\zeta} \, 1 \langle {1} , {\cdot} \rangle.\end{align*} $$

The matrix $V_{\zeta , \xi }$ is unitary with determinant $\mathrm {det} \, V_{\zeta ,\xi } = \xi \cdot \overline {\zeta } \neq 1$ . Assuming that $T(\zeta ), T(\xi )$ are unitarily equivalent gives the contradiction

$$ \begin{align*} \mathrm{det} \, Z \otimes T (\xi ) ^* & = \mathrm{det} \, Z\otimes T(\zeta ) ^* \nonumber \\ & = \mathrm{det} \, Z \otimes T(\xi ) ^* \cdot \mathrm{det} \, I \otimes V_{\zeta, \xi } \nonumber \\ & = \xi \overline\zeta \cdot \mathrm{det} \, Z \otimes T(\xi ) ^*. \nonumber\\[-35pt] \end{align*} $$

Example 5.20 There are irreducible column isometries/row co-isometries that violate the condition of the preceding proposition. For example, denote by $E_{ij} \in \mathbb {C} ^{3\times 3}$ the matrix units. Then the tuple $T^* = (E_{12}, \frac {1}{\sqrt {2}} E_{21}, E_{13}, \frac {1}{\sqrt {2}} E_{31})$ is an irreducible column isometry, such that for every Z, $Z \otimes T^*$ is singular. However, this tuple does not contradict the general NC Aronszajn–Donoghue conjecture that $T (\xi ) ^*$ and $T(\zeta ) ^*$ have no unitarily equivalent restrictions to invariant subspaces for $\xi \neq \zeta $ , $\xi , \zeta \in \partial \mathbb {D}$ .

Let $A = (A_1,\ldots ,A_d) \in \mathbb {C} ^d _n$ be an irreducible tuple. Let $x \in \mathbb {C}^n$ and consider the functions $A_j (z) \colon \mathbb {C} \to \mathbb {C} ^{n\times n}$ given by $A_j (z) = A_j(I + z \, x x^*)$ so that $A = A(0)$ and set $A(z) = \left ( A_1 (z),\ldots , A_d (z) \right )$ . Let

$$\begin{align*}S_A = \left\{ z \in \mathbb{C} \setminus \{0\} \big| \ A(z) \text{ is similar to } A\right\}. \end{align*}$$

Lemma 5.21 Let $\omega $ be a word in $\{1,\ldots ,d\}$ with $|\omega | = m$ . Let $p_\omega (z) = \frac {1}{z}\left ( \mathrm {tr} \, A(z)^\omega - \mathrm {tr} \, A^\omega \right )$ . If $S_A \neq \emptyset $ , then $\deg p_\omega \leq \lfloor \frac {m}{2} \rfloor - 1$ .

Proof Let $z_0 \in S_A$ . Since $A(z_0)$ is similar to A, we have that $\mathrm {tr} \, A_j(z_0) = \mathrm {tr} \, A_j$ . However, $\mathrm {tr} \, A_j(z_0) = \mathrm {tr} \, A_j + z_0 \langle A_j x, x\rangle $ . Hence, for all $j=1,\ldots ,d$ , $\langle A_j x, x \rangle = 0$ . Now, consider

$$\begin{align*}\mathrm{tr} \, A(z)^\omega = \mathrm{tr} \, (A_{\omega_1} + z A_{\omega_1} x x^*)\cdots (A_{\omega_m} + z A_{\omega_m} x x^*). \end{align*}$$

For $\ell \geq \lfloor \frac {m}{2} \rfloor + 1$ , we note that the coefficient of $z^{\ell }$ will be a sum of traces of products of matrices. Each product will contain a pair of adjacent elements of the form $A_{\omega _j} x x^* A_{\omega _{j+1}} x x^* $ , where if $j+1> m$ , then we reduce it modulo m. Hence, this product is going to be $0$ . Therefore, all of the coefficients of $\mathrm {tr} \, A(z)^\omega $ of $z^{\ell }$ for $\ell \geq \lfloor \frac {m}{2} \rfloor + 1$ are $0$ . The claim follows from the definition of $p_\omega $ .

Corollary 5.22 In the setting of the previous lemma, if $|S_A| \geq n^2/2$ , then $A(z)$ is similar to $A(0) = A$ for all $z \in \mathbb {C}$ .

Proof Since A is irreducible, the similarity orbit of A is closed [Reference Artin5]. Moreover, the ring of similarity invariant functions on $\mathbb {C} ^d _n$ is generated by traces of monomials [Reference Procesi59]. Hence, $A(z)$ is similar to $A = A(0)$ if and only if for all words $\omega $ , $\mathrm {tr} \, A(z)^\omega = \mathrm {tr} \, A^\omega $ . By a result of Razmislov [Reference Razmyslov61], taking words with $|\omega | \leq n^2$ is enough to generate the algebra of invariants. Since $S_A$ is contained in the zeroes of $p_\omega $ for all $\omega $ and $|S_A| \geq \deg p_\omega $ for all $|\omega | \leq n^2$ , we obtain that they are identically $0$ . Therefore, all traces are identically $0$ , and we have that $A(z)$ are all similar to A.

Remark 5.23 Kuzmin (see [Reference Drensky and Formanek25] and the references therein) has provided a lower bound of $\frac {n(n+1)}{2}$ on the length of words needed to generate the invariant algebra. He has conjectured that the lower bound is always sufficient. Dubnov and Lee have verified the conjecture for $n \leq 4$ .

Corollary 5.24 In the setting of Lemma 5.21, if $n = 2$ and $S_A \neq \emptyset $ , then $f(z)$ is similar to A for all $z \in \mathbb {C}$ .

Proof By a result of Dubnov [Reference Drensky and Formanek25], we need traces of words of length at most $3$ to generate the algebra of invariant functions. For all words of length at most $3$ , $\deg p_\omega \leq 0$ . However, $p_\omega $ all vanish on $S_A$ , and thus these polynomials are identically $0$ .

Setting $A(z) _j := T(\overline {z} ) ^* _j$ , where $T(z) ^*$ is the finite-dimensional Clark perturbation defined in equation (5.6), corresponding to an NC rational inner, $\mathfrak {b}$ , Corollaries 5.22 and 5.24 yield additional Aronszajn–Donoghue-type results.

Corollary 5.25 Suppose that $\mathrm {dim} \, \mathscr {M} (\mathfrak {b} ) =n$ so that $\mathrm {row} \, T(\overline {z} ) ^* \simeq A(z) \in \mathbb {C} ^d _n$ , where the $T(\overline {z} )$ are the finite-dimensional Clark perturbations corresponding to an NC rational inner. Then there are at most $n^2 /2 -1$ points $\zeta _k \in \partial \mathbb {D}$ so that the row co-isometric $T(\zeta _k )$ are mutually and jointly similar. If $n=2$ , then $T(\zeta )$ cannot be jointly similar to $T (\xi )$ for any $\zeta \neq \xi $ , $\zeta , \xi \in \partial \mathbb {D}$ .

Proof If either of these statements holds, Corollary 5.22 or Corollary 5.24 implies that every $T(z) ^*$ is jointly similar, for every $z \in \mathbb {C}$ . In particular, $T(\zeta ) ^*$ is similar to $T(0) ^*$ for every $\zeta \in \partial \mathbb {D}$ . This is impossible as $T(0)$ is a pure row d-tuple and each $T(\zeta )$ is a row co-isometry for $\zeta \in \partial \mathbb {D}$ (since we assume that they are the Clark perturbations corresponding to an NC rational inner). Hence, either $|S_A | < n^2 /2$ , or, if $n=2$ , then $S_A = \emptyset $ .

A $SL(\mathbb {N} )$ -valued NC functions

Suppose that f is a free NC function so that $\mathrm {det} \, f(Z)$ is constant on its domain $\mathrm {Dom} \, f \subseteq \mathbb {C} ^d _{\mathbb {N}}$ . By taking direct sums, it follows that if f is not identically zero, then $\mathrm {det} \, f(Z) \equiv 1$ .

Theorem A.1 Let f be a free NC function with uniformly open and connected domain $\mathrm {Dom} \, f \subseteq \mathbb {C} ^d _{\mathbb {N}}$ . Furthermore, assume that $0 \in \mathrm {Dom} \, f$ and that $f^{-1} (Z)$ is defined in a uniformly open neighborhood of $0 \in \mathbb {B} ^d _1$ . If

$$ \begin{align*}f(Z) = \sum _{j=0} ^\infty f_j (Z) \quad \mbox{and} \quad f(Z) ^{-1} = \sum _{k=0} g_k (Z)\end{align*} $$

are the Taylor–Taylor series expansions of $f, f^{-1}$ at $0 \in \mathbb {B} ^d _1$ so that $f_j, g_j \in \mathbb {C} \{ \mathbb {\mathfrak {z}} \} $ are homogeneous free polynomials of degree j, then $\mathrm {det} \, f(Z) \equiv 1$ on $\mathrm {Dom} \, f$ if and only if

$$ \begin{align*}0 = \sum _{\substack{j+k = \ell \\ j \in \mathbb{N}, \ k \in \mathbb{N} \cup \{ 0 \}}} j \, \mathrm{tr} \, f_j (Z) g_k (Z),\end{align*} $$

for every $\ell \in \mathbb {N}$ .

Proof Choose $r>0$ so that $r \overline {\mathbb {B} ^d _{\mathbb {N}} } \subseteq \mathrm {Dom} \, f \bigcap \mathrm {Dom} \, f^{-1}$ . Fix $Z \in r \overline {\mathbb {B} ^d _{\mathbb {N}} }$ and define an analytic function on $\overline {\mathbb {D}}$ by

$$ \begin{align*}h(\lambda ) := \mathrm{det} \, f (\lambda Z ) =1.\end{align*} $$

Taking the derivative and applying Jacobi’s formula yields

$$ \begin{align*} 0 & = h' (\lambda ) = \underbrace{\mathrm{det} \, f(\lambda (Z))}_{\equiv 1} \cdot \mathrm{tr} \, \partial _Z f (\lambda Z) f(\lambda Z) ^{-1} \nonumber \\ & = \sum _{j=1, \ k=0} ^\infty \lambda ^{j+k -1} \, j \, \mathrm{tr} \, f_j (Z) g_k (Z) \nonumber \\ & = \sum _{\ell =1} ^\infty \lambda ^{\ell-1} \sum _{\substack{j+k = \ell \\ j \in \mathbb{N}, \ k \in \mathbb{N} \cup \{ 0 \} }} j \mathrm{tr} \, f_j (Z) g_k (Z). \nonumber \end{align*} $$

Multiplying both sides of this expression by $\overline {\lambda } ^n$ and integrating with respect to normalized Lebesgue measure over the complex unit circle yields

$$ \begin{align*} 0 & = \sum _\ell \int _{\partial \mathbb{D}} e^{i (\ell -n -1) \theta } d\theta \sum _{\substack{j+k = \ell \\ j \in \mathbb{N}, \ k \in \mathbb{N} \cup \{ 0 \} }} j \mathrm{tr} \, f_j (Z) g_k (Z) \nonumber \\ & = \sum _{\substack{j+k = n +1 \\ j \in \mathbb{N}, \ k \in \mathbb{N} \cup \{ 0 \} }} j \mathrm{tr} \, f_j (Z) g_k (Z), \nonumber \end{align*} $$

for any $n \in \mathbb {N} \cup \{ 0 \}$ .

Conversely, if the above condition holds, then it follows that for any fixed $Z \in r \overline {\mathbb {B} ^d _n}$ , the function $h(\lambda ) := \mathrm {det} \, f (\lambda Z)$ has vanishing derivative. Hence, $h(\lambda )$ is constant so that $h(\lambda ) =1$ since f is NC. In particular,

$$ \begin{align*}1 = h(1) = \mathrm{det} \, f(Z) = h(0) = \mathrm{det} f(0),\end{align*} $$

and this holds for every $Z \in r\mathbb {B} ^d _{\mathbb {N}}$ , and hence for every $Z \in \mathrm {Dom} \, f$ since $\mathrm {Dom} \, f$ is connected.

Footnotes

The first author was supported by NSF grant DMS-1900364. The second author was supported by NSERC grant 2020-05683.

References

Aleksandrov, A. B., Multiplicity of boundary values of inner functions. Izv. Akad. Nauk Arm. SSR 22(1987), 490503 (in Russian).Google Scholar
Aleksandrov, A. B., On the existence of nontangential boundary values of pseudocontinuable functions. Zapiski Nauchnykh Seminarov POMI 222(1995), 517 (in Russian).Google Scholar
Amitsur, S. A., Rational identities and applications to algebra and geometry. J. Algebra 3(1966), 304359.CrossRefGoogle Scholar
Aronszajn, N., On a problem of Weyl in the theory of singular Sturm–Liouville equations. Amer. J. Math. 79(1957), 597610.CrossRefGoogle Scholar
Artin, M., On Azumaya algebras and finite dimensional representations of rings. J. Algebra 11(1969), 532563.CrossRefGoogle Scholar
Ball, J. A., Bolotnikov, V., and Fang, Q., Schur-class multipliers on the Fock space: de Branges–Rovnyak reproducing kernel spaces and transfer-function realizations. In: Operator theory, structured matrices, and dilations: Tiberiu Constantinescu memorial volume, Theta Series in Advanced Mathematics, 7, Theta, Bucharest, 2007, pp. 101130.Google Scholar
Ball, J. A., Groenewald, G., and Malakorn, T., Structured noncommutative multidimensional linear systems. SIAM J. Control Optim. 44(2005), 14741528.CrossRefGoogle Scholar
Ball, J. A., Marx, G., and Vinnikov, V., Noncommutative reproducing kernel Hilbert spaces. J. Funct. Anal. 271(2016), 18441920.CrossRefGoogle Scholar
Ball, J. A. and ter Horst, S., Robust control, multidimensional systems and multivariable Nevanlinna–Pick interpolation. In: Topics in operator theory, Birkhäuser, Basel, 2010, pp. 1388.CrossRefGoogle Scholar
Berstel, J. and Reutenauer, C., Noncommutative rational series with applications, Encyclopedia of Mathematics and Its Applications, 137, Cambridge University Press, Cambridge, 2011.Google Scholar
Bratteli, O. and Jorgensen, P. E. T., Endomorphisms of  $\mathbf{\mathcal{B}}\left(\mathbf{\mathcal{H}}\right)$ , II. Finitely correlated states on  ${O}_n$ . J. Funct. Anal. 145(1997), 323373.CrossRefGoogle Scholar
Carathéodory, C., Über die winkelderivierten von beschränkten analytischen funktionen, Sitzungsber. d. Preuß. Akad. d. Wiss., Phys. Math. Klasse, 1929, 3952.Google Scholar
Choi, M.-D., Completely positive linear maps on complex matrices. Linear Algebra Appl. 10(1975), 285290.CrossRefGoogle Scholar
Cohn, P. M., Skew fields. Theory of general division rings, Encyclopedia of Mathematics and Its Applications, 57, Cambridge University Press, Cambridge, 1995.Google Scholar
Clark, D. N., One dimensional perturbations of restricted shifts. J. Anal. Math. 25(1972), 169191.CrossRefGoogle Scholar
Crofoot, R. B., Multipliers between invariant subspaces of the backward shift. Pacific J. Math. 166(1994), 225246.CrossRefGoogle Scholar
Cuntz, J., Simple C*-algebras generated by isometries. Comm. Math. Phys. 57(1977), 173185.CrossRefGoogle Scholar
Davidson, K. R., C*-algebras by example, Fields Institute Monographs, 6, American Mathematical Society, Providence, RI, 1996.CrossRefGoogle Scholar
Davidson, K. R., Free semigroup algebras: a survey. In: Systems, approximation, singular integral operators, and related topics, Operator Theory: Advances Applications, Birkhäuser, Basel, 2001, pp. 209240.CrossRefGoogle Scholar
Davidson, K. R., Kribs, D. W., and Shpigel, M. E., Isometric dilations of non-commuting finite rank n-tuples. Canad. J. Math. 53(2001), 506545.CrossRefGoogle Scholar
Davidson, K. R., Li, J., and Pitts, D. R., Absolutely continuous representations and a Kaplansky density theorem for free semigroup algebras. J. Funct. Anal. 224(2005), 160191.CrossRefGoogle Scholar
Davidson, K. R. and Pitts, D. R., The algebraic structure of non-commutative analytic Toeplitz algebras. Math. Ann. 311(1998), 275303.CrossRefGoogle Scholar
Davidson, K. R. and Pitts, D. R., Invariant subspaces and hyper-reflexivity for free semigroup algebras. Proc. Lond. Math. Soc. 78(1999), 401430.CrossRefGoogle Scholar
Donoghue, W. F. Jr., On the perturbation of spectra. Comm. Pure Appl. Math. 18(1965), 559579.CrossRefGoogle Scholar
Drensky, V. and Formanek, E., Polynomial identity rings, Advanced Courses in Mathematics—CRM Barcelona, Birkhäuser, Basel, 2004.CrossRefGoogle Scholar
Dutkay, D. E., Haussermann, J., and Jorgensen, P. E. T., Atomic representations of Cuntz algebras. J. Math. Anal. Appl. 421(2015), 215243.CrossRefGoogle Scholar
Fatou, P., Séries trigonométriques et séries de Taylor. Acta Math. 37(1906), 335400.CrossRefGoogle Scholar
Halmos, P. R. and Brown, A., Algebraic properties of Toeplitz operators. J. Reine Angew. Math. 213(1963), 89102.Google Scholar
Helton, J. W., Klep, I., McCullough, S. A., and Schweighofer, M., Dilations, linear matrix inequalities, the matrix cube problem and beta distributions. Mem. Amer. Math. Soc. 257(2019), no. 1232, vi+106.Google Scholar
Helton, J. W., Klep, I., and Volčič, J., Geometry of free loci and factorization of noncommutative polynomials. Adv. Math. 331(2018), 589626.CrossRefGoogle Scholar
Helton, J. W., Mai, T., and Speicher, R., Applications of realizations (a.k.a. linearizations) to free probability. J. Funct. Anal. 274(2018), 179.CrossRefGoogle Scholar
Helton, J. W. and McCullough, S. A., Every convex free basic semi-algebraic set has an LMI representation. Ann. of Math. 176(2012), 9791013.CrossRefGoogle Scholar
Helton, J. W. and McCullough, S. A., Free convex sets defined by rational expressions have LMI representations. J. Convex Anal. 21(2014), 425448.Google Scholar
Helton, J. W., McCullough, S. A., and Vinnikov, V., Noncommutative convexity arises from linear matrix inequalities. J. Funct. Anal. 240(2006), 105191.CrossRefGoogle Scholar
Herglotz, G., Uber potenzreihen mit positivem, reelen teil im einheitskreis. Ber. Verhandl. Sachs Akad. Wiss. Leipzig, Math.-Phys. Kl. 63(1911), 501511.Google Scholar
Hoffman, K., Banach spaces of analytic functions, Prentice-Hall, Englewood Cliffs, N.J., 1962.Google Scholar
Horn, R. A. and Johnson, C. R., Topics in matrix analysis, Cambridge University Press, Cambridge, 1991.CrossRefGoogle Scholar
Jury, M. T. and Martin, R. T. W., Non-commutative Clark measures for the free and abelian Toeplitz algebras. J. Math. Anal. Appl. 456(2017), 10621100.CrossRefGoogle Scholar
Jury, M. T. and Martin, R. T. W., Column-extreme multipliers of the free hardy space. J. Lond. Math. Soc. 101(2020), 457489.CrossRefGoogle Scholar
Jury, M. T. and Martin, R. T. W., Fatou’s theorem for non-commutative measures. Adv. Math. 400(2022), 108293.CrossRefGoogle Scholar
Jury, M. T. and Martin, R. T. W., Lebesgue decomposition of non-commutative measures. Int. Math. Res. Not. IMRN 2022(2022), 29683030.CrossRefGoogle Scholar
Jury, M. T. and Martin, R. T. W., Sub-Hardy Hilbert spaces in the non-commutative unit row–ball. Preprint, 2022. arXiv:2204.05016Google Scholar
Jury, M. T., Martin, R. T. W., and Shamovich, E., Blaschke-singular-outer factorization of free non-commutative functions. Adv. Math. 384(2021), 107720.CrossRefGoogle Scholar
Jury, M. T., Martin, R. T. W., and Shamovich, E., Non-commutative rational functions in the full Fock space. Trans. Amer. Math. Soc. 374(2021), 67276749.CrossRefGoogle Scholar
Jury, M. T., Martin, R. T. W., and Timko, E., An F. & M. Riesz theorem for non-commutative measures. Preprint, 2022. arXiv:2201.07393 CrossRefGoogle Scholar
Kaliuzhnyi-Verbovetskyi, D. S. and Vinnikov, V., Singularities of rational functions and minimal factorizations: the noncommutative and the commutative setting. Linear Algebra Appl. 430(2009), 869889.CrossRefGoogle Scholar
Kaliuzhnyi-Verbovetskyi, D. S. and Vinnikov, V., Noncommutative rational functions, their difference-differential calculus and realizations. Multidimens. Syst. Signal Process. 23(2012), 4977.CrossRefGoogle Scholar
Kaliuzhnyi-Verbovetskyi, D. S. and Vinnikov, V., Foundations of free noncommutative function theory, Mathematical Surveys and Monographs, 199, American Mathematical Society, Providence, RI, 2014.CrossRefGoogle Scholar
Kennedy, M., Wandering vectors and the reflexivity of free semigroup algebras. J. Reine Angew. Math. 2011(2011), 4753.CrossRefGoogle Scholar
Kennedy, M., The structure of an isometric tuple. Proc. Lond. Math. Soc. 106(2013), 11571177.CrossRefGoogle Scholar
Martin, R. T. W. and Ramanantoanina, A., A Gleason solution model for row contractions. Oper. Theory Adv. Appl. 272(2019), 249306.Google Scholar
Nevanlinna, R., Über beschränkte analytische funktionen. Ann. Acad. Sci. Fenn. Ser. A 32(1929).Google Scholar
Nikolskii, N. K., Treatise on the shift operator: spectral function theory, Springer, Berlin, 2012.Google Scholar
Oliveira, M. C. D., Helton, J. W., McCullough, S. A., and Putinar, M., Engineering systems and free semi-algebraic geometry. In: Emerging applications of algebraic geometry, Springer, New York, 2009.Google Scholar
Popescu, G., Isometric dilations for infinite sequences of noncommuting operators. Trans. Amer. Math. Soc. 316(1989), 523536.CrossRefGoogle Scholar
Popescu, G., Non-commutative disc algebras and their representations. Proc. Amer. Math. Soc. 124(1996), 21372148.CrossRefGoogle Scholar
Popescu, G., Entropy and multivariable interpolation, Mem. Amer. Math. Soc. 184(2006), vi+83.CrossRefGoogle Scholar
Popescu, G., Similarity problems in noncommutative polydomains. J. Funct. Anal. 267(2014), 44464498.CrossRefGoogle Scholar
Procesi, C., The invariant theory of n × n matrices. Adv. Math. 19(1976), 306381.CrossRefGoogle Scholar
Procesi, C. and Schacher, M., A non-commutative real Nullstellensatz and Hilbert’s 17th problem. Ann. of Math. 104(1976), 395406.CrossRefGoogle Scholar
Razmyslov, J. P., Identities with trace in full matrix algebras over a field of characteristic zero. Izv. Akad. Nauk SSSR Ser. Mat. 38(1974), 723756.Google Scholar
Salomon, G., Shalit, O. M., and Shamovich, E., Algebras of noncommutative functions on subvarieties of the noncommutative ball: the bounded and completely bounded isomorphism problem. J. Funct. Anal. 278(2020), 108427.CrossRefGoogle Scholar
Sarason, D., Sub-Hardy Hilbert spaces in the unit disk. In: University of Arkansas Lecture Notes in the Mathematical Sciences, Vol. 10, Wiley, New York, 1994, pp. xvi+95.Google Scholar
Sz.-Nagy, B. and Foiaş, C., Harmonic analysis of operators on Hilbert space, Elsevier, New York, 1970.Google Scholar
Taylor, J. L., A general framework for a multi-operator functional calculus. Adv. Math. 9(1972), 183252.CrossRefGoogle Scholar
Taylor, J. L., Functions of several noncommuting variables. Bull. Amer. Math. Soc. 79(1973), 134.CrossRefGoogle Scholar
Voiculescu, D. V., Free analysis questions I: duality transform for the coalgebra of  ${\partial}_{X:B}$ . Int. Math. Res. Not. IMRN 2004(2004), 793822.CrossRefGoogle Scholar
Volčič, J., On domains of noncommutative rational functions. Linear Algebra Appl. 516(2017), 6981.CrossRefGoogle Scholar
Volčič, J., Hilbert’s 17th problem in free skew fields. Forum Math. Sigma 9(2021), e61.CrossRefGoogle Scholar
Volčič, J.. Private communication, 2021.Google Scholar
Williams, J. D., Analytic function theory for operator-valued free probability. J. Reine Angew. Math. 2017(2017), 119149.CrossRefGoogle Scholar