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 ...

  How to get the $i\epsilon$ prescription for a Faddeev-Popov ghost propagator?

+ 5 like - 0 dislike
7579 views

In path integral formalism, for a physical field there will be an $i\epsilon$ term in the action, which comes from identifying the in and out vacuum, and in turn this $i\epsilon$ (with the correct sign) will naturally appear in the denominator of the corresponding propagator. However for FP ghost, it is only introduced to rewrite the functional determinant in an exponential form, and the issue of identifying an in and out ghost vacuum never enters the picture, thus no $i\epsilon$ term in the ghost part of the action. Yet all ghost propagators I've seen do have an $i\epsilon$ in the denominator, so where does it come from?

This post imported from StackExchange Physics at 2014-04-07 12:30 (UCT), posted by SE-user Jia Yiyang\

UPDATE(27-Jun-2015): I recently came across the following paragraph in Faddeev and Slavnov's book (Gauge Fields: An Introduction to Quantum Theory, 2nd Edition), page 94:

I take it as they are claiming that for ghosts (and other non-propagating fields), it doesn't matter whether you use $+i\epsilon$ or $-i\epsilon$. The claim would be a very desirable one if true, but I cannot prove it in any simple-minded way by inspecting the Feynman graphs, for example, in the following graph (where wavy lines represent gluons and dashed lines ghosts)


the sign in front of $i\epsilon$ of the gluon propagator must be kept fixed, and changing the sign for that of the ghosts seems to induce a very nontrivial change of the loop integral.

(I would've uploaded the whole page of the book in case someone wants to see the context, but the upload limit is only 1MB.)

EDIT: Let me add some context here. I met Professor Faddeev on a conference meeting and asked him this question during a coffee break. He promptly agreed that the $i\epsilon$ for ghost doesn't appear naturally in the path integral, since there's no in and out states for them. But due to the limited time window of the coffee break, he only pointed me to his book with Slavnov. So far I've only found the quoted paragraph which vaguely makes the assertion that the boundary condition doesn't matter, which seems to be suggesting either sign for $i\epsilon$ is fine.

asked Jul 7, 2013 in Theoretical Physics by Jia Yiyang (2,640 points) [ revision history ]
edited Jun 29, 2015 by Jia Yiyang
The $i\epsilon$ prescription doesn't seem to depend on which propagator you are talking about. It is naturally introduced when calculating the free Feynman propagator for any field. We don't need to refer to in and out states at all. It arises when writing (scalar field example) $\langle 0 |T\{ \phi_1(x) \phi_2(y) \}| 0\rangle$ as a Fourier transform of the momentum space result. That is, you calculate in position space and rearrange to get it in the form $\int \frac{d^4k}{(2\pi)^4} (propagator)$.

This post imported from StackExchange Physics at 2014-04-07 12:30 (UCT), posted by SE-user Will
What I am referring to applies for the operator approach to QFT - I'm not sure how you get the $i\epsilon$ in the path integral, but given that they are equivalent methods, you should be able to get the same result, somehow? This seems like a fun little paradox.

This post imported from StackExchange Physics at 2014-04-07 12:30 (UCT), posted by SE-user Will
@Will - In the Path Integral approach, you do in fact get the $i \epsilon$ prescription as a contribution from the In and Out states. The two methods are equivalent and therefore we should be able to deduce the $i \epsilon$ prescription for the ghosts without having to invoke the operator approach at all, right?

This post imported from StackExchange Physics at 2014-04-07 12:30 (UCT), posted by SE-user Prahar
@Prahar the OP's problem is that there shouldn't be ghost in and out states. Well at least, that's what I think the problem is?

This post imported from StackExchange Physics at 2014-04-07 12:30 (UCT), posted by SE-user Will
(Because they aren't physical particles).

This post imported from StackExchange Physics at 2014-04-07 12:30 (UCT), posted by SE-user Will
Hmmm... even in the operator approach we are assuming that the ghosts are in and out states in the free theory. It seems that they only way to get the $i\epsilon$ term is to do this, but make the restriction that ghosts are never in and out states in the full vacuum (that is, don't use them as external states). Can others comment on this?

This post imported from StackExchange Physics at 2014-04-07 12:30 (UCT), posted by SE-user Will
Related physics.stackexchange.com/q/44250

This post imported from StackExchange Physics at 2014-04-07 12:30 (UCT), posted by SE-user drake

1 Answer

+ 4 like - 1 dislike

Bosonic path integrals :

$$Z = \int D\phi ~e^{-i \large \int ~ dx [\frac{1}{2}\phi (\square+m^2)\phi]}$$

or Femionic path integrals (like Fadeev-Popov ghosts) :

$$Z = \int D\eta D \tilde \eta ~e^{-i \large \int ~ dx [\tilde \eta^a \square \eta^a]}$$

are not mathematically well-defined, because of the presence of the imaginary unit in the exponential.

To ensure convergence and meaning of these expressions, the prescription is then : $$\square + m^2 \rightarrow \square + m^2 - i\epsilon$$ When $m=0$, this simply gives the prescription : $$\square \rightarrow \square - i\epsilon$$

Obviously, the form of the propagators comes direcly from this prescription.

This post imported from StackExchange Physics at 2014-04-07 12:30 (UCT), posted by SE-user Trimok
answered Jul 7, 2013 by Trimok (955 points) [ no revision ]
Ah!!! I had just worked that out and was about to write my solution. :) +1

This post imported from StackExchange Physics at 2014-04-07 12:30 (UCT), posted by SE-user Will
I don't think that's right. While its true that the $i \epsilon$ prescription ensures convergence, it is not introduced ad hoc just to ensure convergence. In fact, the In and Out states precisely provide the extra contribution of $+i \epsilon$ which in the end makes it all work. Now, when doing the ghost path integral it is not clear where a similar contribution of $+i \epsilon$ should come from since one does not have In and Out ghost states. My argument for this was that we do indeed have In and Out ghost states but that they do not contribute to any physical amplitudes. Any comment?

This post imported from StackExchange Physics at 2014-04-07 12:30 (UCT), posted by SE-user Prahar
Oh no! This seems right on the surface, but I agree with Prahar in that you are effectively using in and out states to get this $i\epsilon$ prescription as defined by the path integral. I think a precise answer will require a careful derivation from the ground up, beginning with the method FP gauge fixing.

This post imported from StackExchange Physics at 2014-04-07 12:30 (UCT), posted by SE-user Will
@Prahar : "While its true that the iϵ prescription ensures convergence, it is not introduced ad hoc just to ensure convergence" . Not at all, this is precisely to ensure convergence that the $i\epsilon$ prescription is introduced. Without that, the coherence of QFT would be just wrong. This is the same trick that the Wick rotation which brings you to an Euclidean Action $S_E$ which has to be positive.

This post imported from StackExchange Physics at 2014-04-07 12:30 (UCT), posted by SE-user Trimok
@Trimok - I agree that the $i\epsilon$ prescription is required for the path integral to converge. I am not contesting that. Further, Wick rotation to a Euclidean action is also possible only due to the presence of the $i\epsilon$. However, I don't think it is introduced "by hand". It follows from the derivation of the path integral from the operator formalism. It's the time ordering in the operator side that tells us exactly which prescription of $i\epsilon$ to use and a derivation of this prescription can be done. So, no ad hoc introduction of $i\epsilon$ is required.

This post imported from StackExchange Physics at 2014-04-07 12:30 (UCT), posted by SE-user Prahar
@Trimok - In fact, I think that is precisely the OPs question. While the $i\epsilon$ prescription can be derived for usual fields, it does seem to come out naturally using the FP procedure. Either we are not being careful or it must be introduced by hand this time. The second option does not sound to appealing to me. But maybe that's what's required to be done. Note that one often DEFINEs the theory using the gauged fixed path integral (with the correct $i\epsilon$ prescription) without any reference to the original action. In this case, this question does not arise.

This post imported from StackExchange Physics at 2014-04-07 12:30 (UCT), posted by SE-user Prahar
@Trimok: Prahar understands me correctly. Besides, I'm a bit skeptical about convergence argument, for bosonic fields of course no problem, but for grassman fields I'm not sure how one defines convergence.

This post imported from StackExchange Physics at 2014-04-07 12:30 (UCT), posted by SE-user Jia Yiyang
@JiaYiyang : The propagator for ghosts is $\square^{-1}$, while it is $(\square + m^2)^{-1}$ for a scalar field, so it is the same kind of problem.

This post imported from StackExchange Physics at 2014-04-07 12:30 (UCT), posted by SE-user Trimok
@Prahar : The path integral formalism is the more fundamental one, while it is true, that the operator formalism is more practical in a lot of cases. The presentation by Zee (Quantum Field Theory in a nutshell) is very clear and very impressive about that.

This post imported from StackExchange Physics at 2014-04-07 12:30 (UCT), posted by SE-user Trimok
@Trimok: I thought you were talking about the convergence of the Gaussian integral, but if you were talking about the convergence of the propagator, then both ${(\square+i\epsilon)}^{-1}$ and ${(\square-i\epsilon)}^{-1}$ look equally valid to me.

This post imported from StackExchange Physics at 2014-04-07 12:30 (UCT), posted by SE-user Jia Yiyang
@JiaYiyang : It is not the same thing, see Feyman propagators, because the idea is to be allowed to perform a Wick rotation, so, if you define the Wick rotation to be a rotation with a positive angle $90°$, it is possible with the prescription I gave. With the other prescription, you are stuck.

This post imported from StackExchange Physics at 2014-04-07 12:30 (UCT), posted by SE-user Trimok
@Trimok: Let me put it this way: what's the reason for performing a Wick rotation? Does the same reason apply to ghost fields?

This post imported from StackExchange Physics at 2014-04-07 12:30 (UCT), posted by SE-user Jia Yiyang
In fact, the prescription $-i\epsilon$ allow a Wick rotation, and a Wick rotation corresponds to euclidean path integrals : $Z = \int D\phi ~e^{- \large \int ~ dx [\frac{1}{2}\phi (P_0^2+\vec P^2+m^2)\phi]}$ and $Z = \int D\eta D \tilde \eta ~e^{- \large \int ~ dx [\tilde \eta^a (P_0^2+\vec P^2)+ \eta^a]}$, where $P_0, \vec P$ are operators.

This post imported from StackExchange Physics at 2014-04-07 12:30 (UCT), posted by SE-user Trimok

@JiaYiyang: The point is that since ghosts do not appear as an external line, the sign of the ghost propagator $i\epsilon$ doesn't seem to matter. But for the purpose of analytic continuation to imaginary time, the standard sign is needed. (The opposite sign would lead to an analytic continuation across the branch cut, and one would end up in the nonphysical second sheet.)

Faddeev and Slavnov's ''it is convenient'' possibly refers to just this advantage of the ''correct'' sign.

@ArnoldNeumaier:  

The point is that since ghosts do not appear as an external line, the sign of the ghost propagator iϵ doesn't seem to matter.

But the loop integral I drew seems to change significantly if I change the sign, or is there another sense of "doesn't matter" here?

The opposite sign would lead to an analytic continuation across the branch cut, and one would end up in the nonphysical second sheet

Why would this necessarily be the case? 

Faddeev and Slavnov's ''it is convenient'' possibly refers to just this advantage of the ''correct'' sign.

The "it's convenient" doesn't bother me, what bothers me is the "but not necessary", in that I desire it but cannot prove it. For physical fields it would be necessary to have the right sign because it's naturally embedded in the derivation of the path integral, when selecting in and out states. 

@JiaYiyang: I don't know about ''not necessary'' - can't follow the argument in detail. Approximate calculations in QFT are rarely completely transparent unless they are done by yourself or in endless places. 

That one necessarily ends up in the nonphysical sheet is because of the way the analytic continuation has to be done. Frequencies make physical sense only if their imaginary part is negative, and the continuation to imaginary time must go through the physical domain to be meaningful. If you now do the same analytic continuation on the Green's function with the wrong sign then it is clear that one immediately passes the branch cut and then is automatically (by continuity on the Riemann surface) in the unphysical sheet.

Because of this I also wouldn't trust the statement that the choice of the sign for ghosts is irrelevant.

@ArnoldNeumaier,

Because of this I also wouldn't trust the statement that the choice of the sign for ghosts is irrelevant.

Well, the statement is vague and that sign doesn't matter is my own interpretation of it, which might not be what Faddeev meant. However I still think it's a reasonable guess since ghost was introduced to represent a functional determinant det$M$ which has no $\epsilon$ dependence at all, unlike physical fields.

@JiaYiyang: Always remember that functional integrals are themselves ill-defined and need a concrete interpretation to give proper sense to them.

Even though the sense is approximate only (except for quadratic actions), it does not justify arbitrary formal manipulations - it is easy to give ''sensible'' recipes that produce arbitrarily wrong results. One must always select the correct manipulations to extract a physical meaning. Unfortunately, without a proper mathematical foundation that doesn't yet exist, what is correct is difficult to tell before you finished a calculation and can compare with experiment or alternative approximate methods such as lattice simulations.

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:
p$\hbar$ysic$\varnothing$Overflow
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
...