Musings

I’m teaching the undergraduate Quantum II course (“Atoms and Molecules”) this semester. We’ve come to the point where it’s time to discuss the fine structure of hydrogen. I had previously found this somewhat unsatisfactory. If one wanted to do a proper treatment, one would start with a relativistic theory and take the non-relativistic limit. But we’re not going to introduce the Dirac equation (much less QED). And, in any case, introducing the Dirac equation would get you the leading corrections but fail miserably to get various non-leading corrections (the Lamb shift, the anomalous magnetic moment, …).

Instead, various hand-waving arguments are invoked (“The electron has an intrinsic magnetic moment and since it’s moving in the electrostatic field of the proton, it sees a magnetic field …”) which give you the wrong answer for the spin-orbit coupling (off by a factor of two), which you then have to further correct (“Thomas precession”) and then there’s the Darwin term, with an even more hand-wavy explanation …

So I set about trying to find a better way. I want use as minimal as possible input from the relativistic theory and get the leading relativistic correction(s).

There’s a nice new paper by Kang et al, who point out something about class-S theories that should be well-known, but isn’t.

In the (untwisted) theories of class-S, the Hall-Littlewood index, at genus-0, coincides with the Hilbert Series of the Higgs branch. The Hilbert series counts the $\hat{B}_R$ operators that parametrize the Higgs branch (each contributes $\tau^{2R}$ to the index). The Hall-Littlewood index also includes contributions from $D_{R(0,j)}$ operators (which contribute $(-1)^{2j+1}\tau^{2(1+R+j)}$ to the index). But, for the untwisted theories of class-S, there is a folk-theorem that there are no $D_{R(0,j)}$ operators at genus-0, and so the Hilbert series and Hall-Littlewood index agree.

For genus $g\gt0$, the gauge symmetry¹ cannot be completely Higgsed on the Higgs branch of the theory. For the theory of type $J=\text{ADE}$, there’s a $U(1)^{\text{rank}(J)g}$ unbroken at a generic point on the Higgs branch². Correspondingly, the SCFT contains $D_{R(0,0)}$ multiplets which, when you move out onto the Higgs branch and flow to the IR, flow to the $D_{0(0,0)}$ multiplets³ of the free theory.

What Kang et al point out is that the same is true at genus-0, when you include enough $\mathbb{Z}_2$-twisted punctures. They do this by explicitly calculating the Hall-Littlewood index in a series of examples.

But it’s nice to have a class of examples where that hard work is unnecessary.

I reluctantly upgraded my laptop from Mojave to Monterey (macOS 12.3.1). Things have not gone smoothly. My biggest annoyance, currently, is with Time Machine.

I’m teaching Quantum Field Theory this year. One of the things I’ve been trying to emphasize is the usefulness of spinor-helicity variables in dealing with massless particles. This is well-known to the “Amplitudes” crowd, but hasn’t really trickled down to the textbooks yet. Mark Srednicki’s book comes close, but doesn’t (IMHO) quite do a satisfactory job of it.

Herewith are some notes.

Over at the n-Category Café, John Baez is making a big deal of the fact that the global form of the Standard Model gauge group is $$G = (SU(3)\times SU(2)\times U(1))/N$$ where $N$ is the $\mathbb{Z}_6$ subgroup of the center of $G'=SU(3)\times SU(2)\times U(1)$ generated by the element $\left(e^{2\pi i/3}\mathbb{1},-\mathbb{1},e^{2\pi i/6}\right)$.

The global form of the gauge group has various interesting topological effects. For instance, the fact that the center of the gauge group is $Z(G)= U(1)$, rather than $Z(G')=U(1)\times \mathbb{Z}_6$, determines the global 1-form symmetry of the theory. It also determines the presence or absence of various topological defects (in particular, cosmic strings). I pointed this out, but a proper explanation deserved a post of its own.

None of this is new. I’m pretty sure I spent a sunny afternoon in the summer of 1982 on the terrace of Café Pamplona doing this calculation. (As any incoming graduate student should do, I spent many a sunny afternoon at a café doing this and similar calculations.)

I’ve been asked, innumerable times, to explain quantum entanglement to some lay audience. Most of the elementary explanations that I have seen (heck, maybe all of them) fail to draw any meaningful distinction between “entanglement” and mere “(classical) correlation.”

This drives me up the wall, so each time I am asked, I strive to come up with an elementary explanation of the difference. Rather than keep reinventing the wheel, let me herewith record my latest attempt.

Instiki is my wiki-cum-collaboration platform. It has a built-in WYSIWYG vector-graphics drawing program, which is great for making figures. Unfortunately:

• An extra step is required, in order to convert the resulting SVG into PDF for inclusion in the LaTeX paper. And what you end up with is a directory full of little PDF files (one for each figure), which need to be managed.
• Many of my colleagues would rather use Tikz, which has become the de-facto standard for including figures in LaTeX.

Obviously, I needed to include Tikz support in Instiki. But, up until now, I didn’t really see a good way to do that, given that I wanted something that is

1. Portable
2. Secure

I finally got around to enabling Brotli compression on Golem. Reading the manual, I came across the BrotliAlterETag directive:

with the description:

AddSuffix

Append the compression method onto the end of the ETag, causing compressed and uncompressed representations to have unique ETags. In another dynamic compression module, mod_deflate, this has been the default since 2.4.0. This setting prevents serving “HTTP Not Modified (304)” responses to conditional requests for compressed content.

NoChange

Don’t change the ETag on a compressed response. In another dynamic compression module, mod_deflate, this has been the default prior to 2.4.0. This setting does not satisfy the HTTP/1.1 property that all representations of the same resource have unique ETags.

Remove

Remove the ETag header from compressed responses. This prevents some conditional requests from being possible, but avoids the shortcomings of the preceding options.

Sure enough, it turns out that ETags+compression have been completely broken in Apache 2.4.x. Two methods for saving bandwidth, and delivering pages faster, cancel each other out and chew up more bandwidth than if one or the other were disabled.

I was thinking about dropping support for TLSv1.0 in this webserver. All the major browser vendors have announced that they are dropping it from their browsers. And you’d think that since TLSv1.2 has been around for a decade, even very old clients ought to be able to negotiate a TLSv1.2 connection.

But, when I checked, you can imagine my surprise that this webserver receives a ton of TLSv1 connections… including from the application that powers Planet Musings. Yikes!

The latter is built around the Universal Feed Parser which uses the standard Python urrlib2 to negotiate the connection. And therein lay the problem …

Many years ago, when I was an assistant professor at Princeton, there was a cocktail party at Curt Callan’s house to mark the beginning of the semester. There, I found myself in the kitchen, chatting with Sacha Polyakov. I asked him what he was going to be teaching that semester, and he replied that he was very nervous because — for the first time in his life — he would be teaching an undergraduate course. After my initial surprise that he had gotten this far in life without ever having taught an undergraduate course, I asked which course it was. He said it was the advanced undergraduate Mechanics course (chaos, etc.) and we agreed that would be a fun subject to teach. We chatted some more, and then he said that, on reflection, he probably shouldn’t be quite so worried. After all, it wasn’t as if he was going to teach Quantum Field Theory, “That’s a subject I’d feel responsible for.”

This remark stuck with me, but it never seemed quite so poignant until this semester, when I find myself teaching the undergraduate particle physics course.

For a while now, Frédéric Wang has been urging me to enable native MathML rendering for Safari. He and his colleagues have made many improvements to Webkit’s MathML support. But there were at least two show-stopper bugs that prevented me from flipping the switch.

I really like the science fiction TV series The Expanse. In addition to a good plot and a convincing vision of human society two centuries hence, it depicts, as Phil Plait observes, a lot of good science in a matter-of-fact, almost off-hand fashion. But one scene (really, just a few dialogue-free seconds in a longer scene) has been bothering me. In it, Miller, the hard-boiled detective living on Ceres, pours himself a drink. And we see — as the whiskey slowly pours from the bottle into the glass — that the artificial gravity at the lower levels (where the poor people live) is significantly weaker than near the surface (where the rich live) and that there’s a significant Coriolis effect. Unfortunately, the effect depicted is 3 orders-of-magnitude too big.

There’s a general mantra that we all repeat to ourselves: gauge transformations are not symmetries; they are redundancies of our description. There is an exception, of course: gauge transformations that don’t go to the identity at infinity aren’t redundancies; they are actual symmetries.

Strominger, rather beautifully showed that BMS supertranslations (or, more precisely, a certain diagonal subgroup of $\text{BMS}^+$ (which act as supertranslations on $\mathcal{I}^+$) and $\text{BMS}^-$ (which act as supertranslations on $\mathcal{I}^-$) are symmetries of the gravitational S-matrix. The corresponding conservation laws are equivalent to Weinberg’s Soft-Graviton Theorem. Similarly, in electromagnetism, the $U(1)$ gauge transformations which don’t go to the identity on $\mathcal{I}^\pm$ give rise to the Soft-Photon Theorem.

A while back, there was considerable brouhaha about Hawking’s claim that BMS symmetry had something to do with resolving the blackhole information paradox. Well, finally, a paper from Hawking, Perry and Strominger has arrived.

Cue further brouhaha…

Recently, an old post of mine about the Asymptotic Safety program for quantizing gravity received a flurry of new comments. Inadvertently, one of the pseudonymous commenters pointed out yet another problem with the program, which deserves a post all its own.

Before launching in, I should say that

1. Everything I am about to say was known to Iz Singer in 1978. Though, as with the corresponding result for nonabelian gauge theory, the import seems to be largely unappreciated by physicists working on the subject.
2. I would like to thank Valentin Zakharevich, a very bright young grad student in our Math Department for a discussion on this subject, which clarified things greatly for me.

This semester, I taught the Graduate Mechanics course. As is often the case, teaching a subject leads you to rethink that you thought you understood, sometimes with surprising results.

The subject for today’s homily is Action-Angle variables.

Let $(\mathcal{M},\omega)$ be a $2n$-dimensional symplectic manifold. Let us posit that $\mathcal{M}$ had a foliation by $n$-dimensional Lagrangian tori (a torus, $T\subset M$, is Lagrangian if $\omega|_T =0$). Removing a subset, $S\subset \mathcal{M}$, of codimension $codim(S)\geq 2$, where the leaves are singular, we can assume that all of the leaves on $\mathcal{M}'=\mathcal{M}\backslash S$ are smooth tori of dimension $n$.

The objective is to construct coordinates $\varphi^i, K_i$ with the following properties.

1. The $\varphi^i$ restrict to angular coordinates on the tori. In particular $\varphi^i$ shifts by $2\pi$ when you go around the corresponding cycle on $T$.
2. The $K_i$ are globally-defined functions on $\mathcal{M}$ which are constant on each torus.
3. The symplectic form $\omega= d K_i\wedge d \varphi^i$.

From 1, it’s clear that it’s more convenient to work with the 1-forms $d\varphi^i$, which are single-valued (and closed, but not necessarily exact), rather than with the $\varphi^i$ themselves. In 2, it’s rather important that the $K_i$ are really globally-defined. In particular, an integrable Hamiltonian is a function $H(K)$. The $K_i$ are the $n$ conserved quantities which make the Hamiltonian integrable.

Obviously, a given foliation is compatible with infinitely many “integrable Hamiltonians,” so the existence of a foliation is the more fundamental concept.

All of this is totally standard.

What never really occurred to me is that the standard construction of action-angle variables turns out to be very closely wedded to the particular case of a cotangent bundle, $\mathcal{M}=T^*M$.

As far as I can tell, action-angle variables don’t even exist for foliations of more general symplectic manifolds, $\mathcal{M}$.