
A few weeks ago I went to the University of Wisconsin at Milwaukee to give some talks at their Center for Gravitation and Cosmology. They have a group of 8 people working on data analysis for the LIGO experiment. As you probably know, LIGO will use laser interferometry to look for gravitational waves. It consists of two detectors, one near Livingston, Louisiana, and one near Hanford, Washington. Each one is shaped like an L, with each arm of the L consisting of a 4kilometerlong evacuated pipe with a laser beam running down it. A typical gravitational wave might stretch one of the arms by 10^{16} centimeters  one hundredmillionth of the diameter of a hydrogen atom. It will be quite exciting if they can actually get this level of precision. They're not there yet, but already they can tell when windblown tumbleweeds pile up along the pipe at the Hanford site, because their gravitational pull bends the beam and messes things up!
In Milwaukee, it's a time of preparation and anticipation. The first data should start coming in by September, but right now they're busy writing software and assembling a "Beowulf cluster". This is a parallel computer formed from a bunch of commercially available processors, all running Linux. I'd heard about these before, because my friend Dan Christensen is planning to do calculations in spin foam models of quantum gravity on a Beowulf cluster over at the University of Western Ontario. The cluster at Milwaukee will have 128 processors, each with at least 1 gigaflop peak performance, and a total of 19 terabytes of distributed disk memory.
You can learn more about this at their homepage:
1) University of Wisconsin at Milwaukee, Center for Gravitation and Cosmology home page, http://www.gravity.phys.uwm.edu/
For a nice popular account of the LIGO experiment, try this:
2) Marcia Bartusiak, Einstein's Unfinished Symphony: Listening to the Sounds of SpaceTime, Joseph Henry Press, Washington D.C., 2000.
My host was at Milwaukee was John Friedman. I was surprised and pleased to find that he was one of the people who discovered how to make spin1/2 particles out of topological defects in spacetime! Theoretically speaking, that is. I'd heard about this trick, but I never knew where it came from:
3) J. Friedman and R. Sorkin, Spin 1/2 from gravity, Phys. Rev. Lett 44 (1980), 1100.
I was more familiar with a recent implementation of it in the framework of loop quantum gravity, as mentioned in "week128".
Friedman and Sorkin's trick was based on the idea of "dyons". I'd never understood dyons, but Friedman explained them to me, and now the idea seems so simple that I can't resist telling everyone.
To make a "dyon", just take a charged particle and a magnetic monopole and tape them together with highquality duct tape. You can buy all these materials at your local hardware store... though mine was out of monopoles when I last checked.
Now, rotate your dyon. As you move the charged particle around the monopole, it picks up a phase, thanks to the magnetic field. Alternatively, as you move the monopole around charged particle, it picks up a phase thanks to the electric field! Either way, you get the same phase when you move one of these guys all the way around the other  and this phase has to be 1 or 1 for wellknown topological reasons. If the phase is 1, your dyon is a boson. But if the phase is 1, your dyon is a fermion!
In short, this is a strange and interesting way to build fermions out of components that are not themselves fermionic.
In Milwaukee, I gave a talk where I tried to explain the meaning of Einstein's equation in simple English. There are a lot of books that give simple explanations of curved spacetime, geodesics and so on. Unfortunately, most of them don't explain the real meat of general relativity: Einstein's equation. This bugs me, especially since it's not so hard. If you're interested, take a look at this:
4) John Baez, The meaning of Einstein's equation, available at grqc/0103044.
Since my Milwaukee trip I've become really busy writing notes on the quantum gravity seminar here at Riverside. Toby Bartels and I have been writing them up in the form of a rather silly dialog, and my student Miguel CarrionAlvarez has been been writing them in a more traditional format. Eventually they will be put together in the form of a book, but it's a lot of work. That's the main reason This Week's Finds has been dormant lately. You can see all these notes here:
5) John Baez, Toby Bartels and Miguel Carrion, Quantum Gravity Seminar, http://math.ucr.edu/home/baez/qg.html
The ultimate goal is to describe spin foam models of 4d quantum gravity, but we're only gradually working our way to that point.
There are a lot of other things I'd like to talk about, but I don't have time to do them all justice. For example, there's a nice new book of essays on quantum gravity:
6) Craig Callender and Nick Huggett, eds., Physics Meets Philosophy at the Planck Scale: Contemporary Theories in Quantum Gravity, Cambridge U. Press, Cambridge, 2001.
It has articles by Chris Isham, Carlo Rovelli, Ed Witten and other folks. I found Gordon Belot and John Earman's "PreSocratic Quantum Gravity" to be a particularly clearheaded account of the socalled "problem of time" in quantum gravity. I wish it had existed when I was first struggling to understand this subject! Everyone trying to understand quantum gravity should read this.
Over on the more technical end, Martin Bojowald has written a bunch of papers applying loop quantum gravity to the big bang, which I want to catch up with:
7) Martin Bojowald, Loop Quantum Cosmology I: Kinematics, Class. Quant. Grav. 17 (2000), 14891508, also available at grqc/9919103
Loop Quantum Cosmology II: Volume Operators, Class. Quant. Grav. 17 (2000), 15091526, also available at grqc/9910104.
Loop Quantum Cosmology III: WheelerDeWitt Operators, Class. Quant. Grav. 18 (2001), 10551070, also available at grqc/0008052.
Loop Quantum Cosmology IV: Discrete Time Evolution, Class. Quant. Grav. 18 (2001) 10711088, also available at grqc/0008053.
Absence of Singularity in Loop Quantum Cosmology, available at grqc/0102069.
The really interesting ones are the last two, whose titles explain why they're interesting  but they're based on the framework developed in the earlier papers.
And then there's ncategory theory! Two of Martin Hyland's students have been making interesting progress on this subject. Tom Leinster has been studying operads, their generalizations, their relation to homotopy theory, and their application to ncategories. He's even given a new definition of "weak ncategory", thus adding to the profusion of competing candidates:
8) Tom Leinster, General operads and multicategories, available as math.CT/9810053.
Structures in higherdimensional category theory, Ph.D. thesis, available at http://www.dpmms.cam.ac.uk/~leinster/shdctabs.html
Uptohomotopy monoids, available as math.QA/9912084.
Homotopy algebras for operads, available as math.QA/0002180. math.QA/0002180.
Operads in higherdimensional category theory, available as math.CT/0011106
Eugenia Cheng, on the other hand, seems to be working to reduce the number of different definitions of weak ncategory, by laying the groundwork for connecting various existing definitions  mainly those based on "opetopes" and related shapes:
9) Eugenia Cheng, The relationship between the opetopic and multitopic approaches to weak ncategories, available at http://www.dpmms.cam.ac.uk/~elgc2/
Equivalence between approaches to the theory of opetopes, available at http://www.dpmms.cam.ac.uk/~elgc2/
I'm glad these energetic young folks are stepping in to help out the older folks like me who have become completely exhausted from thinking about ncategories.
Finally, everyone who wants to understand Mtheory and its relation to matrix models should first read this review article by Nicolai and Helling:
10) Hermann Nicolai and Robert Helling, Supermembranes and M(atrix) theory, available as hepth/9809103.
and then this new review article by Wati Taylor:
10) Washington Taylor, M(atrix) theory: matrix quantum mechanics as a fundamental theory, available as hepth/0101126.
They're both pretty cool. How does a theory of matrices wind up acting like a theory of membranes? That's what you'll understand if you study this stuff.
