Friday, September 28, 2018

A Year Down Under and an October Astrobite

As of September 29th I've been in Melbourne for a full year now. It's been a long year of working on my PhD, I've moved twice, and I miss Hilo's climate pretty often, but I've also made some amazing friends and discovered a facility for and enjoyment of painting I didn't know I had (about which I promise a post in the next few weeks). I've had artwork exhibited in a public exhibition, and learned that stars and CCDs are infinitely more complicated than I ever dreamed (or wanted to know).

I've done an excellent job of hiding my telescope model behind a pillar in this photo.
In other news I put out a new Astrobite today, on a paper talking about finding the mass of the closest known white dwarf by measuring its gravitational redshift (basically, how much its light is redshifted climbing out of its gravitational well). This one was pretty interesting for me, as the authors used the Hubble Space Telescope and spent some time detailing all the tiny systematic errors in its spectrograph's CCD. Detailing tiny systematic errors in CCDs is pretty much my PhD (or at least it feels like at times) so I could really empathize with what they went through to get a good measurement. I also got some nice comments from two of the paper's authors, so that was cool.


That's it for now! A hui hou!

Tuesday, September 25, 2018

α, π, and the Riemann Hypothesis

On September 24th an accomplished mathematician named Sir Michael Atiyah gave a presentation wherein he claimed to have discovered a simple proof of the Riemann Hypothesis, a 160-year-old open question in mathematics about the distribution of prime numbers. Most people making such a claim would be immediately dismissed (longstanding open questions like that in mathematics are usually solved as the result of many people working together rather than a single person), but Atiyah has won both the Fields Medal and Abell prize (both considered roughly the equivalent of a Nobel Prize for mathematicians) and has enough credibility to cause people to take notice.

While this is interesting enough on its own for its many profound implications across mathematics, it's extremely interesting (and personal) for me due to the fact that Atiyah's claimed proof of the Riemann Hypothesis was apparently a happy accidental byproduct (!) of his true goal: finding a way to compute the value of the fine-structure constant, α based on other numbers. If you don't know, my entire Ph.D. revolves around searching for variation in α; if this claimed proof were to turn out to be true (and I'll revisit that if in a second), it would elevate α to the same level as e or π, an unchanging mathematical quantity. As far as I can tell, his calculation of the value of α would have it be proveably constant, which would put paid to the notion of searching for variation in it, and incidentally my entire Ph.D..

Now, I'm not getting too worried about this just yet for a few reasons. First of all, multiple people who know far more than I do about the relevant mathematics have expressed skepticism about the results. Atiyah, though undoubtedly incredibly smart and gifted, is getting on in years (he's 89), and has advanced a few theories in the past couple of years that have failed to gather peer support. It seems very unlikely that such a longstanding open question has a simple proof that no one has spotted until now. It's not impossible, especially as advances are made in mathematics over time, but, while romantic, the idea of a lone genius stumbling upon a profound proof is less and less likely nowadays where significant advances are increasingly the result of collaboration and correspondence between large teams of people.

Now, I'm only a humble physicist and no mathematician, and will freely admit that I don't understand probably the majority of the math behind the claimed proof, but I have three things that make me skeptical myself.

There's just something about α that seems to attract numerological explanations. Being a dimensionless physical constant with no known relation to other important mathematical constants or way of calculating its value seems to fire people's imaginations. Richard Feynmann in 1985 wrote of α:
Immediately you would like to know where this number for a coupling [α] comes from: is it related to pi or perhaps to the base of natural logarithms? Nobody knows. It's one of the greatest damn mysteries of physics: a magic number that comes to us with no understanding by man. You might say the "hand of God" wrote that number, and "we don't know how He pushed his pencil."
Soon after α was introduced by Arnold Sommerfeld in 1916 people began coming up with schemes for how it relates to various mathematical constants. Atiyah's proof claims a sort of connection with π, with 1/α being the limit of some kind of “renormalization” function acting on π. Numerological explanations have come and gone over the last century with none of them ultimately being accepted; while it's possible this is an exception, it's certainly not the first attempt someone has made to derive α from other numbers.

However, this leads to a second consideration: α is a measured quantity. We don't have a method to calculate its value now (that's the whole reason behind my Ph.D.), and it's difficult to see how to prove that, even if the particular function Atiyah has introduced (called the Todd function) works as he claims, that it's actually producing the real, correct value of α and isn't merely a coincidence.

Finally, I'm a τ-ist; I believe that the correct circle constant is \(τ=2π\), so I find it unlikely that an explicit mathematical connection would exist between π and α. It's not impossible, certainly, but I strongly suspect that if such a connection exists it would be between α and τ, not π. Interestingly, I was able to gather that the proof involves a generalization of Euler's famous formula \(e^{i\pi}=-1\), which is partly only a thing due to using π instead of τ. (The τ version, \(e^{i\tau}=1\) is equally true but incredibly basic—it essentially says that if you go around \(360^\circ\) then you've made a full circle—and hasn't caught people's imagination the way Euler's version has.)

I've really only been able to do a bare minimum of reading about this topic, but I'll definitely be keeping an eye on in the coming days and try to update you as I learn more. (The possibility—however remote—of one's Ph.D. being for naught is incredibly motivating!) A hui hou!

Saturday, September 15, 2018

Walking About in “The Bush”

It's been a bit quiet on the ol’ blog front recently, hasn't it? I've had a few ideas for posts in mind but never seem to find time to realize them—I've been pretty busy with a number of things lately, including a new project I'm not quite ready to show off yet but has something to do with this:

Clearly, I've started up a paint factory.
Last week I went on a nature walk with a bunch of other young adults from church, which was a really enjoyable experience. It was one of the first days showing indications of spring so far this year, and the weather was pretty much perfect. We went for a (short) walk along the Yarra River (which flows through the heart of Melbourne) through “the bush,” a thick forest of eucalypts, wattles, and other Australian flora. (The only fauna we saw were some cockatoos, including some beautiful black ones, but we did hear a kookaburra.)

The Yarra River in panorama from the trail.
I still find it amusing that—due to growing up in a small eucalyptus grove in California—the smell of warm eucalyptus (…or wet eucalyptus, or really any eucalyptus) instantly makes me feel at home. Anyway, hopefully I'll have time to post some more soon, including my secret painting project which I'm enjoying far more than I expected. A hui hou!