Gauge dependent probabilities

  • Thread starter Jano L.
  • Start date
  • #1
Jano L.
Gold Member
1,333
74

Main Question or Discussion Point

I was trying to understand the standard calculation of Einstein's A,B coefficients in quantum theory textbooks and I came across the following difficulty. In the calculation of transition probabilities, total wavefunction is expanded into eigenstates of time-independent [itex]H_0[/itex] and the expansion coefficients are interpreted as giving the frequencies of occurence of the corresponding states. For example, for the hydrogen atom Hamiltonian [itex] \hat H_0 = -\frac{\hbar^2}{2m}\Delta + q_e\varphi(r) [/itex]

[tex]
\psi(\mathbf r, t) = \sum_k c_k(t) \phi_k(\mathbf r)
[/tex]

where

[tex]
\hat H_0 \phi_k (\mathbf r) = \epsilon_k \phi_k(\mathbf r)
[/tex]

Plugging the expansion into the time dependent Schroedinger's equation, we can calculate all [itex]c_k[/itex]s. The accepted interpretation of these numbers is that [itex] c_k^* c_k[/itex] is the probability that randomly chosen atom will be in the [itex]k[/itex]-th stationary state.

The problem is, that these numbers are gauge-dependent. How can a probability depend on the choice of gauge?

Proof:

In the initial gauge [itex] \varphi = Kq_p/r, \mathbf A = 0 [/itex]:

[itex] c_k (t) = \langle \phi_k | \psi(t) \rangle = \int \phi_k(\mathbf r) \psi(\mathbf r, t) dV [/itex]

In another gauge [itex] \varphi' = \varphi - \partial_t \chi, \mathbf A ' = \mathbf A + \nabla \chi, \psi' = e ^{-i\frac{q}{\hbar}\chi} \psi[/itex]:

[itex] c_k' (t) = \langle \phi_k | \psi(t)'\rangle = \int \phi_k(\mathbf r) e^{-i\frac{q}{\hbar} \chi(\mathbf r, t)}\psi(\mathbf r, t) dV [/itex]

which can be made equal to any number by suitable choice of [itex]\chi [/itex], for example, time independent [itex] \chi [/itex] rapidly oscillating in spatial coordinates will make it close to zero without change in the field strength (provided it has zero curl, which is not hard to fulfill).

One may object that in the second gauge one should calculate coefficients using new functions for the stationary states, somehow like this:

[itex] c_k' = \langle \phi_k' (\mathbf r, t) | \psi(t)' \rangle [/itex]

where [itex] \phi_k'(\mathbf r, t)[/itex] is a stationary state in the new gauge, but how to find such function? Clearly [itex] \phi_k'(t) = e^{-i\frac{q}{\hbar}\chi} \phi_k [/itex] won't work, because then we'll get
[tex]
\hat H'(t) \phi_k'(t) = [ \epsilon_k - q_e\partial _t \chi (\mathbf r, t)] \phi_k'(t)
[/tex]
with energy eigenvalue dependent on the spatial coordinates as well.

Or is there some other gauge-invariant way to calculate the A, B coefficients?
 

Answers and Replies

  • #2
Jano L.
Gold Member
1,333
74
I know it is a very difficult question. But there must be some ideas...?
 
  • #3
strangerep
Science Advisor
3,064
887
I know it is a very difficult question. But there must be some ideas...?
I just didn't have very much spare time lately. The "difficult" part is in de-constructing what you're calculations to discover the mistake...

One may object that in the second gauge one should calculate coefficients using new functions for the stationary states, somehow like this:

[itex] c_k' = \langle \phi_k' (\mathbf r, t) | \psi(t)' \rangle [/itex]

where [itex] \phi_k'(\mathbf r, t)[/itex] is a stationary state in the new gauge, but how to find such function? Clearly [itex] \phi_k'(t) = e^{-i\frac{q}{\hbar}\chi} \phi_k [/itex] won't work, because then we'll get
[tex]
\hat H'(t) \phi_k'(t) = [ \epsilon_k - q_e\partial _t \chi (\mathbf r, t)] \phi_k'(t)
[/tex]
with energy eigenvalue dependent on the spatial coordinates as well.
Something looks wrong here - you've written the new Hamiltonian as time-dependent, whereas a physical Hamiltonian for a conservative system should be time-independent.

Transformations like
[tex]
\phi' ~=~ \phi + z
[/tex]
can usually be implemented via a exponentiated operator like this:
[tex]
U(z) ~:=~ e^{z\phi - \bar{z} \phi^\dagger}
[/tex]
(where I might have a sign wrong). This is standard in the theory of ordinary coherent states. In your case, I guess [itex]z[/itex] must be time-dependent.

I haven't worked this out all the way (not enough spare time), so I'm not sure it answers your question. Maybe you can progress the calculations?
 
  • #4
tom.stoer
Science Advisor
5,766
160
Using a time-dependent gauge function transforms your problem into a non-stationary problem with time-dependent Hamiltonian H(t) due to a time-dependent el.-mag. field. But of course physically (i.e. in all observables, spectra etc.) no time dependency must be present b/c this is 'pure gauge' and therefore articial.

I think you have to start with the full Hamiltonian of a quantum particle in an el.-mag. field. In the special case of the Coulomb potential the A-terms will drop out. Of course in the new gauge these terms are present and you will get new, gauge dependent solutions phi. The transformation of the Hamiltonian and of the eigenfunctions w.r.t. gauge transformations are 'standard textbook'.

http://quantummechanics.ucsd.edu/ph130a/130_notes/node296.html

After having done that you should be able to see how to proceed with the coefficients c(t).
 
  • #5
Jano L.
Gold Member
1,333
74
"Something looks wrong here - you've written the new Hamiltonian as time-dependent, whereas a physical Hamiltonian for a conservative system should be time-independent."

I think that there is no such thing as "physical Hamiltonian". The usual Hamiltonian is time-independent and is easy to interpret as kinetic+potential energy, but this is not necessary. It is easily shown that for the calculation of [itex]\psi(t)[/itex] of the electron in hydrogen atom we can use the Hamiltonian

[itex]
\hat H_0 ' = \frac{(-i\hbar \nabla - q \mathbf A)^2}{2m},
[/itex]

where

[itex]
\mathbf A(\mathbf r, t) = k\frac{\mathbf r}{r^3} t.
[/itex]

This is also easy to interpret, as the kinetic energy of the electron.

In some situations it is not possible to have time-independent Hamiltonian at all. Consider an electron in a slowly varying magnetostatic field - the Hamiltonian will necessarily contain [itex]\mathbf A[/itex] and this would depend on time. (Born's theory of adiabatic perturbations).

The important thing is, that neither in the Hamiltonian equations nor in Schrodinger's equation there is any preference for a particular gauge. These equations are gauge-invariant and do not introduce any special basis of eigenfunctions. In Schrodinger's equation, the important gauge-independent quantity is [itex] |\psi(x,y,z,t)|^2[/itex].

It is only the need for some mathematical representation of the notion of stationary states that leads to search for the eigenfunctions. But these depend on the [itex]H_0[/itex] chosen (first choice).

Furthermore, for chosen [itex]H_0[/itex], there is still ambiguity as to the choice of the gauge for the external field. Different gauges give different scalar products with the chosen eigenfunctions, but one has to be chosen. (second choice).

So there are two questions:

1) why do we choose [itex]H_0[/itex] to find eigenfunctions and not, say, [itex]H_0'[/itex] ?
2) if we have chosen [itex]H_0[/itex], which form of the potentials [itex]\mathbf A, \phi[/itex] for the external field should we use to calculate [itex] \psi(t)[/itex]?

I do not see any natural way to make these two choices. Fortunately, no such choice is required to interpret [itex]|\psi|^2[/itex]. I think all interpretations should be based on this quantity, not on expansion coefficients.

It can be said that every consistent set of choices 1,2 is equally right, but then we are clearly calculating different probabilities for different choices. Which one is relevant for the calculation of Einstein's coefficients?
 
Last edited:
  • #6
Ken G
Gold Member
4,438
332
It sounds to me that the answer to your question lies in certain hidden assumptions that underlie the whole scheme you applied, wherein the coefficients are interpreted as "the probability that randomly chosen atom will be in the k-th stationary state." What requirements must be fulfilled for that interpretation to hold true, and how might those requirements be violated in certain gauges? I don't know the answer off hand, but I suspect that must be the place where the answer lives. We can certainly agree that the transition rates must not depend on the gauge chosen, so if you really do get different answers in different gauges, then one of the gauges was not applied consistently with the assumptions used to interpret the transition rates.
 
  • #7
strangerep
Science Advisor
3,064
887
Jano,

I'm unable to give a helpful answer, given the way you've expressed the question. You make too many sweeping statements without giving specific textbook references. If I knew precisely what you were reading, perhaps I could untangle what assumptions are involved.

I suggest Ballentine ch11 as a basis for further discussion, if you can obtain a copy. (If not, maybe Google books or Amazon will let you read enough of pp312-313 to form a basis for further discussion.)

I think all interpretations should be based on [itex]|\psi|^2[/itex], [...]
Ballentine does indeed start from that point (see p312).
 
  • #8
1,744
48
Jano,

I was interested in similar questions a long time ago. I didn't find a good answer then, but I remember that there were lots of journal papers studying this issue, but no consensus. I don't have the references now. You can try your own citation search, starting, for example, from this paper and references therein:

Chen, C. Y., Transition probability and preferential gauge, quant-ph/9907058

Regards.
Eugene.
 
  • #9
13
0
  • #10
13
0
One may object that in the second gauge one should calculate coefficients using new functions for the stationary states, somehow like this:

[itex] c_k' = \langle \phi_k' (\mathbf r, t) | \psi(t)' \rangle [/itex]

where [itex] \phi_k'(\mathbf r, t)[/itex] is a stationary state in the new gauge, but how to find such function? Clearly [itex] \phi_k'(t) = e^{-i\frac{q}{\hbar}\chi} \phi_k [/itex] won't work, because then we'll get
[tex]
\hat H'(t) \phi_k'(t) = [ \epsilon_k - q_e\partial _t \chi (\mathbf r, t)] \phi_k'(t)
[/tex]
with energy eigenvalue dependent on the spatial coordinates as well.
Something is clearly not OK here, you cannot have space dependent eigenvalues. Inspired by http://iopscience.iop.org/0305-4470/20/3/023", I did some calculations. I do not have the general answer, but here are some hints:

Transformation [itex]\chi(r,t)=\chi(r)[/itex]:
Here, it is pretty simple. I start with time-dependent Schroedinger equation [tex]i\hbar \partial_t\phi_n=\hat{H}_0 \phi_n\;,[/tex]which is gauge independent if we choose gauge-independent [itex]\hat{H}_0[/itex], so [tex]i\hbar \partial_t\phi'_n=\hat{H}'_0 \phi'_n\;.[/tex]Eigenvalues are defined by stationaty Schroedinger equation[tex]\hat{H}_0\bar{\phi}_n=\epsilon_n\bar{\phi}_n\;,[/tex] which is obtained after ansatz for stationary states [tex]\phi_n=\exp(i\epsilon_n t/\hbar)\bar{\phi}_n\;.[/tex]If we have time-independent [itex]\chi(r)[/itex], we didn't spoil the calibration invariance of the stationary Schroedinger's Eq., because it differs from time-dependent Schroedinger equation only by factor [itex]\exp(i\epsilon_n/\hbar t)[/itex], which contains no spatial-dependence or [itex]\chi[/itex]-dependence, therefore (see also the article above):
[tex]\hat{H}'_0\bar{\phi}'_n=\epsilon_n\bar{\phi}'_n\;,[/tex] where [itex]\bar{\phi}'_n=\exp(i \frac{e}{\hbar}\chi(r))\bar{\phi}_n[/itex]

Transformation [itex]\chi(r,t)=\chi(t)[/itex]:
Here, we have not a problem with the spatial part of the transformation, but with the temporal one. We change the definition of stationary states:
[tex]\phi_n=\exp(i\epsilon_n t/\hbar )\bar{\phi}_n\;,[/tex][tex]\phi'_n=\exp(i\epsilon_n t\frac{1}{\hbar} +i \frac{e}{\hbar}\chi(t))\bar{\phi}'_n\;.[/tex]
[itex]\bar{\phi}'[/itex] is time-independent as well as [itex]\bar{\phi}[/itex] Stationary Schroedinger equation yields[tex]\hat{H}'_0\bar{\phi}'=(\hat{H}_0-e\partial_t\chi)\bar{\phi}'=(\epsilon_n-e\chi(t)) \bar{\phi}' [/tex]We can see that all eigenenergies are shifted by a constant and phase of the wavefunction has changed. These changes do not change any physical quantities - we can always shift all energies by a constant.


I do not see how to show general gauge invariance with respect to eigenvalue problem. I think the problem lies somewhere in the transition between time-dependent and stationary Schroedinger equations. Time can be separated easily only if our Hamiltonian is time-independent or if its time dependence is simple - there, it is clear how to define [itex]\bar{\phi}(r)[/itex] from [itex]\phi(r,t)[/itex]. For Hamiltonians that are time-independent in some gauge, there should be (IMHO) some transformation [itex]\phi(r,t)\to\bar{\phi}(r) [/itex] in any gauge. This transformation should change eigenvalues only by a constant. It is however difficult to find it.

Why do I think there should be always such transformation? Because stationary states (=energy eigenstates if there is no deneneracy) are something physical. It's not only matter of formalism - if one prepares such state, probabilities of finding particle in space don't change, which is measurable property independent of the formalism. We must therefore be able to find these states even with complicated time-dependent [itex]H_0'(t)[/itex] which we get from general gauge transformations. It's only not clear how.
 
Last edited by a moderator:
  • #11
13
0
Just to summarize my previous post - it seems to me that the problem is probably not in Born's rule, but in the procedure of finding "stationary states" for time-dependent Hamiltonians. We have such procedure if the Hamiltonian is time independent (finding its eigensystem and adding the time-dependence, which is trivial). In such cases, the [itex]\hat{H}_0[/itex] can be chosen gauge-invariant and there is no problem if the gauge doesn't depend on time. If we choose gauge such that [itex]\hat{H}_0(t)[/itex] depends on time, we cannot use standard eigenproblem formulation (its not clear how to introduce relation between [itex]\phi(r,t)[/itex] and [itex]\bar{\phi}(r)[/itex]) to find the stationary states. I wonder if there are some articles about finding stationary states for time-dependent Hamiltonians.
 
  • #12
tom.stoer
Science Advisor
5,766
160
I think you are right.

Starting from a time-indep. Hamiltonian it's clear that we can solve the time-indep. Schrödinger equation for time-indep.eigenvalues.

Applying a time-dep. gauge transformation means that we must use the time-dep. Schrödinger equation afterwards. But of course we can omit this b/c we already have constructed the eigenstates for the time-indep. equation and instead of solving the time-dep. equation we can simply apply the gauge transformation to the old eigenstates.

If we know that the time-dep. problem has been generated by applying a time-dep. gauge trf. to a time-indep. problem everything is clear.

But the other way round is difficult. Lookgn at an arbitrary time-dep. problem one could try to find a (time-dep.) gauge trf. to generate a time-indep. problem. If this is possible everything is fine again. If one can show that such a time-indep. gauge trf. does not exist one has to deal with the full complexity of the time-dep. problem.

The problem with the proof is that one as to start with a time-dep. Hamiltonian w/o knowing its eigenstates i.e. before solving the Schrödinger equation and has to show that one single transformation (i.e. one single phase factor which is independent of the state) removes the time dependency from all states simultaneously!
 
  • #13
13
0
So there are two questions:

1) why do we choose [itex]H_0[/itex] to find eigenfunctions and not, say, [itex]H_0'[/itex] ?
2) if we have chosen [itex]H_0[/itex], which form of the potentials [itex]\mathbf A, \phi[/itex] for the external field should we use to calculate [itex] \psi(t)[/itex]?
I think you can't simply take classical [itex]H_0[/itex] in arbitrary gauge and make it a quantum Hamiltonian [itex]\hat{H}_0[/itex]. The rule "take classical Hamiltonian and change classical quantities for QM operators" is not an exact procedure (because of the ordering problem). I think that [itex]H_0[/itex], [itex]A[/itex], [itex]\phi[/itex] has to be quantized in some gauge, the result must be compared with experiment and if it fits, then we found the correct quantum theory. Once you have it, it must be gauge-independent (which I think probably is even with respect to the eigenvalue problem, as I tried to show in the previous posts).

Gauge invariance and correspondence principle:
I'll ilustrate that if there is no ordering problem, one can probably choose arbitrary gauge on example of http://en.wikipedia.org/wiki/Particle_in_a_box" [Broken]. You showed me this example, I calculated it to end, so here is the solution:

Hamiltonian of a free particle if (in general) [itex]H_0=\frac{(p-q A(r,t))^2}{2m}+\phi(r,t)[/itex]. We might ask what gauge we will choose for the solution of this problem. Let us exclude all time-dependent Hamiltonians (because there we do not know how to find stationary states). For free particle, this means [itex]\phi(r,t) = \phi_0[/itex]. [itex]A(r,t)[/itex] could be any field with zero rotation independent of time (which we excluded). However, in fact we cannot take [itex]A(r,t)[/itex] even r-dependent, because then there would be the ordering problem in our Hamiltonian. So let us show, that Hamiltonian
[tex]\hat{H}_0=\frac{(\hat{p}-q A_0)^2}{2m}+\phi_0[/tex]
leads to the same result for all [itex]A_0[/itex] and [itex]\phi_0[/itex]:

The stationary Schroedinger's Eq. is:
[tex]-\frac{\hbar^2}{2m}\psi''(x)+i\frac{q A_0\hbar}{2m}\psi'(x)+\left(\phi_0+\frac{q^2 A_0^2}{2m}\right)\psi(x)=e \psi(x)[/tex]with boundary condition given by the infinite potential at [itex]\psi(0)=0[/itex] and [itex]\psi(1)=0[/itex]. General solution with boundary condition [itex]\psi(0)=0[/itex] is
[tex]\psi(x)=C \exp(i\frac{q A_0 x}{2\hbar})\sinh(\frac{x\sqrt{Z}}{2\hbar})[/tex]with[tex]Z=3q^2 A_0^2+8m(\phi_0-e).[/tex]Only way how to get non-zero solution satisfying [itex]\psi(1)=0[/itex] is for [itex]Z<0[/itex] using identity [itex]-i\sinh(ix)=\sin(x)[/itex]:
[tex]\psi(x)=C' \exp(i\frac{q A_0 x}{2\hbar})\sin(\frac{x\sqrt{-Z}}{2\hbar}),[/tex]which leads to quantization
[tex]e_n=\frac{3q^2A_0^2}{8m}+\phi_0+\frac{n^2 \pi^2 \hbar^2}{2m}.[/tex]Again, the differences of eigenenergies are independent of the chosen gauge. (But not their absolute values!)

This probably suggests that you are free to choose gauge for quantization unless you run into the ordering problem or the problem of determining stationary states of time-dependent Hamiltonian.
 
Last edited by a moderator:
  • #14
13
0
Btw. when we do the gauge transformation
[tex]A'=A+\nabla \chi,\; \varphi'=\varphi-\frac{1}{c}\frac{\partial\chi}{\partial t}, \; \Psi'=U\Psi=\exp\left(\frac{ie}{c\hbar}\right)\Psi\;,[/tex]operator related to every measurable quantity (for example Hamiltonian) http://electron6.phys.utk.edu/qm2/modules/m5-6/gauge.htm" [Broken]
[tex]A=U^\dagger A' U\;.[/tex]Therefore the eigenproblem
[tex]H\psi_n=\varepsilon_n'(t)\psi_n[/tex]transformes as
[tex]H'\psi'_n=\varepsilon_n'(t)\psi'_n\implies[/tex][tex]UHU^\dagger U\psi_n=\varepsilon_n'(t) U\psi_n\implies[/tex][tex]H\psi_n=\varepsilon_n'(t)\psi_n[/tex]and [itex]\varepsilon_n'(t)=\varepsilon_n[/itex].

This means that after the gauge transformation, the eigenvalues are unchanged even with time-dependent Hamiltonian, am I right? So the last question remains if I can perform quantization in every gauge, where is no operator-ordering problem, right?
 
Last edited by a moderator:
  • #15
tom.stoer
Science Advisor
5,766
160
This means that after the gauge transformation, the eigenvalues are unchanged even with time-dependent Hamiltonian, am I right?
Of course; this is the central message of gauge-invariance.

So the last question remains if I can perform quantization in every gauge, where is no operator-ordering problem, right?
Afaik in QM with classical el.-mag. field there is no ordering ambiguity (better: a gauge-trf. does not introduce an additional ordering ambiguity for x and p).

To make clear what I mean: for a simple one-dim. problem (e.g. harmonic oscillator) w/o gauge fields one could study V(x) ~ x2 and V'(x) ~ p x2 p-1; this ambiguity has nothing to do with gauge symmetry. Gauge symmetry itself is a well-defined unitary operator acting on the standard QM Hilbert space and does not induce such an ambiguity.
 
  • #16
13
0
Of course; this is the central message of gauge-invariance.
OK, but this is still not so easy. For example if I choose [itex]\chi=f(t)[/itex], Hamiltonian [itex]H=\frac{p^2}{2m}+\varphi[/itex] tranformes into [itex]H'=\frac{p^2}{2m}+\varphi - f'(t)[/itex]. Since Hamiltonian commutes with time, [tex]H=U^\dagger H' U=H'\;[/tex]is not true and the eigenvalues get changed! I showed above that only by a constant, so energy differences do not change, but how to show this for gauge transformations that mix time and space? (It seems that statement that for operator of measurable quantity, [itex]A=U^\dagger A' U[/itex] must be satisfied is not true - and I thought it was solved :smile: . Or maybe it is because energy is not measurable quantity - energy difference is.)
Afaik in QM with classical el.-mag. field there is no ordering ambiguity (better: a gauge-trf. does not introduce an additional ordering ambiguity for x and p).

To make clear what I mean: for a simple one-dim. problem (e.g. harmonic oscillator) w/o gauge fields one could study V(x) ~ x2 and V'(x) ~ p x2 p-1; this ambiguity has nothing to do with gauge symmetry. Gauge symmetry itself is a well-defined unitary operator acting on the standard QM Hilbert space and does not induce such an ambiguity.
You are right, nice example - even with free particle we can get into ordering problems. One just has to accept that quantization is simply not an exact procedure and at the end only experiment can decide whether we have the correct Hamiltonian. (Jano L.'s question was, I think, why do I choose Hamiltonian [itex]H[/itex] and not [itex]H'[/itex], for quantization. Once I already have the correct Hamiltonian on Hilbert space, the problem is gauge-invariant, of course. But its not clear why should I do the quantization in one gauge or another. But again, it's not an exact procedure, so we are anyway just guessing.)
 
Last edited:
  • #17
strangerep
Science Advisor
3,064
887
From post #14,
[tex]
A'=A+\nabla \chi,\; \varphi'=\varphi-\frac{1}{c}\frac{\partial\chi}{\partial t}, \; \Psi'=U\Psi=\exp\left(\frac{ie}{c\hbar}\right)\Psi
[/tex]
In the last bit, did you mean [itex]\exp\left(\frac{ie\chi}{c\hbar}\right) \Psi[/itex] ?
 
  • #18
strangerep
Science Advisor
3,064
887
if I choose [itex]\chi=f(t)[/itex], Hamiltonian [itex]H=\frac{p^2}{2m}+\varphi[/itex] transforms into [itex]H'=\frac{p^2}{2m}+\varphi - f'(t)[/itex]. Since Hamiltonian commutes with time, [tex]H=U^\dagger H' U=H'\;[/tex]is not true and the eigenvalues get changed!
Umm, how do you reach that conclusion? We'd also have [itex]\Psi = U^\dagger \Psi'[/itex].
 
  • #19
tom.stoer
Science Advisor
5,766
160
Since Hamiltonian commutes with time, [tex]H=U^\dagger H' U=H'\;[/tex]is not true and the eigenvalues get changed!
Whenever you want to study arbitrary gauge transformation you have to use the full, time-dependent Schrödinger equation. Even for time-dep. gauge trf. the overall structure of this equation ensures that NO gauge trf. changes energy eigenvalues, probability densities or currents.

Gauge symmetry is an intrinsic redundancy of the formalism and does never result in observable consequences.
 
  • #20
13
0
From post #14,

In the last bit, did you mean [itex]\exp\left(\frac{ie\chi}{c\hbar}\right) \Psi[/itex] ?
Yes, sorry.
Umm, how do you reach that conclusion? We'd also have [itex]\Psi = U^\dagger \Psi'[/itex].
I think it should be obvious, that if Hamiltonian [itex]H=\frac{p^2}{2m}+\varphi(r)[/itex] has eigenvalues [itex]\varepsilon_n[/itex], Hamiltonian related by gauge transformation [itex]H'=\frac{p^2}{2m}+\varphi(r) - \frac{1}{c}\chi'(t)[/itex] will have eigenvalues [itex]\varepsilon_n'=\varepsilon_n - \frac{1}{c}\chi'(t)[/itex]. Sure, the eigenfunctions get transformed as well, but the eigenvalues get certainly changed. So the question is: if, for transormation [itex]\chi(t)[/itex], the eigenvalues get changed by a constant (which is all right), how do we know that in the general transformation [itex]\chi(r,t)[/itex], the eigenvalues' differences do not change as well?

Whenever you want to study arbitrary gauge transformation you have to use the full, time-dependent Schrödinger equation. Even for time-dep. gauge trf. the overall structure of this equation ensures that NO gauge trf. changes energy eigenvalues, probability densities or currents.

Gauge symmetry is an intrinsic redundancy of the formalism and does never result in observable consequences.
How do you show that time-dependent gauge transformation preserves the energy eigenvalues? (Or at least their differences.) Thanks.
 
  • #21
tom.stoer
Science Advisor
5,766
160
How do you show that time-dependent gauge transformation preserves the energy eigenvalues? (Or at least their differences.) Thanks.
I start with the Hamiltonian

[tex]H = -\frac{1}{2m}(\partial_i +ieA_i)^2 + eA_0[/tex]

And the time-dependent Schroedinger equation

[tex]i\partial_0 \psi = H\psi [/tex]

I rewrite this as

[tex]i(\partial_0 +ieA_0) \psi = \left[-\frac{1}{2m}(\partial_i +ieA_i)^2\right]\psi [/tex]

which contains covariant derivatives explicitly

[tex]D_\mu = i(\partial_\mu +ieA_\mu) [/tex]

In the following I will restrict to time-indep. problems with time-indep. 0-component of the potential and vanishing vector potential (w/o loss of generality, just to simplify the calculation).

That means we have to solve the equation

[tex]i(\partial_0 +ieA_0) \psi = \left[-\frac{1}{2m}\partial_i^2\right]\psi [/tex]

with the ansatz (*)

[tex]\psi = \psi(x,t) = e^{-i\epsilon t}u(x)[/tex]

Plugging this into the time-dep. Schroedinger eq. we find the time-indep. Schroedinger eq.

[tex] e^{-i\epsilon t}(\epsilon -eA_0) u = e^{-i\epsilon t} \left[-\frac{1}{2m}\partial_i^2\right]u [/tex]

Now we introduce the gauge transformation

[tex]\psi(x,t) \to \psi^\prime(x,t) = e^{-ie\chi(t)}\,\psi(x,t) [/tex]

[tex]A_0(t) \to A_0^\prime(t) = A_0(t) + \partial_0\chi(t)[/tex]

The covariant derivative transforms as

[tex]i(\partial_\mu +ieA_\mu) \psi \to i(\partial_\mu +ieA_\mu^\prime) \psi^\prime = i(\partial_\mu +ie(A_\mu + \partial_\mu\chi)) e^{-ie\chi(t)}\psi(x,t,) = e^{-ie\chi(t)} i(\partial_\mu +ieA_\mu) \psi(x,t) [/tex]

Plugging this into the time-dep. Schroedinger eq. we see that it remains invariant modulo the overall time-dep. phase factor.

That means that an energy eigenfunction transforms as

[tex] \psi(x,t) = e^{-i\epsilon t}u(x) \to \psi^\prime(x,t) = e^{-ie\chi(t)} e^{-i\epsilon t}u(x) [/tex]

The gauge transformation acts only on the phase factor, not on the spatial part; this is due to the restriction to space-indep. gauge trf.s and vanishing vector potential. w/o this restriction the calculation is more involved but the overall conclusion remains valid.

The time-dep. Schroedinger eq. transforms as follows

[tex]i(\partial_0 +ie(A_0 + \dot{\chi})) \psi^\prime = \left[-\frac{1}{2m}\partial_i^2\right]\psi^\prime [/tex]

with a new time-dep. potential!

[tex]A_0^\prime(x,t) = A_0(x) + \dot{\chi}(t) [/tex]

But one can see explicitly that the energy eigenvalues are invariant w.r.t. the gauge transformation.

The main observation is that w.r.t. a time-dep. gauge trf. the time-dep. Schroedinger eq. is explicitly invariant, whereas this gauge trf. induces a very special time dependency into the stationary (but no longer time-indep.) Schroedinger eq.! Therefore the time-indep. eq. with time-indep. potential becomes time-dep.! The step from the time-dep. to the time-indep. eq. is slightly more involved and requires a more general ansatz (**) for separation of x- and t-dependency in the wave function:

[tex] \psi^\prime(x,t) = e^{-i\epsilon t} e^{-ie\chi(t)} u_\epsilon(x) [/tex]

But as you can see immediately both the eigenvalues and the (x-dependent part of the) eigenfunctions are invariant.
 
  • #22
13
0
The main observation is that w.r.t. a time-dep. gauge trf. the time-dep. Schroedinger eq. is explicitly invariant, whereas this gauge trf. induces a very special time dependency into the stationary (but no longer time-indep.) Schroedinger eq.! Therefore the time-indep. eq. with time-indep. potential becomes time-dep.! The step from the time-dep. to the time-indep. eq. is slightly more involved and requires a more general ansatz (**) for separation of x- and t-dependency in the wave function:

[tex] \psi^\prime(x,t) = e^{-i\epsilon t} e^{-ie\chi(t)} u_\epsilon(x) [/tex]

But as you can see immediately both the eigenvalues and the (x-dependent part of the) eigenfunctions are invariant.
Thank you! It seems to me that ansatz (**) works, very nice. Btw. did you mean

[tex] \psi_n(x,t) = e^{-i\epsilon_n t} e^{-ie\chi(x,t)} u_{\epsilon_n}(x)\;\;?[/tex]
([itex]\chi[/itex] is function of both time and space, right?)

Btw. these functions [itex]\psi_n(x,t)[/itex] are no longer eigenfunctions of Hamiltonian, since full Hamiltonian is

[tex]H = -\frac{1}{2m}(\partial_i +ie(A_i + \partial_i\chi))^2 + eA_0-\partial_0 \chi[/tex]
but ansatz (**) leads to eigenproblem

[tex]\bar{H}u(x)=\epsilon u(x)\;,[/tex]
where

[tex]\bar{H}=-\frac{1}{2m}(\partial_i +ie(A_i))^2 + eA_0\;.[/tex]
The ansatz (**) removes [itex]\chi[/itex]-dependent terms from the Hamiltonian used for the eigenproblem solution. It's however clear that they are stationary states, since the probability density

[tex]p(x)=\psi_n^*(x,t)\psi_n(x,t)[/tex]
doesn't depend on time. Does this mean that usual statement that "measurement of quantity A causes wavefunction's collapse to eigenstates of operator [itex]\hat{A}[/itex] related to quantity A" should be somehow generalized? Or is this only problem of Hamiltonian, not operators of other measurable quantities? Thank you.
 
  • #23
tom.stoer
Science Advisor
5,766
160
Thank you! It seems to me that ansatz (**) works, very nice.
It does - but this is really standard textbook QM

Btw. did you mean ...
Yes, this is notation only

([itex]\chi[/itex] is function of both time and space, right?)
In general yes, but as I said I restrict this example to space-indep. gauge trf., otherwise I would have to take into account the vector potentialas well; this does not provide new insights but complicates the calculation.For your question regarding toime dependency it's irrelevant.,


Btw. these functions [itex]\psi_n(x,t)[/itex] are no longer eigenfunctions of Hamiltonian, since full Hamiltonian is ...
They are solutions of the time-dep. S. eq.

but ansatz (**) leads to eigenproblem
[tex]\bar{H}u(x)=\epsilon u(x)\;,[/tex]
Exactly; the idea is to works "backwards" and to remove the time dependency via a product ansatz; in this case we do not only remove the energy dependent phase factor, but in addition the gauge dependend one.

It's however clear that they are stationary states, since the probability density ... doesn't depend on time.
There is no physical quantity which depends on time via the gauge transformation (no density, no eigenvalue, no observable, nothing!)

Does this mean that usual statement that "measurement of quantity A causes wavefunction's collapse to eigenstates ... should be somehow generalized?
I would start at a deeper level w/o collaps. Think about a Hilbert space of wave functions; a wave function is normalized w.r.t. to the norm defined in the Hilbert space; these normalized wave functions 'live' on the unit sphere of this (infinite dimensional) Hilbert space; time evolution is therefore a generalized rotation of unit vectors. If a gauge symmetry is present one has to restrict physical wave functions to equivalence classes of wave functions. That means that two wave functions describe the same state if they are related via a gauge transformation. A physical state is therefore no longer described by a unit verctor, but by an equivalence class of unit vectors.
 
Last edited:
  • #24
Jano L.
Gold Member
1,333
74
Thank you all for many interesting posts and references. I read some of the papers attempting to resolve the issue by Kobe, Yang and others, but they only confirmed my suspicion that the ordinary theory of stationary states and transitions is not very well founded in Schroedinger's equation.

If one assumes that all choices of potentials are equally correct (and this is true for calculating [itex] | \psi| ^2[/itex]), there is no way to identify right eigenfunctions and right eigenvalues for the picture of atoms jumping from one state to another.

It is interesting that Schroedinger interpreted [itex]\psi[/itex] and his equation dynamically and did not believe in quantum jumping between states. It seems that there is nothing in Schroedinger's equation that would choose preferred discrete basis. The eigenfunctions usually used are just a convenient basis of orthonormal functions that may be used to expand certain functions, but this is only mathematical device, like expanding Fourier's temperature in sines when in fact the profile is not sinusoidal at all.

I have a feeling from these problems with the definition of the stationary states that maybe he was right and there is no such a thing as an atom jumping between exactly discrete stationary states. Maybe all processes are nicely continuous and take place according to his continuous equation...
 

Related Threads on Gauge dependent probabilities

Replies
6
Views
2K
Replies
166
Views
23K
Replies
7
Views
583
Replies
9
Views
852
  • Last Post
Replies
1
Views
810
Replies
47
Views
8K
Replies
4
Views
979
Replies
29
Views
4K
Replies
0
Views
5K
Top