Dilations, inclusions of matrix convex sets, and completely positive maps
by Orr Shalit
In part to help myself to prepare for my talk in the upcoming IWOTA, and in part to help myself prepare for getting back to doing research on this subject now that the semester is over, I am going to write a little exposition on my joint paper with Davidson, Dor-On and Solel, Dilations, inclusions of matrix convex sets, and completely positive maps. Here are the slides of my talk.
The research on this paper began as part of a project on the interpolation problem for unital completely positive maps*, but while thinking on the problem we were led to other problems as well. Our work was heavily influenced by works of Helton, Klep, McCullough and Schweighofer (some which I wrote about the the second section of this previous post), but goes beyond. I will try to present our work by a narrative that is somewhat different from the way the story is told in our paper. In my upcoming talk I will concentrate on one aspect that I think is most suitable for a broad audience. One of my coauthors, Adam Dor-On, will give a complimentary talk dealing with some more “operator-algebraic” aspects of our work in the Multivariable Operator Theory special session.
[*The interpolation problem for unital completely positive maps is the problem of finding conditions for the existence of a unital completely positive (UCP) map that sends a given set of operators to another given set . See Section 3 below.]
Given a tuple of operators , a tuple is said to be a dilation of if is a subspace of and if for every ,
This is a classical, highly developed, and popular notion (see this survey by Ambrozie and Muller, or this exposition which I wrote with Eliahu Levy a few years ago, which has a somewhat non-classical twist).
Classically, the operators given at the outset were assumed commuting, and one searched for a dilation consisting of commuting normal operators. Helton, Klep, McCullough and Schweighofer’s dilation result is completely different, because they dilate noncommuting operators to commuting operators.
Theorem (Helton, Klep, McCullough, Schweighofer). Let be a fixed (real) Hilbert space of dimension . There exists a Hilbert space , an isometry , a constant and a commuting family of selfadjoint contractions on , such that for every selfadjoint , there is some such that
In other words, they say that all selfadjoint contractions can be simultaneously dilated (up to some scaling) to a commuting family of selfadjoint contractions. I remember my reaction when seeing the abstract of their preprint on the arxiv mailing list. My first reaction was denial: this can’t be true. Next: well, maybe it’s true, but then it is probably trivial. And then: in any case, it is probably not interesting – just another variation on a theme. Who cares?
Wrong, wrong, and wrong. It’s true (obviously), non-trivial (in particular because they “find” the optimal constant), and turns out to be very important (see the introduction of their paper to see connections to semidefinite programming). And it is very interesting from an operator theory/operator algebras perspective.
We were highly inspired by the HKMS paper, and in particular we were led to ask the following questions:
- Does a version of this work for operators on an infinite dimensional Hilbert space? Can one find a dilation constant that is independent of the ranks of the dilated operators?
- If one starts with operators on a finite dimensional Hilbert space, can they be dilated to commuting normal operators acting on a finite dimensional Hilbert space?
- Given additional information, can one obtain more precise spectral control on the dilation, something more specific than that they are all contractions?
(There is also a natural question of whether this works for complex instead of real spaces, but this is not hard and less interesting). For 1 and 2 one must restrict the number of operators being dilated, because of the sharpness of the HKMS result.
In our paper we show, regarding question 2 above, that starting from finite dimensional spaces one can dilate to operators on finite dimensional spaces – this is a general fact that follows from work of my former student David Cohen’s master thesis. So I will concentrate here only on answers to questions 1 and 3.
Theorem (Davidson, Dor-On, Shalit and Solel). Let be a convex subset of which has some nice symmetry properties. For every -tuple of selfadjoint operators such that the joint numerical range is contained in , there is a -tuple of commuting self-adjoint operators such that the joint spectrum is contained in and such that is a dilation of .
In other words, after rescaling by , the tuple can be dilated to a commuting normal tuple with joint spectrum contained in the joint numerical range of .
Some explanations are in order:
- What is joint numerical range?
- What is joint spectrum?
- What do we mean by nice symmetry properties?
The joint numerical range of a tuple is just the set consisting of all points of the form , where is a state. (WARNING: The definition I am using here might be different from another one that comes to mind, that is the set of all such points where ranges over all vector states, and this gives rise to a different notion, in general).
The joint spectrum of commuting normal operators is a basic notion, especially when the operators act on a finite dimensional space, so I won’t elaborate further.
By nice symmetry properties, I mean, roughly, that is invariant under the projection onto each member of a frame. Anything that is nicely symmetric around the origin, like a convex regular polytope, or a ball, centred around the origin, satisfies this. In the case where is a cube , the assumption corresponds precisely to the assumption that is a tuple of contractions (that is, for all ), as in the theorem of HKMS.
Note that our constant , unlike HKMS’s constant , is independent of the ranks of the operators, and this theorem holds for operators on an infinite dimensional Hilbert space. On the other hand, unlike HKMS, our constant depends on the number of operators – we have to fix the number of operators to be . Thus our theorem is not a generalization of their theorem – it is a different kind of theorem (our theorem is likely to be of less practical significance).
2. Inclusions of matrix convex sets
My goal now is to explain an application of our dilation result. A matrix convex set is as set of the form where for all , the set is a subset of (the set of all -tuples of matrices) or a subset of (the set of all -tuples of selfadjoint matrices), such that
- is closed under direct sums;that is, if , then , where .
- is closed under the application of unital completely positive (UCP) maps; that is, if , then for every UCP map .
If and are two matrix convex sets, we say that if for all . Here is a natural question:
Suppose that we know . What can we say about ? In particular, if we know that , what can we say about the relationship between and ?
(Helton, Klep and McCullough explain in this paper why this kind of question is interesting and even give references to why it is of practical significance.)
To address the “in particular” part of the question above, it is helpful to define, given a convex set , the matrix convex sets and , which are the maximal and minimal matrix convex sets “living over” . These maximal and minimal sets do exist, and we observed that is equal to the set of all tuples that have a normal dilation such that . We thus obtain the following corollary.
Corollary (DDSS): For a nice convex set as in the theorem above, . In particular, if and are matrix convex sets, then implies that .
We also show by example that is the best constant that works for all such . For example, is the best constant that works when is the (Euclidean) unit ball. Embarrassingly, we do not know whether is the best constant when is equal to the unit cube .
In fact, we obtain a shaper inclusion theorem than the corollary above. I will only illustrate with one example – for the full theorem (involving frames and polar duals) see the last section in our paper.
Let denote the -dimensional “unit diamond”,
Theorem (DDSS): .
This is a significant strengthening of the corollary above, because , and has a much smaller diameter. So is significantly smaller than .
3. Interpolation of UCP maps
Finally, I wish to mention one reason why one might be interested in the inclusion problems of matrix convex sets; this reason being the connection to interpolation of UCP maps. Among the many topics I won’t have time to discuss in my talk, this one is the one I wish to talk about most, because the interpolation problem was really the thing we had on our mind when starting this research. (Adam Dor-On will talk about this in his talk).
Given a tuple of operators on , we define to be the set
is a UCP map .
Then the set is a matrix convex set in .
Theorem (DDSS): Let and be two -tuples of operators on Hilbert spaces and , respectively. Then there exists a UCP map such that for all if and only .
This theorem almost looks obvious, and indeed it is an easy extension of a Theorem of Arveson treating the case . But from this theorem we recover and sharpen some results from the literature, for example, we show that for tuples of commuting normal operators and , there is a UCP map sending to if and only the joint spectrum of is contained in the convex hull of the joint spectrum of . In turn, this reduced to a theorem of Li and Poon (see this paper), that obtained this for commuting normal matrices.
We also obtain an approximate version of the above theorem: there is a UCP map such that if and only if, roughly, is contained in up to an error of at most .