Network Theory (Part 14)

We’ve been doing a lot of hard work lately. Let’s take a break and think about a fun example from chemistry!

The ethyl cation

Suppose you start with a molecule of ethane, which has 2 carbons and 6 hydrogens arranged like this:

Then suppose you remove one hydrogen. The result is a positively charged ion, or ‘cation’. When I was a kid, I thought the opposite of a cation should be called a ‘dogion’. Alas, it’s not.

This particular cation, formed from removing one hydrogen from an ethane molecule, is called an ‘ethyl cation’. People used to think it looked like this:

They also thought a hydrogen could hop from the carbon with 3 hydrogens attached to it to the carbon with 2. So, they drew a graph with a vertex for each way the hydrogens could be arranged, and an edge for each hop. It looks really cool:

The red vertices come from arrangements where the first carbon has 2 hydrogens attached to it, and the blue vertices come from those where the second carbon has 2 hydrogens attached to it. So, each edge goes between a red vertex and a blue vertex.

This graph has 20 vertices, which are arrangements or ‘states’ of the ethyl cation. It has 30 edges, which are hops or ‘transitions’. Let’s see why those numbers are right.

First I need to explain the rules of the game. The rules say that the 2 carbon atoms are distinguishable: there’s a ‘first’ one and a ‘second’ one. The 5 hydrogen atoms are also distinguishable. But, all we care about is which carbon atom each hydrogen is bonded to: we don’t care about further details of its location. And we require that 2 of the hydrogens are bonded to one carbon, and 3 to the other.

If you’re a physicist, you may wonder why the rules work this way: after all, at a fundamental level, identical particles aren’t really distinguishable. I’m afraid I can’t give a fully convincing explanation right now: I’m just reporting the rules as they were told to me!

Given these rules, there are 2 choices of which carbon has two hydrogens attached to it. Then there are

\displaystyle{ \binom{5}{2} = \frac{5 \times 4}{2 \times 1} = 10}

choices of which two hydrogens are attached to it. This gives a total of 2 × 10 = 20 states. These are the vertices of our graph: 10 red and 10 blue.

The edges of the graph are transitions between states. Any hydrogen in the group of 3 can hop over to the group of 2. There are 3 choices for which hydrogen atom makes the jump. So, starting from any vertex in the graph there are 3 edges. This means there are 3 \times 20 / 2 = 30 edges.

Why divide by 2? Because each edge touches 2 vertices. We have to avoid double-counting them.

The Desargues graph

The idea of using this graph in chemistry goes back to this paper:

• A. T. Balaban, D. Fǎrcaşiu and R. Bǎnicǎ, Graphs of multiple 1,2-shifts in carbonium ions and related systems, Rev. Roum. Chim. 11 (1966), 1205.

This paper is famous because it was the first to use graphs in chemistry to describe molecular transitions, as opposed to using them as pictures of molecules!

But this particular graph was already famous for other reasons. It’s called the Desargues-Levi graph, or Desargues graph for short:

Desargues graph, Wikipedia.

Later I’ll say why it’s called this.

There are lots of nice ways to draw the Desargues graph. For example:

The reason why we can draw such pretty pictures is that the Desargues graph is very symmetrical. Clearly any permutation of the 5 hydrogens acts as a symmetry of the graph, and so does any permutation of the 2 carbons. This gives a symmetry group S_5 \times S_2, which has 5! \times 2! = 240 elements. And in fact this turns out to be the full symmetry group of the Desargues graph.

The Desargues graph, its symmetry group, and its applications to chemistry are discussed here:

• Milan Randic, Symmetry properties of graphs of interest in chemistry: II: Desargues-Levi graph, Int. Jour. Quantum Chem. 15 (1997), 663-682.

The ethyl cation, revisited

We can try to describe the ethyl cation using probability theory. If at any moment its state corresponds to some vertex of the Desargues graph, and it hops randomly along edges as time goes by, it will trace out a random walk on the Desargues graph. This is a nice example of a Markov process!

We could also try to describe the ethyl cation using quantum mechanics. Then, instead of having a probability of hopping along an edge, it has an amplitude of doing so. But as we’ve seen, a lot of similar math will still apply.

It should be fun to compare the two approaches. But I bet you’re wondering which approach is correct. This is a somewhat tricky question, at least for me. The answer would seem to depend on how much the ethyl cation is interacting with its environment—for example, bouncing off other molecules. When a system is interacting a lot with its environment, a probabilistic approach seems to be more appropriate. The relevant buzzword is ‘environmentally induced decoherence’.

However, there’s something much more basic I have tell you about.

After the paper by Balaban, Fǎrcaşiu and Bǎnicǎ came out, people gradually realized that the ethyl cation doesn’t really look like the drawing I showed you! It’s what chemists call ‘nonclassical’ ion. What they mean is this: its actual structure is not what you get by taking the traditional ball-and-stick model of an ethane molecule and ripping off a hydrogen. The ethyl cation really looks like this:

For more details, and pictures that you can actually rotate, see:

• Stephen Bacharach, Ethyl cation, Computational Organic Chemistry.

So, if we stubbornly insist on applying the Desargues graph to realistic chemistry, we need to find some other molecule to apply it to.

Trigonal bipyramidal molecules

Luckily, there are lots of options! They’re called trigonal bipyramidal molecules. They look like this:

The 5 balls on the outside are called ‘ligands’: they could be atoms or bunches of atoms. In chemistry, ‘ligand‘ just means something that’s stuck onto a central thing. For example, in phosphorus pentachloride the ligands are chlorine atoms, all attached to a central phosphorus atom:

It’s a colorless solid, but as you might expect, it’s pretty nasty stuff: it’s not flammable, but it reacts with water or heat to produce toxic chemicals like hydrogen chloride.

Another example is iron pentacarbonyl, where 5 carbon-oxygen ligands are attached to a central iron atom:

You can make this stuff by letting powdered iron react with carbon monoxide. It’s a straw-colored liquid with a pungent smell!

Whenever you’ve got a molecule of this shape, the ligands come in two kinds. There are the 2 ‘axial’ ones, and the 3 ‘equatorial’ ones:

And the molecule has 20 states… but only if count the states a certain way. We have to treat all 5 ligands as distinguishable, but think of two arrangements of them as the same if we can rotate one to get the other. The trigonal bipyramid has a rotational symmetry group with 6 elements. So, there are 5! / 6 = 20 states.

The transitions between states are devilishly tricky. They’re called pseudorotations, and they look like this:

If you look very carefully, you’ll see what’s going on. First the 2 axial ligands move towards each other to become equatorial.
Now the equatorial ones are no longer in the horizontal plane: they’re in the plane facing us! Then 2 of the 3 equatorial ones swing out to become axial. This fancy dance is called the Berry pseudorotation mechanism.

To get from one state to another this way, we have to pick 2 of the 3 equatorial ligands to swing out and become axial. There are 3 choices here. So, if we draw a graph with states as vertices and transitions as edges, it will have 20 vertices and 20 × 3 / 2 = 30 edges. That sounds suspiciously like the Desargues graph!

Puzzle 1. Show that the graph with states of a trigonal bipyramidal molecule as vertices and pseudorotations as edges is indeed the Desargues graph.

I think this fact was first noticed here:

• Paul C. Lauterbur and Fausto Ramirez, Pseudorotation in trigonal-bipyramidal molecules, J. Am. Chem. Soc. 90 (1968), 6722–6726.

Okay, enough for now! Next time I’ll say more about the Markov process or quantum process corresponding to a random walk on the Desargues graph. But since the Berry pseudorotation mechanism is so hard to visualize, I’ll pretend that the ethyl cation looks like this:

and I’ll use this picture to help us think about the Desargues graph.

That’s okay: everything we’ll figure out can easily be translated to apply to the real-world situation of a trigonal bipyramidal molecule. The virtue of math is that when two situations are ‘mathematically the same’, or ‘isomorphic’, we can talk about either one, and the results automatically apply to the other. This is true even if the one we talk about doesn’t actually exist in the real world!

22 Responses to Network Theory (Part 14)

  1. John Baez says:

    This is how cations and dogions interact:

  2. And why are the ligands treated as distinguishable? Does somebody paint numbers on them?

    Surely one chlorine atom is indistinguishable from another, and these should be treated as identical particles.

    • John Baez says:

      Yeah, I raised the same issue for the ethyl cation.

      I haven’t been able to find out if chemists actually do take treat the atomic nuclei as indistinguishable particles in numerical simulations of molecules this size, and how much of a difference it actually makes. They talk about the Desargues graph, but I haven’t seen them discuss this issue.

      If the chlorines have enough internal degrees of freedom (all those electrons) and they’re interacting with enough other stuff in a hot and messy environment, like some phosphorus pentachloride in liquid form, it’s possible that symmetrizing (or antisymmetrizing) the wavefunction with respect to the chlorine nuclei has a pretty negligible.

      Here’s a puzzle for beginners (not you) who are interested in this issue.

      In actual water, the two lone protons in the H2O are indistinguishable fermions, so we should antisymmetrize the wavefunction with respect to interchanging them.

      But we can imagine a world where there were two different particles with the same mass and charge as a proton—say, a proton and a ‘schmoton’. Then we could make a chemical called ‘pseudowater’, where instead of using two protons for the H’s in our H2O, we used a proton and a schmoton. Then we would not antisymmetrize the wavefunction with respect to interchanging them.

      Puzzle 2. What would be the easiest way to tell the difference between a molecule of water and a molecule of pseudowater, experimentally?

      Of course we actually can make water using one ordinary hydrogen atom and one deuterium atom. This is called semiheavy water. And here again, we don’t antisymmetrize the wavefunction. But it’s easy to tell the difference between semiheavy water and ordinary water, either by weighing it or noticing that it melts and boils at a lower temperature than ordinary water. So, I need to invent ‘pseudowater’ to make my question more interesting.

      Digressing somewhat: in the liquid state, molecules of water trade protons with each other quite often. So, liquid semiheavy water is not stable: it rapidly turns into a mixture of 25% ordinary water, 25% heavy water and 50% semiheavy water. The same thing would happen with pseudowater. This complicates my question a bit more than I want, which is why I spoke of ‘a molecule of pseudowater’ instead of a liter of pseudowater. But in a low-density gas, I think water molecules don’t trade their protons so quickly.

      Digressing further, I just discovered that rats can taste the difference between ordinary water and heavy water!

      I knew that large eukaryotic organisms (like people and rats) will die if all they drink is heavy water. But I hadn’t known that rats actually avoid the stuff:

      • Inglis J. Miller Jr. and Gregory Mooser, Taste responses to deuterium oxide, Physiology & Behavior 23 (1979), 69-74

      Abstract: Substitution of deuterium oxide (D2O) as the solvent in taste stimuli elicits neural responses which differ from ordinary water (H2O). Previous reports have shown that D2O is toxic to many animals and rats avoid drinking it when offered H2O simultaneously. In the current study, summated responses were recorded from the chorda tympani nerves of rats after NaCl, KCl, sucrose and quinine were applied to the tongue in solutions of either D2O or H2O. Both solvents were used as the adapting or rinse solution in separate series. On tongues adapted to H2, D2O elicited mean responses which were equivalent to 29% of the response to 0.1 M NaCl. The threshold concentration of D2O in H2O was between 25% and 50%. Solutes in D2O yielded responses which were greater than corresponding solutions of H2O when adapting rinse was H2O. Adaptation to D2O diminished the responses to D2O solutions of NaCl, KCl and sucrose but not quinine. This observation suggests that some portion of the augmented response to stimuli in D2O is due to the solvent itself. The taste of water has been examined by both electrophysiological methods and by behavior, but none of the mechanisms espoused for its effect seem adequate to explain the response to D2O. Water structure at the interface between molecular components of the cell membrane and the bulk phase of the surrounding medium is considered as a locus for disparity in the taste responses to D2O and H2O in the rat.

      I don’t know if people can taste the difference between ordinary water and heavy water. I supposed I’d have heard it if they could. But maybe only special people, like trained wine tasters, can do it?

      Digressing still further, I got the following very interesting email a while ago, from somebody who’d been unable to find Greg Egan’s address:

      Dear Mr. Egan,

      I recently read, with pleasure, several of your books. I particularly enjoyed “Diaspora”. I also note that on your website you have the following erratum regarding the isotopically substituted biosphere on Swift:

      “The difficulties of either creating a biosphere, or modifying an existing one, to use heavy water are not addressed. Certainly, the chemistry of heavy water is sufficiently different from that of normal water that a complete substitution would be fatal to most organisms in Earth’s biosphere. Life based on heavy water might well be possible, but it would not be a simple matter to make the substitution.”

      As a protein NMR spectroscopist by trade, I deal with isotopically substituted organisms on a regular basis. It seems that single-celled microorganisms tolerate 100% heavy water substitution. However, to achieve near 100% substitution of protium with deuterium in all cellular metabolites and macromolecules, a perdeuterated carbon source is needed. For protein NMR sample preparations, it is routine to completely substitute at least one of major elements in the molecule (commonly N or C) with a heavier isotope 15N or 13C. This is done by producing proteins biosynthetically in E. coli cultures, grown in chemically defined media that contain isotopically substituted compounds: 99% – 15N ammonium salts as sole nitrogen source and 99% – 13C glucose as sole carbon source. Occasionally, 15N , 13C and 2H substituted samples are prepared (I’ve done this myself) by using 99.9% D2O as solvent for medium, and 13C,2H-glucose as a sole carbon source. E. coli grow slowly in D2O compared to H2O, but they do grow. I was told that ~98% of 1H is substituted with 2H in samples produced this way.

      Now, bacteria are among simpler forms of life. Eukaryotic organisms, such as yeast and algae, can also grow in 99% D2O (again, used in production of isotopically labeled samples for NMR). While complete substitution with heavy water is fatal to higher organisms and their cell cultures, it seems that amino acids completely substituted with 15N and (or) 13C are tolerated well enough in animal cell cultures. And apparently mass-spectroscopists produce living rats with 15N substitution, by using algal feedstock with >98% 15N. These are meant to study cellular protein composition and modifications under pathological versus normal conditions, so presumably (I do not know how rigorously has this been tested) rats suffer no ill effects from the isotopic substitution itself.

      I do not know how much of this is news to you, and certainly none of the above contradicts your statement that for present terrestrial biosphere substitution with heavy water would not be a simple matter, but I hope you found it somewhat interesting.

      Good luck with upcoming “Orthogonal” books.

      Algirdas Vėlyvis

      • Andrew Taube says:

        The short answer is that for nuclei heavier than H, there is very little impact from nuclear exchange for molecular structure calculations. In fact, there is relatively little impact from assuming that nuclei are classical! The idea is that the nuclei, being so much more massive than the electrons, are sharply peaked about classical positions (at least at the temperatures relevant to chemistry). For many of the things that chemists care about, It turns out this classical nuclei approximation is really good. At room temperature, the thermal wavelength of a proton is about 0.4 Angstrom, a good bit smaller than internuclear distances in a stable molecule.

        Note that fully taking into account nuclear quantum effects and exchange has philosophical implications as well–it would completely change the concept of molecular structure and destroy the idea of isomers (same nuclei, different spatial arrangement). Here’s one recent summary about those issues:

        • Brian Sutcliffe, Permutational symmetry and molecular structure calculations, Collect. Czech. Chem. Commun. 70 (2005), 657-676.

        For protons, there can be relatively substantial effects from the quantum nature of the proton, but even then one often ignores exchange, assuming that the nuclei are sufficiently localized (overlap between single particle proton functions is approx. zero) as to make the correction to the energy due to exchange negligible:

        • Benjamin Auer and Sharon Hammes-Schiffer, Localized Hartree product treatment of multiple protons in the nuclear-electronic orbital framework, J. Chem. Phys. 132 (2010), 084110.

        For high accuracy dynamics, taking into account permutation invariance is important:

        • Bastiaan J. Braams and Joel M. Bowman, Permutationally invariant potential energy surfaces in high dimensionality, International Reviews in Physical Chemistry 8 (2009).

        • John Baez says:

          What a wonderfully erudite answer, Andrew! Thanks for all those references: I was trying to find some, but I wasn’t having much luck. I’m very relieved that I can study phosphorous pentachloride fairly accurately without (anti)symmetrizing over the chlorine nuclei wavefunctions, because I was going to whether I could or not—I just wanted an excuse to play around with dynamics on the Desargues graph!

          My ‘water versus pseudowater’ puzzle is surely too easy for you, so I’m glad you didn’t address it directly… I hope some other readers, perhaps less knowledgeable in physical chemistry, take a crack at it!

    • John Baez says:

      People are posting important comments about how to save the world, so I feel a bit silly posting another one about heavy-water-drinking rats, but I feel it’s good to put all this esoteric information in one place.

      Over on Google+, Bruce Head wrote:

      I’m reading The Disappearing Spoon: And Other True Tales of Madness, Love, and the History of the World from the Periodic Table of the Elements by Sam Kean, and he has the following anecdotes about heavy water:

      [György] Hevesy [Hungarian radiochemist and Nobel laureate] helped determine how quickly the human body recycles an average water molecule (nine days) by volunteering to drink special “heavy” water, in which some hydrogen atoms have an extra neutron, and then having his urine weighed each day … [he also] performed heavy-water experiments on goldfish as well as himself, and he ended up killing a number of them.

      Gilbert Lewis also used heavy water in a last-ditch effort to win the Nobel Prize in the early 1930s. Lewis knew that Harold Urey’s discovery of deuterium – heavy hydrogen with an extra neutron – would win the Nobel Prize, as did every other scientist in the world, including Urey. (After a mostly lackluster career that included ridicule from his in-laws, he came home right after discovering deuterium and told his wife, “Honey, our troubles are over.”)

      Lewis decided to hitch himself to this no-miss prize by investigating the biological effects of water made with heavy hydrogen. Others had the same idea, but Berkeley’s physics department, headed by Ernest O. Lawrence, happened to have the world’s largest supply of heavy water, quite by accident. The team had a tank of water it had been using for years in radioactivity experiments, and the tank had a relatively high concentration of heavy water (a few ounces). Lewis begged Lawrence to let him purify the heavy water, and Lawrence agreed – on the condition that Lewis give it back alter his experiments, since it might prove important in Lawrence’s research, too.

      Lewis broke his promise. After isolating the heavy water, he decided to give it to a mouse and see what happened. One queer effect of heavy water is that, like ocean water, the more you drink, the more throat-scratchingly thirsty you feel, since the body cannot metabolize it. Hevesy ingested heavy water in trace amounts, so his body really didn’t notice, but Lewis’s mouse gulped all the heavy water in a few hours and ended up dead. Killing a mouse was hardly a Nobel Prize-worthy exercise, and Lawrence went apoplectic when he learned a lousy rodent had peed away all his precious heavy water.

  3. Your comment that it’s tricky to know whether to apply stochastic or quantum mechanics raises an interesting question: what are the equations that smoothly transition between the two based on the level of external noise? Is it possible to write these down in a universal way that isn’t too dependent on the type of noise, or would a different level of noise be required for each state?

    • John Baez says:

      Great question!

      I’m sure people have studied this question, at least for some particular examples of quantum systems. I haven’t read the literature on this subject. But in the particular case of a system whose states are the vertices of the Desargues graph:

      if we seek a solution that’s compatible with all 240 symmetries of the Desargues graph, it’s almost unique. The symmetries constrain the problem enormously!

      I’d been planning to talk next time about the classical and quantum versions of this problem, but I could also talk about the almost unique way of interpolating between the classical and quantum cases. And if I do, you’ll see this particular way of interpolating works pretty generally. But I don’t know how physically reasonable it is, in general.

  4. linasv says:

    I’d be interested in knowing the answer to Geoffrey Irving’s question. I’ve been interested in a certain generalization: for any graph, one can define a Markov process; for any graph, you can replace that by a quantum process. Briefly, the edges, instead of being probabilities of transition, become unitary matrices. The verticies are then points in projective spaces (i.e. point in the space on which U(n) acts). So, for example, a one may define a “quantum finite automata” by applying the above steps to a normal probabilistic finite automata. (see wikipedia for details).

    Likewise, given any symmetric space, and a collection of symmetries that act on it, you can generalize Markov by making the points of the graph be elements in the symmetric space, and the edges be valued among the symmetries.

    So, given this rather abstract presentation, I find that Geoffrey Irving’s question is in fact quite interesting. Answering it would seem to shed light on the details of decoherence. I only wish I had the time to ponder such things :-(

  5. linasv says:

    p.s. sorry if above was already discussed in earlier posts; I am going back now to read them…

  6. John Baez says:

    linasv wrote:

    I’d be interested in knowing the answer to Geoffrey Irving’s question. I’ve been interested in a certain generalization: for any graph, one can define a Markov process; for any graph, you can replace that by a quantum process. Briefly, the edges, instead of being probabilities of transition, become unitary matrices.

    I plan to talk about these things, at least a little. It actually sounds like you mean ‘Markov chain’ rather than ‘Markov process’ here. A Markov chain occurs in discrete time while a Markov process occurs in continuous time. So, to specify a Markov chain we give a transition probability for each pair of states, while to specify a Markov process we give a ‘probabilistic rate of transition’ for each pair of states. For a Markov chain the matrix of transition probabilities is a stochastic matrix, while for a Markov process the matrix of rates is an infinitesimal stochastic matrix, also known as an ‘intensity matrix’.

    All these concepts were explained more clearly than I’m doing it now back in Part 11. And, they all have quantum analogues, as explained in Part 12.

    p.s. sorry if above was already discussed in earlier posts; I am going back now to read them…

    Don’t feel bad: I’m happy to review things. That’s the only way to keep new people jumping on board. I don’t want what I’m doing to only be comprehensible to people who have been following all along!

    Anyway, from a graph we can get 4 things in a completely natural way: a Markov chain, a Markov process, and the quantum analogues of those two. We can also get a 1-parameter family of continuous-time dynamical systems interpolating between the Markov process and its quantum analogue. I haven’t thought about trying to doing that in the discrete-time case.

    I’m beginning to see what I should talk about in my next post(s)! Thanks!

  7. John Baez says:

    I hope someone tackles this puzzle, which is really rather fun:

    Puzzle 1. Show that the graph with states of a trigonal bipyramidal molecule as vertices and pseudorotations as edges is indeed the Desargues graph.

    I also hope someone tackles my pseudowater puzzle. It was buried in distracting remarks about rats and heavy water, so here it is in a nutshell:

    Puzzle 2. Suppose there were a substance called ‘pseudowater’, exactly like ordinary H2O except that the Pauli exclusion principle didn’t apply to the nuclei of the two hydrogen atoms. What would be the easiest way to tell the difference between water and pseudowater?

    (If you have trouble answering ill-defined counterfactual questions, assume in Puzzle 2 that hydrogen nuclei can be made of two different particles, protons and schmotons, which have the exact same mass, charge, etcetera but differ in some internal degree of freedom. ‘Pseudowater’ is HH’O, where H is ordinary hydrogen, and H’ is hydrogen with a schmoton replacing the usual proton.)

    • Walter Blackstock says:

      Interesting. Are you talking about spin isomers? I would expect a measurable mass difference between the two spin isoforms.

      • John Baez says:

        Hi, Walter – hope all’s well!

        You got it. If I were talking about H2 instead of H2O, that article you linked to on spin isomers of hydrogen would be exactly right. But—for no particularly good reason—my question was about H2O.

        In fact, I got a bit mixed up… it turns out I understand the answer for H2 a lot better than the answer for H2O. So let me see if I can explain it for H2.

        There are two kinds of H2 molecules: orthohydrogen, where the spins of the two protons are lined up, and parahydrogen, where they are anti-aligned:

        Since the two protons are identical fermions, the wavefunction of the hydrogen molecule has to change sign when you switch them.

        In orthohydrogen the protons’ spin state is symmetric: it doesn’t change when you switch them. So their position state must change sign when you switch them. This means that their total orbital angular momentum can’t be 0: if it were, it would be invariant under rotations, so it wouldn’t change sign when you switch the two protons! But it can be 1, or in fact any odd integer.

        On the other hand, in parahydrogen the protons’ spin state is antisymmetric: it changes sign when you switch them. That’s not obvious from the picture above, which shows one with spin up and the other with spin down. That’s a defect of the picture! In reality, their spin state is

        \displaystyle{ \frac{1}{\sqrt{2}} \left( \uparrow \otimes \downarrow - \downarrow \otimes \uparrow \right) }

        So, it’s antisymmetric. That means their position state must not change sign when you switch them. That means the the total orbital angular momentum of the protons can be 0, or in fact any even integer.

        In short, parahydrogen can have total angular momentum zero, but orthohydrogen can’t—it has to be ‘rotating’. This means the ground state of parahydrogen has lower energy. And the energy difference \Delta E is significant; according to the Wikipedia article \Delta E divided by Boltzmann’s constant is about 175 kelvin.

        If instead we had a ‘pseudohydrogen’ molecule HH’ built from a proton and a schmoton and two electrons, it would still come in ‘ortho’ and ‘para’ forms, but the argument I sketched would no longer apply. So, either form could have any total angular momentum it wanted: 0, 1, 2,…

        So for a pseudohydrogen molecule, unlike an ordinary hydrogen molecule, the ground state energy of the para form would equal that of the ortho form.

        Now, what about water? How would pseudowater differ from water?

        • John Baez says:

          So nobody is willing to try this puzzle? What a bunch of wimps! I won’t make fun of you if you try to answer it and make a mistake. But I’ll definitely make fun of you if you don’t even try!

    • With precisely 5 minutes this morning for such fun activity as answering Azimuth puzzles, can’t we establish for Puzzle 1 an isomorphism between the states and transitions of the trigonal bipyramidal molecule and those of the ethyl cation? Whether an atom is in the axis of the former corresponds to whether it’s in the pair end of the latter.

      • John Baez says:

        David wrote:

        With precisely 5 minutes this morning for such fun activity as answering Azimuth puzzles…

        I’m sorry you’re so busy these days! Anyway, you’ve done more than your share of answering Azimuth puzzles—I think you answered all the Network Theory puzzles until your current state of overwork overtook you. So I would never make fun of you for not trying this one. It’s all the other people who’re in trouble.

        … can’t we establish for Puzzle 1 an isomorphism between the states and transitions of the trigonal bipyramidal molecule and those of the ethyl cation?

        That’s indeed the best way to do it. After all, so far I’ve basically defined the Desargues graph to be the graph of states and transitions for the ethyl cation. Sure, I showed you a picture of it too—but it’s hard to do much with that.

        Whether an atom is in the axis of the former corresponds to whether it’s in the pair end of the latter.

        Hey, that sounds promising. In case someone didn’t follow that, David seems to be hinting that the split of chlorines into 3 equatorial ones and 2 axial ones in this trigonal bipyramidal molecule:

        is analogous to the split of hydrogens into a group 3 and a group of 2 in this ethyl cation:

        If so, the next step would to make sure that this analogy sets up a 1-1 correspondence between the states in the two problems, and also the transitions.

        Consider the transitions, for example. Does a hydrogen hopping from one carbon to another in the ethyl cation correspond to a ‘pseudorotation’ of the trigonal bipyramidal molecule? Remember, pseudorotations are a bit funky. They work like this:

  8. James Griffin says:

    Fascinating, I’m considering sending the post to my graph theory students. As for the validity of distinguishing between different identical particles: my approach would be to say that of course you’re allowed to distinguish between them, just as long as you remember the symmetries.

    One thing I’ve always wondered is when in a given physical situation with such a symmetry, which is the right quotient? The usual one, or the homotopy one? Let’s say the symmetry is finite, indeed it could be just a single reflection. Can one ever see the homology of C_2 in a physical system?

    Another question I have is about the construction of these graphs. Why have we stopped at edges? Could there be 2-cells?

    • John Baez says:

      James wrote:

      … I’m considering sending the post to my graph theory students.

      If you do, you might tell them that the Desargues-Levi graph is a close relative of the Petersen graph, which they may already know. The Petersen graph is the universal counterexample to all dumb guesses in graph theory:

      The Desargues-Levi is the ‘bipartite double cover’ of the Petersen graph, formed by replacing each Petersen graph vertex by a pair of vertices and each Petersen graph edge by a pair of crossed edges.

      I think I used to know how you could get the Petersen graph directly from thinking about the ethyl cation. Maybe just treat the two carbons as indistinguishable?

      As for the validity of distinguishing between different identical particles: my approach would be to say that of course you’re allowed to distinguish between them, just as long as you remember the symmetries.

      Well, Distler’s point was that the Hilbert space of quantum states of phosphorus pentachloride (for example) is smaller than I made it sound.

      One thing I’ve always wondered is when in a given physical situation with such a symmetry, which is the right quotient? The usual one, or the homotopy one?

      People mainly discuss this issue in the treatment of ‘gauge’ symmetries in classical field theory. The traditional approach was to take the usual quotient, but it’s starting to seem that the homotopy quotient is right. A good example is whether you should use the moduli space of elliptic curves when studying about strings whose worldsheet has genus 1, or the moduli stack. The moduli space is an ordinary quotient, while the moduli stack is a homotopy quotient. As I explained back in “week125” of This Week’s Finds, the Picard group of the moduli stack of elliptic curves is \mathbb{Z}/12, and this is related to the magic role of the numbers 12 and 24 in this theory—for example, how the vacuum energy is -1/24, which is part of why the theory is only consistent in 24 + 2 = 26 dimensions.

      Another question I have is about the construction of these graphs. Why have we stopped at edges? Could there be 2-cells?

      Heh. I’m not doing the n-category schtick anymore. But if we were studying something like a 2d random field theory, instead of a Markov process or Markov chain (where there’s just 1 dimension, namely time), that could be natural.

      • James Griffin says:

        Thank you for the thorough reply, I’ll need a little time to digest all that. As for the 2-cells, I was more influenced by group (co)homology than n-category theory. Essentially the idea in my head was that if it were possible to move two hydrogens at once, then there may be a 2-cell whose boundary records the equivalence between the moves which move only one hydrogen at once.

        The simplest example I can come up with is cyclopropane (C3H6, a triangle of carbon molecules) with two hydrogens removed, although I have no idea how stable this would be! I think the graph would have 54 vertices and 144 edges and an action of S_3 \times S_4. The 2-cells depend on the model of how hydrogens are allowed to move, but assuming they’re only allowed to skip over the bonds (rather than over the centre of the triangle) then there are are number of squares attached, perhaps 24.

  9. Let’s try this chemistry puzzle again…

  10. Last time we saw how to get a graph whose vertices are states of a molecule and whose edges are transitions between states. We focused on two beautiful but not completely realistic examples that both give rise to the same highly symmetrical graph: the ‘Desargues graph’. […]

You can use Markdown or HTML in your comments. You can also use LaTeX, like this: $latex E = m c^2 $. The word 'latex' comes right after the first dollar sign, with a space after it.

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

You are commenting using your 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.