-
A Toeplitz-like operator with rational matrix symbol having poles on the unit circle: Invertibility and Riccati equations
Authors:
G. J. Groenewald,
S. ter Horst,
J. Jaftha,
A. C. M. Ran
Abstract:
This paper is a continuation of the work on unbounded Toeplitz-like operators $T_\Om$ with rational matrix symbol $\Om$ initiated in Groenewald et. al (Complex Anal. Oper. Theory 15, 1(2021)), where a Wiener-Hopf type factorization of $\Om$ is obtained and used to determine when $T_\Om$ is Fredholm and compute the Fredholm index in case $T_\Om$ is Fredholm. Due to the high level of non-uniqueness…
▽ More
This paper is a continuation of the work on unbounded Toeplitz-like operators $T_\Om$ with rational matrix symbol $\Om$ initiated in Groenewald et. al (Complex Anal. Oper. Theory 15, 1(2021)), where a Wiener-Hopf type factorization of $\Om$ is obtained and used to determine when $T_\Om$ is Fredholm and compute the Fredholm index in case $T_\Om$ is Fredholm. Due to the high level of non-uniqueness and complicated form of the Wiener-Hopf type factorization, it does not appear useful in determining when $T_\Om$ is invertible. In the present paper we use state space methods to characterize invertibility of $T_\Om$ in terms of the existence of a stabilizing solution of an associated nonsymmetric discrete algebraic Riccati equation, which in turn leads to a pseudo-canonical factorization of $\Om$ and concrete formulas of $T_\Om^{-1}$.
△ Less
Submitted 26 September, 2023;
originally announced September 2023.
-
A Toeplitz-like operator with rational matrix symbol having poles on the unit circle: Fredholm characteristics
Authors:
G. J. Groenewald,
S. ter Horst,
J. J. Jaftha,
A. C. M. Ran
Abstract:
In a recent paper (Groenewald et al.\ {\em Complex Anal.\ Oper.\ Theory} \textbf{15:1} (2021)) we considered an unbounded Toeplitz-like operator $T_Ω$ generated by a rational matrix function $Ω$ that has poles on the unit circle $\mathbb{T}$ of the complex plane. A Wiener-Hopf type factorization was proved and this factorization was used to determine some Fredholm properties of the operator $T_Ω$,…
▽ More
In a recent paper (Groenewald et al.\ {\em Complex Anal.\ Oper.\ Theory} \textbf{15:1} (2021)) we considered an unbounded Toeplitz-like operator $T_Ω$ generated by a rational matrix function $Ω$ that has poles on the unit circle $\mathbb{T}$ of the complex plane. A Wiener-Hopf type factorization was proved and this factorization was used to determine some Fredholm properties of the operator $T_Ω$, including the Fredholm index. Due to the lower triangular structure (rather than diagonal) of the middle term in the Wiener-Hopf type factorization and the lack of uniqueness, it is not straightforward to determine the dimension of the kernel of $T_Ω$ from this factorization, and hence of the co-kernel, even when $T_Ω$ is Fredholm. In the current paper we provide a formula for the dimension of the kernel of $T_Ω$ under an additional assumption on the Wiener-Hopf type factorization. In the case that $Ω$ is a $2 \times 2$ matrix function, a characterization of the kernel of the middle factor of the Wiener-Hopf type factorization is given and in many cases a formula for the dimension of the kernel is obtained. The characterization of the kernel of the middle factor for the $2 \times 2$ case is partially extended to the case of matrix functions of arbitrary size.
△ Less
Submitted 13 July, 2023;
originally announced July 2023.
-
Equivalence after extension and Schur coupling for Fredholm operators on Banach spaces
Authors:
Sanne ter Horst,
Niels Jakob Laustsen
Abstract:
Schur coupling (SC) and equivalence after extension (EAE) are important relations for bounded operators on Banach spaces. It has been known for 30 years that the former implies the latter, but only recently Ter Horst, Messerschmidt, Ran and Roelands disproved the converse by constructing a pair of Fredholm operators which are EAE, but not SC.
Motivated by this result, we investigate when EAE and…
▽ More
Schur coupling (SC) and equivalence after extension (EAE) are important relations for bounded operators on Banach spaces. It has been known for 30 years that the former implies the latter, but only recently Ter Horst, Messerschmidt, Ran and Roelands disproved the converse by constructing a pair of Fredholm operators which are EAE, but not SC.
Motivated by this result, we investigate when EAE and SC coincide for Fred\-holm operators. Fredholm operators which are EAE have the same Fredholm index. Surprisingly, we find that for each integer $k$ and every pair of Banach spaces $(\mathcal{X},\mathcal{Y})$, either no pair of Fredholm operators of index~$k$ acting on $\mathcal{X}$ and $\mathcal{Y}$, respectively, is SC, or every pair of this kind which is EAE is also SC. Consequently, the question whether EAE and SC coincide for Fredholm operators of index~$k$ depends only on the geometry of the underlying Banach spaces $\mathcal{X}$ and $\mathcal{Y}$, not on the properties of the operators themselves.
We quantify this finding by introducing two numerical indices which capture the coincidence of EAE and SC, and provide a number of examples illustrating the possible values of these indices. Notably, this includes an example showing that the above-mentioned result of Ter Horst et al, which is based on a pair of essentially incomparable Banach spaces, does not extend to projectively incomparable Banach spaces.
△ Less
Submitted 27 February, 2023; v1 submitted 30 October, 2022;
originally announced October 2022.
-
Convex invertible cones and Nevanlinna-Pick interpolation: The suboptimal case
Authors:
Sanne ter Horst,
Alma van der Merwe
Abstract:
Nevanlinna-Pick interpolation developed from a topic in classical complex analysis to a useful tool for solving various problems in control theory and electrical engineering. Over the years many extensions of the original problem were considered, including extensions to different function spaces, nonstationary problems, several variable settings and interpolation with matrix and operator points. H…
▽ More
Nevanlinna-Pick interpolation developed from a topic in classical complex analysis to a useful tool for solving various problems in control theory and electrical engineering. Over the years many extensions of the original problem were considered, including extensions to different function spaces, nonstationary problems, several variable settings and interpolation with matrix and operator points. Here we discuss a variation on Nevanlinna-Pick interpolation for positive real odd functions evaluated in real matrix points. This problem was studied by Cohen and Lewkowicz using convex invertible cones and the Lyapunov order, but was never fully resolved. In this paper we present a solution to this problem in a special case that we refer to as `suboptimal' based on connections with the classical case. The solution requires a representation of linear matrix maps going back to R.D. Hill and an analysis of when positive linear matrix maps are completely positive, on which we reported in earlier work and which we will briefly review here.
△ Less
Submitted 27 May, 2022;
originally announced May 2022.
-
Interpolation in multivariable de Branges-Rovnyak spaces
Authors:
Joseph A. Ball,
Vladimir Bolotnikov,
Sanne ter Horst
Abstract:
We study a general metric constrained interpolation problem in a de Branges-Rovnyak space $\mathcal{H}(K_S)$ associated with a contractive multiplier $S$ between two Fock spaces along with its commutative counterpart, a de Branges-Rovnyak space associated with a Schur multiplier on the Drury-Arveson space of the unit ball of $\mathbb{C}^n$.
We study a general metric constrained interpolation problem in a de Branges-Rovnyak space $\mathcal{H}(K_S)$ associated with a contractive multiplier $S$ between two Fock spaces along with its commutative counterpart, a de Branges-Rovnyak space associated with a Schur multiplier on the Drury-Arveson space of the unit ball of $\mathbb{C}^n$.
△ Less
Submitted 20 May, 2022;
originally announced May 2022.
-
A Hill-Pick matrix criteria for the Lyapunov order
Authors:
Sanne ter Horst,
Alma van der Merwe
Abstract:
The Lyapunov order appeared in the study of Nevanlinna-Pick interpolation for positive real odd functions with general (real) matrix points. For real or complex matrices $A$ and $B$ it is said that $B$ Lyapunov dominates $A$ if \begin{equation*} H=H^*,\quad HA+A^*H \geq 0 \quad \implies \quad HB+B^*H \geq 0. \end{equation*} (In case $A$ and $B$ are real we usually restrict to real Hermitian matric…
▽ More
The Lyapunov order appeared in the study of Nevanlinna-Pick interpolation for positive real odd functions with general (real) matrix points. For real or complex matrices $A$ and $B$ it is said that $B$ Lyapunov dominates $A$ if \begin{equation*} H=H^*,\quad HA+A^*H \geq 0 \quad \implies \quad HB+B^*H \geq 0. \end{equation*} (In case $A$ and $B$ are real we usually restrict to real Hermitian matrices $H$, i.e., symmetric $H$.) Hence $B$ Lyapunov dominates $A$ if all Lyapunov solutions of $A$ are also Lyapunov solutions of $B$. In this chapter we restrict to the case that appears in the study of Nevanlinna-Pick interpolation, namely where $B$ is in the bicommutant of $A$ and where $A$ is Lyapunov regular, meaning the eigenvalues $λ_j$ of $A$ satisfy \[
λ_i + \overlineλ_j \ne 0, \quad i,j=1,\ldots,n. \] In this case we provide a matrix criteria for Lyapunov dominance of $A$ by $B$. The result relies on a class of $*$-linear maps for which positivity and complete positivity coincide and a representation of $*$-linear matrix maps going back to work of R.D. Hill. The matrix criteria asks that a certain matrix, which we call the Hill-Pick matrix, be positive semidefinite.
△ Less
Submitted 17 November, 2021;
originally announced November 2021.
-
The Infinite-Dimensional Standard and Strict Bounded Real Lemmas in Continuous Time: The storage function approach
Authors:
Joseph A. Ball,
Sanne ter Horst,
Mikael Kurula
Abstract:
The bounded real lemma (BRL) is a classical result in systems theory, which provides a linear matrix inequality criterium for dissipativity, via the Kalman-Yakubovich-Popov (KYP) inequality. The BRL has many applications, among others in H-infinity control. Extensions to infinite dimensional systems, although already present in the work of Yakubovich, have only been studied systematically in the l…
▽ More
The bounded real lemma (BRL) is a classical result in systems theory, which provides a linear matrix inequality criterium for dissipativity, via the Kalman-Yakubovich-Popov (KYP) inequality. The BRL has many applications, among others in H-infinity control. Extensions to infinite dimensional systems, although already present in the work of Yakubovich, have only been studied systematically in the last few decades. In this context various notions of stability, observability and controllability exist, and depending on the hypothesis one may have to allow the KYP-inequality to have unbounded solutions which forces one to consider the KYP-inequality in a spatial form. In the present paper we consider the BRL for continuous time, infinite dimensional, linear well-posed systems. Via an adaptation of Willems' storage function approach we present a unified way to address both the standard and strict forms of the BRL. We avoid making use of the Cayley transform and work only in continuous time. While for the standard bounded real lemma, we obtain analogous results as there exist for the discrete time case, when treating the strict case additional conditions are required, at least at this stage. This might be caused by the fact that the Cayley transform does not preserve exponential stability, an important property in the strict case, when transferring a continuous-time system to a discrete-time system.
△ Less
Submitted 25 May, 2022; v1 submitted 12 September, 2021;
originally announced September 2021.
-
Linear matrix maps for which positivity and complete positivity coincide
Authors:
Sanne ter Horst,
Alma Naude
Abstract:
By the Choi matrix criteria it is easy to determine if a specific linear matrix map is completely positive, but to establish whether a linear matrix map is positive is much less straightforward. In this paper we consider classes of linear matrix maps, determined by structural conditions on an associated matrix, for which positivity and complete positivity coincide. The basis of our proofs lies in…
▽ More
By the Choi matrix criteria it is easy to determine if a specific linear matrix map is completely positive, but to establish whether a linear matrix map is positive is much less straightforward. In this paper we consider classes of linear matrix maps, determined by structural conditions on an associated matrix, for which positivity and complete positivity coincide. The basis of our proofs lies in a representation of $*$-linear matrix maps going back to work of R.D. Hill which enables us to formulate a sufficient condition in terms of surjectivity of certain bilinear maps.
△ Less
Submitted 26 March, 2021;
originally announced March 2021.
-
Hill representations for *-linear matrix maps
Authors:
Sanne ter Horst,
Alma Naude
Abstract:
In a paper from 1973 R.D. Hill studied linear matrix maps $\mathcal{L}:\mathbb{C}^{q \times q}\to\mathbb{C}^{n \times n}$ which map Hermitian matrices to Hermitian matrices, or equivalently, preserve adjoints, i.e., $\mathcal{L}(V^*)=\mathcal{L}(V)^*$, via representations of the form \begin{equation*} \mathcal{L}(V)=\sum_{k,l=1}^m \mathbb{H}_{kl}\, A_l V A_k^*,\quad V\in\mathbb{C}^{q \times q}, \e…
▽ More
In a paper from 1973 R.D. Hill studied linear matrix maps $\mathcal{L}:\mathbb{C}^{q \times q}\to\mathbb{C}^{n \times n}$ which map Hermitian matrices to Hermitian matrices, or equivalently, preserve adjoints, i.e., $\mathcal{L}(V^*)=\mathcal{L}(V)^*$, via representations of the form \begin{equation*} \mathcal{L}(V)=\sum_{k,l=1}^m \mathbb{H}_{kl}\, A_l V A_k^*,\quad V\in\mathbb{C}^{q \times q}, \end{equation*} for matrices $A_1,\ldots,A_m \in\mathbb{C}^{n \times q}$ and continued his study of such representations in later work, sometimes with co-authors, to completely positive matrix maps and associated matrix reorderings. In this paper we expand the study of such representations, referred to as Hill representations here, in various directions. In particular, we describe which matrices $A_1,\ldots, A_m$ can appear in Hill representations (provided the number $m$ is minimal) and determine the associated Hill matrix $\mathbb{H}=\left[\mathbb{H}_{kl}\right]$ explicitly. Also, we describe how different Hill representations of $\mathcal{L}$ (again with $m$ minimal) are related and investigate further the implication of $*$-linearity on the linear map $\mathcal{L}$.
△ Less
Submitted 26 March, 2021;
originally announced March 2021.
-
Realization theory for poset-causal systems: Controllability, observability and duality
Authors:
Sanne ter Horst,
Jaccie Zeelie
Abstract:
Poset-causal systems form a class of decentralized systems introduced by Shah and Parrilo [32] and studied mainly in the context of optimal decentralized control. In this paper we develop part of the realization theory for poset-causal systems. More specifically, we investigate several notions of controllability and observability, and their relation under duality. These new notions extend concepts…
▽ More
Poset-causal systems form a class of decentralized systems introduced by Shah and Parrilo [32] and studied mainly in the context of optimal decentralized control. In this paper we develop part of the realization theory for poset-causal systems. More specifically, we investigate several notions of controllability and observability, and their relation under duality. These new notions extend concepts of controllability and observability in the context of coordinated linear systems [16]. While for coordinated linear systems there is a clear hierarchical structure with a single (main) coordinator, for poset-causal systems there need not be a single coordinator and the communication structure between the decentralized systems allows for more intricate structures, governed by partial orders. On the other hand, we show that the class of poset-causal systems is closed under duality, which is not the case for coordinated linear systems, and that duality relations between the various notions of observability and controllability exist.
△ Less
Submitted 12 October, 2020;
originally announced October 2020.
-
Equivalence after extension and Schur coupling for relatively regular operators
Authors:
S. ter Horst,
M. Messerschmidt,
A. C. M. Ran
Abstract:
It was recently shown in [24] that the Banach space operator relations Equivalence After Extension (EAE) and Schur Coupling (SC) do not coincide by characterizing these relations for operators acting on essentially incomparable Banach spaces. The examples that prove the non-coincidence are Fredholm operators, which is a subclass of relatively regular operators, the latter being operators with comp…
▽ More
It was recently shown in [24] that the Banach space operator relations Equivalence After Extension (EAE) and Schur Coupling (SC) do not coincide by characterizing these relations for operators acting on essentially incomparable Banach spaces. The examples that prove the non-coincidence are Fredholm operators, which is a subclass of relatively regular operators, the latter being operators with complementable kernels and ranges. In this paper we analyse the relations EAE and SC for the class of relatively regular operators, leading to an equivalent Banach space operator problem from which we derive new cases where EAE and SC coincide and provide a new example for which EAE and SC do not coincide and where the Banach space are not essentially incomparable.
△ Less
Submitted 29 May, 2020;
originally announced May 2020.
-
A Toeplitz-like operator with rational matrix symbol having poles on the unit circle: Fredholm properties
Authors:
G. J. Groenewald,
S. ter Horst,
J. Jaftha,
A. C. M. Ran
Abstract:
This paper concerns the analysis of an unbounded Toeplitz-like operator generated by a rational matrix function having poles on the unit circle T. It extends the analysis of such operators generated by scalar rational functions with poles on T found in [11,12,13]. A Wiener-Hopf type factorization of rational matrix functions with poles and zeroes on T is proved and then used to analyze the Fredhol…
▽ More
This paper concerns the analysis of an unbounded Toeplitz-like operator generated by a rational matrix function having poles on the unit circle T. It extends the analysis of such operators generated by scalar rational functions with poles on T found in [11,12,13]. A Wiener-Hopf type factorization of rational matrix functions with poles and zeroes on T is proved and then used to analyze the Fredholm properties of such Toeplitz-like operators. A formula for the index, based on the factorization, is given. Furthermore, it is shown that the determinant of the matrix function having no zeroes on T is not sufficient for the Toeplitz-like operator to be Fredholm, in contrast to the classical case.
△ Less
Submitted 29 May, 2020;
originally announced May 2020.
-
The convex invertible cone structure of positive real odd rational matrix functions
Authors:
Sanne ter Horst,
Alma Naudé
Abstract:
Positive real odd matrix functions, often referred to as positive real lossless matrix functions, play an important role in many applications in multi-port electrical systems. In this paper we present closer analogues to some of the known results for the scalar, one-port, case in the multi-port setting. Specifically, we determine necessary and sufficient conditions for the well studied partial fra…
▽ More
Positive real odd matrix functions, often referred to as positive real lossless matrix functions, play an important role in many applications in multi-port electrical systems. In this paper we present closer analogues to some of the known results for the scalar, one-port, case in the multi-port setting. Specifically, we determine necessary and sufficient conditions for the well studied partial fraction formula to represent functions in the class of positive real odd matrix functions, and explicit minimal state space realization formulas for the inverse (admittance) of a function in this class, which itself is also a positive real odd matrix function. Doing so, enables us to provide a partial analogue of the poles-zero interlacing behavior from the scalar case.
△ Less
Submitted 11 March, 2020; v1 submitted 19 February, 2020;
originally announced February 2020.
-
Cauchy-Riemann equations for free noncommutative functions
Authors:
S ter Horst,
E. M. Klem
Abstract:
In classical complex analysis analyticity of a complex function $f$ is equivalent to differentiability of its real and imaginary parts $u$ and $v$, respectively, together with the Cauchy-Riemann equations for the partial derivatives of $u$ and $v$. We extend this result to the context of free noncommutative functions on tuples of matrices of arbitrary size. In this context, the real and imaginary…
▽ More
In classical complex analysis analyticity of a complex function $f$ is equivalent to differentiability of its real and imaginary parts $u$ and $v$, respectively, together with the Cauchy-Riemann equations for the partial derivatives of $u$ and $v$. We extend this result to the context of free noncommutative functions on tuples of matrices of arbitrary size. In this context, the real and imaginary parts become so called real noncommutative functions, as appeared recently in the context of Löwner's theorem in several noncommutative variables. Additionally, as part of our investigation of real noncommutative functions, we show that real noncommutative functions are in fact noncommutative functions.
△ Less
Submitted 21 June, 2019;
originally announced June 2019.
-
Equivalence after extension and Schur coupling do not coincide, on essentially incomparable Banach spaces
Authors:
Sanne ter Horst,
Miek Messerschmidt,
Andre C. M. Ran,
Mark Roelands
Abstract:
In 1994 H. Bart and V.É. Tsekanovskii posed the question whether the Banach space operator relations matricial coupling (MC), equivalence after extension (EAE) and Schur coupling (SC) coincide, leaving only the implication EAE/MC $\Rightarrow$ SC open. Despite several affirmative results, in this paper we show that the answer in general is no. This follows from a complete description of EAE and SC…
▽ More
In 1994 H. Bart and V.É. Tsekanovskii posed the question whether the Banach space operator relations matricial coupling (MC), equivalence after extension (EAE) and Schur coupling (SC) coincide, leaving only the implication EAE/MC $\Rightarrow$ SC open. Despite several affirmative results, in this paper we show that the answer in general is no. This follows from a complete description of EAE and SC for the case that the operators act on essentially incomparable Banach spaces, which also leads to a new characterization of the notion of essential incomparability. Concretely, the forward shift operators $U$ on $\ell^p$ and $V$ on $\ell^q$, for $1\leq p,q\leq \infty$, $p\neq q$, are EAE but not SC. As a corollary, SC is not transitive. Under mild assumptions, given $U$ and $V$ that are Atkinson or generalized invertible and EAE, we give a concrete operator $W$ that is SC to both $U$ and $V$, even if $U$ and $V$ are not SC themselves. Some further affirmative results for the case where the Banach spaces are isomorphic are also obtained.
△ Less
Submitted 26 January, 2019;
originally announced January 2019.
-
A Toeplitz-like operator with rational symbol having poles on the unit circle III: the adjoint
Authors:
G. J. Groenewald,
S. Ter Horst,
J. Jaftha,
A. C. M. Ran
Abstract:
This paper contains a further analysis of the Toeplitz-like operators $T_ω$ on $H^p$ with rational symbol $ω$ having poles on the unit circle that were previously studied in [5.6]. Here the adjoint operator $T_ω^*$ is described. In the case where $p=2$ and $ω$ has poles only on the unit circle $\mathbb{T}$, a description is given for when $T_ω^*$ is symmetric and when $T_ω^*$ admits a selfadjoint…
▽ More
This paper contains a further analysis of the Toeplitz-like operators $T_ω$ on $H^p$ with rational symbol $ω$ having poles on the unit circle that were previously studied in [5.6]. Here the adjoint operator $T_ω^*$ is described. In the case where $p=2$ and $ω$ has poles only on the unit circle $\mathbb{T}$, a description is given for when $T_ω^*$ is symmetric and when $T_ω^*$ admits a selfadjoint extension. Also in the case where $p=2$, $ω$ has only poles on $\mathbb{T}$ and in addition $ω$ is proper, it is shown that $T_ω^*$ coincides with the unbounded Toeplitz operator defined by Sarason in [10].
△ Less
Submitted 18 December, 2018;
originally announced December 2018.
-
A Toeplitz-like operator with rational symbol having poles on the unit circle II: the spectrum
Authors:
G. J. Groenewald,
S. ter Horst,
J. Jaftha,
A. C. M. Ran
Abstract:
This paper is a continuation of our study of a class of Toeplitz-like operators with a rational symbol which has a pole on the unit circle. A description of the spectrum and its various parts, i.e., point, residual and continuous spectrum, is given, as well as a description of the essential spectrum. In this case, the essential spectrum need not be connected in ${\mathbb C}$. Various examples illu…
▽ More
This paper is a continuation of our study of a class of Toeplitz-like operators with a rational symbol which has a pole on the unit circle. A description of the spectrum and its various parts, i.e., point, residual and continuous spectrum, is given, as well as a description of the essential spectrum. In this case, the essential spectrum need not be connected in ${\mathbb C}$. Various examples illustrate the results.
△ Less
Submitted 24 April, 2018;
originally announced April 2018.
-
A Toeplitz-like operator with rational symbol having poles on the unit circle I: Fredholm properties
Authors:
G. J. Groenewald,
S. ter Horst,
J. Jaftha,
A. C. M. Ran
Abstract:
In this paper a definition is given for an unbounded Toeplitz-like operator with rational symbol which has poles on the unit circle. It is shown that the operator is Fredholm if and only if the symbol has no zeroes on the unit circle, and a formula for the index is given as well. Finally, a matrix representation of the operator is discussed.
In this paper a definition is given for an unbounded Toeplitz-like operator with rational symbol which has poles on the unit circle. It is shown that the operator is Fredholm if and only if the symbol has no zeroes on the unit circle, and a formula for the index is given as well. Finally, a matrix representation of the operator is discussed.
△ Less
Submitted 24 April, 2018;
originally announced April 2018.
-
Graphs with sparsity order at most two: The complex case
Authors:
S. ter Horst,
E. M. Klem
Abstract:
The sparsity order of a (simple undirected) graph is the highest possible rank (over ${\mathbb R}$ or ${\mathbb C}$) of the extremal elements in the matrix cone that consists of positive semidefinite matrices with prescribed zeros on the positions that correspond to non-edges of the graph (excluding the diagonal entries). The graphs of sparsity order 1 (for both ${\mathbb R}$ and ${\mathbb C}$) co…
▽ More
The sparsity order of a (simple undirected) graph is the highest possible rank (over ${\mathbb R}$ or ${\mathbb C}$) of the extremal elements in the matrix cone that consists of positive semidefinite matrices with prescribed zeros on the positions that correspond to non-edges of the graph (excluding the diagonal entries). The graphs of sparsity order 1 (for both ${\mathbb R}$ and ${\mathbb C}$) correspond to chordal graphs, those graphs that do not contain a cycle of length greater than three, as an induced subgraph, or equivalently, is a clique-sum of cliques. There exist analogues, though more complicated, characterizations of the case where the sparsity order is at most 2, which are different for ${\mathbb R}$ and ${\mathbb C}$. The existing proof for the complex case, is based on the result for the real case. In this paper we provide a more elementary proof of the characterization of the graphs whose complex sparsity order is at most two. Part of our proof relies on a characterization of the $\{P_4,\overline{K}_3\}$-free graphs, with $P_4$ the path of length 3 and $\overline{K}_3$ the stable set of cardinality 3, and of the class of clique-sums of such graphs.
△ Less
Submitted 24 April, 2018;
originally announced April 2018.
-
The discrete twofold Ellis-Gohberg inverse problem
Authors:
S. ter Horst,
M. A. Kaashoek,
F. van Schagen
Abstract:
In this paper a twofold inverse problem for orthogonal matrix functions in the Wiener class is considered. The scalar-valued version of this problem was solved by Ellis and Gohberg in 1992. Under reasonable conditions, the problem is reduced to an invertibility condition on an operator that is defined using the Hankel and Toeplitz operators associated to the Wiener class functions that comprise th…
▽ More
In this paper a twofold inverse problem for orthogonal matrix functions in the Wiener class is considered. The scalar-valued version of this problem was solved by Ellis and Gohberg in 1992. Under reasonable conditions, the problem is reduced to an invertibility condition on an operator that is defined using the Hankel and Toeplitz operators associated to the Wiener class functions that comprise the data set of the inverse problem. It is also shown that in this case the solution is unique. Special attention is given to the case that the Hankel operator of the solution is a strict contraction and the case where the functions are matrix polynomials.
△ Less
Submitted 23 April, 2018;
originally announced April 2018.
-
The twofold Ellis-Gohberg inverse problem in an abstract setting and applications
Authors:
S. ter Horst,
M. A. Kaashoek,
F. van Schagen
Abstract:
In this paper we consider a twofold Ellis-Gohberg type inverse problem in an abstract *-algebraic setting. Under natural assumptions, necessary and sufficient conditions for the existence of a solution are obtained, and it is shown that in case a solution exists, it is unique. The main result relies strongly on an inversion formula for a $2\times 2$ block operator matrix whose off diagonal entries…
▽ More
In this paper we consider a twofold Ellis-Gohberg type inverse problem in an abstract *-algebraic setting. Under natural assumptions, necessary and sufficient conditions for the existence of a solution are obtained, and it is shown that in case a solution exists, it is unique. The main result relies strongly on an inversion formula for a $2\times 2$ block operator matrix whose off diagonal entries are Hankel operators while the diagonal entries are identity operators. Various special cases are presented, including the cases of matrix-valued $L^1$-functions on the real line and matrix-valued Wiener functions on the unit circle of the complex plane. For the latter case, it is shown how the results obtained in an earlier publication by the authors can be recovered.
△ Less
Submitted 23 April, 2018;
originally announced April 2018.
-
The Bezout equation on the right half plane in a Wiener space setting
Authors:
G. J. Groenewald,
S. ter Horst,
M. A. Kaashoek
Abstract:
This paper deals with the Bezout equation $G(s)X(s)=I_m$, $\Re s \geq 0$, in the Wiener space of analytic matrix-valued functions on the right half plane. In particular, $G$ is an $m\times p$ matrix-valued analytic Wiener function, where $p\geq m$, and the solution $X$ is required to be an analytic Wiener function of size $p\times m$. The set of all solutions is described explicitly in terms of a…
▽ More
This paper deals with the Bezout equation $G(s)X(s)=I_m$, $\Re s \geq 0$, in the Wiener space of analytic matrix-valued functions on the right half plane. In particular, $G$ is an $m\times p$ matrix-valued analytic Wiener function, where $p\geq m$, and the solution $X$ is required to be an analytic Wiener function of size $p\times m$. The set of all solutions is described explicitly in terms of a $p\times p$ matrix-valued analytic Wiener function $Y$, which has an inverse in the analytic Wiener space, and an associated inner function $Θ$ defined by $Y$ and the value of $G$ at infinity. Among the solutions, one is identified that minimizes the $H^2$-norm. A Wiener space version of Tolokonnikov's lemma plays an important role in the proofs. The results presented are natural analogs of those obtained for the discrete case in [11].
△ Less
Submitted 23 April, 2018;
originally announced April 2018.
-
The Bezout-corona problem revisited: Wiener space setting
Authors:
G. J. Groenewald,
S. ter Horst,
M. A. Kaashoek
Abstract:
The matrix-valued {Bezout-corona} problem $G(z)X(z)=I_m$, $|z|<1$, is studied in a Wiener space setting, that is, the given function $G$ is an analytic matrix function on the unit {disc} whose Taylor coefficients are absolutely summable and the same is required for the solutions $X$. It turns out that all Wiener solutions can be described explicitly in terms of two matrices and a square analytic W…
▽ More
The matrix-valued {Bezout-corona} problem $G(z)X(z)=I_m$, $|z|<1$, is studied in a Wiener space setting, that is, the given function $G$ is an analytic matrix function on the unit {disc} whose Taylor coefficients are absolutely summable and the same is required for the solutions $X$. It turns out that all Wiener solutions can be described explicitly in terms of two matrices and a square analytic Wiener function $Y$ satisfying $\det Y(z)\not =0$ for all $|z|\leq 1$. It is also shown that some of the results hold in the $H^\infty$ {setting, but} not all. In fact, if $G$ is an $H^\infty$ function, then $Y$ is just an $H^2$ function. Nevertheless, in this case, using the two matrices and the function $Y$, all $H^2$ solutions to the Bezout-corona problem can be described explicitly in a form analogous to the one appearing in the Wiener setting.
△ Less
Submitted 23 April, 2018;
originally announced April 2018.
-
Standard versus strict Bounded Real Lemma with infinite-dimensional state space III: The dichotomous and bicausal cases
Authors:
J. A. Ball,
G. J. Groenewald,
S. ter Horst
Abstract:
This is the third installment in a series of papers concerning the Bounded Real Lemma for infinite-dimensional discrete-time linear input/state/output systems. In this setting, under appropriate conditions, the lemma characterizes when the transfer function associated with the system has contractive values on the unit circle, expressed in terms of a Linear Matrix Inequality, often referred to as t…
▽ More
This is the third installment in a series of papers concerning the Bounded Real Lemma for infinite-dimensional discrete-time linear input/state/output systems. In this setting, under appropriate conditions, the lemma characterizes when the transfer function associated with the system has contractive values on the unit circle, expressed in terms of a Linear Matrix Inequality, often referred to as the Kalman-Yakubovich-Popov (KYP) inequality. Whereas the first two installments focussed on causal systems with the transfer functions extending to an analytic function on the disk, in the present paper the system is still causal but the state operator is allowed to have nontrivial dichotomy (the unit circle is not contained in its spectrum), implying that the transfer function is analytic in a neighborhood of zero and on a neighborhood of the unit circle rather than on the unit disk. More generally, we consider bicausal systems, for which the transfer function need not be analytic in a neighborhood of zero. For both types of systems, by a variation on Willems' storage-function approach, we prove variations on the standard and strict Bounded Real Lemma. We also specialize the results to nonstationary discrete-time systems with a dichotomy, thereby recovering a Bounded Real Lemma due to Ben-Artzi--Gohberg-Kaashoek for such systems.
△ Less
Submitted 23 April, 2018;
originally announced April 2018.
-
Standard versus Strict Bounded Real Lemma with infinite-dimensional state space I: The State-Space-Similarity Approach
Authors:
J. A. Ball,
G. J. Groenewald,
S. ter Horst
Abstract:
The Bounded Real Lemma, i.e., the state-space linear matrix inequality characterization (referred to as Kalman-Yakubovich-Popov or KYP inequality) of when an input/state/output linear system satisfies a dissipation inequality, has recently been studied for infinite-dimensional discrete-time systems in a number of different settings: with or without stability assumptions, with or without controllab…
▽ More
The Bounded Real Lemma, i.e., the state-space linear matrix inequality characterization (referred to as Kalman-Yakubovich-Popov or KYP inequality) of when an input/state/output linear system satisfies a dissipation inequality, has recently been studied for infinite-dimensional discrete-time systems in a number of different settings: with or without stability assumptions, with or without controllability/observability assumptions, with or without strict inequalities. In these various settings, sometimes unbounded solutions of the KYP inequality are required while in other instances bounded solutions suffice. In a series of reports we show how these diverse results can be reconciled and unified. This first instalment focusses on the state-space-similarity approach to the bounded real lemma. We shall show how these results can be seen as corollaries of a new State-Space-Similarity theorem for infinite-dimensional linear systems.
△ Less
Submitted 23 April, 2018;
originally announced April 2018.
-
Standard versus Bounded Real Lemma with infinite-dimensional state space II: The storage function approach
Authors:
J. A. Ball,
G. J. Groenewald,
S. ter Horst
Abstract:
For discrete-time causal linear input/state/output systems, the Bounded Real Lemma explains (under suitable hypotheses) the contractivity of the values of the transfer function over the unit disk for such a system in terms of the existence of a positive-definite solution of a certain Linear Matrix Inequality (the Kalman-Yakubovich-Popov (KYP) inequality). Recent work has extended this result to th…
▽ More
For discrete-time causal linear input/state/output systems, the Bounded Real Lemma explains (under suitable hypotheses) the contractivity of the values of the transfer function over the unit disk for such a system in terms of the existence of a positive-definite solution of a certain Linear Matrix Inequality (the Kalman-Yakubovich-Popov (KYP) inequality). Recent work has extended this result to the setting of infinite-dimensional state space and associated non-rationality of the transfer function, where at least in some cases unbounded solutions of the generalized KYP-inequality are required. This paper is the second installment in a series of papers on the Bounded Real Lemma and the KYP inequality. We adapt Willems' storage-function approach to the infinite-dimensional linear setting, and in this way reprove various results presented in the first installment, where they were obtained as applications of infinite-dimensional State-Space-Similarity theorems, rather than via explicit computation of storage functions.
△ Less
Submitted 23 April, 2018;
originally announced April 2018.
-
All solutions to an operator Nevanlinna-Pick interpolation problem
Authors:
A. E. Frazho,
S. Ter Horst,
M. A. Kaashoek
Abstract:
The main results presented in this paper provide a complete and explicit description of all solutions to the left tangential operator Nevanlinna- Pick interpolation problem assuming the associated Pick operator is strictly positive. The complexity of the solutions is similar to that found in descriptions of the sub-optimal Nehari problem and variation on the Nevanlinna-Pick interpolation problem i…
▽ More
The main results presented in this paper provide a complete and explicit description of all solutions to the left tangential operator Nevanlinna- Pick interpolation problem assuming the associated Pick operator is strictly positive. The complexity of the solutions is similar to that found in descriptions of the sub-optimal Nehari problem and variation on the Nevanlinna-Pick interpolation problem in the Wiener class that have been obtained through the band method. The main techniques used to derive the formulas are based on the theory of co-isometric realizations, and use the Douglas factorization lemma and state space calculations. A new feature is that we do not assume an additional stability assumption on our data, which allows us to view the Leech problem and a large class of commutant lifting problems as special cases. Although the paper has partly the character of a survey article, all results are proved in detail and some background material has been added to make the paper accessible to a large audience including engineers.
△ Less
Submitted 23 April, 2018;
originally announced April 2018.
-
Abstract interpolation in vector-valued de Branges-Rovnyak spaces
Authors:
Joseph A. Ball,
Vladimir Bolotnikov,
Sanne ter Horst
Abstract:
Following ideas from the Abstract Interpolation Problem of Katsnelson et al. (Operators in spaces of functions and problems in function theory, vol 146, pp 83-69, Naukova Dumka, Keiv, 1987) for Schur class functions, we study a general metric constrained interpolation problem for functions from a vector-valued de Branges-Rovnyak space $\mathcal{H}(K_S)$ associated with an operator-valued Schur cla…
▽ More
Following ideas from the Abstract Interpolation Problem of Katsnelson et al. (Operators in spaces of functions and problems in function theory, vol 146, pp 83-69, Naukova Dumka, Keiv, 1987) for Schur class functions, we study a general metric constrained interpolation problem for functions from a vector-valued de Branges-Rovnyak space $\mathcal{H}(K_S)$ associated with an operator-valued Schur class function $S$. A description of all solutions is obtained in terms of functions from an associated de Branges-Rovnyak space satisfying only a bound on the de Branges-Rovnyak-space norm. Attention is also paid to the case that the map which provides this description is injective. The interpolation problem studied here contains as particular cases (1) the vector-valued version of the interpolation problem with operator argument considered recently in Ball et al. (Proc Am Math Soc 139(2), 609-618, 2011) (for the nondegenerate and scalar-valued case) and (2) a boundary interpolation problem in $\mathcal{H}(K_S)$. In addition, we discuss connections with results on kernels of Toeplitz operators and nearly invariant subspaces of the backward shift operator.
△ Less
Submitted 23 April, 2018;
originally announced April 2018.
-
Interpolation in de Branges-Rovnyak spaces
Authors:
Joseph A. Ball,
Vladimir Bolotnikov,
Sanne Ter Horst
Abstract:
A general interpolation problem with operator argument is studied for functions f from the de Branges-Rovnyak space H(s) associated with an analytic function s map** the open unit disk D into the closed unit disk. The interpolation condition is taken in the Rosenblum-Rovnyak form f(A)c = b (with a suitable interpretation of f(A)c) for given Hilbert space operator A and two vectors b; c from the…
▽ More
A general interpolation problem with operator argument is studied for functions f from the de Branges-Rovnyak space H(s) associated with an analytic function s map** the open unit disk D into the closed unit disk. The interpolation condition is taken in the Rosenblum-Rovnyak form f(A)c = b (with a suitable interpretation of f(A)c) for given Hilbert space operator A and two vectors b; c from the same space.
△ Less
Submitted 23 April, 2018;
originally announced April 2018.
-
Equivalence after extension and Schur coupling coincide for inessential operators
Authors:
S. ter Horst,
M. Messerschmidt,
A. C. M. Ran,
M. Roelands,
M. Wortel
Abstract:
In recent years the coincidence of the operator relations equivalence after extension (EAE) and Schur coupling (SC) was settled for the Hilbert space case. For Banach space operators, it is known that SC implies EAE, but the converse implication is only known for special classes of operators, such as Fredholm operators with index zero and operators that can in norm be approximated by invertible op…
▽ More
In recent years the coincidence of the operator relations equivalence after extension (EAE) and Schur coupling (SC) was settled for the Hilbert space case. For Banach space operators, it is known that SC implies EAE, but the converse implication is only known for special classes of operators, such as Fredholm operators with index zero and operators that can in norm be approximated by invertible operators. In this paper we prove that the implication EAE $\Rightarrow$ SC also holds for inessential Banach space operators. The inessential operators were introduced as a generalization of the compact operators, and include, besides the compact operators, also the strictly singular and strictly co-singular operators; in fact they form the largest ideal such that the invertible elements in the associated quotient algebra coincide with (the equivalence classes of) the Fredholm operators.
△ Less
Submitted 28 June, 2017;
originally announced June 2017.
-
Equivalence after extension for compact operators on Banach spaces
Authors:
Sanne ter Horst,
Miek Messerschmidt,
André C. M. Ran
Abstract:
In recent years the coincidence of the operator relations equivalence after extension and Schur coupling was settled for the Hilbert space case, by showing that equivalence after extension implies equivalence after one-sided extension. In this paper we investigate consequences of equivalence after extension for compact Banach space operators. We show that generating the same operator ideal is nece…
▽ More
In recent years the coincidence of the operator relations equivalence after extension and Schur coupling was settled for the Hilbert space case, by showing that equivalence after extension implies equivalence after one-sided extension. In this paper we investigate consequences of equivalence after extension for compact Banach space operators. We show that generating the same operator ideal is necessary but not sufficient for two compact operators to be equivalent after extension. In analogy with the necessary and sufficient conditions on the singular values for compact Hilbert space operators that are equivalent after extension, we prove the necessity of similar relationships between the $s$-numbers of two compact Banach space operators that are equivalent after extension, for arbitrary $s$-functions.
We investigate equivalence after extension for operators on $\ell^{p}$-spaces. We show that two operators that act on different $\ell^{p}$-spaces cannot be equivalent after one-sided extension. Such operators can still be equivalent after extension, for instance all invertible operators are equivalent after extension, however, if one of the two operators is compact, then they cannot be equivalent after extension. This contrasts the Hilbert space case where equivalence after one-sided extension and equivalence after extension are, in fact, identical relations.
Finally, for general Banach spaces $X$ and $Y$, we investigate consequences of an operator on $X$ being equivalent after extension to a compact operator on $Y$. We show that, in this case, a closed finite codimensional subspace of $Y$ must embed into $X$, and that certain general Banach space properties must transfer from $X$ to $Y$. We also show that no operator on $X$ can be equivalent after extension to an operator on $Y$, if $X$ and $Y$ are essentially incomparable Banach spaces.
△ Less
Submitted 5 June, 2015; v1 submitted 25 March, 2015;
originally announced March 2015.
-
State space formulas for a suboptimal rational Leech problem II: Parametrization of all solutions
Authors:
A. E. Frazho,
S. ter Horst,
M. A. Kaashoek
Abstract:
For the strictly positive case (the suboptimal case), given stable rational matrix functions $G$ and $K$, the set of all $H^\infty$ solutions $X$ to the Leech problem associated with $G$ and $K$, that is, $G(z)X(z)=K(z)$ and $\sup_{|z|\leq 1}\|X(z)\|\leq 1$, is presented as the range of a linear fractional representation of which the coefficients are presented in state space form. The matrices inv…
▽ More
For the strictly positive case (the suboptimal case), given stable rational matrix functions $G$ and $K$, the set of all $H^\infty$ solutions $X$ to the Leech problem associated with $G$ and $K$, that is, $G(z)X(z)=K(z)$ and $\sup_{|z|\leq 1}\|X(z)\|\leq 1$, is presented as the range of a linear fractional representation of which the coefficients are presented in state space form. The matrices involved in the realizations are computed from state space realizations of the data functions $G$ and $K$. On the one hand the results are based on the commutant lifting theorem and on the other hand on stabilizing solutions of algebraic Riccati equations related to spectral factorizations.
△ Less
Submitted 9 August, 2014;
originally announced August 2014.
-
State space formulas for a suboptimal rational Leech problem I: Maximum entropy solution
Authors:
A. E. Frazho,
S. ter Horst,
M. A. Kaashoek
Abstract:
For the strictly positive case (the suboptimal case) the maximum entropy solution $X$ to the Leech problem $G(z)X(z)=K(z)$ and $\|X\|_\infty=\sup_{|z|\leq 1}\|X(z)\|\leq 1$, with $G$ and $K$ stable rational matrix functions, is proved to be a stable rational matrix function. An explicit state space realization for $X$ is given, and $\|X\|_\infty$ turns out to be strictly less than one. The matrice…
▽ More
For the strictly positive case (the suboptimal case) the maximum entropy solution $X$ to the Leech problem $G(z)X(z)=K(z)$ and $\|X\|_\infty=\sup_{|z|\leq 1}\|X(z)\|\leq 1$, with $G$ and $K$ stable rational matrix functions, is proved to be a stable rational matrix function. An explicit state space realization for $X$ is given, and $\|X\|_\infty$ turns out to be strictly less than one. The matrices involved in this realization are computed from the matrices appearing in a state space realization of the data functions $G$ and $K$. A formula for the entropy of $X$ is also given.
△ Less
Submitted 9 August, 2014;
originally announced August 2014.
-
State space formulas for stable rational matrix solutions of a Leech problem
Authors:
A. E. Frazho,
S. ter Horst,
M. A. Kaashoek
Abstract:
Given stable rational matrix functions $G$ and $K$, a procedure is presented to compute a stable rational matrix solution $X$ to the Leech problem associated with $G$ and $K$, that is, $G(z)X(z)=K(z)$ and $\sup_{|z|\leq 1}\|X(z)\|\leq 1$. The solution is given in the form of a state space realization, where the matrices involved in this realization are computed from state space realizations of the…
▽ More
Given stable rational matrix functions $G$ and $K$, a procedure is presented to compute a stable rational matrix solution $X$ to the Leech problem associated with $G$ and $K$, that is, $G(z)X(z)=K(z)$ and $\sup_{|z|\leq 1}\|X(z)\|\leq 1$. The solution is given in the form of a state space realization, where the matrices involved in this realization are computed from state space realizations of the data functions $G$ and $K$.
△ Less
Submitted 9 August, 2014;
originally announced August 2014.
-
A pre-order on positive real operators and its invariance under linear fractional transformations
Authors:
S. ter Horst
Abstract:
A pre-order and equivalence relation on the class of positive real Hilbert space operators are introduced, in correspondence with similar relations for contraction operators defined by Yu.L. Shmul'yan in [7]. It is shown that the pre-order, and hence the equivalence relation, are preserved by certain linear fractional transformations. As an application, the operator relations are extended to the c…
▽ More
A pre-order and equivalence relation on the class of positive real Hilbert space operators are introduced, in correspondence with similar relations for contraction operators defined by Yu.L. Shmul'yan in [7]. It is shown that the pre-order, and hence the equivalence relation, are preserved by certain linear fractional transformations. As an application, the operator relations are extended to the class $\fC(\cU)$ of Carathéodory functions on the unit disc $\BD$ of $\BC$ whose values are operators on a finite dimensional Hilbert space $\cU$. With respect to these relations on $\fC(\cU)$ it turns out that the associated linear fractional transformations of $\fC(\cU)$ preserve the equivalence relation on their natural domain of definition, but not necessarily the pre-order, paralleling similar results for Schur class functions in [3].
△ Less
Submitted 3 August, 2014;
originally announced August 2014.
-
A pre-order and an equivalence relation on Schur class functions and their invariance under linear fractional transformations
Authors:
S. ter Horst
Abstract:
Motivated by work of Yu.L. Shmul'yan a pre-order and an equivalence relation on the set of operator-valued Schur class functions are introduced and the behavior of Redheffer linear fractional transformations (LFTs) with respect to these relations is studied. In particular, it is shown that Redheffer LFTs preserve the equivalence relation, but not necessarily the pre-order. The latter does occur un…
▽ More
Motivated by work of Yu.L. Shmul'yan a pre-order and an equivalence relation on the set of operator-valued Schur class functions are introduced and the behavior of Redheffer linear fractional transformations (LFTs) with respect to these relations is studied. In particular, it is shown that Redheffer LFTs preserve the equivalence relation, but not necessarily the pre-order. The latter does occur under some additional assumptions on the coefficients in the Redheffer LFT.
△ Less
Submitted 3 August, 2014;
originally announced August 2014.
-
Bounded Real Lemma and structured singular value versus diagonal scaling: the free noncommutative setting
Authors:
Joseph A. Ball,
Gilbert J. Groenewald,
Sanne ter Horst
Abstract:
The structured singular value $μ$ was introduced independently by Doyle and Safanov as a tool for analyzing robustness of system stability and performance in the presence of structured uncertainty in the system parameters. While the structured singular value provides a necessary and sufficient criterion for robustness with respect to a structured ball of uncertainty, it is notoriously difficult to…
▽ More
The structured singular value $μ$ was introduced independently by Doyle and Safanov as a tool for analyzing robustness of system stability and performance in the presence of structured uncertainty in the system parameters. While the structured singular value provides a necessary and sufficient criterion for robustness with respect to a structured ball of uncertainty, it is notoriously difficult to actually compute. The method of diagonal (or simply "D") scaling, on the other hand, provides an easily computable upper bound (which we call $\hat μ$) for the structured singular value, but provides an exact evaluation of $μ$ (or even a useful upper bound for $μ$) only in special cases. However it was discovered in the 1990s that a certain enhancement of the uncertainty structure (i.e., letting the uncertainty parameters be freely noncommuting linear operators on an infinite-dimensional separable Hilbert space) resulted in the $D$-scaling procedure leading to an exact evaluation of $μ_{\text{enhanced}}$ ($μ_{\text{enhanced}} = \hat μ$), at least for the tractable special cases which were analyzed in complete detail. On the one hand this enhanced uncertainty has some appeal from the physical point of view: one can allow the uncertainty in the plant parameters to be time-varying, or more generally, one can catch the uncertainty caused by the designer's decision not to model the more complex (e.g. nonlinear) dynamics of the true plant. On the other hand, the precise mathematical formulation of this enhanced uncertainty structure makes contact with developments in the growing theory of analytic functions in freely noncommuting arguments and associated formal power series in freely noncommuting indeterminates. In this article we obtain the $\widetilde μ= \hat μ$ theorem for a more satisfactory general setting.
△ Less
Submitted 3 August, 2014;
originally announced August 2014.
-
Coupling and relaxed commutant lifting
Authors:
A. E. Frazho,
S. ter Horst,
M. A. Kaashoek
Abstract:
A Redheffer type description of the set of all contractive solutions to the relaxed commutant lifting problem is given. The description involves a set of Schur class functions which is obtained by combining the method of isometric coupling with results on isometric realizations. For a number of special cases, including the case of the classical commutant lifting theorem, the description yields a p…
▽ More
A Redheffer type description of the set of all contractive solutions to the relaxed commutant lifting problem is given. The description involves a set of Schur class functions which is obtained by combining the method of isometric coupling with results on isometric realizations. For a number of special cases, including the case of the classical commutant lifting theorem, the description yields a proper parameterization of the set of all contractive solutions, but examples show that, in general, the Schur class function determining the contractive lifting does not have to be unique. Also some sufficient conditions are given guaranteeing that the corresponding relaxed commutant lifting problem has only one solution.
△ Less
Submitted 4 February, 2013;
originally announced February 2013.
-
Equivalence after extension and matricial coupling coincide with Schur coupling, on separable Hilbert spaces
Authors:
Sanne ter Horst,
Andre C. M. Ran
Abstract:
It is known that two Banach space operators that are Schur coupled are also equivalent after extension, or equivalently, matricially coupled. The converse implication, that operators which are equivalent after extension or matricially coupled are also Schur coupled, was only known for Fredholm Hilbert space operators and Fredholm Banach space operators with index 0. We prove that this implication…
▽ More
It is known that two Banach space operators that are Schur coupled are also equivalent after extension, or equivalently, matricially coupled. The converse implication, that operators which are equivalent after extension or matricially coupled are also Schur coupled, was only known for Fredholm Hilbert space operators and Fredholm Banach space operators with index 0. We prove that this implication also holds for Hilbert space operators with closed range, generalizing the result for Fredholm operators, and Banach space operators that can be approximated in operator norm by invertible operators. The combination of these two results enables us to prove that the implication holds for all operators on separable Hilbert spaces.
△ Less
Submitted 1 February, 2013;
originally announced February 2013.
-
Rational matrix solutions to the Leech equation: The Ball-Trent approach revisited
Authors:
Sanne ter Horst
Abstract:
Using spectral factorization techniques, a method is given by which rational matrix solutions to the Leech equation with rational matrix data can be computed explicitly. This method is based on an approach by J.A. Ball and T.T. Trent, and generalizes techniques from recent work of T.T. Trent for the case of polynomial matrix data.
Using spectral factorization techniques, a method is given by which rational matrix solutions to the Leech equation with rational matrix data can be computed explicitly. This method is based on an approach by J.A. Ball and T.T. Trent, and generalizes techniques from recent work of T.T. Trent for the case of polynomial matrix data.
△ Less
Submitted 22 January, 2013;
originally announced January 2013.
-
Optimal solutions to matrix-valued Nehari problems and related limit theorems
Authors:
A. E. Frazho,
S. ter Horst,
M. A. Kaashoek
Abstract:
In a 1990 paper Helton and Young showed that under certain conditions the optimal solution of the Nehari problem corresponding to a finite rank Hankel operator with scalar entries can be efficiently approximated by certain functions defined in terms of finite dimensional restrictions of the Hankel operator. In this paper it is shown that these approximants appear as optimal solutions to restricted…
▽ More
In a 1990 paper Helton and Young showed that under certain conditions the optimal solution of the Nehari problem corresponding to a finite rank Hankel operator with scalar entries can be efficiently approximated by certain functions defined in terms of finite dimensional restrictions of the Hankel operator. In this paper it is shown that these approximants appear as optimal solutions to restricted Nehari problems. The latter problems can be solved using relaxed commutant lifting theory. This observation is used to extent the Helton and Young approximation result to a matrix-valued setting. As in the Helton and Young paper the rate of convergence depends on the choice of the initial space in the approximation scheme.
△ Less
Submitted 28 April, 2011;
originally announced April 2011.
-
Robust control, multidimensional systems and multivariable Nevanlinna-Pick interpolation
Authors:
J. A. Ball,
S. ter Horst
Abstract:
The connection between the standard $H^\infty$-problem in control theory and Nevanlinna-Pick interpolation in operator theory was established in the 1980s, and has led to a fruitful cross-pollination between the two fields since. In the meantime, research in $H^\infty$-control theory has moved on to the study of robust control for systems with structured uncertainties and to various types of mul…
▽ More
The connection between the standard $H^\infty$-problem in control theory and Nevanlinna-Pick interpolation in operator theory was established in the 1980s, and has led to a fruitful cross-pollination between the two fields since. In the meantime, research in $H^\infty$-control theory has moved on to the study of robust control for systems with structured uncertainties and to various types of multidimensional systems, while Nevanlinna-Pick interpolation theory has moved on independently to a variety of multivariable settings. Here we review these developments and indicate the precise connections which survive in the more general multidimensional/multivariable incarnations of the two theories.
△ Less
Submitted 18 June, 2009;
originally announced June 2009.
-
A W*-correspondence approach to multi-dimensional linear dissipative systems
Authors:
J. A. Ball,
S. ter Horst
Abstract:
Recent work of the operator algebraists P. Muhly and B. Solel, primarily motivated by the theory of operator algebras and mathematical physics, delineates a general abstract framework where system theory ideas appear in disguised form. These system-theory ingredients include: system matrix for an input/state/output linear system, Z-transform from a "time domain" to a "frequency domain", and Z-tr…
▽ More
Recent work of the operator algebraists P. Muhly and B. Solel, primarily motivated by the theory of operator algebras and mathematical physics, delineates a general abstract framework where system theory ideas appear in disguised form. These system-theory ingredients include: system matrix for an input/state/output linear system, Z-transform from a "time domain" to a "frequency domain", and Z-transform of the output signal given by an observation function applied to the initial condition plus a transfer function applied to the Z-transform of the input signal. Here we set down the definitions and main results for the general Muhly-Solel formalism and illustrate them for two specific types of multi-dimensional linear systems: (1) dissipative Fornasini-Marchesini state-space representations with transfer function equal to a holomorphic operator-valued function on the unit ball in ${\mathbb C}^d$, and (2) noncommutative dissipative Fornasini-Marchsini linear systems with evolution along a free semigroup and with transfer function defined on the noncommutative ball of strict row contractions on a Hilbert space.
△ Less
Submitted 4 June, 2009;
originally announced June 2009.
-
Redheffer representations and relaxed commutant lifting
Authors:
S. ter Horst
Abstract:
It is well known that the solutions of a (relaxed) commutant lifting problem can be described via a linear fractional representation of the Redheffer type. The coefficients of such Redheffer representations are analytic operator-valued functions defined on the unit disc D of the complex plane. In this paper we consider the converse question. Given a Redheffer representation, necessary and suffic…
▽ More
It is well known that the solutions of a (relaxed) commutant lifting problem can be described via a linear fractional representation of the Redheffer type. The coefficients of such Redheffer representations are analytic operator-valued functions defined on the unit disc D of the complex plane. In this paper we consider the converse question. Given a Redheffer representation, necessary and sufficient conditions on the coefficients are obtained guaranteeing the representation to appear in the description of the solutions to some relaxed commutant lifting problem. In addition, a result concerning a form of non-uniqueness appearing in the Redheffer representations under consideration and an harmonic maximal principle, generalizing a result of A. Biswas, are proved. The latter two results can be stated both on the relaxed commutant lifting as well as on on the Redheffer representation level.
△ Less
Submitted 23 October, 2009; v1 submitted 4 June, 2009;
originally announced June 2009.
-
A time-variant norm constrained interpolation problem arising from relaxed commutant lifting
Authors:
A. E. Frazho,
S. ter Horst,
M. A. Kaashoek
Abstract:
A time-variant analogue of an interpolation problem equivalent to the relaxed commutant lifting problem is introduced and studied. In a somewhat less general form the problem already appears in the analysis of the set of all solutions to the three chain completion problem. The interpolants are upper triangular operator matrices of which the columns induce contractive operators. The set of all so…
▽ More
A time-variant analogue of an interpolation problem equivalent to the relaxed commutant lifting problem is introduced and studied. In a somewhat less general form the problem already appears in the analysis of the set of all solutions to the three chain completion problem. The interpolants are upper triangular operator matrices of which the columns induce contractive operators. The set of all solutions of the problem is described explicitly. The results presented are time-variant analogues of the main theorems in [A.E. Frazho, S. ter Horst, and M.A. Kaashoek, All solutions to the relaxed commutant lifting problem, Acta Sci. Math. (Szeged) 72 (2006), 299--318].
△ Less
Submitted 18 September, 2008;
originally announced September 2008.
-
A constrained Nevanlinna-Pick interpolation problem for matrix-valued functions
Authors:
J. A. Ball,
V. Bolotnikov,
S. ter Horst
Abstract:
Recent results of Davidson-Paulsen-Raghupathi-Singh give necessary and sufficient conditions for the existence of a solution to the Nevanlinna-Pick interpolation problem on the unit disk with the additional restriction that the interpolant should have the value of its derivative at the origin equal to zero. This concrete mild generalization of the classical problem is prototypical of a number of…
▽ More
Recent results of Davidson-Paulsen-Raghupathi-Singh give necessary and sufficient conditions for the existence of a solution to the Nevanlinna-Pick interpolation problem on the unit disk with the additional restriction that the interpolant should have the value of its derivative at the origin equal to zero. This concrete mild generalization of the classical problem is prototypical of a number of other generalized Nevanlinna-Pick interpolation problems which have appeared in the literature (for example, on a finitely-connected planar domain or on the polydisk). We extend the results of Davidson-Paulsen-Raghupathi-Singh to the setting where the interpolant is allowed to be matrix-valued and elaborate further on the analogy with the theory of Nevanlinna-Pick interpolation on a finitely-connected planar domain.
△ Less
Submitted 13 September, 2008;
originally announced September 2008.
-
Equivalence of robust stabilization and robust performance via feedback
Authors:
J. A. Ball,
Q. Fang,
G. J. Groenewald,
S. ter Horst
Abstract:
One approach to robust control for linear plants with structured uncertainty as well as for linear parameter-varying (LPV) plants (where the controller has on-line access to the varying plant parameters) is through linear-fractional-transformation (LFT) models. Control issues to be addressed by controller design in this formalism include robust stability and robust performance. Here robust perfo…
▽ More
One approach to robust control for linear plants with structured uncertainty as well as for linear parameter-varying (LPV) plants (where the controller has on-line access to the varying plant parameters) is through linear-fractional-transformation (LFT) models. Control issues to be addressed by controller design in this formalism include robust stability and robust performance. Here robust performance is defined as the achievement of a uniform specified $L^{2}$-gain tolerance for a disturbance-to-error map combined with robust stability. By setting the disturbance and error channels equal to zero, it is clear that any criterion for robust performance also produces a criterion for robust stability. Counter-intuitively, as a consequence of the so-called Main Loop Theorem, application of a result on robust stability to a feedback configuration with an artificial full-block uncertainty operator added in feedback connection between the error and disturbance signals produces a result on robust performance. The main result here is that this performance-to-stabilization reduction principle must be handled with care for the case of dynamic feedback compensation: casual application of this principle leads to the solution of a physically uninteresting problem, where the controller is assumed to have access to the states in the artificially-added feedback loop. Application of the principle using a known more refined dynamic-control robust stability criterion, where the user is allowed to specify controller partial-state dimensions, leads to correct robust-performance results. These latter results involve rank conditions in addition to Linear Matrix Inequality (LMI) conditions.
△ Less
Submitted 19 August, 2008;
originally announced August 2008.
-
Relaxed commutant lifting: existence of a unique solution
Authors:
S. ter Horst
Abstract:
In this paper we present necessary and sufficient conditions for the existence of a unique solution to the relaxed commutant lifting problem. The obtained conditions are more complicated than those for the classical commutant lifting setting, and earlier obtained sufficient conditions turn out not to be necessary conditions. It is also shown that these conditions simplify in certain special case…
▽ More
In this paper we present necessary and sufficient conditions for the existence of a unique solution to the relaxed commutant lifting problem. The obtained conditions are more complicated than those for the classical commutant lifting setting, and earlier obtained sufficient conditions turn out not to be necessary conditions. It is also shown that these conditions simplify in certain special cases.
△ Less
Submitted 18 August, 2008;
originally announced August 2008.
-
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.
