Dilation theory in finite dimensions: the possible, the impossible and the unknown (Q2453640)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Dilation theory in finite dimensions: the possible, the impossible and the unknown |
scientific article |
Statements
Dilation theory in finite dimensions: the possible, the impossible and the unknown (English)
0 references
10 June 2014
0 references
The well-known dilation theorem of Sz.-Nagy states that if \(T\) is a contraction (that is, \(\|T\|\leq 1\)) on a Hilbert space \(H\), then there exists a Hilbert space \(K \supseteq H\) and a unitary \(U\) on \(K\) such that \[ T^k = P_{H}U^kP_{H} \quad \text{for all }k\in\mathbb{N}.\tag{\(\ast\)} \] Here, \(P_{H}\) is the orthogonal projection of \(K\) onto \(H\). Sz.-Nagy's theorem has numerous applications which include simple and elegant proofs of von Neumann's inequality and an ergodic theorem for contractions. However, the theory is highly infinite dimensional in the sense that even in the case \(H\) is of finite dimension, the space \(K\) is always infinite dimensional unless \(T\) is already a unitary operator. The main goal of the paper under review is to discuss how much of dilation theory can be worked out within the realm of linear algebra. In order to do that, the authors introduce the notion of \(N\)-dilations. A unitary \(U\) is an \(N\)-dilation of \(T\) if equation (\(\ast\)) holds for all \(k=1,\dots, N\). Given a contraction \(T\), the existence of an \(N\)-dilation acting on a finite dimensional space is proven. (As the authors point out, this result was proved by \textit{E. Egerváry} [Acta Sci. Math. 15, 178--182 (1954; Zbl 0056.11004)].) A proof of von~Neumann's inequality for matrices can now be given using \(N\)-dilations. Things become more difficult and interesting when one considers dilation theory for commuting tuples of contractions. Let \(T_1,\dots, T_k\) be commuting contractions on \(H\) and let \(1\leq N\leq\infty\). A unitary \(N\)-dilation for \(T_1,\dots, T_k\) is a \(k\)-tuple of commuting unitaries \(U_1,\dots, U_k\) on \(K\supseteq H\) such that \[ T_1^{n_1}\dots T_k^{n_k} = P_{H}U_1^{n_1}\dots U_k^{n_k}P_{H} \] for all non-negative integers \(n_1,\dots, n_k\) with \(n_1+\dots+n_k\leq N\). When \(N=\infty\), we simply have the notion of unitary dilation. As is well known, Ando's theorem asserts that any pair of commuting contractions has a unitary dilation. It is shown in the paper that a unitary \(N\)-dilation exists if the contractions \(T_1,\dots, T_k\) are assumed to doubly commute. However, unitary \(N\)-dilations do not always exist in general when \(k\geq 3\). Applications of the theory are also discussed. In particular, the authors present an interesting result about polynomials in several variables. Several open questions are raised. In fact, it is an open question whether there exists a ``commutant lifting theorem'' in the setting of unitary \(N\)-dilations. The paper concludes with a topic about \(*\)-endomorphic dilations of completely positive maps. The authors show that this theory is truly infinite dimensional in nature: it is generally impossible to find dilations acting on finite dimensional spaces.
0 references
unitary dilation
0 references
linear algebra
0 references
commutant lifting theorem
0 references
completely positive maps
0 references