Symmetries in QM =================== Time and Space Translation ----------------------------- First of all I want to know what is not changed or what is the invariant quantity in a transformation. There are three kind of common transformations. 1. Time translation: move the system in time. In this sense time translation is just the time evolution operator or propagator. 2. Space translation: move the system in space. 3. Gauge transformation The invariance of them corresponds to: 1. Time translation invariance (T.T.I.) means the evolution of the system is not changing under time translations. **Hamiltonian is invariant.** 2. Space translation invariance (S.T.I.) means that the Time Translation Symmetry ~~~~~~~~~~~~~~~~~~~~~~~~~~~ .. figure:: assets/images/TimeTranslation.png :alt: Time Translation :align: center `Time translation Gliffy Source `_ **Definition of Time Translation** Move the system in time. **Generator of Time Translation** T.T.I. is generated by Hamiltonian which can be easily understood by looking into Shcrödinger equation. .. hint:: Starting from Schrödinger equation, .. math:: i\hbar \frac{\ket{\psi(t+\Delta t)} - \ket{\psi(t)}}{\Delta t} = H(t)\psi(t) Then we get the state after a evolution of time :math:`\Delta t`, .. math:: \ket{\psi(t+\Delta t)} = \left( \hat I - i\frac{\Delta t \hat H(t)}{\hbar} \right) \ket{\psi(t)} Time translation symmetry means the state evolution in the same time interval :math:`\Delta t` no matter when to start the evolution. Mathematically, .. math:: \ket{\psi(t_1 +\Delta t)} = \left( \hat I - i\frac{\Delta t \hat H(t_1)}{\hbar} \right) \ket{\psi(t_1)} should get the same final state if we start from some other time :math:`t_2`, .. math:: \ket{\psi(t_2 +\Delta t)} = \left( \hat I - i\frac{\Delta t \hat H(t_2)}{\hbar} \right) \ket{\psi(t_2)} That means the two Hamiltonian should be the same. Now we reach the conclusion that Hamiltonian is time independent. The logic is to prove that Hamiltonian is time independent by using infinitesimal time translation approach. Given that Hamiltonian is time independent, we imediately know that time translation operator is just the propagator with the form .. math:: \hat T_{\Delta t} \equiv \hat U(\Delta t) = e^{-i \hat H \Delta t /\hbar} All other conclusions come from the fact that Hamiltonian is a constant of motion. .. hint:: Ehrenfest theorem tells us that time independent Hamiltonian is a constant of motion. .. math:: \frac{d}{dt}\avg{H} = \frac{1}{i\hbar}\avg{[\hat H, \hat H]} + \avg{\frac{\partial}{\partial t} H } = 0 .. important:: For an isolated system, T.T.I. should always be satisfied because there is nothing more else to change the system but to leave the system with energy conserved. My concern is if we don't have an Hamiltonian for :math:`T\mathrm d S`, we can't actually says this because of what the second law of thermodynamics tells us. Space Translation Symmetry ~~~~~~~~~~~~~~~~~~~~~~~~~~~ .. image:: assets/images/SpaceTranslation.png :alt: Space translation :align: center `Space Translation Gliffy Source `_ S.T.I. is generated by canonical momentum. This is not so obvious as time translation. To prove this we need to understand what space translation really means. **Definition of Space Translation** Space translation means we change the position of the system by some spatial distance :math:`a`. In math this means a transformation from :math:`\ket{x}` to :math:`\ket{x+a}` where the plus sign is by definition. We invent this space translation operator, .. math:: \hat T_a \ket{x} = \ket{x + a} . **Space Translation Applied to States** Next we can obtain the result of space translation operator applied to state in position basis .. math:: \bra{x}\hat T_a \ket{\psi} = (\bra{x}\hat T_a^\dagger) \ket{\psi} = \braket{x-a}{\psi} = \psi(x-a) where we used the relation .. math:: (\bra{x} \hat T_a) = (\hat T_a^\dagger \ket{x} )^\dagger = (\hat T _ {-a} \ket{x} )^\dagger = (\ket{x-a})^\dagger = \bra{x-a} which of course is because the normalization of coordinate basis tells us that space translation operator is unitary, .. math:: \braket{x+a}{x+a} = \bra{x}\hat T_a^\dagger \hat T_a \ket{x} **Generator of Space Translation** Similarly to time translation, we can find out the generator out of this definition. For infinitesimal translation, .. math:: -i\hbar \frac{\ket{\psi(x)} - \ket{\psi(x - \Delta)}}{\Delta} = \hat p \ket{\psi(x)} i.e., .. math:: \ket{\psi(x-\Delta)} = \ket{\psi(x)} - \frac{i\Delta}{\hbar} \ket{\psi(x)} which shows that the generator of space translation is momentum operator. **From Infinitesimal to Finite Space Translation** .. math:: \hat T_a = \lim _ {N\rightarrow \infty} \hat T _ {a/N} ^ N = \lim _{N\rightarrow\infty} \left( 1 - \frac{i\hat p}{\hbar} \frac{a}{N} \right)^N = exp\left( -\frac{i \hat p a}{\hbar} \right) Now we have the explicity expression for space translation operators. **Space Translation on Operators** 1. Use the invariant scalar -- inner product. 2. Passive vs Active **Space Translational Invariance** Space translational invariance of arbitary operator is .. math:: \hat \Omega = \hat T_a^\dagger \hat \Omega \hat T_a is equivalent to .. math:: \hat T_a \hat \Omega = \hat \Omega \hat T_a \Rightarrow [\hat T_a, \hat Omega] = 0 We say some system has space translational invariance we mean the Hamiltonian is space translational invariant, .. math:: [\hat H , \hat T_a ] = 0 . Such a system has space translational invariance. .. hint:: I once thought Hamiltonian is space/time translational invariant is not enough for the statement that the whole system is invariant under space or time translation for all observables. Of course I was wrong. Once the Hamiltonian and initial condition is given the whole system can be determined completely in principle. Gauge Symmetry -------------------- Global Gauge Transformation ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ .. math:: \ket{\psi} \rightarrow e^{i g \hat I} \ket{\psi} All quantum states are invariant under such transformation. This is not a nonsene transformation because the two states are different in some sense if we put them in a phase space where the phase factor assigns a position for the state vector in the phase space and we can see the difference directly in this image. The invariant thing is the probability density which is obvious. .. hint:: This is global because the phase factor doesn't depend on position and time. Local Gauge Transformation ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ .. image:: assets/images/LocalGaugeTransformation.png :alt: Local Gauge Transformation `Local Gauge Transformation Gliffy Source `_ What if we have a local phase factor: :math:`g(x,t)`? One way of implenment this phase factor is to transform the basis, for example: .. math:: \ket{x} \rightarrow e^{i g(x,t)/\hbar} \ket{x} By changing the basis, we can transform anything on position basis. Since the first principle of QM is Schrödinger equation, we would like to check what happens to that. It turns out that both space derivative and time derivative of the wave function changed. For both of them, .. math:: \frac{d}{dw} (\exp(-ig/\hbar)\phi ) = \exp(-ig/\hbar)\frac{d}{dw} \phi - i/\hbar \left(\frac{d}{dw} g\right) \phi equivalently, we can just change all the derivatives to .. math:: \frac{d}{dw} \rightarrow \exp(-ig/\hbar)\frac{d}{dw} - i/\hbar \frac{d}{dw} g where :math:`w` can be :math:`x` or :math:`t`. Parity ------------------------- Logic ~~~~~~~~~~~~~~ The only thing we need is the definition: .. math:: \hat \Pi \ket{\vec x} = \ket{-\vec x} Starting from that, we can derive properties. 1. Hermition? **The way to find out something is Hermition or not is to take the Hermitian conjugate of the inner product sandwiched by the operator.** We know .. math:: \bra{x}\hat \Pi \ket{x} = \delta(x+x') Take the Hermitian conjugate of the whole expression, .. math:: (\bra{x'}\hat \Pi \ket{x} )^\dagger = \delta(x+x') We know the LHS is :math:`\bra{x}\hat \Pi^\dagger \ket{x'}`. So we have .. math:: \bra{x}\hat \Pi^\dagger \ket{x'} = \bra{x}\hat \Pi \ket{x'} Then we get that parity operator is Hermitian. 2. Inversion? Parity operator is Unitary. .. math:: \hat \Pi \hat \Pi \ket{\pi} = \hat \Pi \pi \ket{\pi} = \pi^2\ket{\pi} By physics we know that parity twice gets back to the original state. So :math:`\pi^2=1` . Then we can find inverse parity operator. What's important is that it's unitary. 3. Acts on states? From definition, we need to go to position basis. .. math:: \bra{x}\hat \Pi\ket{\psi} = \braket{-x}{\psi} . We can also find the results on momentum eigenbasis, which is .. math:: \bra{x}\hat \Pi \ket{p} = \braket{-x}{p} . We already know mometum eigen state in postion is some kind of plane wave and it's easily proved that :math:`\braket{-x}{p} = \braket{x}{-p}` . 4. Commutators with any observables? Just sandwich :math:`\hat \Pi^ \dagger \hat \Omega \hat \Pi` then act on arbitary state and put it into position basis. As an example, find commutation relation with position operator. .. math:: \bra{x}\hat \Pi^\dagger \hat X \hat \Pi \ket{\psi} = \bra{ - x}\hat X \hat \Pi\ket{x} = -x \bra{-x}\hat \Pi \ket{\psi} = -x \braket{x}{\psi} which is :math:`\bra{x}(-\hat X)\ket{\psi}`. This proves the following equation. .. math:: \hat \Pi^\dagger \hat X \hat \Pi = -\hat X which can also be interpreted as passive transformation. Another example is the commutation relation with (canonical) momentum. .. math:: \bra{x}\hat \Pi^\dagger \hat P \hat \Pi \ket{\psi} = \bra{-x} \hat P \hat \Pi\ket{\psi} = \int \bra{-x}\hat P \ket{x'}\bra{x'}\hat \Pi\ket{\psi} dx' . By carefully applying parity on position basis, we have .. math:: \int \bra{-x}\hat P \ket{x'}\braket{-x'}{\psi} d x' = \int \bra{-x}\hat P \ket{-x'}\braket{x'}{\psi} d x' Because commutation relation tells us .. math:: \bra{x'}[\hat X,\hat P]\ket{x} = \bra{x'}\hat X \hat P\ket{x} - \bra{x'}\hat P \hat X\ket{x} = (x' - x)\bra{x'}\hat P\ket{x} = i\hbar \delta(x'-x) Here comes the keypoint. Recall that .. math:: x\delta'(x) = -\delta we know that .. math:: (x - x')\bra{x}\hat P\ket{x'} = i\hbar \delta(x'-x) gives us the expression of momentum in position basis, .. math:: \bra{x'}\hat P \ket{x} = -i\hbar \partial_x \delta(x'-x) So to continue our calculation of parity applied to momentum, .. math:: \int \bra{-x}\hat P \ket{-x'}\braket{x'}{\psi} d x' = \int \bra{x}(-\hat P)\ket{x'}\braket{x'}{\psi}dx' So we can prove that mometum actually invserses when parity is applied to it.