-
Multivariable operator-valued Nevanlinna-Pick interpolation: a survey
Authors:
J. A. Ball,
S. ter Horst
Abstract:
The theory of Nevanlinna-Pick and Carathéodory-Fejér interpolation for matrix- and operator-valued Schur class functions on the unit disk is now well established. Recent work has produced extensions of the theory to a variety of multivariable settings, including the ball and the polydisk (both commutative and noncommutative versions), as well as a time-varying analogue. Largely independent of th…
▽ More
The theory of Nevanlinna-Pick and Carathéodory-Fejér interpolation for matrix- and operator-valued Schur class functions on the unit disk is now well established. Recent work has produced extensions of the theory to a variety of multivariable settings, including the ball and the polydisk (both commutative and noncommutative versions), as well as a time-varying analogue. Largely independent of this is the recent Nevanlinna-Pick interpolation theorem by P.S. Muhly and B. Solel for an abstract Hardy algebra set in the context of a Fock space built from a $W^*$-correspondence E over a $W^{*}$-algebra $\cA$ and a *-representation $σ$ of $\cA$. In this review we provide an exposition of the Muhly-Solel interpolation theory accessible to operator theorists, and explain more fully the connections with the already existing interpolation literature. The abstract point evaluation first introduced by Muhly-Solel leads to a tensor-product type functional calculus in the main examples. A second kind of point-evaluation for the $W^*$-correspondence Hardy algebra, also introduced by Muhly and Solel, is here further investigated, and a Nevanlinna-Pick theorem in this setting is proved. It turns out that, when specified for examples, this alternative point-evaluation leads to an operator-argument functional calculus and corresponding Nevanlinna-Pick interpolation. We also discuss briefly several Nevanlinna-Pick interpolation results for Schur classes that do not fit into the Muhly-Solel $W^*$-correspondence formalism.
△ Less
Submitted 18 August, 2008;
originally announced August 2008.
-
Multivariable generalizations of the Schur class: positive kernel characterization and transfer function realization
Authors:
Joseph A. Ball,
Animikh Biswas,
Quanlei Fang,
Sanne ter Horst
Abstract:
The operator-valued Schur-class is defined to be the set of holomorphic functions $S$ map** the unit disk into the space of contraction operators between two Hilbert spaces. There are a number of alternate characterizations: the operator of multiplication by $S$ defines a contraction operator between two Hardy Hilbert spaces, $S$ satisfies a von Neumann inequality, a certain operator-valued ke…
▽ More
The operator-valued Schur-class is defined to be the set of holomorphic functions $S$ map** the unit disk into the space of contraction operators between two Hilbert spaces. There are a number of alternate characterizations: the operator of multiplication by $S$ defines a contraction operator between two Hardy Hilbert spaces, $S$ satisfies a von Neumann inequality, a certain operator-valued kernel associated with $S$ is positive-definite, and $S$ can be realized as the transfer function of a dissipative (or even conservative) discrete-time linear input/state/output linear system. Various multivariable generalizations of this class have appeared recently,one of the most encompassing being that of Muhly and Solel where the unit disk is replaced by the strict unit ball of the elements of a dual correspondence $E^σ$ associated with a $W^{*}$-correspondence $E$ over a $W^{*}$-algebra $\cA$ together with a $*$-representation $σ$ of $\cA$. The main new point which we add here is the introduction of the notion of reproducing kernel Hilbert correspondence and identification of the Muhly-Solel Hardy spaces as reproducing kernel Hilbert correspondences associated with a completely positive analogue of the classical Szegö kernel. In this way we are able to make the analogy between the Muhly-Solel Schur class and the classical Schur class more complete. We also illustrate the theory by specializing it to some well-studied special cases; in some instances there result new kinds of realization theorems.
△ Less
Submitted 2 November, 2007; v1 submitted 14 May, 2007;
originally announced May 2007.
-
Schur-class multipliers on the Arveson space: de Branges-Rovnyak reproducing kernel spaces and commutative transfer-function realizations
Authors:
Joseph A. Ball,
Vladimir Bolotnikov,
Quanlei Fang
Abstract:
An interesting and recently much studied generalization of the classical Schur class is the class of contractive operator-valued multipliers $S$ for the reproducing kernel Hilbert space ${\mathcal H}(k_{d})$ on the unit ball ${\mathbb B}^{d} \subset {\mathbb C}^{d}$, where $k_{d}$ is the positive kernel $k_{d}(λ, ζ) = 1/(1 - < λ, ζ>)$ on ${\mathbb B}^{d}$. The reproducing kernel space…
▽ More
An interesting and recently much studied generalization of the classical Schur class is the class of contractive operator-valued multipliers $S$ for the reproducing kernel Hilbert space ${\mathcal H}(k_{d})$ on the unit ball ${\mathbb B}^{d} \subset {\mathbb C}^{d}$, where $k_{d}$ is the positive kernel $k_{d}(λ, ζ) = 1/(1 - < λ, ζ>)$ on ${\mathbb B}^{d}$. The reproducing kernel space ${\mathcal H}(K_{S})$ associated with the positive kernel $K_{S}(λ, ζ) = (I - S(λ) S(ζ)^{*}) \cdot k_{d}(λ, ζ)$ is a natural multivariable generalization of the classical de Branges-Rovnyak canonical model space. A special feature appearing in the multivariable case is that the space ${\mathcal H}(K_{S})$ in general may not be invariant under the adjoints $M_{λ_{j}}^{*}$ of the multiplication operators $M_{λ_{j}} \colon f(λ) \mapsto λ_{j} f(λ)$ on ${\mathcal H}(k_{d})$.
We show that invariance of ${\mathcal H}(K_{S})$ under $M_{λ_{j}}^{*}$ for each $j = 1, ..., d$ is equivalent to the existence of a weakly coisometric realization for $S$ of the form $S(λ) = D + C (I - λ_{1}A_{1} ... - λ_{d} A_{d})^{-1}(λ_{1}B_{1} + ... + λ_{d} B_{d})$ such that the state operators $A_{1}, ..., A_{d}$ pairwise commute. We show that this special situation always occurs for the case of inner functions $S$ (where the associated multiplication operator $M_{S}$ is a partial isometry), and that inner multipliers are characterized by the existence of such a realization such that the state operators $A_{1}, >..., A_{d}$ satisfy an additional stability property.
△ Less
Submitted 20 October, 2006;
originally announced October 2006.
-
Transfer-function realization for multipliers of the Arveson space
Authors:
Joseph A. Ball,
Vladimir Bolotnikov,
Quanlei Fang
Abstract:
An interesting and recently much studied generalization of the classical Schur class is the class of contractive operator-valued multipliers for the reproducing kernel Hilbert space ${\mathcal H}(k_{d})$ on the unit ball ${\mathbb B}^{d} \subset {\mathbb C}^{d}$, where $k_{d}$ is the positive kernel $k_{d}(λ, ζ) = 1/(1 - < λ, ζ>)$ on ${\mathbb B}^{d}$. We study this space from the point of view…
▽ More
An interesting and recently much studied generalization of the classical Schur class is the class of contractive operator-valued multipliers for the reproducing kernel Hilbert space ${\mathcal H}(k_{d})$ on the unit ball ${\mathbb B}^{d} \subset {\mathbb C}^{d}$, where $k_{d}$ is the positive kernel $k_{d}(λ, ζ) = 1/(1 - < λ, ζ>)$ on ${\mathbb B}^{d}$. We study this space from the point of view of realization theory and functional models of de Branges-Rovnyak type. We highlight features which depart from the classical univariate case: coisometric realizations have only partial uniqueness properties, the nonuniqueness can be described explicitly, and this description assumes a particularly concrete form in the functional-model context.
△ Less
Submitted 20 October, 2006;
originally announced October 2006.
-
Schur-class multipliers on the Fock space: de Branges-Rovnyak reproducing kernel spaces and transfer-function realizations
Authors:
Joseph A. Ball,
Vladimir Bolotnikov,
Quanlei Fang
Abstract:
We introduce and study a Fock-space noncommutative analogue of reproducing kernel Hilbert spaces of de Branges-Rovnyak type. Results include: use of the de Branges-Rovnyak space ${\mathcal H}(K_{S})$ as the state space for the unique (up to unitary equivalence) observable, coisometric transfer-function realization of the Schur-class multiplier $S$, realization-theoretic characterization of inner…
▽ More
We introduce and study a Fock-space noncommutative analogue of reproducing kernel Hilbert spaces of de Branges-Rovnyak type. Results include: use of the de Branges-Rovnyak space ${\mathcal H}(K_{S})$ as the state space for the unique (up to unitary equivalence) observable, coisometric transfer-function realization of the Schur-class multiplier $S$, realization-theoretic characterization of inner Schur-class multipliers, and a calculus for obtaining a realization for an inner multiplier with prescribed left zero-structure. In contrast with the parallel theory for the Arveson space on the unit ball ${\mathbb B}^{d} \subset {\mathbb C}^{d}$ (which can be viewed as the symmetrized version of the Fock space used here), the results here are much more in line with the classical univariate case, with the extra ingredient of the existence of all results having both a ``left'' and a ``right'' version.
△ Less
Submitted 20 October, 2006;
originally announced October 2006.
-
Multivariable backward-shift-invariant subspaces and observability operators
Authors:
Joseph A. Ball,
Vladimir Bolotnikov,
Quanlei Fang
Abstract:
It is well known that subspaces of the Hardy space over the unit disk which are invariant under the backward shift occur as the image of an observability operator associated with a discrete-time linear system with stable state-dynamics, as well as the functional-model space for a Hilbert space contraction operator. We discuss two multivariable extensions of this structure, where the classical Ha…
▽ More
It is well known that subspaces of the Hardy space over the unit disk which are invariant under the backward shift occur as the image of an observability operator associated with a discrete-time linear system with stable state-dynamics, as well as the functional-model space for a Hilbert space contraction operator. We discuss two multivariable extensions of this structure, where the classical Hardy space is replaced by (1) the Fock space of formal power series in a collection of $d$ noncommuting indeterminates with norm-square-summable vector coefficients, and (2) the reproducing kernel Hilbert space (often now called the Arveson space) over the unit ball in ${\mathbb C}^{d}$ with reproducing kernel $k(λ, ζ) = 1/(1 - < λ, ζ>)$ ($\lam, ζ\in {\mathbb C}^{d}$ with $\| λ\|, \| ζ\| < 1$). In the first case, the associated linear system is of noncommutative Fornasini-Marchesini type with evolution along a free semigroup with $d$ generators, while in the second case the linear system is a standard (commutative) Fornasini-Marchesini-type system with evolution along the integer lattice ${\mathbb Z}^{d}$. An abelianization map (or symmetrization of the Fock space) links the first case with the second. The second case has special features depending on whether the operator-tuple defining the state dynamics is commutative or not. The paper focuses on multidimensional state-output linear systems and the associated observability operators.
△ Less
Submitted 20 October, 2006;
originally announced October 2006.
-
Interpolation in the noncommutative Schur-Agler class
Authors:
Joseph A. Ball,
Vladimir Bolotnikov
Abstract:
The class of Schur-Agler functions over a domain ${\mathcal D} \subset {\mathbb C}^{d}$ is defined as the class of holomorphic operator-valued functions on ${\mathcal D}$ for which a certain von Neumann inequality is satisfied when a commuting tuple of operators satisfying a certain polynomial norm inequality is plugged in for the variables. Such functions are alternatively characterized as thos…
▽ More
The class of Schur-Agler functions over a domain ${\mathcal D} \subset {\mathbb C}^{d}$ is defined as the class of holomorphic operator-valued functions on ${\mathcal D}$ for which a certain von Neumann inequality is satisfied when a commuting tuple of operators satisfying a certain polynomial norm inequality is plugged in for the variables. Such functions are alternatively characterized as those having a linear-fractional presentation which identifies them as transfer functions of a certain type of conservative structured multidimensional linear system. There now has been introduced a noncommutative version of the Schur-Agler class which consists of formal power series in noncommuting indeterminants satisfying a noncommutative version of the von Neumann inequality when a tuple of operators (not necessarily commuting) coming from a noncommutative operator ball are plugged in for the formal indeterminants. Formal power series in this noncommutative Schur-Agler class in turn are characterized as those having a certain linear-fractional presentation in noncommuting variables identifying them as transfer functions of a recently introduced class of conservative structure multidimensional linear systems having evolution along a free semigroup rather than along an integer lattice. The purpose of this paper is to extend the previously developed interpolation theory for the commutative Schur-Agler class to this noncommutative setting.
△ Less
Submitted 26 June, 2005;
originally announced June 2005.
-
Studies of the Response of the Prototype CMS Hadron Calorimeter, Including Magnetic Field Effects, to Pion, Electron, and Muon Beams
Authors:
V. V. Abramov,
B. S. Acharya,
N. Akchurin,
I. Atanasov,
G. Baiatian,
A. Ball,
S. Banerjee,
P. de Barbaro,
V. Barnes,
G. Bencze,
A. Bodek,
M. Booke,
H. Budd,
L. Cremaldi,
P. Cushman,
S. R. Dugad,
L. Dimitrov,
A. Dyshkant,
J. Elias,
V. N. Evdokimov,
D. Fong,
J. Freeman,
V. Genchev,
P. I. Goncharov,
D. Green
, et al. (10 additional authors not shown)
Abstract:
We report on the response of a prototype CMS hadron calorimeter module to charged particle beams of pions, muons, and electrons with momenta up to 375 GeV/c. The data were taken at the H2 and H4 beamlines at CERN in 1995 and 1996. The prototype sampling calorimeter used copper absorber plates and scintillator tiles with wavelength shifting fibers for readout. The effects of a magnetic field of u…
▽ More
We report on the response of a prototype CMS hadron calorimeter module to charged particle beams of pions, muons, and electrons with momenta up to 375 GeV/c. The data were taken at the H2 and H4 beamlines at CERN in 1995 and 1996. The prototype sampling calorimeter used copper absorber plates and scintillator tiles with wavelength shifting fibers for readout. The effects of a magnetic field of up to 3 Tesla on the response of the calorimeter to muons, electrons, and pions are presented, and the effects of an upstream lead tungstate crystal electromagnetic calorimeter on the linearity and energy resolution of the combined calorimetric system to hadrons are evaluated. The results are compared with Monte Carlo simulations and are used to optimize the choice of total absorber depth, sampling frequency, and longitudinal readout segmentation.
△ Less
Submitted 21 July, 2000;
originally announced July 2000.
-
Zero-pole interpolation for matrix meromorphic functions on a compact Riemann surface, and a matrix Fay trisecant identity
Authors:
Joseph A. Ball,
Victor Vinnikov
Abstract:
This paper presents a new approach to constructing a meromorphic bundle map between flat vector bundles over a compact Riemann surface having a prescribed Weil divisor (i.e., having prescribed zeros and poles with directional as well as multiplicity information included in the vector case). This new formalism unifies the earlier approach of Ball-Clancey (in the setting of trivial bundles over an…
▽ More
This paper presents a new approach to constructing a meromorphic bundle map between flat vector bundles over a compact Riemann surface having a prescribed Weil divisor (i.e., having prescribed zeros and poles with directional as well as multiplicity information included in the vector case). This new formalism unifies the earlier approach of Ball-Clancey (in the setting of trivial bundles over an abstract Riemann surface) with an earlier approach of the authors (where the Riemann surface was assumed to be the normalizing Riemann surface for an algebraic curve embedded in ${\bold C}^2$ with determinantal representation, and the vector bundles were assumed to be presented as the kernels of linear matrix pencils). The main tool is a version of the Cauchy kernel appropriate for flat vector bundles over the Riemann surface. Our formula for the interpolating bundle map (in the special case of a single zero and a single pole) can be viewed as a generalization of the Fay trisecant identity from the usual line bundle case to the vector bundle case in terms of Cauchy kernels. In particular we obtain a new proof of the Fay trisecant identity.
△ Less
Submitted 8 February, 1999; v1 submitted 23 December, 1997;
originally announced December 1997.