## Category: Research

### The complex matrix cube problem summer project – summary of results

In the previous post I announced the project that I was going to supervise in the Summer Projects in Mathematics week at the Technion. In this post I wish to share what we did and what we found in that week.

I had the privilege to work with two very bright students who have recently finished their undergraduate studies: Mattya Ben-Efraim (from Bar-Ilan University) and Yuval Yifrach (from the Technion). It is remarkable the amount of stuff they learned for this one week project (the basics of C*-algebras and operator spaces), and that they actually helped settle the question that I raised to them.

I learned a lot of things in this project. First, I learned that my conjecture was false! I also learned and re-learned some programming abilities, and I learned something about the subtleties and limitations of numerical experimentation (I also learned something about how to supervise an undergraduate research project, but that’s besides the point right now).

### Minimal and maximal matrix convex sets

The final version of the paper Minimal and maximal matrix convex sets, written by Ben Passer, Baruch Solel and myself, has recently appeared online. The publisher (Elsevier) sent us a link through which the official final version is downloadable, for anyone who clicks on the following link before May 26, 2018. Here is the link for the use of the public:

Click here to download the journal version of the paper

Of course, if you don’t click by May 26 – don’t panic! We always put our papers on the arXiv, and here is the link to that. Here is the abstract:

Abstract. For every convex body $K \subseteq \mathbb{R}^d$, there is a minimal matrix convex set $\mathcal{W}^{min}(K)$, and a maximal matrix convex set $\mathcal{W}^{max}(K)$, which have $K$ as their ground level. We aim to find the optimal constant $\theta(K)$ such that $\mathcal{W}^{max}(K) \subseteq \theta(K) \cdot \mathcal{W}^{min}(K)$. For example, if $\overline{\mathbb{B}}_{p,d}$ is the unit ball in $\mathbb{R}^d$ with the $p$-norm, then we find that

$\theta(\overline{\mathbb{B}}_{p,d}) = d^{1-|1/p-1/2|}$ .

This constant is sharp, and it is new for all $p \neq 2$. Moreover, for some sets $K$ we find a minimal set $L$ for which $\mathcal{W}^{max}(K) \subseteq \mathcal{W}^{min}(L)$. In particular, we obtain that a convex body $K$ satisfies $\mathcal{W}^{max}(K) = \mathcal{W}^{min}(K)$ only if $K$ is a simplex.

These problems relate to dilation theory, convex geometry, operator systems, and completely positive maps. For example, our results show that every $d$-tuple of self-adjoint contractions, can be dilated to a commuting family of self-adjoints, each of norm at most $\sqrt{d}$. We also introduce new explicit constructions of these (and other) dilations.

### The nightmare

In September 30 the mathematician Vladimir Voevodsky passed away. Voevodsky, a Fields medalist, is a mathematician of whom I barely heard earlier, but after bumping into an obituary I was drawn to read about him and about his career. His story is remarkable in many ways. Voevodsky comes out as brilliant, intellectually honest giant, who bravely and honestly confronted the crisis that he observed “higher dimensional mathematics” was in.

### Algebras of bounded noncommutative analytic functions on subvarieties of the noncommutative unit ball

Guy Salomon, Eli Shamovich and I recently uploaded to the arxiv our paper “Algebras of bounded noncommutative analytic functions on subvarieties of the noncommutative unit ball“. This paper blends in with the current growing interest in noncommutative function theory, continues and unifies several strands of my past research.

A couple of years ago, after being inspired by lectures of Agler, Ball, McCarthy and  Vinnikov on the subject, and after years of being influenced by Paul Muhly and Baruch Solel’s work, I realized that many of my different research projects (subproduct systems, the isomorphism problem, space of Dirichlet series with the complete Pick property, operator algebras associated with monomial ideals) are connected by the unifying theme of bounded analytic nc functions on subvarieties of the nc ball. “Realized” is a strong word, because many of my original ideas on this turned out to be false, and others I still don’t know how to prove. Anyway, it took me a couple of years and a lot of help, and here is this paper.

In short, we study algebras of bounded analytic functions on subvarieties of the the noncommutative (nc) unit ball :

$\mathfrak{B}_d = \{(X_1, \ldots, X_d)$ tuples of $n \times n$ matrices, $\sum X_i X_i < I\}$

as well as bounded analytic functions that extend continuously to the “boundary”. We show that these algebras are multiplier algebras of appropriate nc reproducing kernel Hilbert spaces, and are completely isometrically isomorphic to the quotient of $H^\infty(\mathfrak{B}_d)$ (the bounded nc analytic functions in the ball) by the ideal of nc functions vanishing on the variety. We classify these algebras in terms of the varieties, similar to classification results in the commutative case. We also identify previously studied algebras (such as multiplier algebras of complete Pick spaces and tensor algebras of subproduct systems) as algebras of bounded analytic functions on nc varieties. See the introduction for more.

We certainly plan to continue this line of research in the near future – in particular, the passage to other domains (beyond the ball), and the study of algebraic/bounded isomorphisms.

### Aleman, Hartz, McCarthy and Richter characterize interpolating sequences in complete Pick spaces

The purpose of this post is to discuss the recent important contribution by Aleman, Hartz, McCarthy and Richter to the characterization of interpolating sequences (for multiplier algebras of certain Hilbert function spaces). Their recent paper “Interpolating sequences in spaces with the complete Pick property” was uploaded to the arxiv about two weeks ago; here I will just give some background and state the main result. (Even more recently these four authors released yet another paper that looks very interesting – this one.)

#### 1. Background – interpolating sequences

We will be working with the notion of Hilbert function spaces – also called reproducing Hilbert spaces (see this post for an introduction). Suppose that $H$ is a Hilbert function space on a set $X$, and $k$ its reproducing kernel. The Pick interpolation problem is the following: