Dec 302015
 

It is nice to have a paper accepted on the penultimate day of the year by Physical Review D.

Our paper in question, General relativistic observables for the ACES experiment, is about the Atomic Clock Ensemble in Space (ACES) experiment that will be installed on board the International Space Station (ISS) next year. This experiment places highly accurate atomic clocks in the microgravity environment of the ISS.

How accurate these clocks can be depends, in part, on knowledge of the general relativistic environment in which these clocks will live. This will be determined by the trajectory of the ISS as it travels through the complex gravitational field of the Earth, while being also subject to non-gravitational forces, most notably atmospheric drag and solar radiation pressure.

What complicates the analysis is that the ACES clocks will not be located at the ISS center-of-mass; therefore, as the ISS is quite a large object subject to tidal accelerations, the trajectory of the ACES clocks is non-inertial.

To analyze the problem, we looked at coordinate transformation rules between the various coordinate systems involved: geocentric and terrestrial coordinates, coordinates centered on the ISS center-of-mass, and coordinates centered on ACES.

One of our main conclusions is that in order for the clock to be fully utilized, the orbit of the ISS must be known at an accuracy of 2 meters or less. This requirement arises if we assume that the orbits are known a priori, and that the clock data are used for science investigations only. If instead, the clock data are used to refine the station orbit, the accuracy requirement is less stringent, but the value of the clock data for scientific analysis is also potentially compromised.

It was an enjoyable paper to work on, and it is nice to end the year on a high note. As we received the acceptance notice earlier today, we were able to put the accepted version on arXiv just in time for it to appear on the very last day of the year, bearing the date December 31, 2015.

Happy New Year!

 Posted by at 8:57 pm
Dec 242015
 

It has become a habit of mine. On Christmas Eve Day, I like to offer my best wishes to all my friends, members of my extended family, and indeed to all good people on this Earth with the words of the first three human beings in history who left our planet and entered orbit around another celestial body: The astronauts of Apollo 8, who accomplished their historic mission at the end of one of the most tumultuous years since World War 2, 1968.

And as they emerged from the dark side of the Moon and reestablished radio contact with the Earth, they greeted their fellow humans by quoting from the Book of Genesis. They then finished their broadcast with these unforgettable words: “And from the crew of Apollo 8, we close with good night, good luck, a Merry Christmas and God bless all of you – all of you on the good Earth.

 Posted by at 5:00 pm
Dec 242015
 

Here is the Weather Network’s forecast for today that was made a couple of days ago:

No, they weren’t lying. Here is what my thermometer showed just a few minutes ago:

20151224_113346

And it’s already less than what it was; the temperature dropped from 16.4 to 16.2 degrees Centigrade in the past half hour.

May not be impressive for a place like Dubai or Mumbai but lest we forget, I live in Ottawa, supposedly the second coldest capital city on Earth.

Needless to say, we are not going to have a white Christmas this year.

 Posted by at 11:42 am
Dec 162015
 

The reason for my trip to China was to participate in the 3rd workshop on the TianQin mission.

TianQin is a proposed space-borne gravitational wave detector. It is described in our paper, which was recently accepted for publication in Classical and Quantum Gravity. The name, as typical for China, is poetic: it means a zither or harp in space or perhaps (sounds much nicer in English) a celestial harp. A harp that resonates in response to continuous gravitational waves that come from binary pulsars.

Gravitational waves are notoriously hard to detect because they are extremely weak. To date, we only have indirect confirmation of gravitational waves: closely orbiting binary pulsars are known to exhibit orbital decay that is consistent with the predictions of Einstein’s gravity.

Gravitational radiation is quadrupole radiation. It means basically that it simultaneously squeezes spacetime in one direction and stretches it in a perpendicular direction. This leads to the preferred method of detection: two perpendicular laser beams set to interfere with each other. As a gravitational wave passes through, a phase shift occurs as one beam travels a slightly longer, the other a slightly shorter distance. This phase shift manifests itself as an interference pattern, which can be detected.

But detection is much harder in practice than it sounds. Gravitational waves are not only very weak, they are also typically very low in frequency. Strong gravitational waves (relatively speaking) are produced by binaries such as HM Cancri (aka. RX J0806.3+1527) but even such an extreme binary system has an orbital period of several minutes. The corresponding gravitational wave frequency is measured in millihertz, and the wavelength, in tens or hundreds of millions of kilometers.

There is one exception: inspiraling neutron star or black hole binary systems at the very end of their lives. These could produce detectable gravitational waves with frequencies up to even a kilohertz or so, but these are random, transient events. Nonetheless, there are terrestrial detectors such as LIGO (Laser Interferometer Gravitational-wave Observatory) that are designed to detect such events, and the rumor I heard is that it may have already happened. Or not… let’s wait for the announcement.

But the continuous waves from close binaries require a detector comparable in size to the wavelength of their gravitational radiation. In short, an interferometer in which the laser beams can travel at least a few hundred thousand kilometers, preferably more. Which means that the interferometer must be in space.

This is the idea behind LISA, the Laser Interferometer Space Antenna project. Its current incarnation is eLISA (the “e” stands for “evolved”), a proposed European Space Agency mission, a precursor of which, LISA Pathfinder, was launched just a few days ago. Nonetheless, eLISA’s future remains uncertain.

Enter the Chinese, with TianQin. Whereas eLISA’s configuration of three spacecraft is designed to be in deep space orbiting one of the Earth-Sun Lagrange points with inteferometer arm lengths as long as 1.5 million kilometers, TianQin’s more modest proposal calls for a geocentric configuration, with arm lengths of 150,000 km or so. This means reduced sensitivity, of course, and the geocentric orbit introduces unique challenges. Nonetheless, our colleagues believe that it is fundamentally feasible for TianQin to detect gravitational waves from a known source with sufficient certainty. In other words, the primary mission objective of TianQin is to serve as a gravitational wave detector, confirming the existence of continuous waves emitted by a known binary system, as opposed to being an observatory, usable to find previously unknown sources of gravitational radiation. Detection is always easier: in radio technology, for instance, a lock-in amplifier can be used to detect the presence of a carrier wave even when it is far too weak to carry any useful information.

Theoretical sensitivity curve of the proposed TianQin mission.
Theoretical sensitivity curve of the proposed TianQin mission.

The challenges of TianQin are numerous, but here are a few main ones:

  • First, precisely controlling the orbits of shielded, drag-free test masses such that their acceleration due to nongravitational forces is less than \(10^{-15}~{\rm m}/{\rm s}^2\).
  • Second, precisely controlling the optical path such that no unmodeled effects (e.g., thermal expansion due to solar heating) contribute unmodeled changes more than a picometer in length.
  • Third, implementing time-delay interferometry (TDI), which is necessary in order to be able to compare the phases of laser signals that traveled different lengths, and do so with sufficient timing accuracy to minimize the contributions due to fluctuations in laser frequency.

Indeed, some of the accuracy requirements of TianQin exceed those of eLISA. This is a tall order for any space organization, and China is no exception. Still, as they say, where there is a will…

Unequal-arm Michelson interferometer
Unequal-arm Michelson interferometer.

One thing that complicates matters is that there are legal barriers when it comes to cooperation with China. In the United States there are strong legal restrictions preventing NASA and researchers at NASA from cooperating with Chinese citizens and Chinese enterprises. (Thankfully, Canada is a little more open-minded in this regard.) Then there is the export control regime: Technologies that can be utilized to navigate ballistic missiles, to offer satellite-based navigation on the ground, and to perform remote sensing may be categorized as munitions and fall under export control restrictions in North America, with China specifically listed as a proscribed country.

The know-how (and software) that would be used to navigate the TianQin constellation is arguably subject to such restrictions at least on the first two counts, but possibly even the third: a precision interferometer in orbit can be used for gravitiational remote sensing, as it has been amply demonstrated by GRACE (Gravity Recovery And Climate Experiment), which was orbiting the Earth, and GRAIL (Gravity Recovery And Interior Laboratory) in lunar orbit. Then there is the Chinese side of things: precision navigation requires detailed information about the capabilities of tracking stations in China, which may be, for all I know, state secrets.

While these issues make things a little tricky for Western researchers, TianQin nonetheless has a chance of becoming a milestone experiment. I sincerely hope that they succeed. And I certainly feel honored, having been invited to take part in this workshop.

 Posted by at 5:32 pm
Dec 082015
 

Hello, Guangzhou. And hello world, from Guangzhou. Here is what I see from my hotel window today:

It is a very interesting place. Today, I had a bit of a walk not just along the main urban avenues, full of neon and LED signs and modern high-tech stores, but also in some of the back alleys, complete with street vendors, stray dogs, and 60-70 year old crumbling buildings, some abandoned. In short… a real city with a real history.

For what it’s worth, I am here on account of a conference about a planned space-borne gravitational wave detector called TianQin.

 Posted by at 2:31 am
Dec 032015
 

It has been in the news recently that the baboon exhibit at the Toronto Zoo had to close temporarily. The reason: Following the death of the matriarch, there was a power struggle.

The reason why I find this fascinating is that these baboons weren’t fighting for food. They were not fighting for sex. They were not fighting for a more cozy sleeping place or anything else tangible.

No… they were fighting for power.

That such an abstract concept not only exists in the animal world but may even prompt a vicious fight might upset those who maintain illusions about the noble animal world. But then, perhaps the animal world is not that different from the world of humans.

We all came from the same place, after all.

The next time a bellicose politician, ruler or warlord makes a threat, brandishing fancy weapons of war, in some vainglorious quest for power, just think of one word: baboon.

 Posted by at 6:28 pm
Nov 122015
 

I almost forgot: The International Space Station just celebrated fifteen years of continuous occupation.

Continuous occupation by humans, that is. I wonder if they’ve had the same ship’s cat all this time.

 Posted by at 10:01 pm
Oct 282015
 

So here I am, listening to, not really watching CBC NewsWorld, when they briefly cut to a live picture from the International Space Station where a spacewalk is underway, and I hear this:

capture_20151028_081942

Yup, that’s what the anchorwoman said: Scott Kelly has two pair [sic!] of legs.

You’d think that such a scary, dramatic mutation would have received more coverage already. But what do we know? Must be another liberal mainstream media conspiracy, hiding the facts from people.

 Posted by at 8:28 am
Oct 082015
 

I received a very polite invitation to be an “academic editor” to a scholarly journal.

Sounds good, right? To be sure, I am promised no monetary compensation, indeed, I’d still have to pay (albeit at a discount) to have my papers published in the same journal (not that I have any plans to do so). Still… it’s an honor, right?

Too bad it’s one of the many predatory journals of a predatory publisher. A journal that publishes just about anything so long as the author pays the (often hefty) publication fee. There are now thousands of such journals around the world, maintaining a parasitic existence, leeching off both crackpots and third-world researchers who don’t know any better and try to pad their resumes with a seemingly legitimate publication record.

So why am I ever so slightly hesitant? Well… on two (maybe three?) occasions in recent weeks, I received requests from the same journal to referee papers. I indicated that I was not available, but also that, judging by the abstracts that were shared with me, those papers should have been rejected by the editor and never sent out to referees in the first place.

And now here I am, being asked to work as a volunteer editor for the same journal. Should I accept it, in the hope that I would be given the editorial autonomy to reject papers up front, in the hope of improving the journal’s standards?

Probably a bad idea.

 Posted by at 9:35 pm
Oct 072015
 

It’s time for me to write about physics again. I have a splendid reason: one of the recipients of this year’s physics Nobel is from Kingston, Ontario, which is practically in Ottawa’s backyard. He is recognized for his contribution to the discovery of neutrino oscillations. So I thought I’d write about neutrino oscillations a little.

Without getting into too much detail, the standard way of describing a theory of quantum fields is by writing down the so-called Lagrangian density of the theory. This Lagrangian density represents the kinetic and potential energies of the system, including so-called “mass terms” for fields that are massive. (Which, in quantum field theory, is the same as saying that the particles we associate with the unit oscillations of these fields have a specific mass.)

Now most massive particles in the Standard Model acquire their masses by interacting with the celebrated Higgs field in various ways. Not neutrinos though; indeed, until the mid 1990s or so, neutrinos were believed to be massless.

But then, neutrino oscillations were discovered and the physics community began to accept that neutrinos may be massive after all.

So what is this about oscillations? Neutrinos are somewhat complicated things, but I can demonstrate the concept using two hypothetical “scalar” particles (doesn’t matter what they are; the point is, their math is simpler than that of neutrinos.) So let’s have a scalar particle named \(\phi\). Let’s suppose it has a mass, \(\mu\). The mass term in the Lagrangian would actually be in the form, \(\frac{1}{2}\mu\phi^2\).

Now let’s have another scalar particle, \(\psi\), with mass \(\rho\). This means another mass term in the Lagrangian: \(\frac{1}{2}\rho\psi^2\).

But now I want to be clever and combine these two particles into a two-element abstract vector, a “doublet”. Then, using the laws of matrix multiplication, I could write the mass term as

$$\frac{1}{2}\begin{pmatrix}\phi&\psi\end{pmatrix}\cdot\begin{pmatrix}\mu&0\\0&\rho\end{pmatrix}\cdot\begin{pmatrix}\phi\\\psi\end{pmatrix}=\frac{1}{2}\mu\phi^2+\frac{1}{2}\rho\psi^2.$$

Clever, huh?

But now… let us suppose that there is also an interaction between the two fields. In the Lagrangian, this interaction would be represented by a term such as \(\epsilon\phi\psi\). Putting \(\epsilon\) into the “0” slots of the matrix, we get

$$\frac{1}{2}\begin{pmatrix}\phi&\psi\end{pmatrix}\cdot\begin{pmatrix}\mu&\epsilon\\\epsilon&\rho\end{pmatrix}\cdot\begin{pmatrix}\phi\\\psi\end{pmatrix}=\frac{1}{2}\mu\phi^2+\frac{1}{2}\rho\psi^2+\epsilon\phi\psi.$$

And here is where things get really interesting. That is because we can re-express this new matrix using a combination of a diagonal matrix and a rotation matrix (and its transpose):

$$\begin{pmatrix}\mu&\epsilon\\\epsilon&\rho\end{pmatrix}=\begin{pmatrix}\cos\theta/2&\sin\theta/2\\-\sin\theta/2&\cos\theta/2\end{pmatrix}\cdot\begin{pmatrix}\hat\mu&0\\0&\hat\rho\end{pmatrix}\cdot\begin{pmatrix}\cos\theta/2&-\sin\theta/2\\\sin\theta/2&\cos\theta/2\end{pmatrix},$$

which is equivalent to

$$\begin{pmatrix}\hat\mu&0\\0&\hat\rho\end{pmatrix}=\begin{pmatrix}\cos\theta/2&-\sin\theta/2\\\sin\theta/2&\cos\theta/2\end{pmatrix}\cdot\begin{pmatrix}\mu&\epsilon\\\epsilon&\rho\end{pmatrix}\cdot\begin{pmatrix}\cos\theta/2&\sin\theta/2\\-\sin\theta/2&\cos\theta/2\end{pmatrix},$$

or

$$\begin{pmatrix}\hat\mu&0\\0&\hat\rho\end{pmatrix}=\frac{1}{2}\begin{pmatrix}\mu+\rho+(\mu-\rho)\cos\theta-2\epsilon\sin\theta&(\rho-\mu)\sin\theta-2\epsilon\cos\theta\\(\rho-\mu)\sin\theta-2\epsilon\cos\theta&\mu+\rho+(\rho-\mu)\cos\theta+2\epsilon\sin\theta\end{pmatrix},$$

which tells us that \(\tan\theta=2\epsilon/(\rho-\mu)\), which works so long as \(\rho\ne\mu\).

Now why is this interesting? Because we can now write

\begin{align}\frac{1}{2}&\begin{pmatrix}\phi&\psi\end{pmatrix}\cdot\begin{pmatrix}\mu&\epsilon\\\epsilon&\rho\end{pmatrix}\cdot\begin{pmatrix}\phi\\\psi\end{pmatrix}\\
&{}=\frac{1}{2}\begin{pmatrix}\phi&\psi\end{pmatrix}\cdot\begin{pmatrix}\cos\theta/2&\sin\theta/2\\-\sin\theta/2&\cos\theta/2\end{pmatrix}\cdot\begin{pmatrix}\hat\mu&0\\0&\hat\rho\end{pmatrix}\cdot\begin{pmatrix}\cos\theta/2&-\sin\theta/2\\\sin\theta/2&\cos\theta/2\end{pmatrix}\cdot\begin{pmatrix}\phi\\\psi\end{pmatrix}\\
&{}=\frac{1}{2}\begin{pmatrix}\hat\phi&\hat\psi\end{pmatrix}\cdot\begin{pmatrix}\hat\mu&0\\0&\hat\rho\end{pmatrix}\cdot\begin{pmatrix}\hat\phi\\\hat\psi\end{pmatrix}.\end{align}

What just happened, you ask? Well, we just rotated the abstract vector \((\phi,\psi)\) by the angle \(\theta/2\), and as a result, diagonalized the expression. Which is to say that whereas previously, we had two interacting fields \(\phi\) and \(\psi\) with masses \(\mu\) and \(\rho\), we now re-expressed the same physics using the two non-interacting fields \(\hat\phi\) and \(\hat\psi\) with masses \(\hat\mu\) and \(\hat\rho\).

So what is actually taking place here? Suppose that the doublet \((\phi,\psi)\) interacts with some other field, allowing us to measure the flavor of an excitation (particle) as being either a \(\phi\) or a \(\psi\). So far, so good.

However, when we attempt to measure the mass of the doublet, we will not measure \(\mu\) or \(\rho\), because the two states interact. Instead, we will measure \(\hat\mu\) or \(\hat\rho\), corresponding to the states \(\hat\phi\) or \(\hat\psi\), respectively: that is, one of the mass eigenstates.

Which means that if we first perform a flavor measurement, forcing the particle to be in either the \(\phi\) or the \(\psi\) state, followed by a mass measurement, there will be a nonzero probability of finding it in either the \(\hat\phi\) or the \(\hat\psi\) state, with corresponding masses \(\hat\mu\) or \(\hat\rho\). Conversely, if we first perform a mass measurement, the particle will be either in the \(\hat\phi\) or the \(\hat\psi\) state; a subsequent flavor measurement, therefore, may give either \(\phi\) or \(\psi\) with some probability.

In short, the flavor and mass eigenstates do not coincide.

This is more or less how neutrino oscillations work (again, omitting a lot of important details), except things get a bit more complicated, as neutrinos are fermions, not scalars, and the number of flavors is three, not two. But the basic principle remains the same.

This is a unique feature of neutrinos, by the way. Other particles, e.g., charged leptons, do not have mass eigenstates that are distinct from their flavor eigenstates. The mechanism that gives them masses is also different: instead of a self-interaction in the form of a mass matrix, charged leptons (as well as quarks) obtain their masses by interacting with the Higgs field. But that is a story for another day.

 Posted by at 9:47 pm
Sep 292015
 

In Douglas Adams’s immortal Hitchiker’s Guide to the Galaxy, someone builds a device called the Total Perspective Vortex. This device invariably drives people insane by simply showing them exactly how insignificant they are with respect to this humongous universe.

The Total Perspective Vortex may not exist in reality, but here is the next best thing: A model of the solar system, drawn to scale.

moonpixel

The scale of this page is set so that the Moon occupies one screen pixel. As a result, we have an image that is almost a thousand times wider than my HD computer monitor. It takes a while to scroll through it.

Thankfully, there is an animation option that not only scrolls through the image automatically, but does so at the fastest speed possible, the speed of light.

Oh, did I mention that it still takes well over five hours to scroll all the way to Pluto?

By the way, the nearest star, our closest stellar neighbor is roughly 2,000 times as far from us as Pluto.

Or, once again in the words of Douglas Adams, “Space is big. Really big. You just won’t believe how vastly, hugely, mind-bogglingly big it is. I mean, you may think it’s a long way down the road to the chemist, but that’s just peanuts to space.”

 Posted by at 12:41 pm
Aug 182015
 

I woke up this morning to the news that Mexican-Israeli physicist Jacob Bekenstein died two days ago, at the age of 68, in Helsinki, Finland. I saw nothing about the cause of death.

Bekenstein’s work is well known to folks dealing with gravity theory. Two of his contributions stand out in particular.

First, Bekenstein was first to suggest that black holes should have entropy. His work, along with that of Stephen Hawking, led to the Bekenstein-Hawking entropy formula \(S=kc^3A/4G\hbar\), relating the black hole’s surface area \(A\) to its entropy \(S\) using the speed of light \(c\), the gravitational constant \(G\), the reduced Planck constant \(\hbar\) and Boltzmann’s constant \(k\). With this work, the science of black hole thermodynamics was born, leading to all kinds of questions about the nature of black holes and the connection between thermodynamics and gravity, many of which remain unanswered to this day.

Bekenstein’s second contribution was to turn Morehai Milgrom’s MOdified Newtonian Dynamics (MOND) into a respectable relativitistic theory. The MOND paradigm is about replacing Newton’s law relating force \(({\mathbf F})\), mass \((m)\) and acceleration \(({\mathbf a})\), \({\mathbf F}=m{\mathbf a}\), with the modified law \({\mathbf F}=\mu(a/a_0)m{\mathbf a}\), where all we know about the function \(\mu(x)\) is that \(\lim_{x\to 0}\mu(x)=x\) and \(\lim_{x\to\infty}\mu(x)=1\). Surprisingly, the right choice of \(a_0\) results in an acceleration law that explains the anomalous rotation of galaxies without the need for dark matter. However, in this form, MOND is theoretically ugly: it is a formula that violates basic conservation laws, including the consevation of energy, for instance. Bekenstein’s TeVeS (Tensor-Vector-Scalar) gravity theory provides a general relativistic framework for MOND, one that does respect basic conservation laws, yet reproduces the MOND acceleration formula in the low energy limit.

I never met Jacob Bekenstein, and now I never will. A pity. May he rest in peace.

 Posted by at 11:17 am
Aug 082015
 

I was startled by this photo that appeared in today’s Globe and Mail:

zavikon

I’ve heard about this bridge! Many decades ago, in Hungary. It was described to me as an international bridge between two islands, both owned by a Hungarian family who then declared the “no man’s land” in the middle of the bridge Hungarian territory.

Well… almost. The flag in the middle is indeed the flag of Hungary, but as for the rest…

The islands together are called Zavikon island (I guess the smaller island is just considered an appendage of the larger one) and they are indeed in the Thousands Islands region. They are indeed owned by a Hungarian family. However, both islands are north of the international border, i.e., they are both in Canada. So the flags on this footbridge are really symbolic, they do not reflect political reality. And no, you cannot claim the “no man’s land”, even if it exists along the international border between two states, in the name of a third.

I was nonetheless astonished to see that this bridge actually exists and that at least the part about the flags is, indeed, true.

 Posted by at 11:59 am
Aug 032015
 

Here is one of the most mind-boggling animation sequences that I have ever seen:

This image depicts V838 Monocerotis, a red variable star that underwent a major outburst back in 2002.

Why do I consider this animation mind-boggling? Because despite all appearances, it is not an expanding shell of dust or gas.

Rather, it is echoes of the flash of light, reflected by dust situated behind the star, reaching our eyes several years after the original explosion.

In other words, this image represents direct, visual evidence of the finite speed of light.

The only comparable thing that I can think of is this video, created a few years ago using tricky picosecond photography, of a laser pulse traveling in a bottle. However, unlike that video, the images of V838 Monocerotis required no trickery, only a telescope.

And light echoes are more than mere curiosities: they actually make it possible to study past events. Most notably, a faint light echo of a supernova that was observed nearly half a millennium ago, in 1572, was detected in 2008.

 Posted by at 5:35 pm
Jul 202015
 

\(\renewcommand{\vec}[1]{\boldsymbol{\mathrm{#1}}}\)Continuing something I began about a month ago, I spent more of my free time than I care to admit re-deriving some of the most basic identities in quantum physics.

I started with the single-particle case of a harmonic oscillator. Such an oscillator is characterized by the classical Lagrangian

$$L=\frac{1}{2}m\dot{\vec{q}}^2-\frac{1}{2}k\vec{q}^2-V(\vec{q}),$$

and the corresponding Hamiltonian

$$H=\frac{\vec{p}^2}{2m}+\frac{1}{2}k\vec{q}^2+V(\vec{q}).$$

By multiplying this Hamiltonian with \(\psi=e^{i(\vec{p}\cdot\vec{q}-Ht)/\hbar}\), we basically obtain Schrödinger’s equation:

$$\left[i\hbar\partial_t+\frac{\hbar^2}{2m}\vec{\nabla}^2-\frac{1}{2}k\vec{q}^2-V(\vec{q})\right]e^{i(\vec{p}\cdot\vec{q}-Ht)/\hbar}=0.$$

The transition to the quantum theory begins when we accept that linear combinations of solutions of this equation (i.e., \(\psi\)-s corresponding to different values of \(\vec{p}\) and \(H\)) also represent physical states of the system, despite the fact that these “mixed” solutions are not eigenfunctions and there are no corresponding classical eigenvalues \(\vec{p}\) and \(H\).

Pure algebra can lead to an expression of \(\hat{H}\) in the form of “creation” and “annihilation” operators:

$$\hat{H}=\hbar\omega\left(\hat{a}^\dagger\hat{a}+\frac{1}{2}\right)+V(\vec{q}).$$

These operators have the properties

\begin{align*}
\hat{H}\hat{a}\psi_n&=\left([\hat{H},\hat{a}]+\hat{a}\hat{H}\right)\psi_n=(E_n-\hbar\omega)\hat{a}\psi_n,\\
\hat{H}\hat{a}^\dagger\psi_n&=\left([\hat{H},\hat{a}^\dagger]+\hat{a}^\dagger\hat{H}\right)\psi_n=(E_n+\hbar\omega)\hat{a}^\dagger\psi_n.
\end{align*}
where

$$E_n=\left(n+\frac{1}{2}\right)\hbar\omega.$$

This same derivation can be done in the relativistic single particle case as well.

Moreover, it is possible to define a classical scalar field in the form

$${\cal L}=\frac{1}{2}\rho(\partial_t\phi)^2-\frac{1}{2}\rho c^2(\vec{\nabla}\phi)^2-\frac{1}{2}\kappa\phi^2-V(\phi),$$

which leads to the Hamiltonian density

$${\cal H}=\pi\partial_t\phi-{\cal L}=\frac{\pi^2}{2\rho}+\frac{1}{2}\rho c^2(\vec{\nabla}\phi)^2+\frac{1}{2}\kappa\phi^2+V(\phi).$$

The transitioning to the quantum theory occurs by first expressing \(\phi\) as a Fourier integral and then promoting the Fourier coefficients to operators that satisfy a commutation relation in the form

$$[\hat{a}(\omega,\vec{k}),\hat{a}^\dagger(\omega,\vec{k}’)]=(2\pi)^3\delta^3(\vec{k}-\vec{k}’).$$

This leads to a commutation relation for the field and its canonical momentum in the form

$$[\hat{\phi}(t,\vec{x}),\hat{\pi}(t,\vec{x}’)]=i\hbar\delta^3(\vec{x}-\vec{x}’),$$

and for the Hamiltonian,

$$\hat{H}=\hbar\omega\left\{\frac{1}{2}+\int\frac{d^3\vec{k}}{(2\pi)^3}\hat{a}^\dagger(\omega,\vec{k})\hat{a}(\omega,\vec{k})\right\}+\int d^3xV(\hat{\phi}).$$

More details are provided on my Web site, at https://www.vttoth.com/CMS/physics-notes/297.

So why did I find it necessary to capture here something that can be found in first chapter of every semi-decent quantum field theory textbook? Several reasons.

  • First, I wanted to present a consistent treatment of all four cases: the nonrelativistic and relativistic case for both the particle and the field theory.
  • Second, I wanted to write down all relevant equations without omitting dimensions. I wanted to write down a Lagrangian density that has the dimensions of energy density, consistent with a scalar field that has the dimensions of length (i.e., a displacement).
  • Third, I wanted to spell out some of the details of the derivation that are omitted from nearly all textbooks yet, I am obliged to admit, almost stumped me. That is, once you see the derivation the steps are reasonably trivial, but it is still hard to stumble upon exactly the right way to apply the relevant identities related to Fourier transforms and Dirac deltas.
  • Lastly, I find it revealing how this approach can highlight exactly where a quantum theory is introduced. In the particle theory case, it is when we assume that “mixed states”, that is, linear combinations of eigenstates also represent physical states of a system, despite the fact that they do not correspond to classical eigenvalues. In the case of a field theory, the transition occurs when we replace Fourier coefficients with operators: implicit in the transition is that once again, mixed states are included as representing actual physical states of the system.

Note also how none of this has anything to do with interpretations. There is no “collapse of the wave function” or any such nonsense. That stuff happens when we introduce into our consideration a “measurement event”, effectively an interaction between the quantum system and a classical instrument, which forces the quantum system into an eigenstate. This eigenstate cannot be predicted from the initial conditions alone, precisely because the classical idealization of the measurement apparatus effectively amounts to an admission of ignorance about its true quantum state.

 Posted by at 6:27 pm
Jul 152015
 

For the past ten years, I have been thinking about NASA’s New Horizons probe as the space probe that will eventually fly by Pluto if all goes well and its systems perform as expected.

Well, that historic flyby happened today, and New Horizons sent back pictures to prove it. Best of all, it successfully re-established contact after performing its flyby observations. Now we will have to wait many months (more than a year, as a matter of fact) before all the collected data is radioed back to the Earth.

But we already have amazing photos. A sight never seen by a human being up until just over a day ago.

 Posted by at 1:35 am
Jul 062015
 

I like New Scientist. This weekly British popular science publication was able to maintain reasonably high standards. More or less.

But not last week. Typos or the occasional excess hype on the cover page are one thing, but what is the excuse for this?

For the record, the solar system is not traveling at two-thirds the speed of light in its voyage around the center of the Milky Way.

To their credit, it has since been corrected on the Web site, but still. Very disappointing.

newscicor

 Posted by at 12:08 pm
Jun 212015
 

There is a particularly neat way to derive Schrödinger’s equation, and to justify the “canonical substitution” rules for replacing energy and momentum with corresponding operators when we “quantize” an equation.

Take a particle in a potential. Its energy is given by

$$E=\frac{{\bf p}^2}{2m}+V({\bf x}),$$

or

$$E-\frac{{\bf p}^2}{2m}-V({\bf x})=0.$$

Now multiply both sides this equation by the formula \(e^{i({\bf p}\cdot{\bf x}-Et)/\hbar}\). We note that this exponential expression cannot ever be zero if the part in the exponent that’s in parentheses is real:

$$\left[E-\frac{{\bf p}^2}{2m}-V({\bf x})\right]e^{i({\bf p}\cdot{\bf x}-Et)/\hbar}=0.$$

So far so good. But now note that

$$Ee^{i({\bf p}\cdot{\bf x}-Et)/\hbar}=i\hbar\frac{\partial}{\partial t}e^{i({\bf p}\cdot{\bf x}-Et)/\hbar},$$

and similarly,

$${\bf p}^2e^{i({\bf p}\cdot{\bf x}-Et)/\hbar}=-\hbar^2{\boldsymbol\nabla}e^{i({\bf p}\cdot{\bf x}-Et)/\hbar}.$$

This allows us to rewrite the previous equation as

$$\left[i\hbar\frac{\partial}{\partial t}+\hbar^2\frac{{\boldsymbol\nabla}^2}{2m}-V({\bf x})\right]e^{i({\bf p}\cdot{\bf x}-Et)/\hbar}=0.$$

Or, writing \(\Psi=e^{i({\bf p}\cdot{\bf x}-Et)/\hbar}\) and rearranging:

$$i\hbar\frac{\partial}{\partial t}\Psi=-\hbar^2\frac{{\boldsymbol\nabla}^2}{2m}\Psi+V({\bf x})\Psi,$$

which is the good old Schrödinger equation.

The method works for an arbitrary, generic Hamiltonian, too. Given

$$H({\bf p})=E,$$

we can write

$$\left[E-H({\bf p})\right]e^{i({\bf p}\cdot{\bf x}-Et)/\hbar}=0,$$

which is equivalent to

$$\left[i\hbar\frac{\partial}{\partial t}-H(-i\hbar{\boldsymbol\nabla})\right]\Psi=0.$$

So if this equation is identically satisfied for a classical system with Hamiltonian \(H\), what’s the big deal about quantum mechanics? Well… a classical system satisfies \(E-H({\bf p})=0\), where \(E\) and \({\bf p}\) are eigenvalues of the differential operators \(i\hbar\partial/\partial t\) and \(-i\hbar{\boldsymbol\nabla}\), respectively. Schrödinger’s equation, on the other hand, remains valid in the general case, not just for the eigenvalues.

 Posted by at 6:29 pm
Jun 182015
 

Having just finished work on a major project milestone, I took it easy for a few days, allowing myself to spend time thinking about other things. That’s when I encountered an absolutely neat problem on Quora.

pi

Someone asked a seemingly innocuous number theory question: are there two positive integers such that one is exactly the π-th power of the other?

Now wait a minute, you ask… We know that π is a transcendental number. How can an integer raised to a transcendental power be another integer?

But then you think about \(\alpha=\log_2 3\) and realize that although \(\alpha\) is a transcendental number, \(2^\alpha=3\). So why can’t we have \(n^\pi=m\), then?

As it turns out, we (probably) cannot, but the reason is subtle and it relies on a very important, but unproven conjecture from transcendental number theory.

But first, let us rewrite the equation by taking its logarithm:

$$\pi\log n = \log m.$$

We can also divide both sides by \(\log n\), which leads to

$$\pi = \frac{\log m}{\log n}=\log_n m,$$

but it turns out to be not very helpful. However, squaring the equation will help, as we shall shortly see:

$$\pi^2\log^2 n=\log^2 m.$$

Can this equation ever by true for positive integers \(n\) and \(m\), other than the trivial solution \(n=m=1\), that is?

To see why it cannot be the case, let us consider the following triplet of numbers:

$$(i\pi,\log n,\log m),$$

and their exponents,

$$(e^{i\pi}=-1, e^{\log n}=n, e^{\log m}=m).$$

The three numbers \((i\pi,\log n,\log m)\) are linearly independent over \({\mathbb Q}\) (that is, the rational numbers). What this means is that there are no rational numbers \(A, B, C, D\) such that \(Ai\pi+B\log n+C\log m + D=0\). This is easy to see as the ratio of \(\log n\) and \(\log m\) is supposed to be transcendental but both numbers are real, whereas \(i\pi\) is imaginary.

On the other hand, their exponents are all rational numbers (\(-1, n, m\)). And this is where the unproven conjecture, Schanuel’s conjecture, comes into the picture. Schanuel’s conjecture says that given \(n\) complex numbers \((\alpha_1,\alpha_2,…,\alpha_n)\) that are linearly independent over the rationals, out of the \(2n\) numbers \((\alpha_1,…,\alpha_n,e^{\alpha_1},…,e^{\alpha_n})\), at least \(n\) will be transcendental numbers that are algebraically independent over \({\mathbb Q}\). That is, there is no algebraic expression involving roots and powers of the \(\alpha_i\), \(e^{\alpha_i}\), and rational numbers that will yield 0.

The equation \(\pi^2\log^2 n=\log^2 m\), which we can rewrite as

$$(i\pi)^2\log^2 n + \log^2 m=0,$$

is just such an equation, and it can never be true.

I wish I could say that I came up with this solution but I didn’t. I was this close: I was trying to apply Schanuel’s conjecture, and I was of course using the fact that \(\pi=-i\log -1\). But I did not fully appreciate the implications and meaning of Schanuel’s conjecture, so I was applying it improperly. Fortunately, another Quora user saved the day.

Still I haven’t had this much fun with pure math (and I haven’t learned this much pure math all at once) in years.

 Posted by at 8:25 pm