rbj said:
so what if you (think) you did the math completely correctly, started with a physical system in our observable "reality" made a computation of a physical quantity that you measure with real instruments, and came up with an answer of "3+4i volts", or "5+12i meters" or something like that? are you getting your real voltmeter to measure the 3 volts or your real tape-measure to measure the 5 meters, and then get your imaginary voltmeter to measure the 4i volts or you imaginary tape-measure to measure your 12i meters? or maybe your voltmeter will measure 5 volts? or your tape measure 13 meters? is that what you expect?
I think you are really turning around the issue. You claim that all "fundamental quantities in nature" are real numbers, and then you go on by deciding that what qualifies as a "fundamental quantity in nature" is what is represented by a real number.
In order to illustrate your point, you always take a few examples of quantities which are indeed real numbers, and point out that
for those quantities, it doesn't make sense to talk about them as complex numbers. You did this for distances, and now you do it for the scalar electromagnetic potential. Of course it doesn't make sense for these specific quantities to be represented by complex numbers, in the sense that the specific complex structure hasn't any special meaning. But it is not because you have found a few examples, that this proves in all generality that all (fundamental?) physical quantities must be necessarily real numbers and can never be complex numbers.
Hurkyl and I are trying to make you see two things.
One: what qualifies as "real" in a physical theory depends on its formalism, which is based upon mathematical constructions, such as real numbers, vectors, complex numbers, manifolds, ... , and there is not really a fundamental difference between the mathematical construction of the real numbers, and those of other constructions such as the complex numbers. It is the physical interpretation of the construction at hand which tells you whether it is a sensible hypothesis to assign some kind of ontological reality to the construction or not.
Two: in the case you want to limit yourself to fundamental quantities always being observable quantities, then the real number system doesn't qualify either, because every thinkable observation is necessarily an element of a discrete set of possibilities (in other words, can be represented by natural numbers).
You seem to hop between both views: you recognize that genuine observations will at most result in (finite lists of) natural numbers, but you do seem to think that these observations are approximations to a hypothetical quantity (which can hence only exist ontologically in a theoretical sense) that must be a "real number", and hence attribute "ontological reality" to that theoretical modellisation of the ideal real number behind the observation. But if we are allowed to assign ontological reality to theoretical constructions such as the real number, then there's no reason NOT to assign any reality to the other theoretical constructions of a theory too, as long as they have an obvious observer-independent notion to them.
When we bring about examples of such constructions, you object to them that in order to measure them, we can do so by "approximate real number" measurements. When we point out that such measurements don't measure real numbers, but at best rational numbers, you say that there is a theoretical notion behind them that corresponds to "the actual quantity" which ought to be a real number. So you change your definition of what is ontologically real during the argument.
Now, given that a scalar volt meter measures a quantity which is, indeed, represented by a real number, it is totally silly to try to assign a complex number to it. True. Same holds for distance.
But consider a quantity like "force". Force has "magnitude and direction" to it. It doesn't make sense to assign simply 3 real numbers to a force, because those 3 real numbers wouldn't be the same for different observers. However, an abstract element in a 3-dim vector space
does qualify. Mind you that a 3-dim vector space is NOT R^3! An element of R^3 is a set of 3 real numbers. There is a fundamental distinction between, say (sqrt(2),0,0) and (1,1,0). The first set contains two times the neutral element for addition, while the second set contains two times the neutral element for multiplication.
Nevertheless, both of these 3-tuples are a valid representation for the same vector, in different coordinate systems. So there is something "intrinsic" to this vector representation, which a list of 3 numbers doesn't have, and that intrinsic property is exactly what we wanted to have for the physical notion of "force". As such, the abstract vector is a mathematical object which comes closer to the ontological reality of the concept of force, than a list of 3 real numbers. Moreover, the physical interpretation of force needs exactly the structure provided for by a vector space: vectorial addition. Without introducing an arbitrary coordinate system, given two forces, their vectorial sum has an intrinsic meaning. But whether or not their corresponding "list of 3 numbers" contains the neutral element for addition once or twice, doesn't have the slightest bit of intrinsic physical meaning. So there's more reality to the abstract vector than to its list of 3 coordinates.
In the same way, complex numbers are abstract constructions which qualify sometimes more than does "a set of 2 real numbers". As I pointed out, a typical use is as "the ratio of two sinusoidal signals of same frequency", also called a phasor. Typical application: a monochromatic EM field (light beam). Now, I'm not saying that the *complex signal* has any ontological reality to it. I'm just saying that the concept of "ratio of two sinusoidal signals with same frequency" is most naturally represented by a complex number:
if s1(t) = A1 sin(w.t + phi1) and s2(t) = A2 sin(w.t + phi2), then it is quite natural to represent s2/s1 by the complex number (A2/A1) exp(i(phi2-phi1)).
This has the advantage that if we have 3 signals, there is a transitivity:
if c12 = s2/s1 and if c23 = s3/s2 then c13 = s3/s1 = c12.c23 with the product given by the complex multiplication (which is the only extra structure C has over R^2). Moreover, this phasor representation also respects addition:
if s3/s1 = c13 and s2/s1 = c12, then (s2+s3)/s1 = c12 + c13.
So there is a complete interpretation to the complex number representation, and in the same way as we can talk about "distance" between two points in space, we can also talk about the "phasor relationship" between two points in the monochromatic EM field, which is a kind of "electromagnetic distance". With it, we can calculate interference patterns and everything.
The error you are committing in refuting any ontological reality to complex quantities is a straw man argument: you are attacking a point which nobody disputes. True, the complex signal A1 exp(w.t + phi) doesn't have a genuine physical interpretation. But that's not what a phasor is about. The phasor A.exp(i phi1) just represents the ratio between two real sine functions of time (yes, they are real, because they represent, say a scalar EM potential which is a real quantity, and not a complex one). But in the same way as "distance between two points in space" has physical reality, there's an "electromagnetic distance between two points in an optical setup" which can naturally be described by a phasor, which is independent of any "coordinate system choice".
Now, all this is a bit artificial of course. The genuine reality of the complex number system appears most clearly in quantum theory.