The complex matrix cube problem (in “Summer Projects in Mathematics at the Technion”)
by Orr Shalit
Next week I will participate as a mentor in the Technion’s Summer Projects in Mathematics. The project I offered is called “Numerical explorations of open problems from operator theory”, and it suggests three open problems in operator theory where theoretical progress seems to be stuck, and for which I believe that some computer experiments can help us get a feeling of what is going on. I also hope that thinking seriously about designing experiments can help us to understand some general facets of the theory.
I have been in contact with the students in the last few weeks and we decided to concentrate on “the matrix cube problem”. On Sunday, when the week begins, I will need to present the background to the project to all participants of this week, and I have seven minutes (!!) for this. As everybody knows, the shorter the presentation, the harder the task is, and the more preparation and thought it requires. So I will take use this blog to practice my little talk.
Introduction to the matrix cube problem
This project is in the theory of operator spaces. My purpose is to give you some kind of flavour of what the theory is about, and what we will do this week to contribute to our understanding of this theory.
Let be an -dimensional Hilbert space (this just means: an -dimensional inner product space over the complex numbers). Recall that is also a normed space with norm . A basic fact is that every such is isometrically isomorphic to the space equipped with with standard inner product
which induces the Euclidean norm . This means that there exists a linear isomorphism that preserves the inner product, and in particular, the norm : .
Take two linearly independent vectors , and construct the subspace . Fact: no matter how we choose and , is always a -dimensional Hilbert space, i.e., is isometrically isomorphic to with the Euclidean norm.
Now let be the space of linear operators on . This space is also normed space, when we give it the norm
Using the isometric isomorphism , we will identify with the space of matrices.
Take two linearly independent operators , and construct the subspace . As a linear space, is isomorphic to . However, as a normed space might be any one of an uncountable family of two dimensional normed spaces. For example, can be isometrically isomorphic to or to . On the other hand, if we are assuming that is finite dimensional, then is cannot isometrically isomorphic to ! (If we allow for infinite dimensional , then we can get any two dimensional normed space as the span of two operators).
Understanding the normed space boils down to computing the norm:
for every .
It is remarkable how such a simple-minded problem is actually very difficult. What mathematicians can do in difficult situations is try to do one of the following:
- Experiment with examples. I cannot overstate how much it is important for the health of one’s research that examples be sought and examined. Since calculations regarding the norm of matrices of moderate size require incredibly tedious calculations, it becomes at some point obvious that we should recruit the computer to help us explore what is going on.
- Solve the problem for an interesting special case. For example, suppose that are operators and are normal and commuting. Then we know that there exists an orthonormal basis in which and . Then calculation of any polynomial in is easy, and in particular .
- Reduce the problem to a special case. For example, the easiest case is when and are scalars, i.e., . The case of two commuting normal operators reduces to the case of scalars ones, because in this case decomposes as the direct sum .
We are led to the question: can we learn something about the case of general operators by using the fact that the problem is solved for commuting normal ones?
Now, a general pair of operators cannot be decomposed into some kind of “sum” of normal commuting pairs. However, we do have the following theorem.
Theorem. There exists a constant such that for any two matrices , identified with two operators on , there exists two commuting normal operators such that
The equality (*) gives , so we can get a bound on if we have a reasonable bound on .
We are therefore led to the question: what is the best possible value of ?
I have worked on this problem with collaborators, and we have partial results. The optimal constant eludes us, and we are stuck, and we are not sure what the constant should be. What to do? We go back to option no. 1: experiment with examples.
Ok. That is clearly more than seven minutes. To force myself to adhere to the seven minute limit, I made slides (there are four real slides there, according to the rule a slide for every two minutes).