I have (sporadically) been writing a series of posts outlining the basis of quantum field theory. So far I have discussed how uncertainty is parametrised in quantum physics (including a notion that the same being can exist in numerous different states or potentia, with change being movement from one potentia to another); that particles are created and destroyed; that physics is ultimately indeterminate (meaning that even given complete knowledge of the universe at one moment in time, and complete knowledge of the laws of physics, it is impossible to predict what the universe will be like at a future moment in time -- the best we can do is calculate probabilities or likelihoods for different possible outcomes); and the crucial role that symmetry plays in contemporary physics.
In my previous post, I discussed how we might start to put these ideas into practice. My goal is to answer a single question, which is worth re-iterating:
Given that the universe has a certain likelihood of being in a state A at one moment of time, and given an understanding of physics consistent with the ideas listed above, what is the likelihood that the universe will be in a state Z at a future moment in time?
In that post, I focussed on definitions. In particular I sought to introduce a notation which would allow us to represent the physical situation abstractly. Firstly, I looked at the idea of a state, and introduced a notation to represent states (the notation is intended, eventually, to each representation in a one to one relationship with the physical states). Secondly, I introduced a notation which represents the process of comparing one state with another. Thirdly, I introduced a way in which we can assign likelihoods to states. This allows us to represent our knowledge of the situation. In practice, we can never say that "reality is in this state." Rather, we can only say, "reality is either in this state, or that state, or that state," and if we are smart about it we can assign a particular likelihood to it being in each particular state. Fourthly, I introduced the concept of operators, which act on state vectors. These operators represent the process of change from one state to another. In particular, I introduced the creation operator and an annihilation operator, which represent creation and destruction of particles in particular states. This allows us to represent a change of state as the simultaneous and localised destruction of a particle in one state and the creation of that particle in another state.
My goal in this post is to discuss two things. Firstly, how to manipulate creation and annihilation operators, and secondly how to convert from one representation of reality to another. These two things are an important step in being able to extract quantities from the abstract notation which we can compare against the real physical world.
Descartes famously hoped to be able to get from one induitable axiom, cogito ergo sum to construct a complete understanding of reality. He equally famously failed, and his failure has led many people to say that such a process is doomed to failure. Such people are cowards. Even if we fail, we learn more in the failed attempt than we would in any successful inaction. I would like to do something similar; to start from a few basic axioms, and construct a theory of fundamental physics (and, ultimately, from physics, all the rest of the sciences). Obviously, the bulk of this work is not my own -- I am relying most of all on the physicists, mostly from the 1930s to 1950s, who first developed this theory (but also the later physicists who brought it to maturity). I differ from Descartes' project in three main ways. Firstly, I don't begin with a method of doubt, entirely distrusting the senses. I assume that our senses are reliable in most circumstances, but rarely perfectly precise. We can therefore not say that "this is," but only "it is either this, or this, or this," or that it lies between certain well defined bounds. Thus our knowledge is limited by uncertainty, but that uncertainty can be parametrised by likelihoods. Since it can be systematically treated, we can still make predictions despite our uncertainty. Secondly, though Descartes was a far more intelligent mathematician than I am (his contributions were far more important to the history of mathematics than mine will ever be), I nonetheless know a lot more mathematics than was available in his time. Thirdly, I proceed from very different axioms than Descartes used.
So what are these axioms? In addition to the above, so far I have assumed that
- Some things are in motion, in the classical rather than modern meaning of motion. The modern meaning is restricted to what used to be referred to as locomotion, movement from one place to another. The assumption (without proof) of this restriction is itself one of the most unfortunate fruits of the enlightenment. Make no assumptions except those which are neccessary for any reasoned empirical investigation, or which can be confirmed by unambiguous observation. I am speaking of motion as any type of change. For example, when a banana goes from green to yellow to brown, it is changing and thus (by the definition of "motion") in motion. I do not assume that there are more types of motion than just locomotion, but neither do I assume (as Descartes and the mechanists did) that there aren't.
- That implies that the same being can exist in a multitude of states.
- We are capable of comparing one state against another.
- The universe is intelligible. We can understand the universe, and in particular how it evolves from one moment to another.
- This evolution need not be deterministic (i.e. predictable even with complete knowledge and infinite computing resources). It might be, but we have no justification in assuming before we set out that it is. But, we can make predictions for the likelihoods of various outcomes given an initial state.
- There are fundamental building blocks of matter, with complex objects built from simpler parts (which might not necessarily be the electrons, quarks and so on which are the most fundamental particles we know of today, or they could be).
- That we can represent those states abstractly.
- These states of matter are not immutable, and can matter can move from one state to another, and, indeed, fundamental particles might be able to come into and out of existence in certain circumstances.
I will need to add more axioms later. In particular, my method is only going to give us a general framework of thinking about physics. To convert that framework into a precise theory is going to need direct experimental input in various places.
My first five of these axioms are very much Aristotlean in spirit. What have have described there is a slightly eccentric and over-simplified presentation of Aristotle's central idea of potentiality and actuality, from which the bulk of Aristotle's metaphysics can be derived (in a full introduction, I would be more precise and express them in a more standard way, but since this is intended to be a simplified introduction to a different topic, I am not going to go into that detail here). Many of those assumptions were explicitly denied by the early modern scientists and philosophers of science; or rather, where I say that we have no justification of assuming one way or the other, they explicitly made that assumption. And most of the time got it wrong (as we now know). Where I differ from Aristotle is in the two penultimate of my axioms. Firstly, I believe that the universe can be represented in an abstract, mathematical langauge. Secondly, I have assumed the existence of fundamental particles, which makes me an atomist (in the classical sense of the word). So while my acceptance of the first premises puts me in the Aristotlean family, I am that weird cousin who doesn't quite fit in and nobody likes to talk to at family reunions.
So my desire is to proceed from simple axioms, which are either necessary to make any progress at all or which come from basic observation, and to rigorously develop a framework for physical theory based on those axioms. That framework is then tested and fine-tuned against experiment. Once we have the physics in place, we can look at and develop the metaphysics that inspired it. From that metaphysics, we can start to construct a theology, which will allow us to address the discussion between atheism and theism.
That's the plan, which I carried out to the best of my ability in my book. But here I cannot go into the required detail. So my goal is instead to show how it might be done, and convince the reader that the goal is at least possible.
So let us start with a state vector for an electron at a definite location. I will call that location . represents the creation operator for that state, represents the annihilation operator for that state, and (meaning that there is one particle at location represents the state itself.
But hang on. We have already made an assumption we shouldn't. How do we know that the electron states, corresponding to the particles observed in experiment, are localised at a single point? We assume (it comes directly from the axioms) that there is some way of distinguishing between states, but that way need not be the location. So let us invent another index, , that distinguishes between electron states. This might ultimately turn out to be the same as location, or it might not. We are in no position right now to judge.
But if we attempt to make a measurement of location, we will get a definite value. But perhaps this is just an average value, or perhaps it is indeterminate. So for an electron in a state , there is a certain likelihood that our instruments will record its location as , and a certain likelihood that our instruments will record its location as , and so on. The particle of a determinate state might be in an indeterminate location. We haven't proved that it is so, but neither have we proved that it isn't, so we have to keep our notation general enough to cope with both possibilities.
We already know, however, how to deal with indeterminate states; the situation is anologous to the knowledge states I constructed in the last post to cope with our lack of certainty about the state something is in. This time, however, the necessity doesn't come from our own uncertainty, but is a bit more fundamental.
So we use the same approach, and write,
What I have done here is what is known as change the basis. The set of states are mathematically a perfectly good representation. They are orthogonal (you can't be in two difierent states at the same time); they give the correct normalisation (the likelihood of you being in a particular state given that you are in that state is one). We just don't know that this is the representation that best reflects reality. There are plenty of other options which have the same mathematical properties; and are self-consistent possibilities.
An analogy of this is the rotatation of a coordinate system. Draw two lines (coordinate axes) at right angles to each other, mark off equidistant points along each line, and number those points. Any point on the plane can then be associated with two numbers. Each number is a measurement of how far the point is from each of the lines. But the numbers are not intrinsic to the point. If we rotate the coordinate axes, while keeping the point in the same place, then it will be described by a different set of numbers. Each of these different sets of coordinate axes is a valid way of describing the plane, as good as any other. But the system is also objective; we always cite which coordinate system we use when we specify the two numbers which specify the point. Saying that a point is at position is meaningless. Saying that it is at position in a particular coordinate system tells us everything we need to know; and if it is not a coordinate system we find useful we can always convert the numbers from that system and work out what they would be in our favoured one.
The situation of the states, whether the states should represent particles at a particular location, or with a particular value of , is similar. It is similar because the system used to represent states and the system used to represent a coordinate space both obey the rules of a mathematical vector space. The state system is more complicated (there are an uncountable infinite number of dimensions), but the mathematician knows how to deal with that. Each of these bases can completely describe any physical situation, so in some sense each of them are equally valid. Now ultimately we will be interested in states that remain meta-stable in time (since these will describe the actual material particles we see around us), which means that one basis will be more convinient for us. Just like when mapping out the dynamics of the solar system, a basis with a stationary sun is more convinient than one in which the sun moves around. But being less convinient is not the same as being invalid. We could use a different basis if we wanted to; it would just make our life and calculations much harder. While constructing the formulism (which is what we are doing right now), this freedom to rotate the basis is something we want to keep, since it has important consequencies.
In each basis, we can identify creation operators associated with each state. So there is one operator which creates a particle in a state at a definite location, and another operator which creates a particle in a state with a definite value of .
For example, consider the case when we create two different particles. Does it matter which order we create them in? The classical answer would be \no". What is the quantum answer? Formally, what we are asking is whether , which means that we start with an empty state, then create a particle at location , then a particle at location , is the same as . Since we can take any state as input and ask the same question, what we want to know is whether
Now I am going to give you a choice. The next part of this post is full of technical detail. If you want to read it, then read on. If not, then click here, and you can skip to the end.
If we apply the operator to the empty state, what we get is a state representing the two particles existing at the two specified locations. And also represents a state with the same two particles existing at the same locations. But the outcome of these two processes need not be the same; the final result of each is not a state by itself, but a state vector multiplied by a likelihood, and the two likelihoods could be different. Any likelihood on the circumfrence of the circle represents a particle being present. We don't know where on that circumfrence we are after each procedure. It might be the same likelihood in each case, but we have no right to assume that. What we measure experimentally are frequencies, but our uncertainty is parametrised as a likelihood. A probability (which can be mapped to the frequency) is the radius squared (or complex modulus squared) of a likelihood. This means that in principle the two quantities need not be the same; the only experimental demand we have is that the modulus square of the two quantities is the same. We can thus write
Thus every , and for that matter, has the same value. But we also saw that . This means that , or is either or .
If it is , we find ourselves with the equation we naively expect,
The same considerations apply when we have two annihilation operators.
Now let's consider what happens when we destroy a particle and then create another particle. The argument is very similar, so I won't go over the details again. Once again, if we take a state and destroy a particle and create a particle , then we must get something proportional to the case if we create or destroy . The only thing that can be different is the numerical factor that multiplies the state. Thus,
But that is not true in every case. You cannot destroy something that isn't there. This means that applying the annihilation operator to a state with no particles in that state shouldn't give us anything. For example, the empty state by definition doesn't have any particles at location . So we write . Thus . On the other hand, given the empty state, we can create a particle and then annihilate it. So .
In general, acting on a state will give a result proportional to that state. If you start with thirteen green marbles, add a purple marble, and then take away the purple marble, you are left with thirteen green marbles. Similarly, if you start with thirteen green marbles, take away a green marble and add a green marble, you are left with thirteen green marbles. The same principle applies here. So both and acting on a state must be proportional to that state (even if the constant of proportionality is zero. Thus, for example, we can write that
So let us try applying this operator to the empty state, and compare it against the empty state. We get
Now let us look at the state with one particle in it, and again apply it against the operator and compare against the original state.
Whatever state, we apply the operator to, we will find that
This means that we have the following rules for fermions:
We combine the first two equations by inventing an operator , which is if and are different and if they are the same.
For Boson creation and annihilation operators, and , the rules are similar (I am not going to prove these expressions here, but it requires similar reasoning to the previous case):
Boson operators just commute straight-forwardly with fermion operators.
Well, if you are still with me so far, then well done. If you haven't seen this before, then you are probably asking "What on earth was the point of all that?", or somewhat less polite words to that effect.
Well, at the end of the previous post, I expressed the likelihood of a system evolving from one state to another as
So this allows us to simplify the expression by removing all the creation and annihilation operators. What we will be left is a series of objects multiplied by numerical factors. In short, a number. We can take the modulus square of that number to get a probability; and we can compare probabilities against experimental results.
We still don't yet have an answer, of course. We still need an exact form for the operator which describes the time evolution of the system. I'll discuss that next time.
All fields are optional
Comments are generally unmoderated, and only represent the views of the person who posted them.
I reserve the right to delete or edit spam messages, obsene language,or personal attacks.
However, that I do not delete such a message does not mean that I approve of the content.
It just means that I am a lazy little bugger who can't be bothered to police his own blog.