Hidden Symmetries of the Hydrogen Atom

Here’s the math colloquium talk I gave at Georgia Tech this week:

Hidden symmetries of the hydrogen atom.

Abstract. A classical particle moving in an inverse square central force, like a planet in the gravitational field of the Sun, moves in orbits that do not precess. This lack of precession, special to the inverse square force, indicates the presence of extra conserved quantities beyond the obvious ones. Thanks to Noether’s theorem, these indicate the presence of extra symmetries. It turns out that not only rotations in 3 dimensions, but also in 4 dimensions, act as symmetries of this system. These extra symmetries are also present in the quantum version of the problem, where they explain some surprising features of the hydrogen atom. The quest to fully understand these symmetries leads to some fascinating mathematical adventures.

I left out a lot of calculations, but someday I want to write a paper where I put them all in. This material is all known, but I feel like explaining it my own way.

In the process of creating the slides and giving the talk, though, I realized there’s a lot I don’t understand yet. Some of it is embarrassingly basic! For example, I give Greg Egan’s nice intuitive argument for how you can get some ‘Runge–Lenz symmetries’ in the 2d Kepler problem. I might as well just quote his article:

• Greg Egan, The ellipse and the atom.

He says:

Now, one way to find orbits with the same energy is by applying a rotation that leaves the sun fixed but repositions the planet. Any ordinary three-dimensional rotation can be used in this way, yielding another orbit with exactly the same shape, but oriented differently.

But there is another transformation we can use to give us a new orbit without changing the total energy. If we grab hold of the planet at either of the points where it’s travelling parallel to the axis of the ellipse, and then swing it along a circular arc centred on the sun, we can reposition it without altering its distance from the sun. But rather than rotating its velocity in the same fashion (as we would do if we wanted to rotate the orbit as a whole) we leave its velocity vector unchanged: its direction, as well as its length, stays the same.

Since we haven’t changed the planet’s distance from the sun, its potential energy is unaltered, and since we haven’t changed its velocity, its kinetic energy is the same. What’s more, since the speed of a planet of a given mass when it’s moving parallel to the axis of its orbit depends only on its total energy, the planet will still be in that state with respect to its new orbit, and so the new orbit’s axis must be parallel to the axis of the original orbit.

Rotations together with these ‘Runge–Lenz transformations’ generate an SO(3) action on the space of elliptical orbits of any given energy. But what’s the most geometrically vivid description of this SO(3) action?

Someone at my talk noted that you could grab the planet at any point of its path, and move to anywhere the same distance from the Sun, while keeping its speed the same, and get a new orbit with the same energy. Are all the SO(3) transformations of this form?

I have a bunch more questions, but this one is the simplest!

16 Responses to Hidden Symmetries of the Hydrogen Atom

  1. John Baez says:

    Okay, here’s a guess about my puzzle, which may be implicit in Göransson’s work. I’ll talk about the 2d Kepler problem, but everything should generalize to the 3d problem if it works at all.

    Take an ellipse in the plane with its focus at the origin. Draw a point on it. This describes a possible orbit of a planet in the plane, with the point indicating where the planet is at time zero.

    We can think of this ellipse as the 2d projection of some great circle on a sphere in 3 dimensions. The diameter of this sphere is the semi-major axis of the ellipse. The center of this sphere is not the ellipse’s focus, but instead its “center”.

    The point on the ellipse gives a point on this great circle, so we get a “pointed great circle”.

    Now take all pointed great circles on the sphere. Their projections give pointed ellipses, all having semi-major axes of the same length. All these ellipses have the same center, too, but they have different foci. Translate them so their focus is always at the origin!

    Now we have all possible pointed ellipses with the same semi-major axis and with focus at the origin. These are all possible orbits of a planet with a given fixed energy. Why? Because the energy of a planet in a given orbit is a function of the semi-major axis (together with the planet’s mass, the Sun’s mass and the gravitational mass).

    So, we’ve gotten a one-to-one correspondence between elliptical orbits of a planet with a given energy and pointed great circles on the sphere. This gives a way for the rotation group SO(3) to act on this set of elliptical orbits!

    The claim is that these SO(3) symmetries are the ones that, via Noether’s theorem, give the angular momentum and Runge–Lenz vector as conserved quantities!

  2. Tali says:

    Hi John,
    Enjoyed the post. I can’t see why the group acting here is SO(3).
    Also, if you grab a planet at any point of its path, and move to anywhere the same distance from the sun you will most probably get a non periodic orbit, or am I wrong?
    Thanks!

    • John Baez says:

      Tali wrote:

      I can’t see why the group acting here is SO(3).

      Yes, it’s not obvious without calculations, and not obvious from my talk. I believe it can be made more obvious, and my comment, above yours, is my guess as to how. This contains a link to an earlier post here on Azimuth, about Göransson’s work on this issue. Check that out!

      Also, if you grab a planet at any point of its path, and move to anywhere the same distance from the sun you will most probably get a non periodic orbit, or am I wrong?

      If you do what I said in my post you’ll get a periodic orbit, because the new orbit will have the same energy as the old one, and if an orbit for the inverse square force law is periodic, so are all other orbits of that energy. (They will all be ellipses with the same semi-major axis.)

  3. Greg Egan says:

    I just want to add some background that might be helpful. I know John already knows all this, but people reading about these higher-dimensional symmetries for the first time might not.

    The Laplace–Runge–Lenz vector ( http://en.wikipedia.org/wiki/Laplace–Runge–Lenz_vector ) is usually defined as:

    A = m v \times L - m k r/\left| r\right|

    where k is the force constant for the Kepler problem.

    A points along the axis of symmetry of the orbit, from the centre of attraction towards the point of closest approach. It is conserved for any given orbit, and its length depends on the eccentricity of the orbit, going to zero for a perfectly circular orbit.

    There is a rescaled version that has some nice properties. If we define:

    \displaystyle{ M = \frac{A}{\sqrt{-2 E m}} }

    where E is the total energy (negative for a bound orbit), then M and the angular momentum vector L have a conserved sum of squares:

    \displaystyle{L^2 + M^2 = \frac{k^2 m}{-2 E}}

    There is a direct parallel between this equation and the Pythagorean equation between the traditional measures of an ellipse, a,b,c:

    b^2 + c^2 = a^2

    Here a is the semi-major axis of the ellipse, b is the semi-minor axis, and c is half the distance between the foci. These are related to physical quantities in the Kepler problem by:

    \displaystyle{a = -\frac{k}{2 E}}
    \displaystyle{b^2 = -\frac{L^2}{2 E m}}
    \displaystyle{c^2 = -\frac{M^2}{2 E m}}

    So a is fixed by energy alone, and then, for fixed energy, b is proportional to L, while c is proportional to the scaled LRL vector M.

    This sum of squares relationship between L and M suggests that they are acting like two parts of some higher dimensional object of a fixed magnitude. And there is such a higher-dimensional object, in four dimensions (or three, for the planar Kepler problem). Probably the simplest version of it is the bivector:

    B = L + e_w \wedge M

    where the angular momentum vector L is construed as a bivector giving the plane of the rotation, and e_w is a unit vector orthogonal to the 2 or 3 of ordinary space.

    What does this bivector mean? There are two ways we can associate the elliptical orbits of the planet with great circles on a sphere in one higher dimension. John has already described one, used by Göransson, where we project great circles on a higher-dimensional sphere orthogonally into ordinary space.

    The other way, with an older pedigree, is to consider the “hodogram” of the orbit: the curve traced out by the velocity of the planet. For the Kepler problem, this will always be a circle, but its centre will be displaced from the origin if the orbit itself is non-circular. All of these velocity circles, for a fixed total energy, can be constructed by stereographically projecting great circles from a higher-dimensional sphere into velocity space.

    In either case, the plane in which these higher-dimensional great circles lie is precisely that defined by our bivector, B. So we get an action of the rotations in the higher-dimensional space on B, which conserves the bivector’s overall norm, and hence the sum-of-squares relationship between the associated L and M vectors for a fixed energy.

    In other words, rotating the bivector B in the higher-dimensional space gives us an action on pairs of vectors (L,M) that are angular momentum and Laplace–Runge–Lenz vectors for orbits of a particular energy.

    • John Baez says:

      Thanks for the overview, Greg! One question is whether the two ways of relating elliptical orbits of a certain fixed energy to great circles on the 3-sphere are ‘the same’, at least up to some normalizations.

      I think you’re answering in the affirmative, since you’re saying in either approach the great circle coming from an orbit lies in the plane defined by the bivector B = L + e_w \wedge M.

      Another way to get at the answer is to directly relate the circle traced out by the velocity vector of the elliptical orbit to the great circle in Göransson’s approach. Have you tried that?

      The tricky thing here is that Görannson (and Souriau, and Moser) use a reparametrization of time to convert elliptical orbits into simple harmonic motion, so his velocity is not the true velocity.

      I’ll explain this for the 3d Kepler problem, though the dimension doesn’t really affect much. Let

      \mathbf{r} = (x,y,z)

      be the position of our planet at time t. If we use this inverse square force law

      \displaystyle{\ddot{\mathbf{r}} = - \frac{\mathbf{r}}{r^3} }

      and choose E = -1/2, conservation of energy says

      \displaystyle{ \frac{\dot{\mathbf{r}} \cdot \dot{\mathbf{r}}}{2} - \frac{1}{r} = -\frac{1}{2} }

      If we choose a new parameter s so that

      \displaystyle{ \frac{d s}{d t} = \frac{1}{r} }

      and use a prime for the derivative with respect to s, we get

      \displaystyle{ t' = \frac{dt}{ds} = r }

      and

      \displaystyle{ \mathbf{r}' = \frac{dr}{ds} = \frac{dt}{ds}\frac{dr}{dt} = r \dot{\mathbf{r}} }

      Then conservation of energy can be rewritten as

      \displaystyle{ (t' - 1)^2 + \mathbf{r}' \cdot \mathbf{r}' = 1 }

      which is the equation of a 3-sphere in 4-dimensional space! It’s a sphere of radius one centered at the point

      (1,0,0,0)

      With some further calculation we can show some other wonderful facts:

      \mathbf{r}''' = -\mathbf{r}'

      and

      t''' = -(t' - 1)

      so the velocity 4-vector (t',x',y',z') moves in simple harmonic motion, following a great circle on the 3-sphere… if velocity is computed using our new time coordinate, s.

      But I have not thought enough about how this is related to the circle traced out by the original velocity 3-vector (\dot{x}, \dot{y}, \dot{z}). If we take (t',x',y',z') and do a stereographic projection down to 3 dimensions, do we get (\dot{x}, \dot{y}, \dot{z})?

    • Greg Egan says:

      I’m confident of two things: (1) the semi-minor axis of an ellipse that is the orthogonal projection of a great circle is proportional to the cosine of the angle between the plane of the great circle and the plane it is projected on, and (2) in the usual stereographic projection of the velocity circle from a great circle, there is the same relationship between the angle of the plane of the great circle and the semi-minor axis of the elliptical orbit.

      As far as I understand Göransson’s approach, both the point (t-s,x,y,z) and the velocity wrt s move in great circles, and unless I’m confused, the two planes will necessarily be parallel. So the great circle traced out by (t',x',y',z') will also be parallel to the great circle in the standard approach, and up to some choice of scaling, both ought to project to the same circles in velocity space.

      • John Baez says:

        Okay, great! I think you’re right: as a function of s, the point (t-s,x,y,z) moves around a great circle on the unit 4-sphere at unit speed. So, its velocity vector does the same, and in the same 2-plane.

  4. Wolfgang says:

    As a chemist I wonder: Is this a symmetry taking one orbital type into another one? I once saw a picture about it in a book of Peter W. Atkins. Imagine a sphere which surface is marked such that one hemisphere represents the + sign of a wavefunction and the other hemisphere the – sign. Now stereographically project it to the plane. If the sphere is oriented such that its polar axis is perpendicular to the plane you will get only one sign in the plane (similar to a s-orbital), if the axis is parallel to the plane you will get + and – separated by a nodal line (like a p-orbital). Thus, in the plane you create some very distinct “orbitals”, while in space you only have to rotate the sphere. Of course the analogy to the hydrogen atom would set the stage one dimension higher, so it would be a 4D rotation that interchanges orbitals of different types. Unfortunately I never really looked for the mathematical details of the analogy, and I think, it is yet another kind of hidden symmetry of the mathematical treatment of this kind of problem?

    • John Baez says:

      Wolfgang wrote:

      As a chemist I wonder: Is this a symmetry taking one orbital type into another one?

      Yes, exactly! All states of a given energy lie in a single irreducible representation of SO(4). What this means is that the hidden 4-dimensional rotation symmetries of the hydrogen atom can do things like take a 4s state to a 4p state or 4d state or 4f state. So, all 16 states here are related by 4-dimensional rotation symmetries:

      while 3d rotation symmetries only suffice to relate states in a given row.

      I don’t understand the pictorial approach you’re describing well enough to see if it’s secretly a lower-dimensional analogue of what I’m talking about. I do know that what I’m talking about works in every dimension—if we posit atoms in other dimensions that are still governed by the inverse square force law, which is a bit odd.

      • Wolfgang says:

        I looked up the source: It’s “Galileo’s finger – The ten great ideas of science” by Peter Atkins, chapter six “Symmetry” and Fig. 6.7 on page 175. Unfortunately, since it is really a text addressed to laymen, it does neither contain any mathematics nor references where this idea would have been made more precise. I can only guess that Atkins might have written it elsewhere, e.g. in his book on “Molecular Quantum Mechanics”, but I did not checked it so far.

    • Greg Egan says:

      John wrote:

      What this means is that the hidden 4-dimensional rotation symmetries of the hydrogen atom can do things like take a 4s state to a 4p state or 4d state or 4f state.

      I’m not sure if I’m taking you more literally than you intended, or if I’m nitpicking unnecessarily, but although a generic element of SO(4) will certainly take a 4s state to a superposition of states that includes a 4p state (and a 4d state, and a 4f state), I’m not convinced that any element of SO(4) can take a 4s state to a 4p state.

      That is, given an eigenfunction of the 3D orbital angular momentum operator L^2 with \ell=0, I don’t believe there is an element of SO(4) that takes it to an eigenfunction of L^2 with \ell=1. It’s not inconceivable that there could be such an element, but it seems like it would take something much stronger than having an irreducible representation of SO(4) to make this true.

      • John Baez says:

        You’re right; I was being pretty sloppy.

        It would be fun to dig into this issue, and see exactly which vectors you can get by applying an SO(4) element to an ns state, but I have too many other puzzles on my mind to tackle this one!

      • John Baez says:

        Here’s a fun thing that’s sort of related. It’s true that irreducible unitary representation of a group doesn’t usually carry any unit vector to any other. But sometimes the group \mathrm{Spin}(n) acts transitively on the unit sphere of its irreducible spinor representations; this happens up to n = 6 but not beyond. One exciting case is n = 5, where

        \mathrm{Spin}(5) \cong \mathrm{Sp}(2)

        is the group of 2 × 2 quaternionic unitary matrices, and the spinors are \mathbb{H}^2: the quaternionic unitary matrices act transitively on the unit sphere in \mathbb{H}^2. Another is n = 6, where

        \mathrm{Spin}(6) \cong \mathrm{SU}(4)

        is the group of 4 × 4 complex unitary matrices with determinant 1, and the spinors are \mathbb{C}^4: these matrices act transitively on the unit sphere in \mathbb{C}^4. When you get beyond n = 6 there are pure spinors which are different, and ‘better’, than the rest.

  5. John Baez says:

    I got an email from someone who has dug deeper into the quantum mechanics of the 2d Kepler problem:

    • Eyal Subag, Symmetries of the hydrogen atom and algebraic families.

    Abstract. We show how the Schrödinger equation for the hydrogen atom in two dimensions gives rise to an algebraic family of Harish-Chandra pairs that codifies hidden symmetries. The hidden symmetries vary continuously between SO(3), SO(2,1) and the Euclidean group O(2)⋉R2. We show that solutions of the Schrödinger equation may be organized into an algebraic family of Harish-Chandra modules. Furthermore, we use Jantzen filtration techniques to algebraically recover the spectrum of the Schrödinger operator. This is a first application to physics of the algebraic families of Harish-Chandra pairs and modules developed in the work of Bernstein et al. [Int. Math. Res. Notices, rny147 (2018); rny146 (2018)].

    One interesting thing about this paper is that it constructs a ‘space of 2d hydrogen atom state’ for any complex energy. The physical meaning of these seems open for exploration.

  6. Thy Boy Who Lived says:

    “Same velocity, AND SAME DISTANCE from the Sun at these points, so same total energy”

    This is not correct according to the figure drawn. The four points shown are not at the same distance. All you have to do is draw a straight line from the Sun through the points on the ellipse, and you can clearly see that the points on the ellipse are much closer. Don’t worry though, the error is only in the drawing because they didn’t draw the ellipse and the circle with the same exact total area. At that point the dotted arc would overlay the circle and should be eliminated because it would be redundant. Sorry to be picky like that but … you know … it’s mathematics.

    • Greg Egan says:

      You’re mistaken about the figure, unless you’re viewing the web page on a device that distorts the aspect ratio; the dashed arc is perfectly circular and it is centred on the sun. I checked the image file itself, and all four points’ centres are 231 pixels from the centre of the sun.

      I have no idea why you think the two orbits should have the same area (or why you think one of them is circular). The two orbits have the same semi-major axis (as required) and different semi-minor axes, so they do not have the same area. You could choose the new position for the planet so that its orbit was circular, and then the dashed arc would overlay it, but that would make for a far more confusing image because the generality of the construction would not be apparent.

Leave a Reply to Greg Egan Cancel reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out /  Change )

Google photo

You are commenting using your Google account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s

This site uses Akismet to reduce spam. Learn how your comment data is processed.