Skip to content →

neverendingbooks Posts

Writing & Blogging

Terry Tao is reworking some of his better blogposts into a book, to be published by the AMS (here’s a preliminary version of the book “What’s New?”)

After some thought, I decided not to transcribe all of my posts from last year (there are 93 of them!), but instead to restrict attention to those articles which (a) have significant mathematical content, (b) are not announcements of material that will be published elsewhere, and (c) are not primarily based on a talk given by someone else. As it turns out, this still leaves about 33 articles from 2007, leading to a decent-sized book of a couple hundred pages in length.

If you have a blog and want to turn it into a LaTeX-book, there’s no need to transcribe or copy every single post, thanks to the WPTeX tool. Note that this is NOT a WP-plugin, but a (simple at that) php-program which turns all posts into a bookcontent.tex file. This file can then be edited further into a proper book.

Unfortunately, the present version chokes on LaTeXrender-code (which is easy enough to solve doing a global ‘find-and-replace’ of the tex-tags by dollar-signs) but worse, on Markdown-code… But then, someone fluent in php-regex will have no problems extending the libs/functions.php file (I hope…).

At the moment I’m considering turning the Mathieu-games-posts into a booklet. A possible title might be Mathieumatical Games. Rereading them (and other posts) I regret to be such an impatient blogger. Often I’m interested in something and start writing posts about it without knowing where or when I’ll land. This makes my posts a lot harder to get through than they might have been, if I would blog only after having digested the material myself… Typical recent examples are the tori-crypto-posts and the Bost-Connes algebra posts.

So, I still have a lot to learn from other bloggers I admire, such as Jennifer Ouellette who maintains the Coctail Party Physics blog. At the moment, Jennifer is resident blogger-journalist at the Kavli Institute where she is running a “Journal Club” workshop giving ideas on how to write better about science.

But the KITP is also committed to fostering scientific communication. That’s where I come in. Each Friday through April 26th, I’ll be presiding over a “Journal Club” meeting focusing on some aspect of communicating science.

Her most recent talk was entitled To Blog or Not to Blog? That is the Question and you can find the slides as well as a QuickTime movie of her talk. They even plan to set up a blog for the participants of the workshop. I will surely follow the rest of her course with keen interest!

3 Comments

iTouch as network sniffer

In the iTouch warwalking post I was considering trying to gain access to closed networks for innocent purposes such as checking mail, rather than stealing secret passwords from people allowing you free access to their wireless network, but still, I should have thought of the following possibility

Here’s a walk-through :

  • type the following command into your iTouch Terminal.app (assuming you’ve installed the BSD subsystem) :

tcpdump -v -s 65535 -w log.txt

  • once you’ve collected enough packets, cancel the command (ctrl c), AFPd the file from the iTouch to your Mac and open it with Wireshark (this is the most convenient way to install binaries under Leopard as well as an updated version of X11. For other platforms, or source code, see here)

  • do whatever black magic you feel you have to perform using Wireshark (the new name for Ethereal) or other password crackers

2 Comments

KMS, Gibbs & zeta function

Time to wrap up this series on the Bost-Connes algebra. Here’s what we have learned so far : the convolution product on double cosets

$\begin{bmatrix} 1 & \mathbb{Z} \\ 0 & 1 \end{bmatrix} \backslash \begin{bmatrix} 1 & \mathbb{Q} \\ 0 & \mathbb{Q}_{> 0} \end{bmatrix} / \begin{bmatrix} 1 & \mathbb{Z} \\ 0 & 1 \end{bmatrix} $

is a noncommutative algebra, the Bost-Connes Hecke algebra $\mathcal{H} $, which is a bi-chrystalline graded algebra (somewhat weaker than ‘strongly graded’) with part of degree one the group-algebra $\mathbb{Q}[\mathbb{Q}/\mathbb{Z}] $. Further, $\mathcal{H} $ has a natural one-parameter family of algebra automorphisms $\sigma_t $ defined by $\sigma_t(X_n) = n^{it}X_n $ and $\sigma_t(Y_{\lambda})=Y_{\lambda} $.

For any algebra $A $ together with a one-parameter family of automorphisms $\sigma_t $ one is interested in KMS-states or Kubo-Martin-Schwinger states with parameter $\beta $, $KMS_{\beta} $ (this parameter is often called the ‘invers temperature’ of the system) as these are suitable equilibria states. Recall that a state is a special linear functional $\phi $ on $A $ (in particular it must have norm one) and it belongs to $KMS_{\beta} $ if the following commutation relation holds for all elements $a,b \in A $

$\phi(a \sigma_{i\beta}(b)) = \phi(b a) $

Let us work out the special case when $A $ is the matrix-algebra $M_n(\mathbb{C}) $. To begin, all algebra-automorphisms are inner in this case, so any one-parameter family of automorphisms is of the form

$\sigma_t(a) = e^{itH} a e^{-itH} $

where $e^{itH} $ is the matrix-exponential of the nxn matrix $H $. For any parameter $\beta $ we claim that the linear functional

$\phi(a) = \frac{1}{tr(e^{-\beta H})} tr(a e^{-\beta H}) $

is a KMS-state.Indeed, we have for all matrices $a,b \in M_n(\mathbb{C}) $ that

$\phi(a \sigma_{i \beta}(b)) = \frac{1}{tr(e^{-\beta H})} tr(a e^{- \beta H} b e^{\beta H} e^{- \beta H}) $

$= \frac{1}{tr(e^{-\beta H})} tr(a e^{-\beta H} b) = \frac{1}{tr(e^{-\beta H})} tr(ba e^{-\beta H}) = \phi(ba) $

(the next to last equality follows from cyclic-invariance of the trace map).
These states are usually called Gibbs states and the normalization factor $\frac{1}{tr(e^{-\beta H})} $ (needed because a state must have norm one) is called the partition function of the system. Gibbs states have arisen from the study of ideal gases and the place to read up on all of this are the first two chapters of the second volume of “Operator algebras and quantum statistical mechanics” by Ola Bratelli and Derek Robinson.

This gives us a method to construct KMS-states for an arbitrary algebra $A $ with one-parameter automorphisms $\sigma_t $ : take a simple n-dimensional representation $\pi~:~A \mapsto M_n(\mathbb{C}) $, find the matrix $H $ determining the image of the automorphisms $\pi(\sigma_t) $ and take the Gibbs states as defined before.

Let us return now to the Bost-Connes algebra $\mathcal{H} $. We don’t know any finite dimensional simple representations of $\mathcal{H} $ but, sure enough, have plenty of graded simple representations. By the usual strongly-graded-yoga they should correspond to simple finite dimensional representations of the part of degree one $\mathbb{Q}[\mathbb{Q}/\mathbb{Z}] $ (all of them being one-dimensional and corresponding to characters of $\mathbb{Q}/\mathbb{Z} $).

Hence, for any $u \in \mathcal{G} = \prod_p \hat{\mathbb{Z}}_p^{\ast} $ (details) we have a graded simple $\mathcal{H} $-representation $S_u = \oplus_{n \in \mathbb{N}_+} \mathbb{C} e_n $ with action defined by

$\begin{cases} \pi_u(X_n)(e_m) = e_{nm} \\ \pi_u(Y_{\lambda})(e_m) = e^{2\pi i n u . \lambda} e_m \end{cases} $

Here, $u.\lambda $ is computed using the ‘chinese-remainder-identification’ $\mathcal{A}/\mathcal{R} = \mathbb{Q}/\mathbb{Z} $ (details).

Even when the representations $S_u $ are not finite dimensional, we can mimic the above strategy : we should find a linear operator $H $ determining the images of the automorphisms $\pi_u(\sigma_t) $. We claim that the operator is defined by $H(e_n) = log(n) e_n $ for all $n \in \mathbb{N}_+ $. That is, we claim that for elements $a \in \mathcal{H} $ we have

$\pi_u(\sigma_t(a)) = e^{itH} \pi_u(a) e^{-itH} $

So let us compute the action of both sides on $e_m $ when $a=X_n $. The left hand side gives $\pi_u(n^{it}X_n)(e_m) = n^{it} e_{mn} $ whereas the right-hand side becomes

$e^{itH}\pi_u(X_n) e^{-itH}(e_m) = e^{itH} \pi_u(X_n) m^{-it} e_m = $

$e^{itH} m^{-it} e_{mn} = (mn)^{it} m^{-it} e_{mn} = n^{it} e_{mn} $

proving the claim. For any parameter $\beta $ this then gives us a KMS-state for the Bost-Connes algebra by

$\phi_u(a) = \frac{1}{Tr(e^{-\beta H})} Tr(\pi_u(a) e^{-\beta H}) $

Finally, let us calculate the normalization factor (or partition function) $\frac{1}{Tr(e^{-\beta H})} $. Because $e^{-\beta H}(e_n) = n^{-\beta} e_n $ we have for that the trace

$Tr(e^{-\beta H}) = \sum_{n \in \mathbb{N}_+} \frac{1}{n^{\beta}} = \zeta(\beta) $

is equal to the Riemann zeta-value $\zeta(\beta) $ (at least when $\beta > 1 $).

Summarizing, we started with the definition of the Bost-Connes algebra $\mathcal{H} $, found a canonical one-parameter subgroup of algebra automorphisms $\sigma_t $ and computed that the natural equilibria states with respect to this ‘time evolution’ have as their partition function the Riemann zeta-function. Voila!

2 Comments