Teo Banica got a bit bored by the lockdown and started to write a series of blogs on various topics, close to his heart and his knowledge – one of them is also one free probability. Check it out here. It’s written in Teo’s personal style, which might seem annoying or provocative to some, but in any case it’s interesting …
At the moment there are many online activities going on …. and here is another one: the Wales Mathematical Physics Zoom Seminar, organized by Edwin Beggs, David Evans, Gwion Evans,Rolf Gohm, Tim Porter.
Why do I mention in particular this one; there are at least two reasons. Today there is a talk by Mikael Rordam around the Connes embedding problem, and next week I will give a talk, on my joint work with Tobias Mai and Sheng Yin of the last years around rational functions of random matrices and operators.
If you are interested in any of this, here is the website of the seminar, where you can find more information.
Due to the current conditions, Voiculescu’s seminar on free probability and operator algebras is now being held online via the platform Zoom. Members of the community worldwide are welcome to join.
Announcements and the Zoom link for each talk will be shared via a mailing list. If you would like to be added to this list, please send an email to: firstname.lastname@example.org
In this webpage you can find the titles, abstracts and dates for past and future talks: https://math.berkeley.edu/~jgarzav/seminar.html
Jorge Garza Vargas
I have now finished my class on random matrices. The last lecture motivated the notion of (asymptotic) freeness from the point of view of looking on independent GUE random matrices. So you might think that there should now be continuations on free probability and alike coming soon. But actually this part of the story was already written and recorded and if you don’t want to spoil the tension you should watch the series not in its historical but in its logical order:
- Random Matrices (videos, homepage of class)
- Free Probability Theory (videos, homepage of class)
- Non-commutative Distributions (and Operator-Valued free Probability Theory) (videos, homepage of class)
More information, in particular the underlying script (sometimes in a handwritten version, sometimes in a more polished texed version), can be found on the corresponding home page of the lecture series.
May freeness be with you …
There is an exciting new development on Connes’ embedding problem. The recent preprint MIP*=RE by Ji, Natarajan, Vidick, Wright, Yuen claims to have solved the problem to the negative via a negative answer to Tsirelson’s problem via the relation to decision problems on the class MIP* of languages that can be decided by a classical verifier interacting with multiple all powerful quantum provers. I have to say that I don’t really understand what all this is about – but in any case there is quite some excitement about this and there seems to be a good chance that Connes’ problem might have a negative solution. To get some idea about the excitement around this, you might have look on the blogs of Scott Aaronson or of Gil Kalai. At the operator front I have not yet seen much discussion, but it might be that we still have to get over our bafflement.
Anyhow, there is now a realistic chance that there are type II factors which are not embeddable and this raises the question (among many others) what this means for free probability. I was asked this by a couple of people and as I did not have a really satisfying answer I want to think a bit more seriously about this. At the moment my answer is just: Okay, we have our two different approaches to free entropy and a negative solution to Connes embedding problem means that they cannot always agree. This is because we always have for the non-microstates free entropy that , if are free semicircular variables which are free from . The same property for the microstates free entropy , however, would imply that have microstates, i.e., the von Neumann algebra generated by is embeddable; see these notes of Shlyakhtenko.
But does this mean more then just saying that there are some von Neumann algebras for which we don’t have microstates but for which the non-microstates approach give some more interesting information, or is there more to it? I don’t know, but hopefully I will come back with more thoughts on this soon.
Of course, everybody is invited to share more information or thoughts on this!
About two weeks ago I posted with Tobias Mai on the archive the preprint “A Note on the Free and Cyclic Differential Calculus”. Here is what we say in the abstract:
In 2000, Voiculescu proved an algebraic characterization of cyclic gradients of noncommutative polynomials. We extend this remarkable result in two different directions: first, we obtain an analogous characterization of free gradients; second, we lift both of these results to Voiculescu’s fundamental framework of multivariable generalized difference quotient rings. For that purpose, we develop the concept of divergence operators, for both free and cyclic gradients, and study the associated (weak) grading and cyclic symmetrization operators, respectively. One the one hand, this puts a new complexion on the initial polynomial case, and on the other hand, it provides a uniform framework within which also other examples – such as a discrete version of the Ito stochastic integral – can be treated.
At the moment I am not in the mood to say more specifically about this preprint (maybe Tobias or I will do so later), but I want to take the opportunity — in particular as the first anniversary of this blog is also coming closer — to put this in a bigger context and mumble a bit about the bigger picture and our dreams … so actually about what this blog should be all about.
Free probability theory has come a long way. Whereas born in the subject of operator algebras, the realization that is also has to say quite a bit about random matrices paved the way to its use in many (and, in particular, also applied) subjects. Hence there are now also papers in statistics, like this one, or in deep learning, like this one or this one, which use tools from free probability for their problems. The last words on how far the use of free probability goes in those subjects are surely not yet spoken but I am looking forward to see more on this.
This is of course all great and nice for our subject, but on the other hand there is also a bigger picture in the background, where I would hope for some more fundamental uses of free probability.
This goes roughly like this. There is the classical world, where we are dealing with numbers and functions and everything commutes; then there is our non-commutative world, where we are dealing with operators and limits of random matrices and where on the basic level nothing commutes. That’s where quite a bit of maximal non-commutative mathematics has been (and is still being) developed from various points of views:
- free probability deals with a non-commutative notion of independence for non-commuting random variables;
- there is a version of a non-commutative differential calculus which allows to talk about derivatives in non-commutative variables; my paper with Tobias mentioned above is in this context and tries to formalize and put all this a bit further;
- free analysis (or free/non-commutative function theory) aims at a non-commutative version of classical complex analysis, i.e., a theory of analytic functions in non-commuting variables;
- free quantum groups provide the right kind of symmetries for such non-commuting variables.
The nice point is that all those subjects have their own source of motivation but it turns out that there are often relations between them which are non-commutative analogues of classical results.
So, again this is all great and nice, BUT apart from the commutative and our maximal non-commutative world there is actually the, maybe most important, quantum world. This is of course also non-commutative, but only up to some point. There operators don’t commute in general, but commutativity is replaced by some other relations, like the canonical commutation relations, and there are actually still a lot of operators which commute (for example, measurements which are at space-like positions are usually modeled by commuting operators). Because of this commutativity, basic concepts of free probability do not have a direct application there.
Here is a bit more concretely what I mean with that. In free probability we have free analogues of such basic concepts as entropy or Fisher information. There are a lot of nice statements and uses of those concepts and via random matrices they can also be seen as arising as a kind of large N limit of the corresponding classical concepts. However, in the classical world those concepts have usually also a kind of operational meaning by being the answer to fundamental questions. For example, the classical Shannon entropy is the answer to the question how much information one can transmit over classical channels. Now there are quantum channels and one can ask how much information one can transmit over them; again there are answers in terms of an entropy, but this is unfortunately not free entropy, but von Neumann entropy, a more commutative non-commutative cousin of classical entropy. There are just too many tensor products showing up in the quantum world which prevent a direct use of basic free probability concepts. But still, I am dreaming of finding some day operational meanings of free entropy and similar quantities.
Anyhow, I hope to continue to explain in this blog more of the concrete results and problems which we have in free probability and related subjects; but I just wanted to point out that there are also some bigger dreams in the background.
Recently I became aware of the so-called Sachdev-Ye-Kitaev (SYK) model, which has attracted quite some interest in the last couple of years in physics, as a kind of toy model for quantum holography. What attracted my attention was the fact that in some limit there appears a q-deformation of the Gauss distribution – the same one which also showed up in my old papers with Marek Bozejko and Burkhard Kümmerer on non-commutative versions of Brownian motions, see here and here. Whereas in the SYK context there is usually only one limit distribution, in our non-commutative probability context we usually have the multivariate situation with several random variables (corresponding to the increments of the process). Thus I wanted to see whether one can also extend the calculations in the SYK model to a multivariate setting. This is done together with Miguel Pluma in our paper The SYK Model and the q-Brownian Motion. It turns out that one gets indeed q-Gaussian variables corresponding to orthogonal vectors for independent SYK models.
It is not clear to me whether such independent copies of SYK models have any physical relevance. However, there have recently been some papers by Berkooz and collaborators, here and here, where they calculated the 2-point and the 4-point function for the large N double scaled SYK model, by using also essentially the combinatorics of such multivariate extensions.
Those calculations are quite technical and not easy, and it seems to be unclear whether one can get a final analytic result. This seems to be related to our problems of doing any useful analytic calculations with the multivariate q-Gaussian distribution, which is one of the main obstructions for progress on free entropy or Brown measures for the q-Gaussian distributions. (Okay, there has been some progress via free transport by Alice Guionnet and Dima Shlyakhtenko, but this is quite abstract without concrete analytic formulas.) It would be nice (and surely helpful) if we could get some more concrete description of the operator-valued Cauchy transform of the multivariate q-Gaussian distribution.