This article is adapted from the letter that I wrote to my professor of quantum mechanics. Background: the professor asked the class why the infinitesimal translation instead of (here is the momentum operator). I pointed out immediately that this is not a legitimate question to ask because we can freely replace with in the Schrödinger equation. The original letter was sent at 2023-10-10 16:42 -0700.
Hi! I said in today’s class that it is just a random choice whether we use or . Here is the justification:
First, mathematically, conjugation is an automorphism of (in the sense of being a field). This fact can be easily verified. It can be easily understood by considering as the extension field . Furthermore, due to this fact, all theorems in complex analysis are still valid if we replace every number by its conjugate.
Then, consider replacing with in the SE, namely changing into . Due to the mathematical fact above, the new SE should lead to exactly the same theory as our familiar QM because all physically meaningful quantities are real (so that their conjugate are still themselves). The solution to the SE will be instead of , and they are exactly the same except an opposite phase (which does not matter) (given that also becomes its original counterpart’s conjugate in the new theory, where by saying “conjugate” here I mean taking the conjugate of all of its coordinates under the basis of eigenvectors of ).
What about time reversal? The time reversal is in the SE, which is actually slightly different from because when doing the latter I also assume that we make its conjugate, while leaves unchanged. However, the close connection between conjugate and time reversal does give us a hint about what the T-symmetry looks like in QM: QM does have T-symmetry, but cannot be a linear operator because it unavoidably involves conjugation. Actually, conjugation often does look like time reversal. For example, becoming can be either due to conjugation (the here) or due to time reversal ( while unchanged).
Other than saving some minus signs here or there, there is actually a benefit (though minor) about replacing our familiar QM with its conjugate: this makes equations in QM have the same convention as in electrical engineering. Specifically, QM uses while EE uses . I don’t know why, but conventions in EM seem to be the same as in QM because they also use . It seems strange that EE does not use the same conventions in EM.
Back to where this topic was brought up: why is infinitesimal translation identity minus instead of plus? The answer to this question is the choice we made when we wrote the SE, which is just a matter of convention. The question that can be genuinely asked is this: why is infinitesimal translation identity minus instead of plus? The arguments made in class are then valid to answer this question.