## Category: Research

### 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:

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:

### Dilations, inclusions of matrix convex sets, and completely positive maps

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 $A_1, \ldots, A_d$ to another given set $B_1, \ldots, B_d$. See Section 3 below.]