Thursday, 30 November 2017

quantum field theory - Complex Gaussian integral with different source terms


Do the source terms multiplying a complex field and its conjugate need to be conjugates for the Gaussian identity to hold? E.g. is



$$\int D({\phi,\psi,b}) e^{-b^\dagger A b +f(\phi, \phi^\dagger,\psi, \psi^\dagger )b +b^\dagger g(\phi, \phi^\dagger,\psi, \psi^\dagger )} = \int D(\phi,\psi) \det(A^{-1}) e^{f(...) A^{-1} g(...)} $$


valid when $f \ne g^* $?


If I change to real and imaginary coordinates in the $b$ it seems fine, but I'm worried that I'm screwing up the measure in $D(...)$ without realizing it.


Edit:


Let's say $A$ is a $c$-number. To do the integral I can write $b = x +iy$ etc. Then the integral is


$$\int D(...) e^{- Ax^2 - A y^2 +x(f + g) + i y(f-g)} = \frac{\pi}{A}\int D(...) e^{(4A)^{-1}((f+g)^2 - (f-g)^2)}$$ $$=\frac{\pi}{A}\int D(...) e^{A^{-1} fg}.$$


But then this implies that Hubbard Stratonovich transformations don't need to be of squares.. so I can decouple any interaction $$e^{2fg} = \int d \phi d\phi^\dagger e^{-|\phi|^2 +f\phi + \phi^\dagger g}.$$ This can't be right?



Answer




Theorem: Given a normal$^1$ $n\times n$ matrix $A$ where ${\rm Re}(A)>0$ is positive definite, then the complex Gaussian integral is$^2$ $$\begin{align} I&~:=~\int_{\mathbb{R}^{2n}} \! d^nx ~d^ny~ \exp\left\{-z^{\dagger}Az +f^{\dagger}z +z^{\dagger}g\right\}\cr &~=~\exp\left\{f^{\dagger}A^{-1}g\right\}\int_{\mathbb{R}^{2n}} \! d^nx ~d^ny~ \exp\left\{-(z^{\dagger}-f^{\dagger}A^{-1})A(z-A^{-1}g)\right\}\cr &~=~\frac{\pi^n}{\det(A)}\exp\left\{f^{\dagger}A^{-1}g\right\}, \qquad z^k~\equiv~ x^k+iy^k.\end{align}$$




Sketched proof:




  1. The normal matrix $A=U^{\dagger}DU$ can be diagonalized with a unitary transformation $U$. Here $D$ is a diagonal matrix with ${\rm Re}(D)>0$. Next change integration variables$^3$ $w=Uz$. The absolute value of the Jacobian determinant is 1. So it is enough to consider the case $n=1$, which we will do from now on.




  2. There exist two complex numbers $x_0,y_0\in\mathbb{C}$ such that$^4$ $$ x_0-iy_0~=~f^{\dagger}A^{-1}\qquad\text{and}\qquad x_0+iy_0~=~A^{-1}g.$$





  3. We can shift the real integration contour into the complex plane $$\int_{\mathbb{R}} \! dx \int_{\mathbb{R}} \! dy~ \exp\left\{-(z^{\dagger}-f^{\dagger}A^{-1})A(z-A^{-1}g)\right\}$$ $$~=~\int_{\mathbb{R}+x_0} \! dx \int_{\mathbb{R}+y_0} \! dy~ \exp\left\{-z^{\dagger}Az\right\}~=~\frac{\pi}{A},$$ with no new non-zero contributions arising from closing the contour, cf. Cauchy's integral theorem.$\Box$




--


$^1$ The Gaussian integral is presumably also convergent for a pertinent class of non-normal matrices $A$, but in this answer we consider only normal matrices for simplicity.


$^2$ Recall that the notation $\int_{\mathbb{C}^n}d^nz^{\ast} d^nz$ means $\int_{\mathbb{R}^{2n}} \! d^nx ~d^ny$ up to a conventional factor, cf. my Phys.SE answer here. Here $z^k \equiv x^k+iy^k$ and $z^{k\ast} \equiv x^k-iy^k$.


$^3$ More generally, under a holomorphic change of variables $u^k+iv^k\equiv w^k=f^k(z)$, the absolute value of the Jacobian determinant in the formula for integration by substitution is $$ |\det\left(\frac{\partial (u,v)}{\partial (x,y)} \right)_{2n\times 2n}|~=~ |\det\left(\frac{\partial w}{\partial z} \right)_{n\times n}|^2. $$


$^4$ The underlying philosophy in point 2 is similar to my Phys.SE answer here: One can in a certain sense treat $z$ and $z^{\dagger}$ as independent variables! And therefore it is possible to consider OP's case where $f,g\in\mathbb{C}^n$ are independent complex constants.


No comments:

Post a Comment

Understanding Stagnation point in pitot fluid

What is stagnation point in fluid mechanics. At the open end of the pitot tube the velocity of the fluid becomes zero.But that should result...