Quantcast
  • Register
PhysicsOverflow is a next-generation academic platform for physicists and astronomers, including a community peer review system and a postgraduate-level discussion forum analogous to MathOverflow.

Welcome to PhysicsOverflow! PhysicsOverflow is an open platform for community peer review and graduate-level Physics discussion.

Please help promote PhysicsOverflow ads elsewhere if you like it.

News

PO is now at the Physics Department of Bielefeld University!

New printer friendly PO pages!

Migration to Bielefeld University was successful!

Please vote for this year's PhysicsOverflow ads!

Please do help out in categorising submissions. Submit a paper to PhysicsOverflow!

... see more

Tools for paper authors

Submit paper
Claim Paper Authorship

Tools for SE users

Search User
Reclaim SE Account
Request Account Merger
Nativise imported posts
Claim post (deleted users)
Import SE post

Users whose questions have been imported from Physics Stack Exchange, Theoretical Physics Stack Exchange, or any other Stack Exchange site are kindly requested to reclaim their account and not to register as a new user.

Public \(\beta\) tools

Report a bug with a feature
Request a new functionality
404 page design
Send feedback

Attributions

(propose a free ad)

Site Statistics

205 submissions , 163 unreviewed
5,082 questions , 2,232 unanswered
5,353 answers , 22,789 comments
1,470 users with positive rep
820 active unimported users
More ...

  EM wave function & photon wavefunction

+ 7 like - 0 dislike
43798 views

According to this review

Photon wave function. Iwo Bialynicki-Birula. Progress in Optics 36 V (1996), pp. 245-294. arXiv:quant-ph/0508202,

a classical EM plane wavefunction is a wavefunction (in Hilbert space) of a single photon with definite momentum (c.f section 1.4), although a naive probabilistic interpretation is not applicable. However, what I've learned in some other sources (e.g. Sakurai's Advanced QM, chap. 2) is that, the classical EM field is obtained by taking the expectation value of the field operator. Then according to Sakurai, the classical $E$ or $B$ field of a single photon state with definite momentum p is given by $\langle p|\hat{E}(or \hat{B})|p\rangle$, which is $0$ in the whole space. This seems to contradict the first view, but both views make equally good sense to me by their own reasonings, so how do I reconcile them?

This post imported from StackExchange Physics at 2015-04-22 11:16 (UTC), posted by SE-user Jia Yiyang
asked May 19, 2012 in Theoretical Physics by Jia Yiyang (2,640 points) [ no revision ]
Most voted comments show all comments
This reply will be more or less the same as the one I replied Lubos: one takes solutions of Dirac equation as one-particle space and build up a Fock space based on it(c.f. Thaller.b "the Dirac equation"chap 10), or else it is hard to explain the success of applying Dirac's equation to hydrogen atom. The correspondence between state kets and solutions of Dirac equation is given by $\psi(x)=\langle 0|\hat{\psi}(x)|p\rangle$ (Sakurai, weinberg)

This post imported from StackExchange Physics at 2015-04-22 11:16 (UTC), posted by SE-user Jia Yiyang
Dear Jia, a one-photon wave function is a nontrivial solution of Maxwell's equations and and a one-electron wave function is a nontrivial solution of Dirac's equation. There is no difference here. Note that the classical field you calculated from Dirac above wasn't the expectation value in the same state of momentum $p$: it was the matrix element between $p$ and the vacuum. When you do the same thing for the Maxwell field, it will work just as well. That's what my answer was about: it's about the mixtures from bras and kets with different occupation numbers. What's the problem?

This post imported from StackExchange Physics at 2015-04-22 11:16 (UTC), posted by SE-user Luboš Motl
@JiaYiyang: It is not hard to explain the success of the Dirac equation in an external potential--- this is a case where the eigenstates of the equation have a particle and field interpretation simultaneously. I am writing a long answer, because this is never properly explained in the literature, at least not in one place.

This post imported from StackExchange Physics at 2015-04-22 11:16 (UTC), posted by SE-user Ron Maimon
@RonMaimon: I'd be very interested to read such a thing if you have the time to put something together (even if brief)

This post imported from StackExchange Physics at 2015-04-22 11:16 (UTC), posted by SE-user twistor59
@twistor59: I wrote a long answer yesterday, but I got confused on something stupid, and I am still editing it. The main issue is defining 4-d wavefunctions from the Feynman/Schwinger proper-time formulation. This is possible for sure, Feynman always thought this way, but I thought at first I could give a short-cut to making it precise using Parisi's stochastic quantization idea (which adds a fifth dimension like proper time), but this doesn't work quite, SQ is different. I need to edit it down to the things that actually work, I'll try to finish tommorrow.

This post imported from StackExchange Physics at 2015-04-22 11:16 (UTC), posted by SE-user Ron Maimon
Most recent comments show all comments
The photon doesn't have a non-relativistic wavefunction because it is never slowly moving. The vector potential can be interpreted in certain ways as a relativistic wavefunction for a four-dimensional photon, but this requires understanding four-dimensional propagators in a particle view. It is probably best to follow Sakurai and ignore the concept of the wavefunction of the photon until you study the path integral for particle paths.

This post imported from StackExchange Physics at 2015-04-22 11:16 (UTC), posted by SE-user Ron Maimon
I did study some path integral, but I guess you mean something else by " path integral for particle paths"? Anyway I do want to get some clarifications on the issue now. Sakurai's view gives me some confusions too: spectrum of one photon state is determined by the classical Maxwell's equations, yet the one-photon state vectors do not correspond to the eigensolutions of Maxwell according to Sakurai's prescription. On the contrary, for Dirac particles it seems to be universally agreed that the one-particle states are the solutions of Dirac equation.

This post imported from StackExchange Physics at 2015-04-22 11:16 (UTC), posted by SE-user Jia Yiyang

2 Answers

+ 5 like - 0 dislike

As explained by Iwo Bialynicki-Birula in the paper quoted, the Maxwell equations are relativistic equations for a single photon, fully analogous to the Dirac equations for a single electron. By restricting to the positive energy solutions, one gets in both cases an irreducible unitary representation of the full Poincare group, and hence the space of modes of a photon or electron in quantum electrodynamics.

Classical fields are expectation values of quantum fields; but the classically relevant states are the coherent states. Indeed, for a photon, one can associate to each mode a coherent state, and in this state, the expectation value of the e/m field results in the value of the field given by the mode.

For more details, see my lectures
http://arnold-neumaier.at/ms/lightslides.pdf
http://arnold-neumaier.at/ms/optslides.pdf
and Chapter B2: Photons and Electrons of my theoretical physics FAQ.

This post imported from StackExchange Physics at 2015-04-22 11:17 (UTC), posted by SE-user Arnold Neumaier
answered May 21, 2012 by Arnold Neumaier (15,787 points) [ no revision ]
I see, so you(and Luboš) mean if we just look at the c-number solutions of Maxwell equations without other specification, the interpretation is two-fold, they can either be classical EM fields or quantum wavefunctions, and we must specify which one it is.

This post imported from StackExchange Physics at 2015-04-22 11:17 (UTC), posted by SE-user Jia Yiyang
They can be (a) classical fields, or (b) 1-Photon wave function, or (c) modes of a coherent state; the latter two only if the negative energy part is ignored or absent.

This post imported from StackExchange Physics at 2015-04-22 11:17 (UTC), posted by SE-user Arnold Neumaier
@JiaYiyang you can think of Arnold's last statement as what I call the "one-photon correspondence principle", so that there is an isomorphism between every classical coherent field and one photon states (the isomorphism being "throw away negative frequency part" one way and "get back unique real valued field by adding complex conjugate" the other way. This will work for any Boson: we can realize any classical state by copying Boson states putting as many Bosons in the same state as we like together: ....

This post imported from StackExchange Physics at 2015-04-22 11:17 (UTC), posted by SE-user WetSavannaAnimal aka Rod Vance
@JiaYiyang ....this is my interpretation for why people never talk of making Maxwell's equations $U(1)$ gauge invariant as they do with the Dirac equation, see physics.stackexchange.com/a/73330/26076 I find it quite thrilling to think that when one probes e.g. any laboratory setup with microwaves, we are probing exact models of one-photon states and we can do this with classical interferometers, vector voltmeters, hammers and pieces of string (the last two just :) to emphasise how one can get accurate pictures of one photon states with truly rudimentary, macroscopic measurements).

This post imported from StackExchange Physics at 2015-04-22 11:17 (UTC), posted by SE-user WetSavannaAnimal aka Rod Vance
@JiaYiyang and Arnold: This may seem like a really daft question: in section 7 of the paper, Bialynicki-Birula proves the representation bit of your extremely elegant and pithy summary, but I don't see how he proves the representation is irreducible. Is this obvious from other physics that I am missing?

This post imported from StackExchange Physics at 2015-04-22 11:17 (UTC), posted by SE-user WetSavannaAnimal aka Rod Vance
@WetSavannaAnimalakaRodVance: I don't agree that you can measure one-photon state using the same apparatus and set ups measuring classical EM fields. What we measured classically is the expectation value $\langle \alpha|\mathbf{E}|\alpha\rangle$, and if $|\alpha\rangle$ is any 1-photon state, the expectation is 0 every where in space. In this post(me, arnold, lubos) the conclusion reached is that given a (positive-frequency) solution to Maxwell's equation, without further clarification, it can be a classical em wave, or the wavefunction to 1-photon state, not both.

This post imported from StackExchange Physics at 2015-04-22 11:17 (UTC), posted by SE-user Jia Yiyang
@JiaYiyang your last sentence is what I mean - there is an isomorphism between what you're probing with classical apparatus and the corresponding one-photon state. Of course they're not the same thing, indeed photons are almost impossible to detect without destroying them, let alone glean their detailed state - that's what I meant when I said "we are probing exact models of one-photon states". But the model is in all other respects exact, so I still think the idea is pretty neat.

This post imported from StackExchange Physics at 2015-04-22 11:17 (UTC), posted by SE-user WetSavannaAnimal aka Rod Vance
@JiaYiyang Also, for the purposes of the link I gave, I argue that one can in principle copy a boson repeatedly and thus amplify its state to be classically probed: in practice the no-cloning theorem will stop you doing this for an arbitrary state, but if you can come up with a preparation procedure to realise a particular one photon state repeatedly, then you can do it in practice too - e.g. in a laser. So therefore the phase of the one photon wavefunction is meaningful and not amenable to being "gauged to something else" as the electron's wavefunction's phase is.

This post imported from StackExchange Physics at 2015-04-22 11:17 (UTC), posted by SE-user WetSavannaAnimal aka Rod Vance
@WetSavannaAnimalakaRodVance: Ok, I see what you mean. I read the first part(will read the rest later) your linked post. It indeed seems to be some content in this isomorphism, but I'm not convinced it's strong enough to differentiate the physical significance of photon and electron wave function in the way you suggested, even for electron $|\psi|^2$ is not the only thing we can measure, clearly we can reveal more information about $\psi$ itself by measuring some more observables, that is, some $\psi$'s can have identical $|\psi|^2$, but not identical $\langle\psi|A|\psi\rangle$ for all A's.

This post imported from StackExchange Physics at 2015-04-22 11:17 (UTC), posted by SE-user Jia Yiyang
@JiaYiyang well I did say that the photon / electron wavefunction differentiation was my own interpretation: I haven't read it elsewhere so maybe there's a good reason for that I haven't read it elsewhere - a problem that I haven't seen! However, I do find the interpretation motivating and, so far, OK. It's curious why no-one ever talks about $U(1)$ invariance of Maxwell's equations (when they're expressed in terms of electric and magnetic fields - of course when expressed in terms of potentials, they are the other side of the electron phase gauge).

This post imported from StackExchange Physics at 2015-04-22 11:17 (UTC), posted by SE-user WetSavannaAnimal aka Rod Vance
@WetSavannaAnimalakaRodVance: Yes, it seems to be a matter of personal taste. "It's curious why no-one ever talks about U(1) invariance of Maxwell's equations"this is a good question, I'll look into it when I get some time, hopefully the math doesn't require too much time(just got busy teaching new semester).

This post imported from StackExchange Physics at 2015-04-22 11:17 (UTC), posted by SE-user Jia Yiyang
@WetSavannaAnimalakaRodVance: Irreducibility can be seen by verifying that the fields in the orbit of a particular field span the whole space. This is well-known, but not shown in B-B's paper.

This post imported from StackExchange Physics at 2015-04-22 11:17 (UTC), posted by SE-user Arnold Neumaier
Thank you Arnold. Very elegant comment: one can almost reconstruct the whole result from this alone. When I looked this result up having heard your comment, I grasped the result very smoothly from material that had formerly been incomprehensible to me..

This post imported from StackExchange Physics at 2015-04-22 11:17 (UTC), posted by SE-user WetSavannaAnimal aka Rod Vance
@WetSavannaAnimalakaRodVance, I finally took a look at what one could get from imposing U(1) invariance on Maxwell equation(in the form of Riemann-Silberstein vectors $F^{\pm}$ to mimic Dirac equation). The problem is, if we write them in a Dirac lagrangian, we would have terms like $F^{-}\partial F^{+}$, but this is nonrenormalizable, and imposing gauge invariance also gives you nonrenormalizable interactions. So the physical relevance is pretty much killed, I don't know if it can be mathematically interesting.

This post imported from StackExchange Physics at 2015-04-22 11:17 (UTC), posted by SE-user Jia Yiyang
@JiaYiyang: Renormalizability is irrelevant here, as we are just looking at a single photon. It becomes important only in QFT when photons interact with other stuff, and this interaction is treated on a fundamental level.

This post imported from StackExchange Physics at 2015-04-22 11:17 (UTC), posted by SE-user Arnold Neumaier
@ArnoldNeumaier, I was just applying the U(1) invariance trick in the most commonly used context, i.e. field theory, and there's no problem in interpreting Riemann-Silberstein vectors as fields. I guess one can work in wavefunction context and require the derivative to be covariant to avoid renormalizablity issues, but my line of thought was, since field theory is the best we have at hands, it is probably the best to work in such context. I guess my reasoning is fuzzy, because this U(1) trick seems to be somewhat superficial and does not directly bear a physical meaning.

This post imported from StackExchange Physics at 2015-04-22 11:17 (UTC), posted by SE-user Jia Yiyang
@JiaYiyang: The right way to use Riemann-Silberstein vectorsin the context of field theory is to use them as labels of coherent states. This is close to the practice in quantum optics.

This post imported from StackExchange Physics at 2015-04-22 11:17 (UTC), posted by SE-user Arnold Neumaier
@ArnoldNeumaier, I would say it is quite tempting to quantize them as fields, since $F^{\pm}$ naturally form the $(1,0)$ and $(0,1)$ representation of Poincare group, exactly the right representation to get helicity-1 particles. I think on the free field level this quantization is equivalent to the more conventional ones. Of course, with hindsight we know we won't be able to build up useful interactions with such fields.

This post imported from StackExchange Physics at 2015-04-22 11:17 (UTC), posted by SE-user Jia Yiyang
@JiaYiyang: The relevant formula is ⟨α|F(x)|α⟩=α(x), where F(x) is the operator version of the silberstein vector, α is a solution of the homogeneous Maxwell equations in Silberstein form and |α⟩ is the corresponding coherent state.

This post imported from StackExchange Physics at 2015-04-22 11:17 (UTC), posted by SE-user Arnold Neumaier
@JiaYiyang: Useful interactions can be found in Weinberg's 1964 paper on massless fields.

This post imported from StackExchange Physics at 2015-04-22 11:17 (UTC), posted by SE-user Arnold Neumaier
+ 1 like - 0 dislike

The expectation values $$ \langle p | \vec E(\vec x) | p\rangle $$ and similarly for $\vec B(\vec x)$ vanish for a simple reason: the state $|p\rangle$ is by definition translational symmetric (translation only changes the phase of the state, the overall normalization) so the expectation values of any field in this state has to be translationally symmetric, too (the phase cancels between the ket and the bra).

So if you expect to see classical waves in expectation values in such momentum eigenstates, you are unsurprisingly disappointed. Incidentally, the same thing holds for any other field including the Dirac field (in contrast with the OP's assertion). If you compute the expectation value of the Dirac field $\Psi(\vec x)$ in a one-particle momentum eigenstate with one electron, this expectation value also vanishes. In this Dirac case, it's much easier to prove so because the expectation values of all fermionic operators (to the first or another odd power) vanish because of the Grassmann grading.

The vanishing of the expectation values of fields (those that can have both signs, namely the linear functions of the "basic" fields connected with the given particle) would be true for any momentum eigenstates, even multiparticle states which are momentum eigenstates simply because the argument above holds universally. You may think that this vanishing is because the one-particle momentum eigenstate is some mixture of infinitesimal electromagnetic waves that are allowed to be in any "phase" and these phases therefore cancel.

However, the formal relationship between the classical fields and the one-particle states still holds if one is more careful. In particular, one may construct "coherent states" which are multiparticle states with an uncertain number of particles which are the closest approximations of a classical configuration. You may think of coherent states as the ground states of a harmonic oscillator (and a quantum field is an infinite-dimensional harmonic oscillator) which are shifted in the position directions and/or momentum directions, i.e. states $$ |a\rangle = C_\alpha \cdot \exp(\alpha\cdot a^\dagger) |0\rangle $$ This expression may be Taylor-expanded to see the components with individual numbers of excitations, $N=0,1,2,3,\dots$ The $C_\alpha$ coefficient is just a normalization factor that doesn't affect physics of a single coherent state.

With a good choice of $\alpha$ for each value of the classical field (there are many independent $a^\dagger(k,\lambda)$ operators for a quantum field and each of them has its $\alpha(k,\lambda)$), such a coherent state may be constructed for any classical configuration. The expectation values of the classical fields $\vec B,\vec E$ in these coherent states will be what you want.

Now, with the coherent state toolkit, you may get a more detailed understanding of why the momentum eigenstates which are also eigenstates of the number of particles have vanishing eigenvalues. The coherent state is something like the wave function $$ \exp(-(x-x_S)^2/2) $$ which is the Gaussian shifted to $x_S$ so $x_S$ is the expectation value of $x$ in it. Such a coherent state may be obtained by an exponential operator acting on the vacuum. The initial term in the Taylor-expansion is the vacuum itself; the next term is a one-particle state that knows about the structure of the coherent state – because the remaining terms in the Taylor expansions are just gotten from the same linear piece that acts many times, recall the $Y^k/k!$ form of the terms in the Taylor expansion of $\exp(Y)$: here, $Y$ is the only thing you need to know.

On the other hand, the expectation value of $x$ in the one-particle state is of course zero. It's because the wave function of a one-particle state is an odd function such as $$ x\cdot \exp(-x^2/2) $$ whose probability density is symmetric (even) in $x$ so of course that the expectation value has to be zero. If you look at the structure of the coherent state and you imagine that the $\alpha$ coefficients are very small so that multiparticle states may be neglected for the sake of simplicity, you will realize that the nonzero expectation value of $x$ in the shifted state (the coherent state) boils down to some interference between the vacuum state and the one-particle state; it is not a property of the one-particle state itself! More generally, the nonzero expectation values of fields at particular points of the spacetime prove some interference between components of the state that have different numbers of the particle excitations in them.

The latter statement should be unsurprising from another viewpoint. If you consider something like the matrix element $$ \langle n | a^\dagger | m \rangle $$ where the bra and ket vectors are eigenstates of a harmonic oscillator with some number of excitations, it's clear that it's nonzero only if $m=n\pm 1$. In particular, $m$ and $n$ cannot be equal. If you consider the expectation values of $a^\dagger$ in a particle-number eigenstate $|n\rangle$, it's obvious that the expectation value vanishes because $a$ and $a^\dagger$, and they're just a different way of writing linear combinations of $\vec B(\vec x)$ or $\vec E(\vec x)$, are operators that change the number of particle excitations by one or minus one (the same for all other fields including the Dirac fields).

So if you want to mimic a classical field or classical wave with nonzero expectation values of the fields, of course that you need to consider superpositions of states with different numbers of particle excitations! But it's still true that all these expectation values are already encoded in the one-particle states. Let me summarize it: the right states that mimic the classical configurations are $\exp(Y)|0\rangle$ where $Y$ is a linear combination of creation operators (you may add the annihilation ones but they won't make a difference, except for the overall normalization, because annihilation operators annihilate the vacuum). Such coherent exponential-shapes states have nonzero vevs of any classically allowed form that you may want. At the same moment, the exponential may be Taylor-expanded to $(1+Y+\dots)$ and the linear term $Y$ produces a one-particle state that is the ultimate "building block" of the classical configuration. But if you actually want to calculate the vevs of the fields, you can't drop the term $1$ or others, either: you need to include the contributions of the matrix elements between states with different numbers of the particle excitations.

This post imported from StackExchange Physics at 2015-04-22 11:16 (UTC), posted by SE-user Luboš Motl
answered May 20, 2012 by Luboš Motl (10,278 points) [ no revision ]
Most voted comments show all comments
Let me try to phrase my confusion clearer: I understand single-particle expectation values are 0 in both Dirac field and EM field, and I understand the matrix element \langle 0|field\ operator|p\rangle gives plane wavefunction in both cases. I guess my confusion comes from the following content of quite a few textbooks: (1)Relativistic wave equations are understood as field equations(EM,Dirac etc.) (2)c-number solutions of field equations are understood as classical fields(this is usually mentioned for EM field, but I presume this is also the case for Dirac since they are both field equations)

This post imported from StackExchange Physics at 2015-04-22 11:17 (UTC), posted by SE-user Jia Yiyang
(3)In addition, the relation between classical EM field and a quantum state is given by the expectation value, and textbooks never discuss the meaning of $\langle 0|\hat{E}(x)|p\rangle$; On the other hand, for Dirac field the c-number quantity $\langle 0|\hat{\psi}(x)|p\rangle$ is often discussed but never the expectation value.

This post imported from StackExchange Physics at 2015-04-22 11:17 (UTC), posted by SE-user Jia Yiyang
Dear Jia, all the statements are at least morally wrong but one must be careful about their interpretations. For example, classical Dirac fields shouldn't be ordinary commuting c-numbers: they should be anticommuting Grassmann c-numbers. The fact that "one particle's wave function" is linked to a classical field is a sloppy way to describe the fact that the same quantum field solves the (hatted) classical equations; and it creates and annihilates particles, too.

This post imported from StackExchange Physics at 2015-04-22 11:17 (UTC), posted by SE-user Luboš Motl
It is not true you won't find a textbook that discusses $\langle 0|E(x)|p\rangle$ and even if it were true, I don't understand why it would be relevant. It is not true that all things that may be discussed are inevitably written in some textbooks. One may ask thousands of questions that are not discussed in the textbooks; this doesn't imply any contradiction. On the other hand, there's a simple reason why the expectation value of a Dirac field is the same state isn't discussed and I have already explained it: it is identically zero because of the Grassmann grading.

This post imported from StackExchange Physics at 2015-04-22 11:17 (UTC), posted by SE-user Luboš Motl
Two answers above, "morally wrong" should have been "morally right".

This post imported from StackExchange Physics at 2015-04-22 11:17 (UTC), posted by SE-user Luboš Motl
Most recent comments show all comments
Dear Jia, a one-photon wave function is a nontrivial solution of Maxwell's equations and and a one-electron wave function is a nontrivial solution of Dirac's equation. There is no difference here. Note that the classical field you calculated from Dirac wasn't the expectation value in the same state of momentum $p$: it was the matrix element between $p$ and the vacuum. When you do the same thing for the Maxwell field, it will work just as well. That's what my answer was about: it's about the mixtures from bras and kets with different occupation numbers. What's the problem?

This post imported from StackExchange Physics at 2015-04-22 11:17 (UTC), posted by SE-user Luboš Motl
Let me put it this way: if we take the c-number solutions of the field equations as classical fields, why different rules of assigning kets to classical fields(for Dirac and EM field)?

This post imported from StackExchange Physics at 2015-04-22 11:17 (UTC), posted by SE-user Jia Yiyang

Your answer

Please use answers only to (at least partly) answer questions. To comment, discuss, or ask for clarification, leave a comment instead.
To mask links under text, please type your text, highlight it, and click the "link" button. You can then enter your link URL.
Please consult the FAQ for as to how to format your post.
This is the answer box; if you want to write a comment instead, please use the 'add comment' button.
Live preview (may slow down editor)   Preview
Your name to display (optional):
Privacy: Your email address will only be used for sending these notifications.
Anti-spam verification:
If you are a human please identify the position of the character covered by the symbol $\varnothing$ in the following word:
$\varnothing\hbar$ysicsOverflow
Then drag the red bullet below over the corresponding character of our banner. When you drop it there, the bullet changes to green (on slow internet connections after a few seconds).
Please complete the anti-spam verification




user contributions licensed under cc by-sa 3.0 with attribution required

Your rights
...