this explains much 9 May 2007
Posted by DSM in QOTD, physics.comments closed
If I occasionally neglect to cite a theorist, it’s not because I’ve forgotten. It’s probably because I hate him.
Nobel Prize-winning physicist Leon Lederman
Hat-tip Peter Woit.
on physics and being a squire 22 February 2007
Posted by DSM in physics.comments closed
I forgot to mention how the EPSTAR three-talk evening went. It was pretty good, even though we showed up awfully late and so had to speed-drink our coffee to make it inside in time.
Peter Coles’ talk on dark matter and dark energy was a pretty standard introduction to modern cosmology, but it had some cute notes. My favourite note was his reading of a classic painting of medieval cosmology — Christ surrounded by angels in Heaven, and Hell in the foreground/bottom — in which the angels were mapped to postdocs. He ended with a quote by noted philosopher Donald Rumsfeld:
As we know, there are known knowns. There are things we know we know. We also know there are known unknowns. That is to say we know there are some things we do not know. But there are also unknown unknowns, the ones we don’t know we don’t know.
For reasons I’ve never fully understood, the Left seems to find this quote amusing. But it’s not only clearly true, it’s insightful: the unknown unknowns are the things which wind up killing you, because you can’t plan for them. Rumsfeld is spelling out for people the intelligence challenges of war. Is it just that there are lots of repetitions of versions of the word “know”, apparently too many to keep track of? Is it that they remember repetition from poems and stories in childhood, and so any examples of it make them think of nursery rhymes? Or is it that they hate Rumsfeld, and therefore if he says something which they don’t immediately understand, it must be funny-stupid?
Michael Green’s talk on string theory was fine, but it was mostly a history of particle physics and the GR/QM inconsistency with a few minutes of “.. and now instead of treating particles as points, we’ll consider them extended stringy objects” tagged onto the end. Bryan Webber’s talk on cutting-edge particle physics was actually the most interesting material to me because I don’t know much about the specifics of what’s going to happen at the Large Hadron Collider, and he showed lots of graphs with exclusion curves and permitted regions. I’d even forgotten, for example, that the best-fit model for the Higgs was already (mostly) excluded.
My private hope is that they don’t see evidence of supersymmetry.. just because I know that will annoy a lot of people, and I’m a terrible, terrible person. Even if they did, since there are supersymmetric nonstring theories, it wouldn’t be conclusive evidence in favour of string theory as several pop articles I’ve read suggested. I would’ve liked to ask Michael Green if there are nonsupersymmetric string theories waiting for their day if the LHC rules out anything like the minimal supersymmetric models. Probably; string theorists are nothing if not creative.
The next day, last Thursday, I was talking to a friend when I suddenly realized that if I didn’t sprint I was going to be late for Sir Roger Penrose’s second twistor theory talk. Bashed my knee into concrete while running over, cutting myself pretty badly — still hasn’t healed — and tearing my favourite jeans.
When I made it into the physics building, I ran to the elevators, and found a short, well-dressed man looking somewhat lost. He was also planning to be at the talk, but wasn’t sure where it was: the last time he’d come he’d been escorted. I told him where it was, and waited for the elevator with him, and then led him to the room to make sure he found it.
So I guess my being somewhat late worked out okay, because the lost guy was Sir Roger himself.
Not exactly the stuff out of which legends are made, but we do what we can.
nonperiodic tilings of the plane 14 February 2007
Posted by DSM in astronomy, physics.comments closed
[Currently playing: "Love is All Around", a version of which was used as the Mary Tyler Moore theme song. Turns out to have been written by Sonny Curtis, who also wrote "I Fought the Law". The things you learn from listening to the Diner!]
This week’s full of a lot of talks to launch EPSTAR, the Experimental Particle, String Theory and Astronomy Research consortium — although by astronomy they have in mind cosmology and not planetary dynamics. Professor Sir Roger Penrose, Fellow of the Royal Society, Order of Merit, as he’s formally introduced, is the Very Special Guest.
On Monday he gave a public lecture on “Before the Big Bang”. I tried to record it but something went wrong, which is too bad: think what a bootleg copy of a Penrose talk could bring on the black market! [nothing --ed. spoilsport! --me] He presented various ideas of different levels of plausibility about what (if anything) happened before, and whether or not there were ways to mathematically continue the models past/through/around the initial singularity, assuming there was one. Much of his talk was actually focused on what happens at the hypothetical heat death of the universe, and considered whether in a massless and radiation-dominated regime, the inability to construct a clock (because you don’t have any mass out of which to build anything) means that the standard picture of spacetime will break down in a way similar to the way we expect it breaks down at the earliest period of the universe. (Richard was also there, and he wondered if Penrose’ ideas required proton decay or not. Penrose was ambiguous on this point.)
The hall was packed — the cult of (scientific) celebrity, as someone said — and either the British education system is better than I’ve been led to believe or he may have aimed high in assuming that the audience was comfortable with conformal transformations. (Mappings which preserve angles, both magnitude and direction, but can let other things like size vary.)
Yesterday he gave another talk, a longer and more technical lecture, on his pet idea, twistor theory. Room was also packed: people were standing. The algebra was pretty rough slogging unless you’re more used to working with spinors than I am, but you could follow the overall argument well enough if you paid attention. I think I’d have been completely lost if I hadn’t reread chapter 33 of his book “The Road to Reality” beforehand: he stayed pretty close to his presentation there, just with more of the details.
He had a cute line about first cohomology, also from the book: it’s a precise, nonlocal measure of the degree of physical impossibility of an object, and gave the impossible triangle as an example. Locally, the triangle’s perfectly constuctible — there’s nothing weird about it. And if you remove a corner, you can build it. But you can’t build the object as a whole, and that impossibility of globally satisfying certain connection constraints is what first cohomology measures. (The triangle case is a particularly simple case of this.) He noted that he didn’t know of an equivalent easy way to explain second cohomology, but that just as twistors are naturally useful for dealing with 1-particle wavefunctions because of their first cohomological properties, to handle such things as EPR entanglement second cohomology may be important.
He intermittently returned to the GR/QM unification theme, and suggested that his twistor program (in which the lightcone stays fixed but the idea of an “event” gets fuzzy) has advantages over some other proposals (in which the lightcone gets fuzzed up) as a road to quantum gravity. I’ll go back on Thursday for part two.
In an hour or so the lectures start up again, but no Penrose today. Instead it’s Peter Coles, once of Queen Mary and now of Nottingham, on dark matter and dark energy; Michael Green, once of Queen Mary and now of Cambridge, on string theory (yeah, that Michael Green); and Bryan Webber, never of Queen Mary and now of Cambridge, on the frontiers of particle physics.
Should be fun!
and that’s the truth 10 February 2007
Posted by DSM in physics.comments closed
Drowning in work — and it’s going well, so I think I’ll just keep inhaling the H2O for a while. Apologies to all my correspondents.
This, however, deserved a quote. From Peter Woit’s review of Nick Evans’ new novel “The Newtonian Legacy”:
The main character, Carl Vespers, is a particle theorist who, besides getting involved in the investigation of a mysterious death and having people trying to kill him, has to contend with more than one attractive woman throwing themselves at him, tempting him away from his long-distance girlfriend. All in all, a highly accurate portrayal of the life of a typical particle theorist. Highly recommended.
Speaking as one who knows a fair number of physicists, particle and otherwise, I can assure my nonphysicist readers that such is indeed what it’s like working in the mathematical sciences.
crack in the pavement 7 February 2007
Posted by DSM in astronomy, physics.comments closed
Yet another installment in my numerical adventures.
Had a meeting with Richard yesterday where I showed him the results of many of my test suites designed to show that my new two-timestep code was behaving pretty well. Ran some followup tests before I left for the day: he’d expressed interest in knowing exactly where it was the integrator broke down, and that sounded like a good idea.
Originally I’d planned to use a smooth transition function from the outer to the inner regions, but the analytics became a nightmare almost immediately so I’d have to have switched from the Duncan-style recursion to Chambers-style numerical integration.. and I wanted to put that off for a while. If the method worked pretty well except for transiting objects, then switching to a smooth transition would probably solve that, but if it didn’t work at all, then smoothing the transition wouldn’t help.. so it made sense to try the simple thing first.
I managed to show that the code works surprisingly well in most situations, with a handful of exceptions which I suspect are due to numerical resonances. I think this is because the forces are admittedly becoming more inaccurate on the inside but they’re also less important, and an averaged behaviour is a better approximation. However, when objects cross the boundary between inner and outer zones repeatedly — for example, an object with a respectable eccentricity with semimajor axis at the transition point — then they don’t behave so nicely. They become artificially eccentric.
I can only think of two ways to get around this. The first is to forbid objects from switching back to an outer zone timestep even if they move into the outer zone, but that’d cause problems with the way I’m handling my close encounters. The second, unfortunately, is to put in a smooth transition, which means that I have to finally finish my Chambers code. Since the boss is away for a few days, now’s the time.
On the bright side, given the subtleties of the problem, I can probably release a short paper on the technique aside from the science we’re going to generate, which is a plus..
b is not h 24 January 2007
Posted by DSM in astronomy, physics, planets.comments closed
I’ve mentioned previously that I’m currently working on numerical techniques which will allow me to handle a small number of protoplanets orbiting close to their parent star without having to use the small timestep their fast orbits necessitate for all of the objects in my system. It’s tough to do in a symplectic fashion, but I’m making progress — and am helped somewhat by the fact it’s guaranteed in my particular domain that the number of particles in that region will always be very small compared to the total.
The other week, just out of curiosity, I started a sim with only a few protoplanets but using the small timestep, to see what the gross properties were likely to be. I had a look at the results yesterday and saw some very strange behaviour. I expected a nice linear infall: for the particular surface density I chose, the migration rate is independent of orbital semimajor axis, so if you use the same masses for all your objects they should migrate in tandem.
However, interior to 0.2 AU or so the objects instead started accelerating, and there was no obvious reason for that. Spent most of the afternoon trying to sort out what was going on. At one point I was convinced that it was working on my desktop machine and not working on the cluster, which was very frustrating..
The effect appeared dependent on timestep, which suggested a numerical instability. I’d never tried the migration code at such high densities and so close to the Sun, so it was possible that there was some criterion for the change in energy or angular momentum per timestep that I was now violating. But that didn’t make much sense: the migration rate I was using now was much slower than the migration rate I used in my thesis and you should be able to scale most of the semimajor axis dependence away, so the integration shouldn’t really notice that I’m now closer in. (Annoyingly, they redid the theory on me mid-thesis; fortunately we’d used a number of different migration rates to account for the uncertainty.)
Then things got even weirder: I wanted to see how the unexplained acceleration depended on the mass of the protoplanet, and it turned out that the problem got worse the lighter the planet was! This was downright perverse. Not only should most numerical problems go away the smaller the mass, but type I migration (the kind I’m working with) scales linearly with the mass. You cut the mass in ten, the migration rate drops by ten, so the perturbation per timestep should be much, much smaller — but instead the problem was getting ten times worse!
This turned out to be the key clue. I couldn’t believe that any type I-related numerical instability would behave like that. What kind of effect gets stronger the lighter the planet?
Aerodynamic drag. The aerodynamic drag formula that I use scales inversely with the density of the planet and the radius of the planet. For my test cases, I was leaving the radius alone and just decreasing the mass, which means that I was decreasing the density: so the aerodynamic drag was getting stronger.
So now I knew what was breaking — nothing to do with the strong type I migration, but the easily-overlooked weak aerodynamic drag. It should have been far too weak to do anything, even at these high gas densities, because my protoplanets had very large radii.. once you get above a few hundred km or so there should have been little-to-no effect. I went home, and left solving the problem for today.
Woke up early this morning and tossed in bed for a while, and wondered if it was a scale height issue. Generally speaking, integrators prefer to work with smooth functions. In the inner parts of my disc — much further inside that I’d ever tested before — the disc becomes very thin. If the orbits of my protoplanets were too inclined to the plane, then they might not be smoothly sampling the vertical profile of the disc, which could lead to numerical problems.. but working the numbers in my head it looked like I should be safe. I’ve learned not to trust my before-seven-o’clock arithmetic, though, so it was worth a try.
Tested this theory when I came to the office by putting down a protoplanet right in the midplane, making it a two-dimensional problem, in which it shouldn’t ever notice there’s a vertical gradient.. but it continued to fail noisily. Manually changing the scale height and making the disc thicker didn’t help either, although the midplane test was stricter in any case.
So I fell back on the old standby: uncommenting all the debugging printfs in the aerodrag routine and looking to see if the intermediate numbers provided any insight.
After that it took about thirty seconds. The accelerations on the protoplanets that the aerodynamic drag were reporting were varying by orders of magnitude from one call to the next, which couldn’t be right.
I soon realized what was going on: I was using the barycentric positions instead of the heliocentric positions as a result of some changes I’d made to the code a while back. This meant that the acceleration vector had the wrong magnitude and was pointing in the wrong direction half the time. It’d be hard to notice at large semimajor axis, where the orbital velocity is slower and the accelerations smaller, but the problems due to the asymmetry leap out at you when the accelerations get large enough.
The necessary change, after all that?
r = obj->rb;
had to become
r = obj->rh;
Just another day in the life of a numerical programmer.
While I’m rambling on the subject of numerics, let me put in a good word for Piet Hut and Jun Makino’s brilliant work on the various Art of Computational Science projects. Their dialogue-style tutorials and introductions to N-body methods not only give you an understanding of the details of the field, but they do about as good a job as it’s possible to imagine a static text doing of conveying the “tacit knowledge” that lurks in the background of the discipline.. the sorts of things you should try, and the sorts of mistakes that crop up. All fellow computational astrophysicists should take a look, and we owe them a debt of gratitude for their efforts.
the blood-dimmed tide 3 November 2006
Posted by DSM in astronomy, physics.comments closed
Today Steven Balbus (late of the University of Virginia, now of ENS-Paris) was the speaker at the astronomy seminar. He’s famous for the Balbus-Hawley instability, usually just called the magneto-rotational instability (MRI) these days.. he was modest and used the generic name. The MRI was a clever solution to the puzzle of how accretion discs can act as if they’re viscous when the densities and temperatures of the discs mean that the usual molecular viscosity is far too weak to be of any use.
Loosely speaking, viscosity is the ’self-stickiness’, or resistance to pouring, of a fluid: it’s what maple syrup has a lot of that water doesn’t. The problem for accretion discs is that when you estimate the timescale on which molecular viscosity would let the disc viscously accrete onto the star (time of accretion ~ R*R/nu, where R is the size of the disc and nu is the viscosity), it takes five or six orders of magnitude too long. So what’s providing the viscosity if not the disc’s syrupy goodness?
Enter Balbus and Hawley, who noticed that when you introduced magnetic fields into the picture things improve. The magnetic field can act like a spring connecting different parts of the disc together. For example, when two elements of the fluid above and below the disc midplane are knocked a little bit to the side, the tension of the magnetic spring tries to increase the angular momentum of the now-inner element (which is orbiting faster) and decrease the momentum of the now-outer one (orbiting slower).. which only increases the tension.. and we have positive feedback, the process runs away, and the result is turbulence. The magnetic coupling allows different parts of the disc to talk to each other quickly which couldn’t if they could only communicate via purely molecular interactions, and the turbulence allows for much greater angular momentum transport than you’d have otherwise. If you cross your fingers, you can pretend the resulting transport is due to a viscosity. (Cross them hard.)
If you have the time, you can check out Jim Stone’s webpage for his gallery of magnetohydrodynamic animations. Impressive stuff. But a word of advice: if you ever meet him, don’t call the viscosity-like term in the Shakura-Sunyaev alpha-parameter model a viscosity.. he takes his terminology seriously! (The alpha model is what you get if you wave your hands madly and try to guess how the angular momentum transport is going to behave based on simple dimensional and physical arguments which leave a lot of important stuff out but often work well enough in practice.) Stone spoke at the Kingston-in-Kingston meeting this summer — a.k.a. the Henriksenfest! — and more than once I saw him grimace and object loudly when this came up.
Balbus was talking about the low-luminosity regime of accretion around black holes, and discussed magnetothermal and magnetoviscous analogies to the MRI instability which may play a role in diffuse plasmas. The physical analogies he provided were helpful, even if the seminar still required amateurs like me to pay quite a lot of attention to follow along.
Oh, and earlier today I found out that he’s married to protoplanetary disc expert Caroline Terquem! Sometimes it takes forever to learn certain things because everyone assumes you already know..
Buckingham pi 24 September 2006
Posted by DSM in mathematics, physics.comments closed
Over at the n-Category cafe, John Baez has an interesting post on dimensional analysis; read the discussion for connections with torsors (as JB wrote elsewhere, a torsor is like a group that’s forgotten its origin) and Hom spaces.
For those unfamiliar with Baez’ work, he’s a mathematician interested in category theory and its applications to mathematical physics, especially loop quantum gravity. He’s also a very gifted science expositor, and his various tutorials and his “This Week’s Finds” series (a kind of math-phys proto-blog) are both informative and fun. I learned most of the GR I know not from the class I took on it but from his writing.
(And for any who might be wondering: she’s his aunt.)