Noncommutative Analysis

Month: May, 2014

Daniel Spielman talks at HUJI – thoughts

I got an announcement in the email about the “Erdos Lectures”, that will be given by Daniel Spielman in the Hebrew University of Jerusalem next week (here is the poster on Gil Kalai’s blog). The title of the first lecture is “The solution of the Kadison-Singer problem”. Recall that not long ago Markus, Spielman and Srivastava proved Weaver’s KS2 conjecture, which implies a positive solution to Kadison-Singer (the full story been worked out to expository perfection on Tao’s blog).

My immediate response to this invitation was to start planning a trip to Jerusalem on Monday – after all it is not that far, it’s about a solution of a decades old problem, and Daniel Spielman is sort of a Fields medalist. I highly recommend to everyone to go hear great scientists live whenever they have the opportunity. At worst, their lectures are “just” inspiring. It is not for the mathematics that one goes for in these talks, but for all the stuff that goes around mathematics (George Mostow’s unusual colloquium given at BGU on May 2013 comes to mind).

But then I remembered that I have some obligations on Monday, so I searched and found a lecture by Daniel Spielman with the same title online: here. Watching the slides with Spielman’s voice is not as inspiring as hearing and seeing a great mathematician live, but quite good. He makes it look so easy!

In fact, Spielman does not discuss KS at all. He says (about a minute into the talk) “Actually, I don’t understand, really, the Kadison-Singer problem”. A minute later he has a slide where the problem is written down, but he says “let me not explain what it is”, and sends the audience to read Nick Harvey’s survey paper (which is indeed very nice). These were off-hand remarks, and I should not catch someone at his spoken word, (and I am sure that even things that Spielman would humbly claim to “not understand, really”, he probably understands as well as I do, at least), but the naturality in which the KS problem was pushed aside in a talk about KS made we wonder.

In the post I put up soon after appearance of the paper I wrote (referring to the new proof of KS2) that “… this looks like a very nice celebration of the Unity of Mathematics”. I think that in a sense the opposite is also true. I will try to reformulate what I wrote.

“The solution of KS is a beautiful and intriguing manifestation of the chaotic, sticky, psychedelic, thickly interwoven, tangled, scattered, shattered and diffuse structure of today’s mathematics.”

I don’t mean that in a bad way. I mean that a bunch of deep conjectures, from different fields, most of which, I am guessing, MSS were not worried about, were shown over several decades to be equivalent to each other, and were ultimately reduced (by Weaver) to a problem on the arrangement of vectors in finite dimensional spaces (Discrepancy Theory), and eventually solved, following years of hard work, by three brilliant mathematicians using ingenious yet mostly elementary tools. The problem solved is indeed interesting in itself, and the proof is also very interesting, but it seems that the connection with “Kadison-Singer” is more a trophy than a true reward.

It would be very interesting now to think of all the equivalent formulations with hindsight, and seek the unifying structure, and to try to glean a reward.



Interesting figure

I found an interesting figure in the March 2014 issue of the EMS newsletter, from the article by H. Mihaljevic´ -Brandt and O. Teschke, Journal Profiles and Beyond: What Makes a Mathematics Journal “General”?

See the right column on page 56 in this link. (God help me, I have no idea how to embed that figure in the post. Anyway, maybe it is illegal, so I don’t bother learning.) One can see the “subject bias” of Acta, Annals and Inventiones.

On the left column, there is a graph showing the percentage of papers devoted to different MSC subjects in what the authors call “generalist” math journals (note carefully that these journals are only a small subclass of all journals, chosen by a method that is loosely described in the article). On the right column there is the interesting figure, showing the subject bias. If I understand correctly, the Y-axis is the MSC number and the X-axis represents the corresponding deviation from the average percentage given in the left figure. So, for example, Operator Theory (MSC 47) is the subject of about 5 percent of the papers in a generalist journal, but in the Annals there is a deviation of minus 4 from the average, so if I understand this figure correctly, that means that about 1 percent of papers in the Annals are classified under MSC 47. Another example: Algebraic Geometry (MSC 14), takes up a significant portion of Inventiones papers, much more than it does in an average “generalist” journal.

(I am not making any claims, this could mean a lot of things and it could mean nothing. But it is definitely interesting to note.)

Another interesting point is that the authors say that of the above three super-journals, Acta “is closest to the average distribution, though it is sometimes considered as a journal with a focus on analysis”. That’s interesting in several ways.


The dominated convergence theorem for the Riemann and the improper Riemann integral (Measure theory is a must – part II)

(Hello students of Infi 2 – this post is for you).

In this post I will describe the dominated convergence theorem (DCT) for the Riemann and improper Riemann integrals. The previous post can serve as an introduction (a slanted one, beware) to this one. My goal is to convince that the important and useful convergence theorems in integration theory can (and therefore, needless to say, should) be taught in a first course on Riemannian integration.

The bounded convergence theorem for the Riemann integral is also known as Arzela’s Theorem, and this post does not contain anything new. In preparing this post I used as reference the short note “A truly elementary approach to the bounded convergence theorem”, J. W. Lewin, The American Mathematical Monthly. This post can be considered as a destreamlinization of that note. I think my presentation is even more “truly elementary”, since I avoid introducing inner measure. Warning: this post will really truly be at a very elementary level. Read the rest of this entry »

Souvenirs from the Black Forest

Last week I attended a workshop titled “Hilbert modules and complex geometry” in MFO (Oberwolfach). In this post I wish to tell about some interesting things that I have learned. There were many great talks to choose from. Below is a sample, in short form, with links.

Read the rest of this entry »