5 ms·

There is really nothing to the appearance of complex numbers in QM. In QM we must design wave functions which do the double duty of representing the probability

There is really nothing to the appearance of complex numbers in QM. In QM we must design wave functions which do the double duty of representing the probability of measurement outcomes AND capture the symmetries implicit in the system related to the fact that there are degrees of freedom between preparation of a state and measurement (for example, we may rotate our detector any way we wish before we make a measurement of a particle in a given prepared spin state). To accomplish this we need some number-like objects to denote our wave function in that square to real numbers but have enough structure to represent (in this case) the rotations. As you venture further into the universe of QFT you find that you need even more exotic number like objects like spinors with their own peculiar structures, but the essence is the same: they must serve the purpose of representing probabilities and symmetries. The complex numbers in QM mean nothing at all except in that they serve these purposes. If we wish to speak informally and wave our hands a bit we can say that it isn't so surprising that we find the complex numbers and related number like objects because the complex numbers are a promise to square something at a later date and recover a real number, which is what we need to satisfy the requirement to represent probabilities. In fact, we can formulate classical probabilistic mechanics with complex numbers (the Koopman von Neuman operator theory) and again, they appear because we want to operate on objects living in a nice Hilbert space which also square to probabilities. In only took me 20 years to understand this, so I can sympathize with confusion.

omnicognate 1y ago
It's a long time since I read it, but there's a book called "The Structure and Interpretation of Quantum Mechanics" [1] by R. I. G. Hughes. The "Structure" part of it begins by building up most of the mathematical framework (including use of complex numbers, Hilbert spaces, operators, etc), motivated only by the desire to build a physical theory that is probabilistic in nature. It then shows how you can add one extra ingredient that turns the framework into that used for quantum mechanics [2]. I assume that everything discussed up to that point applies equally to Koopman-von Neumann. It's a really nice book, very self-contained. I think anyone with a basic mathematical education (A-Level or equivalent) could get through it without having to read other things to acquire prerequisites, though they should be prepared to think quite hard. 1. The resemblance to the titles of Gerald Jay Sussman's "Structure and Interpretation" books appears to be coincidental. The title is meant literally: the book is split into two sections, one on the (mathematical) structure of QM and one on its (philosophical) interpretation. There are no similarities in style, pedagogy or subject matter to Sussmann's books and no use of, or reference to, programming. The author was a professor of philosophy at the University of South Carolina. 2. He actually lists a collection of alternatives for that extra ingredient, any one of which has the same effect when added.
- nathan_compton 1y ago
  It is one of my favorites.
- antognini 1y ago
  It's nice to see this reference. I'm currently reading it and about halfway through (making my way through the chapter on Quantum Logic). The discussion of the EPR paradox and the Kochen-Specker Theorem was really very illuminating.
feoren 1y ago
> complex numbers are a promise to square something at a later date and recover a real number Except, most complex numbers don't square to a real number. Only those lying along the complex or real axes square to a real number; everything else just squares to another (non-real) complex number. In what way do complex numbers represent a "promise" to square it later and recover a real number? Who is making this promise? I feel like this is falling into the same trap of believing that complex numbers are not allowed to simply exist on their own merit. I think it's quite serendipitous that the number system designed to algebraically close the reals to include roots of polynomials like x^4 + 1 happens to also cleanly describe so much of physics. There happens to be a lot of physics that boils down to "magnitude and phase" where those quantities interact in the same way complex numbers do, but it's not a-priori obvious that electromagnetism shouldn't need some third quantity as well, nor that we shouldn't be using quaternions instead, nor some other algebraic structure defined over 2D or 3D or 4D vectors. Indeed, as you point out, there are plenty of more complicated mathematical structures that are best for describing other parts of physics, like spinors, Lie groups, and special unitary groups. It's not a-priori obvious that Lie groups should be so important to physics either. But neither should anyone protest their use as somehow not "really existing". It is true that complex numbers do not physically exist -- neither do Lie groups, and neither does the number 7. We got lucky that mathematicians had already explored an algebra that turned out to be perfect for "magnitude-and-phase" physics, but it doesn't seem like "squaring to a real number" had anything to do with why they are useful. Real numbers have no stronger claim to truly representing physics than complex numbers, spinors, or Lie groups do.
- nathan_compton 1y ago
  > Real numbers have no stronger claim to truly representing physics than complex numbers, spinors, or Lie groups do. Eh, call me when your detector gives you back a complex number. Measurements return real numbers. I've never known one to return a complex valued one. Probabilities are real numbers. I feel this puts real numbers in a privileged position. If you ever wrote a theory that suggested that you lay a ruler against an object and measure a complex value, you'd be in trouble.
  - 1y ago

omnicognate 1y ago

It's a long time since I read it, but there's a book called "The Structure and Interpretation of Quantum Mechanics" [1] by R. I. G. Hughes. The "Structure" part of it begins by building up most of the mathematical framework (including use of complex numbers, Hilbert spaces, operators, etc), motivated only by the desire to build a physical theory that is probabilistic in nature. It then shows how you can add one extra ingredient that turns the framework into that used for quantum mechanics [2]. I assume that everything discussed up to that point applies equally to Koopman-von Neumann. It's a really nice book, very self-contained. I think anyone with a basic mathematical education (A-Level or equivalent) could get through it without having to read other things to acquire prerequisites, though they should be prepared to think quite hard. 1. The resemblance to the titles of Gerald Jay Sussman's "Structure and Interpretation" books appears to be coincidental. The title is meant literally: the book is split into two sections, one on the (mathematical) structure of QM and one on its (philosophical) interpretation. There are no similarities in style, pedagogy or subject matter to Sussmann's books and no use of, or reference to, programming. The author was a professor of philosophy at the University of South Carolina. 2. He actually lists a collection of alternatives for that extra ingredient, any one of which has the same effect when added.

nathan_compton 1y ago
It is one of my favorites.
antognini 1y ago
It's nice to see this reference. I'm currently reading it and about halfway through (making my way through the chapter on Quantum Logic). The discussion of the EPR paradox and the Kochen-Specker Theorem was really very illuminating.

feoren 1y ago

> complex numbers are a promise to square something at a later date and recover a real number Except, most complex numbers don't square to a real number. Only those lying along the complex or real axes square to a real number; everything else just squares to another (non-real) complex number. In what way do complex numbers represent a "promise" to square it later and recover a real number? Who is making this promise? I feel like this is falling into the same trap of believing that complex numbers are not allowed to simply exist on their own merit. I think it's quite serendipitous that the number system designed to algebraically close the reals to include roots of polynomials like x^4 + 1 happens to also cleanly describe so much of physics. There happens to be a lot of physics that boils down to "magnitude and phase" where those quantities interact in the same way complex numbers do, but it's not a-priori obvious that electromagnetism shouldn't need some third quantity as well, nor that we shouldn't be using quaternions instead, nor some other algebraic structure defined over 2D or 3D or 4D vectors. Indeed, as you point out, there are plenty of more complicated mathematical structures that are best for describing other parts of physics, like spinors, Lie groups, and special unitary groups. It's not a-priori obvious that Lie groups should be so important to physics either. But neither should anyone protest their use as somehow not "really existing". It is true that complex numbers do not physically exist -- neither do Lie groups, and neither does the number 7. We got lucky that mathematicians had already explored an algebra that turned out to be perfect for "magnitude-and-phase" physics, but it doesn't seem like "squaring to a real number" had anything to do with why they are useful. Real numbers have no stronger claim to truly representing physics than complex numbers, spinors, or Lie groups do.

nathan_compton 1y ago
> Real numbers have no stronger claim to truly representing physics than complex numbers, spinors, or Lie groups do. Eh, call me when your detector gives you back a complex number. Measurements return real numbers. I've never known one to return a complex valued one. Probabilities are real numbers. I feel this puts real numbers in a privileged position. If you ever wrote a theory that suggested that you lay a ruler against an object and measure a complex value, you'd be in trouble.
- 1y ago