In my previous post, I made no compromise, and used *all *of the rules one needs to calculate quantum-mechanical stuff:

However, I didn’t explain them. These rules *look* simple enough, but let’s analyze them now. They’re simple and not at the same time, indeed.

**[I]** The first equation uses the *Kronecker **delta*, which sounds fancy but it’s just a simple shorthand: δ_{ij }= δ_{ji }is equal to 1 if *i* = *j*, and zero if *i* ≠ *j*, with *i *and *j* representing *base *states.* *Equation (I) basically says that *base* states are all different. For example, the angular momentum in the x-direction of a spin-1/2 particle – think of an electron or a proton – is *either *+ħ/2 *or *−ħ/2, not something in-between, or some *mixture*. So 〈 +*x* | +*x* 〉 = 〈 −*x* | −*x* 〉 = 1 and 〈 +*x* | −*x* 〉 = 〈 −*x* | +*x* 〉 = 0.

We’re talking *base* states here, of course. Base states are like a coordinate system: we settle on an x-, y- and z-axis, and a unit, and any point is defined in terms of an *x*-, *y*– and *z*-number. It’s the same here, except we’re talking ‘points’ in four-dimensional spacetime. To be precise, we’re talking constructs *evolving* in spacetime. To be even more precise, we’re talking *amplitudes *with a temporal as well as a spatial frequency, which we’ll often represent as:

*a· e*

^{−i·θ }=

*e*

^{−i·(ω·t − k ∙x)}=

*a*·

*e*

^{−(i/ħ)·(E·t − p∙x)}

The coefficient in front (*a*) is just a normalization constant, ensuring all probabilities add up to one. It may not be a constant, actually: perhaps it just ensure our amplitude stays within some kind of *envelope*, as illustrated below.

As for the ω = E/ħ and **k = p**/ħ identities, these are the *de Broglie *equations for a *matter-wave*, which the young *Comte* jotted down as part of his 1924 PhD thesis. He was inspired by the fact that the E·t − **p**∙**x** factor is an *invariant *four-vector product (E·t − **p**∙**x** = p_{μ}x_{μ}) in relativity theory, and noted the striking similarity with the argument of any wave function in space and time (ω·t − **k** ∙**x**) and, hence, couldn’t resist equating both. Louis de Broglie was inspired, of course, by the solution to the blackbody radiation problem, which Max Planck and Einstein had convincingly solved by accepting that the ω = E/ħ equation holds for *photons*. As he wrote it:

“When I conceived the first basic ideas of wave mechanics in 1923–24, I was guided by the aim to perform a real physical synthesis, valid for all particles, of the coexistence of the wave and of the corpuscular aspects that Einstein had introduced for photons in his theory of light quanta in 1905.” (Louis de Broglie, quoted in Wikipedia)

Looking back, you’d of course want the phase of a wavefunction to be some invariant quantity, and the examples we gave our previous post illustrate how one would expect energy and momentum to impact its temporal and spatial frequency. But I am digressing. Let’s look at the second equation. However, before we move on, note that *minus *sign in the exponent of our wavefunction: *a·e*^{−i·θ}. The phase turns counter-clockwise. That’s just the way it is. I’ll come back to this.

**[II]** The φ and χ symbols do *not **necessarily* represent base states. In fact, Feynman illustrates this law using a variety of examples including both *polarized* as well as *unpolarized *beams, or ‘filtered’ as well as ‘unfiltered’ states, as he calls it in the context of the Stern-Gerlach apparatuses he uses to explain what’s going on. Let me summarize his argument here.

I discussed the Stern-Gerlach experiment in my post on spin and angular momentum, but the Wikipedia article on it is very good too. The principle is illustrated below: a *in*homogeneous magnetic field – note the direction of the gradient **∇B** = (∂**B**/∂x, ∂**B**/∂y, ∂**B**/∂z) – will split a beam of spin-one particles into three beams. [Matter-particles with spin one are rather rare (Lithium-6 is an example), but *three* states (rather than two only, as we’d have when analyzing spin-1/2 particles, such as electrons or protons) allow for more *play *in the analysis. 🙂 In any case, the analysis is easily generalized.]

The splitting of the beam is based, of course, on the quantized angular momentum in the z-direction (i.e. the direction of the gradient): its value is either ħ, 0, or −ħ. We’ll denote these *base *states as +, 0 or −, and we should note they are defined in regard to an apparatus *with a specific orientation*. If we call this apparatus S, then we can denote these *base states *as +S, 0S and −S respectively.

The interesting thing in Feynman’s analysis is the imagined *modified *Stern-Gerlach apparatus, which – I am using Feynman‘s words here 🙂 – “puts Humpty Dumpty back together.” It looks a bit monstruous, but it’s easy enough to understand. Quoting Feynman once more: “It consists of a sequence of three high-gradient magnets. The first one (on the left) is just the usual Stern-Gerlach magnet and splits the incoming beam of spin-one particles into three separate beams. The second magnet has the same cross section as the first, but is twice as long *and* the polarity of its magnetic field is opposite the field in magnet 1. The second magnet pushes in the opposite direction on the atomic magnets and bends their paths back toward the axis, as shown in the trajectories drawn in the lower part of the figure. The third magnet is just like the first, and brings the three beams back together again, so that leaves the exit hole along the axis.”

Now, we can use this apparatus as a *filter *by inserting *blocking masks*, as illustrated below.

But let’s get back to the lesson. What about the second ‘Law’ of quantum math? Well… You need to be able to imagine all kinds of situations now. The rather simple set-up below is one of them: we’ve got two of these apparatuses in series now, S and T, with T tilted at the angle α with respect to the first.

I know: you’re getting impatient. What about it? Well… We’re finally ready now. Let’s suppose we’ve got three apparatuses in series, with the first and the last one having the very same orientation, and the one in the middle being tilted. We’ll denote them by S, T and S’ respectively. We’ll also use masks: we’ll block the 0 and − state in the S-filter, like in that illustration above. In addition, we’ll block the + and − state in the T apparatus and, finally, the 0 and − state in the S’ apparatus. Now try to imagine what happens: how many particles will get through?

[…]

Just try to think about it. Make some drawing or something. *Please! *

[…]

OK… The answer is shown below. Despite the filtering in S, the +S particles that come out do have an amplitude to go through the 0T-filter, and so the number of atoms that come out will be some fraction (α) of the number of atoms (N) that came out of the +S-filter. Likewise, some other fraction (β) will make it through the +S’-filter, so we end up with βαN particles.

Now, I am sure that, if you’d tried to guess the answer yourself, you’d have said *zero *rather than βαN but, thinking about it, it makes sense: it’s not because we’ve got some angular momentum in one direction that we have none in the other. When everything is said and done, we’re talking *components *of the *total *angular momentum here, don’t we? Well… Yes and no. Let’s remove the masks from T. What do we get?

[…]

Come on: what’s your guess? N?

[…] You’re right. It’s N. Perfect. It’s what’s shown below.

Now, *that *should boost your confidence. Let’s try the next scenario. We block the 0 and − state in the S-filter once again, and the + and − state in the T apparatus, so the first two apparatuses are the same as in our first example. But let’s change the S’ apparatus: let’s close the + and − state there now. Now try to imagine what happens: how many particles will get through?

[…]

Come on! You think it’s a trap, isn’t it? It’s not. It’s perfectly similar: we’ve got some other fraction here, which we’ll write as γαN, as shown below.

Next scenario: S has the 0 and − gate closed once more, and T is fully open, so it has no masks. But, this time, we set S’ so it filters the 0-state with respect to it. What do we get? Come on! *Think! *Please!

[…]

The answer is zero, as shown below.

Does that make sense to you? Yes? *Great!* Because many think it’s weird: they think the T apparatus must ‘re-orient’ the angular momentum of the particles. It doesn’t: if the filter is wide open, then “no information is lost”, as Feynman puts it. Still… Have a look at it. It looks like we’re opening ‘more channels’ in the last example: the S and S’ filter are the same, indeed, and T is fully open, while it selected for 0-state particles before. But *no *particles come through now, while with the 0-channel, we had γαN.

Hmm… It actually *is *kinda weird, won’t you agree? Sorry I *had* to talk about this, but it will make you appreciate that second ‘Law’ now: we can always insert a ‘wide-open’ filter and, hence, split the beams into a *complete *set of base states − with respect to the filter, that is − and bring them back together provided our filter does not produce any unequal disturbances on the three beams. In short, the passage through the wide-open filter should *not *result in a change of the amplitudes. Again, as Feynman puts it: the wide-open filter should really put Humpty-Dumpty back together again. If it does, we can effectively apply our ‘Law’:

For an example, I’ll refer you to my previous post. This brings me to the third and final ‘Law’.

**[III]** The amplitude to go from state φ to state χ is the *complex conjugate *of the amplitude to to go from state χ to state φ:

〈 χ | φ 〉 = 〈 φ | χ 〉*

This is probably the weirdest ‘Law’ of all, even if I should say, straight from the start, we can actually derive it from the second ‘Law’, and the fact that all probabilities have to add up to one. Indeed, a probability is the *absolute *square of an amplitude and, as we know, the *absolute *square of a complex number is also equal to the product of itself and its complex conjugate:

|z|^{2 }= |z|·|z| = z·z*

[You should go through the trouble of reviewing the difference between the square and the *absolute *square of a complex number. Just write z as a + *i*b and calculate (a + *i*b)^{2 }= a^{2} + 2ab*i *+ b^{2 }, as opposed to |z|^{2 }= a^{2} + b^{2}. Also check what it means when writing z as *r*·*e*^{iθ }= *r*·(cosθ + *i*·sinθ).]

Let’s applying the probability rule to a two-filter set-up, i.e. the situation with the S and the tilted T filter which we described above, and let’s assume we’ve got a pure beam of +S particles entering the wide-open T filter, so our particles can come out in either of the three base states with respect to T. We can then write:

〈 +T | +S 〉^{2 }+ 〈 0T | +S 〉^{2 }+ 〈 −T | +S 〉^{2 }= 1

⇔ 〈 +T | +S 〉〈 +T | +S 〉* + 〈 0T | +S 〉〈 0T | +S 〉* + 〈 −T | +S 〉〈 −T | +S 〉* = 1

Of course, we’ve got two other such equations if we start with a 0S or a −S state. Now, we take the 〈 χ | φ 〉 = ∑ 〈 χ | *i* 〉〈 *i* | φ 〉 ‘Law’, and substitute χ and φ for +S, and all *i *states for the base states with regard to T. We get:

〈 +S | +S 〉 = 1 = 〈 +S | +T 〉〈 +T | +S 〉 + 〈 +S | 0T 〉〈 0T | +S 〉 + 〈 +S | –T 〉〈 −T | +S 〉

These equations are consistent only if:

〈 +S | +T 〉 = 〈 +T | +S 〉*,

〈 +S | 0T 〉 = 〈 0T | +S 〉*,

〈 +S | −T 〉 = 〈 −T | +S 〉*,

which is what we wanted to prove. One can then generalize to any state φ and χ. However, *proving *the result is one thing. *Understanding *it is something else. One can write down a number of strange consequences, which all point to Feynman‘s rather enigmatic comment on this ‘Law’: “*If this Law were not true, probability would not be ‘conserved’, and particles would get ‘lost’.*” So what does *that *mean? Well… You may want to think about the following, perhaps. It’s obvious that we can write:

|〈 φ | χ 〉|^{2 }= 〈 φ | χ 〉〈 φ | χ 〉* = 〈 χ | φ 〉*〈 χ | φ 〉 = |〈 χ | φ 〉|^{2}

This says that **the probability to go from the φ-state to the χ-state is the same as the probability to go from the χ-state to the φ-state.**

Now, when we’re talking base states, that’s rather obvious, because the probabilities involved are either 0 or 1. However, if we substitute for +S and −T, or some more complicated states, then it’s a different thing. My guts instinct tells me this third ‘Law’ – which, as mentioned, can be *derived *from the other ‘Laws’ – reflects the principle of *reversibility *in spacetime, which you may also interpret as a *causality *principle, in the sense that, in theory at least (i.e. *not *thinking about entropy and/or statistical mechanics), we can *reverse* what’s happening: **we can go back in spacetime**.

In this regard, we should also remember that the complex conjugate of a complex number in polar form, i.e. a complex number written as *r*·*e*^{iθ}, is equal to *r*·*e*^{−iθ}, so the argument in the exponent gets a *minus *sign. Think about what this means for our *a·e*^{−i·θ }= *e*^{−i·(ω·t − k ∙x)} = *a*·*e*^{−(i/ħ)·(E·t − p∙x) }function. Taking the complex conjugate of this function amounts to *reversing *the direction of t *and* x which, once again, evokes that idea of going back in spacetime.

I feel there’s some more fundamental principle here at work, on which I’ll try to reflect a bit more. Perhaps we can also do something with that relationship between the multiplicative inverse of a complex number and its complex conjugate, i.e. z^{−1 }= z*/|z|^{2}. I’ll check it out. As for now, however, I’ll leave you to do that, and please let me know if you’ve got any inspirational ideas on this. 🙂

So… Well… Goodbye as for now. I’ll probably talk about the *Hamiltonian *in my next post. I think we really did a good job in laying the groundwork for the really *hardcore* stuff, so let’s go for that now. 🙂

**Post Scriptum: On the Uncertainty Principle and other rules**

After writing all of the above, I realized I should add some remarks to make this post somewhat more readable. First thing: not all of the rules are there—obviously! Most notably, I didn’t say anything about the rules for adding or multiplying amplitudes, but that’s because I wrote extensively about that already, and so I assume you’re familiar with that. [If not, see my page on the essentials.]

Second, I didn’t talk about the Uncertainty Principle. That’s because I didn’t have to. In fact, we don’t need it here. In general, all popular accounts of quantum mechanics have an excessive focus on the position and momentum of a particle, while the approach in this and my previous post is quite different. Of course, it’s Feynman’s approach to QM really. Not ‘mine’. 🙂 All of the examples and all of the theory he presents in his introductory chapters in the Third Volume of *Lectures*, i.e. the volume on QM, are related to things like:

- What is the amplitude for a particle to go from spin state +S to spin state −T?
- What is the amplitude for a particle to be scattered, by a crystal, or from some collision with another particle, in the θ direction?
- What is the amplitude for two identical particles to be scattered in the same direction?
- What is the amplitude for an atom to absorb or emit a photon? [See, for example, Feynman’s approach to the blackbody radiation problem.]
- What is the amplitude to go from one place to another?

In short, you read Feynman, and it’s only at the *very *end of his *exposé*, that he starts talking about the things popular books start with, such as the amplitude of a particle to be at point (**x**, t) in spacetime, or the Schrödinger equation, which describes the orbital of an electron in an atom. That’s where the Uncertainty Principle comes in and, hence, one can really avoid it for quite a while. In fact, one *should *avoid it for quite a while, because it’s now become clear to me that simply presenting the Uncertainty Principle doesn’t help all that much to truly *understand *quantum mechanics.

Truly understanding quantum mechanics involves understanding all of these weird rules above. To some extent, that involves *dissociating *the idea of the wavefunction with our conventional ideas of time and position. From the questions above, it should be obvious that ‘the’ wavefunction does actually *not *exist: **we’ve got a wavefunction for anything we can and possibly want to measure**. That brings us to the question of the base states: what

*are*they?

Feynman addresses this question in a rather verbose section of his Lectures titled: *What are the base states of the world? *I won’t copy it here, but I strongly recommend you have a look at it. 🙂

I’ll end here with a final equation that we’ll need frequently: the amplitude for a particle to go from one place (**r _{1}**) to another (

**r**). It’s referred to as a

_{2}*propagator*function, for obvious reasons—one of them being that physicists like fancy terminology!—and it looks like this:

The shape of the *e*^{(i/ħ)·(p∙r12) }function is now familiar to you. Note the **r _{12 }**in the argument, i.e. the

*vector*pointing from

**r**to

_{1}**r**. The

_{2}**p**∙

**r**dot product equals |

_{12}**p**|∙|

**r**|·cosθ = p∙r

_{12}_{12}·cosθ, with θ the angle between

**p**and

**r**. If the angle is the same, then cosθ is equal to 1. If the angle is π/2, then it’s 0, and the function reduces to 1/r

_{12}_{12}. So the angle θ, through the cosθ factor, sort of

*scales*the spatial frequency. Let me try to give you some idea of how this looks like by assuming the angle between

**p**and

**r**is the same, so we’re looking at the space in the direction of the momentum only and |

_{12}**p**|∙|

**r**|·cosθ = p∙r

_{12}_{12}. Now, we can look at the p/ħ factor as a

*scaling*factor, and measure the

*distance x*in units defined by that scale, so we write:

*x*= p∙r

_{12}/ħ. The function then reduces to (ħ/p)·

*e*

^{i∙x}/

*x*= (ħ/p)·cos(

*x*)/

*x*+

*i*·(ħ/p)·sin(

*x*)/

*x*, and we just need to square this to get the probability. All of the graphs are drawn hereunder: I’ll let you analyze them. [Note that the graphs do not include the ħ/p factor, which you may look at as yet another scaling factor.] You’ll see – I hope! – that it all makes perfect sense: the probability quickly drops off with distance, both in the positive as well as in the negative x-direction, while it’s going to infinity when

*very*near. [Note that the absolute square, using cos(

*x*)/

*x*and sin(

*x*)/

*x*

_{ }yields the same graph as squaring 1/

*x—obviously!*]