0
$\begingroup$

I am going through the lecture notes for my class and I can't seem to follow the logic. Maybe this is considered a homework problem, but I could not find anything that directly answers my question on the internet and thought the physics stack exchange is the best place to ask. As we know, $ \Gamma^{(4)}(p_1,p_2,p_3,p_4)$ has a superficial degree of divergence of zero. The lecture notes try to explain why $D = 0$ means it is logarithmically divergent. The notes consider the leading order Feynman diagrams:

enter image description here

Question 1: Looking at the diagram with 2 internal vertices, it seems to me that the momentum at each vertex should be conserved. Meaning if we let $k$ be the momentum flowing from the first vertex to the second as in the diagram, momentum conservation should give us two possible expressions for the momentum flowing through the top internal propagator.

Question 2: In addition, I assume the "+ permutations" means he is considering all four point irreducible diagrams with 2 internal vertices but could it possibly mean permutation of momenta? I don't know if permutation of momenta even makes sense since the diagram is still one integral.

If you consider vertex 1, $p_1 +p_4 -k$, or if you consider vertex 2, $-p_2-p_3-k$. However, I don't see how it could be $p_1+p_2-k$.

Now, the integral for the diagram is $$ -\lambda \int \frac{d^4k}{(k^2+m^2)((p_1+p_2-k)^2 + m^2)} $$

which for $|k| >> m$ and $|k| >> |p_1+p_2|$, it is approximately, $\int \frac{d|k|}{|k|}$. If a cut-off factor $\phi(k^2/\Lambda^2)$ is introduced, the integral should be approximately $\int \frac{\phi^2(k^2/\Lambda^2)d|k|}{|k|} = \int^\Lambda \frac{d|k|}{|k|} = log(\Lambda)$. However, the lecture notes claim the integral with cut-off factor will give $\frac{\lambda^2}{32 \pi^2}(log(\Lambda^2/m^2)+f(p_{12}))$. Where the lecture notes let $p_{12} = p_1 +p_2$.

Question 3: I don't understand why the integral would be $log(\Lambda^2/m^2)$ instead of $log(\Lambda)$ and how we know that the term $f(p_{12})$ that depends on external momenta can be written as a sum to the logarithmic term and not something like $log(\Lambda^2/m^2)f(p_{12})$. I do not know how to explicitly calculate the first integral to check using explicit calculation.

$\endgroup$

2 Answers 2

1
$\begingroup$

Question 1: Looking at the diagram with 2 internal vertices, it seems to me that the momentum at each vertex should be conserved. Meaning if we let $k$ be the momentum flowing from the first vertex to the second as in the diagram, momentum conservation should give us two possible expressions for the momentum flowing through the top internal propagator.

There doesn't actually seem to be a stated question here... but I think I know what you are asking.

There is a typo, the upper part of the loop should read: $$ p_1 + p_4 - k\;, $$ not $$ p_1 + p_2 - k\;. $$

If you consider vertex 1, $p_1 +p_4 -k$, or if you consider vertex 2, $-p_2-p_3-k$. However, I don't see how it could be $p_1+p_2-k$.

Yes, you are right, there is a typo. But there aren't really two different options because the total momentum is conserved.

If you wrote the top loop in terms of the other momenta instead you would write $$ -p_2 -p_3 - k\;. $$

But this is the same thing as $p_1 + p_4 - k$ since we must have $$ p_1 + p_2 + p_3 + p_4 = 0\;. $$

Question 3: I don't understand why the integral would be $log(\Lambda^2/m^2)$ instead of $log(\Lambda)$...

Just do the integral and see the answer. I'll do it for $p_1+p_4=0$ since I'm lazy. First, change variables to $k=ym$, where y is dimensionless and we have: $$ -\lambda \frac{2\pi^2}{(2\pi)^4}\int dy \frac{y^3}{(y^2+1)^2} =-\lambda \frac{1}{16\pi^4} log(\Lambda^2/m^2)\;. $$

(BTW, you can figure out the value of the integral by entering "Integrate[y^3/(y^2+1)^2, {y,0,L/m}]" into the Wolfram Alpha website, and then look at the value when $L/m$ is much larger than 1).

(Also, BTW, I may have dropped a factor of 2 somewhere, so don't quote me on the numerical result.)


Update based on comments

As I said, I am lazy, so again I'm not going to do the actual integral, but instead will do a similar (but easier) integral: $$ \int_0^{\Lambda/m}dy \frac{y^3}{(y^2+1)(y^2+1+q^2-2yq)}\;, $$ where, again, we use $y=mk$ and we wrote $q=\Delta p/m$, and because I am lazy, I'm ignoring the angle between the vectors.

Expanding about $q=0$, we can again do the integral in Mathematica and find the answer is: $$ \propto \left(\log(\Lambda/m) + \frac{3\pi}{8}q + O(q^2)\right)\;. $$

You can do this integral in Mathematica (I'm sorry I'm starting to feel like a Mathematica salesperson here... you can also use other methods, but simple integrations are free online...) and you will see that in the $q$ term there are parts that involve $\Lambda/m$, but they go to zero for large $\Lambda/m$ except for one term that looks like $\arctan(\Lambda/m)$, which goes to $\pi/2$.

$\endgroup$
4
  • $\begingroup$ Thanks for the answer. However, I am still wondering how we know that the integral has the form $log(\Lambda^2/m^2) +f(p_1+p_2)$. The logarithm makes sense, but why should there be a $+ f(p_1+p_2)$ and not something like $log()*f(p_{12})$ $\endgroup$
    – Chandrahas
    Commented Apr 29, 2022 at 19:56
  • $\begingroup$ It's not really a case of should or should not. It's a case of is or is not. Just do the integral and see the answer. Also, generally, the two expressions you wrote in your comment are not necessarily different (assuming the fs are just meaning some function in general). For example, if I write $f_1 = (1+f_2/\log(\ldots))$ then $\log(\ldots)*f_1 = \log(\ldots) + f_2$... $\endgroup$
    – hft
    Commented Apr 29, 2022 at 20:25
  • $\begingroup$ I'll update the answer to try to explain as best I can based on what I think your updated question is... $\endgroup$
    – hft
    Commented Apr 29, 2022 at 20:46
  • $\begingroup$ I see, it's just a matter of explicitly solving it. Thanks for the clarification. $\endgroup$
    – Chandrahas
    Commented Apr 30, 2022 at 16:56
1
$\begingroup$

It has to be $\ln (\Lambda/m)$, or equivalently $\frac 12 \ln (\Lambda^2/m^2)$, becuase the argument of the log has to be dimensionless, and $\Lambda$ and $m$ both have dimension $M^1$.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.