The Missing Comment

September 1, 2009 – 1:28 pm

Over on The Gauge Connection I was engaged in a lively discussion about the arrow of time with the blog owner, Marco Frasca. For some reason he decided to censor my latest comment, and notify me he will not publish anything else by me on his blog. Touchy, touchy.

Seeing as I have an acute allergy to censorship, I will publish my last comment here, as long with anything else Marco chooses to censor. If you are interested in the nature of the arrow of time, you may want to head over to The Gauge Connection for the discussion, and then come back to read my missing comment (below). You can decide for yourself who is right.

For more information, The Reference Frame has a good post on the subject. I am also working on a series of posts that I hope will demystify the second law of thermodynamics, entropy, and the arrow of time.

Here is my missing comment:

>> Of course, even if we are physicists (are you?),

Yes.

>> definitions are important. For one reason, when one goes to do measurements, vagueness can be of no help and our main tool is mathematics. Sloppiness should be rejected on any ground.

Was I vague? Sloppy? I defined exactly a test for whether or not there is an arrow of time. You can do this test in a laboratory, and you can do it in a simulation.

The test is experimental, not theoretical, so the only mathematics you need is the ability to count. Before we try to build a theory, we should have some measurements that we are trying to explain, no? We are talking about some physical phenomenon here, right? Or do you want to have a philosophical discussion?

It’s kind of funny that earlier you lectured me about what is science, and now you make this strange claim that seems to suggest mathematics comes before experiment…

You keep talking about the arrow of time, yet you refuse to discuss what is or is not an example of an arrow of time. You say we are drowning in definitions, so I suggest a simple test. You don’t even say whether you accept this test; you wave it away claiming it’s `vague’, while clearly the opposite is true. And yet, you refuse to provide a definition, an example, or a test of your own for what is the arrow of time… Why are you trying to keep this discussion on a philosophical level, instead of actually drilling down to the heart of the matter?

>> I do not need to do your simulation.

Again, you are ignoring my simple question. Here it is again: What is the result of the test I suggested? Will you not even grant me the answer to this simple question?

I am not yet trying to draw any conclusions, I’m just asking — what is the result of the experiment? What is the result of the simulation?

>> I take two liquids both in equilibrium

Well no, not really. I am taking two liquids in a specific microstate. This is not an equilibrium. I am repeating the experiment many times, but each time I am starting in a specific microstate. Not in equilibrium.

Talking about equilibrium is already trying to model the system using statistical mechanics. But the confusion lies in the transition from deterministic mechanics to statistical mechanics, so I am not using statistical mechanics — I’m sticking to the most basic things.

>> and I make them mix.

No. I let them evolve according to Newton’s laws. We want to see whether they mix or not, and this is why we do the experiment.

>> You can change these distributions as you like, making them unphysical if you want, but the problem will remain.

Again, what is this `problem’? All I did was suggest an experiment and a simulation. I haven’t drawn any conclusions. How can there already be a problem?

>> The question should be: Who puts such deterministic systems with such initial probability distributions?

What do you mean by `who puts’? I am trying to learn how a deterministic system evolves in time. I say: If the laws of nature are deterministic, and I do this experiment, what will be the result? I am not claiming that this describes nature.

>> In conclusion, you introduce an arrow of time since the start and you are a step below Boltzmann.

How did I introduce an arrow of time? Does determinism introduce an arrow of time? Does the distribution for the initial conditions introduce it? Please explain.

How to push GMail, Twitter to your iPhone with Prowl

July 25, 2009 – 1:26 am

Officially, Prowl is described as a ‘Growl client for the iPhone’, which doesn’t mean much to most non-Mac users. Here’s an alternative description: Prowl lets you send push notifications to your iPhone. Unlike most programs that use push, Prowl doesn’t use it for a specific purpose; You can send any notification you like using their API. I’m currently using Prowl and some Perl scripts to push new GMail messages and Twitter mentions. In this post I’ll explain how to create such a setup, but you’ll probably need some Perl skills to make it work with my scripts. It’s also easy to add other types of notifications.

I should mention first that there are simpler alternatives. You can use Growl to push GMail, Twitter, and lots of other stuff (see their apps page). The latest version supports true GMail push using IMAP IDLE. YMMV but when I tried it Growl was unreliable and constantly lost notifications. There are also iPhone apps that push specific types of notifications; For instance Boxcar pushes Twitter mentions and DMs. Those seem to me like a waste of money (with one small caveat — below) since Prowl can handle that and more. Also, when using Prowl it is your own computer that handles the notifications, so you don’t need to give anyone your GMail or Twitter password.

The only disadvantage to using Prowl is that the ‘Slide to View’ function on the iPhone takes you to Prowl instead of to the relevant app. For example, with Boxcar, ‘Slide to View’ takes you to your Twitter client. In my experience this is a non-issue.

Finally, the instructions and scripts below are provided AS IS and without any warranty. The scripts are licensed under the Perl license.

The Setup


Here is what you’ll need:

  1. An iPhone running 3.0 or higher with push notifications enabled
  2. A computer that is connected to the internet 24/7, which will run the notification scripts
  3. Perl installed on said computer (this is needed if you want to use my scripts)

Install Prowl on your iPhone (it costs $3) and register an account. Login on their site and go to the settings page. Click ‘Generate API key’ and save the API key to a file. This key is like a password you use for sending yourself notifications.

If you want push GMail, enable IMAP access to your GMail account.

Next, to run my scripts you’ll need some Perl modules that you can get from CPAN. They are:

  • FindBin
  • List::Util
  • Data::Dumper
  • WebService::Prowl
  • Net::IMAP (for GMail notifications)
  • Net::Twitter (for Twitter notifications)

Download the scripts and insert your details:

  • Place your Prowl API key that you created above in prowl_apikey
  • Enter your GMail username and password in push_gmail.pl
  • Enter your Twitter username and password in push_twitter.pl

Run push_gmail.pl to get GMail notifications. Run push_twitter.pl to get Twitter notifications.

How It Works


Push GMail works using the IMAP IDLE command, which lets a client leave a connection open to the server, and when a new message comes in the server notifies the client. I used the Net::IMAP package, which sadly didn’t support IDLE. So I added this support in a very inelegant way — you can find it in Client.pm, which is a modified version of the original Net/IMAP/Client.pm the comes with Net::IMAP.

Push Twitter is more straightforward and works by simply polling Twitter every minute, using their API.

A Short Note on the Poincaré Algebra

May 22, 2009 – 7:03 pm

As physicists, we learn that the Poincaré algebra has two Casimirs, p_\mu p^\mu and W_\mu W^\mu, together describing the mass and spin of a particle. A standard question is then, “why does the algebra have two Casimirs?” and the standard answer is, “because it is a rank 2 algebra, for instance taking \left\{ p_0,J_3 \right\} as the Cartan”. Well this seems wrong, since we can also take \left\{p_\mu\right\}_\mu as the Cartan, which is of dimension 4.

It is a standard result that any Cartan subalgebra of a (complex) semisimple Lie algebra has the same size, so what’s going on?

The answer is simple: Poincaré isn’t a semisimple Lie algebra. Therefore we have to be careful about how to define the rank. First, let’s see why Poincaré isn’t semisimple.

Definition. If g is a complex Lie algebra, then an ideal in g is a complex subalgebra h of g such that, for all X \in g and H \in h, [X,H] \in h.

The brackets of a Lie algebra can be thought of as a product of two elements in that algebra. Then, an ideal (as always), is a sort of ‘zero’, making anything it multiplies a member of itself (just like x \cdot 0 = 0 for any x).

Definition. A complex Lie algebra g is called simple if dim g \ge 2, and the only ideals in g are g and \left\{0\right\}.

Definition. A complex Lie algebra is called semisimple if it’s (isomorphic to) a direct sum of simple Lie algebras.

We can now see why the Poincaré algebra isn’t simple. Translations, namely \left\{p_\mu\right\}_\mu, form a basis for an ideal: Translations commute, and the commutator of a translation with a rotation M_{\mu \nu} is a sum of translations. It is also not semisimple, which I guess can be seen by considering the SU(2) \times SU(2) decomposition of the Lorentz subalgebra, then adding translations which will ‘link’ the two components.

The Cartan can be defined for non-semisimple algebras, and it turns out it is the Cartan of the largest semisimple subalgebra. In the case of Poincaré, the largest semisimple subalgebra is the Lorentz subalgebra. So we can still define the rank to be the size of the Cartan, with this more general definition. I don’t know if the relation between the number of Casimirs and the rank still holds in this case, but at least for the Poincaré algebra it does turn out correctly, since the rank of the Lorentz algebra is 2.

Correct arXiv authors in Google Reader

January 18, 2009 – 10:24 pm

Google Reader has an annoying problem when viewing arXiv.org feeds: The author names get mixed up with some HTML code and become unreadable.

I tried using Yahoo! Pipes to solve the problem, but Pipes somehow messed up the whole feed, even when it wasn’t supposed to do anything.

Anyway, to fix this I wrote a small ‘feed proxy’ that removes the offending HTML code. If you subscribe to it instead of the official feed, you’ll get good looking author names.

The feed proxy address for hep-th is:
http://4by12.com/cgi-bin/arxiv_feed.pl?feed=hep-th

For other feeds, replace ‘hep-th’ by any other arXiv topic. For example, try gr-qc or math-ph.

Disclaimer: This feed proxy is provided as-is. I can’t guarantee uptime, data integrity, or anything else regarding this service.

Enjoy!

Meditation: A Short Tutorial

October 8, 2008 – 10:00 pm

Meditation is exercise for the mind. In my experience, practicing meditation for several months has the following effects:

  • Much improved ability to concentrate
  • The mind feels ‘lucid’ and calm rather than ‘murky’ and agitated
  • Improved memory (things become easier to recall)
  • Improved creativity
  • A general feeling of being one step ahead of things (chores and such) instead of one step behind

Meditation is tightly linked with several far-eastern religions and philosophies such as Buddhism. As can be expected, these belief systems attribute many mystical properties to meditation. Nonetheless, meditation can be successfully detached from these beliefs and used as a tool to sharpen the mind. It is just an example of a practical discovery made by religiously-minded people, and I will stick to its practical aspects.

There are many forms of meditation. The most commonly practiced form, which is the one I practice, involves concentrating on one’s breathing. It is called Anapanasati. The technique is very simple: Sit on a chair, feet straight on the floor, back straight, hands resting on lap. Set a timer to ring in say fifteen minutes. Close your eyes and mouth, and breath normally through your nose. Concentrate on the air coming in and out of your nostrils, counting each breath as you exhale. Count the breaths silently: One, two, three, four; one, two, three, four; and so on. Continue until the timer goes off.

Meditating is difficult because as you try to concentrate on your breaths, your mind wanders and you start thinking about other things. When this happens, you should gently yet firmly divert your attention back to the breathing, back to the air flowing in and out of your nostrils. At first this will happen a lot. After several meditations the intruding thoughts will appear less often, and there will be stretches of pure concentration without disturbances.

After some practice, you will come to a stage where a thought occasionally creeps into your consciousness, you note it and let it fade back to where it came from. If you think of your mind as a bucket filled with water and sand, the everyday mind is constantly stirred so the sand muddies the water. Meditation pauses the stirring, letting the sand sink down, making the water lucid.

Once your mind is calm enough so that you can count your breaths for fifteen or twenty minutes without losing count, you can go on to the next level and concentrate more deeply on your breathing and on other areas of your body. For example, you can gradually let your awareness cover greater areas surrounding your nose: First your nose and your mouth, then your whole face, then on to your entire body. You should do this slowly, all the while keeping your concentration and not letting your mind wander. When you reach this level you should seek further instruction, for instance by reading a book or taking a course on the subject.

Some general guidelines:

  • If at any point you feel meditation is somehow bad or wrong for you — stop doing it. It’s not everybody’s cup of tea.
  • Try not to move while meditating. Don’t open your eyes or mouth. After several minutes your hands or legs may feel numb — this is normal. On the other hand, if you feel pain you should stop and change your position.
  • Meditation should be practiced at least once a day, otherwise it is not effective. At first, sit down for ten minutes at a time. When this becomes easy, go up to fifteen minutes. Then to twenty or more.
  • Do not meditate when you are tired, for example before going to sleep. You will quickly lose concentration and fall asleep. By the way, if you are having trouble sleeping, meditation can sometimes solve the problem.

Here are some tips I picked up along the way:

  • When the mind wanders, you may feel bad about failing to keep your concentration. The fact is that you should actually feel pleased, because diverting your thought back to the breathing is exactly what improves your concentration in your everyday life. It took me a long time to appreciate this.
  • Itches make for excellent practice. An itch is something concrete that tries to grab your attention. Try to resist for as long as you can and keep thinking about your breathing. Often, the itching sensation goes away after a while.
  • Pain makes for terrible practice. As explained above, if you feel pain you should act to stop it.
  • In time, this form of meditation may become boring, and you may be tempted to switch to another form or try variations of breath-counting. There’s no problem with trying out other forms in addition to the one you’re practicing, but it’s a huge mistake to just switch because of boredom. For a beginner, the value of meditation lies in the fact that it is hard and boring. Concentrating on something boring is exactly how you improve your concentration. So shuffling things around when you’re bored defeats the whole purpose of what you’re doing.

If you want to read further, there’s a wealth of information available on the web and in books. Amazon doesn’t carry the books I learned from, but it looks like there are many other good ones.

Complex Square Root

February 14, 2008 – 1:45 am

Proof that 1 = -1:

 \frac{1}{\sqrt{i}} = \sqrt{\frac{1}{i}} = \sqrt{-i} = \sqrt{-1} \sqrt{i} = i \sqrt{i}

 \Rightarrow 1 = i \sqrt{i} \sqrt{i} = i^2 = -1

This function should be taken outside and shot.

Legendre Transform

January 5, 2008 – 4:19 am

The Legendre transform is a simple and useful tool in some branches of physics such as Thermodynamics and Mechanics. In my experience though, this transform is usually explained in a very confusing way.

I want to give my own derivation, which I hope is clear and straightforward. If you’re already familiar with the transform, you can skip straight to Derivation of the Legendre Transform.

Some Background

Let’s start with the definition. If you have a function f(x), its Legendre transform is a function g(p), where p is thought of as f(x)’s derivative. g(p) is defined as:

g(p) = xp-f(x)

This definition is already confusing, because x is considered a function of p. This function is found by solving the following equation for x:

p = \frac{df}{dx}(x)

To clarify matters, let’s consider an example. Take f(x)=x^2, then:

p=\frac{df}{dx}(x)=2x

x=p/2

The Legendre transform is then:

g(p) = x(p)p-f(x(p))=\frac{p}{2}p-(\frac{p}{2})^2=\frac{p^2}{4}

Okay, what is it good for? The usual explanation starts with some geometric construction like the one you see on Wikipedia(*). Then, to explain why the transform works, you are shown the differential:

df=\frac{df}{dx}dx=pdx

dg=d(px)-df=xdp+pdx-pdx=xdp

And the conclusion is that g is indeed a function of p, which is f’s derivative. Mathematically speaking, this argument is quite unconvincing, because saying that g is a function of f’(x) has no meaning. g is a function of some real number, and this number has no intrinsic connection to any derivatives.

One possible relation could be that g and f agree if you give the corresponding arguments:

g(\frac{df}{dx}(x))=f(x)

but this is not the case! Some better explanation is obviously needed.

Derivation of the Legendre Transform

We define as before:

p(x)=\frac{df}{dx}(x)

And we are looking for a function g(p). The crucial point is this: We require that g’s derivative will correspond to x:

x=\frac{dg}{dp}(p)

Rigorously, this means:

x=\frac{dg}{dp}(p(x))

Where p(x) is the function defined by the first requirement.

Now we have something we can use. We look at the function g(p(x)) and we calculate:

\frac{d}{dx}g(p(x))=\frac{dg}{dp}(p(x)) \cdot \frac{dp}{dx}(x) = x \cdot \frac{d^2f}{dx^2}(x)

Both requirements were used in the last transition. We now integrate this equation by dx:

\int \frac{d}{dx}g(p(x)) dx=\int x \cdot \frac{d^2f}{dx^2}(x) dx

Integrating by parts on the right-hand side:

g(p(x))=x \cdot \frac{df}{dx}(x)-\int \frac{df}{dx}(x) dx = xp(x)-f(x) + C

Thus g(p) is defined up to a constant, and choosing C=0 we get the familiar Legendre transform:

g(p)=xp-f(x)

Motivation

Finally, I want to comment on this second requirement that x=g’(p), which is how I came up with this derivation. In Thermodynamics, the important parameters of a problem always come in pairs: Pressure and Volume, Temperature and Entropy, Number of particles and the Chemical constant, and so on. They are paired by the First Law, which is conservation of energy:

dU = TdS-PdV + \mu dN + ~ \cdots

So here, the internal energy U is a natural function of S,V,N. Its partial derivatives are T,-P, and mu. Of course it can depend on other variables and there are other derivatives, but these are the ones that are easiest to calculate.

The Legendre transform is used to get new forms of energy that are naturally dependent on other parameters. This is done by switching between pairs of variables. For instance, if you know the temperature T instead of the entropy S, you can transform like this:

F = U-TS

F is called the ‘Helmholtz Free Energy’, and its natural parameters are T,V,N:

dF = -SdT-PdV + \mu dN + ~ \cdots

So T, which was a derivative before, is now a parameter. But equally as important, S is now a derivative. This is very important because it allows us to calculate S very easily. If we had a new function F=F(T,V,N) that wouldn’t allow simple calculation of S, it would be useless. This is what makes the Legendre transform so useful.

Having said that, we now see that we can define other transforms by changing this requirement. We still get functions that can be thought of as ‘functions of the derivative of f’. For example, require:

ax+b=\frac{dg}{dp}(p)

Where a,b are some arbitrary parameters. Then we get a new transform:

g(p) = a(xp-f(x)) + bp

Perhaps this method can generate some other useful transforms.

(*) I just saw that Wikipedia has something that is related to my explanation under ‘Another definition’, although it goes through a different route and still uses the geometric requirements.

Relativistic Bohr Model

November 10, 2007 – 4:20 pm

I recently needed to find the energy levels of hydrogen-like atoms (i.e. atoms with a single electron), taking into account relativistic effects. These effects become important for atoms with a large number of protons.

I only had a couple of days to do this, and I figured the easiest thing would be to create a relativistic version of the Bohr model. This is a toy model that predicts the energy levels of a non-relativistic hydrogen atom.

The first thing I guessed was that the basic assumption from the Bohr model regarding the angular momentum still holds. That is:

L=n\hbar

where n is some integer and \hbar is hbar.

Also, the electron should still travel in a circular orbit, so that:

L=rp

where r is the orbit radius and p is the linear momentum. It is easy to show that this is still correct relativistically (*).

Next we have the energy, which for a free particle now obeys the dispersion relation:

E^2 = p^2 c^2 + m^2 c^4

Our electron is in the electric field created by the nucleus, so this should be (**) :

E = \sqrt{p^2 c^2 + m^2 c^4}-\frac{Z e^2}{r}

Where e is the electron charge and m is its rest mass.

Let’s find the possible orbit radii. In the classical Bohr model this is usually done by calculating the force acting on the particle. But here we already wrote down this nice expression for the energy so we might as well use it… To do that, we will venture one last guess.

We assume that, given angular momentum L=n\hbar, the system chooses the radius where it has minimal energy.

You can verify for example that when you make this assumption in the non-relativistic version (instead of using forces and such), you still get the same result.

To get the orbit radii we then need to solve:

\frac{dE}{dr} = 0

which comes to:

r = \frac{L}{mc} \sqrt{ \left( \frac{Lc}{Ze^2} \right)^2-1 }

Plugging this into the expression for the energy we get the atom’s energy levels:

E_n = mc^2 \cdot \sqrt{1-\left(\frac{Ze^2}{n \hbar c}\right)^2}

And there you have it. I have reason to believe this model works, at least partially, because I used it on measurements of large-Z atoms and it fit the data splendidly (while the non-relativistic model failed miserably). In addition, taking Z \rightarrow 0 recovers the non-relativistic energies, as expected.

Having said that, you may have noticed a problem in the last expression. For large enough Z, it is imaginary, and energy isn’t imaginary. How large a Z? Well if you’re a physicist may have also noticed that the coefficient is the fine structure constant:

\alpha = \frac{e^2}{\hbar c} \approx \frac{1}{137}

So for the ground state n=1, the largest possible Z is about 137. Above that, according to the model, the system is unstable.

You might be thinking that a more plausible explanation is that I made some mistake in my series of, uhm, guesses. That could be, but a quick look in the periodic table shows that it goes all the way up to… 118.

Well! Could this little toy model tell us something deep about the stability of atoms? Apparently it can. I googled for ’stability of large z atoms’ and came up with this review, where the instability is discussed. In page 10 it says:

The moral to be drawn from this is that relativistic kinematics plus quan-
tum mechanics is a ‘critical’ theory (in the mathematical sense). This fact
will plague any relativistic theory of electrons and the electromagnetic field
– primitive or sophisticated.

… we are on the ‘primitive’ side. ;)


(*) This can be verified by taking L=p_\theta and making a change of coordinates:

L = p_\theta = \frac{\partial x_i}{\partial \theta} p_{x_i}

Place the electron on the intersection of the X axis and the circular orbit to obtain the answer.

(**) This guess can be justified by writing down the Lagrangian for a relativistic charged particle (c=1):

L =-m u_\mu u^\mu-A_\mu J^\mu

And converting to a Hamiltonian. Taking the Hamiltonian to be the energy, one arrives at this formula.

Twin Paradox in a Closed Universe

September 21, 2007 – 3:14 am

If you’re familiar with the twin paradox, you can skip straight to the Closed Universe section.

Suppose you’re sitting in a car heading east at 100 km/h, while another car passes you by heading west at 100 km/h. According to special relativity, if you compare your clock with the clock of the passenger in the other car (let’s call her Alice), you will notice that her clock runs slower than yours.

The closer your relative speed is to the speed of light, the more noticeable the difference will be. For example, if your relative speed is 90% the speed of light, you will see Alice’s clock running about 2.3 times slower than yours. Of course, it’s not just the clock that will run slower — everything will run slower, including, for example, biological processes. Alice will age 2.3 times slower than you.

But what makes you so special? Nothing, really. Because according to Alice, it’s you whose aging slowly. So whose right? Well, the short answer is that you’re both right, because time isn’t an absolute thing — it depends on who’s measuring it.

This line of reasoning leads to the famous ‘twin paradox’: Two twins, Alice and Bob, are born on earth (if you must know then yes, it’s the same Alice). At birth, Alice is put aboard a spaceship that can reach extremely high speeds and sent off into space for a long trip. She reaches the edge of the galaxy, makes a U-turn, and returns to earth. This round-trip takes her 40 years in earth-time.

Meanwhile, Bob remains on earth. When Alice gets back, Bob is 40 years old. Because Alice traveled at high speed, Bob saw her aging very slowly, so when she gets back she is much younger than Bob, say 20 years old. But according to Alice, it’s Bob who aged slowly, so actually Alice should be older than Bob.

That’s the twin paradox, but it isn’t really a paradox. The problem is that in order to make this round-trip, Alice has to accelerate — she can’t go away and back again with constant speed. Therefore, the problem is no longer symmetrical: Alice is accelerating, Bob isn’t. To calculate exactly what happens in this case you need to use general relativity, but the answer is that Bob is right and Alice is wrong: Alice will have aged more slowly than Bob.

Closed Universe

I’ve been wondering, what happens to the twin paradox if the universe is closed? What I mean by ‘closed’ is that if you travel in a straight line, you end up back where you started. So the universe looks like a closed loop, only in three dimensions. (*)

In such a universe, the Alice twin can leave earth, travel with constant speed, and return to earth by simply going straight (**). Meanwhile, the Bob twin remains on earth like before. No one is accelerating, so the usual explanation of ‘Alice is accelerating and that’s cheating’ doesn’t apply here. Apparently, the situation is symmetrical: Bob thinks Alice is moving and aging slowly, Alice thinks Bob is. Who is right?

Well the answer is rather interesting. In special relativity we are used to saying that there are no ‘preferred frames of reference’ — that all inertial observers are the same, and that there are no absolute speeds, only relative ones. It turns out that in a closed universe this is no longer the case.

Consider the following experiment. Bob, who is on non-moving earth, simultaneously fires two photons at opposite directions. The photons travel around the universe and return to Bob, both at exactly the same instant.

Now let Alice perform this experiment on her spaceship. She sends out two photons, traveling at the speed of light. Let’s look at this experiment from Bob’s frame of reference, where the photons are still traveling at the speed of light (***). Bob sees the photons going around the universe, but meanwhile Alice is moving. So one photon will reach Alice before the other. Alice must observe the same thing (although they will not agree on the timing).

The same experiment, conducted by Bob or by Alice, produces different results. This is because Bob’s frame is special: It has zero speed, an absolute speed. Thus the symmetry between Bob and Alice is broken. Further calculations are required, but it turns out that Bob is correct: Alice ages less than Bob.

If you want more details, I found an interesting paper that discusses this paradox, and also develops the Lorentz transformations for such a universe.


(*) The mathematical term for this is actually ‘compact’, but that’s because mathematicians enjoy complicating things.

(**) You may be wondering how it’s possible to go in a circle without accelerating. You can try looking at it this way: In circular motion with constant speed, the vector of acceleration points inward toward the center of the circle. If you live in a 2-dimensional world, you can measure this vector because it points in a direction you can move in. For instance, you can hang a ball from a piece of string and watch the string stretch.

But if you live in a closed, 1-dimensional world, and you’re going in a circle, where is the acceleration vector pointing? It can’t point inward, because for you there’s no ‘inward’. In your 1D world there’s only front and back. As a consequence, you can’t measure this acceleration experimentally. And what you can’t measure experimentally doesn’t exist.

By the way, in terms of differential geometry, this is what geodesic curvature is all about: It’s the part of the acceleration that’s due to the shape of the manifold.

(***) This is one of the premises of special relativity — that light travels at the same speed for all observers. If you’re unconvinced it’s still true in a closed universe, consider the following. The metric of a cylinder is the same as that of a plane — a cylinder isn’t curved. Similarly, the metric of a closed, 1-dimensional universe is the same as that of an open one:

ds^2 =-dt^2 + dx^2

The constancy of light speed follows from the metric, and from assuming that the correct transformations (boosts) preserve the metric.

It’s like deja vu all over again

September 20, 2007 – 8:21 pm

6th grader raises $6.5 million in round A funding. The bubble’s back, folks.