The complex numbers in QM

In summary: QM or QFT. In summary, the use of complex numbers in quantum mechanics is necessary due to the need for continuous spectra in spacetime observables. However, for quantum gravity, a more complex field such as the algebraic closure of the complex numbers extended by time and space coordinates may be necessary in order to incorporate EFE and other physical equations.
  • #1
fresh_42
Mentor
Insights Author
2023 Award
18,994
23,950
TL;DR Summary
Which properties of ##\mathbb{C}## are actually necessary?
Summary: Which properties of ##\mathbb{C}## are actually necessary?

The following is speculative as well as a honestly meant question about the way QM is modeled. I don't want to create a new theory, just understand the necessities of the old one.

Physicists use complex numbers for QM. But why are they necessary? I understand that the existence of eigenvalues must be granted, but any algebraically closed field does it. I understand that characteristic two is problematic, but what if the characteristic is a high prime, and I assume something like ##99989## or maybe even ##89## already counts as high. I understand that a topology is necessary to perform differentiation, but does it have to contain ##\mathbb{R}##? What's used from the symmetry groups looks as if finite groups could do, i.e. mainly discrete calculations. Why isn't discreteness an intrinsic demand from the start? The Lie algebra representations wouldn't look much different on the algebraic closure of ##\mathbb{F}_{89}##.

And finally, if complex numbers are necessary, what could be achieved by transcendental extensions like ##\mathbb{C}(t)\,?## This way the entire spacetime could simply be part of the scalar field. Isn't this more natural to do than to look for a way to attach it afterwards?
 
Physics news on Phys.org
  • #2
For clarity: it seems like you're not asking why we have to use ##\mathbb{C}## instead of ##\mathbb{R}## in QM, but why we have to use the continuous algebraically closed field ##\mathbb{C}## instead of a discrete one?
 
  • #3
Assuming my understanding in post #2 is correct, one obvious response to me is that there are observables that have a continuous spectrum.
 
  • Like
Likes DanielMB and fresh_42
  • #4
PeterDonis said:
For clarity: it seems like you're not asking why we have to use ##\mathbb{C}## instead of ##\mathbb{R}## in QM, but why we have to use the continuous algebraically closed field ##\mathbb{C}## instead of a discrete one?
Yes, since a discrete one which is large enough shouldn't be very much of a difference. Algebraic closure or even transcendental extensions could be used. My question is, why characteristic zero, and not characteristic with a large prime.
 
  • #5
fresh_42 said:
I understand that a topology is necessary to perform differentiation, but does it have to contain ##\mathbb{R}##?

It does if spacetime is continuous, since that is what gives a continuous spectrum to spacetime observables (position, momentum, energy).
 
  • #6
PeterDonis said:
It does if spacetime is continuous, since that is what gives a continuous spectrum to spacetime observables (position, momentum, energy).
And in the end quantize it for a couple of eigenspaces from Lie algebra representations? That's where my question arose. Those representation aren't very different from prime characteristic anymore if the prime is large enough. We won't find spin 500 particles.

Anyway, there is yet the question, why we do not use ##\overline{\mathbb{C}(t,x,y,z)}## as field and build the theory with spacetime involved as part of the scalar field. I admit that I have no idea how physically absurd eigenvalues in such a field would be, or whether they could still be interpreted. But at least EFE would be there from the start possibly leading to a factor ring of ##\overline{\mathbb{C}(t,x,y,z)}## as scalar domain. Has this been tried before? It sounds more natural to me than the super-world does.

I mean, we consider e.g. a Clifford algebra or a Graßmann algebra as a quotient of the tensor algebra. So why not do the same for the scalar domain.
 
Last edited:
  • #7
fresh_42 said:
We won't find spin 500 particles.

Spin is a discrete observable, so it's not the kind I was talking about. Doing quantum mechanics on a discrete field means modeling space and time as discrete. Without any experimental evidence of such discreteness, treating spacetime observables like position, momentum, and energy as continuous seems like the simplest hypothesis.

fresh_42 said:
why we do not use ##\overline{\mathbb{C}(t,x,y,z)}## as field

I don't understand what this means.
 
  • #8
PeterDonis said:
I don't understand what this means.
The algebraic closure of the complex numbers extended by time, and space coordinates. This way we could define all necessary equations, build the ideal ##I## those equations define in ##\mathbb{C}[t,x,y,z]## and consider ##\mathbb{C}[t,x,y,z]/I## as our scalar domain. Something like what we do with ##SO(3,1)## or with Graßmann algebras as ##V^{\otimes}/\langle x\otimes x \rangle ##. This makes equations automatically true: ##x \wedge y = - y \wedge x## because ##(x+y) \otimes (x+y) =x \otimes y + y \otimes x## is made zero.

The scalar field is a possible screw that can be adjusted. I understood the argument with the continuous spectra. And I probably should have restricted my question to QFT. But there are still more fields or just rings or algebras of characteristic zero available. EFE are just a system of equations, so they generate an ideal in some tensor algebra. Now take this tensor algebra and factor out this ideal. This way we have a domain which automatically respects EFE. And from there on build the entire theory on this algebra instead of adjusting things afterwards. I'm not sure whether this can be done on the level of field extensions or at least division algebras. However, this was the second thought. My first thought was just ##U(1,\mathbb{F}_p[ i ]) \times SU(2,\mathbb{F}_p[ i ]) \times SU(3,\mathbb{F}_p[ i ])## with, say ##p>5##, instead of searching for ##E_8## or ##SU(5)## extensions. The physical results should be the same, if only ##p## is big enough. However, this is a hypothesis, and I would like to find an argument why the results might not be the same. The continuous observables are such an argument in QM. But what about QCD?
 
Last edited:
  • #9
fresh_42 said:
the complex numbers extended by time, and space coordinates

I don't understand what this means either.
 
  • #10
It means the complex function field of Laurent polynomials, quotients of complex series in four variables and their inverses. ##at^2+bx+c(yz)^{-1}## would be an element, a scalar.
 
  • #11
fresh_42 said:
the complex function field of Laurent polynomials, quotients of complex series in four variables and their inverses

Ok. But it looks like what you're proposing is a theory of quantum gravity, since you're expecting spacetime itself to pop out of the equations instead of having to be put in. So a simple response to your original question in this thread would be that even if all that complexity (pun intended :wink:) turns out to be necessary for quantum gravity, that doesn't mean it's necessary for ordinary QM.
 
  • #12
fresh_42 said:
the complex function field of Laurent polynomials, quotients of complex series in four variables and their inverses.

Is this field not continuous?
 
  • #13
PeterDonis said:
Is this field not continuous?
It is. We often proceed by the principle: eliminate what disturbs. So putting in EFE from the start instead of at the end seems logical. Spacetime is a (pseudo?) Riemannian manifold. Somebody must have tried using it as the basis for QFT just like in algebraic geometry where geometric objects (solutions of polynomial equations, zeros) are turned into ring theory. This results in additional algebraic tools.
 
  • Informative
Likes *now*
  • #14
One cannot dispense with the notion of order, e.g., causality requires the concept of ''later'', and dissipation means energy ''decreases'', being is lost to the environment. Thus the Hermitian part of the field of scalars must be a totally ordered field. This makes it a subfield of the reals.

Mathematical convenience requires completeness, e.g., to have the intermediate value theorem. Thus it must be the field of all reals.

The Schrödinger equation involves a purely imaginary number, forcing the full field of scalars to be precisely the field of complex numbers.
 
Last edited:
  • Like
Likes bhobba, dextercioby and fresh_42
  • #15
fresh_42 said:
putting in EFE from the start instead of at the end

Isn't that what standard GR does?
 
  • #16
Within quantum logic, there is a theorem stating that the Hilbert space of quantum mechanics can be built only over real, complex or quaternionic scalars:

C. Piron, "Foundations of Quantum Physics", (W. A. Benjamin, Reading, 1976).

M. P. Soler, "Characterization of Hilbert spaces by orthomodular spaces", Comm. Alg. 23 (1995), 219.

So, if you contemplate any other fields of scalars, be prepared to have some funny logical relationships between experimental propositions.

Eugene.
 
  • #17
PeterDonis said:
Isn't that what standard GR does?
I don't know. Is there a version which approaches GR by ring theory, where the solutions to EFE are translated into ringed spaces, schemes and sheaves, i.e. instead of doing analysis on a manifold, doing ring theory on local rings. Somebody must have tried, but I don't know the literature.

With your and @A. Neumaier's arguments, prime characteristics seems to be off the table, although I still wonder why we need ##\mathbb{C}## in representations of the Gauge groups. However, it would be unnatural to change the fields at this point.

That leaves us with the question, why extensions of ##\mathbb{C}## aren't considered. E.g. according to Wikipedia (sorry for the source), the position operator uses ##L^2(\mathbb{R}^3,\mathbb{C})## as Hilbert space. Shouldn't we use ##L^2(\mathbb{F})## instead and work with functionals which already carry the coordinates not as variables but as scalars, since the existence of a stress-energy tensors affects the behavior of the coordinates? ##\mathbb{F}## would then be ##\mathbb{C}(t,x,y,z)##, leading to a space where ##L^2(\mathbb{R}^3,\mathbb{C})## is only a subspace. An all-in-one environment, so to say.
 
  • #18
fresh_42 said:
Is there a version which approaches GR by ring theory, where the solutions to EFE are translated into ringed spaces, schemes and sheaves, i.e. instead of doing analysis on a manifold, doing ring theory on local rings

I'm not aware of any work along these lines, but there's a lot of literature I haven't read, particularly in the realm of math as opposed to physics, which is where I would think it more likely to find something like this.

However, I'm still confused by your terminology. What do you mean by "putting in the EFE at the start instead of at the end"? You say you don't know whether GR does this or not, so now I'm not sure what you mean by that phrase.
 
  • #19
fresh_42 said:
the position operator uses ##L^2(\mathbb{R}^3,\mathbb{C})## as Hilbert space

More precisely, the position operator for a single particle uses this as Hilbert space. But for more than one particle, the configuration space is no longer ##\mathbb{R}^3##, but ##\mathbb{R}^{3N}##, where ##N## is the number of particles. And that's leaving out the spin degrees of freedom, which introduce further complications.

fresh_42 said:
Shouldn't we use ##L^2(\mathbb{F})## instead

Do you mean, for example, ##L^2(\mathbb{R}^3,\mathbb{F})## for a single particle?

fresh_42 said:
and work with functionals which already carry the coordinates not as variables but as scalars

I'm not sure why you would want this. The coordinates are not observables or amplitudes. They are labels for points in spacetime. You can change the labels (transform the coordinates) without changing any physics. But changing a scalar--an observable or an amplitude--would change the physics.

fresh_42 said:
the existence of a stress-energy tensors affects the behavior of the coordinates

I'm not sure what you mean by this.
 
  • #20
I meant the following construction: We consider a tensor algebra ##T##, e.g. ##T(\mathbb{R}^4)##. If I understood it correctly, a metric tensor ##g## can be considered as an element of ##\mathbb{R}^4 \otimes (\mathbb{R}^4 \otimes \mathbb{R}^4)^*##, and similar for the Ricci-tensor. So if we consider the ideal of ##I\subseteq T## generated by the EFE, then ##A:= T/I## is a domain in which EFE hold automatically true. Hence every calculation done in this vector space, and I'm sure it can be turned into a Hilbert space, automatically respects GR. I just think this is a natural construction which is used elsewhere a lot of times, that naturally builds a framework to base QFT on. Its solutions would automatically be relativistic.
 
  • #21
fresh_42 said:
If I understood it correctly, a metric tensor ##g## can be considered as an element of ##\mathbb{R}^4 \otimes (\mathbb{R}^4 \otimes \mathbb{R}^4)##∗

I don't understand why there are three copies of ##\mathbb{R}^4## there.

fresh_42 said:
if we consider the ideal of ##I\subseteq T## generated by the EFE, then ##A:= T/I## is a domain in which EFE hold automatically true

I don't understand this. ##T / I## is a quotient space, correct? Why should the EFE be true, or even well-defined, on the quotient space? To me this is like saying that, since the even integers are an ideal ##I## of the integers that satisfy the equation ##n = 2 k## for some integer ##k##, the quotient space of the integers over the even integers, which is just ##Z_2##, also satisfies that equation, which doesn't even make sense.
 
  • #22
PeterDonis said:
Do you mean, for example, ##L^2(\mathbb{R}^3,\mathbb{F})## for a single particle?
I meant ##L^2(\mathbb{F},\mathbb{F})##. But I see that such a generalization at the beginning probably won't make anything easier, and all calculations would simply start with a condition that restricts the situation again to the actually necessary subspace.

The original thought of this thread had been: If we only consider a few representations of the Lie algebra of ##U(1)\times SU(2)\times SU(3)## and of rather low dimensions, what do we need the complex numbers for? Any sufficiently large algebraic closed field of characteristic not two would lead to the same results. And if so, why not vary the scalar field instead of the groups (##E_8,SU(5)##) or the Lie algebras (##\mathbb{Z}_2## grading) to extend the theory.
 
  • #23
PeterDonis said:
I don't understand why there are three copies of ##\mathbb{R}^4## there.
The first for the location, the second and third for the quadratic form.
I don't understand this. ##T / I## is a quotient space, correct? Why should the EFE be true, or even well-defined, on the quotient space? To me this is like saying that, since the even integers are an ideal ##I## of the integers that satisfy the equation ##n = 2 k## for some integer ##k##, the quotient space of the integers over the even integers, which is just ##Z_2##, also satisfies that equation, which doesn't even make sense.
It does. If we have a system of equations, say of the form ##2k=x^2## for all even ##x,k##, and ##R:=2\mathbb{Z}[x,k]/\langle 2k-x^2 \rangle##, then all equations in ##R## satisfy ##2k=x^2##. The complex numbers are nothing else: ##\mathbb{C}=\mathbb{R}[x]/\langle x^2+1\rangle##.
 
  • #24
fresh_42 said:
The original thought of this thread had been: If we only consider a few representations of the Lie algebra of ##U(1)\times SU(2)\times SU(3)## and of rather low dimensions, what do we need the complex numbers for? Any sufficiently large algebraic closed field of characteristic not two would lead to the same results. And if so, why not vary the scalar field instead of the groups (##E_8##,##SU(5)##) or the Lie algebras (##\mathbb{Z}_2## grading) to extend the theory.

This looks like a question more suited to the Beyond the Standard Model forum; if any work has been done in this area, regulars there would probably be more likely to know about it.
 
  • #25
fresh_42 said:
It does.

Huh? ##Z_2## consists of two elements, and only one of them is even. So not all elements of ##Z_2## satisfy the equation that generates the ideal you used to form the quotient space ##Z_2## from the ring of integers.
 
  • #26
fresh_42 said:
The complex numbers are nothing else:##\mathbb{C}=\mathbb{R}/\langle x^2+1\rangle##.

Huh? Not all complex numbers satisfy ##x^2 + 1 = 0##. Nor is ##\mathbb{C}## a quotient of ##\mathbb{R}## by anything.
 
  • #27
PeterDonis said:
Huh? Not all complex numbers satisfy ##x^2 + 1 = 0##. Nor is ##\mathbb{C}## a quotient of ##\mathbb{R}## by anything.
Same as not all tensors satisfy the EFE. But all complex equations written as polynomials modulo ##x^2+1## are the same equations written as complex numbers. And if we restrict ourselves to calculations modulo EFE, then EFE is within the calculations from the beginning.
 
  • #28
fresh_42 said:
Shouldn't we use ##L^2(\mathbb{F})## instead and work with functionals which already carry the coordinates not as variables but as scalars, since the existence of a stress-energy tensors affects the behavior of the coordinates? ##\mathbb{F}## would then be ##\mathbb{C}(t,x,y,z)##, leading to a space where ##L^2(\mathbb{R}^3,\mathbb{C})## is only a subspace. An all-in-one environment, so to say.
These fields are not linearly ordered.
fresh_42 said:
If I understood it correctly, a metric tensor ##g## can be considered as an element of ##\mathbb{R}^4 \otimes (\mathbb{R}^4 \otimes \mathbb{R}^4)^*##,
A metric tensor is an element of ##C^\infty(\mathbb{R}^4,\mathbb{R}^4 \otimes \mathbb{R}^4)##.
This is not a triple tensor product.
fresh_42 said:
Hence every calculation done in this vector space, and I'm sure it can be turned into a Hilbert space, automatically respects GR.
For quantum gravity one needs diffeomorphism invariance of the equations of motions for quantum fields. This requires far more than defining a Hilbert space. Moreover, a Hilbert space structure requires the field to be that of the real or complex numbers; otherwise the norm is not well-defined.
fresh_42 said:
I meant ##L^2(\mathbb{F},\mathbb{F})##.
This space has not the structure even to accommodate the spectrum of a harmonic oscillator, let alone that of more complicated physics.
fresh_42 said:
The original thought of this thread had been: If we only consider a few representations of the Lie algebra of ##U(1)\times SU(2)\times SU(3)## and of rather low dimensions, what do we need the complex numbers for? Any sufficiently large algebraic closed field of characteristic not two would lead to the same results. And if so, why not vary the scalar field instead of the groups (##E_8,SU(5)##) or the Lie algebras (##\mathbb{Z}_2## grading) to extend the theory.
To have temporal evolution one needs 1-parameter subgroups parameterized by the real line. Thus nonzero characteristics is out. (There are a few papers trying to generalize quantum physics to the p-adic case, which has characteristic zero but a number theoretic flavor, but these attemtps get nowhere close to being useful. Note that a huge number of results in quantum mechanics are corroborated by experiments and would have to be recovered by any alternative. Lack of reproducing all these results to the verified accuracy rules out all little-informed tinkering with the basics.
 
Last edited:
  • Like
Likes vanhees71, dextercioby and fresh_42
  • #29
An additional observation. At its heart quantum mechanics is a real theory. The symmetry groups are parameterized by real numbers e.g. SU(N) and not SL(N,C). Observables must have real eigen-values.

However I wildly speculate that to a large extent the complex representations are necessitated by the intimate connection between the U(1) gauge of electromagnetism and our use of electromagnetic interactions as our principle instrument of observation and interaction between observers and systems.

That may be a chicken & egg regress (i.e. one could as easily say EM gauge is necessitated by the complex representations in QM) or it may be totally off. I haven't explored it very deeply.

I do believe there's been research on QM with different, especially non-abelian fields yielding additional gauge degrees of freedom. I know one early foray into quaternionic QM turn out to recover weak isospin (D.R. Finkelstein but i don't have the citation handy.) I suspect it is equivalent to standard model type gauge theory.
 
  • Like
Likes fresh_42
  • #30
Is it that time of the year again?
 
  • Like
Likes jim mcnamara
  • #31
What's the problem with complex numbers? Of course, you can decompose everything in real numbers and work with real quantities only, but why do you want to do this? To the contrary, usually one uses complex exponential functions in purely real theories like electromagnetics instead of sines and cosines, simply because it's easier to handle.
 
  • #32
vanhees71 said:
What's the problem with complex numbers?
It's no problem. The question was if it is necessary or does the field provide an additional parameter which can be varied, e.g. by a transcendental extension? I think @jambaugh was right, that at its kernel the SM is a real model, so the question about the role of the scalars must be allowed. And the next step was: If it is real and dimensions low, what makes it different from fields with a large positive characteristic? The eigenvalues should be the same in say ##\mathbb{F}_{61}##, which was my original (and now negatively answered) thought.
 
  • #33
fresh_42 said:
I think @jambaugh was right, that at its kernel the SM is a real model, so the question about the role of the scalars must be allowed.
No. The standard model is a quantum field theory, which cannot be formulated naturally without complex numbers.

In canonical quantization or lattice discretizations, the Schrödinger equation involves an explicit imaginary unit ##i##.

In the Euclidean path integral formalism one needs either analytic continuation to imaginary time or an imaginary factor before the action in the exponential.
 
  • Like
Likes weirdoguy, Tendex and vanhees71
  • #34
A. Neumaier said:
No. The standard model is a quantum field theory, which cannot be formulated naturally without complex numbers.

In canonical quantization or lattice discretizations, the Schrödinger equation involves an explicit imaginary unit ##i##.

In the Euclidean path integral formalism one needs either analytic continuation to imaginary time or an imaginary factor before the action in the exponential.
And for extending beyond the perturbative one needs to justify another analytic continuation back from the Schwinger function in Euclidean space to the Wightman function in Minkowski space.
 

1. What are complex numbers in quantum mechanics?

Complex numbers in quantum mechanics are numbers that have both a real and imaginary component. They are used to represent physical quantities such as wave functions and probability amplitudes in quantum mechanics.

2. Why are complex numbers necessary in quantum mechanics?

Complex numbers are necessary in quantum mechanics because they allow for the representation of physical quantities that cannot be described solely by real numbers. They also allow for the solution of mathematical equations that would not be possible with only real numbers.

3. How are complex numbers used in quantum mechanics?

Complex numbers are used in quantum mechanics to represent the state of a quantum system, which is described by a wave function. They are also used in calculations of probabilities and observables in quantum mechanics.

4. Can complex numbers have a physical interpretation in quantum mechanics?

No, complex numbers do not have a physical interpretation in quantum mechanics. They are purely mathematical tools used to describe the behavior of quantum systems.

5. Are complex numbers the only mathematical tool used in quantum mechanics?

No, complex numbers are not the only mathematical tool used in quantum mechanics. Other mathematical tools such as matrices and operators are also used to describe and analyze quantum systems.

Similar threads

  • Quantum Interpretations and Foundations
Replies
15
Views
2K
  • Differential Equations
Replies
3
Views
2K
  • Classical Physics
Replies
13
Views
820
  • Topology and Analysis
Replies
11
Views
1K
  • Calculus and Beyond Homework Help
Replies
5
Views
931
  • Quantum Interpretations and Foundations
Replies
10
Views
975
  • Linear and Abstract Algebra
Replies
1
Views
694
  • Quantum Interpretations and Foundations
5
Replies
153
Views
5K
  • Linear and Abstract Algebra
Replies
11
Views
1K
  • Linear and Abstract Algebra
Replies
14
Views
2K
Back
Top